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

Mode	Name	Size
-rw-r--r--	Answer	38227	log plain
-rw-r--r--	BooleanQuantification.bpl	931	log plain
-rw-r--r--	BooleanQuantification.bpl.a.expect	336	log plain
-rw-r--r--	BooleanQuantification.bpl.n.expect	336	log plain
-rw-r--r--	BooleanQuantification.bpl.p.expect	336	log plain
-rw-r--r--	BooleanQuantification2.bpl	477	log plain
-rw-r--r--	BooleanQuantification2.bpl.a.expect	199	log plain
-rw-r--r--	BooleanQuantification2.bpl.n.expect	199	log plain
-rw-r--r--	BooleanQuantification2.bpl.p.expect	199	log plain
-rw-r--r--	Boxing.bpl	662	log plain
-rw-r--r--	Boxing.bpl.a.expect	167	log plain
-rw-r--r--	Boxing.bpl.n.expect	276	log plain
-rw-r--r--	Boxing.bpl.p.expect	167	log plain
-rw-r--r--	Casts.bpl	455	log plain
-rw-r--r--	Casts.bpl.a.expect	165	log plain
-rw-r--r--	Casts.bpl.n.expect	165	log plain
-rw-r--r--	Casts.bpl.p.expect	165	log plain
-rw-r--r--	Coercions2.bpl	668	log plain
-rw-r--r--	Coercions2.bpl.a.expect	259	log plain
-rw-r--r--	Coercions2.bpl.n.expect	376	log plain
-rw-r--r--	Coercions2.bpl.p.expect	259	log plain
-rw-r--r--	Colors.bpl	608	log plain
-rw-r--r--	Colors.bpl.a.expect	276	log plain
-rw-r--r--	Colors.bpl.n.expect	276	log plain
-rw-r--r--	Colors.bpl.p.expect	276	log plain
-rw-r--r--	DisjointDomains.bpl	811	log plain
-rw-r--r--	DisjointDomains.bpl.a.expect	438	log plain
-rw-r--r--	DisjointDomains.bpl.n.expect	60	log plain
-rw-r--r--	DisjointDomains.bpl.p.expect	438	log plain
-rw-r--r--	DisjointDomains2.bpl	1645	log plain
-rw-r--r--	DisjointDomains2.bpl.a.expect	828	log plain
-rw-r--r--	DisjointDomains2.bpl.n.expect	316	log plain
-rw-r--r--	DisjointDomains2.bpl.p.expect	828	log plain
-rw-r--r--	EmptyList.bpl	1309	log plain
-rw-r--r--	EmptyList.bpl.a.expect	260	log plain
-rw-r--r--	EmptyList.bpl.n.expect	489	log plain
-rw-r--r--	EmptyList.bpl.p.expect	260	log plain
-rw-r--r--	EmptySetBug.bpl	1020	log plain
-rw-r--r--	EmptySetBug.bpl.a.expect	177	log plain
-rw-r--r--	EmptySetBug.bpl.n.expect	296	log plain
-rw-r--r--	EmptySetBug.bpl.p.expect	177	log plain
-rw-r--r--	Flattening.bpl	503	log plain
-rw-r--r--	Flattening.bpl.a.expect	175	log plain
-rw-r--r--	Flattening.bpl.n.expect	175	log plain
-rw-r--r--	Flattening.bpl.p.expect	175	log plain
-rw-r--r--	FunAxioms.bpl	1079	log plain
-rw-r--r--	FunAxioms.bpl.a.expect	173	log plain
-rw-r--r--	FunAxioms.bpl.n.expect	173	log plain
-rw-r--r--	FunAxioms.bpl.p.expect	173	log plain
-rw-r--r--	FunAxioms2.bpl	591	log plain
-rw-r--r--	FunAxioms2.bpl.a.expect	175	log plain
-rw-r--r--	FunAxioms2.bpl.n.expect	175	log plain
-rw-r--r--	FunAxioms2.bpl.p.expect	175	log plain
-rw-r--r--	HeapAbstraction.bpl	641	log plain
-rw-r--r--	HeapAbstraction.bpl.a.expect	185	log plain
-rw-r--r--	HeapAbstraction.bpl.n.expect	60	log plain
-rw-r--r--	HeapAbstraction.bpl.p.expect	185	log plain
-rw-r--r--	HeapAxiom.bpl	812	log plain
-rw-r--r--	HeapAxiom.bpl.a.expect	173	log plain
-rw-r--r--	HeapAxiom.bpl.n.expect	173	log plain
-rw-r--r--	HeapAxiom.bpl.p.expect	173	log plain
-rw-r--r--	InterestingExamples0.bpl	354	log plain
-rw-r--r--	InterestingExamples0.bpl.a.expect	60	log plain
-rw-r--r--	InterestingExamples0.bpl.n.expect	195	log plain
-rw-r--r--	InterestingExamples0.bpl.p.expect	60	log plain
-rw-r--r--	InterestingExamples1.bpl	874	log plain
-rw-r--r--	InterestingExamples1.bpl.a.expect	195	log plain
-rw-r--r--	InterestingExamples1.bpl.n.expect	332	log plain
-rw-r--r--	InterestingExamples1.bpl.p.expect	195	log plain
-rw-r--r--	InterestingExamples2.bpl	460	log plain
-rw-r--r--	InterestingExamples2.bpl.a.expect	60	log plain
-rw-r--r--	InterestingExamples2.bpl.n.expect	332	log plain
-rw-r--r--	InterestingExamples2.bpl.p.expect	60	log plain
-rw-r--r--	InterestingExamples3.bpl	836	log plain
-rw-r--r--	InterestingExamples3.bpl.a.expect	195	log plain
-rw-r--r--	InterestingExamples3.bpl.n.expect	195	log plain
-rw-r--r--	InterestingExamples3.bpl.p.expect	195	log plain
-rw-r--r--	InterestingExamples4.bpl	1612	log plain
-rw-r--r--	InterestingExamples4.bpl.a.expect	332	log plain
-rw-r--r--	InterestingExamples4.bpl.n.expect	332	log plain
-rw-r--r--	InterestingExamples4.bpl.p.expect	195	log plain
-rw-r--r--	InterestingExamples5.bpl	570	log plain
-rw-r--r--	InterestingExamples5.bpl.a.expect	60	log plain
-rw-r--r--	InterestingExamples5.bpl.n.expect	60	log plain
-rw-r--r--	InterestingExamples5.bpl.p.expect	60	log plain
-rw-r--r--	Keywords.bpl	393	log plain
-rw-r--r--	Keywords.bpl.a.expect	60	log plain
-rw-r--r--	Keywords.bpl.n.expect	60	log plain
-rw-r--r--	Keywords.bpl.p.expect	60	log plain
-rw-r--r--	LargeLiterals0.bpl	530	log plain
-rw-r--r--	LargeLiterals0.bpl.a.expect	183	log plain
-rw-r--r--	LargeLiterals0.bpl.n.expect	183	log plain
-rw-r--r--	LargeLiterals0.bpl.p.expect	183	log plain
-rw-r--r--	LetSorting.bpl	391	log plain
-rw-r--r--	LetSorting.bpl.a.expect	60	log plain
-rw-r--r--	LetSorting.bpl.n.expect	60	log plain
-rw-r--r--	LetSorting.bpl.p.expect	60	log plain
-rw-r--r--	MapAxiomsConsistency.bpl	4513	log plain
-rw-r--r--	MapAxiomsConsistency.bpl.a.expect	197	log plain
-rw-r--r--	MapAxiomsConsistency.bpl.n.expect	197	log plain
-rw-r--r--	MapAxiomsConsistency.bpl.p.expect	197	log plain
-rw-r--r--	MapOutputTypeParams.bpl	884	log plain
-rw-r--r--	MapOutputTypeParams.bpl.a.expect	554	log plain
-rw-r--r--	MapOutputTypeParams.bpl.n.expect	956	log plain
-rw-r--r--	MapOutputTypeParams.bpl.p.expect	554	log plain
-rw-r--r--	Maps0.bpl	1362	log plain
-rw-r--r--	Maps0.bpl.a.expect	378	log plain
-rw-r--r--	Maps0.bpl.n.expect	590	log plain
-rw-r--r--	Maps0.bpl.p.expect	378	log plain
-rw-r--r--	Maps1.bpl	857	log plain
-rw-r--r--	Maps1.bpl.a.expect	165	log plain
-rw-r--r--	Maps1.bpl.n.expect	272	log plain
-rw-r--r--	Maps1.bpl.p.expect	165	log plain
-rw-r--r--	Maps2.bpl	841	log plain
-rw-r--r--	NameClash.bpl	380	log plain
-rw-r--r--	NameClash.bpl.a.expect	60	log plain
-rw-r--r--	NameClash.bpl.n.expect	60	log plain
-rw-r--r--	NameClash.bpl.p.expect	60	log plain
-rw-r--r--	Orderings.bpl	553	log plain
-rw-r--r--	Orderings.bpl.a.expect	173	log plain
-rw-r--r--	Orderings.bpl.n.expect	173	log plain
-rw-r--r--	Orderings.bpl.p.expect	173	log plain
-rw-r--r--	Orderings2.bpl	549	log plain
-rw-r--r--	Orderings2.bpl.a.expect	175	log plain
-rw-r--r--	Orderings2.bpl.n.expect	175	log plain
-rw-r--r--	Orderings2.bpl.p.expect	175	log plain
-rw-r--r--	Orderings3.bpl	1227	log plain
-rw-r--r--	Orderings3.bpl.a.expect	408	log plain
-rw-r--r--	Orderings3.bpl.n.expect	408	log plain
-rw-r--r--	Orderings3.bpl.p.expect	408	log plain
-rw-r--r--	Orderings4.bpl	486	log plain
-rw-r--r--	Orderings4.bpl.a.expect	175	log plain
-rw-r--r--	Orderings4.bpl.n.expect	175	log plain
-rw-r--r--	Orderings4.bpl.p.expect	175	log plain
-rw-r--r--	ParallelAssignment.bpl	1222	log plain
-rw-r--r--	ParallelAssignment.bpl.a.expect	457	log plain
-rw-r--r--	ParallelAssignment.bpl.n.expect	457	log plain
-rw-r--r--	ParallelAssignment.bpl.p.expect	457	log plain
-rw-r--r--	PolyList.bpl	1628	log plain
-rw-r--r--	PolyList.bpl.a.expect	284	log plain
-rw-r--r--	PolyList.bpl.n.expect	284	log plain
-rw-r--r--	PolyList.bpl.p.expect	284	log plain
-rw-r--r--	Real.bpl	1721	log plain
-rw-r--r--	Real.bpl.a.expect	330	log plain
-rw-r--r--	Real.bpl.n.expect	330	log plain
-rw-r--r--	Real.bpl.p.expect	330	log plain
-rw-r--r--	Triggers0.bpl	1448	log plain
-rw-r--r--	Triggers0.bpl.a.expect	288	log plain
-rw-r--r--	Triggers0.bpl.n.expect	288	log plain
-rw-r--r--	Triggers0.bpl.p.expect	288	log plain
-rw-r--r--	Triggers1.bpl	570	log plain
-rw-r--r--	Triggers1.bpl.a.expect	173	log plain
-rw-r--r--	Triggers1.bpl.n.expect	60	log plain
-rw-r--r--	Triggers1.bpl.p.expect	173	log plain
-rw-r--r--	runtest.bat	1699	log plain
-rw-r--r--	test3_AddMethod_conv.bpl	104169	log plain