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

Mode	Name	Size
-rw-r--r--	AdvancedLHS.dfy	1541	log plain
-rw-r--r--	AdvancedLHS.dfy.expect	178	log plain
-rw-r--r--	Answer	117001	log plain
-rw-r--r--	Array.dfy	7921	log plain
-rw-r--r--	Array.dfy.expect	3710	log plain
-rw-r--r--	AssumptionVariables0.dfy	1225	log plain
-rw-r--r--	AssumptionVariables0.dfy.expect	1956	log plain
-rw-r--r--	AssumptionVariables1.dfy	585	log plain
-rw-r--r--	AssumptionVariables1.dfy.expect	61	log plain
-rw-r--r--	AutoReq.dfy	5658	log plain
-rw-r--r--	AutoReq.dfy.expect	1448	log plain
-rw-r--r--	BadFunction.dfy	487	log plain
-rw-r--r--	BadFunction.dfy.expect	189	log plain
-rw-r--r--	Basics.dfy	13001	log plain
-rw-r--r--	Basics.dfy.expect	2316	log plain
-rw-r--r--	Calculations.dfy	2382	log plain
-rw-r--r--	Calculations.dfy.expect	811	log plain
-rw-r--r--	CallStmtTests.dfy	429	log plain
-rw-r--r--	CallStmtTests.dfy.expect	228	log plain
-rw-r--r--	ChainingDisjointTests.dfy	1013	log plain
-rw-r--r--	ChainingDisjointTests.dfy.expect	61	log plain
-rw-r--r--	CoPrefix.dfy	4413	log plain
-rw-r--r--	CoPrefix.dfy.expect	1860	log plain
-rw-r--r--	CoResolution.dfy	4485	log plain
-rw-r--r--	CoResolution.dfy.expect	2482	log plain
-rw-r--r--	Coinductive.dfy	5196	log plain
-rw-r--r--	Coinductive.dfy.expect	2320	log plain
-rw-r--r--	CoinductiveProofs.dfy	4329	log plain
-rw-r--r--	CoinductiveProofs.dfy.expect	2122	log plain
-rw-r--r--	Compilation.dfy	4066	log plain
-rw-r--r--	Compilation.dfy.expect	102	log plain
-rw-r--r--	CompilationErrors.dfy	867	log plain
-rw-r--r--	CompilationErrors.dfy.expect	770	log plain
-rw-r--r--	Comprehensions.dfy	1379	log plain
-rw-r--r--	Comprehensions.dfy.expect	282	log plain
-rw-r--r--	Computations.dfy	4629	log plain
-rw-r--r--	Computations.dfy.expect	62	log plain
-rw-r--r--	ComputationsNeg.dfy	1050	log plain
-rw-r--r--	ComputationsNeg.dfy.expect	826	log plain
-rw-r--r--	ControlStructures.dfy	6502	log plain
-rw-r--r--	ControlStructures.dfy.expect	4210	log plain
-rw-r--r--	Corecursion.dfy	5573	log plain
-rw-r--r--	Corecursion.dfy.expect	1901	log plain
-rw-r--r--	DTypes.dfy	4025	log plain
-rw-r--r--	DTypes.dfy.expect	776	log plain
-rw-r--r--	DatatypeUpdate.dfy	972	log plain
-rw-r--r--	DatatypeUpdate.dfy.expect	61	log plain
-rw-r--r--	Datatypes.dfy	7960	log plain
-rw-r--r--	Datatypes.dfy.expect	2233	log plain
-rw-r--r--	Definedness.dfy	6364	log plain
-rw-r--r--	Definedness.dfy.expect	6401	log plain
-rw-r--r--	EqualityTypes.dfy	3760	log plain
-rw-r--r--	EqualityTypes.dfy.expect	1438	log plain
-rw-r--r--	FunctionSpecifications.dfy	4884	log plain
-rw-r--r--	FunctionSpecifications.dfy.expect	3004	log plain
-rw-r--r--	Include.dfy	793	log plain
-rw-r--r--	Include.dfy.expect	631	log plain
-rw-r--r--	Includee.dfy	563	log plain
-rw-r--r--	Includee.dfy.expect	564	log plain
-rw-r--r--	IteratorResolution.dfy	3631	log plain
-rw-r--r--	IteratorResolution.dfy.expect	1141	log plain
-rw-r--r--	Iterators.dfy	9056	log plain
-rw-r--r--	Iterators.dfy.expect	3379	log plain
-rw-r--r--	LetExpr.dfy	7918	log plain
-rw-r--r--	LetExpr.dfy.expect	1095	log plain
-rw-r--r--	LiberalEquality.dfy	1026	log plain
-rw-r--r--	LiberalEquality.dfy.expect	356	log plain
-rw-r--r--	LoopModifies.dfy	6905	log plain
-rw-r--r--	LoopModifies.dfy.expect	2823	log plain
-rw-r--r--	Maps.dfy	4187	log plain
-rw-r--r--	Maps.dfy.expect	233	log plain
-rw-r--r--	ModifyStmt.dfy	3941	log plain
-rw-r--r--	ModifyStmt.dfy.expect	1382	log plain
-rw-r--r--	Modules0.dfy	7554	log plain
-rw-r--r--	Modules0.dfy.expect	2647	log plain
-rw-r--r--	Modules1.dfy	2449	log plain
-rw-r--r--	Modules1.dfy.expect	602	log plain
-rw-r--r--	Modules2.dfy	1661	log plain
-rw-r--r--	Modules2.dfy.expect	634	log plain
-rw-r--r--	ModulesCycle.dfy	265	log plain
-rw-r--r--	ModulesCycle.dfy.expect	249	log plain
-rw-r--r--	MultiDimArray.dfy	2384	log plain
-rw-r--r--	MultiDimArray.dfy.expect	335	log plain
-rw-r--r--	MultiSets.dfy	7642	log plain
-rw-r--r--	MultiSets.dfy.expect	819	log plain
-rw-r--r--	NatTypes.dfy	2922	log plain
-rw-r--r--	NatTypes.dfy.expect	1313	log plain
-rw-r--r--	NoTypeArgs.dfy	2097	log plain
-rw-r--r--	NoTypeArgs.dfy.expect	62	log plain
-rw-r--r--	NonGhostQuantifiers.dfy	7074	log plain
-rw-r--r--	NonGhostQuantifiers.dfy.expect	3969	log plain
-rw-r--r--	OpaqueFunctions.dfy	3360	log plain
-rw-r--r--	OpaqueFunctions.dfy.expect	2497	log plain
-rw-r--r--	OpaqueFunctionsFail.dfy	311	log plain
-rw-r--r--	OpaqueFunctionsFail.dfy.expect	561	log plain
-rw-r--r--	Parallel.dfy	8018	log plain
-rw-r--r--	Parallel.dfy.expect	2005	log plain
-rw-r--r--	ParallelResolveErrors.dfy	3676	log plain
-rw-r--r--	ParallelResolveErrors.dfy.expect	2702	log plain
-rw-r--r--	ParseErrors.dfy	2031	log plain
-rw-r--r--	ParseErrors.dfy.expect	1177	log plain
-rw-r--r--	PredExpr.dfy	1896	log plain
-rw-r--r--	PredExpr.dfy.expect	592	log plain
-rw-r--r--	Predicates.dfy	3551	log plain
-rw-r--r--	Predicates.dfy.expect	1273	log plain
-rw-r--r--	RankNeg.dfy	746	log plain
-rw-r--r--	RankNeg.dfy.expect	737	log plain
-rw-r--r--	RankPos.dfy	1618	log plain
-rw-r--r--	RankPos.dfy.expect	62	log plain
-rw-r--r--	RealCompare.dfy	2350	log plain
-rw-r--r--	RealCompare.dfy.expect	757	log plain
-rw-r--r--	RealTypes.dfy	899	log plain
-rw-r--r--	RealTypes.dfy.expect	522	log plain
-rw-r--r--	Refinement.dfy	3891	log plain
-rw-r--r--	Refinement.dfy.expect	1860	log plain
-rw-r--r--	RefinementErrors.dfy	1687	log plain
-rw-r--r--	RefinementErrors.dfy.expect	1614	log plain
-rw-r--r--	RefinementModificationChecking.dfy	548	log plain
-rw-r--r--	RefinementModificationChecking.dfy.expect	263	log plain
-rw-r--r--	ResolutionErrors.dfy	24780	log plain
-rw-r--r--	ResolutionErrors.dfy.expect	14064	log plain
-rw-r--r--	ReturnErrors.dfy	843	log plain
-rw-r--r--	ReturnErrors.dfy.expect	324	log plain
-rw-r--r--	ReturnTests.dfy	1493	log plain
-rw-r--r--	ReturnTests.dfy.expect	62	log plain
-rw-r--r--	SeqSlice.dfy	889	log plain
-rw-r--r--	SeqSlice.dfy.expect	61	log plain
-rw-r--r--	Simple.dfy	1433	log plain
-rw-r--r--	Simple.dfy.expect	1356	log plain
-rw-r--r--	Skeletons.dfy	1051	log plain
-rw-r--r--	Skeletons.dfy.expect	474	log plain
-rw-r--r--	SmallTests.dfy	18093	log plain
-rw-r--r--	SmallTests.dfy.expect	5795	log plain
-rw-r--r--	SplitExpr.dfy	3036	log plain
-rw-r--r--	SplitExpr.dfy.expect	215	log plain
-rw-r--r--	StatementExpressions.dfy	2692	log plain
-rw-r--r--	StatementExpressions.dfy.expect	840	log plain
-rw-r--r--	Superposition.dfy	1566	log plain
-rw-r--r--	Superposition.dfy.expect	1596	log plain
-rw-r--r--	TailCalls.dfy	3023	log plain
-rw-r--r--	TailCalls.dfy.expect	530	log plain
-rw-r--r--	Termination.dfy	9239	log plain
-rw-r--r--	Termination.dfy.expect	1967	log plain
-rw-r--r--	TypeAntecedents.dfy	2748	log plain
-rw-r--r--	TypeAntecedents.dfy.expect	784	log plain
-rw-r--r--	TypeParameters.dfy	6281	log plain
-rw-r--r--	TypeParameters.dfy.expect	1756	log plain
-rw-r--r--	TypeTests.dfy	4639	log plain
-rw-r--r--	TypeTests.dfy.expect	2981	log plain
-rw-r--r--	runtest.bat	2300	log plain