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

Mode	Name	Size
-rw-r--r--	deterministic.bpl	513	log plain
-rw-r--r--	deterministic.bpl.expect	92	log plain
-rw-r--r--	houd1.bpl	376	log plain
-rw-r--r--	houd1.bpl.expect	103	log plain
-rw-r--r--	houd10.bpl	502	log plain
-rw-r--r--	houd10.bpl.expect	325	log plain
-rw-r--r--	houd11.bpl	268	log plain
-rw-r--r--	houd11.bpl.expect	198	log plain
-rw-r--r--	houd12.bpl	1126	log plain
-rw-r--r--	houd2.bpl	483	log plain
-rw-r--r--	houd2.bpl.expect	321	log plain
-rw-r--r--	houd3.bpl	490	log plain
-rw-r--r--	houd3.bpl.expect	114	log plain
-rw-r--r--	houd4.bpl	754	log plain
-rw-r--r--	houd4.bpl.expect	132	log plain
-rw-r--r--	houd5.bpl	764	log plain
-rw-r--r--	houd5.bpl.expect	144	log plain
-rw-r--r--	houd6.bpl	1105	log plain
-rw-r--r--	houd6.bpl.expect	180	log plain
-rw-r--r--	houd7.bpl	510	log plain
-rw-r--r--	houd7.bpl.expect	124	log plain
-rw-r--r--	houd8.bpl	446	log plain
-rw-r--r--	houd8.bpl.expect	124	log plain
-rw-r--r--	houd9.bpl	540	log plain
-rw-r--r--	houd9.bpl.expect	227	log plain
-rw-r--r--	mergedProgSingle_dac.bpl	340695	log plain
-rw-r--r--	mergedProgSingle_dac.bpl.expect	3749	log plain
-rw-r--r--	mergedProgSingle_res_ex1.bpl	24617	log plain
-rw-r--r--	mergedProgSingle_res_ex1.bpl.expect	319	log plain
-rw-r--r--	mergedProgSingle_res_ex2.bpl	24597	log plain
-rw-r--r--	mergedProgSingle_res_ex2.bpl.expect	322	log plain
-rw-r--r--	test1.bpl	599	log plain
-rw-r--r--	test1.bpl.expect	124	log plain
-rw-r--r--	test10.bpl	893	log plain
-rw-r--r--	test10.bpl.expect	133	log plain
-rw-r--r--	test2.bpl	611	log plain
-rw-r--r--	test2.bpl.expect	124	log plain
-rw-r--r--	test7.bpl	251	log plain
-rw-r--r--	test7.bpl.expect	92	log plain
-rw-r--r--	test8.bpl	310	log plain
-rw-r--r--	test8.bpl.expect	92	log plain
-rw-r--r--	test9.bpl	1695	log plain
-rw-r--r--	test9.bpl.expect	271	log plain
-rw-r--r--	testUnsatCore.bpl	924	log plain
-rw-r--r--	testUnsatCore.bpl.expect	138	log plain