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

Mode	Name	Size
-rw-r--r--	AdvancedLHS.dfy	1430	log plain
-rw-r--r--	Answer	113632	log plain
-rw-r--r--	Array.dfy	7810	log plain
-rw-r--r--	AutoReq.dfy	5549	log plain
-rw-r--r--	BadFunction.dfy	376	log plain
-rw-r--r--	Basics.dfy	12890	log plain
-rw-r--r--	Calculations.dfy	2217	log plain
-rw-r--r--	CallStmtTests.dfy	320	log plain
-rw-r--r--	ChainingDisjointTests.dfy	904	log plain
-rw-r--r--	CoPrefix.dfy	4302	log plain
-rw-r--r--	CoResolution.dfy	4109	log plain
-rw-r--r--	Coinductive.dfy	5085	log plain
-rw-r--r--	CoinductiveProofs.dfy	4218	log plain
-rw-r--r--	Compilation.dfy	4004	log plain
-rw-r--r--	CompilationErrors.dfy	805	log plain
-rw-r--r--	Comprehensions.dfy	1268	log plain
-rw-r--r--	Computations.dfy	4518	log plain
-rw-r--r--	ComputationsNeg.dfy	939	log plain
-rw-r--r--	ControlStructures.dfy	6391	log plain
-rw-r--r--	Corecursion.dfy	5464	log plain
-rw-r--r--	DTypes.dfy	3914	log plain
-rw-r--r--	DatatypeUpdate.dfy	863	log plain
-rw-r--r--	Datatypes.dfy	7849	log plain
-rw-r--r--	Definedness.dfy	6253	log plain
-rw-r--r--	EqualityTypes.dfy	3649	log plain
-rw-r--r--	FunctionSpecifications.dfy	4632	log plain
-rw-r--r--	Include.dfy	226	log plain
-rw-r--r--	Includee.dfy	111	log plain
-rw-r--r--	IteratorResolution.dfy	3520	log plain
-rw-r--r--	Iterators.dfy	8945	log plain
-rw-r--r--	LetExpr.dfy	7750	log plain
-rw-r--r--	LiberalEquality.dfy	917	log plain
-rw-r--r--	LoopModifies.dfy	6794	log plain
-rw-r--r--	Maps.dfy	4076	log plain
-rw-r--r--	ModifyStmt.dfy	3830	log plain
-rw-r--r--	Modules0.dfy	7443	log plain
-rw-r--r--	Modules1.dfy	2035	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	7508	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--	OpaqueFunctions.dfy	3172	log plain
-rw-r--r--	Parallel.dfy	7907	log plain
-rw-r--r--	ParallelResolveErrors.dfy	3565	log plain
-rw-r--r--	ParseErrors.dfy	1920	log plain
-rw-r--r--	PredExpr.dfy	1785	log plain
-rw-r--r--	Predicates.dfy	3440	log plain
-rw-r--r--	RankNeg.dfy	635	log plain
-rw-r--r--	RankPos.dfy	1505	log plain
-rw-r--r--	RealCompare.dfy	2239	log plain
-rw-r--r--	RealTypes.dfy	788	log plain
-rw-r--r--	Refinement.dfy	3783	log plain
-rw-r--r--	RefinementErrors.dfy	1579	log plain
-rw-r--r--	RefinementModificationChecking.dfy	439	log plain
-rw-r--r--	ResolutionErrors.dfy	24671	log plain
-rw-r--r--	ReturnErrors.dfy	732	log plain
-rw-r--r--	ReturnTests.dfy	1384	log plain
-rw-r--r--	SeqSlice.dfy	780	log plain
-rw-r--r--	Simple.dfy	1344	log plain
-rw-r--r--	Skeletons.dfy	943	log plain
-rw-r--r--	SmallTests.dfy	17914	log plain
-rw-r--r--	SplitExpr.dfy	2925	log plain
-rw-r--r--	StatementExpressions.dfy	2581	log plain
-rw-r--r--	Superposition.dfy	1447	log plain
-rw-r--r--	TailCalls.dfy	2912	log plain
-rw-r--r--	Termination.dfy	9128	log plain
-rw-r--r--	TypeAntecedents.dfy	2637	log plain
-rw-r--r--	TypeParameters.dfy	6170	log plain
-rw-r--r--	TypeTests.dfy	4528	log plain
-rw-r--r--	runtest.bat	2224	log plain