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--	Array.dfy	8927	log plain
-rw-r--r--	Array.dfy.expect	3885	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	5625	log plain
-rw-r--r--	AutoReq.dfy.expect	1448	log plain
-rw-r--r--	Backticks.dfy	1110	log plain
-rw-r--r--	Backticks.dfy.expect	349	log plain
-rw-r--r--	BadFunction.dfy	487	log plain
-rw-r--r--	BadFunction.dfy.expect	189	log plain
-rw-r--r--	Basics.dfy	14100	log plain
-rw-r--r--	Basics.dfy.expect	3681	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	229	log plain
-rw-r--r--	ChainingDisjointTests.dfy	1013	log plain
-rw-r--r--	ChainingDisjointTests.dfy.expect	61	log plain
-rw-r--r--	Char.dfy	1381	log plain
-rw-r--r--	Char.dfy.expect	421	log plain
-rw-r--r--	CoPrefix.dfy	4413	log plain
-rw-r--r--	CoPrefix.dfy.expect	1863	log plain
-rw-r--r--	CoResolution.dfy	4485	log plain
-rw-r--r--	CoResolution.dfy.expect	2568	log plain
-rw-r--r--	Coinductive.dfy	5196	log plain
-rw-r--r--	Coinductive.dfy.expect	2321	log plain
-rw-r--r--	CoinductiveProofs.dfy	4329	log plain
-rw-r--r--	CoinductiveProofs.dfy.expect	2122	log plain
-rw-r--r--	Compilation.dfy	4476	log plain
-rw-r--r--	Compilation.dfy.expect	102	log plain
-rw-r--r--	CompilationErrors.dfy	864	log plain
-rw-r--r--	CompilationErrors.dfy.expect	767	log plain
-rw-r--r--	Comprehensions.dfy	1379	log plain
-rw-r--r--	Comprehensions.dfy.expect	282	log plain
-rw-r--r--	Computations.dfy	5225	log plain
-rw-r--r--	Computations.dfy.expect	62	log plain
-rw-r--r--	ComputationsLoop.dfy	252	log plain
-rw-r--r--	ComputationsLoop.dfy.expect	288	log plain
-rw-r--r--	ComputationsLoop2.dfy	303	log plain
-rw-r--r--	ComputationsLoop2.dfy.expect	464	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	5142	log plain
-rw-r--r--	DTypes.dfy.expect	984	log plain
-rw-r--r--	DatatypeUpdate.dfy	1318	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	6389	log plain
-rw-r--r--	Definedness.dfy.expect	6401	log plain
-rw-r--r--	DirtyLoops.dfy	551	log plain
-rw-r--r--	DirtyLoops.dfy.expect	122	log plain
-rw-r--r--	DiscoverBounds.dfy	1154	log plain
-rw-r--r--	DiscoverBounds.dfy.expect	584	log plain
-rw-r--r--	DisplayExpressions.dfy	440	log plain
-rw-r--r--	DisplayExpressions.dfy.expect	473	log plain
-rw-r--r--	EqualityTypes.dfy	7420	log plain
-rw-r--r--	EqualityTypes.dfy.expect	3952	log plain
-rw-r--r--	ForallCompilation.dfy	2301	log plain
-rw-r--r--	ForallCompilation.dfy.expect	107	log plain
-rw-r--r--	FunctionSpecifications.dfy	4574	log plain
-rw-r--r--	FunctionSpecifications.dfy.expect	2805	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--	Inverses.dfy	4133	log plain
-rw-r--r--	Inverses.dfy.expect	528	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	3385	log plain
-rw-r--r--	LetExpr.dfy	7918	log plain
-rw-r--r--	LetExpr.dfy.expect	1095	log plain
-rw-r--r--	LhsDuplicates.dfy	2205	log plain
-rw-r--r--	LhsDuplicates.dfy.expect	1231	log plain
-rw-r--r--	LiberalEquality.dfy	1026	log plain
-rw-r--r--	LiberalEquality.dfy.expect	356	log plain
-rw-r--r--	LoopModifies.dfy	6920	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--	MatchBraces.dfy	3035	log plain
-rw-r--r--	MatchBraces.dfy.expect	2617	log plain
-rw-r--r--	ModifyStmt.dfy	3944	log plain
-rw-r--r--	ModifyStmt.dfy.expect	1382	log plain
-rw-r--r--	Modules0.dfy	7566	log plain
-rw-r--r--	Modules0.dfy.expect	3014	log plain
-rw-r--r--	Modules1.dfy	2449	log plain
-rw-r--r--	Modules1.dfy.expect	641	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	8136	log plain
-rw-r--r--	MultiSets.dfy.expect	970	log plain
-rw-r--r--	NatTypes.dfy	2922	log plain
-rw-r--r--	NatTypes.dfy.expect	1313	log plain
-rw-r--r--	Newtypes.dfy	7803	log plain
-rw-r--r--	Newtypes.dfy.expect	1965	log plain
-rw-r--r--	NewtypesResolution.dfy	6662	log plain
-rw-r--r--	NewtypesResolution.dfy.expect	3301	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	4228	log plain
-rw-r--r--	OpaqueFunctions.dfy.expect	2871	log plain
-rw-r--r--	OpaqueFunctionsFail.dfy	311	log plain
-rw-r--r--	OpaqueFunctionsFail.dfy.expect	574	log plain
-rw-r--r--	Parallel.dfy	8073	log plain
-rw-r--r--	Parallel.dfy.expect	2006	log plain
-rw-r--r--	ParallelResolveErrors.dfy	3676	log plain
-rw-r--r--	ParallelResolveErrors.dfy.expect	2706	log plain
-rw-r--r--	ParseErrors.dfy	2303	log plain
-rw-r--r--	ParseErrors.dfy.expect	1331	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--	Reads.dfy	1126	log plain
-rw-r--r--	Reads.dfy.expect	774	log plain
-rw-r--r--	RealCompare.dfy	2351	log plain
-rw-r--r--	RealCompare.dfy.expect	799	log plain
-rw-r--r--	RealTypes.dfy	1203	log plain
-rw-r--r--	RealTypes.dfy.expect	740	log plain
-rw-r--r--	Refinement.dfy	3891	log plain
-rw-r--r--	Refinement.dfy.expect	1860	log plain
-rw-r--r--	RefinementErrors.dfy	1689	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	35642	log plain
-rw-r--r--	ResolutionErrors.dfy.expect	19164	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--	SeqFromArray.dfy	2598	log plain
-rw-r--r--	SeqFromArray.dfy.expect	107	log plain
-rw-r--r--	SeqSlice.dfy	1761	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	18374	log plain
-rw-r--r--	SmallTests.dfy.expect	6189	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--	Strings.dfy	1627	log plain
-rw-r--r--	Strings.dfy.expect	291	log plain
-rw-r--r--	Superposition.dfy	1566	log plain
-rw-r--r--	Superposition.dfy.expect	1596	log plain
-rw-r--r--	TailCalls.dfy	2640	log plain
-rw-r--r--	TailCalls.dfy.expect	406	log plain
-rw-r--r--	Termination.dfy	9837	log plain
-rw-r--r--	Termination.dfy.expect	2099	log plain
d---------	Trait	816	log plain
-rw-r--r--	Tuples.dfy	800	log plain
-rw-r--r--	Tuples.dfy.expect	233	log plain
-rw-r--r--	TypeAntecedents.dfy	2748	log plain
-rw-r--r--	TypeAntecedents.dfy.expect	784	log plain
-rw-r--r--	TypeInstantiations.dfy	1630	log plain
-rw-r--r--	TypeInstantiations.dfy.expect	1822	log plain
-rw-r--r--	TypeParameters.dfy	7025	log plain
-rw-r--r--	TypeParameters.dfy.expect	1756	log plain
-rw-r--r--	TypeSynonyms.dfy	972	log plain
-rw-r--r--	TypeSynonyms.dfy.expect	61	log plain
-rw-r--r--	TypeTests.dfy	5165	log plain
-rw-r--r--	TypeTests.dfy.expect	3296	log plain
d---------	snapshots	856	log plain