Make a test more deterministic

OCamlPro · Mar 27, 2024 · cfb43b6 · cfb43b6
1 parent 981a5f7
commit cfb43b6
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/test/sym/binop/i32/i32_binop.t b/test/sym/binop/i32/i32_binop.t
@@ -96,15 +96,15 @@ i32:
       (symbol_0 (i32 -1)))
   Reached 2 problems!
   [13]
-  $ owi sym i32_rem_u.wat --no-stop-at-failure
-  Trap: integer divide by zero
-  Model:
-    (model
-      (symbol_0 (i32 0)))
+  $ owi sym i32_rem_u.wat --no-stop-at-failure --deterministic-result-order
   Trap: unreachable
   Model:
     (model
       (symbol_0 (i32 1)))
+  Trap: integer divide by zero
+  Model:
+    (model
+      (symbol_0 (i32 0)))
   Reached 2 problems!
   [13]
   $ owi sym i32_rotl.wat --no-stop-at-failure