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

Mode	Name	Size
-rw-r--r--	Arrays0.bpl	164	log plain
-rw-r--r--	Arrays1.bpl	687	log plain
-rw-r--r--	AssertVerifiedUnder0.bpl	174	log plain
-rw-r--r--	AssertVerifiedUnder0.bpl.expect	244	log plain
-rw-r--r--	AttributeParsing.bpl	862	log plain
-rw-r--r--	AttributeParsing.bpl.expect	768	log plain
-rw-r--r--	AttributeParsingErr.bpl	644	log plain
-rw-r--r--	AttributeParsingErr.bpl.expect	794	log plain
-rw-r--r--	AttributeResolution.bpl	837	log plain
-rw-r--r--	AttributeResolution.bpl.expect	650	log plain
-rw-r--r--	BadLabels0.bpl	275	log plain
-rw-r--r--	BadLabels0.bpl.expect	195	log plain
-rw-r--r--	BadLabels1.bpl	1276	log plain
-rw-r--r--	BadLabels1.bpl.expect	674	log plain
-rw-r--r--	BadQuantifier.bpl	143	log plain
-rw-r--r--	BadQuantifier.bpl.expect	100	log plain
-rw-r--r--	EmptyCallArgs.bpl	335	log plain
-rw-r--r--	LargeLiterals0.bpl	232	log plain
-rw-r--r--	LineParse.bpl	404	log plain
-rw-r--r--	LineParse.bpl.expect	472	log plain
-rw-r--r--	LineResolve.bpl	913	log plain
-rw-r--r--	LineResolve.bpl.expect	772	log plain
-rw-r--r--	MapsResolutionErrors.bpl	739	log plain
-rw-r--r--	MapsResolutionErrors.bpl.expect	236	log plain
-rw-r--r--	ModifiedBag.bpl	10852	log plain
-rw-r--r--	NoErrors.expect	60	log plain
-rw-r--r--	Orderings.bpl	504	log plain
-rw-r--r--	Orderings.bpl.expect	307	log plain
-rw-r--r--	PrettyPrint.bpl	1765	log plain
-rw-r--r--	PrettyPrint.bpl.expect	1586	log plain
-rw-r--r--	Prog0.bpl	1334	log plain
-rw-r--r--	Quoting.bpl	386	log plain
-rw-r--r--	Quoting.bpl.expect	471	log plain
-rw-r--r--	SeparateVerification0.bpl	746	log plain
-rw-r--r--	SeparateVerification0.bpl.expect	128	log plain
-rw-r--r--	SeparateVerification1.bpl	690	log plain
-rw-r--r--	SeparateVerification1.bpl.expect	192	log plain
-rw-r--r--	Triggers0.bpl	466	log plain
-rw-r--r--	Triggers0.bpl.expect	139	log plain
-rw-r--r--	Triggers1.bpl	3943	log plain
-rw-r--r--	Triggers1.bpl.expect	1764	log plain
-rw-r--r--	Types0.bpl	333	log plain
-rw-r--r--	Types0.bpl.expect	161	log plain
-rw-r--r--	Types1.bpl	247	log plain
-rw-r--r--	Types1.bpl.expect	180	log plain
-rw-r--r--	WhereParsing.bpl	987	log plain
-rw-r--r--	WhereParsing.bpl.expect	343	log plain
-rw-r--r--	WhereParsing0.bpl	850	log plain
-rw-r--r--	WhereParsing0.bpl.expect	199	log plain
-rw-r--r--	WhereParsing1.bpl	433	log plain
-rw-r--r--	WhereParsing1.bpl.expect	91	log plain
-rw-r--r--	WhereParsing2.bpl	146	log plain
-rw-r--r--	WhereParsing2.bpl.expect	90	log plain
-rw-r--r--	WhereResolution.bpl	1463	log plain
-rw-r--r--	WhereResolution.bpl.expect	207	log plain