dafny2 « Test - debian-dafny - Debian packaging for Dafny

Mode	Name	Size
-rw-r--r--	COST-verif-comp-2011-1-MaxArray.dfy	3226	log plain
-rw-r--r--	COST-verif-comp-2011-1-MaxArray.dfy.expect	61	log plain
-rw-r--r--	COST-verif-comp-2011-2-MaxTree-class.dfy	5370	log plain
-rw-r--r--	COST-verif-comp-2011-2-MaxTree-class.dfy.expect	61	log plain
-rw-r--r--	COST-verif-comp-2011-2-MaxTree-datatype.dfy	3033	log plain
-rw-r--r--	COST-verif-comp-2011-2-MaxTree-datatype.dfy.expect	61	log plain
-rw-r--r--	COST-verif-comp-2011-3-TwoDuplicates.dfy	5405	log plain
-rw-r--r--	COST-verif-comp-2011-3-TwoDuplicates.dfy.expect	61	log plain
-rw-r--r--	COST-verif-comp-2011-4-FloydCycleDetect.dfy	19514	log plain
-rw-r--r--	COST-verif-comp-2011-4-FloydCycleDetect.dfy.expect	62	log plain
-rw-r--r--	Calculations.dfy	7146	log plain
-rw-r--r--	Calculations.dfy.expect	62	log plain
-rw-r--r--	Classics.dfy	3695	log plain
-rw-r--r--	Classics.dfy.expect	61	log plain
-rw-r--r--	Intervals.dfy	1959	log plain
-rw-r--r--	Intervals.dfy.expect	61	log plain
-rw-r--r--	MajorityVote.dfy	16655	log plain
-rw-r--r--	MajorityVote.dfy.expect	62	log plain
-rw-r--r--	MonotonicHeapstate.dfy	3752	log plain
-rw-r--r--	MonotonicHeapstate.dfy.expect	62	log plain
-rw-r--r--	SegmentSum.dfy	971	log plain
-rw-r--r--	SegmentSum.dfy.expect	61	log plain
-rw-r--r--	SnapshotableTrees.dfy	25182	log plain
-rw-r--r--	SnapshotableTrees.dfy.expect	352	log plain
-rw-r--r--	StoreAndRetrieve.dfy	1879	log plain
-rw-r--r--	StoreAndRetrieve.dfy.expect	62	log plain
-rw-r--r--	TreeBarrier.dfy	4296	log plain
-rw-r--r--	TreeBarrier.dfy.expect	61	log plain
-rw-r--r--	TreeFill.dfy	836	log plain
-rw-r--r--	TreeFill.dfy.expect	61	log plain
-rw-r--r--	TuringFactorial.dfy	602	log plain
-rw-r--r--	TuringFactorial.dfy.expect	61	log plain