From dcf4197bdd741c6fb8c1595343b0e6f7a58a935e Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 5 Feb 2025 17:33:02 +0100 Subject: [PATCH] Update QCheck2 expect tests wrt split change on OCaml 4 --- .../QCheck2_expect_test.expected.ocaml4.32 | 1123 ++++++++-------- .../QCheck2_expect_test.expected.ocaml4.64 | 1192 +++++++++-------- 2 files changed, 1182 insertions(+), 1133 deletions(-) diff --git a/test/core/QCheck2_expect_test.expected.ocaml4.32 b/test/core/QCheck2_expect_test.expected.ocaml4.32 index f8e83f04..80ab3d81 100644 --- a/test/core/QCheck2_expect_test.expected.ocaml4.32 +++ b/test/core/QCheck2_expect_test.expected.ocaml4.32 @@ -1,94 +1,112 @@ 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 (2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) --693587245 -693587244 +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 (5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +602816853 0 -346793622 +301408426 0 -173396811 +150704213 0 -86698405 +75352106 0 -43349202 +37676053 0 -21674601 +18838026 0 -10837300 +9419013 0 -5418650 +4709506 0 -2709325 +2354753 0 -1354662 +1177376 0 -677331 +588688 0 -338665 +294344 0 -169332 +147172 0 -84666 +73586 0 -42333 +36793 0 -21166 +18396 0 -10583 +9198 0 -5291 +4599 0 -2645 +2299 0 -1322 +1149 0 -661 +574 0 -330 +287 0 -165 +143 0 -82 +71 0 -41 +35 0 -20 +17 0 -10 +8 0 -5 +4 0 2 0 1 0 -[16; 1; 1] -[16; 1] -[16] -[] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65; 2; 4; 55; 2; 4; 87; 9; 5; 35; 73; 9; 9; 2; 74; 5; 9; 10; 93; 2; 7; 1; 4; 6; 91; 8; 8; 2; 9; 47; 6; 26; 3; 60; 1; 0; 5; 26; 4; 28; 6; 0; 5; 88; 3; 7] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65; 2; 4; 55; 2; 4; 87; 9; 5; 35; 73; 9; 9; 2; 74; 5] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65] +[0; 13; 4; 6; 14; 6; 47; 3] +[0; 13; 4; 6] +[0; 13] [0] -[16; 1; 1] -[16; 1] -[1] -[0; 1; 1] -[0; 0; 1] +[] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65; 2; 4; 55; 2; 4; 87; 9; 5; 35; 73; 9; 9; 2; 74; 5; 9; 10; 93; 2; 7; 1; 4; 6; 91; 8; 8; 2; 9; 47; 6; 26; 3; 60; 1; 0; 5; 26; 4; 28; 6; 0; 5; 88; 3; 7] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65; 2; 4; 55; 2; 4; 87; 9; 5; 35; 73; 9; 9; 2; 74; 5] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65] +[0; 13; 4; 6; 14; 6; 47; 3] +[0; 13; 4; 6] +[14; 6; 47; 3] +[13; 4; 6; 14; 6; 47; 3] +[13; 4; 6; 14] +[6; 47; 3] +[4; 6; 14; 6; 47; 3] +[4; 6; 14] +[6; 47; 3] +[6; 14; 6; 47; 3] +[6; 14; 6] +[6; 14] +[6] +[0; 14; 6] +[3; 14; 6] +[5; 14; 6] +[6; 0; 6] +[0; 0; 6] [0; 0; 0] --- Failure -------------------------------------------------------------------- -Test should_fail_sort_id failed (6 shrink steps): +Test should_fail_sort_id failed (5 shrink steps): [1; 0] === Error ====================================================================== -Test should_error_raise_exn errored on (2 shrink steps): +Test should_error_raise_exn errored on (1 shrink steps): 0 @@ -206,7 +224,7 @@ Test big bound issue59 failed (0 shrink steps): --- Failure -------------------------------------------------------------------- -Test long_shrink failed (2998 shrink steps): +Test long_shrink failed (3053 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]) @@ -218,7 +236,7 @@ Test ints arent 0 mod 3 failed (1 shrink steps): --- Failure -------------------------------------------------------------------- -Test ints are 0 failed (30 shrink steps): +Test ints are 0 failed (29 shrink steps): 1 @@ -278,13 +296,13 @@ Test printable never produces less than '5 failed (1 shrink steps): --- Failure -------------------------------------------------------------------- -Test bytes are empty failed (3 shrink steps): +Test bytes are empty failed (7 shrink steps): "a" --- Failure -------------------------------------------------------------------- -Test bytes never has a \000 char failed (9 shrink steps): +Test bytes never has a \000 char failed (13 shrink steps): "\000" @@ -296,19 +314,19 @@ Test bytes never has a \255 char failed (5 shrink steps): --- Failure -------------------------------------------------------------------- -Test bytes have unique chars failed (31 shrink steps): +Test bytes have unique chars failed (16 shrink steps): -"aaaaaaaaaaa" +"aaa" --- Failure -------------------------------------------------------------------- -Test strings are empty failed (3 shrink steps): +Test strings are empty failed (7 shrink steps): "a" --- Failure -------------------------------------------------------------------- -Test string never has a \000 char failed (9 shrink steps): +Test string never has a \000 char failed (13 shrink steps): "\000" @@ -320,15 +338,15 @@ Test string never has a \255 char failed (5 shrink steps): --- Failure -------------------------------------------------------------------- -Test strings have unique chars failed (31 shrink steps): +Test strings have unique chars failed (16 shrink steps): -"aaaaaaaaaaa" +"aaa" --- Failure -------------------------------------------------------------------- Test pairs have different components failed (0 shrink steps): -(6, 6) +(3, 3) --- Failure -------------------------------------------------------------------- @@ -338,7 +356,7 @@ Test pairs have same components failed (31 shrink steps): --- Failure -------------------------------------------------------------------- -Test pairs have a zero component failed (59 shrink steps): +Test pairs have a zero component failed (58 shrink steps): (1, 1) @@ -350,67 +368,67 @@ Test pairs are (0,0) failed (31 shrink steps): --- Failure -------------------------------------------------------------------- -Test pairs are ordered failed (44 shrink steps): +Test pairs are ordered failed (39 shrink steps): (1, 0) --- Failure -------------------------------------------------------------------- -Test pairs are ordered reversely failed (29 shrink steps): +Test pairs are ordered reversely failed (30 shrink steps): (0, 1) --- Failure -------------------------------------------------------------------- -Test pairs sum to less than 128 failed (24 shrink steps): +Test pairs sum to less than 128 failed (26 shrink steps): (0, 128) --- Failure -------------------------------------------------------------------- -Test pairs lists rev concat failed (35 shrink steps): +Test pairs lists rev concat failed (34 shrink steps): ([0], [1]) --- Failure -------------------------------------------------------------------- -Test pairs lists no overlap failed (6 shrink steps): +Test pairs lists no overlap failed (12 shrink steps): -([1], [1]) +([0], [0]) --- Failure -------------------------------------------------------------------- -Test triples have pair-wise different components failed (3 shrink steps): +Test triples have pair-wise different components failed (2 shrink steps): (0, 0, 0) --- Failure -------------------------------------------------------------------- -Test triples have same components failed (32 shrink steps): +Test triples have same components failed (33 shrink steps): (0, 1, 0) --- Failure -------------------------------------------------------------------- -Test triples are ordered failed (3 shrink steps): +Test triples are ordered failed (4 shrink steps): (0, 0, -1) --- Failure -------------------------------------------------------------------- -Test triples are ordered reversely failed (60 shrink steps): +Test triples are ordered reversely failed (61 shrink steps): (0, 0, 1) --- Failure -------------------------------------------------------------------- -Test quadruples have pair-wise different components failed (4 shrink steps): +Test quadruples have pair-wise different components failed (3 shrink steps): (0, 0, 0, 0) --- Failure -------------------------------------------------------------------- -Test quadruples have same components failed (60 shrink steps): +Test quadruples have same components failed (61 shrink steps): (0, 1, 0, 1) @@ -428,19 +446,19 @@ Test quadruples are ordered reversely failed (62 shrink steps): --- Failure -------------------------------------------------------------------- -Test forall (a, b) in nat: a < b failed (7 shrink steps): +Test forall (a, b) in nat: a < b failed (1 shrink steps): (0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c) in nat: a < b < c failed (4 shrink steps): +Test forall (a, b, c) in nat: a < b < c failed (2 shrink steps): (0, 0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c, d) in nat: a < b < c < d failed (4 shrink steps): +Test forall (a, b, c, d) in nat: a < b < c < d failed (3 shrink steps): (0, 0, 0, 0) @@ -464,13 +482,13 @@ Test forall (a, b, c, d, e, f, g) in nat: a < b < c < d < e < f < g failed (6 sh --- Failure -------------------------------------------------------------------- -Test forall (a, b, c, d, e, f, g, h) in nat: a < b < c < d < e < f < g < h failed (6 shrink steps): +Test forall (a, b, c, d, e, f, g, h) in nat: a < b < c < d < e < f < g < h failed (7 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 (7 shrink steps): +Test forall (a, b, c, d, e, f, g, h, i) in nat: a < b < c < d < e < f < g < h < i failed (8 shrink steps): (0, 0, 0, 0, 0, 0, 0, 0, 0) @@ -488,31 +506,31 @@ Test bind list_size constant failed (12 shrink steps): --- Failure -------------------------------------------------------------------- -Test lists are empty failed (3 shrink steps): +Test lists are empty failed (6 shrink steps): [0] --- Failure -------------------------------------------------------------------- -Test lists shorter than 10 failed (16 shrink steps): +Test lists shorter than 10 failed (18 shrink steps): [0; 0; 0; 0; 0; 0; 0; 0; 0; 0] --- Failure -------------------------------------------------------------------- -Test lists shorter than 432 failed (405 shrink steps): +Test lists shorter than 432 failed (403 shrink steps): [...] list length: 432 --- Failure -------------------------------------------------------------------- -Test lists shorter than 4332 failed (3998 shrink steps): +Test lists shorter than 4332 failed (4022 shrink steps): [...] list length: 4332 --- Failure -------------------------------------------------------------------- -Test lists have unique elems failed (3 shrink steps): +Test lists have unique elems failed (10 shrink steps): [0; 0; 0] @@ -530,7 +548,7 @@ None --- Failure -------------------------------------------------------------------- -Test (int,string) result are Ok failed (2 shrink steps): +Test (int,string) result are Ok failed (4 shrink steps): Error ("") @@ -542,7 +560,7 @@ Ok (0) --- Failure -------------------------------------------------------------------- -Test tree contains only 42 failed (2 shrink steps): +Test tree contains only 42 failed (1 shrink steps): Leaf 0 @@ -550,56 +568,62 @@ Leaf 0 Test sum list = 0 failed (0 shrink steps): -[16; 1; 1] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65; 2; 4; 55; 2; 4; 87; 9; 5; 35; 73; 9; 9; 2; 74; 5; 9; 10; 93; 2; 7; 1; 4; 6; 91; 8; 8; 2; 9; 47; 6; 26; 3; 60; 1; 0; 5; 26; 4; 28; 6; 0; 5; 88; 3; 7] --- Failure -------------------------------------------------------------------- -Test fail_pred_map_commute_int failed (14 shrink steps): +Test fail_pred_map_commute_int failed (53 shrink steps): -([0], {0 -> -1; _ -> 0}, {0 -> true; _ -> false}) +([0], {0 -> 5; _ -> 0}, {5 -> true; _ -> false}) --- Failure -------------------------------------------------------------------- -Test fail_pred_map_commute_int32 failed (58 shrink steps): +Test fail_pred_map_commute_int32 failed (54 shrink steps): -([0l], {0l -> 1l; _ -> 0l}, {0l -> true; _ -> false}) +([0l], {0l -> -15l; _ -> 0l}, {-15l -> true; _ -> false}) --- Failure -------------------------------------------------------------------- -Test fail_pred_map_commute_int64 failed (113 shrink steps): +Test fail_pred_map_commute_int64 failed (105 shrink steps): -([0L], {0L -> 1L; _ -> 0L}, {0L -> true; _ -> false}) +([0L], {0L -> -71L; _ -> 0L}, {-71L -> true; _ -> false}) --- Failure -------------------------------------------------------------------- -Test fail_pred_strings failed (1 shrink steps): +Test fail_pred_strings failed (0 shrink steps): {"some random string" -> true; "some other string" -> false; _ -> false} --- Failure -------------------------------------------------------------------- -Test fold_left fold_right failed (10 shrink steps): +Test fold_left fold_right failed (17 shrink steps): -(0, [1], {(1, 0) -> 1; _ -> 0}) +(0, [1], {(0, 1) -> 1; _ -> 0}) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test fold_left fold_right: -l=[1], fold_left=1, fold_right=0 +l=[1], fold_left=0, fold_right=1 --- Failure -------------------------------------------------------------------- -Test fold_left fold_right uncurried failed (62 shrink steps): +Test fold_left fold_right uncurried failed (14 shrink steps): -({(5, 2) -> 0; (4, 1) -> 0; (1, 2) -> 1; (79, 4) -> 0; (9, 6) -> 0; (7, 3) -> 0; (3, 8) -> 0; (17, 6) -> 0; (37, 6) -> 0; (4, 8) -> 0; (17, 3) -> 0; (3, 4) -> 0; (84, 79) -> 0; (8, 1) -> 0; (6, 8) -> 0; (4, 17) -> 0; (3, 5) -> 0; (1, 6) -> 0; (9, 4) -> 0; (2, 5) -> 0; (5, 4) -> 0; (3, 76) -> 0; (9, 3) -> 0; (3, 1) -> 0; (8, 3) -> 0; (3, 24) -> 0; (34, 1) -> 0; (3, 3) -> 0; (6, 9) -> 0; (76, 8) -> 0; (67, 3) -> 0; (8, 9) -> 0; (2, 24) -> 0; (1, 1) -> 0; (1, 5) -> 0; (2, 3) -> 0; (6, 2) -> 0; (5, 8) -> 0; (5, 7) -> 0; (5, 6) -> 0; (24, 5) -> 0; (2, 17) -> 0; (6, 1) -> 0; (7, 6) -> 0; (6, 3) -> 0; (2, 4) -> 0; (1, 9) -> 0; _ -> 0}, 1, [2]) +({(9, 6) -> 0; (1, 5) -> 0; (4, 8) -> 1; (9, 8) -> 0; _ -> 0}, 8, [4]) --- Failure -------------------------------------------------------------------- -Test fold_left fold_right uncurried fun last failed (10 shrink steps): +Test fold_left fold_right uncurried fun last failed (48 shrink steps): -(0, [1], {(0, 1) -> 1; _ -> 0}) +(0, [0; 1], {(0, 0) -> 1; _ -> 0}) + +--- Failure -------------------------------------------------------------------- + +Test fold_left test, fun first failed (87 shrink steps): + +({("\188Bt\000", 9) -> ""; ("8\252D", 2) -> ""; ("\241\223v\190~>", 6) -> "a"; ("\252R\2108,\226\019\006\t", 2) -> ""; ("\154\241\031\198W\176\ng\150\002\213\197\026\221z\019\151", 0) -> ""; ("1\015\255", 46) -> "a"; ("\177W\174", 8) -> ""; ("\0140WD\024%\195\145\176\200\023\185\138\247\193\172[+\237\186LT\158\208y|\223\231\192\012#\144c\016", 66) -> ""; ("Z}(:?\216", 4) -> ""; ("", 13) -> "a"; ("", 9) -> ""; ("\144\189\"\030E\183\024h\023", 8) -> ""; ("\147\172\209U\252\209\bM&\175m\005\250N[p\180\204jh\217$I\208\002H\168[F\174\145\190b\151w\174\177Ib|\022\149\224\140\250E\239\216g\249\137\246\252\229\192\136\249\131\182&\127\173\015\147H\240\201\166\163\163\239\196", 29) -> ""; ("B\012\251", 1) -> "a"; ("\140", 9) -> ""; ("@\131}\002uPha\151\245\224\240\148ad\191", 7) -> ""; _ -> ""}, "", [0; 13], [0]) --- Failure -------------------------------------------------------------------- @@ -684,445 +708,445 @@ stats char code: +++ Stats for tree's depth ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats depth: - num: 1000, avg: 3.92, stddev: 3.36, median 3, min 1, max 15 - 1: ####################################################### 364 - 2: ############## 96 - 3: ############ 83 - 4: ##################### 145 - 5: ########## 71 - 6: ##### 34 - 7: ###### 44 - 8: ####### 49 - 9: # 11 - 10: ### 24 - 11: ######## 54 + num: 1000, avg: 3.97, stddev: 3.35, median 3, min 1, max 15 + 1: ####################################################### 356 + 2: ############## 91 + 3: ############### 98 + 4: ################### 129 + 5: ############ 78 + 6: #### 31 + 7: ####### 47 + 8: ######## 53 + 9: # 12 + 10: #### 27 + 11: ######## 55 12: 3 - 13: 6 - 14: # 12 - 15: 4 + 13: # 8 + 14: # 9 + 15: 3 +++ Stats for bytes_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.47, stddev: 1.70, median 7, min 5, max 10 - 5: ##################################################### 848 - 6: #################################################### 829 - 7: ####################################################### 869 - 8: ##################################################### 839 - 9: ################################################# 787 - 10: #################################################### 828 + num: 5000, avg: 7.53, stddev: 1.71, median 8, min 5, max 10 + 5: #################################################### 814 + 6: #################################################### 809 + 7: ##################################################### 830 + 8: ###################################################### 845 + 9: ####################################################### 854 + 10: ###################################################### 848 +++ Stats for bytes len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for bytes_of len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for bytes_printable len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for bytes_small len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 16.26, stddev: 24.83, median 6, min 0, max 99 - 0.. 4: #################################################### 1868 - 5.. 9: ####################################################### 1967 - 10.. 14: # 66 - 15.. 19: # 62 - 20.. 24: # 70 - 25.. 29: # 59 - 30.. 34: # 62 - 35.. 39: # 62 - 40.. 44: ## 73 - 45.. 49: # 66 - 50.. 54: # 68 - 55.. 59: # 59 - 60.. 64: # 61 - 65.. 69: ## 75 - 70.. 74: # 56 - 75.. 79: # 64 - 80.. 84: # 46 - 85.. 89: ## 72 - 90.. 94: # 67 - 95.. 99: ## 77 + num: 5000, avg: 15.47, stddev: 24.03, median 6, min 0, max 99 + 0.. 4: ####################################################### 1958 + 5.. 9: ##################################################### 1914 + 10.. 14: # 64 + 15.. 19: ## 75 + 20.. 24: # 64 + 25.. 29: # 71 + 30.. 34: ## 74 + 35.. 39: # 60 + 40.. 44: # 61 + 45.. 49: # 57 + 50.. 54: # 62 + 55.. 59: # 58 + 60.. 64: # 63 + 65.. 69: # 46 + 70.. 74: # 67 + 75.. 79: # 62 + 80.. 84: # 57 + 85.. 89: # 67 + 90.. 94: # 66 + 95.. 99: # 54 +++ Stats for string_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.47, stddev: 1.70, median 7, min 5, max 10 - 5: ##################################################### 848 - 6: #################################################### 829 - 7: ####################################################### 869 - 8: ##################################################### 839 - 9: ################################################# 787 - 10: #################################################### 828 + num: 5000, avg: 7.53, stddev: 1.71, median 8, min 5, max 10 + 5: #################################################### 814 + 6: #################################################### 809 + 7: ##################################################### 830 + 8: ###################################################### 845 + 9: ####################################################### 854 + 10: ###################################################### 848 +++ Stats for string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for string_of len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for string_printable len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for small_string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 16.26, stddev: 24.83, median 6, min 0, max 99 - 0.. 4: #################################################### 1868 - 5.. 9: ####################################################### 1967 - 10.. 14: # 66 - 15.. 19: # 62 - 20.. 24: # 70 - 25.. 29: # 59 - 30.. 34: # 62 - 35.. 39: # 62 - 40.. 44: ## 73 - 45.. 49: # 66 - 50.. 54: # 68 - 55.. 59: # 59 - 60.. 64: # 61 - 65.. 69: ## 75 - 70.. 74: # 56 - 75.. 79: # 64 - 80.. 84: # 46 - 85.. 89: ## 72 - 90.. 94: # 67 - 95.. 99: ## 77 + num: 5000, avg: 15.47, stddev: 24.03, median 6, min 0, max 99 + 0.. 4: ####################################################### 1958 + 5.. 9: ##################################################### 1914 + 10.. 14: # 64 + 15.. 19: ## 75 + 20.. 24: # 64 + 25.. 29: # 71 + 30.. 34: ## 74 + 35.. 39: # 60 + 40.. 44: # 61 + 45.. 49: # 57 + 50.. 54: # 62 + 55.. 59: # 58 + 60.. 64: # 63 + 65.. 69: # 46 + 70.. 74: # 67 + 75.. 79: # 62 + 80.. 84: # 57 + 85.. 89: # 67 + 90.. 94: # 66 + 95.. 99: # 54 +++ Stats for pair dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats pair sum: - num: 500000, avg: 99.97, stddev: 41.23, median 100, min 0, max 200 - 0.. 9: ### 2732 - 10.. 19: ######## 7470 - 20.. 29: ############## 12606 - 30.. 39: #################### 17281 - 40.. 49: ######################### 22161 - 50.. 59: ################################ 27693 - 60.. 69: ##################################### 32264 - 70.. 79: ########################################### 37078 - 80.. 89: ################################################ 41933 - 90.. 99: ##################################################### 46178 - 100..109: ####################################################### 47368 - 110..119: ################################################# 42440 - 120..129: ########################################### 37526 - 130..139: ##################################### 32630 - 140..149: ############################### 27558 - 150..159: ########################## 22873 - 160..169: #################### 17956 - 170..179: ############### 13095 - 180..189: ######### 7957 - 190..199: ### 3157 - 200..209: 44 + num: 500000, avg: 100.09, stddev: 41.23, median 100, min 0, max 200 + 0.. 9: ### 2599 + 10.. 19: ######## 7571 + 20.. 29: ############## 12587 + 30.. 39: #################### 17235 + 40.. 49: ########################## 22334 + 50.. 59: ############################### 27179 + 60.. 69: ##################################### 32092 + 70.. 79: ########################################### 37071 + 80.. 89: ################################################ 41592 + 90.. 99: ###################################################### 46677 + 100..109: ####################################################### 47155 + 110..119: ################################################# 42772 + 120..129: ########################################### 37679 + 130..139: ###################################### 32681 + 140..149: ################################ 27465 + 150..159: ########################## 23061 + 160..169: #################### 17923 + 170..179: ############### 12910 + 180..189: ######### 8135 + 190..199: ### 3233 + 200..209: 49 +++ Stats for triple dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats triple sum: - num: 500000, avg: 150.03, stddev: 50.48, median 150, min 0, max 299 - 0.. 14: 313 - 15.. 29: ## 2122 - 30.. 44: ##### 5446 - 45.. 59: ########## 10500 - 60.. 74: ################ 17013 - 75.. 89: ######################### 25666 - 90..104: ################################### 35268 - 105..119: ############################################# 45180 - 120..134: ################################################### 51212 - 135..149: ###################################################### 55048 - 150..164: ####################################################### 55217 - 165..179: ################################################### 52179 - 180..194: ############################################# 45446 - 195..209: #################################### 36527 - 210..224: ######################### 26036 - 225..239: ################# 17655 - 240..254: ########## 10770 - 255..269: ##### 5786 - 270..284: ## 2253 - 285..299: 363 + num: 500000, avg: 149.91, stddev: 50.48, median 150, min 1, max 299 + 1.. 15: 404 + 16.. 30: ## 2212 + 31.. 45: ##### 5889 + 46.. 60: ########## 10700 + 61.. 75: ################# 17772 + 76.. 90: ######################### 26105 + 91..105: ################################### 36005 + 106..120: ############################################# 45660 + 121..135: ################################################### 52122 + 136..150: ####################################################### 55483 + 151..165: ###################################################### 54945 + 166..180: ################################################### 51868 + 181..195: ############################################ 45051 + 196..210: ################################## 35080 + 211..225: ######################### 25470 + 226..240: ################ 16973 + 241..255: ########## 10427 + 256..270: ##### 5344 + 271..285: ## 2133 + 286..300: 357 +++ Stats for quad dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats quad sum: - num: 500000, avg: 200.05, stddev: 58.23, median 200, min 1, max 395 - 1.. 20: 56 - 21.. 40: 613 - 41.. 60: # 2355 - 61.. 80: ##### 6151 - 81..100: ########## 12762 - 101..120: ################### 22881 - 121..140: ############################# 35023 - 141..160: ######################################## 48107 - 161..180: ################################################# 58482 - 181..200: ###################################################### 64916 - 201..220: ####################################################### 65035 - 221..240: ################################################# 58235 - 241..260: ####################################### 47099 - 261..280: ############################# 34772 - 281..300: ################## 22400 - 301..320: ########## 12463 - 321..340: #### 5856 - 341..360: # 2260 - 361..380: 501 - 381..400: 33 + num: 500000, avg: 199.94, stddev: 58.37, median 200, min 5, max 394 + 5.. 24: 105 + 25.. 44: 829 + 45.. 64: ## 2997 + 65.. 84: ###### 7402 + 85..104: ############ 14559 + 105..124: ##################### 25103 + 125..144: ################################ 38055 + 145..164: ########################################## 50469 + 165..184: ################################################## 60434 + 185..204: ####################################################### 65242 + 205..224: ##################################################### 63665 + 225..244: ############################################### 55764 + 245..264: ###################################### 45244 + 265..284: ########################## 31847 + 285..304: ################ 20092 + 305..324: ######### 11027 + 325..344: #### 5011 + 345..364: # 1794 + 365..384: 348 + 385..404: 13 +++ Stats for bind dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats ordered pair difference: - num: 1000000, avg: 24.99, stddev: 22.33, median 19, min 0, max 100 - 0.. 4: ####################################################### 193839 - 5.. 9: #################################### 129347 - 10.. 14: ############################# 103847 - 15.. 19: ######################## 87031 - 20.. 24: ##################### 75338 - 25.. 29: ################## 64783 - 30.. 34: ################ 56422 - 35.. 39: ############## 49351 - 40.. 44: ############ 43140 - 45.. 49: ########## 38109 - 50.. 54: ######### 32501 - 55.. 59: ####### 28129 - 60.. 64: ###### 24178 - 65.. 69: ##### 20069 - 70.. 74: #### 16578 - 75.. 79: ### 13204 - 80.. 84: ## 10269 - 85.. 89: ## 7232 - 90.. 94: # 4471 - 95.. 99: 2047 - 100..104: 115 + num: 1000000, avg: 25.02, stddev: 22.38, median 19, min 0, max 100 + 0.. 4: ####################################################### 193818 + 5.. 9: #################################### 129891 + 10.. 14: ############################# 103378 + 15.. 19: ######################## 87043 + 20.. 24: ##################### 75202 + 25.. 29: ################## 64688 + 30.. 34: ################ 56523 + 35.. 39: ############# 49283 + 40.. 44: ############ 42859 + 45.. 49: ########## 37336 + 50.. 54: ######### 32591 + 55.. 59: ######## 28285 + 60.. 64: ###### 24255 + 65.. 69: ##### 20314 + 70.. 74: #### 16733 + 75.. 79: ### 13555 + 80.. 84: ## 10170 + 85.. 89: ## 7255 + 90.. 94: # 4729 + 95.. 99: 1992 + 100..104: 100 stats ordered pair sum: - num: 1000000, avg: 75.00, stddev: 46.92, median 72, min 0, max 200 - 0.. 9: ####################################################### 70575 - 10.. 19: ##################################################### 68853 - 20.. 29: ##################################################### 68585 - 30.. 39: ##################################################### 68532 - 40.. 49: ##################################################### 68240 - 50.. 59: ##################################################### 68715 - 60.. 69: ##################################################### 68990 - 70.. 79: ##################################################### 68722 - 80.. 89: ##################################################### 68480 - 90.. 99: ##################################################### 68372 - 100..109: ################################################## 64287 - 110..119: ########################################### 55514 - 120..129: #################################### 47048 - 130..139: ############################### 39962 - 140..149: ######################### 32688 - 150..159: #################### 26183 - 160..169: ############### 19821 - 170..179: ########## 14077 - 180..189: ###### 8713 - 190..199: ## 3560 - 200..209: 83 + num: 1000000, avg: 75.04, stddev: 46.91, median 72, min 0, max 200 + 0.. 9: ####################################################### 70296 + 10.. 19: ##################################################### 68918 + 20.. 29: ##################################################### 68448 + 30.. 39: ##################################################### 68654 + 40.. 49: ##################################################### 68490 + 50.. 59: ##################################################### 68513 + 60.. 69: ##################################################### 68299 + 70.. 79: ##################################################### 68552 + 80.. 89: ##################################################### 68560 + 90.. 99: ###################################################### 69283 + 100..109: ################################################## 64173 + 110..119: ########################################### 55624 + 120..129: ##################################### 47381 + 130..139: ############################## 39552 + 140..149: ######################### 32856 + 150..159: #################### 26038 + 160..169: ############### 20035 + 170..179: ########### 14164 + 180..189: ###### 8568 + 190..199: ## 3515 + 200..209: 81 +++ Collect ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Collect results for test option dist: -None : 1489 cases -Some _: 8511 cases +None : 1519 cases +Some _: 8481 cases +++ Collect ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Collect results for test result dist: -Error _: 2531 cases -Ok _ : 7469 cases +Error _: 2577 cases +Ok _ : 7423 cases +++ Stats for list len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for small_list len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 16.26, stddev: 24.83, median 6, min 0, max 99 - 0.. 4: #################################################### 1868 - 5.. 9: ####################################################### 1967 - 10.. 14: # 66 - 15.. 19: # 62 - 20.. 24: # 70 - 25.. 29: # 59 - 30.. 34: # 62 - 35.. 39: # 62 - 40.. 44: ## 73 - 45.. 49: # 66 - 50.. 54: # 68 - 55.. 59: # 59 - 60.. 64: # 61 - 65.. 69: ## 75 - 70.. 74: # 56 - 75.. 79: # 64 - 80.. 84: # 46 - 85.. 89: ## 72 - 90.. 94: # 67 - 95.. 99: ## 77 + num: 5000, avg: 15.47, stddev: 24.03, median 6, min 0, max 99 + 0.. 4: ####################################################### 1958 + 5.. 9: ##################################################### 1914 + 10.. 14: # 64 + 15.. 19: ## 75 + 20.. 24: # 64 + 25.. 29: # 71 + 30.. 34: ## 74 + 35.. 39: # 60 + 40.. 44: # 61 + 45.. 49: # 57 + 50.. 54: # 62 + 55.. 59: # 58 + 60.. 64: # 63 + 65.. 69: # 46 + 70.. 74: # 67 + 75.. 79: # 62 + 80.. 84: # 57 + 85.. 89: # 67 + 90.. 94: # 66 + 95.. 99: # 54 +++ Stats for list_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.47, stddev: 1.70, median 7, min 5, max 10 - 5: ##################################################### 848 - 6: #################################################### 829 - 7: ####################################################### 869 - 8: ##################################################### 839 - 9: ################################################# 787 - 10: #################################################### 828 + num: 5000, avg: 7.53, stddev: 1.71, median 8, min 5, max 10 + 5: #################################################### 814 + 6: #################################################### 809 + 7: ##################################################### 830 + 8: ###################################################### 845 + 9: ####################################################### 854 + 10: ###################################################### 848 +++ Stats for list_repeat len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ @@ -1133,63 +1157,63 @@ stats len: +++ Stats for array len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for small_array len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 16.26, stddev: 24.83, median 6, min 0, max 99 - 0.. 4: #################################################### 1868 - 5.. 9: ####################################################### 1967 - 10.. 14: # 66 - 15.. 19: # 62 - 20.. 24: # 70 - 25.. 29: # 59 - 30.. 34: # 62 - 35.. 39: # 62 - 40.. 44: ## 73 - 45.. 49: # 66 - 50.. 54: # 68 - 55.. 59: # 59 - 60.. 64: # 61 - 65.. 69: ## 75 - 70.. 74: # 56 - 75.. 79: # 64 - 80.. 84: # 46 - 85.. 89: ## 72 - 90.. 94: # 67 - 95.. 99: ## 77 + num: 5000, avg: 15.47, stddev: 24.03, median 6, min 0, max 99 + 0.. 4: ####################################################### 1958 + 5.. 9: ##################################################### 1914 + 10.. 14: # 64 + 15.. 19: ## 75 + 20.. 24: # 64 + 25.. 29: # 71 + 30.. 34: ## 74 + 35.. 39: # 60 + 40.. 44: # 61 + 45.. 49: # 57 + 50.. 54: # 62 + 55.. 59: # 58 + 60.. 64: # 63 + 65.. 69: # 46 + 70.. 74: # 67 + 75.. 79: # 62 + 80.. 84: # 57 + 85.. 89: # 67 + 90.. 94: # 66 + 95.. 99: # 54 +++ Stats for array_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.47, stddev: 1.70, median 7, min 5, max 10 - 5: ##################################################### 848 - 6: #################################################### 829 - 7: ####################################################### 869 - 8: ##################################################### 839 - 9: ################################################# 787 - 10: #################################################### 828 + num: 5000, avg: 7.53, stddev: 1.71, median 8, min 5, max 10 + 5: #################################################### 814 + 6: #################################################### 809 + 7: ##################################################### 830 + 8: ###################################################### 845 + 9: ####################################################### 854 + 10: ###################################################### 848 +++ Stats for array_repeat len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ @@ -1389,27 +1413,27 @@ stats dist: +++ Stats for int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 100000, avg: -2291958.04, stddev: 619491993.46, median -5040258, min -1073697085, max 1073726761 - -1073697085.. -966325893: ################################################### 4878 - -966325892.. -858954700: ####################################################### 5163 - -858954699.. -751583507: #################################################### 4975 - -751583506.. -644212314: ##################################################### 5061 - -644212313.. -536841121: ##################################################### 4982 - -536841120.. -429469928: ###################################################### 5091 - -429469927.. -322098735: ##################################################### 4995 - -322098734.. -214727542: ##################################################### 5016 - -214727541.. -107356349: ##################################################### 5006 - -107356348.. 14844: ##################################################### 5054 - 14845.. 107386037: ##################################################### 4988 - 107386038.. 214757230: #################################################### 4921 - 214757231.. 322128423: ##################################################### 5001 - 322128424.. 429499616: ##################################################### 5048 - 429499617.. 536870809: ##################################################### 5016 - 536870810.. 644242002: ##################################################### 4979 - 644242003.. 751613195: #################################################### 4883 - 751613196.. 858984388: ##################################################### 5063 - 858984389.. 966355581: #################################################### 4929 - 966355582.. 1073726774: #################################################### 4951 + num: 100000, avg: -298652.90, stddev: 619096154.85, median 419404, min -1073741519, max 1073728237 + -1073741519.. -966368032: ##################################################### 4984 + -966368031.. -858994544: ###################################################### 5025 + -858994543.. -751621056: ###################################################### 5035 + -751621055.. -644247568: #################################################### 4897 + -644247567.. -536874080: ###################################################### 5025 + -536874079.. -429500592: ##################################################### 4968 + -429500591.. -322127104: ###################################################### 5029 + -322127103.. -214753616: ##################################################### 5003 + -214753615.. -107380128: ###################################################### 5022 + -107380127.. -6640: ##################################################### 4987 + -6639.. 107366848: ###################################################### 5062 + 107366849.. 214740336: ##################################################### 4954 + 214740337.. 322113824: ###################################################### 5062 + 322113825.. 429487312: #################################################### 4917 + 429487313.. 536860800: ###################################################### 5021 + 536860801.. 644234288: ####################################################### 5107 + 644234289.. 751607776: ###################################################### 5058 + 751607777.. 858981264: #################################################### 4918 + 858981265.. 966354752: ###################################################### 5026 + 966354753.. 1073728240: #################################################### 4900 +++ Stats for oneof int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ @@ -1637,33 +1661,32 @@ stats dist: 6.. 10: 0 ================================================================================ 1 warning(s) -failure (73 tests failed, 3 tests errored, ran 165 tests) +failure (74 tests failed, 3 tests errored, ran 166 tests) random seed: 153870556 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: -3528483.94, stddev: 437402795.33, median 16, min -1058119937, max 1073741823 - -1058119937.. -951526850: ### 31 - -951526849.. -844933762: ## 26 - -844933761.. -738340674: ## 27 - -738340673.. -631747586: ## 21 - -631747585.. -525154498: ## 25 - -525154497.. -418561410: # 19 - -418561409.. -311968322: ## 27 - -311968321.. -205375234: # 19 - -205375233.. -98782146: ### 31 - -98782145.. 7810942: ####################################################### 537 - 7810943.. 114404030: ## 26 - 114404031.. 220997118: ## 20 - 220997119.. 327590206: ## 22 - 327590207.. 434183294: ## 27 - 434183295.. 540776382: # 18 - 540776383.. 647369470: ## 24 - 647369471.. 753962558: ## 24 - 753962559.. 860555646: ## 26 - 860555647.. 967148734: ## 21 - 967148735.. 1073741822: ## 28 - 1073741823.. 1073741823: 1 + num: 1000, avg: 2229293.51, stddev: 427568354.78, median 9, min -1072726813, max 1073741823 + -1072726813.. -965403382: ## 22 + -965403381.. -858079950: ## 28 + -858079949.. -750756518: # 17 + -750756517.. -643433086: ### 32 + -643433085.. -536109654: ## 22 + -536109653.. -428786222: ## 25 + -428786221.. -321462790: ## 20 + -321462789.. -214139358: ## 23 + -214139357.. -106815926: ## 26 + -106815925.. 507506: ####################################################### 533 + 507507.. 107830938: ## 29 + 107830939.. 215154370: ## 25 + 215154371.. 322477802: ## 24 + 322477803.. 429801234: ## 25 + 429801235.. 537124666: ### 34 + 537124667.. 644448098: ## 20 + 644448099.. 751771530: ## 28 + 751771531.. 859094962: ## 23 + 859094963.. 966418394: ## 21 + 966418395.. 1073741823: ## 23 ================================================================================ success (ran 1 tests) diff --git a/test/core/QCheck2_expect_test.expected.ocaml4.64 b/test/core/QCheck2_expect_test.expected.ocaml4.64 index 8a67bc62..bcbf02ef 100644 --- a/test/core/QCheck2_expect_test.expected.ocaml4.64 +++ b/test/core/QCheck2_expect_test.expected.ocaml4.64 @@ -1,124 +1,125 @@ 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 (2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) -(2,fun,16) (6,fun,1) (9,fun,7) (0,fun,9) (60,fun,7) (7,fun,2) (3,fun,9) (54,fun,4) (4,fun,3) (2,fun,0) --947389732205813673 -947389732205813672 +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 (5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +(5,fun,0) (2,fun,16) (4,fun,1) (8,fun,7) (5,fun,1) (8,fun,4) (6,fun,3) (2,fun,3) (39,fun,5) (7,fun,1) +2007784939368327536 0 -473694866102906836 +1003892469684163768 0 -236847433051453418 +501946234842081884 0 -118423716525726709 +250973117421040942 0 -59211858262863354 +125486558710520471 0 -29605929131431677 +62743279355260235 0 -14802964565715838 +31371639677630117 0 -7401482282857919 +15685819838815058 0 -3700741141428959 +7842909919407529 0 -1850370570714479 +3921454959703764 0 -925185285357239 +1960727479851882 0 -462592642678619 +980363739925941 0 -231296321339309 +490181869962970 0 -115648160669654 +245090934981485 0 -57824080334827 +122545467490742 0 -28912040167413 +61272733745371 0 -14456020083706 +30636366872685 0 -7228010041853 +15318183436342 0 -3614005020926 +7659091718171 0 -1807002510463 +3829545859085 0 -903501255231 +1914772929542 0 -451750627615 +957386464771 0 -225875313807 +478693232385 0 -112937656903 +239346616192 0 -56468828451 +119673308096 0 -28234414225 +59836654048 0 -14117207112 +29918327024 0 -7058603556 +14959163512 0 -3529301778 +7479581756 0 -1764650889 +3739790878 0 -882325444 +1869895439 0 -441162722 +934947719 0 -220581361 +467473859 0 -110290680 +233736929 0 -55145340 +116868464 0 -27572670 +58434232 0 -13786335 +29217116 0 -6893167 +14608558 0 -3446583 +7304279 0 -1723291 +3652139 0 -861645 +1826069 0 -430822 +913034 0 -215411 +456517 0 -107705 +228258 0 -53852 +114129 0 -26926 +57064 0 -13463 +28532 0 -6731 +14266 0 -3365 +7133 0 -1682 +3566 0 -841 +1783 0 -420 +891 0 -210 +445 0 -105 +222 0 -52 +111 0 -26 +55 +0 +27 0 13 0 @@ -128,27 +129,46 @@ random seed: 1234 0 1 0 -[16; 1; 1] -[16; 1] -[16] -[] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65; 2; 4; 55; 2; 4; 87; 9; 5; 35; 73; 9; 9; 2; 74; 5; 9; 10; 93; 2; 7; 1; 4; 6; 91; 8; 8; 2; 9; 47; 6; 26; 3; 60; 1; 0; 5; 26; 4; 28; 6; 0; 5; 88; 3; 7] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65; 2; 4; 55; 2; 4; 87; 9; 5; 35; 73; 9; 9; 2; 74; 5] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65] +[0; 13; 4; 6; 14; 6; 47; 3] +[0; 13; 4; 6] +[0; 13] [0] -[16; 1; 1] -[16; 1] -[1] -[0; 1; 1] -[0; 0; 1] +[] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65; 2; 4; 55; 2; 4; 87; 9; 5; 35; 73; 9; 9; 2; 74; 5; 9; 10; 93; 2; 7; 1; 4; 6; 91; 8; 8; 2; 9; 47; 6; 26; 3; 60; 1; 0; 5; 26; 4; 28; 6; 0; 5; 88; 3; 7] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65; 2; 4; 55; 2; 4; 87; 9; 5; 35; 73; 9; 9; 2; 74; 5] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65] +[0; 13; 4; 6; 14; 6; 47; 3] +[0; 13; 4; 6] +[14; 6; 47; 3] +[13; 4; 6; 14; 6; 47; 3] +[13; 4; 6; 14] +[6; 47; 3] +[4; 6; 14; 6; 47; 3] +[4; 6; 14] +[6; 47; 3] +[6; 14; 6; 47; 3] +[6; 14; 6] +[6; 14] +[6] +[0; 14; 6] +[3; 14; 6] +[5; 14; 6] +[6; 0; 6] +[0; 0; 6] [0; 0; 0] --- Failure -------------------------------------------------------------------- -Test should_fail_sort_id failed (6 shrink steps): +Test should_fail_sort_id failed (5 shrink steps): [1; 0] === Error ====================================================================== -Test should_error_raise_exn errored on (2 shrink steps): +Test should_error_raise_exn errored on (1 shrink steps): 0 @@ -207,7 +227,7 @@ Test with shrinking retries failed (0 shrink steps): Warning for test WARN_unlikely_precond: -WARNING: only 0.4% tests (of 2000) passed precondition for "WARN_unlikely_precond" +WARNING: only 0.3% 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. @@ -215,7 +235,7 @@ NOTE: it is likely that the precondition is too strong, or that the generator is Test FAIL_unlikely_precond failed: -ERROR: only 0.4% tests (of 2000) passed precondition for "FAIL_unlikely_precond" +ERROR: only 0.3% 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. @@ -266,15 +286,15 @@ Test big bound issue59 failed (0 shrink steps): --- Failure -------------------------------------------------------------------- -Test long_shrink failed (3030 shrink steps): +Test long_shrink failed (3086 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 (76 shrink steps): +Test ints arent 0 mod 3 failed (85 shrink steps): --24381 +-141 --- Failure -------------------------------------------------------------------- @@ -338,13 +358,13 @@ Test printable never produces less than '5 failed (1 shrink steps): --- Failure -------------------------------------------------------------------- -Test bytes are empty failed (3 shrink steps): +Test bytes are empty failed (7 shrink steps): "a" --- Failure -------------------------------------------------------------------- -Test bytes never has a \000 char failed (9 shrink steps): +Test bytes never has a \000 char failed (13 shrink steps): "\000" @@ -356,19 +376,19 @@ Test bytes never has a \255 char failed (5 shrink steps): --- Failure -------------------------------------------------------------------- -Test bytes have unique chars failed (31 shrink steps): +Test bytes have unique chars failed (16 shrink steps): -"aaaaaaaaaaa" +"aaa" --- Failure -------------------------------------------------------------------- -Test strings are empty failed (3 shrink steps): +Test strings are empty failed (7 shrink steps): "a" --- Failure -------------------------------------------------------------------- -Test string never has a \000 char failed (9 shrink steps): +Test string never has a \000 char failed (13 shrink steps): "\000" @@ -380,37 +400,37 @@ Test string never has a \255 char failed (5 shrink steps): --- Failure -------------------------------------------------------------------- -Test strings have unique chars failed (31 shrink steps): +Test strings have unique chars failed (16 shrink steps): -"aaaaaaaaaaa" +"aaa" --- Failure -------------------------------------------------------------------- Test pairs have different components failed (0 shrink steps): -(6, 6) +(3, 3) --- Failure -------------------------------------------------------------------- -Test pairs have same components failed (61 shrink steps): +Test pairs have same components failed (63 shrink steps): (0, 1) --- Failure -------------------------------------------------------------------- -Test pairs have a zero component failed (120 shrink steps): +Test pairs have a zero component failed (123 shrink steps): (1, 1) --- Failure -------------------------------------------------------------------- -Test pairs are (0,0) failed (61 shrink steps): +Test pairs are (0,0) failed (63 shrink steps): (0, 1) --- Failure -------------------------------------------------------------------- -Test pairs are ordered failed (90 shrink steps): +Test pairs are ordered failed (94 shrink steps): (1, 0) @@ -422,55 +442,55 @@ Test pairs are ordered reversely failed (62 shrink steps): --- Failure -------------------------------------------------------------------- -Test pairs sum to less than 128 failed (57 shrink steps): +Test pairs sum to less than 128 failed (58 shrink steps): (0, 128) --- Failure -------------------------------------------------------------------- -Test pairs lists rev concat failed (65 shrink steps): +Test pairs lists rev concat failed (66 shrink steps): ([0], [1]) --- Failure -------------------------------------------------------------------- -Test pairs lists no overlap failed (6 shrink steps): +Test pairs lists no overlap failed (12 shrink steps): -([1], [1]) +([0], [0]) --- Failure -------------------------------------------------------------------- -Test triples have pair-wise different components failed (3 shrink steps): +Test triples have pair-wise different components failed (2 shrink steps): (0, 0, 0) --- Failure -------------------------------------------------------------------- -Test triples have same components failed (64 shrink steps): +Test triples have same components failed (65 shrink steps): (0, 1, 0) --- Failure -------------------------------------------------------------------- -Test triples are ordered failed (3 shrink steps): +Test triples are ordered failed (4 shrink steps): (0, 0, -1) --- Failure -------------------------------------------------------------------- -Test triples are ordered reversely failed (63 shrink steps): +Test triples are ordered reversely failed (125 shrink steps): (0, 0, 1) --- Failure -------------------------------------------------------------------- -Test quadruples have pair-wise different components failed (4 shrink steps): +Test quadruples have pair-wise different components failed (3 shrink steps): (0, 0, 0, 0) --- Failure -------------------------------------------------------------------- -Test quadruples have same components failed (122 shrink steps): +Test quadruples have same components failed (125 shrink steps): (0, 1, 0, 1) @@ -482,25 +502,25 @@ Test quadruples are ordered failed (5 shrink steps): --- Failure -------------------------------------------------------------------- -Test quadruples are ordered reversely failed (124 shrink steps): +Test quadruples are ordered reversely failed (126 shrink steps): (0, 0, 0, 1) --- Failure -------------------------------------------------------------------- -Test forall (a, b) in nat: a < b failed (7 shrink steps): +Test forall (a, b) in nat: a < b failed (1 shrink steps): (0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c) in nat: a < b < c failed (4 shrink steps): +Test forall (a, b, c) in nat: a < b < c failed (2 shrink steps): (0, 0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c, d) in nat: a < b < c < d failed (4 shrink steps): +Test forall (a, b, c, d) in nat: a < b < c < d failed (3 shrink steps): (0, 0, 0, 0) @@ -524,13 +544,13 @@ Test forall (a, b, c, d, e, f, g) in nat: a < b < c < d < e < f < g failed (6 sh --- Failure -------------------------------------------------------------------- -Test forall (a, b, c, d, e, f, g, h) in nat: a < b < c < d < e < f < g < h failed (6 shrink steps): +Test forall (a, b, c, d, e, f, g, h) in nat: a < b < c < d < e < f < g < h failed (7 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 (7 shrink steps): +Test forall (a, b, c, d, e, f, g, h, i) in nat: a < b < c < d < e < f < g < h < i failed (8 shrink steps): (0, 0, 0, 0, 0, 0, 0, 0, 0) @@ -548,31 +568,31 @@ Test bind list_size constant failed (12 shrink steps): --- Failure -------------------------------------------------------------------- -Test lists are empty failed (3 shrink steps): +Test lists are empty failed (6 shrink steps): [0] --- Failure -------------------------------------------------------------------- -Test lists shorter than 10 failed (16 shrink steps): +Test lists shorter than 10 failed (18 shrink steps): [0; 0; 0; 0; 0; 0; 0; 0; 0; 0] --- Failure -------------------------------------------------------------------- -Test lists shorter than 432 failed (405 shrink steps): +Test lists shorter than 432 failed (403 shrink steps): [...] list length: 432 --- Failure -------------------------------------------------------------------- -Test lists shorter than 4332 failed (3998 shrink steps): +Test lists shorter than 4332 failed (4022 shrink steps): [...] list length: 4332 --- Failure -------------------------------------------------------------------- -Test lists have unique elems failed (3 shrink steps): +Test lists have unique elems failed (10 shrink steps): [0; 0; 0] @@ -590,7 +610,7 @@ None --- Failure -------------------------------------------------------------------- -Test (int,string) result are Ok failed (2 shrink steps): +Test (int,string) result are Ok failed (4 shrink steps): Error ("") @@ -602,7 +622,7 @@ Ok (0) --- Failure -------------------------------------------------------------------- -Test tree contains only 42 failed (2 shrink steps): +Test tree contains only 42 failed (1 shrink steps): Leaf 0 @@ -610,56 +630,62 @@ Leaf 0 Test sum list = 0 failed (0 shrink steps): -[16; 1; 1] +[0; 13; 4; 6; 14; 6; 47; 3; 4; 3; 6; 6; 9; 4; 3; 65; 2; 4; 55; 2; 4; 87; 9; 5; 35; 73; 9; 9; 2; 74; 5; 9; 10; 93; 2; 7; 1; 4; 6; 91; 8; 8; 2; 9; 47; 6; 26; 3; 60; 1; 0; 5; 26; 4; 28; 6; 0; 5; 88; 3; 7] --- Failure -------------------------------------------------------------------- -Test fail_pred_map_commute_int failed (14 shrink steps): +Test fail_pred_map_commute_int failed (105 shrink steps): -([0], {0 -> -1; _ -> 0}, {0 -> true; _ -> false}) +([0], {0 -> 29; _ -> 0}, {29 -> true; _ -> false}) --- Failure -------------------------------------------------------------------- -Test fail_pred_map_commute_int32 failed (58 shrink steps): +Test fail_pred_map_commute_int32 failed (54 shrink steps): -([0l], {0l -> 1l; _ -> 0l}, {0l -> true; _ -> false}) +([0l], {0l -> -15l; _ -> 0l}, {-15l -> true; _ -> false}) --- Failure -------------------------------------------------------------------- -Test fail_pred_map_commute_int64 failed (113 shrink steps): +Test fail_pred_map_commute_int64 failed (105 shrink steps): -([0L], {0L -> 1L; _ -> 0L}, {0L -> true; _ -> false}) +([0L], {0L -> -71L; _ -> 0L}, {-71L -> true; _ -> false}) --- Failure -------------------------------------------------------------------- -Test fail_pred_strings failed (1 shrink steps): +Test fail_pred_strings failed (0 shrink steps): {"some random string" -> true; "some other string" -> false; _ -> false} --- Failure -------------------------------------------------------------------- -Test fold_left fold_right failed (10 shrink steps): +Test fold_left fold_right failed (17 shrink steps): -(0, [1], {(1, 0) -> 1; _ -> 0}) +(0, [1], {(0, 1) -> 1; _ -> 0}) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test fold_left fold_right: -l=[1], fold_left=1, fold_right=0 +l=[1], fold_left=0, fold_right=1 --- Failure -------------------------------------------------------------------- -Test fold_left fold_right uncurried failed (62 shrink steps): +Test fold_left fold_right uncurried failed (14 shrink steps): -({(5, 2) -> 0; (4, 1) -> 0; (1, 2) -> 1; (79, 4) -> 0; (9, 6) -> 0; (7, 3) -> 0; (3, 8) -> 0; (17, 6) -> 0; (37, 6) -> 0; (4, 8) -> 0; (17, 3) -> 0; (3, 4) -> 0; (84, 79) -> 0; (8, 1) -> 0; (6, 8) -> 0; (4, 17) -> 0; (3, 5) -> 0; (1, 6) -> 0; (9, 4) -> 0; (2, 5) -> 0; (5, 4) -> 0; (3, 76) -> 0; (9, 3) -> 0; (3, 1) -> 0; (8, 3) -> 0; (3, 24) -> 0; (34, 1) -> 0; (3, 3) -> 0; (6, 9) -> 0; (76, 8) -> 0; (67, 3) -> 0; (8, 9) -> 0; (2, 24) -> 0; (1, 1) -> 0; (1, 5) -> 0; (2, 3) -> 0; (6, 2) -> 0; (5, 8) -> 0; (5, 7) -> 0; (5, 6) -> 0; (24, 5) -> 0; (2, 17) -> 0; (6, 1) -> 0; (7, 6) -> 0; (6, 3) -> 0; (2, 4) -> 0; (1, 9) -> 0; _ -> 0}, 1, [2]) +({(9, 6) -> 0; (1, 5) -> 0; (4, 8) -> 1; (9, 8) -> 0; _ -> 0}, 8, [4]) --- Failure -------------------------------------------------------------------- -Test fold_left fold_right uncurried fun last failed (10 shrink steps): +Test fold_left fold_right uncurried fun last failed (48 shrink steps): -(0, [1], {(0, 1) -> 1; _ -> 0}) +(0, [0; 1], {(0, 0) -> 1; _ -> 0}) + +--- Failure -------------------------------------------------------------------- + +Test fold_left test, fun first failed (87 shrink steps): + +({("\188Bt\000", 9) -> ""; ("8\252D", 2) -> ""; ("\241\223v\190~>", 6) -> "a"; ("\252R\2108,\226\019\006\t", 2) -> ""; ("\154\241\031\198W\176\ng\150\002\213\197\026\221z\019\151", 0) -> ""; ("1\015\255", 46) -> "a"; ("\177W\174", 8) -> ""; ("\0140WD\024%\195\145\176\200\023\185\138\247\193\172[+\237\186LT\158\208y|\223\231\192\012#\144c\016", 66) -> ""; ("Z}(:?\216", 4) -> ""; ("", 13) -> "a"; ("", 9) -> ""; ("\144\189\"\030E\183\024h\023", 8) -> ""; ("\147\172\209U\252\209\bM&\175m\005\250N[p\180\204jh\217$I\208\002H\168[F\174\145\190b\151w\174\177Ib|\022\149\224\140\250E\239\216g\249\137\246\252\229\192\136\249\131\182&\127\173\015\147H\240\201\166\163\163\239\196", 29) -> ""; ("B\012\251", 1) -> "a"; ("\140", 9) -> ""; ("@\131}\002uPha\151\245\224\240\148ad\191", 7) -> ""; _ -> ""}, "", [0; 13], [0]) --- Failure -------------------------------------------------------------------- @@ -744,445 +770,445 @@ stats char code: +++ Stats for tree's depth ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats depth: - num: 1000, avg: 3.92, stddev: 3.36, median 3, min 1, max 15 - 1: ####################################################### 364 - 2: ############## 96 - 3: ############ 83 - 4: ##################### 145 - 5: ########## 71 - 6: ##### 34 - 7: ###### 44 - 8: ####### 49 - 9: # 11 - 10: ### 24 - 11: ######## 54 + num: 1000, avg: 3.97, stddev: 3.35, median 3, min 1, max 15 + 1: ####################################################### 356 + 2: ############## 91 + 3: ############### 98 + 4: ################### 129 + 5: ############ 78 + 6: #### 31 + 7: ####### 47 + 8: ######## 53 + 9: # 12 + 10: #### 27 + 11: ######## 55 12: 3 - 13: 6 - 14: # 12 - 15: 4 + 13: # 8 + 14: # 9 + 15: 3 +++ Stats for bytes_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.47, stddev: 1.70, median 7, min 5, max 10 - 5: ##################################################### 848 - 6: #################################################### 829 - 7: ####################################################### 869 - 8: ##################################################### 839 - 9: ################################################# 787 - 10: #################################################### 828 + num: 5000, avg: 7.53, stddev: 1.71, median 8, min 5, max 10 + 5: #################################################### 814 + 6: #################################################### 809 + 7: ##################################################### 830 + 8: ###################################################### 845 + 9: ####################################################### 854 + 10: ###################################################### 848 +++ Stats for bytes len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for bytes_of len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for bytes_printable len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for bytes_small len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 16.26, stddev: 24.83, median 6, min 0, max 99 - 0.. 4: #################################################### 1868 - 5.. 9: ####################################################### 1967 - 10.. 14: # 66 - 15.. 19: # 62 - 20.. 24: # 70 - 25.. 29: # 59 - 30.. 34: # 62 - 35.. 39: # 62 - 40.. 44: ## 73 - 45.. 49: # 66 - 50.. 54: # 68 - 55.. 59: # 59 - 60.. 64: # 61 - 65.. 69: ## 75 - 70.. 74: # 56 - 75.. 79: # 64 - 80.. 84: # 46 - 85.. 89: ## 72 - 90.. 94: # 67 - 95.. 99: ## 77 + num: 5000, avg: 15.47, stddev: 24.03, median 6, min 0, max 99 + 0.. 4: ####################################################### 1958 + 5.. 9: ##################################################### 1914 + 10.. 14: # 64 + 15.. 19: ## 75 + 20.. 24: # 64 + 25.. 29: # 71 + 30.. 34: ## 74 + 35.. 39: # 60 + 40.. 44: # 61 + 45.. 49: # 57 + 50.. 54: # 62 + 55.. 59: # 58 + 60.. 64: # 63 + 65.. 69: # 46 + 70.. 74: # 67 + 75.. 79: # 62 + 80.. 84: # 57 + 85.. 89: # 67 + 90.. 94: # 66 + 95.. 99: # 54 +++ Stats for string_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.47, stddev: 1.70, median 7, min 5, max 10 - 5: ##################################################### 848 - 6: #################################################### 829 - 7: ####################################################### 869 - 8: ##################################################### 839 - 9: ################################################# 787 - 10: #################################################### 828 + num: 5000, avg: 7.53, stddev: 1.71, median 8, min 5, max 10 + 5: #################################################### 814 + 6: #################################################### 809 + 7: ##################################################### 830 + 8: ###################################################### 845 + 9: ####################################################### 854 + 10: ###################################################### 848 +++ Stats for string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for string_of len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for string_printable len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for small_string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 16.26, stddev: 24.83, median 6, min 0, max 99 - 0.. 4: #################################################### 1868 - 5.. 9: ####################################################### 1967 - 10.. 14: # 66 - 15.. 19: # 62 - 20.. 24: # 70 - 25.. 29: # 59 - 30.. 34: # 62 - 35.. 39: # 62 - 40.. 44: ## 73 - 45.. 49: # 66 - 50.. 54: # 68 - 55.. 59: # 59 - 60.. 64: # 61 - 65.. 69: ## 75 - 70.. 74: # 56 - 75.. 79: # 64 - 80.. 84: # 46 - 85.. 89: ## 72 - 90.. 94: # 67 - 95.. 99: ## 77 + num: 5000, avg: 15.47, stddev: 24.03, median 6, min 0, max 99 + 0.. 4: ####################################################### 1958 + 5.. 9: ##################################################### 1914 + 10.. 14: # 64 + 15.. 19: ## 75 + 20.. 24: # 64 + 25.. 29: # 71 + 30.. 34: ## 74 + 35.. 39: # 60 + 40.. 44: # 61 + 45.. 49: # 57 + 50.. 54: # 62 + 55.. 59: # 58 + 60.. 64: # 63 + 65.. 69: # 46 + 70.. 74: # 67 + 75.. 79: # 62 + 80.. 84: # 57 + 85.. 89: # 67 + 90.. 94: # 66 + 95.. 99: # 54 +++ Stats for pair dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats pair sum: - num: 500000, avg: 99.97, stddev: 41.23, median 100, min 0, max 200 - 0.. 9: ### 2732 - 10.. 19: ######## 7470 - 20.. 29: ############## 12606 - 30.. 39: #################### 17281 - 40.. 49: ######################### 22161 - 50.. 59: ################################ 27693 - 60.. 69: ##################################### 32264 - 70.. 79: ########################################### 37078 - 80.. 89: ################################################ 41933 - 90.. 99: ##################################################### 46178 - 100..109: ####################################################### 47368 - 110..119: ################################################# 42440 - 120..129: ########################################### 37526 - 130..139: ##################################### 32630 - 140..149: ############################### 27558 - 150..159: ########################## 22873 - 160..169: #################### 17956 - 170..179: ############### 13095 - 180..189: ######### 7957 - 190..199: ### 3157 - 200..209: 44 + num: 500000, avg: 100.09, stddev: 41.23, median 100, min 0, max 200 + 0.. 9: ### 2599 + 10.. 19: ######## 7571 + 20.. 29: ############## 12587 + 30.. 39: #################### 17235 + 40.. 49: ########################## 22334 + 50.. 59: ############################### 27179 + 60.. 69: ##################################### 32092 + 70.. 79: ########################################### 37071 + 80.. 89: ################################################ 41592 + 90.. 99: ###################################################### 46677 + 100..109: ####################################################### 47155 + 110..119: ################################################# 42772 + 120..129: ########################################### 37679 + 130..139: ###################################### 32681 + 140..149: ################################ 27465 + 150..159: ########################## 23061 + 160..169: #################### 17923 + 170..179: ############### 12910 + 180..189: ######### 8135 + 190..199: ### 3233 + 200..209: 49 +++ Stats for triple dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats triple sum: - num: 500000, avg: 150.03, stddev: 50.48, median 150, min 0, max 299 - 0.. 14: 313 - 15.. 29: ## 2122 - 30.. 44: ##### 5446 - 45.. 59: ########## 10500 - 60.. 74: ################ 17013 - 75.. 89: ######################### 25666 - 90..104: ################################### 35268 - 105..119: ############################################# 45180 - 120..134: ################################################### 51212 - 135..149: ###################################################### 55048 - 150..164: ####################################################### 55217 - 165..179: ################################################### 52179 - 180..194: ############################################# 45446 - 195..209: #################################### 36527 - 210..224: ######################### 26036 - 225..239: ################# 17655 - 240..254: ########## 10770 - 255..269: ##### 5786 - 270..284: ## 2253 - 285..299: 363 + num: 500000, avg: 149.91, stddev: 50.48, median 150, min 1, max 299 + 1.. 15: 404 + 16.. 30: ## 2212 + 31.. 45: ##### 5889 + 46.. 60: ########## 10700 + 61.. 75: ################# 17772 + 76.. 90: ######################### 26105 + 91..105: ################################### 36005 + 106..120: ############################################# 45660 + 121..135: ################################################### 52122 + 136..150: ####################################################### 55483 + 151..165: ###################################################### 54945 + 166..180: ################################################### 51868 + 181..195: ############################################ 45051 + 196..210: ################################## 35080 + 211..225: ######################### 25470 + 226..240: ################ 16973 + 241..255: ########## 10427 + 256..270: ##### 5344 + 271..285: ## 2133 + 286..300: 357 +++ Stats for quad dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats quad sum: - num: 500000, avg: 200.05, stddev: 58.23, median 200, min 1, max 395 - 1.. 20: 56 - 21.. 40: 613 - 41.. 60: # 2355 - 61.. 80: ##### 6151 - 81..100: ########## 12762 - 101..120: ################### 22881 - 121..140: ############################# 35023 - 141..160: ######################################## 48107 - 161..180: ################################################# 58482 - 181..200: ###################################################### 64916 - 201..220: ####################################################### 65035 - 221..240: ################################################# 58235 - 241..260: ####################################### 47099 - 261..280: ############################# 34772 - 281..300: ################## 22400 - 301..320: ########## 12463 - 321..340: #### 5856 - 341..360: # 2260 - 361..380: 501 - 381..400: 33 + num: 500000, avg: 199.94, stddev: 58.37, median 200, min 5, max 394 + 5.. 24: 105 + 25.. 44: 829 + 45.. 64: ## 2997 + 65.. 84: ###### 7402 + 85..104: ############ 14559 + 105..124: ##################### 25103 + 125..144: ################################ 38055 + 145..164: ########################################## 50469 + 165..184: ################################################## 60434 + 185..204: ####################################################### 65242 + 205..224: ##################################################### 63665 + 225..244: ############################################### 55764 + 245..264: ###################################### 45244 + 265..284: ########################## 31847 + 285..304: ################ 20092 + 305..324: ######### 11027 + 325..344: #### 5011 + 345..364: # 1794 + 365..384: 348 + 385..404: 13 +++ Stats for bind dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats ordered pair difference: - num: 1000000, avg: 24.99, stddev: 22.33, median 19, min 0, max 100 - 0.. 4: ####################################################### 193839 - 5.. 9: #################################### 129347 - 10.. 14: ############################# 103847 - 15.. 19: ######################## 87031 - 20.. 24: ##################### 75338 - 25.. 29: ################## 64783 - 30.. 34: ################ 56422 - 35.. 39: ############## 49351 - 40.. 44: ############ 43140 - 45.. 49: ########## 38109 - 50.. 54: ######### 32501 - 55.. 59: ####### 28129 - 60.. 64: ###### 24178 - 65.. 69: ##### 20069 - 70.. 74: #### 16578 - 75.. 79: ### 13204 - 80.. 84: ## 10269 - 85.. 89: ## 7232 - 90.. 94: # 4471 - 95.. 99: 2047 - 100..104: 115 + num: 1000000, avg: 25.02, stddev: 22.38, median 19, min 0, max 100 + 0.. 4: ####################################################### 193818 + 5.. 9: #################################### 129891 + 10.. 14: ############################# 103378 + 15.. 19: ######################## 87043 + 20.. 24: ##################### 75202 + 25.. 29: ################## 64688 + 30.. 34: ################ 56523 + 35.. 39: ############# 49283 + 40.. 44: ############ 42859 + 45.. 49: ########## 37336 + 50.. 54: ######### 32591 + 55.. 59: ######## 28285 + 60.. 64: ###### 24255 + 65.. 69: ##### 20314 + 70.. 74: #### 16733 + 75.. 79: ### 13555 + 80.. 84: ## 10170 + 85.. 89: ## 7255 + 90.. 94: # 4729 + 95.. 99: 1992 + 100..104: 100 stats ordered pair sum: - num: 1000000, avg: 75.00, stddev: 46.92, median 72, min 0, max 200 - 0.. 9: ####################################################### 70575 - 10.. 19: ##################################################### 68853 - 20.. 29: ##################################################### 68585 - 30.. 39: ##################################################### 68532 - 40.. 49: ##################################################### 68240 - 50.. 59: ##################################################### 68715 - 60.. 69: ##################################################### 68990 - 70.. 79: ##################################################### 68722 - 80.. 89: ##################################################### 68480 - 90.. 99: ##################################################### 68372 - 100..109: ################################################## 64287 - 110..119: ########################################### 55514 - 120..129: #################################### 47048 - 130..139: ############################### 39962 - 140..149: ######################### 32688 - 150..159: #################### 26183 - 160..169: ############### 19821 - 170..179: ########## 14077 - 180..189: ###### 8713 - 190..199: ## 3560 - 200..209: 83 + num: 1000000, avg: 75.04, stddev: 46.91, median 72, min 0, max 200 + 0.. 9: ####################################################### 70296 + 10.. 19: ##################################################### 68918 + 20.. 29: ##################################################### 68448 + 30.. 39: ##################################################### 68654 + 40.. 49: ##################################################### 68490 + 50.. 59: ##################################################### 68513 + 60.. 69: ##################################################### 68299 + 70.. 79: ##################################################### 68552 + 80.. 89: ##################################################### 68560 + 90.. 99: ###################################################### 69283 + 100..109: ################################################## 64173 + 110..119: ########################################### 55624 + 120..129: ##################################### 47381 + 130..139: ############################## 39552 + 140..149: ######################### 32856 + 150..159: #################### 26038 + 160..169: ############### 20035 + 170..179: ########### 14164 + 180..189: ###### 8568 + 190..199: ## 3515 + 200..209: 81 +++ Collect ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Collect results for test option dist: -None : 1489 cases -Some _: 8511 cases +None : 1519 cases +Some _: 8481 cases +++ Collect ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Collect results for test result dist: -Error _: 2531 cases -Ok _ : 7469 cases +Error _: 2577 cases +Ok _ : 7423 cases +++ Stats for list len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for small_list len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 16.26, stddev: 24.83, median 6, min 0, max 99 - 0.. 4: #################################################### 1868 - 5.. 9: ####################################################### 1967 - 10.. 14: # 66 - 15.. 19: # 62 - 20.. 24: # 70 - 25.. 29: # 59 - 30.. 34: # 62 - 35.. 39: # 62 - 40.. 44: ## 73 - 45.. 49: # 66 - 50.. 54: # 68 - 55.. 59: # 59 - 60.. 64: # 61 - 65.. 69: ## 75 - 70.. 74: # 56 - 75.. 79: # 64 - 80.. 84: # 46 - 85.. 89: ## 72 - 90.. 94: # 67 - 95.. 99: ## 77 + num: 5000, avg: 15.47, stddev: 24.03, median 6, min 0, max 99 + 0.. 4: ####################################################### 1958 + 5.. 9: ##################################################### 1914 + 10.. 14: # 64 + 15.. 19: ## 75 + 20.. 24: # 64 + 25.. 29: # 71 + 30.. 34: ## 74 + 35.. 39: # 60 + 40.. 44: # 61 + 45.. 49: # 57 + 50.. 54: # 62 + 55.. 59: # 58 + 60.. 64: # 63 + 65.. 69: # 46 + 70.. 74: # 67 + 75.. 79: # 62 + 80.. 84: # 57 + 85.. 89: # 67 + 90.. 94: # 66 + 95.. 99: # 54 +++ Stats for list_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.47, stddev: 1.70, median 7, min 5, max 10 - 5: ##################################################### 848 - 6: #################################################### 829 - 7: ####################################################### 869 - 8: ##################################################### 839 - 9: ################################################# 787 - 10: #################################################### 828 + num: 5000, avg: 7.53, stddev: 1.71, median 8, min 5, max 10 + 5: #################################################### 814 + 6: #################################################### 809 + 7: ##################################################### 830 + 8: ###################################################### 845 + 9: ####################################################### 854 + 10: ###################################################### 848 +++ Stats for list_repeat len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ @@ -1193,63 +1219,63 @@ stats len: +++ Stats for array len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 381.73, stddev: 1276.71, median 9, min 0, max 9931 - 0.. 496: ####################################################### 4213 - 497.. 993: ###### 526 - 994..1490: 22 - 1491..1987: 14 - 1988..2484: 19 - 2485..2981: 14 - 2982..3478: 19 - 3479..3975: 15 - 3976..4472: 18 - 4473..4969: 14 - 4970..5466: 13 - 5467..5963: 11 - 5964..6460: 14 - 6461..6957: 18 - 6958..7454: 8 - 7455..7951: 15 - 7952..8448: 12 - 8449..8945: 9 - 8946..9442: 7 - 9443..9939: 19 + num: 5000, avg: 327.56, stddev: 1159.62, median 9, min 0, max 9916 + 0.. 495: ####################################################### 4285 + 496.. 991: ###### 509 + 992..1487: 21 + 1488..1983: 13 + 1984..2479: 13 + 2480..2975: 13 + 2976..3471: 10 + 3472..3967: 13 + 3968..4463: 10 + 4464..4959: 12 + 4960..5455: 7 + 5456..5951: 12 + 5952..6447: 11 + 6448..6943: 7 + 6944..7439: 9 + 7440..7935: 6 + 7936..8431: 16 + 8432..8927: 9 + 8928..9423: 13 + 9424..9919: 11 +++ Stats for small_array len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 16.26, stddev: 24.83, median 6, min 0, max 99 - 0.. 4: #################################################### 1868 - 5.. 9: ####################################################### 1967 - 10.. 14: # 66 - 15.. 19: # 62 - 20.. 24: # 70 - 25.. 29: # 59 - 30.. 34: # 62 - 35.. 39: # 62 - 40.. 44: ## 73 - 45.. 49: # 66 - 50.. 54: # 68 - 55.. 59: # 59 - 60.. 64: # 61 - 65.. 69: ## 75 - 70.. 74: # 56 - 75.. 79: # 64 - 80.. 84: # 46 - 85.. 89: ## 72 - 90.. 94: # 67 - 95.. 99: ## 77 + num: 5000, avg: 15.47, stddev: 24.03, median 6, min 0, max 99 + 0.. 4: ####################################################### 1958 + 5.. 9: ##################################################### 1914 + 10.. 14: # 64 + 15.. 19: ## 75 + 20.. 24: # 64 + 25.. 29: # 71 + 30.. 34: ## 74 + 35.. 39: # 60 + 40.. 44: # 61 + 45.. 49: # 57 + 50.. 54: # 62 + 55.. 59: # 58 + 60.. 64: # 63 + 65.. 69: # 46 + 70.. 74: # 67 + 75.. 79: # 62 + 80.. 84: # 57 + 85.. 89: # 67 + 90.. 94: # 66 + 95.. 99: # 54 +++ Stats for array_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.47, stddev: 1.70, median 7, min 5, max 10 - 5: ##################################################### 848 - 6: #################################################### 829 - 7: ####################################################### 869 - 8: ##################################################### 839 - 9: ################################################# 787 - 10: #################################################### 828 + num: 5000, avg: 7.53, stddev: 1.71, median 8, min 5, max 10 + 5: #################################################### 814 + 6: #################################################### 809 + 7: ##################################################### 830 + 8: ###################################################### 845 + 9: ####################################################### 854 + 10: ###################################################### 848 +++ Stats for array_repeat len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ @@ -1449,27 +1475,27 @@ stats dist: +++ Stats for int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 100000, avg: -5866174995160813.00, stddev: 2658200940243709440.00, median -18644524111195217, min -4611457719403274307, max 4611628237031853985 - -4611457719403274307..-4150303421581517892: #################################################### 4943 - -4150303421581517891..-3689149123759761476: ##################################################### 5000 - -3689149123759761475..-3227994825938005060: ###################################################### 5080 - -3227994825938005059..-2766840528116248644: #################################################### 4931 - -2766840528116248643..-2305686230294492228: ##################################################### 5026 - -2305686230294492227..-1844531932472735812: ################################################### 4870 - -1844531932472735811..-1383377634650979396: ##################################################### 5017 - -1383377634650979395.. -922223336829222980: ####################################################### 5157 - -922223336829222979.. -461069039007466564: ###################################################### 5107 - -461069039007466563.. 85258814289852: ###################################################### 5089 - 85258814289853.. 461239556636046268: ##################################################### 5045 - 461239556636046269.. 922393854457802684: #################################################### 4958 - 922393854457802685.. 1383548152279559100: ##################################################### 5007 - 1383548152279559101.. 1844702450101315516: ##################################################### 5052 - 1844702450101315517.. 2305856747923071932: #################################################### 4951 - 2305856747923071933.. 2767011045744828348: ################################################### 4872 - 2767011045744828349.. 3228165343566584764: ################################################### 4845 - 3228165343566584765.. 3689319641388341180: ##################################################### 4990 - 3689319641388341181.. 4150473939210097596: ##################################################### 5046 - 4150473939210097597.. 4611628237031854012: ##################################################### 5014 + num: 100000, avg: 6739840024355437.00, stddev: 2654793546877646336.00, median 2435838602111153, min -4611682300221562449, max 4611492907363159042 + -4611682300221562449..-4150523539842326354: #################################################### 4927 + -4150523539842326353..-3689364779463090258: #################################################### 4923 + -3689364779463090257..-3228206019083854162: #################################################### 4923 + -3228206019083854161..-2767047258704618066: ##################################################### 4981 + -2767047258704618065..-2305888498325381970: ##################################################### 5010 + -2305888498325381969..-1844729737946145874: ##################################################### 5016 + -1844729737946145873..-1383570977566909778: #################################################### 4929 + -1383570977566909777.. -922412217187673682: ##################################################### 5045 + -922412217187673681.. -461253456808437586: ###################################################### 5081 + -461253456808437585.. -94696429201490: ####################################################### 5140 + -94696429201489.. 461064063950034606: ###################################################### 5110 + 461064063950034607.. 922222824329270702: ##################################################### 4998 + 922222824329270703.. 1383381584708506798: ##################################################### 4996 + 1383381584708506799.. 1844540345087742894: #################################################### 4915 + 1844540345087742895.. 2305699105466978990: ##################################################### 5014 + 2305699105466978991.. 2766857865846215086: ###################################################### 5072 + 2766857865846215087.. 3228016626225451182: #################################################### 4913 + 3228016626225451183.. 3689175386604687278: ###################################################### 5063 + 3689175386604687279.. 4150334146983923374: #################################################### 4909 + 4150334146983923375.. 4611492907363159470: ##################################################### 5035 +++ Stats for oneof int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ @@ -1697,33 +1723,33 @@ stats dist: 6.. 10: 0 ================================================================================ 1 warning(s) -failure (73 tests failed, 3 tests errored, ran 165 tests) +failure (74 tests failed, 3 tests errored, ran 166 tests) random seed: 153870556 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: -11617229187609574.00, stddev: 1819229268312887040.00, median 16, min -4603354806264772278, max 4611686018427387903 - -4603354806264772278..-4142602765030164279: ## 23 - -4142602765030164278..-3681850723795556279: ## 20 - -3681850723795556278..-3221098682560948279: ### 31 - -3221098682560948278..-2760346641326340279: ## 22 - -2760346641326340278..-2299594600091732279: ## 21 - -2299594600091732278..-1838842558857124279: ### 31 - -1838842558857124278..-1378090517622516279: ## 22 - -1378090517622516278.. -917338476387908279: ## 26 - -917338476387908278.. -456586435153300279: ## 20 - -456586435153300278.. 4165606081307721: ####################################################### 547 - 4165606081307722.. 464917647315915721: ## 21 - 464917647315915722.. 925669688550523721: ### 30 - 925669688550523722.. 1386421729785131721: # 15 - 1386421729785131722.. 1847173771019739721: ## 28 - 1847173771019739722.. 2307925812254347721: ## 22 - 2307925812254347722.. 2768677853488955721: ### 31 - 2768677853488955722.. 3229429894723563721: ## 28 - 3229429894723563722.. 3690181935958171721: # 19 - 3690181935958171722.. 4150933977192779721: ## 21 - 4150933977192779722.. 4611686018427387721: ## 21 - 4611686018427387722.. 4611686018427387903: 1 + num: 1000, avg: 48985084121559400.00, stddev: 1793541561270566400.00, median 9, min -4580864984167113344, max 4611686018427387903 + -4580864984167113344..-4121237434037388289: ## 23 + -4121237434037388288..-3661609883907663233: # 19 + -3661609883907663232..-3201982333777938177: ## 28 + -3201982333777938176..-2742354783648213121: ## 24 + -2742354783648213120..-2282727233518488065: ## 20 + -2282727233518488064..-1823099683388763009: # 17 + -1823099683388763008..-1363472133259037953: ## 21 + -1363472133259037952.. -903844583129312897: ## 23 + -903844583129312896.. -444217032999587841: ## 27 + -444217032999587840.. 15410517130137215: ####################################################### 546 + 15410517130137216.. 475038067259862271: ## 24 + 475038067259862272.. 934665617389587327: ## 25 + 934665617389587328.. 1394293167519312383: ## 27 + 1394293167519312384.. 1853920717649037439: ### 35 + 1853920717649037440.. 2313548267778762495: ## 27 + 2313548267778762496.. 2773175817908487551: ## 21 + 2773175817908487552.. 3232803368038212607: ## 29 + 3232803368038212608.. 3692430918167937663: ## 20 + 3692430918167937664.. 4152058468297662719: ## 22 + 4152058468297662720.. 4611686018427387775: ## 21 + 4611686018427387776.. 4611686018427387903: 1 ================================================================================ success (ran 1 tests)