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

Mode	Name	Size
-rw-r--r--	Arrays.bpl	4223	log plain
-rw-r--r--	Arrays.bpl.expect	4988	log plain
-rw-r--r--	AssertVerifiedUnder0.bpl	168	log plain
-rw-r--r--	AssertVerifiedUnder0.bpl.expect	268	log plain
-rw-r--r--	AssumptionVariables0.bpl	698	log plain
-rw-r--r--	AssumptionVariables0.bpl.expect	623	log plain
-rw-r--r--	AssumptionVariables1.bpl	132	log plain
-rw-r--r--	AssumptionVariables1.bpl.expect	142	log plain
-rw-r--r--	AttributeTyping.bpl	716	log plain
-rw-r--r--	AttributeTyping.bpl.expect	620	log plain
-rw-r--r--	EmptyCallArgs.bpl	346	log plain
-rw-r--r--	EmptyCallArgs.bpl.expect	153	log plain
-rw-r--r--	Family.bpl	1119	log plain
-rw-r--r--	Family.bpl.expect	797	log plain
-rw-r--r--	Frame0.bpl	410	log plain
-rw-r--r--	Frame0.bpl.expect	150	log plain
-rw-r--r--	Frame1.bpl	1873	log plain
-rw-r--r--	Frame1.bpl.expect	1722	log plain
-rw-r--r--	FunBody.bpl	581	log plain
-rw-r--r--	FunBody.bpl.expect	291	log plain
-rw-r--r--	IfThenElse0.bpl	192	log plain
-rw-r--r--	IfThenElse0.bpl.expect	326	log plain
-rw-r--r--	IntReal.bpl	1332	log plain
-rw-r--r--	IntReal.bpl.expect	1579	log plain
-rw-r--r--	Lambda.bpl	345	log plain
-rw-r--r--	Lambda.bpl.expect	534	log plain
-rw-r--r--	LogicalExprs.bpl	185	log plain
-rw-r--r--	LogicalExprs.bpl.expect	60	log plain
-rw-r--r--	MapsTypeErrors.bpl	3605	log plain
-rw-r--r--	MapsTypeErrors.bpl.expect	1683	log plain
-rw-r--r--	Orderings.bpl	189	log plain
-rw-r--r--	Orderings.bpl.expect	137	log plain
-rw-r--r--	StatementIds0.bpl	339	log plain
-rw-r--r--	StatementIds0.bpl.expect	346	log plain
-rw-r--r--	UpdateExprTyping.bpl	1302	log plain
-rw-r--r--	UpdateExprTyping.bpl.expect	1283	log plain
-rw-r--r--	WhereTyping.bpl	1327	log plain
-rw-r--r--	WhereTyping.bpl.expect	391	log plain