From 97d788836e62f7561f341880b65395375234ef32 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Fri, 30 Aug 2024 17:41:14 +0200 Subject: [PATCH] Update expect test output --- test/mutable_set_v5.expected.32 | 8 ++++---- test/mutable_set_v5.expected.64 | 10 +++++----- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/test/mutable_set_v5.expected.32 b/test/mutable_set_v5.expected.32 index 6a3b51c8..502ec6ec 100644 --- a/test/mutable_set_v5.expected.32 +++ b/test/mutable_set_v5.expected.32 @@ -4,8 +4,8 @@ Test STM sequential tests failed (2 shrink steps): - Add (-942638288) - Remove (-942638288) + Add (-286715106) + Remove (-286715106) Cardinal @@ -15,8 +15,8 @@ Messages for test STM sequential tests: Results incompatible with model - Add (-942638288) : () - Remove (-942638288) : Some (-942638288) + Add (-286715106) : () + Remove (-286715106) : Some (-286715106) Cardinal : 1 ================================================================================ failure (1 tests failed, 0 tests errored, ran 1 tests) diff --git a/test/mutable_set_v5.expected.64 b/test/mutable_set_v5.expected.64 index 6529f572..b2ddcf1b 100644 --- a/test/mutable_set_v5.expected.64 +++ b/test/mutable_set_v5.expected.64 @@ -2,10 +2,10 @@ --- Failure -------------------------------------------------------------------- -Test STM sequential tests failed (15 shrink steps): +Test STM sequential tests failed (6 shrink steps): - Add (-3922091896265746428) - Remove (-3922091896265746428) + Add 3036269937054427589 + Remove 3036269937054427589 Cardinal @@ -15,8 +15,8 @@ Messages for test STM sequential tests: Results incompatible with model - Add (-3922091896265746428) : () - Remove (-3922091896265746428) : Some (-3922091896265746428) + Add 3036269937054427589 : () + Remove 3036269937054427589 : Some (3036269937054427589) Cardinal : 1 ================================================================================ failure (1 tests failed, 0 tests errored, ran 1 tests)