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

Mode	Name	Size
-rw-r--r--	Answer	11715	log plain
-rw-r--r--	Arrays0.bpl	163	log plain
-rw-r--r--	Arrays1.bpl	340	log plain
-rw-r--r--	Arrays1.bpl.expect	295	log plain
-rw-r--r--	AttributeParsing.bpl	894	log plain
-rw-r--r--	AttributeParsing.bpl.expect	768	log plain
-rw-r--r--	AttributeParsingErr.bpl	661	log plain
-rw-r--r--	AttributeParsingErr.bpl.expect	794	log plain
-rw-r--r--	AttributeResolution.bpl	869	log plain
-rw-r--r--	AttributeResolution.bpl.expect	650	log plain
-rw-r--r--	BadLabels0.bpl	282	log plain
-rw-r--r--	BadLabels0.bpl.expect	195	log plain
-rw-r--r--	BadLabels1.bpl	1351	log plain
-rw-r--r--	BadLabels1.bpl.expect	674	log plain
-rw-r--r--	BadQuantifier.bpl	140	log plain
-rw-r--r--	BadQuantifier.bpl.expect	100	log plain
-rw-r--r--	EmptyCallArgs.bpl	351	log plain
-rw-r--r--	LargeLiterals0.bpl	235	log plain
-rw-r--r--	LineParse.bpl	410	log plain
-rw-r--r--	LineParse.bpl.expect	472	log plain
-rw-r--r--	LineResolve.bpl	798	log plain
-rw-r--r--	LineResolve.bpl.expect	716	log plain
-rw-r--r--	MapsResolutionErrors.bpl	761	log plain
-rw-r--r--	MapsResolutionErrors.bpl.expect	236	log plain
-rw-r--r--	ModifiedBag.bpl	11219	log plain
-rw-r--r--	NoErrors.expect	60	log plain
-rw-r--r--	Orderings.bpl	517	log plain
-rw-r--r--	Orderings.bpl.expect	307	log plain
-rw-r--r--	PrettyPrint.bpl	1814	log plain
-rw-r--r--	PrettyPrint.bpl.expect	1586	log plain
-rw-r--r--	Prog0.bpl	1381	log plain
-rw-r--r--	Quoting.bpl	396	log plain
-rw-r--r--	Quoting.bpl.expect	471	log plain
-rw-r--r--	SeparateVerification0.bpl	749	log plain
-rw-r--r--	SeparateVerification0.bpl.expect	128	log plain
-rw-r--r--	SeparateVerification1.bpl	703	log plain
-rw-r--r--	SeparateVerification1.bpl.expect	192	log plain
-rw-r--r--	Triggers0.bpl	475	log plain
-rw-r--r--	Triggers0.bpl.expect	139	log plain
-rw-r--r--	Triggers1.bpl	4064	log plain
-rw-r--r--	Triggers1.bpl.expect	1764	log plain
-rw-r--r--	Types0.bpl	335	log plain
-rw-r--r--	Types0.bpl.expect	161	log plain
-rw-r--r--	Types1.bpl	248	log plain
-rw-r--r--	Types1.bpl.expect	180	log plain
-rw-r--r--	WhereParsing.bpl	1015	log plain
-rw-r--r--	WhereParsing.bpl.expect	343	log plain
-rw-r--r--	WhereParsing0.bpl	876	log plain
-rw-r--r--	WhereParsing0.bpl.expect	199	log plain
-rw-r--r--	WhereParsing1.bpl	442	log plain
-rw-r--r--	WhereParsing1.bpl.expect	91	log plain
-rw-r--r--	WhereParsing2.bpl	142	log plain
-rw-r--r--	WhereParsing2.bpl.expect	90	log plain
-rw-r--r--	WhereResolution.bpl	1519	log plain
-rw-r--r--	WhereResolution.bpl.expect	207	log plain
-rw-r--r--	runtest.bat	1749	log plain
-rwxr-xr-x	runtest.py	3310	log plain