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

Mode	Name	Size
-rw-r--r--	AdvancedLHS.dfy	1474	log plain
-rw-r--r--	Answer	39336	log plain
-rw-r--r--	Array.dfy	3507	log plain
-rw-r--r--	BadFunction.dfy	376	log plain
-rw-r--r--	Basics.dfy	3918	log plain
-rw-r--r--	Comprehensions.dfy	1174	log plain
-rw-r--r--	ControlStructures.dfy	5333	log plain
-rw-r--r--	DTypes.dfy	3914	log plain
-rw-r--r--	Datatypes.dfy	4082	log plain
-rw-r--r--	Definedness.dfy	6836	log plain
-rw-r--r--	FunctionSpecifications.dfy	1722	log plain
-rw-r--r--	Modules0.dfy	4245	log plain
-rw-r--r--	Modules1.dfy	907	log plain
-rw-r--r--	MultiDimArray.dfy	2259	log plain
-rw-r--r--	NatTypes.dfy	2132	log plain
-rw-r--r--	NonGhostQuantifiers.dfy	5182	log plain
-rw-r--r--	ParseErrors.dfy	911	log plain
-rw-r--r--	Refinement.dfy	3076	log plain
-rw-r--r--	RefinementErrors.dfy	468	log plain
-rw-r--r--	ResolutionErrors.dfy	9478	log plain
-rw-r--r--	Simple.dfy	1231	log plain
-rw-r--r--	SmallTests.dfy	8922	log plain
-rw-r--r--	SplitExpr.dfy	1841	log plain
-rw-r--r--	Termination.dfy	6723	log plain
-rw-r--r--	TypeAntecedents.dfy	2557	log plain
-rw-r--r--	TypeParameters.dfy	3510	log plain
-rw-r--r--	TypeTests.dfy	2770	log plain
-rw-r--r--	runtest.bat	897	log plain