Update expect test output

ocaml-multicore · Sep 2, 2024 · 984c8ce · 984c8ce
1 parent 27cbb37
commit 984c8ce
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 15 deletions.
diff --git a/test/mutable_set_v4.expected.32 b/test/mutable_set_v4.expected.32
@@ -2,10 +2,10 @@
 
 --- [31;1mFailure[0m --------------------------------------------------------------------
 
-Test STM sequential tests failed (13 shrink steps):
+Test STM sequential tests failed (9 shrink steps):
 
-   Add (-605797133)
-   Remove (-605797133)
+   Add (-923247292)
+   Remove (-923247292)
    Cardinal
 
 
@@ -15,8 +15,8 @@ Messages for test STM sequential tests:
 
   Results incompatible with model
 
-   Add (-605797133) : ()
-   Remove (-605797133) : Some (-605797133)
+   Add (-923247292) : ()
+   Remove (-923247292) : Some (-923247292)
    Cardinal : 1
 ================================================================================
 [31;1mfailure[0m (1 tests failed, 0 tests errored, ran 1 tests)

diff --git a/test/mutable_set_v4.expected.64 b/test/mutable_set_v4.expected.64
@@ -2,7 +2,7 @@
 
 --- [31;1mFailure[0m --------------------------------------------------------------------
 
-Test STM sequential tests failed (13 shrink steps):
+Test STM sequential tests failed (11 shrink steps):
 
    Add (-3576245632788335623)
    Remove (-3576245632788335623)

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)