contracts: change the contract syntax

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

diff --git a/tests/sav/loops_break.res b/tests/sav/loops_break.res
index 13600be..6a129c0 100644 (file)
--- a/tests/sav/loops_break.res
+++ b/tests/sav/loops_break.res
@@ -1,31 +1,15 @@
-16
-7
-15
-15
-18
-3
-6
+0
 15
-5
-11
-9
-12
-7
-10
-19
-18
-12
-14
+16
 2
+15
 12
-0
-4
-2
-16
-3
 8
-2
-2
 19
+13
+6
+5
+11
 4
+6
 10