Update expect test outputs after reordering shrinking heuristics

Author: jmid

test/core/QCheck_expect_test.expected.ocaml4.32

@@ -323,7 +323,7 @@ Test float >= -1e10 failed (10 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
-Test float_bound_inclusive 1e6 <= 10. failed (10 shrink steps):
+Test float_bound_inclusive 1e6 <= 10. failed (9 shrink steps):
 
 11.
 
@@ -359,7 +359,7 @@ Test float_bound_inclusive -1e6 >= -.pi failed (9 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
-Test float_bound_exclusive 1e6 <= 10. failed (10 shrink steps):
+Test float_bound_exclusive 1e6 <= 10. failed (9 shrink steps):
 
 11.
 

test/core/QCheck_expect_test.expected.ocaml4.64

@@ -355,7 +355,7 @@ Test float >= -1e10 failed (10 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
-Test float_bound_inclusive 1e6 <= 10. failed (10 shrink steps):
+Test float_bound_inclusive 1e6 <= 10. failed (9 shrink steps):
 
 11.
 
@@ -391,7 +391,7 @@ Test float_bound_inclusive -1e6 >= -.pi failed (9 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
-Test float_bound_exclusive 1e6 <= 10. failed (10 shrink steps):
+Test float_bound_exclusive 1e6 <= 10. failed (9 shrink steps):
 
 11.
 

test/core/QCheck_expect_test.expected.ocaml5.32

@@ -291,7 +291,7 @@ Test nat < 5001 failed (4 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
-Test float <= 1e10 failed (7 shrink steps):
+Test float <= 1e10 failed (6 shrink steps):
 
 11000000000.
 
@@ -327,9 +327,9 @@ Test float >= -1e-10 failed (16 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
-Test float >= -1e10 failed (15 shrink steps):
+Test float >= -1e10 failed (9 shrink steps):
 
--10000200000.
+-11000000000.
 
 --- Failure --------------------------------------------------------------------
 

test/core/QCheck_expect_test.expected.ocaml5.64

@@ -323,7 +323,7 @@ Test nat < 5001 failed (4 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
-Test float <= 1e10 failed (7 shrink steps):
+Test float <= 1e10 failed (6 shrink steps):
 
 11000000000.
 
@@ -359,9 +359,9 @@ Test float >= -1e-10 failed (16 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
-Test float >= -1e10 failed (15 shrink steps):
+Test float >= -1e10 failed (9 shrink steps):
 
--10000200000.
+-11000000000.
 
 --- Failure --------------------------------------------------------------------