Test - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
d---------	AbsHoudini	1261	log plain
-rwxr-xr-x	CollectBenchmarks.py	8825	log plain
-rw-r--r--	CompareAll	1028	log plain
-rw-r--r--	Makefile	527	log plain
d---------	aitest0	155	log plain
d---------	aitest1	536	log plain
d---------	aitest9	164	log plain
-rw-r--r--	alltests.txt	1899	log plain
d---------	bitvectors	497	log plain
-rw-r--r--	ccnet.runtestall.bat	39	log plain
d---------	codeexpr	196	log plain
d---------	datatypes	175	log plain
d---------	doomed	197	log plain
d---------	extractloops	268	log plain
-rw-r--r--	filter.pl	738	log plain
d---------	forro	39	log plain
d---------	generalizedarray	109	log plain
d---------	havoc0	389	log plain
d---------	houdini	781	log plain
d---------	inline	746	log plain
d---------	linear	328	log plain
d---------	lit	132	log plain
d---------	livevars	379	log plain
d---------	lock	154	log plain
d---------	og	1120	log plain
d---------	prover	166	log plain
-rwxr-xr-x	rtest	576	log plain
-rwxr-xr-x	rtestall	849	log plain
-rwxr-xr-x	runtest.bat	930	log plain
-rw-r--r--	runtestall.bat	499	log plain
d---------	sanity	73	log plain
d---------	smoke	111	log plain
d---------	snapshots	883	log plain
d---------	stratifiedinline	546	log plain
d---------	symdiff	108	log plain
d---------	test0	1388	log plain
d---------	test1	788	log plain
d---------	test13	176	log plain
d---------	test15	337	log plain
d---------	test16	153	log plain
d---------	test17	196	log plain
d---------	test2	1553	log plain
d---------	test20	887	log plain
d---------	test21	1887	log plain
d---------	test7	246	log plain
d---------	textbook	354	log plain
d---------	z3api	1459	log plain