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

Mode	Name	Size
-rw-r--r--	float0.bpl	378	log plain
-rw-r--r--	float0.bpl.expect	780	log plain
-rw-r--r--	float1.bpl	328	log plain
-rw-r--r--	float1.bpl.expect	62	log plain
-rw-r--r--	float10.bpl	412	log plain
-rw-r--r--	float10.bpl.expect	174	log plain
-rw-r--r--	float11.bpl	530	log plain
-rw-r--r--	float11.bpl.expect	312	log plain
-rw-r--r--	float12.bpl	601	log plain
-rw-r--r--	float12.bpl.expect	62	log plain
-rw-r--r--	float13.bpl	568	log plain
-rw-r--r--	float14.bpl	640	log plain
-rw-r--r--	float15.bpl	694	log plain
-rw-r--r--	float16.bpl	819	log plain
-rw-r--r--	float17.bpl	586	log plain
-rw-r--r--	float18.bpl	574	log plain
-rw-r--r--	float19.bpl	496	log plain
-rw-r--r--	float2.bpl	299	log plain
-rw-r--r--	float2.bpl.expect	713	log plain
-rw-r--r--	float20.bpl	429	log plain
-rw-r--r--	float21.bpl	856	log plain
-rw-r--r--	float22.bpl	557	log plain
-rw-r--r--	float23.bpl	163	log plain
-rw-r--r--	float3.bpl	646	log plain
-rw-r--r--	float3.bpl.expect	62	log plain
-rw-r--r--	float4.bpl	253	log plain
-rw-r--r--	float4.bpl.expect	62	log plain
-rw-r--r--	float5.bpl	1116	log plain
-rw-r--r--	float5.bpl.expect	973	log plain
-rw-r--r--	float6.bpl	1878	log plain
-rw-r--r--	float6.bpl.expect	62	log plain
-rw-r--r--	float7.bpl	353	log plain
-rw-r--r--	float7.bpl.expect	62	log plain
-rw-r--r--	float8.bpl	325	log plain
-rw-r--r--	float8.bpl.expect	171	log plain
-rw-r--r--	float9.bpl	491	log plain
-rw-r--r--	float9.bpl.expect	62	log plain
-rw-r--r--	modpath.py	185	log plain