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

Mode	Name	Size
-rw-r--r--	ACL2-extractor.dfy	6954	log plain
-rw-r--r--	ACL2-extractor.dfy.expect	62	log plain
-rw-r--r--	Ackermann.dfy	7160	log plain
-rw-r--r--	Ackermann.dfy.expect	123	log plain
-rw-r--r--	BinarySearch.dfy	2116	log plain
-rw-r--r--	BinarySearch.dfy.expect	337	log plain
-rw-r--r--	Bug54.dfy	426	log plain
-rw-r--r--	Bug54.dfy.expect	61	log plain
-rw-r--r--	Bug55.dfy	253	log plain
-rw-r--r--	Bug55.dfy.expect	61	log plain
-rw-r--r--	Bug56.dfy	555	log plain
-rw-r--r--	Bug56.dfy.expect	61	log plain
-rw-r--r--	Bug58.dfy	386	log plain
-rw-r--r--	Bug58.dfy.expect	61	log plain
-rw-r--r--	Bug60.dfy	369	log plain
-rw-r--r--	Bug60.dfy.expect	157	log plain
-rw-r--r--	Bug62.dfy	547	log plain
-rw-r--r--	Bug62.dfy.expect	61	log plain
-rw-r--r--	Bug63.dfy	219	log plain
-rw-r--r--	Bug63.dfy.expect	61	log plain
-rw-r--r--	Bug67.dfy	278	log plain
-rw-r--r--	Bug67.dfy.expect	115	log plain
-rw-r--r--	Bug68.dfy	1432	log plain
-rw-r--r--	Bug68.dfy.expect	142	log plain
-rw-r--r--	Bug69.dfy	307	log plain
-rw-r--r--	Bug69.dfy.expect	61	log plain
-rw-r--r--	Bug70.dfy	280	log plain
-rw-r--r--	Bug70.dfy.expect	61	log plain
-rw-r--r--	Bug71.dfy	280	log plain
-rw-r--r--	Bug71.dfy.expect	61	log plain
-rw-r--r--	Bug72.dfy	464	log plain
-rw-r--r--	Bug73.dfy	274	log plain
-rw-r--r--	Bug73.dfy.expect	327	log plain
-rw-r--r--	Bug79.dfy	183	log plain
-rw-r--r--	Bug79.dfy.expect	61	log plain
-rw-r--r--	Bug81.dfy	258	log plain
-rw-r--r--	Bug81.dfy.expect	61	log plain
-rw-r--r--	Bug82.dfy	242	log plain
-rw-r--r--	Bug82.dfy.expect	61	log plain
-rw-r--r--	Circ.dfy	2317	log plain
-rw-r--r--	Circ.dfy.expect	62	log plain
-rw-r--r--	ClassRefinement.dfy	1578	log plain
-rw-r--r--	ClassRefinement.dfy.expect	62	log plain
-rw-r--r--	CoqArt-InsertionSort.dfy	4351	log plain
-rw-r--r--	CoqArt-InsertionSort.dfy.expect	62	log plain
-rw-r--r--	Fstar-QuickSort.dfy	4324	log plain
-rw-r--r--	Fstar-QuickSort.dfy.expect	61	log plain
-rw-r--r--	GHC-MergeSort.dfy	22257	log plain
-rw-r--r--	GHC-MergeSort.dfy.expect	62	log plain
-rw-r--r--	Juggernaut.dfy	335	log plain
-rw-r--r--	Juggernaut.dfy.expect	61	log plain
-rw-r--r--	KozenSilva.dfy	13638	log plain
-rw-r--r--	KozenSilva.dfy.expect	62	log plain
-rw-r--r--	LargeConstants.dfy	307	log plain
-rw-r--r--	LargeConstants.dfy.expect	61	log plain
-rw-r--r--	NipkowKlein-chapter3.dfy	8909	log plain
-rw-r--r--	NipkowKlein-chapter3.dfy.expect	62	log plain
-rw-r--r--	NipkowKlein-chapter7.dfy	11782	log plain
-rw-r--r--	NipkowKlein-chapter7.dfy.expect	62	log plain
-rw-r--r--	NumberRepresentations.dfy	9576	log plain
-rw-r--r--	NumberRepresentations.dfy.expect	62	log plain
-rw-r--r--	Primes.dfy	5974	log plain
-rw-r--r--	Primes.dfy.expect	62	log plain
-rw-r--r--	Regression0.dfy	234	log plain
-rw-r--r--	Regression0.dfy.expect	427	log plain
-rw-r--r--	SoftwareFoundations-Basics.dfy	11485	log plain
-rw-r--r--	SoftwareFoundations-Basics.dfy.expect	164	log plain
-rw-r--r--	bug72.dfy.expect	61	log plain
-rw-r--r--	set-compr.dfy	1604	log plain
-rw-r--r--	set-compr.dfy.expect	379	log plain