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

Mode	Name	Size
-rw-r--r--	Answer	20510	log plain
-rw-r--r--	Arrays.bpl	3685	log plain
-rw-r--r--	AssumeEnsures.bpl	1444	log plain
-rw-r--r--	Axioms.bpl	490	log plain
-rw-r--r--	B.bpl	1024	log plain
-rw-r--r--	Call.bpl	983	log plain
-rw-r--r--	CallForall.bpl	2534	log plain
-rw-r--r--	ContractEvaluationOrder.bpl	1069	log plain
-rw-r--r--	CutBackEdge.bpl	155	log plain
-rw-r--r--	Ensures.bpl	1119	log plain
-rw-r--r--	False.bpl	196	log plain
-rw-r--r--	FormulaTerm.bpl	2217	log plain
-rw-r--r--	FormulaTerm2.bpl	835	log plain
-rw-r--r--	IfThenElse1.bpl	462	log plain
-rw-r--r--	Implies.bpl	1058	log plain
-rw-r--r--	Lambda.bpl	971	log plain
-rw-r--r--	LambdaPoly.bpl	1194	log plain
-rw-r--r--	LoopInvAssume.bpl	311	log plain
-rw-r--r--	NeverPattern.bpl	698	log plain
-rw-r--r--	NullaryMaps.bpl	900	log plain
-rw-r--r--	Old.bpl	2415	log plain
-rw-r--r--	OldIllegal.bpl	220	log plain
-rw-r--r--	Passification.bpl	2362	log plain
-rw-r--r--	Quantifiers.bpl	3619	log plain
-rw-r--r--	Structured.bpl	5281	log plain
-rw-r--r--	TypeEncodingM.bpl	332	log plain
-rw-r--r--	UpdateExpr.bpl	1516	log plain
-rw-r--r--	Where.bpl	2705	log plain
-rw-r--r--	runtest.bat	1108	log plain
-rw-r--r--	sk_hack.bpl	987	log plain
-rw-r--r--	strings-no-where.bpl	50462	log plain
-rw-r--r--	strings-where.bpl	50222	log plain