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

Mode	Name	Size
-rw-r--r--	Coercions.bpl	398	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	599	log plain
-rw-r--r--	ParallelAssignment.bpl.expect	401	log plain
-rw-r--r--	ParallelAssignment2.bpl	389	log plain
-rw-r--r--	ParallelAssignment2.bpl.expect	266	log plain
-rw-r--r--	PolyFuns0.bpl	1889	log plain
-rw-r--r--	PolyFuns0.bpl.expect	473	log plain
-rw-r--r--	PolyFuns1.bpl	1567	log plain
-rw-r--r--	PolyFuns1.bpl.expect	1781	log plain
-rw-r--r--	PolyPolyPoly.bpl	696	log plain
-rw-r--r--	PolyPolyPoly.bpl.expect	335	log plain
-rw-r--r--	PolyPolyPoly2.bpl	929	log plain
-rw-r--r--	PolyPolyPoly2.bpl.expect	939	log plain
-rw-r--r--	PolyProcs0.bpl	1050	log plain
-rw-r--r--	PolyProcs0.bpl.expect	671	log plain
-rw-r--r--	ProcParamReordering.bpl	384	log plain
-rw-r--r--	ProcParamReordering.bpl.expect	288	log plain
-rw-r--r--	Prog0.bpl	1138	log plain
-rw-r--r--	Prog0.bpl.expect	287	log plain
-rw-r--r--	Prog1.bpl	590	log plain
-rw-r--r--	Prog1.bpl.expect	310	log plain
-rw-r--r--	Prog2.bpl	602	log plain
-rw-r--r--	Prog2.bpl.expect	148	log plain
-rw-r--r--	TypeDecls0.bpl	1197	log plain
-rw-r--r--	TypeDecls0.bpl.expect	954	log plain
-rw-r--r--	TypeDecls1.bpl	615	log plain
-rw-r--r--	TypeDecls1.bpl.expect	454	log plain
-rw-r--r--	TypeSynonyms0.bpl	671	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	990	log plain
-rw-r--r--	TypeSynonyms1.bpl.expect	184	log plain
-rw-r--r--	TypeSynonyms2.bpl	688	log plain
-rw-r--r--	TypeSynonyms2.bpl.expect	60	log plain
-rw-r--r--	TypeSynonyms2.bpl.print.expect	1016	log plain