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

Mode	Name	Size
-rw-r--r--	CachedContainer.dfy	3259	log plain
-rw-r--r--	CachedContainer.dfy.expect	176	log plain
-rw-r--r--	CalcExample.dfy	688	log plain
-rw-r--r--	CalcExample.dfy.expect	61	log plain
-rw-r--r--	Dijkstra.dfy	2260	log plain
-rw-r--r--	Dijkstra.dfy.expect	62	log plain
-rw-r--r--	Filter.dfy	7667	log plain
-rw-r--r--	Filter.dfy.expect	62	log plain
-rw-r--r--	GenericSort.dfy	6575	log plain
-rw-r--r--	GenericSort.dfy.expect	62	log plain
-rw-r--r--	InductionVsCoinduction.dfy	4227	log plain
-rw-r--r--	InductionVsCoinduction.dfy.expect	62	log plain
-rw-r--r--	InfiniteTrees.dfy	22232	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	5358	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	2372	log plain
-rw-r--r--	SimpleCoinduction.dfy.expect	62	log plain
-rw-r--r--	SimpleInduction.dfy	2478	log plain
-rw-r--r--	SimpleInduction.dfy.expect	62	log plain
-rw-r--r--	Streams.dfy	10990	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	2436	log plain
-rw-r--r--	Zip.dfy.expect	62	log plain