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

Mode	Name	Size
-rw-r--r--	Answer	15505	log plain
-rw-r--r--	Arrays.bpl	4441	log plain
-rw-r--r--	Arrays.bpl.expect	4988	log plain
-rw-r--r--	AssumptionVariables0.bpl	747	log plain
-rw-r--r--	AssumptionVariables0.bpl.expect	623	log plain
-rw-r--r--	AttributeTyping.bpl	745	log plain
-rw-r--r--	AttributeTyping.bpl.expect	620	log plain
-rw-r--r--	EmptyCallArgs.bpl	359	log plain
-rw-r--r--	EmptyCallArgs.bpl.expect	153	log plain
-rw-r--r--	Family.bpl	1160	log plain
-rw-r--r--	Family.bpl.expect	797	log plain
-rw-r--r--	Frame0.bpl	419	log plain
-rw-r--r--	Frame0.bpl.expect	150	log plain
-rw-r--r--	Frame1.bpl	1964	log plain
-rw-r--r--	Frame1.bpl.expect	1722	log plain
-rw-r--r--	FunBody.bpl	588	log plain
-rw-r--r--	FunBody.bpl.expect	291	log plain
-rw-r--r--	IfThenElse0.bpl	186	log plain
-rw-r--r--	IfThenElse0.bpl.expect	326	log plain
-rw-r--r--	IntReal.bpl	1374	log plain
-rw-r--r--	IntReal.bpl.expect	1579	log plain
-rw-r--r--	Lambda.bpl	339	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	3726	log plain
-rw-r--r--	MapsTypeErrors.bpl.expect	1683	log plain
-rw-r--r--	Orderings.bpl	191	log plain
-rw-r--r--	Orderings.bpl.expect	137	log plain
-rw-r--r--	UpdateExprTyping.bpl	1339	log plain
-rw-r--r--	UpdateExprTyping.bpl.expect	1283	log plain
-rw-r--r--	WhereTyping.bpl	1366	log plain
-rw-r--r--	WhereTyping.bpl.expect	391	log plain
-rw-r--r--	runtest.bat	705	log plain