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

Mode	Name	Size
-rw-r--r--	Answer	11713	log plain
-rw-r--r--	Arrays0.bpl	94	log plain
-rw-r--r--	Arrays1.bpl	277	log plain
-rw-r--r--	AttributeParsing.bpl	815	log plain
-rw-r--r--	AttributeParsingErr.bpl	598	log plain
-rw-r--r--	AttributeResolution.bpl	806	log plain
-rw-r--r--	BadLabels0.bpl	219	log plain
-rw-r--r--	BadLabels1.bpl	1288	log plain
-rw-r--r--	BadQuantifier.bpl	77	log plain
-rw-r--r--	EmptyCallArgs.bpl	280	log plain
-rw-r--r--	LargeLiterals0.bpl	166	log plain
-rw-r--r--	LineParse.bpl	347	log plain
-rw-r--r--	LineResolve.bpl	735	log plain
-rw-r--r--	MapsResolutionErrors.bpl	698	log plain
-rw-r--r--	ModifiedBag.bpl	11150	log plain
-rw-r--r--	Orderings.bpl	454	log plain
-rw-r--r--	PrettyPrint.bpl	1732	log plain
-rw-r--r--	Prog0.bpl	1312	log plain
-rw-r--r--	Quoting.bpl	317	log plain
-rw-r--r--	SeparateVerification0.bpl	516	log plain
-rw-r--r--	SeparateVerification1.bpl	614	log plain
-rw-r--r--	Triggers0.bpl	412	log plain
-rw-r--r--	Triggers1.bpl	4001	log plain
-rw-r--r--	Types0.bpl	272	log plain
-rw-r--r--	Types1.bpl	185	log plain
-rw-r--r--	WhereParsing.bpl	952	log plain
-rw-r--r--	WhereParsing0.bpl	813	log plain
-rw-r--r--	WhereParsing1.bpl	379	log plain
-rw-r--r--	WhereParsing2.bpl	79	log plain
-rw-r--r--	WhereResolution.bpl	1456	log plain
-rw-r--r--	runtest.bat	1749	log plain
-rwxr-xr-x	runtest.py	3310	log plain