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

Mode	Name	Size
-rw-r--r--	Answer	6984	log plain
-rw-r--r--	Boog24.bpl	227	log plain
-rw-r--r--	boog0.bpl	874	log plain
-rw-r--r--	boog1.bpl	260	log plain
-rw-r--r--	boog10.bpl	368	log plain
-rw-r--r--	boog11.bpl	187	log plain
-rw-r--r--	boog12.bpl	293	log plain
-rw-r--r--	boog13.bpl	377	log plain
-rw-r--r--	boog14.bpl	230	log plain
-rw-r--r--	boog15.bpl	203	log plain
-rw-r--r--	boog16.bpl	233	log plain
-rw-r--r--	boog17.bpl	521	log plain
-rw-r--r--	boog18.bpl	295	log plain
-rw-r--r--	boog19.bpl	9610	log plain
-rw-r--r--	boog2.bpl	337	log plain
-rw-r--r--	boog20.bpl	328	log plain
-rw-r--r--	boog21.bpl	318	log plain
-rw-r--r--	boog22.bpl	156	log plain
-rw-r--r--	boog23.bpl	14646	log plain
-rw-r--r--	boog25.bpl	12092	log plain
-rw-r--r--	boog28.bpl	229	log plain
-rw-r--r--	boog29.bpl	256	log plain
-rw-r--r--	boog3.bpl	99	log plain
-rw-r--r--	boog30.bpl	179	log plain
-rw-r--r--	boog31.bpl	159	log plain
-rw-r--r--	boog34.bpl	191	log plain
-rw-r--r--	boog4.bpl	589	log plain
-rw-r--r--	boog5.bpl	514	log plain
-rw-r--r--	boog6.bpl	271	log plain
-rw-r--r--	boog7.bpl	219	log plain
-rw-r--r--	boog8.bpl	313	log plain
-rw-r--r--	boog9.bpl	340	log plain
-rw-r--r--	runtest.bat	518	log plain