From c2867abb56eb18ad9a1392aa14573f0f31bf4daa Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 6 Jul 2022 18:29:40 +0100 Subject: [PATCH 1/7] rewrite unit tests to disregard shrink count --- test/core/QCheck2_unit_tests.ml | 41 +++++++++++++++++++++---------- test/core/QCheck_unit_tests.ml | 43 ++++++++++++++++++++++----------- 2 files changed, 57 insertions(+), 27 deletions(-) diff --git a/test/core/QCheck2_unit_tests.ml b/test/core/QCheck2_unit_tests.ml index 6624fdd6..8328926b 100644 --- a/test/core/QCheck2_unit_tests.ml +++ b/test/core/QCheck2_unit_tests.ml @@ -237,29 +237,44 @@ module Check_exn = struct let test_fail_always () = let name = "will-always-fail" in - let counterex_str = "0 (after 2 shrink steps)" in - let run_test () = - check_exn QCheck2.(Test.make ~name ~print:Print.int Gen.int (fun _ -> false)) in - Alcotest.check_raises "Fail" (Test.Test_fail (name,[counterex_str])) run_test + try + check_exn QCheck2.(Test.make ~name ~print:Print.int Gen.int (fun _ -> false)); + Alcotest.failf "%s: Unexpected success" name + with + (Test.Test_fail (n,[c_ex_str])) -> + Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; + if not (Stdlib.String.starts_with ~prefix:"0" c_ex_str) + then + Alcotest.failf "%s: counter-example prefix. Received: \"%s\"" name c_ex_str let test_fail_random () = let name = "list is own reverse" in - let counterex_str = "[0; 1] (after 64 shrink steps)" in - let run_test () = + try check_exn QCheck2.(Test.make ~name ~print:Print.(list int) - Gen.(list int) (fun l -> List.rev l = l)) in - Alcotest.check_raises "Fail" (Test.Test_fail (name,[counterex_str])) run_test + Gen.(list int) (fun l -> List.rev l = l)); + Alcotest.failf "%s: Unexpected success" name + with + (Test.Test_fail (n,[c_ex_str])) -> + Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; + if not (Stdlib.String.starts_with ~prefix:"[0; 1]" c_ex_str) + then + Alcotest.failf "%s: counter-example prefix. Received \"%s\"" name c_ex_str exception MyError let test_error () = let name = "will-always-error" in - let counterex_str = "0 (after 2 shrink steps)" in - let run_test () = - let () = Printexc.record_backtrace false in (* for easier pattern-matching below *) - check_exn QCheck2.(Test.make ~name ~print:Print.int Gen.int (fun _ -> raise MyError)) in - Alcotest.check_raises "MyError" (Test.Test_error (name,counterex_str,MyError,"")) run_test + try + Printexc.record_backtrace false; (* for easier pattern-matching below *) + check_exn QCheck2.(Test.make ~name ~print:Print.int Gen.int (fun _ -> raise MyError)); + Alcotest.failf "%s: Unexpected success" name + with + (Test.Test_error (n,c_ex_str,MyError,"")) -> + Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; + if not (Stdlib.String.starts_with ~prefix:"0" c_ex_str) + then + Alcotest.failf "%s: counter-example prefix. Received \"%s\"" name c_ex_str let tests = ("Test.check_exn", Alcotest.[ diff --git a/test/core/QCheck_unit_tests.ml b/test/core/QCheck_unit_tests.ml index 1e648ff4..9c150f35 100644 --- a/test/core/QCheck_unit_tests.ml +++ b/test/core/QCheck_unit_tests.ml @@ -106,28 +106,43 @@ module Check_exn = struct let test_fail_always () = let name = "will-always-fail" in - let counterex_str = "0 (after 63 shrink steps)" in - let run_test () = - check_exn QCheck.(Test.make ~name int (fun _ -> false)) in - Alcotest.check_raises "Fail" (Test.Test_fail (name,[counterex_str])) run_test + try + check_exn QCheck.(Test.make ~name int (fun _ -> false)); + Alcotest.failf "%s: Unexpected success" name + with + (Test.Test_fail (n,[c_ex_str])) -> + Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; + if not (Stdlib.String.starts_with ~prefix:"0" c_ex_str) + then + Alcotest.failf "%s: counter-example prefix. Received \"%s\"" name c_ex_str let test_fail_random () = let name = "list is own reverse" in - let counterex_str = "[0; 1] (after 123 shrink steps)" in - let run_test () = - check_exn - QCheck.(Test.make ~name (list int) (fun l -> List.rev l = l)) in - Alcotest.check_raises "Fail" (Test.Test_fail (name,[counterex_str])) run_test + try + check_exn QCheck.(Test.make ~name (list int) (fun l -> List.rev l = l)); + Alcotest.failf "%s: Unexpected success" name + with + (Test.Test_fail (n,[c_ex_str])) -> + Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; + if not (Stdlib.String.starts_with ~prefix:"[0; 1]" c_ex_str + || Stdlib.String.starts_with ~prefix:"[0; -1]" c_ex_str) + then + Alcotest.failf "%s: counter-example prefix. Received \"%s\"" name c_ex_str exception MyError let test_error () = let name = "will-always-error" in - let counterex_str = "0 (after 63 shrink steps)" in - let run_test () = - let () = Printexc.record_backtrace false in (* for easier pattern-matching below *) - check_exn QCheck.(Test.make ~name int (fun _ -> raise MyError)) in - Alcotest.check_raises "MyError" (Test.Test_error (name,counterex_str,MyError,"")) run_test + try + Printexc.record_backtrace false; (* for easier pattern-matching below *) + check_exn QCheck.(Test.make ~name int (fun _ -> raise MyError)); + Alcotest.failf "%s: Unexpected success" name + with + (Test.Test_error (n,c_ex_str,MyError,"")) -> + Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; + if not (Stdlib.String.starts_with ~prefix:"0" c_ex_str) + then + Alcotest.failf "%s: counter-example prefix. Received \"%s\"" name c_ex_str let tests = ("Test.check_exn", Alcotest.[ From 566d3e1ffb5d02325fb5788a9e15534fd3a3b9dd Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 6 Jul 2022 18:43:23 +0100 Subject: [PATCH 2/7] use backport of String.starts_with --- test/core/QCheck2_unit_tests.ml | 14 +++++++++++--- test/core/QCheck_unit_tests.ml | 15 +++++++++++---- 2 files changed, 22 insertions(+), 7 deletions(-) diff --git a/test/core/QCheck2_unit_tests.ml b/test/core/QCheck2_unit_tests.ml index 8328926b..36b8d8f9 100644 --- a/test/core/QCheck2_unit_tests.ml +++ b/test/core/QCheck2_unit_tests.ml @@ -224,6 +224,14 @@ end module Check_exn = struct + (* String.starts_with was introduced in 4.13. + Include the below to support pre-4.13 OCaml. *) + let string_starts_with ~prefix s = + let open Stdlib in + let prefix_len = String.length prefix in + prefix_len <= String.length s + && prefix = String.sub s 0 prefix_len + let check_exn = Test.check_exn let test_pass_trivial () = @@ -243,7 +251,7 @@ module Check_exn = struct with (Test.Test_fail (n,[c_ex_str])) -> Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; - if not (Stdlib.String.starts_with ~prefix:"0" c_ex_str) + if not (string_starts_with ~prefix:"0" c_ex_str) then Alcotest.failf "%s: counter-example prefix. Received: \"%s\"" name c_ex_str @@ -257,7 +265,7 @@ module Check_exn = struct with (Test.Test_fail (n,[c_ex_str])) -> Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; - if not (Stdlib.String.starts_with ~prefix:"[0; 1]" c_ex_str) + if not (string_starts_with ~prefix:"[0; 1]" c_ex_str) then Alcotest.failf "%s: counter-example prefix. Received \"%s\"" name c_ex_str @@ -272,7 +280,7 @@ module Check_exn = struct with (Test.Test_error (n,c_ex_str,MyError,"")) -> Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; - if not (Stdlib.String.starts_with ~prefix:"0" c_ex_str) + if not (string_starts_with ~prefix:"0" c_ex_str) then Alcotest.failf "%s: counter-example prefix. Received \"%s\"" name c_ex_str diff --git a/test/core/QCheck_unit_tests.ml b/test/core/QCheck_unit_tests.ml index 9c150f35..c0d64011 100644 --- a/test/core/QCheck_unit_tests.ml +++ b/test/core/QCheck_unit_tests.ml @@ -93,6 +93,13 @@ end module Check_exn = struct + (* String.starts_with was introduced in 4.13. + Include the below to support pre-4.13 OCaml. *) + let string_starts_with ~prefix s = + let prefix_len = String.length prefix in + prefix_len <= String.length s + && prefix = String.sub s 0 prefix_len + let check_exn = Test.check_exn let test_pass_trivial () = @@ -112,7 +119,7 @@ module Check_exn = struct with (Test.Test_fail (n,[c_ex_str])) -> Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; - if not (Stdlib.String.starts_with ~prefix:"0" c_ex_str) + if not (string_starts_with ~prefix:"0" c_ex_str) then Alcotest.failf "%s: counter-example prefix. Received \"%s\"" name c_ex_str @@ -124,8 +131,8 @@ module Check_exn = struct with (Test.Test_fail (n,[c_ex_str])) -> Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; - if not (Stdlib.String.starts_with ~prefix:"[0; 1]" c_ex_str - || Stdlib.String.starts_with ~prefix:"[0; -1]" c_ex_str) + if not (string_starts_with ~prefix:"[0; 1]" c_ex_str + || string_starts_with ~prefix:"[0; -1]" c_ex_str) then Alcotest.failf "%s: counter-example prefix. Received \"%s\"" name c_ex_str @@ -140,7 +147,7 @@ module Check_exn = struct with (Test.Test_error (n,c_ex_str,MyError,"")) -> Alcotest.(check string) (Printf.sprintf "%s: name" name) n name; - if not (Stdlib.String.starts_with ~prefix:"0" c_ex_str) + if not (string_starts_with ~prefix:"0" c_ex_str) then Alcotest.failf "%s: counter-example prefix. Received \"%s\"" name c_ex_str From 40882df416c885181791472f2a38367909439128 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 6 Jul 2022 18:46:27 +0100 Subject: [PATCH 3/7] update alcotest expect test --- example/alcotest/dune | 15 +++- example/alcotest/output.txt.expected.32 | 80 +++++++++++++++++++ ...ut.txt.expected => output.txt.expected.64} | 0 3 files changed, 91 insertions(+), 4 deletions(-) create mode 100644 example/alcotest/output.txt.expected.32 rename example/alcotest/{output.txt.expected => output.txt.expected.64} (100%) diff --git a/example/alcotest/dune b/example/alcotest/dune index aebb720f..352a7285 100644 --- a/example/alcotest/dune +++ b/example/alcotest/dune @@ -1,3 +1,6 @@ +(* -*- tuareg -*- *) + +let dune = Printf.sprintf {| (executable (name QCheck_alcotest_test) @@ -6,18 +9,22 @@ (rule (targets output.txt) (deps ./QCheck_alcotest_test.exe) - (enabled_if (= %{os_type} "Unix")) + (enabled_if (= %%{os_type} "Unix")) (action (with-accepted-exit-codes 1 (setenv QCHECK_SEED 1234 (with-stdout-to - %{targets} + %%{targets} (run ./run_alcotest.sh --color=never)))))) (rule (alias runtest) (package qcheck-alcotest) - (enabled_if (= %{os_type} "Unix")) - (action (diff output.txt.expected output.txt))) + (enabled_if (= %%{os_type} "Unix")) + (action (diff output.txt.expected.%i output.txt))) + +|} Sys.word_size + +let () = Jbuild_plugin.V1.send dune diff --git a/example/alcotest/output.txt.expected.32 b/example/alcotest/output.txt.expected.32 new file mode 100644 index 00000000..634312ae --- /dev/null +++ b/example/alcotest/output.txt.expected.32 @@ -0,0 +1,80 @@ +qcheck random seed: 1234 +Testing `my test'. + [OK] suite 0 list_rev_is_involutive. + [FAIL] suite 1 fail_sort_id. + [FAIL] suite 2 error_raise_exn. + [OK] suite 3 neg test pass (failing as expected). + [FAIL] suite 4 neg test unexpected success. + [FAIL] suite 5 neg fail with error. + [FAIL] suite 6 fail_check_err_message. + [OK] suite 7 tree_rev_is_involutive. + [FAIL] shrinking 0 debug_shrink. +┌──────────────────────────────────────────────────────────────────────────────┐ +│ [FAIL] suite 1 fail_sort_id. │ +└──────────────────────────────────────────────────────────────────────────────┘ +test `fail_sort_id` failed on ≥ 1 cases: [1; 0] (after 11 shrink steps) +[exception] test `fail_sort_id` failed on ≥ 1 cases: [1; 0] (after 11 shrink steps) + ────────────────────────────────────────────────────────────────────────────── +┌──────────────────────────────────────────────────────────────────────────────┐ +│ [FAIL] suite 2 error_raise_exn. │ +└──────────────────────────────────────────────────────────────────────────────┘ +test `error_raise_exn` +raised exception `Error` +on `0 (after 31 shrink steps)` +[exception] test `error_raise_exn` +raised exception `Error` +on `0 (after 31 shrink steps)` + ────────────────────────────────────────────────────────────────────────────── +┌──────────────────────────────────────────────────────────────────────────────┐ +│ [FAIL] suite 4 neg test unexpected success. │ +└──────────────────────────────────────────────────────────────────────────────┘ +negative test 'neg test unexpected success' succeeded unexpectedly +ASSERT negative test 'neg test unexpected success' succeeded unexpectedly +FAIL negative test 'neg test unexpected success' succeeded unexpectedly + ────────────────────────────────────────────────────────────────────────────── +┌──────────────────────────────────────────────────────────────────────────────┐ +│ [FAIL] suite 5 neg fail with error. │ +└──────────────────────────────────────────────────────────────────────────────┘ +test `neg fail with error` +raised exception `Error` +on `0 (after 7 shrink steps)` +[exception] test `neg fail with error` +raised exception `Error` +on `0 (after 7 shrink steps)` + ────────────────────────────────────────────────────────────────────────────── +┌──────────────────────────────────────────────────────────────────────────────┐ +│ [FAIL] suite 6 fail_check_err_message. │ +└──────────────────────────────────────────────────────────────────────────────┘ +test `fail_check_err_message` failed on ≥ 1 cases: +0 (after 7 shrink steps) +this +will +always +fail +[exception] test `fail_check_err_message` failed on ≥ 1 cases: +0 (after 7 shrink steps) +this +will +always +fail + ────────────────────────────────────────────────────────────────────────────── +┌──────────────────────────────────────────────────────────────────────────────┐ +│ [FAIL] shrinking 0 debug_shrink. │ +└──────────────────────────────────────────────────────────────────────────────┘ +~~~ Shrink ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test debug_shrink successfully shrunk counter example (step 0) to: +(3, 1) +~~~ Shrink ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test debug_shrink successfully shrunk counter example (step 1) to: +(2, 1) +~~~ Shrink ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test debug_shrink successfully shrunk counter example (step 2) to: +(2, 0) +~~~ Shrink ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test debug_shrink successfully shrunk counter example (step 3) to: +(1, 0) +law debug_shrink: 2 relevant cases (2 total) +test `debug_shrink` failed on ≥ 1 cases: (1, 0) (after 3 shrink steps) +[exception] test `debug_shrink` failed on ≥ 1 cases: (1, 0) (after 3 shrink steps) + ────────────────────────────────────────────────────────────────────────────── +6 failures! 9 tests run. diff --git a/example/alcotest/output.txt.expected b/example/alcotest/output.txt.expected.64 similarity index 100% rename from example/alcotest/output.txt.expected rename to example/alcotest/output.txt.expected.64 From a63f9c329ace39190def3be134e7b66c851ad0f6 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 6 Jul 2022 18:47:22 +0100 Subject: [PATCH 4/7] update ounit expect test --- example/ounit/dune | 15 +++-- example/ounit/output.txt.expected.32 | 65 +++++++++++++++++++ ...ut.txt.expected => output.txt.expected.64} | 0 3 files changed, 76 insertions(+), 4 deletions(-) create mode 100644 example/ounit/output.txt.expected.32 rename example/ounit/{output.txt.expected => output.txt.expected.64} (100%) diff --git a/example/ounit/dune b/example/ounit/dune index 86554a74..bed0bfc6 100644 --- a/example/ounit/dune +++ b/example/ounit/dune @@ -1,3 +1,6 @@ +(* -*- tuareg -*- *) + +let dune = Printf.sprintf {| (executables (names QCheck_ounit_test QCheck_test) @@ -6,16 +9,20 @@ (rule (targets output.txt) (deps ./QCheck_ounit_test.exe) - (enabled_if (= %{os_type} "Unix")) + (enabled_if (= %%{os_type} "Unix")) (action (with-accepted-exit-codes 1 (with-stdout-to - %{targets} + %%{targets} (run ./run_ounit.sh -runner=sequential -seed 1234))))) (rule (alias runtest) (package qcheck-ounit) - (enabled_if (= %{os_type} "Unix")) - (action (diff output.txt.expected output.txt))) + (enabled_if (= %%{os_type} "Unix")) + (action (diff output.txt.expected.%i output.txt))) + +|} Sys.word_size + +let () = Jbuild_plugin.V1.send dune diff --git a/example/ounit/output.txt.expected.32 b/example/ounit/output.txt.expected.32 new file mode 100644 index 00000000..0ead3a2a --- /dev/null +++ b/example/ounit/output.txt.expected.32 @@ -0,0 +1,65 @@ +.FE.FEF. +============================================================================== +Error: tests:5:neg fail with error. + +Error: tests:5:neg fail with error (in the log). + + +test `neg fail with error` +raised exception `Dune__exe__QCheck_ounit_test.Error` +on `0 (after 7 shrink steps)` + +------------------------------------------------------------------------------ +============================================================================== +Error: tests:2:error_raise_exn. + +Error: tests:2:error_raise_exn (in the log). + + +test `error_raise_exn` raised exception `Dune__exe__QCheck_ounit_test.Error` +on `0 (after 31 shrink steps)` + +------------------------------------------------------------------------------ +============================================================================== +Error: tests:6:fail_check_err_message. + +Error: tests:6:fail_check_err_message (in the log). + +Error: tests:6:fail_check_err_message (in the code). + + +test `fail_check_err_message` failed on ≥ 1 cases: +0 (after 7 shrink steps) +this +will +always +fail + + + +------------------------------------------------------------------------------ +============================================================================== +Error: tests:4:neg test unexpected success. + +Error: tests:4:neg test unexpected success (in the log). + +Error: tests:4:neg test unexpected success (in the code). + + +negative test 'neg test unexpected success' succeeded unexpectedly + +------------------------------------------------------------------------------ +============================================================================== +Error: tests:1:fail_sort_id. + +Error: tests:1:fail_sort_id (in the log). + +Error: tests:1:fail_sort_id (in the code). + + +test `fail_sort_id` failed on ≥ 1 cases: [1; 0] (after 11 shrink steps) + + +------------------------------------------------------------------------------ +Ran: 8 tests in: seconds. +FAILED: Cases: 8 Tried: 8 Errors: 2 Failures: 3 Skip: 0 Todo: 0 Timeouts: 0. diff --git a/example/ounit/output.txt.expected b/example/ounit/output.txt.expected.64 similarity index 100% rename from example/ounit/output.txt.expected rename to example/ounit/output.txt.expected.64 From 0cf26644e9c6b821ed14ccdba6de59e449995c62 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 6 Jul 2022 18:48:33 +0100 Subject: [PATCH 5/7] update qcheck-core example expect test --- example/dune | 15 +- example/output.txt.expected.32 | 333 ++++++++++++++++++ ...ut.txt.expected => output.txt.expected.64} | 0 3 files changed, 344 insertions(+), 4 deletions(-) create mode 100644 example/output.txt.expected.32 rename example/{output.txt.expected => output.txt.expected.64} (100%) diff --git a/example/dune b/example/dune index fe4b2715..66c5c28d 100644 --- a/example/dune +++ b/example/dune @@ -1,3 +1,6 @@ +(* -*- tuareg -*- *) + +let dune = Printf.sprintf {| (executables (names QCheck_runner_test) @@ -6,16 +9,20 @@ (rule (targets output.txt) (deps ./QCheck_runner_test.exe) - (enabled_if (= %{os_type} "Unix")) + (enabled_if (= %%{os_type} "Unix")) (action (with-accepted-exit-codes 1 (with-stdout-to - %{targets} + %%{targets} (run ./QCheck_runner_test.exe --no-colors -s 1234))))) (rule (alias runtest) - (enabled_if (= %{os_type} "Unix")) + (enabled_if (= %%{os_type} "Unix")) (package qcheck) - (action (diff output.txt.expected output.txt))) + (action (diff output.txt.expected.%i output.txt))) + +|} Sys.word_size + +let () = Jbuild_plugin.V1.send dune diff --git a/example/output.txt.expected.32 b/example/output.txt.expected.32 new file mode 100644 index 00000000..5eb9e10c --- /dev/null +++ b/example/output.txt.expected.32 @@ -0,0 +1,333 @@ +random seed: 1234 + +--- Failure -------------------------------------------------------------------- + +Test should_fail_sort_id failed (13 shrink steps): + +[1; 0] + +=== Error ====================================================================== + +Test should_error_raise_exn errored on (31 shrink steps): + +0 + +exception Dune__exe__QCheck_runner_test.Error + + ++++ Collect ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +Collect results for test collect_results: + +4: 20 cases +3: 25 cases +2: 17 cases +1: 18 cases +0: 20 cases + ++++ Stats for with_stats ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats mod4: + num: 100, avg: 1.68, stddev: 1.09, median 2, min 0, max 3 + 0: ############################## 17 + 1: ################################################### 29 + 2: ######################################## 23 + 3: ####################################################### 31 + +stats num: + num: 100, avg: 66.84, stddev: 31.94, median 65, min 2, max 120 + 2.. 7: ################## 3 + 8.. 13: ################## 3 + 14.. 19: 0 + 20.. 25: ########################################## 7 + 26.. 31: ######################## 4 + 32.. 37: ######################## 4 + 38.. 43: ################## 3 + 44.. 49: ################################################ 8 + 50.. 55: #################################### 6 + 56.. 61: #################################### 6 + 62.. 67: ####################################################### 9 + 68.. 73: ########################################## 7 + 74.. 79: ######################## 4 + 80.. 85: ################## 3 + 86.. 91: ############ 2 + 92.. 97: ########################################## 7 + 98..103: #################################### 6 + 104..109: #################################### 6 + 110..115: ####################################################### 9 + 116..121: ################## 3 + +--- Failure -------------------------------------------------------------------- + +Test neg test unexpected success failed: + +Negative test neg test unexpected success succeeded but was expected to fail + +=== Error ====================================================================== + +Test neg fail with error errored on (7 shrink steps): + +0 + +exception Dune__exe__QCheck_runner_test.Error + + +--- Failure -------------------------------------------------------------------- + +Test FAIL_pred_map_commute failed (47 shrink steps): + +([1], {_ -> 0}, {0 -> false; _ -> true}) + +--- Failure -------------------------------------------------------------------- + +Test FAIL_fun2_pred_strings failed (1 shrink steps): + +{some other string -> false; _ -> true} + +--- Failure -------------------------------------------------------------------- + +Test fold_left fold_right failed (34 shrink steps): + +(0, [1], {(1, 0) -> 1; _ -> 0}) + ++++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +Messages for test fold_left fold_right: + +l=[1], fold_left=1, fold_right=0 + + +--- Failure -------------------------------------------------------------------- + +Test fold_left fold_right uncurried failed (44 shrink steps): + +({(0, 7) -> 1; _ -> 0}, 0, [7]) + +--- Failure -------------------------------------------------------------------- + +Test long_shrink failed (87 shrink steps): + +([0], [-1]) + +--- Failure -------------------------------------------------------------------- + +Test mod3_should_fail failed (34 shrink steps): + +-21 + ++++ Stats for stats_neg ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 5000, avg: 0.17, stddev: 29.68, median 0, min -99, max 99 + -99..-90: # 65 + -89..-80: # 63 + -79..-70: # 64 + -69..-60: # 58 + -59..-50: # 67 + -49..-40: # 72 + -39..-30: # 61 + -29..-20: # 61 + -19..-10: # 67 + -9.. 0: ####################################################### 2076 + 1.. 10: ############################################## 1764 + 11.. 20: # 66 + 21.. 30: # 64 + 31.. 40: # 64 + 41.. 50: # 67 + 51.. 60: # 60 + 61.. 70: # 75 + 71.. 80: # 60 + 81.. 90: # 60 + 91..100: # 66 + +!!! Warning !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! + +Warning for test WARN_unlikely_precond: + +WARNING: only 0.6% tests (of 2000) passed precondition for "WARN_unlikely_precond" + +NOTE: it is likely that the precondition is too strong, or that the generator is buggy. + +--- Failure -------------------------------------------------------------------- + +Test FAIL_unlikely_precond failed: + +ERROR: only 0.6% tests (of 2000) passed precondition for "FAIL_unlikely_precond" + +NOTE: it is likely that the precondition is too strong, or that the generator is buggy. + + +--- Failure -------------------------------------------------------------------- + +Test FAIL_#99_1 failed: + +ERROR: uncaught exception in generator for test FAIL_#99_1 after 100 steps: +Exception: QCheck.No_example_found("") +Backtrace: + ++++ Stats for stat_display_test_1 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 0.90, stddev: 28.23, median 0, min -99, max 99 + -99..-90: # 12 + -89..-80: # 11 + -79..-70: # 9 + -69..-60: 6 + -59..-50: # 11 + -49..-40: # 13 + -39..-30: # 9 + -29..-20: # 13 + -19..-10: 8 + -9.. 0: ####################################################### 453 + 1.. 10: ######################################### 340 + 11.. 20: # 15 + 21.. 30: # 11 + 31.. 40: # 12 + 41.. 50: # 13 + 51.. 60: # 13 + 61.. 70: # 16 + 71.. 80: # 9 + 81.. 90: # 16 + 91..100: # 10 + ++++ Stats for stat_display_test_2 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 15.11, stddev: 23.27, median 6, min 0, max 99 + 0.. 4: #################################################### 377 + 5.. 9: ####################################################### 392 + 10.. 14: ## 20 + 15.. 19: ## 15 + 20.. 24: # 11 + 25.. 29: ## 17 + 30.. 34: ## 19 + 35.. 39: ## 17 + 40.. 44: # 10 + 45.. 49: # 9 + 50.. 54: # 8 + 55.. 59: # 9 + 60.. 64: ## 15 + 65.. 69: # 10 + 70.. 74: # 13 + 75.. 79: ## 19 + 80.. 84: # 11 + 85.. 89: # 13 + 90.. 94: 5 + 95.. 99: # 10 + ++++ Stats for stat_display_test_3 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 195335.64, stddev: 136803.99, median 195583, min -43624, max 435210 + -43624..-19683: ############################################ 52 + -19682.. 4259: ######################################## 47 + 4260.. 28201: ############################## 36 + 28202.. 52143: ############################################ 52 + 52144.. 76085: ########################################## 50 + 76086..100027: ####################################################### 64 + 100028..123969: ############################################### 55 + 123970..147911: ######################################## 47 + 147912..171853: ############################################## 54 + 171854..195795: #################################### 43 + 195796..219737: ############################################## 54 + 219738..243679: ########################################### 51 + 243680..267621: ################################################ 57 + 267622..291563: ########################################## 49 + 291564..315505: #################################### 42 + 315506..339447: ###################################### 45 + 339448..363389: ################################################ 57 + 363390..387331: ###################################### 45 + 387332..411273: ########################################## 49 + 411274..435215: ########################################### 51 + ++++ Stats for stat_display_test_4 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: -173.78, stddev: 23042.92, median 180, min -39859, max 39942 + -39859..-35869: ############################################# 56 + -35868..-31878: ################################### 43 + -31877..-27887: ################################################# 60 + -27886..-23896: ##################################### 46 + -23895..-19905: ######################################## 49 + -19904..-15914: #################################### 45 + -15913..-11923: ############################################ 54 + -11922.. -7932: ############################################### 58 + -7931.. -3941: ######################################### 51 + -3940.. 50: ############################ 35 + 51.. 4041: ####################################### 48 + 4042.. 8032: ########################################## 52 + 8033.. 12023: ######################################### 51 + 12024.. 16014: ########################################### 53 + 16015.. 20005: ############################################ 54 + 20006.. 23996: ################################## 42 + 23997.. 27987: ####################################################### 67 + 27988.. 31978: ################################ 40 + 31979.. 35969: ######################################### 51 + 35970.. 39960: #################################### 45 + ++++ Stats for stat_display_test_5 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 0.02, stddev: 2.55, median 0, min -4, max 4 + -4: ############################################ 99 + -3: ##################################################### 118 + -2: ################################################## 111 + -1: ################################################## 113 + 0: ################################################## 113 + 1: ##################################################### 118 + 2: ############################################# 102 + 3: ####################################################### 122 + 4: ############################################## 104 + ++++ Stats for stat_display_test_6 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 6.67, stddev: 6.39, median 7, min -4, max 17 + -4..-3: ############################################# 90 + -2..-1: ############################################# 91 + 0.. 1: ########################################## 84 + 2.. 3: ############################################## 92 + 4.. 5: ########################################### 87 + 6.. 7: ########################################### 86 + 8.. 9: ############################################ 89 + 10..11: ########################################### 87 + 12..13: ####################################################### 110 + 14..15: ############################################# 91 + 16..17: ############################################## 93 + 18..19: 0 + 20..21: 0 + 22..23: 0 + 24..25: 0 + 26..27: 0 + 28..29: 0 + 30..31: 0 + 32..33: 0 + 34..35: 0 + ++++ Stats for stat_display_test_7 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 100000, avg: 336840.90, stddev: 619301756.02, median 895228, min -1073728193, max 1073739280 + -1073728193.. -966354820: ##################################################### 5009 + -966354819.. -858981446: #################################################### 5004 + -858981445.. -751608072: #################################################### 4917 + -751608071.. -644234698: ##################################################### 5028 + -644234697.. -536861324: #################################################### 4962 + -536861323.. -429487950: ##################################################### 5039 + -429487949.. -322114576: #################################################### 4927 + -322114575.. -214741202: ##################################################### 5054 + -214741201.. -107367828: ##################################################### 5065 + -107367827.. 5546: #################################################### 4954 + 5547.. 107378920: #################################################### 4943 + 107378921.. 214752294: ################################################### 4900 + 214752295.. 322125668: ###################################################### 5126 + 322125669.. 429499042: ####################################################### 5198 + 429499043.. 536872416: #################################################### 4988 + 536872417.. 644245790: #################################################### 4940 + 644245791.. 751619164: #################################################### 5002 + 751619165.. 858992538: #################################################### 4928 + 858992539.. 966365912: ##################################################### 5070 + 966365913.. 1073739286: #################################################### 4946 +================================================================================ +1 warning(s) +failure (10 tests failed, 2 tests errored, ran 28 tests) diff --git a/example/output.txt.expected b/example/output.txt.expected.64 similarity index 100% rename from example/output.txt.expected rename to example/output.txt.expected.64 From d5622bc85e9483c2b1104742ed52b97bd774d957 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 6 Jul 2022 18:50:15 +0100 Subject: [PATCH 6/7] update QCheck+QCheck2 expect tests --- test/core/QCheck2_expect_test.expected.32 | 1293 +++++++++++++++++ ...pected => QCheck2_expect_test.expected.64} | 0 test/core/QCheck_expect_test.expected.32 | 1289 ++++++++++++++++ ...xpected => QCheck_expect_test.expected.64} | 0 test/core/dune | 38 +- 5 files changed, 2616 insertions(+), 4 deletions(-) create mode 100644 test/core/QCheck2_expect_test.expected.32 rename test/core/{QCheck2_expect_test.expected => QCheck2_expect_test.expected.64} (100%) create mode 100644 test/core/QCheck_expect_test.expected.32 rename test/core/{QCheck_expect_test.expected => QCheck_expect_test.expected.64} (100%) diff --git a/test/core/QCheck2_expect_test.expected.32 b/test/core/QCheck2_expect_test.expected.32 new file mode 100644 index 00000000..157dcbf4 --- /dev/null +++ b/test/core/QCheck2_expect_test.expected.32 @@ -0,0 +1,1293 @@ +random seed: 1234 +50 7 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 5 5 5 5 5 5 5 5 5 5 6 6 6 6 6 6 6 6 6 6 (6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +911769578 +0 +455884789 +0 +227942394 +0 +113971197 +0 +56985598 +0 +28492799 +0 +14246399 +0 +7123199 +0 +3561599 +0 +1780799 +0 +890399 +0 +445199 +0 +222599 +0 +111299 +0 +55649 +0 +27824 +0 +13912 +0 +6956 +0 +3478 +0 +1739 +0 +869 +0 +434 +0 +217 +0 +108 +0 +54 +0 +27 +0 +13 +0 +6 +0 +3 +0 +1 +0 +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4; 2; 37; 3; 8; 4; 31; 6; 2; 1; 0; 7; 5; 1; 0; 15; 6; 1; 8; 13; 0; 6; 2; 4; 2; 6; 6; 1; 4; 1; 9; 79; 0; 87; 6; 8; 8; 62; 1; 4; 62; 6; 31; 1; 5; 6; 5; 9; 3; 3; 1; 79; 4; 3; 2; 67; 5; 7; 12; 70; 8; 8; 6; 1; 3; 14; 15; 1; 61; 4; 1; 4; 1; 7; 4; 4; 4; 2; 8; 8; 7; 5; 4; 27; 0; 9; 80; 25; 1; 8; 1; 3; 7; 4; 3; 5; 5; 6; 5; 5; 31; 7; 0; 3; 3; 6; 71; 76; 28; 60; 6; 2; 6; 3; 0; 4; 1; 0; 5; 7; 0; 28; 86; 4; 7; 51; 36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] +[] +[9; 61; 8; 4; 69; 2; 0; 72; 4; 41; 3; 8; 75; 83; 7; 7; 3; 9; 5; 8; 4; 1; 0; 2; 1; 4; 7; 6; 2; 1; 4; 86; 3; 79; 7; 86; 52; 39; 19; 0; 4; 7; 7; 7; 0; 4; 8; 8; 0; 5; 13; 1; 5; 0; 7; 12; 64; 34; 1; 1; 85; 8; 2; 9; 76; 0; 2; 5; 76; 69; 8; 8; 0; 1; 2; 2; 4; 60; 29; 5; 9; 4; 0; 8; 3; 3; 5; 1; 35; 8; 2; 7; 23; 61; 56; 8; 1; 1; 78; 7; 5; 0; 30; 9; 3; 7; 28; 57; 98; 3; 52; 3; 82; 7; 5; 5; 6; 8; 1; 6; 8; 9; 8; 16; 0] +[] +[1; 9; 8; 28; 47; 8; 5; 6; 8; 9; 2; 5; 8; 30; 6; 8; 84; 0; 6; 7; 76; 7; 9; 1; 0; 5; 76; 95; 2; 2; 1; 45; 7; 8; 8; 1; 6; 37; 5; 6; 73; 8; 0; 85; 8; 0; 4; 5; 2; 0; 26; 59; 0; 5; 13; 4; 7; 3; 6; 8; 1; 3] +[] +[5; 0; 0; 4; 10; 2; 4; 9; 5; 73; 6; 1; 5; 5; 3; 10; 5; 31; 1; 4; 3; 8; 9; 13; 41; 20; 96; 5; 1; 2; 8] +[] +[9; 8; 73; 5; 8; 2; 1; 8; 2; 6; 4; 18; 5; 76; 3] +[] +[0; 6; 2; 8; 8; 1; 4] +[] +[5; 2; 3] +[] +[3] +[] +[0] +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4; 2; 37; 3; 8; 4; 31; 6; 2; 1; 0; 7; 5; 1; 0; 15; 6; 1; 8; 13; 0; 6; 2; 4; 2; 6; 6; 1; 4; 1; 9; 79; 0; 87; 6; 8; 8; 62; 1; 4; 62; 6; 31; 1; 5; 6; 5; 9; 3; 3; 1; 79; 4; 3; 2; 67; 5; 7; 12; 70; 8; 8; 6; 1; 3; 14; 15; 1; 61; 4; 1; 4; 1; 7; 4; 4; 4; 2; 8; 8; 7; 5; 4; 27; 0; 9; 80; 25; 1; 8; 1; 3; 7; 4; 3; 5; 5; 6; 5; 5; 31; 7; 0; 3; 3; 6; 71; 76; 28; 60; 6; 2; 6; 3; 0; 4; 1; 0; 5; 7; 0; 28; 86; 4; 7; 51; 36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] +[] +[9; 61; 8; 4; 69; 2; 0; 72; 4; 41; 3; 8; 75; 83; 7; 7; 3; 9; 5; 8; 4; 1; 0; 2; 1; 4; 7; 6; 2; 1; 4; 86; 3; 79; 7; 86; 52; 39; 19; 0; 4; 7; 7; 7; 0; 4; 8; 8; 0; 5; 13; 1; 5; 0; 7; 12; 64; 34; 1; 1; 85; 8; 2; 9; 76; 0; 2; 5; 76; 69; 8; 8; 0; 1; 2; 2; 4; 60; 29; 5; 9; 4; 0; 8; 3; 3; 5; 1; 35; 8; 2; 7; 23; 61; 56; 8; 1; 1; 78; 7; 5; 0; 30; 9; 3; 7; 28; 57; 98; 3; 52; 3; 82; 7; 5; 5; 6; 8; 1; 6; 8; 9; 8; 16; 0] +[] +[1; 9; 8; 28; 47; 8; 5; 6; 8; 9; 2; 5; 8; 30; 6; 8; 84; 0; 6; 7; 76; 7; 9; 1; 0; 5; 76; 95; 2; 2; 1; 45; 7; 8; 8; 1; 6; 37; 5; 6; 73; 8; 0; 85; 8; 0; 4; 5; 2; 0; 26; 59; 0; 5; 13; 4; 7; 3; 6; 8; 1; 3] +[] +[5; 0; 0; 4; 10; 2; 4; 9; 5; 73; 6; 1; 5; 5; 3; 10; 5; 31; 1; 4; 3; 8; 9; 13; 41; 20; 96; 5; 1; 2; 8] +[] +[9; 8; 73; 5; 8; 2; 1; 8; 2; 6; 4; 18; 5; 76; 3] +[] +[0; 6; 2; 8; 8; 1; 4] +[] +[5; 2; 3] +[3; 2; 7; 3; 3] +[] +[5; 3] +[5; 3; 2] +[9; 87; 7; 0] +[0; 2; 7; 3; 3] +[0; 0; 7; 3; 3] +[0; 0; 0; 3; 3] +[0; 0; 0; 0; 3] +[0; 0; 0; 0; 0] + +--- Failure -------------------------------------------------------------------- + +Test should_fail_sort_id failed (9 shrink steps): + +[1; 0] + +=== Error ====================================================================== + +Test should_error_raise_exn errored on (1 shrink steps): + +0 + +exception QCheck2_tests.Overall.Error + + ++++ Collect ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +Collect results for test collect_results: + +4: 20 cases +3: 25 cases +2: 17 cases +1: 18 cases +0: 20 cases + ++++ Stats for with_stats ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats mod4: + num: 100, avg: 1.68, stddev: 1.09, median 2, min 0, max 3 + 0: ############################## 17 + 1: ################################################### 29 + 2: ######################################## 23 + 3: ####################################################### 31 + +stats num: + num: 100, avg: 66.84, stddev: 31.94, median 65, min 2, max 120 + 2.. 7: ################## 3 + 8.. 13: ################## 3 + 14.. 19: 0 + 20.. 25: ########################################## 7 + 26.. 31: ######################## 4 + 32.. 37: ######################## 4 + 38.. 43: ################## 3 + 44.. 49: ################################################ 8 + 50.. 55: #################################### 6 + 56.. 61: #################################### 6 + 62.. 67: ####################################################### 9 + 68.. 73: ########################################## 7 + 74.. 79: ######################## 4 + 80.. 85: ################## 3 + 86.. 91: ############ 2 + 92.. 97: ########################################## 7 + 98..103: #################################### 6 + 104..109: #################################### 6 + 110..115: ####################################################### 9 + 116..121: ################## 3 + +--- Failure -------------------------------------------------------------------- + +Test with shrinking retries failed (0 shrink steps): + +7 + +!!! Warning !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! + +Warning for test WARN_unlikely_precond: + +WARNING: only 0.6% tests (of 2000) passed precondition for "WARN_unlikely_precond" + +NOTE: it is likely that the precondition is too strong, or that the generator is buggy. + +--- Failure -------------------------------------------------------------------- + +Test FAIL_unlikely_precond failed: + +ERROR: only 0.6% tests (of 2000) passed precondition for "FAIL_unlikely_precond" + +NOTE: it is likely that the precondition is too strong, or that the generator is buggy. + + +--- Failure -------------------------------------------------------------------- + +Test FAIL_bad_gen failed: + +ERROR: uncaught exception in generator for test FAIL_bad_gen after 100 steps: +Exception: Invalid_argument("Gen.int_bound") +Backtrace: + +--- Failure -------------------------------------------------------------------- + +Test int double failed: + +Negative test int double succeeded but was expected to fail + +=== Error ====================================================================== + +Test pos fail with error errored on (1 shrink steps): + +0 + +exception QCheck2_tests.Overall.Error + + +=== Error ====================================================================== + +Test neg fail with error errored on (1 shrink steps): + +0 + +exception QCheck2_tests.Overall.Error + + +--- Failure -------------------------------------------------------------------- + +Test char never produces '\255' failed (0 shrink steps): + +'\255' + +--- Failure -------------------------------------------------------------------- + +Test big bound issue59 failed (0 shrink steps): + +1073741823 + +--- Failure -------------------------------------------------------------------- + +Test long_shrink failed (3018 shrink steps): + +([0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0], [0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 1]) + +--- Failure -------------------------------------------------------------------- + +Test ints arent 0 mod 3 failed (2 shrink steps): + +0 + +--- Failure -------------------------------------------------------------------- + +Test ints are 0 failed (29 shrink steps): + +1 + +--- Failure -------------------------------------------------------------------- + +Test ints < 209609 failed (0 shrink steps): + +1073741823 + +--- Failure -------------------------------------------------------------------- + +Test nat < 5001 failed (7 shrink steps): + +5001 + +--- Failure -------------------------------------------------------------------- + +Test char never produces 'abcdef' failed (1 shrink steps): + +'a' + +--- Failure -------------------------------------------------------------------- + +Test printable never produces '!"#$%&'' failed (1 shrink steps): + +'!' + +--- Failure -------------------------------------------------------------------- + +Test printable never produces less than '5 failed (1 shrink steps): + +'0' + +--- Failure -------------------------------------------------------------------- + +Test strings are empty failed (8 shrink steps): + +"a" + +--- Failure -------------------------------------------------------------------- + +Test string never has a \000 char failed (22 shrink steps): + +"aaaaaa\000aaaaaaaaaaaaaaaa" + +--- Failure -------------------------------------------------------------------- + +Test string never has a \255 char failed (59 shrink steps): + +"aaaaaaaaaaaaaaaaaaaaaaaaaa\255aaaaaaaaaaaaaaaaaaaaaaaa" + +--- Failure -------------------------------------------------------------------- + +Test strings have unique chars failed (18 shrink steps): + +"aaaaaaaaaaaaa" + +--- Failure -------------------------------------------------------------------- + +Test pairs have different components failed (0 shrink steps): + +(4, 4) + +--- Failure -------------------------------------------------------------------- + +Test pairs have same components failed (31 shrink steps): + +(0, 1) + +--- Failure -------------------------------------------------------------------- + +Test pairs have a zero component failed (58 shrink steps): + +(1, 1) + +--- Failure -------------------------------------------------------------------- + +Test pairs are (0,0) failed (31 shrink steps): + +(0, 1) + +--- Failure -------------------------------------------------------------------- + +Test pairs are ordered failed (43 shrink steps): + +(1, 0) + +--- Failure -------------------------------------------------------------------- + +Test pairs are ordered reversely failed (29 shrink steps): + +(0, 1) + +--- Failure -------------------------------------------------------------------- + +Test pairs sum to less than 128 failed (25 shrink steps): + +(0, 128) + +--- Failure -------------------------------------------------------------------- + +Test pairs lists rev concat failed (41 shrink steps): + +([0], [1]) + +--- Failure -------------------------------------------------------------------- + +Test pairs lists no overlap failed (27 shrink steps): + +([0], [0; 0; 0; 0]) + +--- Failure -------------------------------------------------------------------- + +Test triples have pair-wise different components failed (3 shrink steps): + +(0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test triples have same components failed (33 shrink steps): + +(0, 1, 0) + +--- Failure -------------------------------------------------------------------- + +Test triples are ordered failed (4 shrink steps): + +(0, -1, 0) + +--- Failure -------------------------------------------------------------------- + +Test triples are ordered reversely failed (33 shrink steps): + +(0, 0, 1) + +--- Failure -------------------------------------------------------------------- + +Test quadruples have pair-wise different components failed (4 shrink steps): + +(0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test quadruples have same components failed (61 shrink steps): + +(0, 1, 0, 1) + +--- Failure -------------------------------------------------------------------- + +Test quadruples are ordered failed (5 shrink steps): + +(0, 0, -1, 0) + +--- Failure -------------------------------------------------------------------- + +Test quadruples are ordered reversely failed (34 shrink steps): + +(0, 0, 0, 1) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b) in nat: a < b failed (6 shrink steps): + +(0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c) in nat: a < b < c failed (3 shrink steps): + +(0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d) in nat: a < b < c < d failed (4 shrink steps): + +(0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d, e) in nat: a < b < c < d < e failed (5 shrink steps): + +(0, 0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d, e, f) in nat: a < b < c < d < e < f failed (6 shrink steps): + +(0, 0, 0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d, e, f, g) in nat: a < b < c < d < e < f < g failed (7 shrink steps): + +(0, 0, 0, 0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d, e, f, g, h) in nat: a < b < c < d < e < f < g < h failed (8 shrink steps): + +(0, 0, 0, 0, 0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d, e, f, g, h, i) in nat: a < b < c < d < e < f < g < h < i failed (9 shrink steps): + +(0, 0, 0, 0, 0, 0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test bind ordered pairs failed (1 shrink steps): + +(0, 0) + +--- Failure -------------------------------------------------------------------- + +Test bind list_size constant failed (12 shrink steps): + +(4, [0; 0; 0; 0]) + +--- Failure -------------------------------------------------------------------- + +Test lists are empty failed (8 shrink steps): + +[0] + +--- Failure -------------------------------------------------------------------- + +Test lists shorter than 10 failed (16 shrink steps): + +[0; 0; 0; 0; 0; 0; 0; 0; 0; 0] + +--- Failure -------------------------------------------------------------------- + +Test lists shorter than 432 failed (412 shrink steps): + +[...] list length: 432 + +--- Failure -------------------------------------------------------------------- + +Test lists shorter than 4332 failed (4022 shrink steps): + +[...] list length: 4332 + +--- 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] + +--- Failure -------------------------------------------------------------------- + +Test tree contains only 42 failed (2 shrink steps): + +Leaf 0 + +--- Failure -------------------------------------------------------------------- + +Test fail_pred_map_commute failed (37 shrink steps): + +([1], {_ -> 0}, {0 -> false; 1 -> true; -489114431 -> false; -334037599 -> false; -1002044798 -> false; 3 -> false; 607479396 -> false; 4 -> false; 5 -> false; 442140485 -> false; 50542662 -> false; 38 -> false; 281414086 -> false; 757535206 -> false; 6 -> false; 7 -> false; 8 -> false; 629085609 -> false; 10 -> false; -765856245 -> false; 44 -> false; 12 -> false; -386873971 -> false; 15 -> false; 47 -> false; -842421617 -> false; 588710735 -> false; 49 -> false; 18 -> false; 51 -> false; 449695123 -> false; 20 -> false; 21 -> false; -386709771 -> false; -92591850 -> false; 136918038 -> false; 54 -> false; -484444937 -> false; -1042148456 -> false; 24 -> false; 1062551480 -> false; 747852089 -> false; 25 -> false; -737785766 -> false; 58 -> false; -530708612 -> false; -60654788 -> false; 28 -> false; 60 -> false; 29 -> false; 947455871 -> false; _ -> false}) + +--- Failure -------------------------------------------------------------------- + +Test fail_pred_strings failed (2 shrink steps): + +{"some random string" -> true; _ -> false} + +--- Failure -------------------------------------------------------------------- + +Test fold_left fold_right failed (56 shrink steps): + +(0, [1], {(1, 0) -> 1; (8, 0) -> 0; (6, 4) -> 0; (2, 6) -> 0; (3, 6) -> 0; (2, 16) -> 0; (0, 60) -> 0; (20, 3) -> 0; (12, 60) -> 0; (0, 2) -> 0; (2, 4) -> 0; (1, 6) -> 0; (6, 1) -> 0; (60, 83) -> 0; (3, 5) -> 0; (7, 12) -> 0; (6, 8) -> 0; (2, 2) -> 0; (56, 6) -> 0; (6, 5) -> 0; (12, 3) -> 0; (6, 6) -> 0; (0, 8) -> 0; (0, 58) -> 0; (5, 5) -> 0; (20, 2) -> 0; (54, 0) -> 0; (0, 6) -> 0; (4, 6) -> 0; (4, 56) -> 0; (5, 54) -> 0; (9, 8) -> 0; (8, 6) -> 0; (60, 47) -> 0; (9, 12) -> 0; (4, 20) -> 0; (0, 20) -> 0; (1, 2) -> 0; (28, 2) -> 0; (4, 1) -> 0; (0, 4) -> 0; (8, 3) -> 0; (4, 28) -> 0; (42, 8) -> 0; (6, 0) -> 0; (58, 65) -> 0; (12, 12) -> 0; (5, 6) -> 0; _ -> 0}) + ++++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +Messages for test fold_left fold_right: + +l=[1], fold_left=1, fold_right=0 + + +--- Failure -------------------------------------------------------------------- + +Test fold_left fold_right uncurried failed (376 shrink steps): + +({(0, 2) -> 0; (13, 0) -> 0; (22, 3) -> 0; (20, 5) -> 0; (2, 93) -> 0; (65, 34) -> 0; (2, 7) -> 0; (0, 7) -> 0; (49, 3) -> 0; (8, 62) -> 0; (8, 2) -> 0; (54, 6) -> 0; (38, 4) -> 0; (7, 0) -> 1; (6, 25) -> 0; (0, 0) -> 0; (3, 4) -> 0; (1, 7) -> 0; (4, 6) -> 0; (8, 1) -> 0; (48, 42) -> 0; (18, 1) -> 0; (90, 14) -> 0; (8, 70) -> 0; (9, 1) -> 0; (38, 2) -> 0; (3, 5) -> 0; (8, 8) -> 0; (9, 3) -> 0; (2, 36) -> 0; (45, 2) -> 0; (18, 6) -> 0; (7, 98) -> 0; (3, 9) -> 0; (2, 31) -> 0; (86, 2) -> 0; (4, 7) -> 0; (1, 1) -> 0; (0, 5) -> 0; (2, 9) -> 0; (1, 5) -> 0; (44, 0) -> 0; (77, 7) -> 0; (5, 8) -> 0; (1, 4) -> 0; (9, 79) -> 0; (48, 1) -> 0; (30, 7) -> 0; (6, 79) -> 0; (5, 1) -> 0; (65, 4) -> 0; (2, 1) -> 0; (4, 1) -> 0; (66, 12) -> 0; (6, 5) -> 0; (7, 3) -> 0; (3, 7) -> 0; (9, 7) -> 0; (9, 9) -> 0; (2, 6) -> 0; (3, 15) -> 0; (5, 3) -> 0; (67, 1) -> 0; (3, 28) -> 0; (1, 87) -> 0; (7, 31) -> 0; (9, 13) -> 0; (32, 1) -> 0; (0, 27) -> 0; (6, 15) -> 0; (20, 0) -> 0; (6, 8) -> 0; (1, 6) -> 0; (0, 6) -> 0; (3, 1) -> 0; (9, 71) -> 0; (95, 4) -> 0; (97, 1) -> 0; (7, 4) -> 0; (84, 3) -> 0; (92, 6) -> 0; (6, 2) -> 0; (8, 4) -> 0; (5, 0) -> 0; (7, 5) -> 0; (9, 8) -> 0; (90, 26) -> 0; (0, 19) -> 0; (1, 13) -> 0; (6, 1) -> 0; (9, 28) -> 0; (9, 6) -> 0; (8, 6) -> 0; (3, 8) -> 0; (7, 62) -> 0; (86, 0) -> 0; (65, 1) -> 0; (7, 1) -> 0; (6, 6) -> 0; (30, 4) -> 0; (7, 67) -> 0; (0, 9) -> 0; (78, 5) -> 0; (17, 3) -> 0; (9, 60) -> 0; (3, 71) -> 0; (88, 1) -> 0; (4, 61) -> 0; (9, 0) -> 0; (45, 0) -> 0; (2, 5) -> 0; (9, 47) -> 0; (18, 5) -> 0; (66, 0) -> 0; (0, 76) -> 0; (8, 3) -> 0; (74, 6) -> 0; (5, 60) -> 0; (5, 80) -> 0; (8, 9) -> 0; (7, 8) -> 0; (39, 4) -> 0; (72, 8) -> 0; (4, 38) -> 0; (70, 31) -> 0; (19, 5) -> 0; (4, 9) -> 0; (0, 1) -> 0; (1, 37) -> 0; (7, 6) -> 0; (6, 3) -> 0; (9, 5) -> 0; (58, 4) -> 0; (54, 5) -> 0; (7, 86) -> 0; (67, 6) -> 0; (0, 8) -> 0; (8, 7) -> 0; (44, 18) -> 0; (3, 0) -> 0; (4, 41) -> 0; (0, 31) -> 0; (1, 51) -> 0; (6, 0) -> 0; (1, 3) -> 0; (70, 1) -> 0; (9, 4) -> 0; (4, 5) -> 0; (1, 8) -> 0; (5, 9) -> 0; (0, 14) -> 0; (3, 3) -> 0; (4, 0) -> 0; (78, 9) -> 0; (0, 4) -> 0; (2, 3) -> 0; (9, 62) -> 0; (35, 1) -> 0; (55, 1) -> 0; _ -> 0}, 0, [7; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0]) + +--- Failure -------------------------------------------------------------------- + +Test fold_left fold_right uncurried fun last failed (56 shrink steps): + +(0, [1], {(0, 2) -> 0; (3, 6) -> 0; (0, 20) -> 0; (20, 4) -> 0; (6, 42) -> 0; (47, 6) -> 0; (6, 12) -> 0; (2, 6) -> 0; (0, 58) -> 0; (8, 2) -> 0; (6, 6) -> 0; (8, 60) -> 0; (12, 3) -> 0; (6, 4) -> 0; (16, 8) -> 0; (6, 0) -> 0; (3, 4) -> 0; (12, 0) -> 0; (60, 5) -> 0; (8, 1) -> 0; (6, 8) -> 0; (2, 5) -> 0; (2, 42) -> 0; (5, 4) -> 0; (4, 20) -> 0; (54, 0) -> 0; (12, 4) -> 0; (3, 2) -> 0; (8, 0) -> 0; (4, 7) -> 0; (28, 3) -> 0; (2, 9) -> 0; (65, 54) -> 0; (5, 28) -> 0; (20, 2) -> 0; (6, 2) -> 0; (83, 6) -> 0; (58, 5) -> 0; (5, 6) -> 0; (56, 12) -> 0; (1, 60) -> 0; (4, 9) -> 0; (0, 1) -> 1; (2, 8) -> 0; (2, 0) -> 0; (6, 1) -> 0; (1, 12) -> 0; (60, 0) -> 0; _ -> 0}) + +--- Failure -------------------------------------------------------------------- + +Test fold_left test, fun first failed (15 shrink steps): + +({_ -> ""}, "a", [], [0]) + +--- Failure -------------------------------------------------------------------- + +Test FAIL_#99_1 failed: + +ERROR: uncaught exception in generator for test FAIL_#99_1 after 100 steps: +Exception: QCheck2.No_example_found("") +Backtrace: + ++++ Collect ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +Collect results for test bool dist: + +true: 250134 cases +false: 249866 cases + ++++ Stats for char code dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats char code: + num: 500000, avg: 127.42, stddev: 73.92, median 127, min 0, max 255 + 0.. 12: ###################################################### 25509 + 13.. 25: ###################################################### 25398 + 26.. 38: ###################################################### 25293 + 39.. 51: ###################################################### 25448 + 52.. 64: ###################################################### 25392 + 65.. 77: ####################################################### 25660 + 78.. 90: ###################################################### 25462 + 91..103: ###################################################### 25331 + 104..116: ##################################################### 25129 + 117..129: ###################################################### 25351 + 130..142: ###################################################### 25492 + 143..155: ###################################################### 25370 + 156..168: ###################################################### 25658 + 169..181: ###################################################### 25400 + 182..194: ##################################################### 25167 + 195..207: ###################################################### 25338 + 208..220: ##################################################### 25181 + 221..233: ##################################################### 25145 + 234..246: ###################################################### 25567 + 247..259: ##################################### 17709 + ++++ Stats for printable char code dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats char code: + num: 500000, avg: 78.26, stddev: 28.15, median 78, min 10, max 126 + 10.. 15: ######### 5149 + 16.. 21: 0 + 22.. 27: 0 + 28.. 33: ################## 10379 + 34.. 39: ###################################################### 31153 + 40.. 45: ###################################################### 31341 + 46.. 51: ###################################################### 31408 + 52.. 57: ####################################################### 31456 + 58.. 63: ###################################################### 31310 + 64.. 69: ###################################################### 31152 + 70.. 75: ###################################################### 31308 + 76.. 81: ###################################################### 31156 + 82.. 87: ###################################################### 31170 + 88.. 93: ###################################################### 31286 + 94.. 99: ###################################################### 31364 + 100..105: ###################################################### 31368 + 106..111: ###################################################### 31024 + 112..117: ###################################################### 31261 + 118..123: ###################################################### 31064 + 124..129: ########################### 15651 + ++++ Stats for numeral char code dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats char code: + num: 500000, avg: 52.50, stddev: 2.87, median 52, min 48, max 57 + 48: ###################################################### 50260 + 49: ###################################################### 49590 + 50: ###################################################### 50170 + 51: ####################################################### 50270 + 52: ###################################################### 49805 + 53: ###################################################### 50161 + 54: ###################################################### 49919 + 55: ###################################################### 49971 + 56: ###################################################### 49980 + 57: ###################################################### 49874 + ++++ Stats for tree's depth ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats depth: + num: 1000, avg: 3.74, stddev: 3.28, median 3, min 1, max 15 + 1: ####################################################### 377 + 2: ################ 113 + 3: ############ 87 + 4: ################# 123 + 5: ########### 81 + 6: #### 33 + 7: ##### 40 + 8: ##### 39 + 9: # 9 + 10: ### 25 + 11: ####### 49 + 12: 4 + 13: # 9 + 14: # 7 + 15: 4 + ++++ Stats for string_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 7.49, stddev: 1.70, median 7, min 5, max 10 + 5: ##################################################### 837 + 6: ##################################################### 826 + 7: ###################################################### 843 + 8: ####################################################### 855 + 9: #################################################### 813 + 10: ##################################################### 826 + ++++ Stats for string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 384.53, stddev: 1330.61, median 9, min 0, max 9969 + 0.. 498: ####################################################### 4246 + 499.. 997: ###### 518 + 998..1496: 21 + 1497..1995: 10 + 1996..2494: 11 + 2495..2993: 10 + 2994..3492: 13 + 3493..3991: 13 + 3992..4490: 5 + 4491..4989: 10 + 4990..5488: 19 + 5489..5987: 9 + 5988..6486: 10 + 6487..6985: 12 + 6986..7484: 17 + 7485..7983: 16 + 7984..8482: 16 + 8483..8981: 16 + 8982..9480: 16 + 9481..9979: 12 + ++++ Stats for string_of len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 363.14, stddev: 1245.80, median 9, min 0, max 9986 + 0.. 499: ####################################################### 4270 + 500.. 999: ###### 493 + 1000.. 1499: 16 + 1500.. 1999: 11 + 2000.. 2499: 15 + 2500.. 2999: 17 + 3000.. 3499: 11 + 3500.. 3999: 19 + 4000.. 4499: 14 + 4500.. 4999: 10 + 5000.. 5499: 16 + 5500.. 5999: 11 + 6000.. 6499: 15 + 6500.. 6999: 13 + 7000.. 7499: 12 + 7500.. 7999: 16 + 8000.. 8499: 11 + 8500.. 8999: 4 + 9000.. 9499: 13 + 9500.. 9999: 13 + ++++ Stats for string_printable len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 384.53, stddev: 1330.61, median 9, min 0, max 9969 + 0.. 498: ####################################################### 4246 + 499.. 997: ###### 518 + 998..1496: 21 + 1497..1995: 10 + 1996..2494: 11 + 2495..2993: 10 + 2994..3492: 13 + 3493..3991: 13 + 3992..4490: 5 + 4491..4989: 10 + 4990..5488: 19 + 5489..5987: 9 + 5988..6486: 10 + 6487..6985: 12 + 6986..7484: 17 + 7485..7983: 16 + 7984..8482: 16 + 8483..8981: 16 + 8982..9480: 16 + 9481..9979: 12 + ++++ Stats for small_string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 15.57, stddev: 24.36, median 6, min 0, max 99 + 0.. 4: #################################################### 1925 + 5.. 9: ####################################################### 2005 + 10.. 14: # 52 + 15.. 19: # 50 + 20.. 24: # 55 + 25.. 29: # 56 + 30.. 34: # 55 + 35.. 39: # 49 + 40.. 44: # 65 + 45.. 49: # 65 + 50.. 54: # 55 + 55.. 59: # 68 + 60.. 64: # 61 + 65.. 69: # 65 + 70.. 74: # 57 + 75.. 79: # 66 + 80.. 84: # 65 + 85.. 89: # 64 + 90.. 94: # 60 + 95.. 99: # 62 + ++++ Stats for pair dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats pair sum: + num: 500000, avg: 100.02, stddev: 41.22, median 100, min 0, max 200 + 0.. 9: ### 2685 + 10.. 19: ######## 7622 + 20.. 29: ############## 12474 + 30.. 39: #################### 17330 + 40.. 49: ########################## 22263 + 50.. 59: ############################### 26982 + 60.. 69: ##################################### 32182 + 70.. 79: ########################################### 37125 + 80.. 89: ################################################# 42287 + 90.. 99: ###################################################### 46691 + 100..109: ####################################################### 46977 + 110..119: ################################################# 42444 + 120..129: ############################################ 37719 + 130..139: ###################################### 32595 + 140..149: ################################ 27588 + 150..159: ########################## 22792 + 160..169: #################### 17805 + 170..179: ############### 13068 + 180..189: ######### 8218 + 190..199: ### 3115 + 200..209: 38 + ++++ Stats for triple dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats triple sum: + num: 500000, avg: 150.08, stddev: 50.51, median 150, min 0, max 299 + 0.. 14: 345 + 15.. 29: ## 2121 + 30.. 44: ##### 5372 + 45.. 59: ########## 10501 + 60.. 74: ################# 17031 + 75.. 89: ######################### 25417 + 90..104: ################################### 35148 + 105..119: ############################################# 45134 + 120..134: ################################################### 51751 + 135..149: ####################################################### 55090 + 150..164: ###################################################### 55074 + 165..179: #################################################### 52238 + 180..194: ############################################# 45651 + 195..209: ################################### 35994 + 210..224: ######################### 26039 + 225..239: ################# 17749 + 240..254: ########## 10870 + 255..269: ##### 5765 + 270..284: ## 2313 + 285..299: 397 + ++++ Stats for quad dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats quad sum: + num: 500000, avg: 200.13, stddev: 58.33, median 200, min 5, max 394 + 5.. 24: 102 + 25.. 44: 842 + 45.. 64: ## 3023 + 65.. 84: ###### 7154 + 85..104: ############ 14368 + 105..124: ##################### 25397 + 125..144: ############################### 37547 + 145..164: ########################################## 50174 + 165..184: ################################################## 60558 + 185..204: ####################################################### 65376 + 205..224: ##################################################### 63687 + 225..244: ############################################### 56248 + 245..264: ###################################### 45384 + 265..284: ########################## 31780 + 285..304: ################ 20158 + 305..324: ######### 10899 + 325..344: #### 5045 + 345..364: # 1848 + 365..384: 386 + 385..404: 24 + ++++ Stats for bind dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats ordered pair difference: + num: 1000000, avg: 25.02, stddev: 22.36, median 19, min 0, max 100 + 0.. 4: ####################################################### 193184 + 5.. 9: ##################################### 130024 + 10.. 14: ############################# 103828 + 15.. 19: ######################## 87496 + 20.. 24: ##################### 74431 + 25.. 29: ################## 64629 + 30.. 34: ################ 56663 + 35.. 39: ############# 48986 + 40.. 44: ############ 43424 + 45.. 49: ########## 37599 + 50.. 54: ######### 32787 + 55.. 59: ######## 28332 + 60.. 64: ###### 24023 + 65.. 69: ##### 20312 + 70.. 74: #### 16649 + 75.. 79: ### 13338 + 80.. 84: ## 10239 + 85.. 89: ## 7391 + 90.. 94: # 4548 + 95.. 99: 2015 + 100..104: 102 + +stats ordered pair sum: + num: 1000000, avg: 75.12, stddev: 46.93, median 72, min 0, max 200 + 0.. 9: ####################################################### 70423 + 10.. 19: ##################################################### 68068 + 20.. 29: ##################################################### 68449 + 30.. 39: ##################################################### 68577 + 40.. 49: ##################################################### 68763 + 50.. 59: ##################################################### 68351 + 60.. 69: ##################################################### 68744 + 70.. 79: ##################################################### 68451 + 80.. 89: ##################################################### 68309 + 90.. 99: ##################################################### 68835 + 100..109: ################################################## 64544 + 110..119: ########################################### 55512 + 120..129: ##################################### 47595 + 130..139: ############################### 39809 + 140..149: ######################### 32677 + 150..159: #################### 26312 + 160..169: ############### 20180 + 170..179: ########### 14265 + 180..189: ###### 8625 + 190..199: ## 3433 + 200..209: 78 + ++++ Stats for list len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 361.42, stddev: 1230.75, median 9, min 0, max 9974 + 0.. 498: ####################################################### 4212 + 499.. 997: ####### 578 + 998..1496: 11 + 1497..1995: 15 + 1996..2494: 11 + 2495..2993: 10 + 2994..3492: 13 + 3493..3991: 12 + 3992..4490: 7 + 4491..4989: 8 + 4990..5488: 15 + 5489..5987: 14 + 5988..6486: 12 + 6487..6985: 8 + 6986..7484: 9 + 7485..7983: 19 + 7984..8482: 14 + 8483..8981: 11 + 8982..9480: 11 + 9481..9979: 10 + ++++ Stats for small_list len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 15.79, stddev: 24.64, median 6, min 0, max 99 + 0.. 4: ###################################################### 1930 + 5.. 9: ####################################################### 1957 + 10.. 14: # 59 + 15.. 19: # 66 + 20.. 24: # 61 + 25.. 29: # 52 + 30.. 34: # 61 + 35.. 39: # 65 + 40.. 44: # 62 + 45.. 49: # 64 + 50.. 54: # 70 + 55.. 59: # 63 + 60.. 64: # 50 + 65.. 69: # 51 + 70.. 74: # 52 + 75.. 79: # 63 + 80.. 84: # 56 + 85.. 89: ## 75 + 90.. 94: ## 73 + 95.. 99: # 70 + ++++ Stats for list_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 7.51, stddev: 1.71, median 8, min 5, max 10 + 5: ###################################################### 834 + 6: ##################################################### 825 + 7: ##################################################### 820 + 8: ###################################################### 833 + 9: ####################################################### 844 + 10: ####################################################### 844 + ++++ Stats for list_repeat len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 42.00, stddev: 0.00, median 42, min 42, max 42 + 42: ####################################################### 5000 + ++++ Stats for array len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 361.42, stddev: 1230.75, median 9, min 0, max 9974 + 0.. 498: ####################################################### 4212 + 499.. 997: ####### 578 + 998..1496: 11 + 1497..1995: 15 + 1996..2494: 11 + 2495..2993: 10 + 2994..3492: 13 + 3493..3991: 12 + 3992..4490: 7 + 4491..4989: 8 + 4990..5488: 15 + 5489..5987: 14 + 5988..6486: 12 + 6487..6985: 8 + 6986..7484: 9 + 7485..7983: 19 + 7984..8482: 14 + 8483..8981: 11 + 8982..9480: 11 + 9481..9979: 10 + ++++ Stats for small_array len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 15.79, stddev: 24.64, median 6, min 0, max 99 + 0.. 4: ###################################################### 1930 + 5.. 9: ####################################################### 1957 + 10.. 14: # 59 + 15.. 19: # 66 + 20.. 24: # 61 + 25.. 29: # 52 + 30.. 34: # 61 + 35.. 39: # 65 + 40.. 44: # 62 + 45.. 49: # 64 + 50.. 54: # 70 + 55.. 59: # 63 + 60.. 64: # 50 + 65.. 69: # 51 + 70.. 74: # 52 + 75.. 79: # 63 + 80.. 84: # 56 + 85.. 89: ## 75 + 90.. 94: ## 73 + 95.. 99: # 70 + ++++ Stats for array_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 7.51, stddev: 1.71, median 8, min 5, max 10 + 5: ###################################################### 834 + 6: ##################################################### 825 + 7: ##################################################### 820 + 8: ###################################################### 833 + 9: ####################################################### 844 + 10: ####################################################### 844 + ++++ Stats for array_repeat len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 42.00, stddev: 0.00, median 42, min 42, max 42 + 42: ####################################################### 5000 + ++++ Stats for int_stats_neg ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 5000, avg: 0.17, stddev: 29.68, median 0, min -99, max 99 + -99..-90: # 65 + -89..-80: # 63 + -79..-70: # 64 + -69..-60: # 58 + -59..-50: # 67 + -49..-40: # 72 + -39..-30: # 61 + -29..-20: # 61 + -19..-10: # 67 + -9.. 0: ####################################################### 2076 + 1.. 10: ############################################## 1764 + 11.. 20: # 66 + 21.. 30: # 64 + 31.. 40: # 64 + 41.. 50: # 67 + 51.. 60: # 60 + 61.. 70: # 75 + 71.. 80: # 60 + 81.. 90: # 60 + 91..100: # 66 + ++++ Stats for small_signed_int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 0.90, stddev: 28.23, median 0, min -99, max 99 + -99..-90: # 12 + -89..-80: # 11 + -79..-70: # 9 + -69..-60: 6 + -59..-50: # 11 + -49..-40: # 13 + -39..-30: # 9 + -29..-20: # 13 + -19..-10: 8 + -9.. 0: ####################################################### 453 + 1.. 10: ######################################### 340 + 11.. 20: # 15 + 21.. 30: # 11 + 31.. 40: # 12 + 41.. 50: # 13 + 51.. 60: # 13 + 61.. 70: # 16 + 71.. 80: # 9 + 81.. 90: # 16 + 91..100: # 10 + ++++ Stats for small_nat dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 15.11, stddev: 23.27, median 6, min 0, max 99 + 0.. 4: #################################################### 377 + 5.. 9: ####################################################### 392 + 10.. 14: ## 20 + 15.. 19: ## 15 + 20.. 24: # 11 + 25.. 29: ## 17 + 30.. 34: ## 19 + 35.. 39: ## 17 + 40.. 44: # 10 + 45.. 49: # 9 + 50.. 54: # 8 + 55.. 59: # 9 + 60.. 64: ## 15 + 65.. 69: # 10 + 70.. 74: # 13 + 75.. 79: ## 19 + 80.. 84: # 11 + 85.. 89: # 13 + 90.. 94: 5 + 95.. 99: # 10 + ++++ Stats for nat dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 363.02, stddev: 1215.04, median 9, min 0, max 9476 + 0.. 473: ####################################################### 847 + 474.. 947: ###### 95 + 948..1421: 14 + 1422..1895: 3 + 1896..2369: 0 + 2370..2843: 3 + 2844..3317: 2 + 3318..3791: 3 + 3792..4265: 2 + 4266..4739: 4 + 4740..5213: 3 + 5214..5687: 4 + 5688..6161: 3 + 6162..6635: 4 + 6636..7109: 1 + 7110..7583: 4 + 7584..8057: 2 + 8058..8531: 1 + 8532..9005: 1 + 9006..9479: 4 + ++++ Stats for int_range (-43643) 435434 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 195335.64, stddev: 136803.99, median 195583, min -43624, max 435210 + -43624..-19683: ############################################ 52 + -19682.. 4259: ######################################## 47 + 4260.. 28201: ############################## 36 + 28202.. 52143: ############################################ 52 + 52144.. 76085: ########################################## 50 + 76086..100027: ####################################################### 64 + 100028..123969: ############################################### 55 + 123970..147911: ######################################## 47 + 147912..171853: ############################################## 54 + 171854..195795: #################################### 43 + 195796..219737: ############################################## 54 + 219738..243679: ########################################### 51 + 243680..267621: ################################################ 57 + 267622..291563: ########################################## 49 + 291564..315505: #################################### 42 + 315506..339447: ###################################### 45 + 339448..363389: ################################################ 57 + 363390..387331: ###################################### 45 + 387332..411273: ########################################## 49 + 411274..435215: ########################################### 51 + ++++ Stats for int_range (-40000) 40000 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: -173.78, stddev: 23042.92, median 180, min -39859, max 39942 + -39859..-35869: ############################################# 56 + -35868..-31878: ################################### 43 + -31877..-27887: ################################################# 60 + -27886..-23896: ##################################### 46 + -23895..-19905: ######################################## 49 + -19904..-15914: #################################### 45 + -15913..-11923: ############################################ 54 + -11922.. -7932: ############################################### 58 + -7931.. -3941: ######################################### 51 + -3940.. 50: ############################ 35 + 51.. 4041: ####################################### 48 + 4042.. 8032: ########################################## 52 + 8033.. 12023: ######################################### 51 + 12024.. 16014: ########################################### 53 + 16015.. 20005: ############################################ 54 + 20006.. 23996: ################################## 42 + 23997.. 27987: ####################################################### 67 + 27988.. 31978: ################################ 40 + 31979.. 35969: ######################################### 51 + 35970.. 39960: #################################### 45 + ++++ Stats for int_range (-4) 4 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 0.02, stddev: 2.55, median 0, min -4, max 4 + -4: ############################################ 99 + -3: ##################################################### 118 + -2: ################################################## 111 + -1: ################################################## 113 + 0: ################################################## 113 + 1: ##################################################### 118 + 2: ############################################# 102 + 3: ####################################################### 122 + 4: ############################################## 104 + ++++ Stats for int_range (-4) 17 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 6.67, stddev: 6.39, median 7, min -4, max 17 + -4..-3: ############################################# 90 + -2..-1: ############################################# 91 + 0.. 1: ########################################## 84 + 2.. 3: ############################################## 92 + 4.. 5: ########################################### 87 + 6.. 7: ########################################### 86 + 8.. 9: ############################################ 89 + 10..11: ########################################### 87 + 12..13: ####################################################### 110 + 14..15: ############################################# 91 + 16..17: ############################################## 93 + 18..19: 0 + 20..21: 0 + 22..23: 0 + 24..25: 0 + 26..27: 0 + 28..29: 0 + 30..31: 0 + 32..33: 0 + 34..35: 0 + ++++ Stats for int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 100000, avg: 336840.90, stddev: 619301756.02, median 895228, min -1073728193, max 1073739280 + -1073728193.. -966354820: ##################################################### 5009 + -966354819.. -858981446: #################################################### 5004 + -858981445.. -751608072: #################################################### 4917 + -751608071.. -644234698: ##################################################### 5028 + -644234697.. -536861324: #################################################### 4962 + -536861323.. -429487950: ##################################################### 5039 + -429487949.. -322114576: #################################################### 4927 + -322114575.. -214741202: ##################################################### 5054 + -214741201.. -107367828: ##################################################### 5065 + -107367827.. 5546: #################################################### 4954 + 5547.. 107378920: #################################################### 4943 + 107378921.. 214752294: ################################################### 4900 + 214752295.. 322125668: ###################################################### 5126 + 322125669.. 429499042: ####################################################### 5198 + 429499043.. 536872416: #################################################### 4988 + 536872417.. 644245790: #################################################### 4940 + 644245791.. 751619164: #################################################### 5002 + 751619165.. 858992538: #################################################### 4928 + 858992539.. 966365912: ##################################################### 5070 + 966365913.. 1073739286: #################################################### 4946 + ++++ Stats for oneof int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 1073741.63, stddev: 676575790.92, median 0, min -1073741824, max 1073741823 + -1073741824.. -966367642: ################## 208 + -966367641.. -858993459: 0 + -858993458.. -751619276: 0 + -751619275.. -644245093: 0 + -644245092.. -536870910: 0 + -536870909.. -429496727: 0 + -429496726.. -322122544: 0 + -322122543.. -214748361: 0 + -214748360.. -107374178: 0 + -107374177.. 5: ####################################################### 603 + 6.. 107374188: 0 + 107374189.. 214748371: 0 + 214748372.. 322122554: 0 + 322122555.. 429496737: 0 + 429496738.. 536870920: 0 + 536870921.. 644245103: 0 + 644245104.. 751619286: 0 + 751619287.. 858993469: 0 + 858993470.. 966367652: 0 + 966367653.. 1073741823: ################# 189 +================================================================================ +1 warning(s) +failure (60 tests failed, 3 tests errored, ran 131 tests) +random seed: 153870556 + ++++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 10351291.88, stddev: 432212939.52, median 9, min -1066972208, max 1073741823 + -1066972208.. -959936507: ## 27 + -959936506.. -852900805: ## 22 + -852900804.. -745865103: ## 22 + -745865102.. -638829401: # 18 + -638829400.. -531793699: # 17 + -531793698.. -424757997: ## 21 + -424757996.. -317722295: ### 33 + -317722294.. -210686593: ### 33 + -210686592.. -103650891: ### 32 + -103650890.. 3384811: ####################################################### 516 + 3384812.. 110420513: ### 34 + 110420514.. 217456215: ### 34 + 217456216.. 324491917: # 17 + 324491918.. 431527619: ## 24 + 431527620.. 538563321: ## 26 + 538563322.. 645599023: ## 20 + 645599024.. 752634725: ## 24 + 752634726.. 859670427: ## 27 + 859670428.. 966706129: ## 27 + 966706130.. 1073741823: ## 26 +================================================================================ +success (ran 1 tests) diff --git a/test/core/QCheck2_expect_test.expected b/test/core/QCheck2_expect_test.expected.64 similarity index 100% rename from test/core/QCheck2_expect_test.expected rename to test/core/QCheck2_expect_test.expected.64 diff --git a/test/core/QCheck_expect_test.expected.32 b/test/core/QCheck_expect_test.expected.32 new file mode 100644 index 00000000..6d139ddd --- /dev/null +++ b/test/core/QCheck_expect_test.expected.32 @@ -0,0 +1,1289 @@ +random seed: 1234 +50 7 4 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 (6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +(6,fun,50) (0,fun,2) (7,fun,66) (54,fun,9) (2,fun,5) (90,fun,4) (1,fun,4) (37,fun,7) (7,fun,1) (8,fun,5) +911769578 +455884789 +227942395 +113971198 +56985599 +28492800 +14246400 +7123200 +3561600 +1780800 +890400 +445200 +222600 +111300 +55650 +27825 +13913 +6957 +3479 +1740 +870 +435 +218 +109 +55 +28 +14 +7 +4 +2 +1 +0 +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4; 2; 37; 3; 8; 4; 31; 6; 2; 1; 0; 7; 5; 1; 0; 15; 6; 1; 8; 13; 0; 6; 2; 4; 2; 6; 6; 1; 4; 1; 9; 79; 0; 87; 6; 8; 8; 62; 1; 4; 62; 6; 31; 1; 5; 6; 5; 9; 3; 3; 1; 79; 4; 3; 2; 67; 5; 7; 12; 70; 8; 8; 6; 1; 3; 14; 15; 1; 61; 4; 1; 4; 1; 7; 4; 4; 4; 2; 8; 8; 7; 5; 4; 27; 0; 9; 80; 25; 1; 8; 1; 3; 7; 4; 3; 5; 5; 6; 5; 5; 31; 7; 0; 3; 3; 6; 71; 76; 28; 60; 6; 2; 6; 3; 0; 4; 1; 0; 5; 7; 0; 28; 86; 4; 7; 51; 36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4; 2; 37; 3; 8; 4; 31; 6; 2; 1; 0; 7; 5; 1; 0; 15; 6; 1; 8; 13; 0; 6; 2; 4; 2; 6; 6; 1; 4; 1; 9; 79; 0; 87; 6; 8; 8; 62; 1; 4; 62; 6; 31; 1; 5; 6; 5; 9; 3; 3; 1; 79; 4; 3; 2; 67; 5; 7; 12; 70; 8; 8; 6] +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4] +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2] +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1] +[7; 1; 42; 1; 8; 5; 3; 9] +[7; 1; 42; 1] +[7; 1] +[] +[7] +[] +[4] +[] +[2] +[] +[1] +[] +[0] +[] +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4; 2; 37; 3; 8; 4; 31; 6; 2; 1; 0; 7; 5; 1; 0; 15; 6; 1; 8; 13; 0; 6; 2; 4; 2; 6; 6; 1; 4; 1; 9; 79; 0; 87; 6; 8; 8; 62; 1; 4; 62; 6; 31; 1; 5; 6; 5; 9; 3; 3; 1; 79; 4; 3; 2; 67; 5; 7; 12; 70; 8; 8; 6; 1; 3; 14; 15; 1; 61; 4; 1; 4; 1; 7; 4; 4; 4; 2; 8; 8; 7; 5; 4; 27; 0; 9; 80; 25; 1; 8; 1; 3; 7; 4; 3; 5; 5; 6; 5; 5; 31; 7; 0; 3; 3; 6; 71; 76; 28; 60; 6; 2; 6; 3; 0; 4; 1; 0; 5; 7; 0; 28; 86; 4; 7; 51; 36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4; 2; 37; 3; 8; 4; 31; 6; 2; 1; 0; 7; 5; 1; 0; 15; 6; 1; 8; 13; 0; 6; 2; 4; 2; 6; 6; 1; 4; 1; 9; 79; 0; 87; 6; 8; 8; 62; 1; 4; 62; 6; 31; 1; 5; 6; 5; 9; 3; 3; 1; 79; 4; 3; 2; 67; 5; 7; 12; 70; 8; 8; 6] +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4] +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2] +[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1] +[7; 1; 42; 1; 8; 5; 3; 9] +[7; 1; 42; 1] +[7; 1] +[42; 1] +[7; 42; 1] +[1; 42; 1] +[1; 42] +[1] +[1; 1] +[] +[1] +[1] +[0; 1] +[1; 0] + +--- Failure -------------------------------------------------------------------- + +Test should_fail_sort_id failed (13 shrink steps): + +[1; 0] + +=== Error ====================================================================== + +Test should_error_raise_exn errored on (31 shrink steps): + +0 + +exception QCheck_tests.Overall.Error + + ++++ Collect ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +Collect results for test collect_results: + +4: 20 cases +3: 25 cases +2: 17 cases +1: 18 cases +0: 20 cases + ++++ Stats for with_stats ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats mod4: + num: 100, avg: 1.68, stddev: 1.09, median 2, min 0, max 3 + 0: ############################## 17 + 1: ################################################### 29 + 2: ######################################## 23 + 3: ####################################################### 31 + +stats num: + num: 100, avg: 66.84, stddev: 31.94, median 65, min 2, max 120 + 2.. 7: ################## 3 + 8.. 13: ################## 3 + 14.. 19: 0 + 20.. 25: ########################################## 7 + 26.. 31: ######################## 4 + 32.. 37: ######################## 4 + 38.. 43: ################## 3 + 44.. 49: ################################################ 8 + 50.. 55: #################################### 6 + 56.. 61: #################################### 6 + 62.. 67: ####################################################### 9 + 68.. 73: ########################################## 7 + 74.. 79: ######################## 4 + 80.. 85: ################## 3 + 86.. 91: ############ 2 + 92.. 97: ########################################## 7 + 98..103: #################################### 6 + 104..109: #################################### 6 + 110..115: ####################################################### 9 + 116..121: ################## 3 + +--- Failure -------------------------------------------------------------------- + +Test with shrinking retries failed (1 shrink steps): + +4 + +!!! Warning !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! + +Warning for test WARN_unlikely_precond: + +WARNING: only 0.6% tests (of 2000) passed precondition for "WARN_unlikely_precond" + +NOTE: it is likely that the precondition is too strong, or that the generator is buggy. + +--- Failure -------------------------------------------------------------------- + +Test FAIL_unlikely_precond failed: + +ERROR: only 0.6% tests (of 2000) passed precondition for "FAIL_unlikely_precond" + +NOTE: it is likely that the precondition is too strong, or that the generator is buggy. + + +--- Failure -------------------------------------------------------------------- + +Test FAIL_bad_gen failed: + +ERROR: uncaught exception in generator for test FAIL_bad_gen after 100 steps: +Exception: Invalid_argument("Gen.int_bound") +Backtrace: + +--- Failure -------------------------------------------------------------------- + +Test int double failed: + +Negative test int double succeeded but was expected to fail + +=== Error ====================================================================== + +Test pos fail with error errored on (7 shrink steps): + +0 + +exception QCheck_tests.Overall.Error + + +=== Error ====================================================================== + +Test neg fail with error errored on (7 shrink steps): + +0 + +exception QCheck_tests.Overall.Error + + +--- Failure -------------------------------------------------------------------- + +Test char never produces '\255' failed (0 shrink steps): + +'\255' + +--- Failure -------------------------------------------------------------------- + +Test big bound issue59 failed (20 shrink steps): + +209609 + +--- Failure -------------------------------------------------------------------- + +Test long_shrink failed (87 shrink steps): + +([0], [-1]) + +--- Failure -------------------------------------------------------------------- + +Test ints arent 0 mod 3 failed (34 shrink steps): + +-21 + +--- Failure -------------------------------------------------------------------- + +Test ints are 0 failed (30 shrink steps): + +1 + +--- Failure -------------------------------------------------------------------- + +Test ints < 209609 failed (20 shrink steps): + +209609 + +--- Failure -------------------------------------------------------------------- + +Test nat < 5001 failed (6 shrink steps): + +5001 + +--- Failure -------------------------------------------------------------------- + +Test char never produces 'abcdef' failed (3 shrink steps): + +'a' + +--- Failure -------------------------------------------------------------------- + +Test printable never produces '!"#$%&' failed (2 shrink steps): + +'&' + +--- Failure -------------------------------------------------------------------- + +Test printable never produces less than '5 failed (3 shrink steps): + +'0' + +--- Failure -------------------------------------------------------------------- + +Test strings are empty failed (15 shrink steps): + +"a" + +--- Failure -------------------------------------------------------------------- + +Test string never has a \000 char failed (8 shrink steps): + +"\000" + +--- Failure -------------------------------------------------------------------- + +Test string never has a \255 char failed (14 shrink steps): + +"\255" + +--- Failure -------------------------------------------------------------------- + +Test strings have unique chars failed (13 shrink steps): + +"\129\129" + +--- Failure -------------------------------------------------------------------- + +Test pairs have different components failed (0 shrink steps): + +(4, 4) + +--- Failure -------------------------------------------------------------------- + +Test pairs have same components failed (60 shrink steps): + +(0, 1) + +--- Failure -------------------------------------------------------------------- + +Test pairs have a zero component failed (59 shrink steps): + +(-1, 1) + +--- Failure -------------------------------------------------------------------- + +Test pairs are (0,0) failed (60 shrink steps): + +(0, 1) + +--- Failure -------------------------------------------------------------------- + +Test pairs are ordered failed (214 shrink steps): + +(1, 0) + +--- Failure -------------------------------------------------------------------- + +Test pairs are ordered reversely failed (59 shrink steps): + +(0, 1) + +--- Failure -------------------------------------------------------------------- + +Test pairs sum to less than 128 failed (54 shrink steps): + +(0, 128) + +--- Failure -------------------------------------------------------------------- + +Test pairs lists rev concat failed (72 shrink steps): + +([0], [1]) + +--- Failure -------------------------------------------------------------------- + +Test pairs lists no overlap failed (26 shrink steps): + +([0], [0]) + +--- Failure -------------------------------------------------------------------- + +Test triples have pair-wise different components failed (7 shrink steps): + +(0, 7, 7) + +--- Failure -------------------------------------------------------------------- + +Test triples have same components failed (90 shrink steps): + +(0, -1, 0) + +--- Failure -------------------------------------------------------------------- + +Test triples are ordered failed (90 shrink steps): + +(0, -1, 0) + +--- Failure -------------------------------------------------------------------- + +Test triples are ordered reversely failed (90 shrink steps): + +(0, 0, 1) + +--- Failure -------------------------------------------------------------------- + +Test quadruples have pair-wise different components failed (23 shrink steps): + +(0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test quadruples have same components failed (119 shrink steps): + +(0, -1, -2, 0) + +--- Failure -------------------------------------------------------------------- + +Test quadruples are ordered failed (121 shrink steps): + +(0, 0, -1, 0) + +--- Failure -------------------------------------------------------------------- + +Test quadruples are ordered reversely failed (121 shrink steps): + +(0, 0, 0, 1) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b) in nat: a < b failed (13 shrink steps): + +(0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c) in nat: a < b < c failed (15 shrink steps): + +(0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d) in nat: a < b < c < d failed (23 shrink steps): + +(0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d, e) in nat: a < b < c < d < e failed (28 shrink steps): + +(0, 0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d, e, f) in nat: a < b < c < d < e < f failed (30 shrink steps): + +(0, 0, 0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d, e, f, g) in nat: a < b < c < d < e < f < g failed (31 shrink steps): + +(0, 0, 0, 0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d, e, f, g, h) in nat: a < b < c < d < e < f < g < h failed (35 shrink steps): + +(0, 0, 0, 0, 0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test forall (a, b, c, d, e, f, g, h, i) in nat: a < b < c < d < e < f < g < h < i failed (42 shrink steps): + +(0, 0, 0, 0, 0, 0, 0, 0, 0) + +--- Failure -------------------------------------------------------------------- + +Test bind ordered pairs failed (61 shrink steps): + +(0, 0) + +--- Failure -------------------------------------------------------------------- + +Test bind list_size constant failed (49 shrink steps): + +(4, [0; 0; 0; 0]) + +--- Failure -------------------------------------------------------------------- + +Test lists are empty failed (12 shrink steps): + +[0] + +--- Failure -------------------------------------------------------------------- + +Test lists shorter than 10 failed (39 shrink steps): + +[0; 0; 0; 0; 0; 0; 0; 0; 0; 0] + +--- Failure -------------------------------------------------------------------- + +Test lists shorter than 432 failed (1632 shrink steps): + +[...] list length: 432 + +--- Failure -------------------------------------------------------------------- + +Test lists shorter than 4332 failed (13 shrink steps): + +[...] list length: 4332 + +--- Failure -------------------------------------------------------------------- + +Test lists equal to duplication failed (26 shrink steps): + +[0] + +--- Failure -------------------------------------------------------------------- + +Test lists have unique elems failed (8 shrink steps): + +[1; 1] + +--- Failure -------------------------------------------------------------------- + +Test tree contains only 42 failed (10 shrink steps): + +Leaf 0 + +--- Failure -------------------------------------------------------------------- + +Test fail_pred_map_commute failed (47 shrink steps): + +([1], {_ -> 0}, {0 -> false; _ -> true}) + +--- Failure -------------------------------------------------------------------- + +Test fail_pred_strings failed (1 shrink steps): + +{some other string -> false; _ -> true} + +--- Failure -------------------------------------------------------------------- + +Test fold_left fold_right failed (34 shrink steps): + +(0, [1], {(1, 0) -> 1; _ -> 0}) + ++++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +Messages for test fold_left fold_right: + +l=[1], fold_left=1, fold_right=0 + + +--- Failure -------------------------------------------------------------------- + +Test fold_left fold_right uncurried failed (44 shrink steps): + +({(0, 7) -> 1; _ -> 0}, 0, [7]) + +--- Failure -------------------------------------------------------------------- + +Test fold_left fold_right uncurried fun last failed (34 shrink steps): + +(0, [1], {(1, 0) -> 1; _ -> 0}) + +--- Failure -------------------------------------------------------------------- + +Test fold_left test, fun first failed (36 shrink steps): + +({_ -> ""}, "a", [], [0]) + +--- Failure -------------------------------------------------------------------- + +Test FAIL_#99_1 failed: + +ERROR: uncaught exception in generator for test FAIL_#99_1 after 100 steps: +Exception: QCheck.No_example_found("") +Backtrace: + ++++ Collect ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +Collect results for test bool dist: + +true: 250134 cases +false: 249866 cases + ++++ Stats for char code dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats char code: + num: 500000, avg: 127.42, stddev: 73.92, median 127, min 0, max 255 + 0.. 12: ###################################################### 25509 + 13.. 25: ###################################################### 25398 + 26.. 38: ###################################################### 25293 + 39.. 51: ###################################################### 25448 + 52.. 64: ###################################################### 25392 + 65.. 77: ####################################################### 25660 + 78.. 90: ###################################################### 25462 + 91..103: ###################################################### 25331 + 104..116: ##################################################### 25129 + 117..129: ###################################################### 25351 + 130..142: ###################################################### 25492 + 143..155: ###################################################### 25370 + 156..168: ###################################################### 25658 + 169..181: ###################################################### 25400 + 182..194: ##################################################### 25167 + 195..207: ###################################################### 25338 + 208..220: ##################################################### 25181 + 221..233: ##################################################### 25145 + 234..246: ###################################################### 25567 + 247..259: ##################################### 17709 + ++++ Stats for printable char code dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats char code: + num: 500000, avg: 77.76, stddev: 27.92, median 78, min 10, max 125 + 10.. 15: ######### 5392 + 16.. 21: 0 + 22.. 27: 0 + 28.. 33: ################## 10661 + 34.. 39: ###################################################### 31788 + 40.. 45: ###################################################### 31217 + 46.. 51: ####################################################### 31790 + 52.. 57: ###################################################### 31625 + 58.. 63: ###################################################### 31421 + 64.. 69: ###################################################### 31732 + 70.. 75: ###################################################### 31446 + 76.. 81: ###################################################### 31382 + 82.. 87: ###################################################### 31623 + 88.. 93: ###################################################### 31730 + 94.. 99: ##################################################### 31193 + 100..105: ###################################################### 31424 + 106..111: ###################################################### 31675 + 112..117: ###################################################### 31651 + 118..123: ###################################################### 31682 + 124..129: ################## 10568 + ++++ Stats for numeral char code dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats char code: + num: 500000, avg: 52.50, stddev: 2.87, median 52, min 48, max 57 + 48: ###################################################### 50260 + 49: ###################################################### 49590 + 50: ###################################################### 50170 + 51: ####################################################### 50270 + 52: ###################################################### 49805 + 53: ###################################################### 50161 + 54: ###################################################### 49919 + 55: ###################################################### 49971 + 56: ###################################################### 49980 + 57: ###################################################### 49874 + ++++ Stats for tree's depth ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats depth: + num: 1000, avg: 3.74, stddev: 3.28, median 3, min 1, max 15 + 1: ####################################################### 377 + 2: ################ 113 + 3: ############ 87 + 4: ################# 123 + 5: ########### 81 + 6: #### 33 + 7: ##### 40 + 8: ##### 39 + 9: # 9 + 10: ### 25 + 11: ####### 49 + 12: 4 + 13: # 9 + 14: # 7 + 15: 4 + ++++ Stats for range_subset_spec ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 5000, avg: 9.97, stddev: 6.08, median 10, min 0, max 20 + 0: ################################################# 246 + 1: ################################################ 244 + 2: ################################################ 240 + 3: ################################################ 243 + 4: ############################################## 232 + 5: ############################################## 230 + 6: ############################################### 239 + 7: ############################################### 235 + 8: ####################################################### 274 + 9: ############################################## 233 + 10: ########################################## 212 + 11: ############################################## 231 + 12: ############################################### 239 + 13: ############################################# 226 + 14: ############################################# 225 + 15: ################################################### 256 + 16: ################################################ 240 + 17: ############################################# 229 + 18: ################################################ 243 + 19: ################################################## 253 + 20: ############################################## 230 + ++++ Stats for string_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 7.49, stddev: 1.70, median 7, min 5, max 10 + 5: ##################################################### 837 + 6: ##################################################### 826 + 7: ###################################################### 843 + 8: ####################################################### 855 + 9: #################################################### 813 + 10: ##################################################### 826 + ++++ Stats for string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 384.53, stddev: 1330.61, median 9, min 0, max 9969 + 0.. 498: ####################################################### 4246 + 499.. 997: ###### 518 + 998..1496: 21 + 1497..1995: 10 + 1996..2494: 11 + 2495..2993: 10 + 2994..3492: 13 + 3493..3991: 13 + 3992..4490: 5 + 4491..4989: 10 + 4990..5488: 19 + 5489..5987: 9 + 5988..6486: 10 + 6487..6985: 12 + 6986..7484: 17 + 7485..7983: 16 + 7984..8482: 16 + 8483..8981: 16 + 8982..9480: 16 + 9481..9979: 12 + ++++ Stats for string_of len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 363.14, stddev: 1245.80, median 9, min 0, max 9986 + 0.. 499: ####################################################### 4270 + 500.. 999: ###### 493 + 1000.. 1499: 16 + 1500.. 1999: 11 + 2000.. 2499: 15 + 2500.. 2999: 17 + 3000.. 3499: 11 + 3500.. 3999: 19 + 4000.. 4499: 14 + 4500.. 4999: 10 + 5000.. 5499: 16 + 5500.. 5999: 11 + 6000.. 6499: 15 + 6500.. 6999: 13 + 7000.. 7499: 12 + 7500.. 7999: 16 + 8000.. 8499: 11 + 8500.. 8999: 4 + 9000.. 9499: 13 + 9500.. 9999: 13 + ++++ Stats for printable_string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 384.53, stddev: 1330.61, median 9, min 0, max 9969 + 0.. 498: ####################################################### 4246 + 499.. 997: ###### 518 + 998..1496: 21 + 1497..1995: 10 + 1996..2494: 11 + 2495..2993: 10 + 2994..3492: 13 + 3493..3991: 13 + 3992..4490: 5 + 4491..4989: 10 + 4990..5488: 19 + 5489..5987: 9 + 5988..6486: 10 + 6487..6985: 12 + 6986..7484: 17 + 7485..7983: 16 + 7984..8482: 16 + 8483..8981: 16 + 8982..9480: 16 + 9481..9979: 12 + ++++ Stats for small_string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 15.57, stddev: 24.36, median 6, min 0, max 99 + 0.. 4: #################################################### 1925 + 5.. 9: ####################################################### 2005 + 10.. 14: # 52 + 15.. 19: # 50 + 20.. 24: # 55 + 25.. 29: # 56 + 30.. 34: # 55 + 35.. 39: # 49 + 40.. 44: # 65 + 45.. 49: # 65 + 50.. 54: # 55 + 55.. 59: # 68 + 60.. 64: # 61 + 65.. 69: # 65 + 70.. 74: # 57 + 75.. 79: # 66 + 80.. 84: # 65 + 85.. 89: # 64 + 90.. 94: # 60 + 95.. 99: # 62 + ++++ Stats for pair dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats pair sum: + num: 500000, avg: 100.02, stddev: 41.22, median 100, min 0, max 200 + 0.. 9: ### 2685 + 10.. 19: ######## 7622 + 20.. 29: ############## 12474 + 30.. 39: #################### 17330 + 40.. 49: ########################## 22263 + 50.. 59: ############################### 26982 + 60.. 69: ##################################### 32182 + 70.. 79: ########################################### 37125 + 80.. 89: ################################################# 42287 + 90.. 99: ###################################################### 46691 + 100..109: ####################################################### 46977 + 110..119: ################################################# 42444 + 120..129: ############################################ 37719 + 130..139: ###################################### 32595 + 140..149: ################################ 27588 + 150..159: ########################## 22792 + 160..169: #################### 17805 + 170..179: ############### 13068 + 180..189: ######### 8218 + 190..199: ### 3115 + 200..209: 38 + ++++ Stats for triple dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats triple sum: + num: 500000, avg: 150.08, stddev: 50.51, median 150, min 0, max 299 + 0.. 14: 345 + 15.. 29: ## 2121 + 30.. 44: ##### 5372 + 45.. 59: ########## 10501 + 60.. 74: ################# 17031 + 75.. 89: ######################### 25417 + 90..104: ################################### 35148 + 105..119: ############################################# 45134 + 120..134: ################################################### 51751 + 135..149: ####################################################### 55090 + 150..164: ###################################################### 55074 + 165..179: #################################################### 52238 + 180..194: ############################################# 45651 + 195..209: ################################### 35994 + 210..224: ######################### 26039 + 225..239: ################# 17749 + 240..254: ########## 10870 + 255..269: ##### 5765 + 270..284: ## 2313 + 285..299: 397 + ++++ Stats for quad dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats quad sum: + num: 500000, avg: 200.13, stddev: 58.33, median 200, min 5, max 394 + 5.. 24: 102 + 25.. 44: 842 + 45.. 64: ## 3023 + 65.. 84: ###### 7154 + 85..104: ############ 14368 + 105..124: ##################### 25397 + 125..144: ############################### 37547 + 145..164: ########################################## 50174 + 165..184: ################################################## 60558 + 185..204: ####################################################### 65376 + 205..224: ##################################################### 63687 + 225..244: ############################################### 56248 + 245..264: ###################################### 45384 + 265..284: ########################## 31780 + 285..304: ################ 20158 + 305..324: ######### 10899 + 325..344: #### 5045 + 345..364: # 1848 + 365..384: 386 + 385..404: 24 + ++++ Stats for bind dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats ordered pair difference: + num: 1000000, avg: 25.02, stddev: 22.36, median 19, min 0, max 100 + 0.. 4: ####################################################### 193184 + 5.. 9: ##################################### 130024 + 10.. 14: ############################# 103828 + 15.. 19: ######################## 87496 + 20.. 24: ##################### 74431 + 25.. 29: ################## 64629 + 30.. 34: ################ 56663 + 35.. 39: ############# 48986 + 40.. 44: ############ 43424 + 45.. 49: ########## 37599 + 50.. 54: ######### 32787 + 55.. 59: ######## 28332 + 60.. 64: ###### 24023 + 65.. 69: ##### 20312 + 70.. 74: #### 16649 + 75.. 79: ### 13338 + 80.. 84: ## 10239 + 85.. 89: ## 7391 + 90.. 94: # 4548 + 95.. 99: 2015 + 100..104: 102 + +stats ordered pair sum: + num: 1000000, avg: 75.12, stddev: 46.93, median 72, min 0, max 200 + 0.. 9: ####################################################### 70423 + 10.. 19: ##################################################### 68068 + 20.. 29: ##################################################### 68449 + 30.. 39: ##################################################### 68577 + 40.. 49: ##################################################### 68763 + 50.. 59: ##################################################### 68351 + 60.. 69: ##################################################### 68744 + 70.. 79: ##################################################### 68451 + 80.. 89: ##################################################### 68309 + 90.. 99: ##################################################### 68835 + 100..109: ################################################## 64544 + 110..119: ########################################### 55512 + 120..129: ##################################### 47595 + 130..139: ############################### 39809 + 140..149: ######################### 32677 + 150..159: #################### 26312 + 160..169: ############### 20180 + 170..179: ########### 14265 + 180..189: ###### 8625 + 190..199: ## 3433 + 200..209: 78 + ++++ Stats for list len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 361.42, stddev: 1230.75, median 9, min 0, max 9974 + 0.. 498: ####################################################### 4212 + 499.. 997: ####### 578 + 998..1496: 11 + 1497..1995: 15 + 1996..2494: 11 + 2495..2993: 10 + 2994..3492: 13 + 3493..3991: 12 + 3992..4490: 7 + 4491..4989: 8 + 4990..5488: 15 + 5489..5987: 14 + 5988..6486: 12 + 6487..6985: 8 + 6986..7484: 9 + 7485..7983: 19 + 7984..8482: 14 + 8483..8981: 11 + 8982..9480: 11 + 9481..9979: 10 + ++++ Stats for small_list len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 15.79, stddev: 24.64, median 6, min 0, max 99 + 0.. 4: ###################################################### 1930 + 5.. 9: ####################################################### 1957 + 10.. 14: # 59 + 15.. 19: # 66 + 20.. 24: # 61 + 25.. 29: # 52 + 30.. 34: # 61 + 35.. 39: # 65 + 40.. 44: # 62 + 45.. 49: # 64 + 50.. 54: # 70 + 55.. 59: # 63 + 60.. 64: # 50 + 65.. 69: # 51 + 70.. 74: # 52 + 75.. 79: # 63 + 80.. 84: # 56 + 85.. 89: ## 75 + 90.. 94: ## 73 + 95.. 99: # 70 + ++++ Stats for list_of_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 7.51, stddev: 1.71, median 8, min 5, max 10 + 5: ###################################################### 834 + 6: ##################################################### 825 + 7: ##################################################### 820 + 8: ###################################################### 833 + 9: ####################################################### 844 + 10: ####################################################### 844 + ++++ Stats for list_repeat len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 42.00, stddev: 0.00, median 42, min 42, max 42 + 42: ####################################################### 5000 + ++++ Stats for array len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 361.42, stddev: 1230.75, median 9, min 0, max 9974 + 0.. 498: ####################################################### 4212 + 499.. 997: ####### 578 + 998..1496: 11 + 1497..1995: 15 + 1996..2494: 11 + 2495..2993: 10 + 2994..3492: 13 + 3493..3991: 12 + 3992..4490: 7 + 4491..4989: 8 + 4990..5488: 15 + 5489..5987: 14 + 5988..6486: 12 + 6487..6985: 8 + 6986..7484: 9 + 7485..7983: 19 + 7984..8482: 14 + 8483..8981: 11 + 8982..9480: 11 + 9481..9979: 10 + ++++ Stats for small_array len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 15.79, stddev: 24.64, median 6, min 0, max 99 + 0.. 4: ###################################################### 1930 + 5.. 9: ####################################################### 1957 + 10.. 14: # 59 + 15.. 19: # 66 + 20.. 24: # 61 + 25.. 29: # 52 + 30.. 34: # 61 + 35.. 39: # 65 + 40.. 44: # 62 + 45.. 49: # 64 + 50.. 54: # 70 + 55.. 59: # 63 + 60.. 64: # 50 + 65.. 69: # 51 + 70.. 74: # 52 + 75.. 79: # 63 + 80.. 84: # 56 + 85.. 89: ## 75 + 90.. 94: ## 73 + 95.. 99: # 70 + ++++ Stats for array_of_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 7.51, stddev: 1.71, median 8, min 5, max 10 + 5: ###################################################### 834 + 6: ##################################################### 825 + 7: ##################################################### 820 + 8: ###################################################### 833 + 9: ####################################################### 844 + 10: ####################################################### 844 + ++++ Stats for array_repeat len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats len: + num: 5000, avg: 42.00, stddev: 0.00, median 42, min 42, max 42 + 42: ####################################################### 5000 + ++++ Stats for int_stats_neg ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 5000, avg: 0.17, stddev: 29.68, median 0, min -99, max 99 + -99..-90: # 65 + -89..-80: # 63 + -79..-70: # 64 + -69..-60: # 58 + -59..-50: # 67 + -49..-40: # 72 + -39..-30: # 61 + -29..-20: # 61 + -19..-10: # 67 + -9.. 0: ####################################################### 2076 + 1.. 10: ############################################## 1764 + 11.. 20: # 66 + 21.. 30: # 64 + 31.. 40: # 64 + 41.. 50: # 67 + 51.. 60: # 60 + 61.. 70: # 75 + 71.. 80: # 60 + 81.. 90: # 60 + 91..100: # 66 + ++++ Stats for small_signed_int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 0.90, stddev: 28.23, median 0, min -99, max 99 + -99..-90: # 12 + -89..-80: # 11 + -79..-70: # 9 + -69..-60: 6 + -59..-50: # 11 + -49..-40: # 13 + -39..-30: # 9 + -29..-20: # 13 + -19..-10: 8 + -9.. 0: ####################################################### 453 + 1.. 10: ######################################### 340 + 11.. 20: # 15 + 21.. 30: # 11 + 31.. 40: # 12 + 41.. 50: # 13 + 51.. 60: # 13 + 61.. 70: # 16 + 71.. 80: # 9 + 81.. 90: # 16 + 91..100: # 10 + ++++ Stats for small_nat dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 15.11, stddev: 23.27, median 6, min 0, max 99 + 0.. 4: #################################################### 377 + 5.. 9: ####################################################### 392 + 10.. 14: ## 20 + 15.. 19: ## 15 + 20.. 24: # 11 + 25.. 29: ## 17 + 30.. 34: ## 19 + 35.. 39: ## 17 + 40.. 44: # 10 + 45.. 49: # 9 + 50.. 54: # 8 + 55.. 59: # 9 + 60.. 64: ## 15 + 65.. 69: # 10 + 70.. 74: # 13 + 75.. 79: ## 19 + 80.. 84: # 11 + 85.. 89: # 13 + 90.. 94: 5 + 95.. 99: # 10 + ++++ Stats for nat dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 363.02, stddev: 1215.04, median 9, min 0, max 9476 + 0.. 473: ####################################################### 847 + 474.. 947: ###### 95 + 948..1421: 14 + 1422..1895: 3 + 1896..2369: 0 + 2370..2843: 3 + 2844..3317: 2 + 3318..3791: 3 + 3792..4265: 2 + 4266..4739: 4 + 4740..5213: 3 + 5214..5687: 4 + 5688..6161: 3 + 6162..6635: 4 + 6636..7109: 1 + 7110..7583: 4 + 7584..8057: 2 + 8058..8531: 1 + 8532..9005: 1 + 9006..9479: 4 + ++++ Stats for int_range (-43643) 435434 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 195335.64, stddev: 136803.99, median 195583, min -43624, max 435210 + -43624..-19683: ############################################ 52 + -19682.. 4259: ######################################## 47 + 4260.. 28201: ############################## 36 + 28202.. 52143: ############################################ 52 + 52144.. 76085: ########################################## 50 + 76086..100027: ####################################################### 64 + 100028..123969: ############################################### 55 + 123970..147911: ######################################## 47 + 147912..171853: ############################################## 54 + 171854..195795: #################################### 43 + 195796..219737: ############################################## 54 + 219738..243679: ########################################### 51 + 243680..267621: ################################################ 57 + 267622..291563: ########################################## 49 + 291564..315505: #################################### 42 + 315506..339447: ###################################### 45 + 339448..363389: ################################################ 57 + 363390..387331: ###################################### 45 + 387332..411273: ########################################## 49 + 411274..435215: ########################################### 51 + ++++ Stats for int_range (-40000) 40000 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: -173.78, stddev: 23042.92, median 180, min -39859, max 39942 + -39859..-35869: ############################################# 56 + -35868..-31878: ################################### 43 + -31877..-27887: ################################################# 60 + -27886..-23896: ##################################### 46 + -23895..-19905: ######################################## 49 + -19904..-15914: #################################### 45 + -15913..-11923: ############################################ 54 + -11922.. -7932: ############################################### 58 + -7931.. -3941: ######################################### 51 + -3940.. 50: ############################ 35 + 51.. 4041: ####################################### 48 + 4042.. 8032: ########################################## 52 + 8033.. 12023: ######################################### 51 + 12024.. 16014: ########################################### 53 + 16015.. 20005: ############################################ 54 + 20006.. 23996: ################################## 42 + 23997.. 27987: ####################################################### 67 + 27988.. 31978: ################################ 40 + 31979.. 35969: ######################################### 51 + 35970.. 39960: #################################### 45 + ++++ Stats for int_range (-4) 4 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 0.02, stddev: 2.55, median 0, min -4, max 4 + -4: ############################################ 99 + -3: ##################################################### 118 + -2: ################################################## 111 + -1: ################################################## 113 + 0: ################################################## 113 + 1: ##################################################### 118 + 2: ############################################# 102 + 3: ####################################################### 122 + 4: ############################################## 104 + ++++ Stats for int_range (-4) 17 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 6.67, stddev: 6.39, median 7, min -4, max 17 + -4..-3: ############################################# 90 + -2..-1: ############################################# 91 + 0.. 1: ########################################## 84 + 2.. 3: ############################################## 92 + 4.. 5: ########################################### 87 + 6.. 7: ########################################### 86 + 8.. 9: ############################################ 89 + 10..11: ########################################### 87 + 12..13: ####################################################### 110 + 14..15: ############################################# 91 + 16..17: ############################################## 93 + 18..19: 0 + 20..21: 0 + 22..23: 0 + 24..25: 0 + 26..27: 0 + 28..29: 0 + 30..31: 0 + 32..33: 0 + 34..35: 0 + ++++ Stats for int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 100000, avg: 336840.90, stddev: 619301756.02, median 895228, min -1073728193, max 1073739280 + -1073728193.. -966354820: ##################################################### 5009 + -966354819.. -858981446: #################################################### 5004 + -858981445.. -751608072: #################################################### 4917 + -751608071.. -644234698: ##################################################### 5028 + -644234697.. -536861324: #################################################### 4962 + -536861323.. -429487950: ##################################################### 5039 + -429487949.. -322114576: #################################################### 4927 + -322114575.. -214741202: ##################################################### 5054 + -214741201.. -107367828: ##################################################### 5065 + -107367827.. 5546: #################################################### 4954 + 5547.. 107378920: #################################################### 4943 + 107378921.. 214752294: ################################################### 4900 + 214752295.. 322125668: ###################################################### 5126 + 322125669.. 429499042: ####################################################### 5198 + 429499043.. 536872416: #################################################### 4988 + 536872417.. 644245790: #################################################### 4940 + 644245791.. 751619164: #################################################### 5002 + 751619165.. 858992538: #################################################### 4928 + 858992539.. 966365912: ##################################################### 5070 + 966365913.. 1073739286: #################################################### 4946 + ++++ Stats for oneof int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 1073741.63, stddev: 676575790.92, median 0, min -1073741824, max 1073741823 + -1073741824.. -966367642: ################## 208 + -966367641.. -858993459: 0 + -858993458.. -751619276: 0 + -751619275.. -644245093: 0 + -644245092.. -536870910: 0 + -536870909.. -429496727: 0 + -429496726.. -322122544: 0 + -322122543.. -214748361: 0 + -214748360.. -107374178: 0 + -107374177.. 5: ####################################################### 603 + 6.. 107374188: 0 + 107374189.. 214748371: 0 + 214748372.. 322122554: 0 + 322122555.. 429496737: 0 + 429496738.. 536870920: 0 + 536870921.. 644245103: 0 + 644245104.. 751619286: 0 + 751619287.. 858993469: 0 + 858993470.. 966367652: 0 + 966367653.. 1073741823: ################# 189 +================================================================================ +1 warning(s) +failure (60 tests failed, 3 tests errored, ran 140 tests) +random seed: 153870556 + ++++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +stats dist: + num: 1000, avg: 10351291.88, stddev: 432212939.52, median 9, min -1066972208, max 1073741823 + -1066972208.. -959936507: ## 27 + -959936506.. -852900805: ## 22 + -852900804.. -745865103: ## 22 + -745865102.. -638829401: # 18 + -638829400.. -531793699: # 17 + -531793698.. -424757997: ## 21 + -424757996.. -317722295: ### 33 + -317722294.. -210686593: ### 33 + -210686592.. -103650891: ### 32 + -103650890.. 3384811: ####################################################### 516 + 3384812.. 110420513: ### 34 + 110420514.. 217456215: ### 34 + 217456216.. 324491917: # 17 + 324491918.. 431527619: ## 24 + 431527620.. 538563321: ## 26 + 538563322.. 645599023: ## 20 + 645599024.. 752634725: ## 24 + 752634726.. 859670427: ## 27 + 859670428.. 966706129: ## 27 + 966706130.. 1073741823: ## 26 +================================================================================ +success (ran 1 tests) diff --git a/test/core/QCheck_expect_test.expected b/test/core/QCheck_expect_test.expected.64 similarity index 100% rename from test/core/QCheck_expect_test.expected rename to test/core/QCheck_expect_test.expected.64 diff --git a/test/core/dune b/test/core/dune index f14c8571..a60f71ae 100644 --- a/test/core/dune +++ b/test/core/dune @@ -1,3 +1,7 @@ +(* -*- tuareg -*- *) + +let dune = Printf.sprintf {| + (library (name QCheck_tests) (modules QCheck_tests) @@ -8,16 +12,38 @@ (modules QCheck2_tests) (libraries qcheck-core)) -(tests - (names QCheck_expect_test) +(executable + (name QCheck_expect_test) (modules QCheck_expect_test) (libraries qcheck-core qcheck-core.runner QCheck_tests)) -(tests - (names QCheck2_expect_test) +(rule + (targets QCheck_expect_test.out) + (action + (with-stdout-to %%{targets} + (run ./QCheck_expect_test.exe --no-colors -s 1234)))) + +(rule + (alias runtest) + (package qcheck-core) + (action (diff QCheck_expect_test.expected.%i QCheck_expect_test.out))) + +(executable + (name QCheck2_expect_test) (modules QCheck2_expect_test) (libraries qcheck-core qcheck-core.runner QCheck2_tests)) +(rule + (targets QCheck2_expect_test.out) + (action + (with-stdout-to %%{targets} + (run ./QCheck2_expect_test.exe --no-colors -s 1234)))) + +(rule + (alias runtest) + (package qcheck-core) + (action (diff QCheck2_expect_test.expected.%i QCheck2_expect_test.out))) + (tests (names QCheck_unit_tests QCheck2_unit_tests) (modules QCheck_unit_tests QCheck2_unit_tests) @@ -28,3 +54,7 @@ (name shrink_benchmark) (modules shrink_benchmark) (libraries qcheck-core qcheck-core.runner QCheck_tests QCheck2_tests)) + +|} Sys.word_size Sys.word_size + +let () = Jbuild_plugin.V1.send dune From 474aa3d10981c039a4e6524e9c29703502243004 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 6 Jul 2022 20:37:36 +0200 Subject: [PATCH 7/7] update CHANGELOG --- CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index ee28ed08..9fdd7e0d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -53,6 +53,8 @@ - add environment variable `QCHECK_LONG_FACTOR` similar to `QCHECK_COUNT` [#220](https://github.com/c-cube/qcheck/pull/220) +- make test suite run on 32-bit architectures + ## 0.18.1 - fix `Gen.{nat,pos}_split{2,}`