Fix test result

OCamlPro · Jun 14, 2024 · 82c1b6a · 82c1b6a
1 parent 20ee63d
commit 82c1b6a
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/example/conc/README.md b/example/conc/README.md
@@ -25,7 +25,12 @@ Let's see if owi is able to find a value for `x` that lead to an error:
 
 ```sh
 $ owi conc ./mini.wat
-OK
+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.