and update expected 32-bit output

c-cube · Jul 8, 2022 · 0ad4e0a · 0ad4e0a
1 parent 481e933
commit 0ad4e0a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 14 deletions.
diff --git a/test/core/QCheck2_expect_test.expected.32 b/test/core/QCheck2_expect_test.expected.32
@@ -492,12 +492,6 @@ Test lists shorter than 4332 failed (4022 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
-Test lists equal to duplication failed (4 shrink steps):
-
-[0]
-
---- Failure --------------------------------------------------------------------
-
 Test lists have unique elems failed (11 shrink steps):
 
 [0; 0; 0; 0; 0]
@@ -1262,7 +1256,7 @@ stats dist:
     966367653.. 1073741823: #################                                               189
 ================================================================================
 1 warning(s)
-failure (60 tests failed, 3 tests errored, ran 131 tests)
+failure (59 tests failed, 3 tests errored, ran 130 tests)
 random seed: 153870556
 
 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

diff --git a/test/core/QCheck_expect_test.expected.32 b/test/core/QCheck_expect_test.expected.32
@@ -462,12 +462,6 @@ Test lists shorter than 4332 failed (13 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
-Test lists equal to duplication failed (26 shrink steps):
-
-[0]
-
---- Failure --------------------------------------------------------------------
-
 Test lists have unique elems failed (8 shrink steps):
 
 [1; 1]
@@ -1258,7 +1252,7 @@ stats dist:
     966367653.. 1073741823: #################                                               189
 ================================================================================
 1 warning(s)
-failure (60 tests failed, 3 tests errored, ran 140 tests)
+failure (59 tests failed, 3 tests errored, ran 139 tests)
 random seed: 153870556
 
 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++