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

Mode	Name	Size
-rw-r--r--	BooleanQuantification.bpl	918	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	482	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	660	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	463	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	663	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	606	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	799	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	1599	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	1281	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	1008	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	509	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	1058	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	589	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	640	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	803	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	365	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	865	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	464	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	827	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	1588	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	573	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	403	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	529	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	394	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	4434	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	870	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	1324	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	839	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	834	log plain
-rw-r--r--	NameClash.bpl	391	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	552	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	550	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	1208	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	494	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	1185	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	1585	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	1679	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	1423	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	572	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	102366	log plain