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	223	log plain
-rw-r--r--	houd1.bpl	259	log plain
-rw-r--r--	houd10.bpl	483	log plain
-rw-r--r--	houd11.bpl	237	log plain
-rw-r--r--	houd12.bpl	997	log plain
-rw-r--r--	houd2.bpl	499	log plain
-rw-r--r--	houd3.bpl	496	log plain
-rw-r--r--	houd4.bpl	793	log plain
-rw-r--r--	houd5.bpl	788	log plain
-rw-r--r--	houd6.bpl	1151	log plain
-rw-r--r--	houd7.bpl	534	log plain
-rw-r--r--	houd8.bpl	363	log plain
-rw-r--r--	imp1.bpl	432	log plain
-rw-r--r--	int1.bpl	375	log plain
-rw-r--r--	multi.bpl	1310	log plain
-rw-r--r--	pred1.bpl	421	log plain
-rw-r--r--	pred2.bpl	169	log plain
-rw-r--r--	pred3.bpl	469	log plain
-rw-r--r--	pred4.bpl	339	log plain
-rw-r--r--	pred5.bpl	415	log plain
-rw-r--r--	quant1.bpl	165	log plain
-rw-r--r--	quant2.bpl	455	log plain
-rw-r--r--	quant3.bpl	160	log plain
-rw-r--r--	quant4.bpl	160	log plain
-rw-r--r--	quant5.bpl	236	log plain
-rw-r--r--	runtest.bat	1145	log plain
-rw-r--r--	test1.bpl	659	log plain
-rw-r--r--	test10.bpl	877	log plain
-rw-r--r--	test2.bpl	672	log plain
-rw-r--r--	test7.bpl	243	log plain
-rw-r--r--	test8.bpl	307	log plain
-rw-r--r--	test9.bpl	1982	log plain