Merge pull request #383 from jmid/another-float_exp-test

Expect test `float_exp` on negative inputs too

Author: jmid

test/core/QCheck2_expect_test.expected.ocaml4.32

@@ -473,6 +473,12 @@ Test float_exp 10. < Float.pi failed (6 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
+Test float_exp -10. > -. Float.pi failed (6 shrink steps):
+
+-3.1417780719
+
+--- Failure --------------------------------------------------------------------
+
 Test char never produces 'abcdef' failed (1 shrink steps):
 
 'a'
@@ -2015,7 +2021,7 @@ Collect results for test float classify:
  FP_nan:            2 cases   (0.0%)
 ================================================================================
 1 warning(s)
-failure (104 tests failed, 3 tests errored, ran 208 tests)
+failure (105 tests failed, 3 tests errored, ran 209 tests)
 random seed: 153870556
 
 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

test/core/QCheck2_expect_test.expected.ocaml4.64

@@ -535,6 +535,12 @@ Test float_exp 10. < Float.pi failed (6 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
+Test float_exp -10. > -. Float.pi failed (6 shrink steps):
+
+-3.1417780719
+
+--- Failure --------------------------------------------------------------------
+
 Test char never produces 'abcdef' failed (1 shrink steps):
 
 'a'
@@ -2079,7 +2085,7 @@ Collect results for test float classify:
  FP_nan:            2 cases   (0.0%)
 ================================================================================
 1 warning(s)
-failure (104 tests failed, 3 tests errored, ran 208 tests)
+failure (105 tests failed, 3 tests errored, ran 209 tests)
 random seed: 153870556
 
 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

test/core/QCheck2_expect_test.expected.ocaml5.32

@@ -456,6 +456,12 @@ Test float_exp 10. < Float.pi failed (8 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
+Test float_exp -10. > -. Float.pi failed (8 shrink steps):
+
+-3.14167640757
+
+--- Failure --------------------------------------------------------------------
+
 Test char never produces 'abcdef' failed (1 shrink steps):
 
 'a'
@@ -1999,7 +2005,7 @@ Collect results for test float classify:
  FP_subnormal:      3 cases   (0.1%)
 ================================================================================
 1 warning(s)
-failure (104 tests failed, 3 tests errored, ran 208 tests)
+failure (105 tests failed, 3 tests errored, ran 209 tests)
 random seed: 153870556
 
 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

test/core/QCheck2_expect_test.expected.ocaml5.64

@@ -518,6 +518,12 @@ Test float_exp 10. < Float.pi failed (8 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
+Test float_exp -10. > -. Float.pi failed (8 shrink steps):
+
+-3.14167640757
+
+--- Failure --------------------------------------------------------------------
+
 Test char never produces 'abcdef' failed (1 shrink steps):
 
 'a'
@@ -2061,7 +2067,7 @@ Collect results for test float classify:
  FP_subnormal:      3 cases   (0.1%)
 ================================================================================
 1 warning(s)
-failure (104 tests failed, 3 tests errored, ran 208 tests)
+failure (105 tests failed, 3 tests errored, ran 209 tests)
 random seed: 153870556
 
 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

test/core/QCheck2_tests.ml

@@ -565,6 +565,10 @@ module Shrink = struct
     Test.make ~name:"float_exp 10. < Float.pi" ~count:1000 ~print:Print.float
       (Gen.float_exp 10.) (fun f -> f < Float.pi)
 
+  let float_exp_m10_gt_mpi =
+    Test.make ~name:"float_exp -10. > -. Float.pi" ~count:1000 ~print:Print.float
+      (Gen.float_exp (-10.)) (fun f -> f > -. Float.pi)
+
   let char_is_never_abcdef =
     Test.make ~name:"char never produces 'abcdef'" ~count:1000 ~print:Print.char
       Gen.char (fun c -> not (List.mem c ['a';'b';'c';'d';'e';'f']))
@@ -865,6 +869,7 @@ module Shrink = struct
     float_neg_not_nan;
     float_neg_not_infinite;
     float_exp_10_lt_pi;
+    float_exp_m10_gt_mpi;
     char_is_never_abcdef;
     char_printable_is_never_sign;
     char_numeral_is_never_less_5;

test/core/QCheck_expect_test.expected.ocaml4.32

@@ -449,6 +449,12 @@ Test float_exp 10. < Float.pi failed (2 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
+Test float_exp -10. > -. Float.pi failed (2 shrink steps):
+
+-4.
+
+--- Failure --------------------------------------------------------------------
+
 Test char never produces 'abcdef' failed (3 shrink steps):
 
 'a'
@@ -1998,7 +2004,7 @@ Collect results for test float classify:
  FP_nan:            2 cases   (0.0%)
 ================================================================================
 1 warning(s)
-failure (105 tests failed, 3 tests errored, ran 216 tests)
+failure (106 tests failed, 3 tests errored, ran 217 tests)
 random seed: 153870556
 
 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

test/core/QCheck_expect_test.expected.ocaml4.64

@@ -481,6 +481,12 @@ Test float_exp 10. < Float.pi failed (2 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
+Test float_exp -10. > -. Float.pi failed (2 shrink steps):
+
+-4.
+
+--- Failure --------------------------------------------------------------------
+
 Test char never produces 'abcdef' failed (3 shrink steps):
 
 'a'
@@ -2032,7 +2038,7 @@ Collect results for test float classify:
  FP_nan:            2 cases   (0.0%)
 ================================================================================
 1 warning(s)
-failure (105 tests failed, 3 tests errored, ran 216 tests)
+failure (106 tests failed, 3 tests errored, ran 217 tests)
 random seed: 153870556
 
 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

test/core/QCheck_expect_test.expected.ocaml5.32

@@ -459,6 +459,12 @@ Test float_exp 10. < Float.pi failed (3 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
+Test float_exp -10. > -. Float.pi failed (3 shrink steps):
+
+-4.
+
+--- Failure --------------------------------------------------------------------
+
 Test char never produces 'abcdef' failed (2 shrink steps):
 
 'a'
@@ -2009,7 +2015,7 @@ Collect results for test float classify:
  FP_subnormal:      3 cases   (0.1%)
 ================================================================================
 1 warning(s)
-failure (105 tests failed, 3 tests errored, ran 216 tests)
+failure (106 tests failed, 3 tests errored, ran 217 tests)
 random seed: 153870556
 
 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

test/core/QCheck_expect_test.expected.ocaml5.64

@@ -491,6 +491,12 @@ Test float_exp 10. < Float.pi failed (3 shrink steps):
 
 --- Failure --------------------------------------------------------------------
 
+Test float_exp -10. > -. Float.pi failed (3 shrink steps):
+
+-4.
+
+--- Failure --------------------------------------------------------------------
+
 Test char never produces 'abcdef' failed (2 shrink steps):
 
 'a'
@@ -2041,7 +2047,7 @@ Collect results for test float classify:
  FP_subnormal:      3 cases   (0.1%)
 ================================================================================
 1 warning(s)
-failure (105 tests failed, 3 tests errored, ran 216 tests)
+failure (106 tests failed, 3 tests errored, ran 217 tests)
 random seed: 153870556
 
 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

test/core/QCheck_tests.ml

@@ -650,6 +650,10 @@ module Shrink = struct
     Test.make ~name:"float_exp 10. < Float.pi" ~count:1000
       (float_exp 10.) (fun f -> f < Float.pi)
 
+  let float_exp_m10_gt_mpi =
+    Test.make ~name:"float_exp -10. > -. Float.pi" ~count:1000
+      (float_exp (-10.)) (fun f -> f > -. Float.pi)
+
   let char_is_never_abcdef =
     Test.make ~name:"char never produces 'abcdef'" ~count:1000
       char (fun c -> not (List.mem c ['a';'b';'c';'d';'e';'f']))
@@ -944,6 +948,7 @@ module Shrink = struct
     float_neg_not_nan;
     float_neg_not_infinite;
     float_exp_10_lt_pi;
+    float_exp_m10_gt_mpi;
     char_is_never_abcdef;
     char_range_is_never_abc;
     char_printable_is_never_sign;