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

Mode	Name	Size
-rw-r--r--	Answer	4127	log plain
-rw-r--r--	houd1.bpl	389	log plain
-rw-r--r--	houd1.bpl.expect	103	log plain
-rw-r--r--	houd10.bpl	519	log plain
-rw-r--r--	houd10.bpl.expect	325	log plain
-rw-r--r--	houd11.bpl	275	log plain
-rw-r--r--	houd11.bpl.expect	198	log plain
-rw-r--r--	houd12.bpl	1015	log plain
-rw-r--r--	houd12.bpl.expect	165	log plain
-rw-r--r--	houd2.bpl	504	log plain
-rw-r--r--	houd2.bpl.expect	321	log plain
-rw-r--r--	houd3.bpl	511	log plain
-rw-r--r--	houd3.bpl.expect	114	log plain
-rw-r--r--	houd4.bpl	775	log plain
-rw-r--r--	houd4.bpl.expect	132	log plain
-rw-r--r--	houd5.bpl	787	log plain
-rw-r--r--	houd5.bpl.expect	144	log plain
-rw-r--r--	houd6.bpl	1143	log plain
-rw-r--r--	houd6.bpl.expect	180	log plain
-rw-r--r--	houd7.bpl	539	log plain
-rw-r--r--	houd7.bpl.expect	124	log plain
-rw-r--r--	houd8.bpl	470	log plain
-rw-r--r--	houd8.bpl.expect	124	log plain
-rw-r--r--	houd9.bpl	566	log plain
-rw-r--r--	houd9.bpl.expect	227	log plain
-rw-r--r--	runtest.bat	568	log plain
-rw-r--r--	test1.bpl	629	log plain
-rw-r--r--	test1.bpl.expect	124	log plain
-rw-r--r--	test10.bpl	934	log plain
-rw-r--r--	test10.bpl.expect	132	log plain
-rw-r--r--	test2.bpl	643	log plain
-rw-r--r--	test2.bpl.expect	124	log plain
-rw-r--r--	test7.bpl	260	log plain
-rw-r--r--	test7.bpl.expect	92	log plain
-rw-r--r--	test8.bpl	325	log plain
-rw-r--r--	test8.bpl.expect	92	log plain
-rw-r--r--	test9.bpl	1762	log plain
-rw-r--r--	test9.bpl.expect	271	log plain