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

Mode	Name	Size
-rw-r--r--	float0.bpl	321	log plain
-rw-r--r--	float0.bpl.expect	739	log plain
-rw-r--r--	float1.bpl	268	log plain
-rw-r--r--	float1.bpl.expect	60	log plain
-rw-r--r--	float10.bpl	421	log plain
-rw-r--r--	float10.bpl.expect	169	log plain
-rw-r--r--	float11.bpl	517	log plain
-rw-r--r--	float11.bpl.expect	245	log plain
-rw-r--r--	float12.bpl	622	log plain
-rw-r--r--	float12.bpl.expect	60	log plain
-rw-r--r--	float13.bpl	908	log plain
-rw-r--r--	float13.bpl.expect	60	log plain
-rw-r--r--	float14.bpl	540	log plain
-rw-r--r--	float14.bpl.expect	1016	log plain
-rw-r--r--	float2.bpl	295	log plain
-rw-r--r--	float2.bpl.expect	670	log plain
-rw-r--r--	float3.bpl	506	log plain
-rw-r--r--	float3.bpl.expect	60	log plain
-rw-r--r--	float4.bpl	329	log plain
-rw-r--r--	float4.bpl.expect	60	log plain
-rw-r--r--	float5.bpl	1001	log plain
-rw-r--r--	float5.bpl.expect	584	log plain
-rw-r--r--	float6.bpl	990	log plain
-rw-r--r--	float6.bpl.expect	60	log plain
-rw-r--r--	float7.bpl	300	log plain
-rw-r--r--	float7.bpl.expect	60	log plain
-rw-r--r--	float8.bpl	288	log plain
-rw-r--r--	float8.bpl.expect	166	log plain
-rw-r--r--	float9.bpl	487	log plain
-rw-r--r--	float9.bpl.expect	60	log plain