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

Mode	Name	Size
-rw-r--r--	Elevator.asml	1077	log plain
-rw-r--r--	Elevator.bpl	3375	log plain
-rw-r--r--	Elevator.bpl.expect	1177	log plain
-rw-r--r--	InliningAndLoops.bpl	445	log plain
-rw-r--r--	InliningAndLoops.bpl.expect	626	log plain
-rw-r--r--	codeexpr.bpl	1470	log plain
-rw-r--r--	codeexpr.bpl.expect	171	log plain
-rw-r--r--	expansion2.bpl	489	log plain
-rw-r--r--	expansion2.bpl.expect	60	log plain
-rw-r--r--	expansion3.bpl	226	log plain
-rw-r--r--	expansion3.bpl.expect	168	log plain
-rw-r--r--	expansion4.bpl	215	log plain
-rw-r--r--	expansion4.bpl.expect	60	log plain
-rw-r--r--	fundef.bpl	246	log plain
-rw-r--r--	fundef.bpl.expect	350	log plain
-rw-r--r--	fundef2.bpl	185	log plain
-rw-r--r--	fundef2.bpl.expect	167	log plain
-rw-r--r--	polyInline.bpl	1250	log plain
-rw-r--r--	polyInline.bpl.expect	1106	log plain
-rw-r--r--	test0.bpl	1319	log plain
-rw-r--r--	test0.bpl.expect	197	log plain
-rw-r--r--	test1.bpl	624	log plain
-rw-r--r--	test1.bpl.expect	3565	log plain
-rw-r--r--	test2.bpl	387	log plain
-rw-r--r--	test2.bpl.expect	1327	log plain
-rw-r--r--	test3.bpl	385	log plain
-rw-r--r--	test3.bpl.expect	6567	log plain
-rw-r--r--	test4.bpl	795	log plain
-rw-r--r--	test4.bpl.expect	7933	log plain
-rw-r--r--	test5.bpl	1082	log plain
-rw-r--r--	test5.bpl.expect	274	log plain
-rw-r--r--	test6.bpl	494	log plain
-rw-r--r--	test6.bpl.expect	9562	log plain