contracts: change the contract syntax

[nit.git] / tests / sav / test_float.res

diff --git a/tests/sav/test_float.res b/tests/sav/test_float.res
index 11ac227..feaed3f 100644 (file)
--- a/tests/sav/test_float.res
+++ b/tests/sav/test_float.res
@@ -1,7 +1,13 @@
 5.500000
 0.550000
-12.345678
-12.345678
-12.345
+12.346
+12.346
+12.346
 12.3
 12
+0.5
+0.000
+0.000003125
+3410.0
+400.0
+10.0