Realign shrinker benchmarks

c-cube · May 1, 2023 · 00d4d43 · 00d4d43
1 parent 063c1d7
commit 00d4d43
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/test/core/QCheck2_tests.ml b/test/core/QCheck2_tests.ml
@@ -389,7 +389,7 @@ module Shrink = struct
       Gen.char (fun c -> not (List.mem c ['a';'b';'c';'d';'e';'f']))
 
   let printable_is_never_sign = (* should shrink towards '!' with lowest ascii code 33 *)
-    Test.make ~name:"printable never produces '!\"#$%&''" ~count:1000 ~print:Print.char
+    Test.make ~name:"printable never produces '!\"#$%&'" ~count:1000 ~print:Print.char
       Gen.printable (fun c -> not (List.mem c ['!';'@';'#';'$';'%']))
 
   let numeral_is_never_less_5 =

diff --git a/test/core/QCheck_tests.ml b/test/core/QCheck_tests.ml
@@ -695,6 +695,11 @@ module Shrink = struct
       IntTree.(make ~print:print_tree ~shrink:shrink_tree gen_tree)
       (fun tree -> IntTree.contains_only_n tree 42)
 
+  let test_gen_no_shrink =
+    Test.make ~name:"sum list = 0"
+      (set_shrink Shrink.nil (list small_int))
+      (fun xs -> List.fold_left (+) 0 xs = 0)
+
   let tests = [
     (*test_fac_issue59;*)
     big_bound_issue59;
@@ -748,6 +753,7 @@ module Shrink = struct
     (*list_equal_dupl;*)
     list_unique_elems;
     tree_contains_only_42;
+    test_gen_no_shrink;
   ]
 end