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

Mode	Name	Size
-rw-r--r--	Elevator.asml	1132	log plain
-rw-r--r--	Elevator.bpl	3531	log plain
-rw-r--r--	Elevator.bpl.expect	1177	log plain
-rw-r--r--	InliningAndLoops.bpl	467	log plain
-rw-r--r--	InliningAndLoops.bpl.expect	626	log plain
-rw-r--r--	codeexpr.bpl	1532	log plain
-rw-r--r--	codeexpr.bpl.expect	171	log plain
-rw-r--r--	expansion2.bpl	508	log plain
-rw-r--r--	expansion2.bpl.expect	60	log plain
-rw-r--r--	expansion3.bpl	239	log plain
-rw-r--r--	expansion3.bpl.expect	168	log plain
-rw-r--r--	expansion4.bpl	226	log plain
-rw-r--r--	expansion4.bpl.expect	60	log plain
-rw-r--r--	fundef.bpl	254	log plain
-rw-r--r--	fundef.bpl.expect	350	log plain
-rw-r--r--	fundef2.bpl	194	log plain
-rw-r--r--	fundef2.bpl.expect	167	log plain
-rw-r--r--	polyInline.bpl	1293	log plain
-rw-r--r--	polyInline.bpl.expect	1106	log plain
-rw-r--r--	test0.bpl	1369	log plain
-rw-r--r--	test0.bpl.expect	197	log plain
-rw-r--r--	test1.bpl	670	log plain
-rw-r--r--	test1.bpl.expect	3565	log plain
-rw-r--r--	test2.bpl	420	log plain
-rw-r--r--	test2.bpl.expect	1327	log plain
-rw-r--r--	test3.bpl	414	log plain
-rw-r--r--	test3.bpl.expect	6567	log plain
-rw-r--r--	test4.bpl	849	log plain
-rw-r--r--	test4.bpl.expect	7933	log plain
-rw-r--r--	test5.bpl	1163	log plain
-rw-r--r--	test5.bpl.expect	274	log plain
-rw-r--r--	test6.bpl	533	log plain
-rw-r--r--	test6.bpl.expect	9562	log plain