Promote test results for the new pretty-printers

ocaml-multicore · May 11, 2023 · 392de1b · 392de1b
1 parent ef03386
commit 392de1b
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 16 deletions.
diff --git a/test/mutable_set_v4.expected.32 b/test/mutable_set_v4.expected.32
@@ -6,8 +6,8 @@ generated error fail pass / total     time test name
 
 Test STM sequential tests failed (13 shrink steps):
 
-   (Add -605797133)
-   (Remove -605797133)
+   Add -605797133
+   Remove -605797133
    Cardinal
 
 
@@ -17,8 +17,8 @@ Messages for test STM sequential tests:
 
   Results incompatible with model
 
-   (Add -605797133) : ()
-   (Remove -605797133) : Some (-605797133)
+   Add -605797133 : ()
+   Remove -605797133 : Some (-605797133)
    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
@@ -6,8 +6,8 @@ generated error fail pass / total     time test name
 
 Test STM sequential tests failed (13 shrink steps):
 
-   (Add -3576245632788335623)
-   (Remove -3576245632788335623)
+   Add -3576245632788335623
+   Remove -3576245632788335623
    Cardinal
 
 
@@ -17,8 +17,8 @@ Messages for test STM sequential tests:
 
   Results incompatible with model
 
-   (Add -3576245632788335623) : ()
-   (Remove -3576245632788335623) : Some (-3576245632788335623)
+   Add -3576245632788335623 : ()
+   Remove -3576245632788335623 : Some (-3576245632788335623)
    Cardinal : 1
 ================================================================================
 [31;1mfailure[0m (1 tests failed, 0 tests errored, ran 1 tests)

diff --git a/test/mutable_set_v5.expected.32 b/test/mutable_set_v5.expected.32
@@ -6,8 +6,8 @@ generated error fail pass / total     time test name
 
 Test STM sequential tests failed (2 shrink steps):
 
-   (Add -942638288)
-   (Remove -942638288)
+   Add -942638288
+   Remove -942638288
    Cardinal
 
 
@@ -17,8 +17,8 @@ Messages for test STM sequential tests:
 
   Results incompatible with model
 
-   (Add -942638288) : ()
-   (Remove -942638288) : Some (-942638288)
+   Add -942638288 : ()
+   Remove -942638288 : Some (-942638288)
    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
@@ -6,8 +6,8 @@ generated error fail pass / total     time test name
 
 Test STM sequential tests failed (15 shrink steps):
 
-   (Add -3922091896265746428)
-   (Remove -3922091896265746428)
+   Add -3922091896265746428
+   Remove -3922091896265746428
    Cardinal
 
 
@@ -17,8 +17,8 @@ Messages for test STM sequential tests:
 
   Results incompatible with model
 
-   (Add -3922091896265746428) : ()
-   (Remove -3922091896265746428) : Some (-3922091896265746428)
+   Add -3922091896265746428 : ()
+   Remove -3922091896265746428 : Some (-3922091896265746428)
    Cardinal : 1
 ================================================================================
 [31;1mfailure[0m (1 tests failed, 0 tests errored, ran 1 tests)