Test - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
d---------	AbsHoudini	1302	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	251	log plain
d---------	aitest1	1083	log plain
d---------	aitest9	269	log plain
-rw-r--r--	alltests.txt	1899	log plain
d---------	bitvectors	1005	log plain
-rw-r--r--	ccnet.runtestall.bat	39	log plain
d---------	codeexpr	340	log plain
d---------	datatypes	298	log plain
d---------	doomed	197	log plain
d---------	extractloops	547	log plain
-rw-r--r--	filter.pl	738	log plain
d---------	forro	39	log plain
d---------	generalizedarray	152	log plain
d---------	havoc0	431	log plain
d---------	houdini	1577	log plain
d---------	inline	1490	log plain
d---------	linear	328	log plain
-rw-r--r--	lit.site.cfg	3524	log plain
d---------	lit	132	log plain
d---------	livevars	727	log plain
d---------	lock	249	log plain
d---------	og	1167	log plain
d---------	prover	273	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	114	log plain
d---------	smoke	156	log plain
d---------	snapshots	1019	log plain
d---------	stratifiedinline	1110	log plain
d---------	symdiff	108	log plain
d---------	test0	2666	log plain
d---------	test1	1577	log plain
d---------	test13	248	log plain
d---------	test15	598	log plain
d---------	test16	306	log plain
d---------	test17	237	log plain
d---------	test2	3233	log plain
d---------	test20	1905	log plain
d---------	test21	7974	log plain
d---------	test7	657	log plain
d---------	textbook	684	log plain
d---------	z3api	1500	log plain