contracts: change the contract syntax

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

diff --git a/tests/sav/test_subarray.res b/tests/sav/test_subarray.res
index e7e74aa..a8ec7de 100644 (file)
--- a/tests/sav/test_subarray.res
+++ b/tests/sav/test_subarray.res
@@ -1,5 +1,5 @@
-123
-012345678
-456
-01234
-123L123truefalse
+[1,2,3]
+[0,1,2,3,4,5,6,7,8]
+[4,5,6]
+[0,1,2,3,4]
+[123,L,[1,2,3],true,false]