add test for immediately failing concolic test

OCamlPro · Jun 3, 2024 · ecd9825 · ecd9825
1 parent 730a977
commit ecd9825
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 0 deletions.
diff --git a/test/conc/dune b/test/conc/dune
@@ -0,0 +1,2 @@
+(cram
+ (deps %{bin:owi} immediately_fail.wat))
diff --git a/test/conc/immediately_fail.t b/test/conc/immediately_fail.t
@@ -0,0 +1,7 @@
+  $ owi conc immediately_fail.wat
+  Assert failure
+  Model:
+    (model
+      )
+  Reached problem!
+  [13]
diff --git a/test/conc/immediately_fail.wat b/test/conc/immediately_fail.wat
@@ -0,0 +1,6 @@
+(module
+  (import "symbolic" "assert" (func $assert (param i32)))
+  (func $f
+    (i32.const 0)
+    (call $assert))
+  (start $f))