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

Mode	Name	Size
-rw-r--r--	Answer	35829	log plain
-rw-r--r--	Elevator.asml	1132	log plain
-rw-r--r--	Elevator.bpl	3519	log plain
-rw-r--r--	Elevator.bpl.expect	1177	log plain
-rw-r--r--	InliningAndLoops.bpl	459	log plain
-rw-r--r--	InliningAndLoops.bpl.expect	626	log plain
-rw-r--r--	codeexpr.bpl	1524	log plain
-rw-r--r--	codeexpr.bpl.expect	171	log plain
-rw-r--r--	expansion2.bpl	494	log plain
-rw-r--r--	expansion2.bpl.expect	60	log plain
-rw-r--r--	expansion3.bpl	231	log plain
-rw-r--r--	expansion3.bpl.expect	168	log plain
-rw-r--r--	expansion4.bpl	218	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	186	log plain
-rw-r--r--	fundef2.bpl.expect	167	log plain
-rw-r--r--	polyInline.bpl	1281	log plain
-rw-r--r--	polyInline.bpl.expect	1106	log plain
-rw-r--r--	runtest.bat	1479	log plain
-rw-r--r--	test0.bpl	1361	log plain
-rw-r--r--	test0.bpl.expect	197	log plain
-rw-r--r--	test1.bpl	662	log plain
-rw-r--r--	test1.bpl.expect	3565	log plain
-rw-r--r--	test2.bpl	412	log plain
-rw-r--r--	test2.bpl.expect	1327	log plain
-rw-r--r--	test3.bpl	406	log plain
-rw-r--r--	test3.bpl.expect	6567	log plain
-rw-r--r--	test4.bpl	841	log plain
-rw-r--r--	test4.bpl.expect	7933	log plain
-rw-r--r--	test5.bpl	1155	log plain
-rw-r--r--	test5.bpl.expect	274	log plain
-rw-r--r--	test6.bpl	525	log plain
-rw-r--r--	test6.bpl.expect	9562	log plain