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

Mode	Name	Size
-rw-r--r--	AdvancedLHS.dfy	1450	log plain
-rw-r--r--	Answer	90936	log plain
-rw-r--r--	Array.dfy	6877	log plain
-rw-r--r--	BadFunction.dfy	376	log plain
-rw-r--r--	Basics.dfy	5103	log plain
-rw-r--r--	Calculations.dfy	581	log plain
-rw-r--r--	CallStmtTests.dfy	320	log plain
-rw-r--r--	ChainingDisjointTests.dfy	904	log plain
-rw-r--r--	Coinductive.dfy	3917	log plain
-rw-r--r--	CoinductiveProofs.dfy	3559	log plain
-rw-r--r--	Compilation.dfy	2039	log plain
-rw-r--r--	Comprehensions.dfy	1270	log plain
-rw-r--r--	ControlStructures.dfy	5333	log plain
-rw-r--r--	Corecursion.dfy	1157	log plain
-rw-r--r--	DTypes.dfy	3914	log plain
-rw-r--r--	Datatypes.dfy	5649	log plain
-rw-r--r--	Definedness.dfy	6235	log plain
-rw-r--r--	EqualityTypes.dfy	2537	log plain
-rw-r--r--	FunctionSpecifications.dfy	1866	log plain
-rw-r--r--	IteratorResolution.dfy	3520	log plain
-rw-r--r--	Iterators.dfy	5671	log plain
-rw-r--r--	LetExpr.dfy	4114	log plain
-rw-r--r--	LiberalEquality.dfy	917	log plain
-rw-r--r--	LoopModifies.dfy	6796	log plain
-rw-r--r--	Maps.dfy	4059	log plain
-rw-r--r--	Modules0.dfy	7443	log plain
-rw-r--r--	Modules1.dfy	1999	log plain
-rw-r--r--	Modules2.dfy	1550	log plain
-rw-r--r--	ModulesCycle.dfy	154	log plain
-rw-r--r--	MultiDimArray.dfy	2259	log plain
-rw-r--r--	MultiSets.dfy	5034	log plain
-rw-r--r--	NatTypes.dfy	2811	log plain
-rw-r--r--	NoTypeArgs.dfy	1934	log plain
-rw-r--r--	NonGhostQuantifiers.dfy	6963	log plain
-rw-r--r--	Parallel.dfy	7520	log plain
-rw-r--r--	ParallelResolveErrors.dfy	3065	log plain
-rw-r--r--	ParseErrors.dfy	1920	log plain
-rw-r--r--	PredExpr.dfy	1785	log plain
-rw-r--r--	Predicates.dfy	3166	log plain
-rw-r--r--	Refinement.dfy	3700	log plain
-rw-r--r--	RefinementErrors.dfy	1579	log plain
-rw-r--r--	RefinementModificationChecking.dfy	433	log plain
-rw-r--r--	ResolutionErrors.dfy	14854	log plain
-rw-r--r--	ReturnErrors.dfy	732	log plain
-rw-r--r--	ReturnTests.dfy	1123	log plain
-rw-r--r--	Simple.dfy	1231	log plain
-rw-r--r--	Skeletons.dfy	943	log plain
-rw-r--r--	SmallTests.dfy	14821	log plain
-rw-r--r--	SplitExpr.dfy	1841	log plain
-rw-r--r--	Superposition.dfy	1447	log plain
-rw-r--r--	TailCalls.dfy	2257	log plain
-rw-r--r--	Termination.dfy	8801	log plain
-rw-r--r--	TypeAntecedents.dfy	2645	log plain
-rw-r--r--	TypeParameters.dfy	3624	log plain
-rw-r--r--	TypeTests.dfy	3668	log plain
-rw-r--r--	runtest.bat	1869	log plain