Update expect test output

ocaml-multicore · Aug 30, 2024 · 97d7888 · 97d7888
1 parent 3f3f13d
commit 97d7888
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git 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
 ================================================================================
 [31;1mfailure[0m (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
@@ -2,10 +2,10 @@
 
 --- [31;1mFailure[0m --------------------------------------------------------------------
 
-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
 ================================================================================
 [31;1mfailure[0m (1 tests failed, 0 tests errored, ran 1 tests)