Test - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
d---------	AbsHoudini	2543	log plain
-rwxr-xr-x	CollectBenchmarks.py	8825	log plain
-rw-r--r--	README.md	4355	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
-rwxr-xr-x	clean.py	1079	log plain
d---------	codeexpr	340	log plain
d---------	datatypes	298	log plain
d---------	doomed	238	log plain
d---------	extractloops	547	log plain
d---------	forro	39	log plain
d---------	generalizedarray	152	log plain
d---------	havoc0	431	log plain
d---------	houdini	1494	log plain
d---------	inline	1490	log plain
d---------	linear	632	log plain
-rw-r--r--	lit.site.cfg	4479	log plain
d---------	livevars	727	log plain
d---------	lock	249	log plain
d---------	og	2086	log plain
d---------	prover	273	log plain
-rw-r--r--	pydiff.py	3458	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	1199	log plain
d---------	stratifiedinline	1110	log plain
d---------	symdiff	150	log plain
d---------	test0	2582	log plain
d---------	test1	1650	log plain
d---------	test13	210	log plain
d---------	test15	560	log plain
d---------	test16	268	log plain
d---------	test17	199	log plain
d---------	test2	3195	log plain
d---------	test20	1867	log plain
d---------	test21	7936	log plain
d---------	test7	619	log plain
d---------	textbook	684	log plain
d---------	z3api	1500	log plain