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

Mode	Name	Size
-rw-r--r--	Answer	9274	log plain
-rw-r--r--	Boog24.bpl	221	log plain
-rw-r--r--	bar1.bpl	273	log plain
-rw-r--r--	bar2.bpl	263	log plain
-rw-r--r--	bar3.bpl	505	log plain
-rw-r--r--	bar4.bpl	471	log plain
-rw-r--r--	bar6.bpl	550	log plain
-rw-r--r--	boog0.bpl	833	log plain
-rw-r--r--	boog1.bpl	255	log plain
-rw-r--r--	boog10.bpl	356	log plain
-rw-r--r--	boog11.bpl	181	log plain
-rw-r--r--	boog12.bpl	283	log plain
-rw-r--r--	boog13.bpl	362	log plain
-rw-r--r--	boog14.bpl	230	log plain
-rw-r--r--	boog15.bpl	204	log plain
-rw-r--r--	boog16.bpl	233	log plain
-rw-r--r--	boog17.bpl	518	log plain
-rw-r--r--	boog18.bpl	291	log plain
-rw-r--r--	boog19.bpl	9403	log plain
-rw-r--r--	boog2.bpl	326	log plain
-rw-r--r--	boog20.bpl	321	log plain
-rw-r--r--	boog21.bpl	311	log plain
-rw-r--r--	boog22.bpl	157	log plain
-rw-r--r--	boog23.bpl	14257	log plain
-rw-r--r--	boog25.bpl	11831	log plain
-rw-r--r--	boog28.bpl	223	log plain
-rw-r--r--	boog29.bpl	247	log plain
-rw-r--r--	boog3.bpl	103	log plain
-rw-r--r--	boog30.bpl	176	log plain
-rw-r--r--	boog31.bpl	155	log plain
-rw-r--r--	boog34.bpl	192	log plain
-rw-r--r--	boog35.bpl	204	log plain
-rw-r--r--	boog4.bpl	559	log plain
-rw-r--r--	boog5.bpl	484	log plain
-rw-r--r--	boog6.bpl	259	log plain
-rw-r--r--	boog7.bpl	210	log plain
-rw-r--r--	boog8.bpl	299	log plain
-rw-r--r--	boog9.bpl	329	log plain
-rw-r--r--	lit.local.cfg	73	log plain
-rw-r--r--	runtest.bat	729	log plain