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

Mode	Name	Size
-rw-r--r--	Answer	10876	log plain
-rw-r--r--	Arrays0.bpl	94	log plain
-rw-r--r--	Arrays1.bpl	277	log plain
-rw-r--r--	AttributeParsing.bpl	614	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	1426	log plain
-rw-r--r--	BadQuantifier.bpl	77	log plain
-rw-r--r--	EmptyCallArgs.bpl	660	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	11188	log plain
-rw-r--r--	Orderings.bpl	454	log plain
-rw-r--r--	PrettyPrint.bpl	1035	log plain
-rw-r--r--	Prog0.bpl	1322	log plain
-rw-r--r--	Quoting.bpl	317	log plain
-rw-r--r--	Triggers0.bpl	412	log plain
-rw-r--r--	Triggers1.bpl	3782	log plain
-rw-r--r--	Types0.bpl	272	log plain
-rw-r--r--	Types1.bpl	189	log plain
-rw-r--r--	WhereParsing.bpl	696	log plain
-rw-r--r--	WhereParsing0.bpl	665	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	1195	log plain