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

Mode	Name	Size
-rw-r--r--	Arrays0.bpl	169	log plain
-rw-r--r--	Arrays1.bpl	709	log plain
-rw-r--r--	AttributeParsing.bpl	902	log plain
-rw-r--r--	AttributeParsing.bpl.expect	768	log plain
-rw-r--r--	AttributeParsingErr.bpl	669	log plain
-rw-r--r--	AttributeParsingErr.bpl.expect	794	log plain
-rw-r--r--	AttributeResolution.bpl	877	log plain
-rw-r--r--	AttributeResolution.bpl.expect	650	log plain
-rw-r--r--	BadLabels0.bpl	290	log plain
-rw-r--r--	BadLabels0.bpl.expect	195	log plain
-rw-r--r--	BadLabels1.bpl	1359	log plain
-rw-r--r--	BadLabels1.bpl.expect	674	log plain
-rw-r--r--	BadQuantifier.bpl	148	log plain
-rw-r--r--	BadQuantifier.bpl.expect	100	log plain
-rw-r--r--	EmptyCallArgs.bpl	357	log plain
-rw-r--r--	LargeLiterals0.bpl	241	log plain
-rw-r--r--	LineParse.bpl	418	log plain
-rw-r--r--	LineParse.bpl.expect	472	log plain
-rw-r--r--	LineResolve.bpl	806	log plain
-rw-r--r--	LineResolve.bpl.expect	716	log plain
-rw-r--r--	MapsResolutionErrors.bpl	769	log plain
-rw-r--r--	MapsResolutionErrors.bpl.expect	236	log plain
-rw-r--r--	ModifiedBag.bpl	11225	log plain
-rw-r--r--	NoErrors.expect	60	log plain
-rw-r--r--	Orderings.bpl	525	log plain
-rw-r--r--	Orderings.bpl.expect	307	log plain
-rw-r--r--	PrettyPrint.bpl	1822	log plain
-rw-r--r--	PrettyPrint.bpl.expect	1586	log plain
-rw-r--r--	Prog0.bpl	1387	log plain
-rw-r--r--	Quoting.bpl	404	log plain
-rw-r--r--	Quoting.bpl.expect	471	log plain
-rw-r--r--	SeparateVerification0.bpl	773	log plain
-rw-r--r--	SeparateVerification0.bpl.expect	128	log plain
-rw-r--r--	SeparateVerification1.bpl	711	log plain
-rw-r--r--	SeparateVerification1.bpl.expect	192	log plain
-rw-r--r--	Triggers0.bpl	483	log plain
-rw-r--r--	Triggers0.bpl.expect	139	log plain
-rw-r--r--	Triggers1.bpl	4072	log plain
-rw-r--r--	Triggers1.bpl.expect	1764	log plain
-rw-r--r--	Types0.bpl	343	log plain
-rw-r--r--	Types0.bpl.expect	161	log plain
-rw-r--r--	Types1.bpl	256	log plain
-rw-r--r--	Types1.bpl.expect	180	log plain
-rw-r--r--	WhereParsing.bpl	1023	log plain
-rw-r--r--	WhereParsing.bpl.expect	343	log plain
-rw-r--r--	WhereParsing0.bpl	884	log plain
-rw-r--r--	WhereParsing0.bpl.expect	199	log plain
-rw-r--r--	WhereParsing1.bpl	450	log plain
-rw-r--r--	WhereParsing1.bpl.expect	91	log plain
-rw-r--r--	WhereParsing2.bpl	150	log plain
-rw-r--r--	WhereParsing2.bpl.expect	90	log plain
-rw-r--r--	WhereResolution.bpl	1527	log plain
-rw-r--r--	WhereResolution.bpl.expect	207	log plain