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	5567	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	16662	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	4409	log plain
-rw-r--r--	CoPrefix.dfy.expect	1863	log plain
-rw-r--r--	CoResolution.dfy	4602	log plain
-rw-r--r--	CoResolution.dfy.expect	2570	log plain
-rw-r--r--	Coinductive.dfy	8331	log plain
-rw-r--r--	Coinductive.dfy.expect	4407	log plain
-rw-r--r--	CoinductiveProofs.dfy	4327	log plain
-rw-r--r--	CoinductiveProofs.dfy.expect	2122	log plain
-rw-r--r--	Compilation.dfy	4440	log plain
-rw-r--r--	Compilation.dfy.expect	102	log plain
-rw-r--r--	CompilationErrors.dfy	900	log plain
-rw-r--r--	CompilationErrors.dfy.expect	767	log plain
-rw-r--r--	Comprehensions.dfy	1378	log plain
-rw-r--r--	Comprehensions.dfy.expect	282	log plain
-rw-r--r--	Computations.dfy	5222	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	1036	log plain
-rw-r--r--	ComputationsNeg.dfy.expect	826	log plain
-rw-r--r--	ControlStructures.dfy	6501	log plain
-rw-r--r--	ControlStructures.dfy.expect	4230	log plain
-rw-r--r--	Corecursion.dfy	5570	log plain
-rw-r--r--	Corecursion.dfy.expect	1901	log plain
-rw-r--r--	DTypes.dfy	5140	log plain
-rw-r--r--	DTypes.dfy.expect	984	log plain
-rw-r--r--	DatatypeUpdate.dfy	1317	log plain
-rw-r--r--	DatatypeUpdate.dfy.expect	61	log plain
-rw-r--r--	Datatypes.dfy	7955	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--	DeterministicPick.dfy	1092	log plain
-rw-r--r--	DeterministicPick.dfy.expect	242	log plain
-rw-r--r--	DiamondImports.dfy	3064	log plain
-rw-r--r--	DiamondImports.dfy.expect	833	log plain
-rw-r--r--	DirtyLoops.dfy	623	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	7403	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	4573	log plain
-rw-r--r--	FunctionSpecifications.dfy.expect	2805	log plain
-rw-r--r--	IMaps.dfy	2814	log plain
-rw-r--r--	IMaps.dfy.expect	192	log plain
-rw-r--r--	IMaps2.dfy	271	log plain
-rw-r--r--	IMaps2.dfy.expect	208	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--	InductivePredicates.dfy	3696	log plain
-rw-r--r--	InductivePredicates.dfy.expect	277	log plain
-rw-r--r--	Inverses.dfy	4133	log plain
-rw-r--r--	Inverses.dfy.expect	528	log plain
-rw-r--r--	IteratorResolution.dfy	3624	log plain
-rw-r--r--	IteratorResolution.dfy.expect	1141	log plain
-rw-r--r--	Iterators.dfy	9042	log plain
-rw-r--r--	Iterators.dfy.expect	3385	log plain
-rw-r--r--	LetExpr.dfy	8428	log plain
-rw-r--r--	LetExpr.dfy.expect	1270	log plain
-rw-r--r--	LhsDuplicates.dfy	2205	log plain
-rw-r--r--	LhsDuplicates.dfy.expect	1231	log plain
-rw-r--r--	LiberalEquality.dfy	3206	log plain
-rw-r--r--	LiberalEquality.dfy.expect	1633	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	2614	log plain
-rw-r--r--	ModifyStmt.dfy	3944	log plain
-rw-r--r--	ModifyStmt.dfy.expect	1382	log plain
-rw-r--r--	Modules0.dfy	7880	log plain
-rw-r--r--	Modules0.dfy.expect	3968	log plain
-rw-r--r--	Modules1.dfy	2431	log plain
-rw-r--r--	Modules1.dfy.expect	641	log plain
-rw-r--r--	Modules2.dfy	1638	log plain
-rw-r--r--	Modules2.dfy.expect	740	log plain
-rw-r--r--	ModulesCycle.dfy	262	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	2980	log plain
-rw-r--r--	NatTypes.dfy.expect	1313	log plain
-rw-r--r--	Newtypes.dfy	9033	log plain
-rw-r--r--	Newtypes.dfy.expect	1965	log plain
-rw-r--r--	NewtypesResolution.dfy	6648	log plain
-rw-r--r--	NewtypesResolution.dfy.expect	3301	log plain
-rw-r--r--	NoTypeArgs.dfy	2096	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	4721	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	8159	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	3629	log plain
-rw-r--r--	Predicates.dfy.expect	1273	log plain
-rw-r--r--	Protected.dfy	1492	log plain
-rw-r--r--	Protected.dfy.expect	581	log plain
-rw-r--r--	ProtectedResolution.dfy	1027	log plain
-rw-r--r--	ProtectedResolution.dfy.expect	1154	log plain
-rw-r--r--	RankNeg.dfy	745	log plain
-rw-r--r--	RankNeg.dfy.expect	737	log plain
-rw-r--r--	RankPos.dfy	1614	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	4008	log plain
-rw-r--r--	Refinement.dfy.expect	1861	log plain
-rw-r--r--	RefinementErrors.dfy	1689	log plain
-rw-r--r--	RefinementErrors.dfy.expect	1614	log plain
-rw-r--r--	RefinementModificationChecking.dfy	1211	log plain
-rw-r--r--	RefinementModificationChecking.dfy.expect	761	log plain
-rw-r--r--	ResolutionErrors.dfy	36712	log plain
-rw-r--r--	ResolutionErrors.dfy.expect	19207	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	2597	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	1667	log plain
-rw-r--r--	Simple.dfy.expect	1569	log plain
-rw-r--r--	Skeletons.dfy	1051	log plain
-rw-r--r--	Skeletons.dfy.expect	474	log plain
-rw-r--r--	SmallTests.dfy	20772	log plain
-rw-r--r--	SmallTests.dfy.expect	6190	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	1586	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	9932	log plain
-rw-r--r--	Termination.dfy.expect	2099	log plain
d---------	Trait	1325	log plain
-rw-r--r--	Tuples.dfy	800	log plain
-rw-r--r--	Tuples.dfy.expect	233	log plain
-rw-r--r--	TypeAntecedents.dfy	2796	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	7008	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	6738	log plain
-rw-r--r--	TypeTests.dfy.expect	5743	log plain
-rw-r--r--	UserSpecifiedTypeParameters.dfy	2449	log plain
-rw-r--r--	UserSpecifiedTypeParameters.dfy.expect	1215	log plain
d---------	snapshots	856	log plain