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

Mode	Name	Size
-rw-r--r--	Arrays.bpl	3841	log plain
-rw-r--r--	Arrays.bpl.expect	487	log plain
-rw-r--r--	AssertVerifiedUnder0.bpl	651	log plain
-rw-r--r--	AssertVerifiedUnder0.bpl.expect	477	log plain
-rw-r--r--	AssumeEnsures.bpl	1514	log plain
-rw-r--r--	AssumeEnsures.bpl.expect	426	log plain
-rw-r--r--	AssumptionVariables0.bpl	897	log plain
-rw-r--r--	AssumptionVariables0.bpl.expect	479	log plain
-rw-r--r--	Axioms.bpl	560	log plain
-rw-r--r--	Axioms.bpl.expect	167	log plain
-rw-r--r--	B.bpl	1094	log plain
-rw-r--r--	B.bpl.expect	60	log plain
-rw-r--r--	Call.bpl	1053	log plain
-rw-r--r--	Call.bpl.expect	474	log plain
-rw-r--r--	CallVerifiedUnder0.bpl	697	log plain
-rw-r--r--	CallVerifiedUnder0.bpl.expect	789	log plain
-rw-r--r--	ContractEvaluationOrder.bpl	1130	log plain
-rw-r--r--	ContractEvaluationOrder.bpl.expect	718	log plain
-rw-r--r--	CutBackEdge.bpl	619	log plain
-rw-r--r--	CutBackEdge.bpl.expect	551	log plain
-rw-r--r--	Ensures.bpl	1189	log plain
-rw-r--r--	Ensures.bpl.expect	1135	log plain
-rw-r--r--	False.bpl	266	log plain
-rw-r--r--	False.bpl.expect	60	log plain
-rw-r--r--	FormulaTerm.bpl	2287	log plain
-rw-r--r--	FormulaTerm.bpl.expect	286	log plain
-rw-r--r--	FormulaTerm2.bpl	905	log plain
-rw-r--r--	FormulaTerm2.bpl.expect	300	log plain
-rw-r--r--	FreeCall.bpl	1336	log plain
-rw-r--r--	FreeCall.bpl.expect	899	log plain
-rw-r--r--	IfThenElse1.bpl	532	log plain
-rw-r--r--	IfThenElse1.bpl.expect	296	log plain
-rw-r--r--	Implies.bpl	1128	log plain
-rw-r--r--	Implies.bpl.expect	940	log plain
-rw-r--r--	InvariantVerifiedUnder0.bpl	1099	log plain
-rw-r--r--	InvariantVerifiedUnder0.bpl.expect	1159	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	1434	log plain
-rw-r--r--	LambdaOldExpressions.bpl.expect	313	log plain
-rw-r--r--	LambdaPoly.bpl	1264	log plain
-rw-r--r--	LambdaPoly.bpl.expect	519	log plain
-rw-r--r--	LoopInvAssume.bpl	381	log plain
-rw-r--r--	LoopInvAssume.bpl.expect	215	log plain
-rw-r--r--	NeverPattern.bpl	1862	log plain
-rw-r--r--	NeverPattern.bpl.expect	420	log plain
-rw-r--r--	NullaryMaps.bpl	970	log plain
-rw-r--r--	NullaryMaps.bpl.expect	414	log plain
-rw-r--r--	Old.bpl	2485	log plain
-rw-r--r--	Old.bpl.expect	262	log plain
-rw-r--r--	OldIllegal.bpl	290	log plain
-rw-r--r--	OldIllegal.bpl.expect	213	log plain
-rw-r--r--	Passification.bpl	2432	log plain
-rw-r--r--	Passification.bpl.expect	817	log plain
-rw-r--r--	Quantifiers.bpl	3689	log plain
-rw-r--r--	Quantifiers.bpl.expect	772	log plain
-rw-r--r--	SelectiveChecking.bpl	646	log plain
-rw-r--r--	SelectiveChecking.bpl.expect	663	log plain
-rw-r--r--	Structured.bpl	5813	log plain
-rw-r--r--	Structured.bpl.expect	825	log plain
-rw-r--r--	Timeouts0.bpl	2380	log plain
-rw-r--r--	Timeouts0.bpl.expect	2105	log plain
-rw-r--r--	TypeEncodingM.bpl	418	log plain
-rw-r--r--	TypeEncodingM.bpl.expect	181	log plain
-rw-r--r--	UpdateExpr.bpl	1586	log plain
-rw-r--r--	UpdateExpr.bpl.expect	640	log plain
-rw-r--r--	Where.bpl	2775	log plain
-rw-r--r--	Where.bpl.expect	1317	log plain
-rw-r--r--	sk_hack.bpl	1057	log plain
-rw-r--r--	sk_hack.bpl.expect	60	log plain
-rw-r--r--	strings-no-where.bpl	50582	log plain
-rw-r--r--	strings-no-where.bpl.expect	1961	log plain
-rw-r--r--	strings-where.bpl	50342	log plain
-rw-r--r--	strings-where.bpl.expect	1904	log plain