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

Mode	Name	Size
-rw-r--r--	CachedContainer.dfy	3231	log plain
-rw-r--r--	CachedContainer.dfy.expect	62	log plain
-rw-r--r--	CalcExample.dfy	709	log plain
-rw-r--r--	CalcExample.dfy.expect	61	log plain
-rw-r--r--	Dijkstra.dfy	2281	log plain
-rw-r--r--	Dijkstra.dfy.expect	62	log plain
-rw-r--r--	Filter.dfy	7488	log plain
-rw-r--r--	Filter.dfy.expect	62	log plain
-rw-r--r--	GenericSort.dfy	6748	log plain
-rw-r--r--	GenericSort.dfy.expect	62	log plain
-rw-r--r--	InductionVsCoinduction.dfy	4137	log plain
-rw-r--r--	InductionVsCoinduction.dfy.expect	62	log plain
-rw-r--r--	InfiniteTrees.dfy	22725	log plain
-rw-r--r--	InfiniteTrees.dfy.expect	62	log plain
-rw-r--r--	Iter.dfy	2704	log plain
-rw-r--r--	Iter.dfy.expect	62	log plain
-rw-r--r--	OpaqueTrees.dfy	1117	log plain
-rw-r--r--	OpaqueTrees.dfy.expect	61	log plain
-rw-r--r--	Paulson.dfy	5360	log plain
-rw-r--r--	Paulson.dfy.expect	62	log plain
-rw-r--r--	SetIterations.dfy	1591	log plain
-rw-r--r--	SetIterations.dfy.expect	62	log plain
-rw-r--r--	SimpleCoinduction.dfy	2179	log plain
-rw-r--r--	SimpleCoinduction.dfy.expect	62	log plain
-rw-r--r--	SimpleInduction.dfy	2532	log plain
-rw-r--r--	SimpleInduction.dfy.expect	62	log plain
-rw-r--r--	Streams.dfy	10992	log plain
-rw-r--r--	Streams.dfy.expect	62	log plain
-rw-r--r--	WideTrees.dfy	1160	log plain
-rw-r--r--	WideTrees.dfy.expect	62	log plain
-rw-r--r--	Zip.dfy	2437	log plain
-rw-r--r--	Zip.dfy.expect	62	log plain