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--	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	357	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	207	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--	Circ.dfy	2270	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	4324	log plain
-rw-r--r--	CoqArt-InsertionSort.dfy.expect	62	log plain
-rw-r--r--	Fstar-QuickSort.dfy	4379	log plain
-rw-r--r--	Fstar-QuickSort.dfy.expect	61	log plain
-rw-r--r--	GHC-MergeSort.dfy	22351	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	13509	log plain
-rw-r--r--	KozenSilva.dfy.expect	62	log plain
-rw-r--r--	NipkowKlein-chapter3.dfy	8619	log plain
-rw-r--r--	NipkowKlein-chapter3.dfy.expect	62	log plain
-rw-r--r--	NipkowKlein-chapter7.dfy	15863	log plain
-rw-r--r--	NipkowKlein-chapter7.dfy.expect	62	log plain
-rw-r--r--	NumberRepresentations.dfy	9551	log plain
-rw-r--r--	NumberRepresentations.dfy.expect	62	log plain
-rw-r--r--	Primes.dfy	5470	log plain
-rw-r--r--	Primes.dfy.expect	62	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