test2 « Test - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
-rw-r--r--	Arrays.bpl	3657	log plain
-rw-r--r--	Arrays.bpl.expect	487	log plain
-rw-r--r--	AssertVerifiedUnder0.bpl	612	log plain
-rw-r--r--	AssertVerifiedUnder0.bpl.expect	466	log plain
-rw-r--r--	AssumeEnsures.bpl	1443	log plain
-rw-r--r--	AssumeEnsures.bpl.expect	426	log plain
-rw-r--r--	AssumptionVariables0.bpl	824	log plain
-rw-r--r--	AssumptionVariables0.bpl.expect	468	log plain
-rw-r--r--	Axioms.bpl	529	log plain
-rw-r--r--	Axioms.bpl.expect	167	log plain
-rw-r--r--	B.bpl	1006	log plain
-rw-r--r--	B.bpl.expect	60	log plain
-rw-r--r--	Call.bpl	991	log plain
-rw-r--r--	Call.bpl.expect	474	log plain
-rw-r--r--	CallVerifiedUnder0.bpl	655	log plain
-rw-r--r--	CallVerifiedUnder0.bpl.expect	775	log plain
-rw-r--r--	ContractEvaluationOrder.bpl	1094	log plain
-rw-r--r--	ContractEvaluationOrder.bpl.expect	718	log plain
-rw-r--r--	CutBackEdge.bpl	577	log plain
-rw-r--r--	CutBackEdge.bpl.expect	551	log plain
-rw-r--r--	Ensures.bpl	1112	log plain
-rw-r--r--	Ensures.bpl.expect	1135	log plain
-rw-r--r--	False.bpl	248	log plain
-rw-r--r--	False.bpl.expect	60	log plain
-rw-r--r--	FormulaTerm.bpl	2146	log plain
-rw-r--r--	FormulaTerm.bpl.expect	286	log plain
-rw-r--r--	FormulaTerm2.bpl	854	log plain
-rw-r--r--	FormulaTerm2.bpl.expect	300	log plain
-rw-r--r--	FreeCall.bpl	1252	log plain
-rw-r--r--	FreeCall.bpl.expect	899	log plain
-rw-r--r--	IfThenElse1.bpl	530	log plain
-rw-r--r--	IfThenElse1.bpl.expect	296	log plain
-rw-r--r--	Implies.bpl	1090	log plain
-rw-r--r--	Implies.bpl.expect	940	log plain
-rw-r--r--	InvariantVerifiedUnder0.bpl	1045	log plain
-rw-r--r--	InvariantVerifiedUnder0.bpl.expect	1136	log plain
-rw-r--r--	Lambda.bpl	1410	log plain
-rw-r--r--	Lambda.bpl.expect	276	log plain
-rw-r--r--	LambdaExt.bpl	3777	log plain
-rw-r--r--	LambdaExt.bpl.expect	2075	log plain
-rw-r--r--	LambdaOldExpressions.bpl	1371	log plain
-rw-r--r--	LambdaOldExpressions.bpl.expect	313	log plain
-rw-r--r--	LambdaPoly.bpl	1262	log plain
-rw-r--r--	LambdaPoly.bpl.expect	519	log plain
-rw-r--r--	LoopInvAssume.bpl	359	log plain
-rw-r--r--	LoopInvAssume.bpl.expect	215	log plain
-rw-r--r--	NeverPattern.bpl	1792	log plain
-rw-r--r--	NeverPattern.bpl.expect	420	log plain
-rw-r--r--	NullaryMaps.bpl	911	log plain
-rw-r--r--	NullaryMaps.bpl.expect	414	log plain
-rw-r--r--	Old.bpl	2351	log plain
-rw-r--r--	Old.bpl.expect	262	log plain
-rw-r--r--	OldIllegal.bpl	272	log plain
-rw-r--r--	OldIllegal.bpl.expect	213	log plain
-rw-r--r--	Passification.bpl	2261	log plain
-rw-r--r--	Passification.bpl.expect	817	log plain
-rw-r--r--	Quantifiers.bpl	3533	log plain
-rw-r--r--	Quantifiers.bpl.expect	772	log plain
-rw-r--r--	SelectiveChecking.bpl	644	log plain
-rw-r--r--	SelectiveChecking.bpl.expect	663	log plain
-rw-r--r--	Structured.bpl	5467	log plain
-rw-r--r--	Structured.bpl.expect	825	log plain
-rw-r--r--	Timeouts0.bpl	2295	log plain
-rw-r--r--	Timeouts0.bpl.expect	2105	log plain
-rw-r--r--	TypeEncodingM.bpl	416	log plain
-rw-r--r--	TypeEncodingM.bpl.expect	181	log plain
-rw-r--r--	UpdateExpr.bpl	1503	log plain
-rw-r--r--	UpdateExpr.bpl.expect	640	log plain
-rw-r--r--	Where.bpl	2610	log plain
-rw-r--r--	Where.bpl.expect	1317	log plain
-rw-r--r--	sk_hack.bpl	1023	log plain
-rw-r--r--	sk_hack.bpl.expect	60	log plain
-rw-r--r--	strings-no-where.bpl	49585	log plain
-rw-r--r--	strings-no-where.bpl.expect	1961	log plain
-rw-r--r--	strings-where.bpl	49345	log plain
-rw-r--r--	strings-where.bpl.expect	1904	log plain