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 cd932ee..feaed3f 100644 (file)
--- a/tests/sav/test_float.res
+++ b/tests/sav/test_float.res
@@ -5,3 +5,9 @@
 12.346
 12.3
 12
+0.5
+0.000
+0.000003125
+3410.0
+400.0
+10.0