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

Mode	Name	Size
-rw-r--r--	BooleanQuantification.bpl	955	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	501	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	686	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	479	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	692	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	632	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	835	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	1669	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	1333	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	1044	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	527	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	1103	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	615	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	665	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	836	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	378	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	898	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	484	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	860	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	1636	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	594	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	417	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	554	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	415	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	4537	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	908	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	1386	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	881	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	865	log plain
-rw-r--r--	NameClash.bpl	404	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	577	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	573	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	1251	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	510	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	1246	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	1652	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	1745	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	1472	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	594	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--	test3_AddMethod_conv.bpl	104193	log plain