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

Mode	Name	Size
-rw-r--r--	Answer	10229	log plain
-rw-r--r--	f1.bpl	473	log plain
-rw-r--r--	fail1.bpl	351	log plain
-rw-r--r--	fail1.bpl.expect	295	log plain
-rw-r--r--	houd1.bpl	387	log plain
-rw-r--r--	houd1.bpl.expect	129	log plain
-rw-r--r--	houd10.bpl	611	log plain
-rw-r--r--	houd10.bpl.expect	313	log plain
-rw-r--r--	houd11.bpl	365	log plain
-rw-r--r--	houd11.bpl.expect	126	log plain
-rw-r--r--	houd12.bpl	1125	log plain
-rw-r--r--	houd12.bpl.expect	565	log plain
-rw-r--r--	houd2.bpl	627	log plain
-rw-r--r--	houd2.bpl.expect	272	log plain
-rw-r--r--	houd3.bpl	624	log plain
-rw-r--r--	houd3.bpl.expect	268	log plain
-rw-r--r--	houd4.bpl	921	log plain
-rw-r--r--	houd4.bpl.expect	400	log plain
-rw-r--r--	houd5.bpl	916	log plain
-rw-r--r--	houd5.bpl.expect	456	log plain
-rw-r--r--	houd6.bpl	1279	log plain
-rw-r--r--	houd6.bpl.expect	623	log plain
-rw-r--r--	houd7.bpl	662	log plain
-rw-r--r--	houd7.bpl.expect	314	log plain
-rw-r--r--	houd8.bpl	491	log plain
-rw-r--r--	houd8.bpl.expect	247	log plain
-rw-r--r--	imp1.bpl	432	log plain
-rw-r--r--	int1.bpl	375	log plain
-rw-r--r--	lit.local.cfg	73	log plain
-rw-r--r--	multi.bpl	1310	log plain
-rw-r--r--	pred1.bpl	560	log plain
-rw-r--r--	pred1.bpl.expect	318	log plain
-rw-r--r--	pred2.bpl	308	log plain
-rw-r--r--	pred2.bpl.expect	126	log plain
-rw-r--r--	pred3.bpl	608	log plain
-rw-r--r--	pred3.bpl.expect	318	log plain
-rw-r--r--	pred4.bpl	478	log plain
-rw-r--r--	pred4.bpl.expect	261	log plain
-rw-r--r--	pred5.bpl	554	log plain
-rw-r--r--	pred5.bpl.expect	126	log plain
-rw-r--r--	quant1.bpl	321	log plain
-rw-r--r--	quant1.bpl.expect	169	log plain
-rw-r--r--	quant2.bpl	611	log plain
-rw-r--r--	quant2.bpl.expect	165	log plain
-rw-r--r--	quant3.bpl	316	log plain
-rw-r--r--	quant3.bpl.expect	165	log plain
-rw-r--r--	quant4.bpl	316	log plain
-rw-r--r--	quant4.bpl.expect	154	log plain
-rw-r--r--	quant5.bpl	392	log plain
-rw-r--r--	quant5.bpl.expect	165	log plain
-rw-r--r--	runtest.bat	1145	log plain
-rw-r--r--	test1.bpl	802	log plain
-rw-r--r--	test1.bpl.expect	314	log plain
-rw-r--r--	test10.bpl	1020	log plain
-rw-r--r--	test10.bpl.expect	312	log plain
-rw-r--r--	test2.bpl	815	log plain
-rw-r--r--	test2.bpl.expect	314	log plain
-rw-r--r--	test7.bpl	386	log plain
-rw-r--r--	test7.bpl.expect	127	log plain
-rw-r--r--	test8.bpl	450	log plain
-rw-r--r--	test8.bpl.expect	127	log plain
-rw-r--r--	test9.bpl	2125	log plain
-rw-r--r--	test9.bpl.expect	1063	log plain