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

Mode	Name	Size
-rw-r--r--	Answer	10934	log plain
-rw-r--r--	Coercions.bpl	409	log plain
-rw-r--r--	Coercions.bpl.expect	281	log plain
-rw-r--r--	EmptySeq.bpl	227	log plain
-rw-r--r--	EmptySeq.bpl.expect	60	log plain
-rw-r--r--	ParallelAssignment.bpl	615	log plain
-rw-r--r--	ParallelAssignment.bpl.expect	401	log plain
-rw-r--r--	ParallelAssignment2.bpl	393	log plain
-rw-r--r--	ParallelAssignment2.bpl.expect	266	log plain
-rw-r--r--	PolyFuns0.bpl	1938	log plain
-rw-r--r--	PolyFuns0.bpl.expect	473	log plain
-rw-r--r--	PolyFuns1.bpl	1620	log plain
-rw-r--r--	PolyFuns1.bpl.expect	1781	log plain
-rw-r--r--	PolyPolyPoly.bpl	712	log plain
-rw-r--r--	PolyPolyPoly.bpl.expect	335	log plain
-rw-r--r--	PolyPolyPoly2.bpl	956	log plain
-rw-r--r--	PolyPolyPoly2.bpl.expect	939	log plain
-rw-r--r--	PolyProcs0.bpl	1077	log plain
-rw-r--r--	PolyProcs0.bpl.expect	671	log plain
-rw-r--r--	ProcParamReordering.bpl	392	log plain
-rw-r--r--	ProcParamReordering.bpl.expect	288	log plain
-rw-r--r--	Prog0.bpl	1167	log plain
-rw-r--r--	Prog0.bpl.expect	287	log plain
-rw-r--r--	Prog1.bpl	610	log plain
-rw-r--r--	Prog1.bpl.expect	310	log plain
-rw-r--r--	Prog2.bpl	612	log plain
-rw-r--r--	Prog2.bpl.expect	148	log plain
-rw-r--r--	TypeDecls0.bpl	1236	log plain
-rw-r--r--	TypeDecls0.bpl.expect	954	log plain
-rw-r--r--	TypeDecls1.bpl	632	log plain
-rw-r--r--	TypeDecls1.bpl.expect	454	log plain
-rw-r--r--	TypeSynonyms0.bpl	688	log plain
-rw-r--r--	TypeSynonyms0.bpl.expect	749	log plain
-rw-r--r--	TypeSynonyms0.bpl.print.expect	1086	log plain
-rw-r--r--	TypeSynonyms1.bpl	1031	log plain
-rw-r--r--	TypeSynonyms1.bpl.expect	184	log plain
-rw-r--r--	TypeSynonyms2.bpl	686	log plain
-rw-r--r--	TypeSynonyms2.bpl.expect	60	log plain
-rw-r--r--	TypeSynonyms2.bpl.print.expect	1016	log plain
-rw-r--r--	runtest.bat	912	log plain