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

Mode	Name	Size
-rw-r--r--	Arrays.bpl	4449	log plain
-rw-r--r--	Arrays.bpl.expect	4988	log plain
-rw-r--r--	AssumptionVariables0.bpl	755	log plain
-rw-r--r--	AssumptionVariables0.bpl.expect	623	log plain
-rw-r--r--	AssumptionVariables1.bpl	138	log plain
-rw-r--r--	AssumptionVariables1.bpl.expect	144	log plain
-rw-r--r--	AttributeTyping.bpl	753	log plain
-rw-r--r--	AttributeTyping.bpl.expect	620	log plain
-rw-r--r--	EmptyCallArgs.bpl	367	log plain
-rw-r--r--	EmptyCallArgs.bpl.expect	153	log plain
-rw-r--r--	Family.bpl	1168	log plain
-rw-r--r--	Family.bpl.expect	797	log plain
-rw-r--r--	Frame0.bpl	427	log plain
-rw-r--r--	Frame0.bpl.expect	150	log plain
-rw-r--r--	Frame1.bpl	1972	log plain
-rw-r--r--	Frame1.bpl.expect	1722	log plain
-rw-r--r--	FunBody.bpl	596	log plain
-rw-r--r--	FunBody.bpl.expect	291	log plain
-rw-r--r--	IfThenElse0.bpl	194	log plain
-rw-r--r--	IfThenElse0.bpl.expect	326	log plain
-rw-r--r--	IntReal.bpl	1382	log plain
-rw-r--r--	IntReal.bpl.expect	1607	log plain
-rw-r--r--	Lambda.bpl	347	log plain
-rw-r--r--	Lambda.bpl.expect	534	log plain
-rw-r--r--	LogicalExprs.bpl	193	log plain
-rw-r--r--	LogicalExprs.bpl.expect	60	log plain
-rw-r--r--	MapsTypeErrors.bpl	3734	log plain
-rw-r--r--	MapsTypeErrors.bpl.expect	1683	log plain
-rw-r--r--	Orderings.bpl	199	log plain
-rw-r--r--	Orderings.bpl.expect	137	log plain
-rw-r--r--	UpdateExprTyping.bpl	1347	log plain
-rw-r--r--	UpdateExprTyping.bpl.expect	1283	log plain
-rw-r--r--	WhereTyping.bpl	1374	log plain
-rw-r--r--	WhereTyping.bpl.expect	391	log plain