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--	Bug100.dfy	493	log plain
-rw-r--r--	Bug100.dfy.expect	61	log plain
-rw-r--r--	Bug101.dfy	297	log plain
-rw-r--r--	Bug101.dfy.expect	207	log plain
-rw-r--r--	Bug103.dfy	288	log plain
-rw-r--r--	Bug103.dfy.expect	61	log plain
-rw-r--r--	Bug104.dfy	264	log plain
-rw-r--r--	Bug104.dfy.expect	166	log plain
-rw-r--r--	Bug107.dfy	183	log plain
-rw-r--r--	Bug107.dfy.expect	107	log plain
-rw-r--r--	Bug108.dfy	209	log plain
-rw-r--r--	Bug108.dfy.expect	130	log plain
-rw-r--r--	Bug110.dfy	626	log plain
-rw-r--r--	Bug110.dfy.expect	61	log plain
-rw-r--r--	Bug111.dfy	237	log plain
-rw-r--r--	Bug111.dfy.expect	61	log plain
-rw-r--r--	Bug113.dfy	186	log plain
-rw-r--r--	Bug113.dfy.expect	126	log plain
-rw-r--r--	Bug114.dfy	263	log plain
-rw-r--r--	Bug114.dfy.expect	182	log plain
-rw-r--r--	Bug116.dfy	198	log plain
-rw-r--r--	Bug116.dfy.expect	96	log plain
-rw-r--r--	Bug117.dfy	789	log plain
-rw-r--r--	Bug117.dfy.expect	377	log plain
-rw-r--r--	Bug118.dfy	288	log plain
-rw-r--r--	Bug118.dfy.expect	61	log plain
-rw-r--r--	Bug120.dfy	189	log plain
-rw-r--r--	Bug120.dfy.expect	61	log plain
-rw-r--r--	Bug121.dfy	220	log plain
-rw-r--r--	Bug121.dfy.expect	61	log plain
-rw-r--r--	Bug122.dfy	169	log plain
-rw-r--r--	Bug122.dfy.expect	61	log plain
-rw-r--r--	Bug124.dfy	344	log plain
-rw-r--r--	Bug124.dfy.expect	61	log plain
-rw-r--r--	Bug125.dfy	834	log plain
-rw-r--r--	Bug125.dfy.expect	62	log plain
-rw-r--r--	Bug128.dfy	364	log plain
-rw-r--r--	Bug128.dfy.expect	197	log plain
-rw-r--r--	Bug129.dfy	243	log plain
-rw-r--r--	Bug129.dfy.expect	61	log plain
-rw-r--r--	Bug131.dfy	159	log plain
-rw-r--r--	Bug131.dfy.expect	113	log plain
-rw-r--r--	Bug133.dfy	341	log plain
-rw-r--r--	Bug133.dfy.expect	61	log plain
-rw-r--r--	Bug134.dfy	435	log plain
-rw-r--r--	Bug134.dfy.expect	269	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--	Bug88.dfy	212	log plain
-rw-r--r--	Bug88.dfy.expect	499	log plain
-rw-r--r--	Bug89.dfy	216	log plain
-rw-r--r--	Bug89.dfy.expect	107	log plain
-rw-r--r--	Bug91.dfy	865	log plain
-rw-r--r--	Bug91.dfy.expect	61	log plain
-rw-r--r--	Bug94.dfy	436	log plain
-rw-r--r--	Bug94.dfy.expect	108	log plain
-rw-r--r--	Bug99.dfy	264	log plain
-rw-r--r--	Bug99.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--	FlyingRobots.dfy	7527	log plain
-rw-r--r--	FlyingRobots.dfy.expect	107	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--	Leq.dfy	3914	log plain
-rw-r--r--	Leq.dfy.expect	94	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	11726	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	371	log plain
-rw-r--r--	Regression0.dfy.expect	352	log plain
-rw-r--r--	Regression1.dfy	282	log plain
-rw-r--r--	Regression1.dfy.expect	61	log plain
-rw-r--r--	SoftwareFoundations-Basics.dfy	11485	log plain
-rw-r--r--	SoftwareFoundations-Basics.dfy.expect	164	log plain
-rw-r--r--	UnionFind.dfy	12507	log plain
-rw-r--r--	UnionFind.dfy.expect	100	log plain
-rw-r--r--	bug72.dfy.expect	61	log plain
-rw-r--r--	set-compr.dfy	2673	log plain
-rw-r--r--	set-compr.dfy.expect	2743	log plain