More determinism in test memory.t

OCamlPro · Feb 21, 2024 · 06853e2 · 06853e2
1 parent c535389
commit 06853e2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/sym/memory.t b/test/sym/memory.t
@@ -8,11 +8,11 @@ memory stuff:
       (symbol_0 (i32 1)))
   Reached problem!
   [13]
-  $ dune exec owi -- sym store.wat
+  $ dune exec owi -- sym store.wat --no-value
   Trap: out of bounds memory access
   Model:
     (model
-      (symbol_0 (i32 2146549760)))
+      (symbol_0 i32))
   Reached problem!
   [13]
   $ dune exec owi -- sym memory2.wat