Trim explored paths and enable collections-c for owi conc

OCamlPro · Aug 18, 2024 · 37f148c · 37f148c
1 parent 83eae78
commit 37f148c
Show file tree

Hide file tree

Showing 32 changed files with 1,114 additions and 562 deletions.
diff --git a/example/conc/README.md b/example/conc/README.md
@@ -28,7 +28,7 @@ $ owi conc ./mini.wat
 Trap: unreachable
 Model:
   (model
-    (symbol_1 (i32 6)))
+    (symbol_1 (i32.const 6)))
 Reached problem!
 [13]
 ```