contracts: change the contract syntax

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

diff --git a/tests/sav/module_1.res b/tests/sav/module_1.res
index e69de29..13eabd1 100644 (file)
--- a/tests/sav/module_1.res
+++ b/tests/sav/module_1.res
@@ -0,0 +1,34 @@
+1
+1
+12
+1
+13
+1
+123
+1
+1
+1
+12
+2
+13
+1
+123
+2
+1
+1
+12
+2
+13
+1
+123
+2
+250
+2
+1
+1
+12
+2
+13
+1
+123
+2