reactivate unop and binop tests (deterministic)

test/sym/binop.t

@@ -0,0 +1,222 @@
+binop i32:
+  $ dune exec owi -- sym binop_i32.wat --no-stop-at-failure --no-value
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32))
+  Reached 9 problems!
+  [1]
+binop i32 (2):
+  $ dune exec owi -- sym binop_i32-2.wat --no-stop-at-failure --no-value
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32)
+      (symbol_1 i32)
+      (symbol_2 i32)
+      (symbol_3 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32)
+      (symbol_1 i32)
+      (symbol_2 i32)
+      (symbol_3 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32)
+      (symbol_1 i32)
+      (symbol_2 i32)
+      (symbol_3 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32)
+      (symbol_1 i32)
+      (symbol_2 i32)
+      (symbol_3 i32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i32)
+      (symbol_1 i32)
+      (symbol_2 i32)
+      (symbol_3 i32))
+  Reached 5 problems!
+  [1]
+binop i64:
+  $ dune exec owi -- sym binop_i64.wat --no-stop-at-failure --no-value
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64))
+  Reached 9 problems!
+  [1]
+binop i64 (2):
+  $ dune exec owi -- sym binop_i64-2.wat --no-stop-at-failure --no-value
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64)
+      (symbol_1 i64)
+      (symbol_2 i64)
+      (symbol_3 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64)
+      (symbol_1 i64)
+      (symbol_2 i64)
+      (symbol_3 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64)
+      (symbol_1 i64)
+      (symbol_2 i64)
+      (symbol_3 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64)
+      (symbol_1 i64)
+      (symbol_2 i64)
+      (symbol_3 i64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 i64)
+      (symbol_1 i64)
+      (symbol_2 i64)
+      (symbol_3 i64))
+  Reached 5 problems!
+  [1]
+binop f32:
+  $ dune exec owi -- sym binop_f32.wat --no-stop-at-failure --no-value
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f32))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f32))
+  Reached 7 problems!
+  [1]
+binop f64:
+  $ dune exec owi -- sym binop_f64.wat --no-stop-at-failure --no-value
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f64))
+  Trap: unreachable
+  Model:
+    (model
+      (symbol_0 f64))
+  Reached 7 problems!
+  [1]