Promote tests

example/c/README.md

@@ -176,23 +176,27 @@ $ dune exec owi -- c ./maze.c
 Assert failure: false
 Model:
   (model
-    (choice_i32_0 (i32 18))
-    (choice_i32_1 (i32 3))
-    (choice_i32_10 (i32 3))
-    (choice_i32_11 (i32 22))
-    (choice_i32_2 (i32 3))
-    (choice_i32_3 (i32 22))
-    (choice_i32_4 (i32 3))
-    (choice_i32_5 (i32 3))
-    (choice_i32_6 (i32 3))
-    (choice_i32_7 (i32 3))
-    (choice_i32_8 (i32 18))
-    (choice_i32_9 (i32 3))
     (symbol_0 (i32 115))
     (symbol_1 (i32 100))
     (symbol_10 (i32 100))
     (symbol_11 (i32 119))
+    (symbol_12 (i32 0))
+    (symbol_13 (i32 0))
+    (symbol_14 (i32 0))
+    (symbol_15 (i32 0))
+    (symbol_16 (i32 0))
+    (symbol_17 (i32 0))
+    (symbol_18 (i32 0))
+    (symbol_19 (i32 0))
     (symbol_2 (i32 100))
+    (symbol_20 (i32 0))
+    (symbol_21 (i32 0))
+    (symbol_22 (i32 0))
+    (symbol_23 (i32 0))
+    (symbol_24 (i32 0))
+    (symbol_25 (i32 0))
+    (symbol_26 (i32 0))
+    (symbol_27 (i32 0))
     (symbol_3 (i32 119))
     (symbol_4 (i32 100))
     (symbol_5 (i32 100))

test/sym/memory.t

@@ -12,6 +12,7 @@ memory stuff:
   Trap: out of bounds memory access
   Model:
     (model
-      (symbol_0 (i32 -11)))
+      (symbol_0 (i32 -11))
+      (symbol_1 (i32 0)))
   Reached problem!
   [1]

test/sym/table.t

@@ -3,6 +3,7 @@ table stuff:
   Trap: undefined element
   Model:
     (model
+      (symbol_0 (i32 0))
       (symbol_1 (i32 -2147483648)))
   Trap: unreachable
   Model: