dafny0 « Test - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
-rw-r--r--	AdvancedLHS.dfy	1477	log plain
-rw-r--r--	Answer	31369	log plain
-rw-r--r--	Array.dfy	3507	log plain
-rw-r--r--	BadFunction.dfy	376	log plain
-rw-r--r--	Basics.dfy	854	log plain
-rw-r--r--	Comprehensions.dfy	1199	log plain
-rw-r--r--	ControlStructures.dfy	2830	log plain
-rw-r--r--	DTypes.dfy	3930	log plain
-rw-r--r--	Datatypes.dfy	2933	log plain
-rw-r--r--	Definedness.dfy	7020	log plain
-rw-r--r--	FunctionSpecifications.dfy	1730	log plain
-rw-r--r--	Modules0.dfy	4331	log plain
-rw-r--r--	Modules1.dfy	941	log plain
-rw-r--r--	MultiDimArray.dfy	2264	log plain
-rw-r--r--	NatTypes.dfy	2154	log plain
-rw-r--r--	NonGhostQuantifiers.dfy	5182	log plain
-rw-r--r--	Refinement.dfy	3076	log plain
-rw-r--r--	RefinementErrors.dfy	468	log plain
-rw-r--r--	ResolutionErrors.dfy	3095	log plain
-rw-r--r--	Simple.dfy	1255	log plain
-rw-r--r--	SmallTests.dfy	8735	log plain
-rw-r--r--	SplitExpr.dfy	1841	log plain
-rw-r--r--	Termination.dfy	6759	log plain
-rw-r--r--	TypeAntecedents.dfy	2585	log plain
-rw-r--r--	TypeParameters.dfy	3517	log plain
-rw-r--r--	TypeTests.dfy	2858	log plain
-rw-r--r--	Use.dfy	5131	log plain
-rw-r--r--	runtest.bat	889	log plain