add assert.wat in test

OCamlPro · Nov 16, 2024 · bb99e38 · bb99e38
1 parent 985e8a9
commit bb99e38
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 6 deletions.
diff --git a/src/ast/code_generator.ml b/src/ast/code_generator.ml
@@ -686,11 +686,8 @@ let add_owi_funcs (owi_funcs : (string * binary func_type) array) (m : modul) :
   in
   update_func ()
 
-let generate (symbolic : bool) (m : modul) : modul Result.t =
-  let owi_funcs =
-    if symbolic then [| ("assert", ([ (None, Num_type I32) ], [])) |]
-    else [| ("assert", ([ (None, Num_type I32) ], [])) |]
-  in
+let generate (_symbolic : bool) (m : modul) : modul Result.t =
+  let owi_funcs = [| ("assert", ([ (None, Num_type I32) ], [])) |] in
   let m, owi_funcs = add_owi_funcs owi_funcs m in
   contracts_generate owi_funcs m
     (List.filter_map

diff --git a/test/weasel/assert.t b/test/weasel/assert.t
@@ -0,0 +1 @@
+  $ owi run --rac ./assert.wat
diff --git a/test/weasel/assert.wat b/test/weasel/assert.wat
@@ -0,0 +1,8 @@
+(module
+    (@contract $start
+        (requires (= 2 (+ 1 1)))
+    )
+    (func $start
+    )
+    (start $start)
+)
diff --git a/test/weasel/dune b/test/weasel/dune
@@ -1,2 +1,2 @@
 (cram
- (deps %{bin:owi} forall.wat plus.wat sum.wat))
+ (deps %{bin:owi} assert.wat forall.wat plus.wat sum.wat))