From 778bf5b719110a2d830d9889e88d030546ccdaf6 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Fri, 6 Dec 2024 23:45:49 +0100 Subject: [PATCH] Update 32-bit outputs for test/core/QCheck_expect_test.ml --- test/core/QCheck_expect_test.expected.ocaml4.32 | 8 ++++---- test/core/QCheck_expect_test.expected.ocaml5.32 | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/test/core/QCheck_expect_test.expected.ocaml4.32 b/test/core/QCheck_expect_test.expected.ocaml4.32 index 865566a8..bdbd94cb 100644 --- a/test/core/QCheck_expect_test.expected.ocaml4.32 +++ b/test/core/QCheck_expect_test.expected.ocaml4.32 @@ -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 -------------------------------------------------------------------- diff --git a/test/core/QCheck_expect_test.expected.ocaml5.32 b/test/core/QCheck_expect_test.expected.ocaml5.32 index c8218b2e..0c273efd 100644 --- a/test/core/QCheck_expect_test.expected.ocaml5.32 +++ b/test/core/QCheck_expect_test.expected.ocaml5.32 @@ -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 --------------------------------------------------------------------