Skip to content

Commit

Permalink
Update 32-bit outputs for test/core/QCheck_expect_test.ml
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Dec 6, 2024
1 parent 6744e17 commit 778bf5b
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 6 deletions.
8 changes: 4 additions & 4 deletions test/core/QCheck_expect_test.expected.ocaml4.32
Original file line number Diff line number Diff line change
Expand Up @@ -503,15 +503,15 @@ Test sum list = 0 failed (0 shrink steps):

--- Failure --------------------------------------------------------------------

Test fail_pred_map_commute failed (47 shrink steps):
Test fail_pred_map_commute failed (48 shrink steps):

([1], {_ -> 0}, {0 -> false; _ -> true})
([1], {_ -> 0}, {1 -> true; _ -> false})

--- Failure --------------------------------------------------------------------

Test fail_pred_strings failed (1 shrink steps):
Test fail_pred_strings failed (2 shrink steps):

{some other string -> false; _ -> true}
{some random string -> true; _ -> false}

--- Failure --------------------------------------------------------------------

Expand Down
4 changes: 2 additions & 2 deletions test/core/QCheck_expect_test.expected.ocaml5.32
Original file line number Diff line number Diff line change
Expand Up @@ -519,9 +519,9 @@ Test fail_pred_map_commute failed (47 shrink steps):

--- Failure --------------------------------------------------------------------

Test fail_pred_strings failed (1 shrink steps):
Test fail_pred_strings failed (2 shrink steps):

{some other string -> false; _ -> true}
{some random string -> true; _ -> false}

--- Failure --------------------------------------------------------------------

Expand Down

0 comments on commit 778bf5b

Please sign in to comment.