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

Mode	Name	Size
-rw-r--r--	Answer	37251	log plain
-rw-r--r--	BooleanQuantification.bpl	676	log plain
-rw-r--r--	BooleanQuantification2.bpl	222	log plain
-rw-r--r--	Boxing.bpl	407	log plain
-rw-r--r--	Casts.bpl	200	log plain
-rw-r--r--	Coercions2.bpl	413	log plain
-rw-r--r--	Colors.bpl	353	log plain
-rw-r--r--	DisjointDomains.bpl	556	log plain
-rw-r--r--	DisjointDomains2.bpl	1390	log plain
-rw-r--r--	EmptyList.bpl	1054	log plain
-rw-r--r--	EmptySetBug.bpl	765	log plain
-rw-r--r--	Flattening.bpl	248	log plain
-rw-r--r--	FunAxioms.bpl	824	log plain
-rw-r--r--	FunAxioms2.bpl	336	log plain
-rw-r--r--	HeapAbstraction.bpl	386	log plain
-rw-r--r--	HeapAxiom.bpl	557	log plain
-rw-r--r--	InterestingExamples0.bpl	99	log plain
-rw-r--r--	InterestingExamples1.bpl	619	log plain
-rw-r--r--	InterestingExamples2.bpl	205	log plain
-rw-r--r--	InterestingExamples3.bpl	581	log plain
-rw-r--r--	InterestingExamples4.bpl	1357	log plain
-rw-r--r--	InterestingExamples5.bpl	315	log plain
-rw-r--r--	Keywords.bpl	138	log plain
-rw-r--r--	LargeLiterals0.bpl	275	log plain
-rw-r--r--	LetSorting.bpl	136	log plain
-rw-r--r--	MapAxiomsConsistency.bpl	4258	log plain
-rw-r--r--	MapOutputTypeParams.bpl	629	log plain
-rw-r--r--	Maps0.bpl	1107	log plain
-rw-r--r--	Maps1.bpl	602	log plain
-rw-r--r--	Maps2.bpl	573	log plain
-rw-r--r--	NameClash.bpl	125	log plain
-rw-r--r--	Orderings.bpl	298	log plain
-rw-r--r--	Orderings2.bpl	294	log plain
-rw-r--r--	Orderings3.bpl	972	log plain
-rw-r--r--	Orderings4.bpl	231	log plain
-rw-r--r--	ParallelAssignment.bpl	967	log plain
-rw-r--r--	PolyList.bpl	1373	log plain
-rw-r--r--	Real.bpl	476	log plain
-rw-r--r--	Triggers0.bpl	1193	log plain
-rw-r--r--	Triggers1.bpl	315	log plain
-rw-r--r--	runtest.bat	1699	log plain
-rw-r--r--	test3_AddMethod_conv.bpl	103901	log plain