promote tests

OCamlPro · May 7, 2024 · aa74a75 · aa74a75
1 parent 20077d2
commit aa74a75
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/example/conc/README.md b/example/conc/README.md
@@ -29,6 +29,8 @@ Trap: unreachable
 Model:
   (model
     (symbol_1 (i32 6)))
+Reached problem!
+[13]
 ```
 
 Indeed, if `x` is equal to `6` then, the `unreachable` instruction will be reached.