Update string shrinker output to improved behaviour

c-cube · May 2, 2023 · db031b5 · db031b5
1 parent 65cab91
commit db031b5
Showing 1 changed file with 18 additions and 21 deletions.
diff --git a/test/core/QCheck_unit_tests.ml b/test/core/QCheck_unit_tests.ml
@@ -85,28 +85,25 @@ module Shrink = struct
     List.iter (alco_check Alcotest.string (trace_false Shrink.string) "on repeated failure")
       [ ("string \"\"",     "",     []);
         ("string \"a\"",    "a",    [""]);
-        ("string \"aa\"",   "aa",   [""; "a"; "a"]);
-        ("string \"aaaa\"", "aaaa", ["aa"; "aa"; "aaa"; "aaa"]);
-        ("string \"abcd\"", "abcd", ["ab"; "cd"; "acd"; "bcd"; "aacd"; "abbd"; "abcc"; "abcc"]);
-        ("string \"E'*\"",  "E'*",  ["E'"; "*"; "E*"; "'*"; "S'*"; "L'*"; "H'*"; "F'*"; "F'*";
-                                     "ED*"; "E5*"; "E.*"; "E**"; "E(*"; "E(*"; "E'E"; "E'7";
-                                     "E'0"; "E'-"; "E'+"; "E'+"]);
+        ("string \"aa\"",   "aa",   [""; "a"]);
+        ("string \"aaaa\"", "aaaa", ["aa"; "aa"; "aaa"]);
+        ("string \"abcd\"", "abcd", ["ab"; "cd"; "acd"; "bcd"; "aacd"; "abbd"; "abcc"]);
+        ("string \"E'*\"",  "E'*",  ["E'"; "*"; "E*"; "'*"; "S'*"; "L'*"; "H'*"; "F'*"; "ED*";
+                                     "E5*"; "E.*"; "E**"; "E(*"; "E'E"; "E'7"; "E'0"; "E'-"; "E'+"]);
         ("string \"vi5x92xgG\"", "vi5x92xgG", (* A less exhaustive string shrinker would be preferable *)
-         ["vi5x9"; "vi52xgG"; "vix92xgG"; "5x92xgG"; "v5x92xgG";
-               "i5x92xgG"; "li5x92xgG"; "qi5x92xgG"; "ti5x92xgG";
-               "ui5x92xgG"; "ve5x92xgG"; "vg5x92xgG"; "vh5x92xgG";
-               "viKx92xgG"; "vi@x92xgG"; "vi:x92xgG"; "vi7x92xgG";
-               "vi6x92xgG"; "vi5m92xgG"; "vi5s92xgG"; "vi5v92xgG";
-               "vi5w92xgG"; "vi5xM2xgG"; "vi5xC2xgG"; "vi5x>2xgG";
-               "vi5x;2xgG"; "vi5x:2xgG"; "vi5x9IxgG"; "vi5x9=xgG";
-               "vi5x97xgG"; "vi5x94xgG"; "vi5x93xgG"; "vi5x92mgG";
-               "vi5x92sgG"; "vi5x92vgG"; "vi5x92wgG"; "vi5x92xdG";
-               "vi5x92xfG"; "vi5x92xfG"; "vi5x92xgT"; "vi5x92xgM";
-               "vi5x92xgJ"; "vi5x92xgH"; "vi5x92xgH"]);
-        ("string \"~~~~\"", "~~~~", ["~~"; "~~"; "~~~"; "~~~"; "p~~~"; "w~~~"; "{~~~"; "}~~~";
-                                     "}~~~"; "~p~~"; "~w~~"; "~{~~"; "~}~~"; "~}~~"; "~~p~";
-                                     "~~w~"; "~~{~"; "~~}~"; "~~}~"; "~~~p"; "~~~w"; "~~~{";
-                                     "~~~}"; "~~~}"]); ];
+         ["vi5x9"; "vi52xgG"; "vix92xgG"; "5x92xgG";
+          "v5x92xgG"; "i5x92xgG"; "li5x92xgG"; "qi5x92xgG"; "ti5x92xgG"; "ui5x92xgG";
+          "ve5x92xgG"; "vg5x92xgG"; "vh5x92xgG";
+          "viKx92xgG"; "vi@x92xgG"; "vi:x92xgG"; "vi7x92xgG"; "vi6x92xgG";
+          "vi5m92xgG"; "vi5s92xgG"; "vi5v92xgG"; "vi5w92xgG";
+          "vi5xM2xgG"; "vi5xC2xgG"; "vi5x>2xgG"; "vi5x;2xgG"; "vi5x:2xgG";
+          "vi5x9IxgG"; "vi5x9=xgG"; "vi5x97xgG"; "vi5x94xgG"; "vi5x93xgG";
+          "vi5x92mgG"; "vi5x92sgG"; "vi5x92vgG"; "vi5x92wgG";
+          "vi5x92xdG"; "vi5x92xfG";
+          "vi5x92xgT"; "vi5x92xgM"; "vi5x92xgJ"; "vi5x92xgH"]);
+        ("string \"~~~~\"", "~~~~", ["~~"; "~~"; "~~~"; "p~~~"; "w~~~"; "{~~~"; "}~~~"; "~p~~";
+                                     "~w~~"; "~{~~"; "~}~~"; "~~p~"; "~~w~"; "~~{~"; "~~}~";
+                                     "~~~p"; "~~~w"; "~~~{"; "~~~}"]); ];
     List.iter (alco_check Alcotest.string (trace_true Shrink.string) "on repeated success")
       [ ("string \"\"",     "",     []);
         ("string \"a\"",    "a",    [""]);