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

Mode	Name	Size
-rw-r--r--	Coercions.bpl	417	log plain
-rw-r--r--	Coercions.bpl.expect	281	log plain
-rw-r--r--	EmptySeq.bpl	235	log plain
-rw-r--r--	EmptySeq.bpl.expect	60	log plain
-rw-r--r--	ParallelAssignment.bpl	623	log plain
-rw-r--r--	ParallelAssignment.bpl.expect	401	log plain
-rw-r--r--	ParallelAssignment2.bpl	401	log plain
-rw-r--r--	ParallelAssignment2.bpl.expect	266	log plain
-rw-r--r--	PolyFuns0.bpl	1946	log plain
-rw-r--r--	PolyFuns0.bpl.expect	473	log plain
-rw-r--r--	PolyFuns1.bpl	1628	log plain
-rw-r--r--	PolyFuns1.bpl.expect	1781	log plain
-rw-r--r--	PolyPolyPoly.bpl	720	log plain
-rw-r--r--	PolyPolyPoly.bpl.expect	335	log plain
-rw-r--r--	PolyPolyPoly2.bpl	964	log plain
-rw-r--r--	PolyPolyPoly2.bpl.expect	939	log plain
-rw-r--r--	PolyProcs0.bpl	1085	log plain
-rw-r--r--	PolyProcs0.bpl.expect	671	log plain
-rw-r--r--	ProcParamReordering.bpl	400	log plain
-rw-r--r--	ProcParamReordering.bpl.expect	288	log plain
-rw-r--r--	Prog0.bpl	1175	log plain
-rw-r--r--	Prog0.bpl.expect	287	log plain
-rw-r--r--	Prog1.bpl	618	log plain
-rw-r--r--	Prog1.bpl.expect	310	log plain
-rw-r--r--	Prog2.bpl	620	log plain
-rw-r--r--	Prog2.bpl.expect	148	log plain
-rw-r--r--	TypeDecls0.bpl	1244	log plain
-rw-r--r--	TypeDecls0.bpl.expect	954	log plain
-rw-r--r--	TypeDecls1.bpl	640	log plain
-rw-r--r--	TypeDecls1.bpl.expect	454	log plain
-rw-r--r--	TypeSynonyms0.bpl	704	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	1039	log plain
-rw-r--r--	TypeSynonyms1.bpl.expect	184	log plain
-rw-r--r--	TypeSynonyms2.bpl	712	log plain
-rw-r--r--	TypeSynonyms2.bpl.expect	60	log plain
-rw-r--r--	TypeSynonyms2.bpl.print.expect	1016	log plain