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

Mode	Name	Size
-rw-r--r--	Answer	24591	log plain
-rw-r--r--	Arrays.bpl	3825	log plain
-rw-r--r--	Arrays.bpl.expect	487	log plain
-rw-r--r--	AssumeEnsures.bpl	1506	log plain
-rw-r--r--	AssumeEnsures.bpl.expect	426	log plain
-rw-r--r--	AssumptionVariables0.bpl	499	log plain
-rw-r--r--	AssumptionVariables0.bpl.expect	468	log plain
-rw-r--r--	Axioms.bpl	552	log plain
-rw-r--r--	Axioms.bpl.expect	167	log plain
-rw-r--r--	B.bpl	1086	log plain
-rw-r--r--	B.bpl.expect	60	log plain
-rw-r--r--	Call.bpl	1045	log plain
-rw-r--r--	Call.bpl.expect	474	log plain
-rw-r--r--	ContractEvaluationOrder.bpl	1122	log plain
-rw-r--r--	ContractEvaluationOrder.bpl.expect	718	log plain
-rw-r--r--	CutBackEdge.bpl	611	log plain
-rw-r--r--	CutBackEdge.bpl.expect	551	log plain
-rw-r--r--	Ensures.bpl	1181	log plain
-rw-r--r--	Ensures.bpl.expect	1135	log plain
-rw-r--r--	False.bpl	258	log plain
-rw-r--r--	False.bpl.expect	60	log plain
-rw-r--r--	FormulaTerm.bpl	2279	log plain
-rw-r--r--	FormulaTerm.bpl.expect	286	log plain
-rw-r--r--	FormulaTerm2.bpl	897	log plain
-rw-r--r--	FormulaTerm2.bpl.expect	300	log plain
-rw-r--r--	FreeCall.bpl	1328	log plain
-rw-r--r--	FreeCall.bpl.expect	899	log plain
-rw-r--r--	IfThenElse1.bpl	524	log plain
-rw-r--r--	IfThenElse1.bpl.expect	296	log plain
-rw-r--r--	Implies.bpl	1120	log plain
-rw-r--r--	Implies.bpl.expect	940	log plain
-rw-r--r--	Lambda.bpl	1394	log plain
-rw-r--r--	Lambda.bpl.expect	276	log plain
-rw-r--r--	LambdaOldExpressions.bpl	1426	log plain
-rw-r--r--	LambdaOldExpressions.bpl.expect	313	log plain
-rw-r--r--	LambdaPoly.bpl	1256	log plain
-rw-r--r--	LambdaPoly.bpl.expect	519	log plain
-rw-r--r--	LoopInvAssume.bpl	373	log plain
-rw-r--r--	LoopInvAssume.bpl.expect	215	log plain
-rw-r--r--	NeverPattern.bpl	1854	log plain
-rw-r--r--	NeverPattern.bpl.expect	420	log plain
-rw-r--r--	NullaryMaps.bpl	962	log plain
-rw-r--r--	NullaryMaps.bpl.expect	414	log plain
-rw-r--r--	Old.bpl	2477	log plain
-rw-r--r--	Old.bpl.expect	262	log plain
-rw-r--r--	OldIllegal.bpl	282	log plain
-rw-r--r--	OldIllegal.bpl.expect	213	log plain
-rw-r--r--	Passification.bpl	2424	log plain
-rw-r--r--	Passification.bpl.expect	817	log plain
-rw-r--r--	Quantifiers.bpl	3681	log plain
-rw-r--r--	Quantifiers.bpl.expect	772	log plain
-rw-r--r--	SelectiveChecking.bpl	638	log plain
-rw-r--r--	SelectiveChecking.bpl.expect	663	log plain
-rw-r--r--	Structured.bpl	5805	log plain
-rw-r--r--	Structured.bpl.expect	825	log plain
-rw-r--r--	Timeouts0.bpl	2372	log plain
-rw-r--r--	Timeouts0.bpl.expect	2105	log plain
-rw-r--r--	TypeEncodingM.bpl	410	log plain
-rw-r--r--	TypeEncodingM.bpl.expect	181	log plain
-rw-r--r--	UpdateExpr.bpl	1578	log plain
-rw-r--r--	UpdateExpr.bpl.expect	640	log plain
-rw-r--r--	Where.bpl	2767	log plain
-rw-r--r--	Where.bpl.expect	1317	log plain
-rw-r--r--	runtest.bat	1301	log plain
-rwxr-xr-x	runtest.py	3022	log plain
-rw-r--r--	sk_hack.bpl	1049	log plain
-rw-r--r--	sk_hack.bpl.expect	60	log plain
-rw-r--r--	strings-no-where.bpl	50574	log plain
-rw-r--r--	strings-no-where.bpl.expect	1961	log plain
-rw-r--r--	strings-where.bpl	50334	log plain
-rw-r--r--	strings-where.bpl.expect	1904	log plain