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	8998	log plain
-rw-r--r--	Array.dfy.expect	3998	log plain
-rw-r--r--	AssumptionVariables0.dfy	1341	log plain
-rw-r--r--	AssumptionVariables0.dfy.expect	1883	log plain
-rw-r--r--	AssumptionVariables1.dfy	585	log plain
-rw-r--r--	AssumptionVariables1.dfy.expect	61	log plain
-rw-r--r--	AutoReq.dfy	5841	log plain
-rw-r--r--	AutoReq.dfy.expect	1696	log plain
-rw-r--r--	Backticks.dfy	1110	log plain
-rw-r--r--	Backticks.dfy.expect	367	log plain
-rw-r--r--	BadFunction.dfy	487	log plain
-rw-r--r--	BadFunction.dfy.expect	189	log plain
-rw-r--r--	Basics.dfy	16659	log plain
-rw-r--r--	Basics.dfy.expect	3676	log plain
-rw-r--r--	BindingGuards.dfy	2807	log plain
-rw-r--r--	BindingGuards.dfy.expect	3306	log plain
-rw-r--r--	BindingGuardsResolution.dfy	3398	log plain
-rw-r--r--	BindingGuardsResolution.dfy.expect	4424	log plain
-rw-r--r--	Calculations.dfy	2389	log plain
-rw-r--r--	Calculations.dfy.expect	811	log plain
-rw-r--r--	CallStmtTests.dfy	489	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	5009	log plain
-rw-r--r--	CoPrefix.dfy.expect	2394	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	6369	log plain
-rw-r--r--	CoinductiveProofs.dfy.expect	3034	log plain
-rw-r--r--	Compilation.dfy	6364	log plain
-rw-r--r--	Compilation.dfy.expect	197	log plain
-rw-r--r--	CompilationErrors.dfy	900	log plain
-rw-r--r--	CompilationErrors.dfy.expect	767	log plain
-rw-r--r--	Comprehensions.dfy	1500	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	1079	log plain
-rw-r--r--	ComputationsNeg.dfy.expect	826	log plain
-rw-r--r--	ContainerRanks.dfy	883	log plain
-rw-r--r--	ContainerRanks.dfy.expect	61	log plain
-rw-r--r--	ControlStructures.dfy	6501	log plain
-rw-r--r--	ControlStructures.dfy.expect	4231	log plain
-rw-r--r--	Corecursion.dfy	5570	log plain
-rw-r--r--	Corecursion.dfy.expect	1901	log plain
-rw-r--r--	DTypes.dfy	5267	log plain
-rw-r--r--	DTypes.dfy.expect	984	log plain
-rw-r--r--	DatatypeUpdate.dfy	2822	log plain
-rw-r--r--	DatatypeUpdate.dfy.expect	1315	log plain
-rw-r--r--	DatatypeUpdateResolution.dfy	1184	log plain
-rw-r--r--	DatatypeUpdateResolution.dfy.expect	548	log plain
-rw-r--r--	Datatypes.dfy	7955	log plain
-rw-r--r--	Datatypes.dfy.expect	2234	log plain
-rw-r--r--	Definedness.dfy	6389	log plain
-rw-r--r--	Definedness.dfy.expect	6314	log plain
-rw-r--r--	DeterministicPick.dfy	1148	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	631	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	617	log plain
-rw-r--r--	DisplayExpressions.dfy	440	log plain
-rw-r--r--	DisplayExpressions.dfy.expect	473	log plain
-rw-r--r--	EqualityTypes.dfy	12722	log plain
-rw-r--r--	EqualityTypes.dfy.expect	6395	log plain
-rw-r--r--	ForallCompilation.dfy	2301	log plain
-rw-r--r--	ForallCompilation.dfy.expect	107	log plain
-rw-r--r--	Fuel.dfy	14666	log plain
-rw-r--r--	Fuel.dfy.expect	3044	log plain
-rw-r--r--	FunctionSpecifications.dfy	4573	log plain
-rw-r--r--	FunctionSpecifications.dfy.expect	2802	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--	ISets.dfy	988	log plain
-rw-r--r--	ISets.dfy.expect	61	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--	IndexIntoUpdate.dfy	291	log plain
-rw-r--r--	IndexIntoUpdate.dfy.expect	174	log plain
-rw-r--r--	InductivePredicates.dfy	3944	log plain
-rw-r--r--	InductivePredicates.dfy.expect	276	log plain
-rw-r--r--	Inverses.dfy	4237	log plain
-rw-r--r--	Inverses.dfy.expect	606	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	3377	log plain
-rw-r--r--	JustWarnings.dfy	747	log plain
-rw-r--r--	JustWarnings.dfy.expect	194	log plain
-rw-r--r--	LetExpr.dfy	8436	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	1230	log plain
-rw-r--r--	LiberalEquality.dfy	3206	log plain
-rw-r--r--	LiberalEquality.dfy.expect	1633	log plain
-rw-r--r--	LitTriggers.dfy	812	log plain
-rw-r--r--	LitTriggers.dfy.expect	61	log plain
-rw-r--r--	LoopModifies.dfy	6920	log plain
-rw-r--r--	LoopModifies.dfy.expect	2822	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--	Matrix-OOB.dfy	506	log plain
-rw-r--r--	Matrix-OOB.dfy.expect	551	log plain
-rw-r--r--	ModifyStmt.dfy	3944	log plain
-rw-r--r--	ModifyStmt.dfy.expect	1382	log plain
-rw-r--r--	Modules0.dfy	7820	log plain
-rw-r--r--	Modules0.dfy.expect	3606	log plain
-rw-r--r--	Modules1.dfy	2509	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	8298	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	1314	log plain
-rw-r--r--	NestedMatch.dfy	1153	log plain
-rw-r--r--	NestedMatch.dfy.expect	62	log plain
-rw-r--r--	NestedPatterns.dfy	3789	log plain
-rw-r--r--	NestedPatterns.dfy.expect	645	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	7171	log plain
-rw-r--r--	NonGhostQuantifiers.dfy.expect	3325	log plain
-rw-r--r--	OpaqueFunctions.dfy	4721	log plain
-rw-r--r--	OpaqueFunctions.dfy.expect	2869	log plain
-rw-r--r--	OpaqueFunctionsFail.dfy	311	log plain
-rw-r--r--	OpaqueFunctionsFail.dfy.expect	574	log plain
-rw-r--r--	Parallel.dfy	8176	log plain
-rw-r--r--	Parallel.dfy.expect	2005	log plain
-rw-r--r--	ParallelResolveErrors.dfy	3708	log plain
-rw-r--r--	ParallelResolveErrors.dfy.expect	2777	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	3646	log plain
-rw-r--r--	Predicates.dfy.expect	1361	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--	RangeCompilation.dfy	526	log plain
-rw-r--r--	RangeCompilation.dfy.expect	115	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	3834	log plain
-rw-r--r--	Reads.dfy.expect	1080	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	2328	log plain
-rw-r--r--	RefinementErrors.dfy.expect	1725	log plain
-rw-r--r--	RefinementModificationChecking.dfy	1211	log plain
-rw-r--r--	RefinementModificationChecking.dfy.expect	761	log plain
-rw-r--r--	ResolutionErrors.dfy	45878	log plain
-rw-r--r--	ResolutionErrors.dfy.expect	25204	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	2767	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--	Shadows.dfy	1039	log plain
-rw-r--r--	Shadows.dfy.expect	732	log plain
-rw-r--r--	Simple.dfy	2101	log plain
-rw-r--r--	Simple.dfy.expect	1948	log plain
-rw-r--r--	Skeletons.dfy	1051	log plain
-rw-r--r--	Skeletons.dfy.expect	474	log plain
-rw-r--r--	SmallTests.dfy	20755	log plain
-rw-r--r--	SmallTests.dfy.expect	6284	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	1597	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	2102	log plain
d---------	Trait	1325	log plain
-rw-r--r--	TriggerInPredicate.dfy	605	log plain
-rw-r--r--	TriggerInPredicate.dfy.expect	480	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	6813	log plain
-rw-r--r--	TypeTests.dfy.expect	5753	log plain
-rw-r--r--	UnfoldingPerformance.dfy	1143	log plain
-rw-r--r--	UnfoldingPerformance.dfy.expect	353	log plain
-rw-r--r--	UserSpecifiedTypeParameters.dfy	2449	log plain
-rw-r--r--	UserSpecifiedTypeParameters.dfy.expect	1287	log plain
-rw-r--r--	columns.dfy	369	log plain
-rw-r--r--	columns.dfy.expect	429	log plain
-rw-r--r--	fun-with-slices.dfy	642	log plain
-rw-r--r--	fun-with-slices.dfy.expect	61	log plain
-rw-r--r--	one-message-per-failed-precondition.dfy	442	log plain
-rw-r--r--	one-message-per-failed-precondition.dfy.expect	1021	log plain
d---------	snapshots	924	log plain