Skip to content

Commit

Permalink
make one test deterministic
Browse files Browse the repository at this point in the history
  • Loading branch information
zapashcanon committed Apr 24, 2024
1 parent 5b7a80e commit a8c95e2
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions test/sym/binop/i32/i32_binop.t
Original file line number Diff line number Diff line change
Expand Up @@ -85,15 +85,15 @@ i32:
(symbol_1 (i32 0)))
Reached problem!
[13]
$ owi sym i32_rem_s.wat --no-stop-at-failure
Trap: integer divide by zero
Model:
(model
(symbol_0 (i32 0)))
$ owi sym i32_rem_s.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_rem_u.wat --no-stop-at-failure --deterministic-result-order
Expand Down

0 comments on commit a8c95e2

Please sign in to comment.