Test - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
-rw-r--r--	CollectBenchmarks.py	8629	log plain
-rw-r--r--	CompareAll	1028	log plain
-rw-r--r--	Makefile	572	log plain
d---------	VSComp2010	320	log plain
d---------	VSI-Benchmarks	555	log plain
d---------	aitest0	155	log plain
d---------	aitest1	536	log plain
d---------	aitest9	164	log plain
-rw-r--r--	alltests.txt	2160	log plain
d---------	bitvectors	497	log plain
-rw-r--r--	ccnet.runtestall.bat	39	log plain
d---------	codeexpr	196	log plain
d---------	dafny0	1976	log plain
d---------	dafny1	1218	log plain
d---------	dafny2	635	log plain
d---------	dafnyCompiler	160	log plain
d---------	dafnyRuntimeChecking	545	log plain
-rw-r--r--	dafnytests.txt	644	log plain
d---------	datatypes	141	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	743	log plain
d---------	inline	658	log plain
d---------	jennisys0	157	log plain
d---------	livevars	379	log plain
d---------	lock	154	log plain
d---------	prover	166	log plain
-rw-r--r--	rtest	626	log plain
-rw-r--r--	rtestall	881	log plain
-rw-r--r--	runtest.bat	1049	log plain
-rw-r--r--	runtestall.bat	499	log plain
-rw-r--r--	runtestdafny.bat	192	log plain
d---------	sanity	73	log plain
d---------	smoke	111	log plain
d---------	stratifiedinline	435	log plain
d---------	test0	1350	log plain
d---------	test1	708	log plain
d---------	test13	138	log plain
d---------	test15	299	log plain
d---------	test16	115	log plain
d---------	test17	158	log plain
d---------	test2	1464	log plain
d---------	test20	849	log plain
d---------	test21	1813	log plain
d---------	test7	208	log plain
d---------	textbook	316	log plain
d---------	vacid0	202	log plain
d---------	vstte2012	334	log plain
d---------	z3api	1459	log plain