2024-09-18 15:14.24: New job: test tmcgilchrist/qcheck https://github.com/tmcgilchrist/qcheck.git#refs/heads/master (fc2aadd95f6ebb5858246c856b68f7c6e77994c7) (macos-x86_64:macos-homebrew-5.2_opam-2.2) Base: macos-homebrew-ocaml-5.2 Opam project build To reproduce locally: git clone --recursive "https://github.com/tmcgilchrist/qcheck.git" -b "master" && cd "qcheck" && git reset --hard fc2aadd9 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM macos-homebrew-ocaml-5.2 # macos-homebrew-5.2_opam-2.2 USER 1000:1000 ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" RUN ln -f ~/local/bin/opam-2.2 ~/local/bin/opam RUN opam init --reinit -ni RUN uname -rs && opam exec -- ocaml -version && opam --version RUN cd ~/opam-repository && (git cat-file -e 45f961713f04a0d83218c0eb2706131a40f96d54 || git fetch origin master) && git reset -q --hard 45f961713f04a0d83218c0eb2706131a40f96d54 && git log --no-decorate -n1 --oneline && opam update -u COPY --chown=1000:1000 qcheck.opam qcheck-ounit.opam qcheck-core.opam qcheck-alcotest.opam ppx_deriving_qcheck.opam ./src/./ RUN opam pin add -yn qcheck.dev './src/./' && \ opam pin add -yn qcheck-ounit.dev './src/./' && \ opam pin add -yn qcheck-core.dev './src/./' && \ opam pin add -yn qcheck-alcotest.dev './src/./' && \ opam pin add -yn ppx_deriving_qcheck.dev './src/./' ENV DEPS="alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 cppo.1.7.0 dune.3.16.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.2 --depext-only -y qcheck.dev qcheck-ounit.dev qcheck-core.dev qcheck-alcotest.dev ppx_deriving_qcheck.dev $DEPS RUN opam install $DEPS COPY --chown=1000:1000 . ./src RUN cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2024-09-18 15:14.24: Using cache hint "tmcgilchrist/qcheck-macos-homebrew-ocaml-5.2-macos-homebrew-5.2_opam-2.2-21c0987d9a62a7e4fb188b471c4445bf" 2024-09-18 15:14.24: Using OBuilder spec: ((from macos-homebrew-ocaml-5.2) (comment macos-homebrew-5.2_opam-2.2) (user (uid 1000) (gid 1000)) (env CLICOLOR_FORCE 1) (env OPAMCOLOR always) (run (shell "ln -f ~/local/bin/opam-2.2 ~/local/bin/opam")) (run (shell "opam init --reinit -ni")) (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 45f961713f04a0d83218c0eb2706131a40f96d54 || git fetch origin master) && git reset -q --hard 45f961713f04a0d83218c0eb2706131a40f96d54 && git log --no-decorate -n1 --oneline && opam update -u")) (copy (src qcheck.opam qcheck-ounit.opam qcheck-core.opam qcheck-alcotest.opam ppx_deriving_qcheck.opam) (dst ./src/./)) (run (network host) (shell "opam pin add -yn qcheck.dev './src/./' && \ \nopam pin add -yn qcheck-ounit.dev './src/./' && \ \nopam pin add -yn qcheck-core.dev './src/./' && \ \nopam pin add -yn qcheck-alcotest.dev './src/./' && \ \nopam pin add -yn ppx_deriving_qcheck.dev './src/./'")) (env DEPS "alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 cppo.1.7.0 dune.3.16.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3") (env CI true) (env OCAMLCI true) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y qcheck.dev qcheck-ounit.dev qcheck-core.dev qcheck-alcotest.dev ppx_deriving_qcheck.dev $DEPS")) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam install $DEPS")) (copy (src .) (dst ./src)) (run (shell "cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build")) ) 2024-09-18 15:14.24: Waiting for resource in pool OCluster 2024-09-18 17:52.48: Waiting for worker… 2024-09-18 21:51.14: Got resource from pool OCluster Building on i7-worker-04 All commits already cached HEAD is now at fc2aadd Merge pull request #221 from gasche/document-to_alcotest (from macos-homebrew-ocaml-5.2) 2024-09-18 21:51.15 ---> using "9b46fe3d2429f2b9195a02468cb57ac45cfa11fb4a87cb32b5e5375232223327" from cache /: (comment macos-homebrew-5.2_opam-2.2) /: (user (uid 1000) (gid 1000)) /: (env CLICOLOR_FORCE 1) /: (env OPAMCOLOR always) /: (run (shell "ln -f ~/local/bin/opam-2.2 ~/local/bin/opam")) 2024-09-18 21:51.16 ---> using "b003627c18f5d873361872ecfa38a9a8b5c86cc26245bef1d152887064c98071" from cache /: (run (shell "opam init --reinit -ni")) No configuration file found, using built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This version of opam requires an update to the layout of /Users/mac1000/.opam from version 2.1 to version 2.2, which can't be reverted. You may want to back it up before going further. Continue? [y/n] y [NOTE] The 'jobs' option was reset, its value was 1 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using: opam option jobs=1 --global Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] no changes from git+file:///Users/mac1000/opam-repository 2024-09-18 21:51.16 ---> using "408d2cc158c17e89759cf51b146539f00642e287086d5c54f85c33dae9e6a1f9" from cache /: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Darwin 23.4.0 The OCaml toplevel, version 5.2.0 2.2.0 2024-09-18 21:51.17 ---> using "80c5626e56c363c9237b2d67b74b9ac64751c52cd041543c0fda73b45b911c9a" from cache /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 45f961713f04a0d83218c0eb2706131a40f96d54 || git fetch origin master) && git reset -q --hard 45f961713f04a0d83218c0eb2706131a40f96d54 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD fe8dffac61..45f961713f master -> origin/master 45f961713f Merge pull request #26585 from dra27/trunk-tweaks <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from git+file:///Users/mac1000/opam-repository default (at git+file:///Users/mac1000/opam-repository): [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). The following packages are not being upgraded because the new versions conflict with other installed packages: - ocaml.5.4.0 However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # Run eval $(opam env) to update the current shell environment 2024-09-18 21:51.17 ---> using "e741b1b0654b57a245f3c9eb31b5f47bd9ac932e8def5542224f2dc57745b5cd" from cache /: (copy (src qcheck.opam qcheck-ounit.opam qcheck-core.opam qcheck-alcotest.opam ppx_deriving_qcheck.opam) (dst ./src/./)) 2024-09-18 21:51.20 ---> saved as "99a969b27ce85ca4261bba596d7988ac5559395c57c6ad7bb2855ff0e04850ae" /: (run (network host) (shell "opam pin add -yn qcheck.dev './src/./' && \ \nopam pin add -yn qcheck-ounit.dev './src/./' && \ \nopam pin add -yn qcheck-core.dev './src/./' && \ \nopam pin add -yn qcheck-alcotest.dev './src/./' && \ \nopam pin add -yn ppx_deriving_qcheck.dev './src/./'")) [qcheck.dev] synchronised (file:///Users/mac1000/src) qcheck is now pinned to file:///Users/mac1000/src (version dev) [qcheck-ounit.dev] synchronised (file:///Users/mac1000/src) qcheck-ounit is now pinned to file:///Users/mac1000/src (version dev) [qcheck-core.dev] synchronised (file:///Users/mac1000/src) qcheck-core is now pinned to file:///Users/mac1000/src (version dev) [qcheck-alcotest.dev] synchronised (file:///Users/mac1000/src) qcheck-alcotest is now pinned to file:///Users/mac1000/src (version dev) [ppx_deriving_qcheck.dev] synchronised (file:///Users/mac1000/src) ppx_deriving_qcheck is now pinned to file:///Users/mac1000/src (version dev) 2024-09-18 21:51.41 ---> saved as "b913a342d62b8f5fbd8406127556ed57687a9e6b2c7c07ebdb59829a363db638" /: (env DEPS "alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 cppo.1.7.0 dune.3.16.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3") /: (env CI true) /: (env OCAMLCI true) /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y qcheck.dev qcheck-ounit.dev qcheck-core.dev qcheck-alcotest.dev ppx_deriving_qcheck.dev $DEPS")) + /usr/local/bin/brew "update" - ==> Updating Homebrew... - Already up-to-date. <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [ppx_deriving_qcheck.dev] synchronised (no changes) [qcheck.dev] synchronised (no changes) [qcheck-alcotest.dev] synchronised (no changes) [qcheck-core.dev] synchronised (no changes) [qcheck-ounit.dev] synchronised (no changes) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 3). [NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0). [NOTE] Package ocaml is already installed (current version is 5.2.0). [NOTE] Package host-system-other is already installed (current version is 1). [NOTE] Package host-arch-x86_64 is already installed (current version is 1). [NOTE] Package base-unix is already installed (current version is base). [NOTE] Package base-threads is already installed (current version is base). [NOTE] Package base-nnp is already installed (current version is base). [NOTE] Package base-domains is already installed (current version is base). [NOTE] Package base-bigarray is already installed (current version is base). 2024-09-18 21:52.12 ---> saved as "56ff7de23c2f195b370c4353467836f003f86bee84c8be86bb0ddd8718a46c0a" /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam install $DEPS")) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 3). [NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0). [NOTE] Package ocaml is already installed (current version is 5.2.0). [NOTE] Package host-system-other is already installed (current version is 1). [NOTE] Package host-arch-x86_64 is already installed (current version is 1). [NOTE] Package base-unix is already installed (current version is base). [NOTE] Package base-threads is already installed (current version is base). [NOTE] Package base-nnp is already installed (current version is base). [NOTE] Package base-domains is already installed (current version is base). [NOTE] Package base-bigarray is already installed (current version is base). The following actions will be performed: === install 21 packages - install alcotest 1.8.0 - install astring 0.8.5 - install base-bytes base - install cmdliner 1.3.0 - install cppo 1.7.0 - install dune 3.16.0 - install fmt 0.9.0 - install ocaml-compiler-libs v0.17.0 - install ocaml-syntax-shims 1.0.0 - install ocamlbuild 0.15.0 - install ocamlfind 1.9.6 - install ounit2 2.2.7 - install ppx_derivers 1.2.1 - install ppx_deriving 6.0.2 - install ppxlib 0.33.0 - install re 1.12.0 - install seq base - install sexplib0 v0.17.0 - install stdlib-shims 0.3.0 - install topkg 1.0.7 - install uutf 1.0.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved astring.0.8.5 (cached) -> retrieved cmdliner.1.3.0 (cached) -> retrieved cppo.1.7.0 (cached) -> retrieved alcotest.1.8.0 (cached) -> retrieved fmt.0.9.0 (cached) -> retrieved ocaml-compiler-libs.v0.17.0 (cached) -> retrieved ocaml-syntax-shims.1.0.0 (cached) -> retrieved ocamlfind.1.9.6 (cached) -> retrieved ounit2.2.2.7 (cached) -> retrieved ocamlbuild.0.15.0 (cached) -> retrieved ppx_deriving.6.0.2 (cached) -> retrieved ppx_derivers.1.2.1 (cached) -> retrieved re.1.12.0 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved sexplib0.v0.17.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved ppxlib.0.33.0 (cached) -> retrieved topkg.1.0.7 (cached) -> retrieved uutf.1.0.3 (cached) -> retrieved dune.3.16.0 (cached) -> installed cmdliner.1.3.0 -> installed ocamlfind.1.9.6 -> installed base-bytes.base -> installed ocamlbuild.0.15.0 -> installed topkg.1.0.7 -> installed uutf.1.0.3 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed dune.3.16.0 -> installed stdlib-shims.0.3.0 -> installed ppx_derivers.1.2.1 -> installed ocaml-syntax-shims.1.0.0 -> installed ocaml-compiler-libs.v0.17.0 -> installed sexplib0.v0.17.0 -> installed cppo.1.7.0 -> installed re.1.12.0 -> installed ounit2.2.2.7 -> installed alcotest.1.8.0 -> installed ppxlib.0.33.0 -> installed ppx_deriving.6.0.2 Done. # Run eval $(opam env) to update the current shell environment 2024-09-18 21:53.43 ---> saved as "3fa7d83283b01bbe5849439a11f4e8508e1497f0d970c61d88f33073ac271e59" /: (copy (src .) (dst ./src)) 2024-09-18 21:53.45 ---> saved as "6231805378c80697a80086ee357a02f29a99e62afae246e7d995c1a87225d94f" /: (run (shell "cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build")) (cd _build/default && /Users/mac1000/.opam/5.2.0/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -bin-annot -bin-annot-occurrences -I src/core/.qcheck_core.objs/byte -I /Users/mac1000/.opam/5.2.0/lib/bytes -I /Users/mac1000/.opam/5.2.0/lib/ocaml/unix -intf-suffix .ml -no-alias-deps -opaque -o src/core/.qcheck_core.objs/byte/qCheck2.cmo -c -impl src/core/QCheck2.ml) File "src/core/QCheck2.ml", line 1122, characters 2-20: 1122 | fun_gen: 'b Gen.t; (** How to generate output values *) ^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field fun_gen is never read. (However, this field is used to build or mutate values.) File "src/core/QCheck2.ml", line 1496, characters 4-33: 1496 | mutable res: 'a TestResult.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field res is never mutated. (cd _build/default && /Users/mac1000/.opam/5.2.0/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -w +a-4-42-44-48-50-58-32-60@8 -safe-string -g -I src/core/.qcheck_core.objs/byte -I src/core/.qcheck_core.objs/native -I /Users/mac1000/.opam/5.2.0/lib/bytes -I /Users/mac1000/.opam/5.2.0/lib/ocaml/unix -intf-suffix .ml -no-alias-deps -opaque -o src/core/.qcheck_core.objs/native/qCheck2.cmx -c -impl src/core/QCheck2.ml) File "src/core/QCheck2.ml", line 1122, characters 2-20: 1122 | fun_gen: 'b Gen.t; (** How to generate output values *) ^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: record field fun_gen is never read. (However, this field is used to build or mutate values.) File "src/core/QCheck2.ml", line 1496, characters 4-33: 1496 | mutable res: 'a TestResult.t; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 69 [unused-field]: mutable record field res is never mutated. (cd _build/default/test/core && ./test.exe) Testing `QCheck'. This run has ID `HEJWUXCJ'. [OK] Shrink 0 int_towards. [OK] Shrink 1 int32_towards. [OK] Shrink 2 int64_towards. [OK] Shrink 3 float_towards. [OK] Gen 0 opt with default ratio. [OK] Gen 1 opt with custom ratio. [OK] Test 0 make with custom count. [OK] Test 1 make with custom count. [OK] Test 2 make with default count. [OK] Test 3 make with env count. [OK] String 0 shrinking. Full test results in `~/src/_build/default/test/core/_build/_tests/QCheck'. Test Successful in 0.012s. 11 tests run. File "example/ounit/output.txt.expected", line 1, characters 0-0: /usr/bin/git --no-pager diff --no-index --color=always -u _build/default/example/ounit/output.txt.expected _build/default/example/ounit/output.txt diff --git a/_build/default/example/ounit/output.txt.expected b/_build/default/example/ounit/output.txt index cb6e442..b0d5af3 100644 --- a/_build/default/example/ounit/output.txt.expected +++ b/_build/default/example/ounit/output.txt @@ -6,7 +6,7 @@ Error: tests:2:error_raise_exn (in the log). test `error_raise_exn` raised exception `Dune__exe__QCheck_ounit_test.Error` -on `0 (after 63 shrink steps)` +on `0 (after 62 shrink steps)` ------------------------------------------------------------------------------ ============================================================================== @@ -35,7 +35,7 @@ Error: tests:1:fail_sort_id (in the log). Error: tests:1:fail_sort_id (in the code). -test `fail_sort_id` failed on ≥ 1 cases: [1; 0] (after 20 shrink steps) +test `fail_sort_id` failed on ≥ 1 cases: [1; 0] (after 15 shrink steps) ------------------------------------------------------------------------------ File "example/alcotest/output.txt.expected", line 1, characters 0-0: /usr/bin/git --no-pager diff --no-index --color=always -u _build/default/example/alcotest/output.txt.expected _build/default/example/alcotest/output.txt diff --git a/_build/default/example/alcotest/output.txt.expected b/_build/default/example/alcotest/output.txt index 79e4f3c..1bd0082 100644 --- a/_build/default/example/alcotest/output.txt.expected +++ b/_build/default/example/alcotest/output.txt @@ -9,18 +9,18 @@ Testing `my test'. ┌──────────────────────────────────────────────────────────────────────────────┐ │ [FAIL] suite 1 fail_sort_id. │ └──────────────────────────────────────────────────────────────────────────────┘ -test `fail_sort_id` failed on ≥ 1 cases: [1; 0] (after 20 shrink steps) -[exception] test `fail_sort_id` failed on ≥ 1 cases: [1; 0] (after 20 shrink steps) +test `fail_sort_id` failed on ≥ 1 cases: [1; 0] (after 15 shrink steps) +[exception] test `fail_sort_id` failed on ≥ 1 cases: [1; 0] (after 15 shrink steps) ────────────────────────────────────────────────────────────────────────────── ┌──────────────────────────────────────────────────────────────────────────────┐ │ [FAIL] suite 2 error_raise_exn. │ └──────────────────────────────────────────────────────────────────────────────┘ test `error_raise_exn` raised exception `Error` -on `0 (after 63 shrink steps)` +on `0 (after 62 shrink steps)` [exception] test `error_raise_exn` raised exception `Error` -on `0 (after 63 shrink steps)` +on `0 (after 62 shrink steps)` ────────────────────────────────────────────────────────────────────────────── ┌──────────────────────────────────────────────────────────────────────────────┐ │ [FAIL] suite 3 fail_check_err_message. │ @@ -43,18 +43,21 @@ fail └──────────────────────────────────────────────────────────────────────────────┘ ~~~ Shrink ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test debug_shrink successfully shrunk counter example (step 0) to: -(3, 1) +(2, 3) ~~~ Shrink ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test debug_shrink successfully shrunk counter example (step 1) to: -(2, 1) +(1, 3) ~~~ Shrink ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test debug_shrink successfully shrunk counter example (step 2) to: -(2, 0) +(0, 3) ~~~ Shrink ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test debug_shrink successfully shrunk counter example (step 3) to: -(1, 0) -law debug_shrink: 2 relevant cases (2 total) -test `debug_shrink` failed on ≥ 1 cases: (1, 0) (after 3 shrink steps) -[exception] test `debug_shrink` failed on ≥ 1 cases: (1, 0) (after 3 shrink steps) +(0, 2) +~~~ Shrink ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test debug_shrink successfully shrunk counter example (step 4) to: +(0, 1) +law debug_shrink: 1 relevant cases (1 total) +test `debug_shrink` failed on ≥ 1 cases: (0, 1) (after 4 shrink steps) +[exception] test `debug_shrink` failed on ≥ 1 cases: (0, 1) (after 4 shrink steps) ────────────────────────────────────────────────────────────────────────────── 4 failures! 6 tests run. File "example/output.txt.expected", line 1, characters 0-0: /usr/bin/git --no-pager diff --no-index --color=always -u _build/default/example/output.txt.expected _build/default/example/output.txt diff --git a/_build/default/example/output.txt.expected b/_build/default/example/output.txt index 2bcc615..ce4682e 100644 --- a/_build/default/example/output.txt.expected +++ b/_build/default/example/output.txt @@ -2,13 +2,13 @@ random seed: 1234 --- Failure -------------------------------------------------------------------- -Test should_fail_sort_id failed (18 shrink steps): +Test should_fail_sort_id failed (12 shrink steps): [1; 0] === Error ====================================================================== -Test should_error_raise_exn errored on (63 shrink steps): +Test should_error_raise_exn errored on (62 shrink steps): 0 @@ -19,59 +19,59 @@ exception Dune__exe__QCheck_runner_test.Error Collect results for test collect_results: -4: 20 cases -3: 25 cases -2: 17 cases -1: 18 cases -0: 20 cases +4: 24 cases +3: 20 cases +2: 18 cases +1: 21 cases +0: 17 cases +++ Stats for with_stats ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats mod4: - num: 100, avg: 1.68, stddev: 1.09, median 2, min 0, max 3 - 0: ############################## 17 - 1: ################################################### 29 - 2: ######################################## 23 - 3: ####################################################### 31 + num: 100, avg: 1.56, stddev: 1.18, median 2, min 0, max 3 + 0: ################################################# 27 + 1: #################################### 20 + 2: ########################################## 23 + 3: ####################################################### 30 stats num: - num: 100, avg: 66.84, stddev: 31.94, median 65, min 2, max 120 - 2.. 7: ################## 3 - 8.. 13: ################## 3 - 14.. 19: 0 - 20.. 25: ########################################## 7 - 26.. 31: ######################## 4 - 32.. 37: ######################## 4 - 38.. 43: ################## 3 - 44.. 49: ################################################ 8 - 50.. 55: #################################### 6 - 56.. 61: #################################### 6 - 62.. 67: ####################################################### 9 - 68.. 73: ########################################## 7 - 74.. 79: ######################## 4 - 80.. 85: ################## 3 - 86.. 91: ############ 2 - 92.. 97: ########################################## 7 - 98..103: #################################### 6 - 104..109: #################################### 6 - 110..115: ####################################################### 9 - 116..121: ################## 3 + num: 100, avg: 62.24, stddev: 33.15, median 62, min 2, max 120 + 2.. 7: ######### 2 + 8.. 13: ################################ 7 + 14.. 19: ########################### 6 + 20.. 25: ############# 3 + 26.. 31: ###################### 5 + 32.. 37: ################## 4 + 38.. 43: ############# 3 + 44.. 49: ################################ 7 + 50.. 55: ################################ 7 + 56.. 61: ###################### 5 + 62.. 67: #################################### 8 + 68.. 73: ######### 2 + 74.. 79: ###################### 5 + 80.. 85: ######### 2 + 86.. 91: ####################################################### 12 + 92.. 97: ###################### 5 + 98..103: ################## 4 + 104..109: ################## 4 + 110..115: ############# 3 + 116..121: ########################### 6 --- Failure -------------------------------------------------------------------- -Test FAIL_pred_map_commute failed (127 shrink steps): +Test FAIL_pred_map_commute failed (107 shrink steps): -([3], {_ -> 0}, {3 -> false; _ -> true}) +([1], {_ -> 2}, {1 -> false; _ -> true}) --- Failure -------------------------------------------------------------------- Test FAIL_fun2_pred_strings failed (1 shrink steps): -{some random string -> true; _ -> false} +{some other string -> false; _ -> true} --- Failure -------------------------------------------------------------------- -Test fold_left fold_right failed (25 shrink steps): +Test fold_left fold_right failed (22 shrink steps): (0, [1], {(1, 0) -> 1; _ -> 0}) @@ -84,52 +84,52 @@ l=[1], fold_left=1, fold_right=0 --- Failure -------------------------------------------------------------------- -Test fold_left fold_right uncurried failed (111 shrink steps): +Test fold_left fold_right uncurried failed (30 shrink steps): -({(5, 7) -> 0; _ -> 7}, 0, [5; 0]) +({(2, 4) -> 3; _ -> 2}, 0, [0; 4]) --- Failure -------------------------------------------------------------------- -Test long_shrink failed (149 shrink steps): +Test long_shrink failed (148 shrink steps): -([0], [-1]) +([0], [1]) --- Failure -------------------------------------------------------------------- -Test mod3_should_fail failed (84 shrink steps): +Test mod3_should_fail failed (75 shrink steps): --21 +4161 +++ Stats for stats_neg ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 5000, avg: 0.17, stddev: 29.68, median 0, min -99, max 99 - -99..-90: # 65 - -89..-80: # 63 - -79..-70: # 64 + num: 5000, avg: 0.43, stddev: 28.63, median 0, min -99, max 99 + -99..-90: # 45 + -89..-80: # 57 + -79..-70: # 68 -69..-60: # 58 - -59..-50: # 67 - -49..-40: # 72 - -39..-30: # 61 - -29..-20: # 61 - -19..-10: # 67 - -9.. 0: ####################################################### 2076 - 1.. 10: ############################################## 1764 - 11.. 20: # 66 - 21.. 30: # 64 - 31.. 40: # 64 - 41.. 50: # 67 - 51.. 60: # 60 - 61.. 70: # 75 - 71.. 80: # 60 - 81.. 90: # 60 - 91..100: # 66 + -59..-50: # 76 + -49..-40: # 67 + -39..-30: # 52 + -29..-20: # 54 + -19..-10: # 47 + -9.. 0: ####################################################### 2205 + 1.. 10: ########################################## 1697 + 11.. 20: # 57 + 21.. 30: # 70 + 31.. 40: # 60 + 41.. 50: # 66 + 51.. 60: # 75 + 61.. 70: # 68 + 71.. 80: # 63 + 81.. 90: # 66 + 91..100: # 49 !!! Warning !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Warning for test WARN_unlikely_precond: -WARNING: only 0.5% tests (of 2000) passed precondition for "WARN_unlikely_precond" +WARNING: only 0.8% 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. @@ -137,7 +137,7 @@ NOTE: it is likely that the precondition is too strong, or that the generator is Test FAIL_unlikely_precond failed: -ERROR: only 0.5% tests (of 2000) passed precondition for "FAIL_unlikely_precond" +ERROR: only 0.8% 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. @@ -153,132 +153,132 @@ Backtrace: +++ Stats for stat_display_test_1 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 0.90, stddev: 28.23, median 0, min -99, max 99 - -99..-90: # 12 - -89..-80: # 11 - -79..-70: # 9 - -69..-60: 6 - -59..-50: # 11 - -49..-40: # 13 - -39..-30: # 9 - -29..-20: # 13 - -19..-10: 8 - -9.. 0: ####################################################### 453 - 1.. 10: ######################################### 340 - 11.. 20: # 15 - 21.. 30: # 11 - 31.. 40: # 12 - 41.. 50: # 13 - 51.. 60: # 13 - 61.. 70: # 16 - 71.. 80: # 9 - 81.. 90: # 16 - 91..100: # 10 + num: 1000, avg: 0.86, stddev: 29.11, median 0, min -97, max 99 + -97..-88: # 12 + -87..-78: # 12 + -77..-68: # 13 + -67..-58: # 12 + -57..-48: # 9 + -47..-38: ## 17 + -37..-28: # 13 + -27..-18: # 8 + -17.. -8: ######### 76 + -7.. 2: ####################################################### 437 + 3.. 12: ################################## 276 + 13.. 22: ## 16 + 23.. 32: # 11 + 33.. 42: ## 16 + 43.. 52: # 9 + 53.. 62: # 12 + 63.. 72: # 14 + 73.. 82: # 12 + 83.. 92: # 13 + 93..102: # 12 +++ Stats for stat_display_test_2 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 15.11, stddev: 23.27, median 6, min 0, max 99 - 0.. 4: #################################################### 377 - 5.. 9: ####################################################### 392 - 10.. 14: ## 20 - 15.. 19: ## 15 + num: 1000, avg: 15.86, stddev: 24.57, median 6, min 0, max 99 + 0.. 4: ###################################################### 387 + 5.. 9: ####################################################### 390 + 10.. 14: # 11 + 15.. 19: # 8 20.. 24: # 11 - 25.. 29: ## 17 - 30.. 34: ## 19 - 35.. 39: ## 17 - 40.. 44: # 10 - 45.. 49: # 9 - 50.. 54: # 8 - 55.. 59: # 9 - 60.. 64: ## 15 - 65.. 69: # 10 - 70.. 74: # 13 - 75.. 79: ## 19 + 25.. 29: ## 15 + 30.. 34: # 9 + 35.. 39: # 11 + 40.. 44: # 11 + 45.. 49: ## 19 + 50.. 54: # 10 + 55.. 59: ## 19 + 60.. 64: # 9 + 65.. 69: # 9 + 70.. 74: ## 19 + 75.. 79: # 13 80.. 84: # 11 - 85.. 89: # 13 - 90.. 94: 5 - 95.. 99: # 10 + 85.. 89: ## 16 + 90.. 94: # 9 + 95.. 99: # 13 +++ Stats for stat_display_test_3 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 195335.64, stddev: 136803.99, median 195583, min -43624, max 435210 - -43624..-19683: ############################################ 52 - -19682.. 4259: ######################################## 47 - 4260.. 28201: ############################## 36 - 28202.. 52143: ############################################ 52 - 52144.. 76085: ########################################## 50 - 76086..100027: ####################################################### 64 - 100028..123969: ############################################### 55 - 123970..147911: ######################################## 47 - 147912..171853: ############################################## 54 - 171854..195795: #################################### 43 - 195796..219737: ############################################## 54 - 219738..243679: ########################################### 51 - 243680..267621: ################################################ 57 - 267622..291563: ########################################## 49 - 291564..315505: #################################### 42 - 315506..339447: ###################################### 45 - 339448..363389: ################################################ 57 - 363390..387331: ###################################### 45 - 387332..411273: ########################################## 49 - 411274..435215: ########################################### 51 + num: 1000, avg: 193479.13, stddev: 136696.70, median 189823, min -43164, max 434961 + -43164..-19258: ################################### 42 + -19257.. 4649: ############################################## 56 + 4650.. 28556: ############################################# 55 + 28557.. 52463: ############################################### 57 + 52464.. 76370: ######################################### 50 + 76371..100277: ############################# 35 + 100278..124184: ############################################### 57 + 124185..148091: #################################### 44 + 148092..171998: ############################################## 56 + 171999..195905: ####################################################### 66 + 195906..219812: ########################################### 52 + 219813..243719: ######################################## 49 + 243720..267626: ################################ 39 + 267627..291533: ##################################### 45 + 291534..315440: ##################################### 45 + 315441..339347: ################################################# 59 + 339348..363254: ################################################## 60 + 363255..387161: ################################# 40 + 387162..411068: ########################################## 51 + 411069..434975: ################################### 42 +++ Stats for stat_display_test_4 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: -173.78, stddev: 23042.92, median 180, min -39859, max 39942 - -39859..-35869: ############################################# 56 - -35868..-31878: ################################### 43 - -31877..-27887: ################################################# 60 - -27886..-23896: ##################################### 46 - -23895..-19905: ######################################## 49 - -19904..-15914: #################################### 45 - -15913..-11923: ############################################ 54 - -11922.. -7932: ############################################### 58 - -7931.. -3941: ######################################### 51 - -3940.. 50: ############################ 35 - 51.. 4041: ####################################### 48 - 4042.. 8032: ########################################## 52 - 8033.. 12023: ######################################### 51 - 12024.. 16014: ########################################### 53 - 16015.. 20005: ############################################ 54 - 20006.. 23996: ################################## 42 - 23997.. 27987: ####################################################### 67 - 27988.. 31978: ################################ 40 - 31979.. 35969: ######################################### 51 - 35970.. 39960: #################################### 45 + num: 1000, avg: -591.06, stddev: 23026.79, median -911, min -39911, max 39959 + -39911..-35918: ####################################### 45 + -35917..-31924: #################################################### 59 + -31923..-27930: ########################################### 49 + -27929..-23936: ########################################## 48 + -23935..-19942: ####################################################### 62 + -19941..-15948: ############################################# 51 + -15947..-11954: ######################################### 47 + -11953.. -7960: ################################################# 56 + -7959.. -3966: ################################### 40 + -3965.. 28: ################################################### 58 + 29.. 4022: ########################################### 49 + 4023.. 8016: ############################################### 53 + 8017.. 12010: ############################################ 50 + 12011.. 16004: ################################### 40 + 16005.. 19998: ####################################### 44 + 19999.. 23992: ####################################################### 62 + 23993.. 27986: ##################################### 42 + 27987.. 31980: ######################################### 47 + 31981.. 35974: ########################################## 48 + 35975.. 39968: ############################################ 50 +++ Stats for stat_display_test_5 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 0.02, stddev: 2.55, median 0, min -4, max 4 - -4: ############################################ 99 - -3: ##################################################### 118 - -2: ################################################## 111 - -1: ################################################## 113 - 0: ################################################## 113 - 1: ##################################################### 118 - 2: ############################################# 102 - 3: ####################################################### 122 - 4: ############################################## 104 + num: 1000, avg: -0.12, stddev: 2.52, median 0, min -4, max 4 + -4: ########################################## 116 + -3: ###################################### 103 + -2: ############################################## 125 + -1: ########################################## 115 + 0: ####################################### 106 + 1: ####################################################### 149 + 2: ################################# 92 + 3: ################################# 92 + 4: ##################################### 102 +++ Stats for stat_display_test_6 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 6.67, stddev: 6.39, median 7, min -4, max 17 - -4..-3: ############################################# 90 - -2..-1: ############################################# 91 - 0.. 1: ########################################## 84 - 2.. 3: ############################################## 92 - 4.. 5: ########################################### 87 - 6.. 7: ########################################### 86 - 8.. 9: ############################################ 89 - 10..11: ########################################### 87 - 12..13: ####################################################### 110 - 14..15: ############################################# 91 - 16..17: ############################################## 93 + num: 1000, avg: 6.42, stddev: 6.43, median 6, min -4, max 17 + -4..-3: ########################################### 89 + -2..-1: ################################################# 101 + 0.. 1: ############################################## 95 + 2.. 3: ########################################### 89 + 4.. 5: ############################################## 95 + 6.. 7: ##################################### 78 + 8.. 9: ####################################### 81 + 10..11: ######################################## 84 + 12..13: ####################################################### 113 + 14..15: ######################################## 84 + 16..17: ############################################ 91 18..19: 0 20..21: 0 22..23: 0 @@ -292,27 +292,27 @@ stats dist: +++ Stats for stat_display_test_7 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 100000, avg: 2541076923587387.50, stddev: 2660730801206827008.00, median 158655268318060, min -4611522359435274428, max 4611540922436307689 - -4611522359435274428..-4150369195341695293: ##################################################### 4976 - -4150369195341695292..-3689216031248116157: ##################################################### 4963 - -3689216031248116156..-3228062867154537021: ###################################################### 5038 - -3228062867154537020..-2766909703060957885: ##################################################### 4979 - -2766909703060957884..-2305756538967378749: ##################################################### 5001 - -2305756538967378748..-1844603374873799613: ##################################################### 4982 - -1844603374873799612..-1383450210780220477: ##################################################### 5025 - -1383450210780220476.. -922297046686641341: #################################################### 4901 - -922297046686641340.. -461143882593062205: ####################################################### 5126 - -461143882593062204.. 9281500516931: ##################################################### 5008 - 9281500516932.. 461162445594096067: ###################################################### 5041 - 461162445594096068.. 922315609687675203: ##################################################### 5001 - 922315609687675204.. 1383468773781254339: ##################################################### 4986 - 1383468773781254340.. 1844621937874833475: ##################################################### 4949 - 1844621937874833476.. 2305775101968412611: ##################################################### 5025 - 2305775101968412612.. 2766928266061991747: ##################################################### 5022 - 2766928266061991748.. 3228081430155570883: ##################################################### 4958 - 3228081430155570884.. 3689234594249150019: ##################################################### 4998 - 3689234594249150020.. 4150387758342729155: ##################################################### 4982 - 4150387758342729156.. 4611540922436308291: ###################################################### 5039 + num: 100000, avg: -7215552342607541.00, stddev: 2666234426234218496.00, median -16620417636667326, min -4611371852367564818, max 4611613630315464842 + -4611371852367564818..-4150222578233413331: ##################################################### 5003 + -4150222578233413330..-3689073304099261843: ####################################################### 5106 + -3689073304099261842..-3227924029965110355: ###################################################### 5052 + -3227924029965110354..-2766774755830958867: ###################################################### 5017 + -2766774755830958866..-2305625481696807379: #################################################### 4852 + -2305625481696807378..-1844476207562655891: ###################################################### 5016 + -1844476207562655890..-1383326933428504403: ###################################################### 5083 + -1383326933428504402.. -922177659294352915: ##################################################### 4986 + -922177659294352914.. -461028385160201427: ###################################################### 5042 + -461028385160201426.. 120888973950061: ###################################################### 5017 + 120888973950062.. 461270163108101549: ##################################################### 4977 + 461270163108101550.. 922419437242253037: ##################################################### 5000 + 922419437242253038.. 1383568711376404525: ###################################################### 5022 + 1383568711376404526.. 1844717985510556013: #################################################### 4896 + 1844717985510556014.. 2305867259644707501: #################################################### 4884 + 2305867259644707502.. 2767016533778858989: ##################################################### 4981 + 2767016533778858990.. 3228165807913010477: ###################################################### 5026 + 3228165807913010478.. 3689315082047161965: ###################################################### 5016 + 3689315082047161966.. 4150464356181313453: ###################################################### 5021 + 4150464356181313454.. 4611613630315464941: ##################################################### 5003 ================================================================================ 1 warning(s) failure (9 tests failed, 1 tests errored, ran 25 tests) (cd _build/default/test/ppx_deriving_qcheck/deriver && ./test_tuple.exe) qcheck random seed: 3344549 Testing `Test_Tuple'. This run has ID `RUVBK1UN'. [OK] Tuple 0 forall x in ('a', 'b'): x = ('a', 'b'). [OK] Tuple 1 forall x in ('a', 'b', 'c'): x = ('a', 'b'... [OK] Tuple 2 forall x in ('a', 'b', 'c', 'd'): x = ('a'... [OK] Tuple 3 forall x in ('a', 'b', 'c', 'd', 'e'): x =... [OK] Tuple 4 forall x in ('a', 'b', 'c', 'd', 'e', 'f')... [OK] Tuple 5 forall x in ('a', 'b', 'c', 'd', 'e', 'f',... [OK] Tuple 6 forall x in ('a', 'b', 'c', 'd', 'e', 'f',... Full test results in `~/src/_build/default/test/ppx_deriving_qcheck/deriver/_build/_tests/Test_Tuple'. Test Successful in 0.002s. 7 tests run. (cd _build/default/test/ppx_deriving_qcheck/deriver && ./test_qualified_names.exe) Testing `Test_Qualified_names'. This run has ID `USM7Z8XN'. [OK] Qualified names 0 test_module. [OK] Qualified names 1 test_functor. Full test results in `~/src/_build/default/test/ppx_deriving_qcheck/deriver/_build/_tests/Test_Qualified_names'. Test Successful in 0.001s. 2 tests run. (cd _build/default/test/ppx_deriving_qcheck/deriver && ./test_variants.exe) qcheck random seed: 636518425 Testing `Test_Variant'. This run has ID `G60J7HVG'. [OK] Variants 0 test_variants. [OK] Variants 1 test_poly_variants. [OK] Variants 2 gen_letters always produces B. [OK] Variants 3 gen_poly_letters always produces B. Full test results in `~/src/_build/default/test/ppx_deriving_qcheck/deriver/_build/_tests/Test_Variant'. Test Successful in 0.001s. 4 tests run. (cd _build/default/test/ppx_deriving_qcheck/deriver && ./test_primitives.exe) Testing `Test_Primitives'. This run has ID `DOB3DKD6'. [OK] Primitives 0 test_int. [OK] Primitives 1 test_unit. [OK] Primitives 2 test_string. [OK] Primitives 3 test_char. [OK] Primitives 4 test_bool. [OK] Primitives 5 test_float. [OK] Primitives 6 test_int32. [OK] Primitives 7 test_int64. [OK] Primitives 8 test_option. [OK] Primitives 9 test_array. [OK] Primitives 10 test_list. Full test results in `~/src/_build/default/test/ppx_deriving_qcheck/deriver/_build/_tests/Test_Primitives'. Test Successful in 0.003s. 11 tests run. (cd _build/default/test/ppx_deriving_qcheck/deriver && ./test_recursive.exe) qcheck random seed: 163400610 Testing `Test_Recursive'. This run has ID `S2C4P5JP'. [OK] Recursive 0 test_tree_ref. [OK] Recursive 1 gen_tree_sized 0 = Node (_, Leaf, Leaf). Full test results in `~/src/_build/default/test/ppx_deriving_qcheck/deriver/_build/_tests/Test_Recursive'. Test Successful in 0.024s. 2 tests run. (cd _build/default/test/ppx_deriving_qcheck/deriver && ./test_record.exe) Testing `Test_Record'. This run has ID `KE68QCF7'. [OK] Record 0 test_env. [OK] Record 1 test_color. Full test results in `~/src/_build/default/test/ppx_deriving_qcheck/deriver/_build/_tests/Test_Record'. Test Successful in 0.304s. 2 tests run. (cd _build/default/test/ppx_deriving_qcheck/deriver && ./test_textual.exe) Testing `ppx_deriving_qcheck tests'. This run has ID `I0ZXV4TT'. [OK] deriving generator good 0 deriving int. [OK] deriving generator good 1 deriving float. [OK] deriving generator good 2 deriving char. [OK] deriving generator good 3 deriving string. [OK] deriving generator good 4 deriving unit. [OK] deriving generator good 5 deriving bool. [OK] deriving generator good 6 deriving int32. [OK] deriving generator good 7 deriving int32'. [OK] deriving generator good 8 deriving int64. [OK] deriving generator good 9 deriving int64'. [OK] deriving generator good 10 deriving tuple. [OK] deriving generator good 11 deriving option. [OK] deriving generator good 12 deriving array. [OK] deriving generator good 13 deriving list. [OK] deriving generator good 14 deriving constructors. [OK] deriving generator good 15 deriving dependencies. [OK] deriving generator good 16 deriving record. [OK] deriving generator good 17 deriving equal. [OK] deriving generator good 18 deriving tree like. [OK] deriving generator good 19 deriving expr like. [OK] deriving generator good 20 deriving alpha. [OK] deriving generator good 21 deriving variant. [OK] deriving generator good 22 deriving weight construc... [OK] deriving generator good 23 deriving forest. [OK] deriving generator good 24 deriving fun primitives. [OK] deriving generator good 25 deriving fun option. [OK] deriving generator good 26 deriving fun array. [OK] deriving generator good 27 deriving fun list. [OK] deriving generator good 28 deriving fun n. [OK] deriving generator good 29 deriving fun tuple. [OK] deriving generator good 30 deriving rec poly variants. [OK] deriving generator good 31 deriving variant with un... Full test results in `~/src/_build/default/test/ppx_deriving_qcheck/deriver/_build/_tests/ppx_deriving_qcheck tests'. Test Successful in 0.010s. 32 tests run. File "test/core/qcheck2_output.txt.expected", line 1, characters 0-0: /usr/bin/git --no-pager diff --no-index --color=always -u _build/default/test/core/qcheck2_output.txt.expected _build/default/test/core/qcheck2_output.txt diff --git a/_build/default/test/core/qcheck2_output.txt.expected b/_build/default/test/core/qcheck2_output.txt index efe05ed..a73d037 100644 --- a/_build/default/test/core/qcheck2_output.txt.expected +++ b/_build/default/test/core/qcheck2_output.txt @@ -1,178 +1,170 @@ 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 2724675603984413065 +45 4 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 -1592932412304362665 +98783772632201765 0 -1362337801992206532 +49391886316100882 0 -681168900996103266 +24695943158050441 0 -340584450498051633 +12347971579025220 0 -170292225249025816 +6173985789512610 0 -85146112624512908 +3086992894756305 0 -42573056312256454 +1543496447378152 0 -21286528156128227 +771748223689076 0 -10643264078064113 +385874111844538 0 -5321632039032056 +192937055922269 0 -2660816019516028 +96468527961134 0 -1330408009758014 +48234263980567 0 -665204004879007 +24117131990283 0 -332602002439503 +12058565995141 0 -166301001219751 +6029282997570 0 -83150500609875 +3014641498785 0 -41575250304937 +1507320749392 0 -20787625152468 +753660374696 0 -10393812576234 +376830187348 0 -5196906288117 +188415093674 0 -2598453144058 +94207546837 0 -1299226572029 +47103773418 0 -649613286014 +23551886709 0 -324806643007 +11775943354 0 -162403321503 +5887971677 0 -81201660751 +2943985838 0 -40600830375 +1471992919 0 -20300415187 +735996459 0 -10150207593 +367998229 0 -5075103796 +183999114 0 -2537551898 +91999557 0 -1268775949 +45999778 0 -634387974 +22999889 0 -317193987 +11499944 0 -158596993 +5749972 0 -79298496 +2874986 0 -39649248 +1437493 0 -19824624 +718746 0 -9912312 +359373 0 -4956156 +179686 0 -2478078 +89843 0 -1239039 +44921 0 -619519 +22460 0 -309759 +11230 0 -154879 +5615 0 -77439 +2807 0 -38719 +1403 0 -19359 +701 0 -9679 +350 0 -4839 +175 0 -2419 +87 0 -1209 +43 0 -604 +21 0 -302 +10 0 -151 -0 -75 -0 -37 -0 -18 -0 -9 -0 -4 +5 0 2 0 1 0 -[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4; 2; 37; 3; 8; 4; 31; 6; 2; 1; 0; 7; 5; 1; 0; 15; 6; 1; 8; 13; 0; 6; 2; 4; 2; 6; 6; 1; 4; 1; 9; 79; 0; 87; 6; 8; 8; 62; 1; 4; 62; 6; 31; 1; 5; 6; 5; 9; 3; 3; 1; 79; 4; 3; 2; 67; 5; 7; 12; 70; 8; 8; 6; 1; 3; 14; 15; 1; 61; 4; 1; 4; 1; 7; 4; 4; 4; 2; 8; 8; 7; 5; 4; 27; 0; 9; 80; 25; 1; 8; 1; 3; 7; 4; 3; 5; 5; 6; 5; 5; 31; 7; 0; 3; 3; 6; 71; 76; 28; 60; 6; 2; 6; 3; 0; 4; 1; 0; 5; 7; 0; 28; 86; 4; 7; 51; 36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] +[46; 2; 22; 4; 4; 2; 6; 5; 88; 24; 7; 9; 9; 2; 5; 1; 55; 8; 45; 1; 96; 0; 1; 2; 7; 4; 1; 5; 95; 6; 8; 6; 4; 0; 5; 5; 22; 87; 2; 1; 1; 0; 2; 2; 9; 5; 9; 3; 7; 59; 7; 96; 6; 5; 1; 3; 9; 9; 65; 6; 7; 7; 2; 5; 0; 0; 70; 5; 5; 2; 1; 57; 9; 7; 8; 10; 9; 7; 9; 75; 73; 80; 7; 9; 4; 3; 16; 5; 79; 1; 8; 6; 2; 3; 4; 9; 2; 8; 4; 6; 50; 2; 1; 5; 9; 5; 4; 3; 56; 6; 5; 9; 4; 1; 47; 1; 2; 5; 2; 0; 7; 31; 55; 6; 7; 4; 7; 8; 8; 2; 4; 40; 4; 6; 9; 3; 59; 5; 1; 0; 2; 6; 90; 1; 6; 81; 0; 1; 3; 7; 2; 4; 5; 4; 7; 3; 62; 0; 1; 6; 7; 5; 97; 83; 41; 7; 2; 6; 3; 0; 4; 8; 99; 8; 6; 0; 7; 9; 7; 1; 55; 30; 25; 3; 4; 7; 1; 6; 80; 8; 0; 4; 21; 3; 5; 9; 27; 10; 60; 47; 54; 6; 5; 8; 1; 5; 9; 65; 9; 5; 7; 7; 6; 48; 9; 5; 6; 4; 9; 7; 1; 2; 71; 6; 9; 2; 7; 8; 14; 59; 71; 30; 7; 3; 5; 4; 6; 7; 3; 6; 9; 8; 2; 38; 6; 6; 7; 1; 5; 2; 43; 5; 2; 9; 3; 0; 3; 2; 7; 71; 26; 3; 9; 11; 5; 1; 5; 2; 53; 46; 4; 6; 7; 67; 1; 0; 34; 0; 48; 5; 5; 0; 7; 49; 92; 8; 3; 0; 67; 1; 5; 2; 9; 5; 9; 3; 1; 4; 8; 0; 3; 6; 46; 58; 1; 54; 77; 0; 96; 1; 6; 2; 8; 22; 3; 9; 2; 6; 25; 49; 9; 6; 3; 8; 5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] [] -[9; 61; 8; 4; 69; 2; 0; 72; 4; 41; 3; 8; 75; 83; 7; 7; 3; 9; 5; 8; 4; 1; 0; 2; 1; 4; 7; 6; 2; 1; 4; 86; 3; 79; 7; 86; 52; 39; 19; 0; 4; 7; 7; 7; 0; 4; 8; 8; 0; 5; 13; 1; 5; 0; 7; 12; 64; 34; 1; 1; 85; 8; 2; 9; 76; 0; 2; 5; 76; 69; 8; 8; 0; 1; 2; 2; 4; 60; 29; 5; 9; 4; 0; 8; 3; 3; 5; 1; 35; 8; 2; 7; 23; 61; 56; 8; 1; 1; 78; 7; 5; 0; 30; 9; 3; 7; 28; 57; 98; 3; 52; 3; 82; 7; 5; 5; 6; 8; 1; 6; 8; 9; 8; 16; 0] +[7; 79; 86; 1; 70; 98; 1; 4; 7; 9; 5; 8; 0; 1; 2; 0; 6; 0; 37; 6; 8; 26; 6; 8; 8; 98; 6; 8; 1; 6; 2; 4; 4; 7; 26; 1; 77; 2; 9; 9; 81; 8; 9; 4; 0; 86; 9; 3; 7; 0; 54; 2; 4; 1; 6; 4; 55; 5; 0; 9; 2; 1; 3; 8; 7; 1; 1; 3; 92; 1; 3; 4; 5; 2; 8; 51; 2; 94; 6; 82; 0; 11; 86; 1; 36; 31; 3; 2; 3; 8; 2; 8; 14; 26; 89; 1; 6; 0; 9; 5; 6; 7; 1; 6; 1; 6; 4; 7; 8; 8; 4; 1; 6; 3; 1; 5; 0; 6; 0; 5; 0; 4; 3; 49; 5; 8; 37; 8; 38; 0; 1; 8; 59; 5; 0; 7; 37; 87; 9; 3; 1; 5; 59; 8; 7; 6; 26; 4; 8; 8; 8; 9; 3; 2; 6; 64; 6; 7; 2; 8; 5; 2; 94; 26; 98; 3; 29; 2; 1; 72; 2; 49] [] -[1; 9; 8; 28; 47; 8; 5; 6; 8; 9; 2; 5; 8; 30; 6; 8; 84; 0; 6; 7; 76; 7; 9; 1; 0; 5; 76; 95; 2; 2; 1; 45; 7; 8; 8; 1; 6; 37; 5; 6; 73; 8; 0; 85; 8; 0; 4; 5; 2; 0; 26; 59; 0; 5; 13; 4; 7; 3; 6; 8; 1; 3] +[8; 13; 1; 18; 0; 69; 15; 2; 5; 78; 7; 32; 8; 36; 7; 3; 0; 9; 1; 1; 1; 29; 3; 8; 7; 2; 1; 8; 7; 8; 22; 5; 49; 5; 0; 1; 8; 5; 6; 7; 5; 1; 9; 73; 55; 2; 4; 7; 3; 4; 2; 27; 0; 6; 9; 1; 7; 8; 5; 12; 5; 8; 9; 1; 95; 1; 0; 1; 4; 8; 6; 7; 0; 8; 2; 3; 7; 3; 9; 0; 86; 96; 72; 3; 4; 25] [] -[5; 0; 0; 4; 10; 2; 4; 9; 5; 73; 6; 1; 5; 5; 3; 10; 5; 31; 1; 4; 3; 8; 9; 13; 41; 20; 96; 5; 1; 2; 8] +[4; 3; 6; 5; 0; 0; 9; 7; 0; 6; 5; 3; 0; 24; 5; 6; 86; 9; 9; 0; 7; 2; 6; 6; 3; 45; 6; 1; 17; 1; 2; 2; 3; 0; 4; 1; 8; 2; 6; 9; 5; 0; 2] [] -[9; 8; 73; 5; 8; 2; 1; 8; 2; 6; 4; 18; 5; 76; 3] +[9; 7; 62; 0; 73; 0; 8; 94; 0; 6; 50; 9; 83; 0; 5; 40; 6; 1; 6; 6; 6] [] -[0; 6; 2; 8; 8; 1; 4] +[6; 5; 2; 54; 33; 9; 1; 1; 1; 61] [] -[5; 2; 3] +[5; 7; 0; 65; 0] [] -[3] +[2; 7] +[] +[6] [] [0] -[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4; 2; 37; 3; 8; 4; 31; 6; 2; 1; 0; 7; 5; 1; 0; 15; 6; 1; 8; 13; 0; 6; 2; 4; 2; 6; 6; 1; 4; 1; 9; 79; 0; 87; 6; 8; 8; 62; 1; 4; 62; 6; 31; 1; 5; 6; 5; 9; 3; 3; 1; 79; 4; 3; 2; 67; 5; 7; 12; 70; 8; 8; 6; 1; 3; 14; 15; 1; 61; 4; 1; 4; 1; 7; 4; 4; 4; 2; 8; 8; 7; 5; 4; 27; 0; 9; 80; 25; 1; 8; 1; 3; 7; 4; 3; 5; 5; 6; 5; 5; 31; 7; 0; 3; 3; 6; 71; 76; 28; 60; 6; 2; 6; 3; 0; 4; 1; 0; 5; 7; 0; 28; 86; 4; 7; 51; 36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] +[46; 2; 22; 4; 4; 2; 6; 5; 88; 24; 7; 9; 9; 2; 5; 1; 55; 8; 45; 1; 96; 0; 1; 2; 7; 4; 1; 5; 95; 6; 8; 6; 4; 0; 5; 5; 22; 87; 2; 1; 1; 0; 2; 2; 9; 5; 9; 3; 7; 59; 7; 96; 6; 5; 1; 3; 9; 9; 65; 6; 7; 7; 2; 5; 0; 0; 70; 5; 5; 2; 1; 57; 9; 7; 8; 10; 9; 7; 9; 75; 73; 80; 7; 9; 4; 3; 16; 5; 79; 1; 8; 6; 2; 3; 4; 9; 2; 8; 4; 6; 50; 2; 1; 5; 9; 5; 4; 3; 56; 6; 5; 9; 4; 1; 47; 1; 2; 5; 2; 0; 7; 31; 55; 6; 7; 4; 7; 8; 8; 2; 4; 40; 4; 6; 9; 3; 59; 5; 1; 0; 2; 6; 90; 1; 6; 81; 0; 1; 3; 7; 2; 4; 5; 4; 7; 3; 62; 0; 1; 6; 7; 5; 97; 83; 41; 7; 2; 6; 3; 0; 4; 8; 99; 8; 6; 0; 7; 9; 7; 1; 55; 30; 25; 3; 4; 7; 1; 6; 80; 8; 0; 4; 21; 3; 5; 9; 27; 10; 60; 47; 54; 6; 5; 8; 1; 5; 9; 65; 9; 5; 7; 7; 6; 48; 9; 5; 6; 4; 9; 7; 1; 2; 71; 6; 9; 2; 7; 8; 14; 59; 71; 30; 7; 3; 5; 4; 6; 7; 3; 6; 9; 8; 2; 38; 6; 6; 7; 1; 5; 2; 43; 5; 2; 9; 3; 0; 3; 2; 7; 71; 26; 3; 9; 11; 5; 1; 5; 2; 53; 46; 4; 6; 7; 67; 1; 0; 34; 0; 48; 5; 5; 0; 7; 49; 92; 8; 3; 0; 67; 1; 5; 2; 9; 5; 9; 3; 1; 4; 8; 0; 3; 6; 46; 58; 1; 54; 77; 0; 96; 1; 6; 2; 8; 22; 3; 9; 2; 6; 25; 49; 9; 6; 3; 8; 5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[] +[7; 79; 86; 1; 70; 98; 1; 4; 7; 9; 5; 8; 0; 1; 2; 0; 6; 0; 37; 6; 8; 26; 6; 8; 8; 98; 6; 8; 1; 6; 2; 4; 4; 7; 26; 1; 77; 2; 9; 9; 81; 8; 9; 4; 0; 86; 9; 3; 7; 0; 54; 2; 4; 1; 6; 4; 55; 5; 0; 9; 2; 1; 3; 8; 7; 1; 1; 3; 92; 1; 3; 4; 5; 2; 8; 51; 2; 94; 6; 82; 0; 11; 86; 1; 36; 31; 3; 2; 3; 8; 2; 8; 14; 26; 89; 1; 6; 0; 9; 5; 6; 7; 1; 6; 1; 6; 4; 7; 8; 8; 4; 1; 6; 3; 1; 5; 0; 6; 0; 5; 0; 4; 3; 49; 5; 8; 37; 8; 38; 0; 1; 8; 59; 5; 0; 7; 37; 87; 9; 3; 1; 5; 59; 8; 7; 6; 26; 4; 8; 8; 8; 9; 3; 2; 6; 64; 6; 7; 2; 8; 5; 2; 94; 26; 98; 3; 29; 2; 1; 72; 2; 49] [] -[9; 61; 8; 4; 69; 2; 0; 72; 4; 41; 3; 8; 75; 83; 7; 7; 3; 9; 5; 8; 4; 1; 0; 2; 1; 4; 7; 6; 2; 1; 4; 86; 3; 79; 7; 86; 52; 39; 19; 0; 4; 7; 7; 7; 0; 4; 8; 8; 0; 5; 13; 1; 5; 0; 7; 12; 64; 34; 1; 1; 85; 8; 2; 9; 76; 0; 2; 5; 76; 69; 8; 8; 0; 1; 2; 2; 4; 60; 29; 5; 9; 4; 0; 8; 3; 3; 5; 1; 35; 8; 2; 7; 23; 61; 56; 8; 1; 1; 78; 7; 5; 0; 30; 9; 3; 7; 28; 57; 98; 3; 52; 3; 82; 7; 5; 5; 6; 8; 1; 6; 8; 9; 8; 16; 0] +[8; 13; 1; 18; 0; 69; 15; 2; 5; 78; 7; 32; 8; 36; 7; 3; 0; 9; 1; 1; 1; 29; 3; 8; 7; 2; 1; 8; 7; 8; 22; 5; 49; 5; 0; 1; 8; 5; 6; 7; 5; 1; 9; 73; 55; 2; 4; 7; 3; 4; 2; 27; 0; 6; 9; 1; 7; 8; 5; 12; 5; 8; 9; 1; 95; 1; 0; 1; 4; 8; 6; 7; 0; 8; 2; 3; 7; 3; 9; 0; 86; 96; 72; 3; 4; 25] [] -[1; 9; 8; 28; 47; 8; 5; 6; 8; 9; 2; 5; 8; 30; 6; 8; 84; 0; 6; 7; 76; 7; 9; 1; 0; 5; 76; 95; 2; 2; 1; 45; 7; 8; 8; 1; 6; 37; 5; 6; 73; 8; 0; 85; 8; 0; 4; 5; 2; 0; 26; 59; 0; 5; 13; 4; 7; 3; 6; 8; 1; 3] +[4; 3; 6; 5; 0; 0; 9; 7; 0; 6; 5; 3; 0; 24; 5; 6; 86; 9; 9; 0; 7; 2; 6; 6; 3; 45; 6; 1; 17; 1; 2; 2; 3; 0; 4; 1; 8; 2; 6; 9; 5; 0; 2] [] -[5; 0; 0; 4; 10; 2; 4; 9; 5; 73; 6; 1; 5; 5; 3; 10; 5; 31; 1; 4; 3; 8; 9; 13; 41; 20; 96; 5; 1; 2; 8] +[9; 7; 62; 0; 73; 0; 8; 94; 0; 6; 50; 9; 83; 0; 5; 40; 6; 1; 6; 6; 6] [] -[9; 8; 73; 5; 8; 2; 1; 8; 2; 6; 4; 18; 5; 76; 3] +[6; 5; 2; 54; 33; 9; 1; 1; 1; 61] [] -[0; 6; 2; 8; 8; 1; 4] +[5; 7; 0; 65; 0] [] -[5; 2; 3] -[3; 2; 7; 3; 3] +[2; 7] +[4; 6; 6] [] -[5; 3] -[5; 3; 2] -[9; 87; 7; 0] -[0; 2; 7; 3; 3] -[0; 0; 7; 3; 3] -[0; 0; 0; 3; 3] -[0; 0; 0; 0; 3] -[0; 0; 0; 0; 0] +[7] +[6; 41] +[0; 6; 6] +[0; 0; 6] +[0; 0; 0] --- Failure -------------------------------------------------------------------- -Test should_fail_sort_id failed (9 shrink steps): +Test should_fail_sort_id failed (11 shrink steps): [1; 0] === Error ====================================================================== -Test should_error_raise_exn errored on (1 shrink steps): +Test should_error_raise_exn errored on (2 shrink steps): 0 @@ -183,55 +175,55 @@ exception Dune__exe__QCheck2_expect_test.Overall.Error Collect results for test collect_results: -4: 20 cases -3: 25 cases -2: 17 cases -1: 18 cases -0: 20 cases +4: 24 cases +3: 20 cases +2: 18 cases +1: 21 cases +0: 17 cases +++ Stats for with_stats ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats mod4: - num: 100, avg: 1.68, stddev: 1.09, median 2, min 0, max 3 - 0: ############################## 17 - 1: ################################################### 29 - 2: ######################################## 23 - 3: ####################################################### 31 + num: 100, avg: 1.56, stddev: 1.18, median 2, min 0, max 3 + 0: ################################################# 27 + 1: #################################### 20 + 2: ########################################## 23 + 3: ####################################################### 30 stats num: - num: 100, avg: 66.84, stddev: 31.94, median 65, min 2, max 120 - 2.. 7: ################## 3 - 8.. 13: ################## 3 - 14.. 19: 0 - 20.. 25: ########################################## 7 - 26.. 31: ######################## 4 - 32.. 37: ######################## 4 - 38.. 43: ################## 3 - 44.. 49: ################################################ 8 - 50.. 55: #################################### 6 - 56.. 61: #################################### 6 - 62.. 67: ####################################################### 9 - 68.. 73: ########################################## 7 - 74.. 79: ######################## 4 - 80.. 85: ################## 3 - 86.. 91: ############ 2 - 92.. 97: ########################################## 7 - 98..103: #################################### 6 - 104..109: #################################### 6 - 110..115: ####################################################### 9 - 116..121: ################## 3 + num: 100, avg: 62.24, stddev: 33.15, median 62, min 2, max 120 + 2.. 7: ######### 2 + 8.. 13: ################################ 7 + 14.. 19: ########################### 6 + 20.. 25: ############# 3 + 26.. 31: ###################### 5 + 32.. 37: ################## 4 + 38.. 43: ############# 3 + 44.. 49: ################################ 7 + 50.. 55: ################################ 7 + 56.. 61: ###################### 5 + 62.. 67: #################################### 8 + 68.. 73: ######### 2 + 74.. 79: ###################### 5 + 80.. 85: ######### 2 + 86.. 91: ####################################################### 12 + 92.. 97: ###################### 5 + 98..103: ################## 4 + 104..109: ################## 4 + 110..115: ############# 3 + 116..121: ########################### 6 --- Failure -------------------------------------------------------------------- Test with shrinking retries failed (0 shrink steps): -7 +4 !!! Warning !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Warning for test WARN_unlikely_precond: -WARNING: only 0.5% tests (of 2000) passed precondition for "WARN_unlikely_precond" +WARNING: only 0.8% 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. @@ -239,7 +231,7 @@ NOTE: it is likely that the precondition is too strong, or that the generator is Test FAIL_unlikely_precond failed: -ERROR: only 0.5% tests (of 2000) passed precondition for "FAIL_unlikely_precond" +ERROR: only 0.8% 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. @@ -258,19 +250,19 @@ Test big bound issue59 failed (0 shrink steps): --- Failure -------------------------------------------------------------------- -Test long_shrink failed (3039 shrink steps): +Test long_shrink failed (3029 shrink steps): ([0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0], [0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 1]) --- Failure -------------------------------------------------------------------- -Test ints arent 0 mod 3 failed (2 shrink steps): +Test ints arent 0 mod 3 failed (1 shrink steps): 0 --- Failure -------------------------------------------------------------------- -Test ints are 0 failed (61 shrink steps): +Test ints are 0 failed (57 shrink steps): 1 @@ -282,7 +274,7 @@ Test ints < 209609 failed (0 shrink steps): --- Failure -------------------------------------------------------------------- -Test nat < 5001 failed (7 shrink steps): +Test nat < 5001 failed (6 shrink steps): 5001 @@ -294,57 +286,57 @@ Test char is never produces 'abcdef' failed (1 shrink steps): --- Failure -------------------------------------------------------------------- -Test strings are empty failed (8 shrink steps): +Test strings are empty failed (9 shrink steps): "a" --- Failure -------------------------------------------------------------------- -Test string never has a \000 char failed (22 shrink steps): +Test string never has a \000 char failed (55 shrink steps): -"aaaaaa\000aaaaaaaaaaaaaaaa" +"aaaaaaaaaaaaaaa\000aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa" --- Failure -------------------------------------------------------------------- -Test string never has a \255 char failed (59 shrink steps): +Test string never has a \255 char failed (75 shrink steps): -"aaaaaaaaaaaaaaaaaaaaaaaaaa\255aaaaaaaaaaaaaaaaaaaaaaaa" +"aaaaaaa\255aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa" --- Failure -------------------------------------------------------------------- -Test lists are empty failed (8 shrink steps): +Test lists are empty failed (9 shrink steps): [0] --- Failure -------------------------------------------------------------------- -Test lists shorter than 10 failed (16 shrink steps): +Test lists shorter than 10 failed (15 shrink steps): [0; 0; 0; 0; 0; 0; 0; 0; 0; 0] --- Failure -------------------------------------------------------------------- -Test lists shorter than 432 failed (412 shrink steps): +Test lists shorter than 432 failed (413 shrink steps): [...] list length: 432 --- Failure -------------------------------------------------------------------- -Test lists shorter than 4332 failed (4022 shrink steps): +Test lists shorter than 4332 failed (4002 shrink steps): [...] list length: 4332 --- Failure -------------------------------------------------------------------- -Test lists equal to duplication failed (4 shrink steps): +Test lists equal to duplication failed (1 shrink steps): [0] --- Failure -------------------------------------------------------------------- -Test lists have unique elems failed (11 shrink steps): +Test lists have unique elems failed (10 shrink steps): -[0; 0; 0; 0; 0] +[0; 0; 0] --- Failure -------------------------------------------------------------------- @@ -354,13 +346,13 @@ Leaf 0 --- Failure -------------------------------------------------------------------- -Test forall (a, b) in nat: a < b failed (6 shrink steps): +Test forall (a, b) in nat: a < b failed (3 shrink steps): (0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c) in nat: a < b < c failed (3 shrink steps): +Test forall (a, b, c) in nat: a < b < c failed (5 shrink steps): (0, 0, 0) @@ -402,21 +394,21 @@ Test forall (a, b, c, d, e, f, g, h, i) in nat: a < b < c < d < e < f < g < h < --- Failure -------------------------------------------------------------------- -Test fail_pred_map_commute failed (16 shrink steps): +Test fail_pred_map_commute failed (112 shrink steps): -([2], {_ -> 0}, {1 -> false; 2 -> true; _ -> false}) +([0], {0 -> -1; 3 -> 0; _ -> 0}, {0 -> true; 3 -> false; _ -> false}) --- Failure -------------------------------------------------------------------- -Test fail_pred_strings failed (1 shrink steps): +Test fail_pred_strings failed (2 shrink steps): {"some random string" -> true; _ -> false} --- Failure -------------------------------------------------------------------- -Test fold_left fold_right failed (22 shrink steps): +Test fold_left fold_right failed (53 shrink steps): -(0, [1], {(1, 0) -> 1; (8, 0) -> 0; (8, 8) -> 0; (8, 93) -> 0; (7, 7) -> 0; (24, 5) -> 0; (7, 0) -> 0; (0, 2) -> 0; (2, 4) -> 0; (9, 8) -> 0; (4, 9) -> 0; (1, 24) -> 0; (9, 5) -> 0; (80, 9) -> 0; (24, 0) -> 0; (1, 8) -> 0; (5, 7) -> 0; (0, 7) -> 0; (7, 8) -> 0; (0, 24) -> 0; _ -> 0}) +(0, [1], {(27, 0) -> 0; (1, 3) -> 0; (1, 0) -> 1; (8, 8) -> 0; (54, 8) -> 0; (7, 0) -> 0; (0, 54) -> 0; (3, 22) -> 0; (9, 0) -> 0; (0, 5) -> 0; (1, 7) -> 0; (9, 4) -> 0; (0, 3) -> 0; (4, 4) -> 0; (7, 1) -> 0; (2, 9) -> 0; (49, 8) -> 0; (0, 0) -> 0; (9, 1) -> 0; (7, 4) -> 0; (3, 0) -> 0; (0, 6) -> 0; (54, 0) -> 0; (4, 6) -> 0; (8, 6) -> 0; (0, 13) -> 0; (25, 4) -> 0; (4, 8) -> 0; (13, 0) -> 0; (0, 9) -> 0; (6, 7) -> 0; (8, 3) -> 0; (5, 4) -> 0; (5, 7) -> 0; (8, 5) -> 0; (6, 0) -> 0; (2, 5) -> 0; (7, 2) -> 0; (3, 1) -> 0; (1, 5) -> 0; (0, 27) -> 0; (5, 6) -> 0; _ -> 0}) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ @@ -427,21 +419,21 @@ l=[1], fold_left=1, fold_right=0 --- Failure -------------------------------------------------------------------- -Test fold_left fold_right uncurried failed (325 shrink steps): +Test fold_left fold_right uncurried failed (277 shrink steps): -({(23, 62) -> 0; (9, 42) -> 0; (8, 61) -> 0; (8, 5) -> 0; (30, 5) -> 0; (9, 6) -> 0; (76, 6) -> 0; (19, 31) -> 0; (7, 62) -> 0; (0, 7) -> 1; (7, 1) -> 0; (78, 4) -> 0; (8, 2) -> 0; (78, 0) -> 0; (3, 47) -> 0; (4, 8) -> 0; (98, 9) -> 0; (1, 38) -> 0; (0, 26) -> 0; (1, 7) -> 0; (86, 3) -> 0; (9, 37) -> 0; (8, 1) -> 0; (79, 9) -> 0; (3, 5) -> 0; (56, 8) -> 0; (2, 5) -> 0; (8, 8) -> 0; (56, 67) -> 0; (5, 60) -> 0; (2, 31) -> 0; (61, 6) -> 0; (12, 5) -> 0; (76, 2) -> 0; (78, 8) -> 0; (1, 1) -> 0; (8, 9) -> 0; (7, 8) -> 0; (2, 9) -> 0; (29, 7) -> 0; (5, 8) -> 0; (28, 6) -> 0; (1, 4) -> 0; (9, 79) -> 0; (0, 1) -> 0; (1, 41) -> 0; (82, 98) -> 0; (6, 79) -> 0; (7, 6) -> 0; (4, 3) -> 0; (8, 12) -> 0; (5, 1) -> 0; (39, 1) -> 0; (3, 6) -> 0; (1, 2) -> 0; (76, 31) -> 0; (4, 1) -> 0; (6, 5) -> 0; (0, 8) -> 0; (8, 7) -> 0; (2, 6) -> 0; (52, 5) -> 0; (8, 47) -> 0; (5, 3) -> 0; (7, 9) -> 0; (13, 13) -> 0; (0, 87) -> 0; (82, 0) -> 0; (34, 8) -> 0; (1, 14) -> 0; (2, 71) -> 0; (52, 4) -> 0; (1, 3) -> 0; (85, 6) -> 0; (8, 19) -> 0; (3, 13) -> 0; (69, 1) -> 0; (5, 62) -> 0; (0, 15) -> 0; (34, 0) -> 0; (9, 4) -> 0; (0, 6) -> 0; (1, 8) -> 0; (86, 6) -> 0; (4, 5) -> 0; (3, 1) -> 0; (57, 2) -> 0; (3, 3) -> 0; (4, 0) -> 0; (30, 6) -> 0; (5, 34) -> 0; (0, 4) -> 0; (2, 3) -> 0; (5, 6) -> 0; (5, 7) -> 0; (5, 0) -> 0; (4, 4) -> 0; (7, 5) -> 0; (78, 2) -> 0; (9, 8) -> 0; (7, 70) -> 0; (35, 1) -> 0; (64, 7) -> 0; (60, 0) -> 0; (1, 9) -> 0; _ -> 0}, 0, [0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 7]) +({(59, 4) -> 0; (0, 2) -> 0; (82, 47) -> 0; (7, 2) -> 0; (2, 7) -> 0; (0, 7) -> 1; (49, 46) -> 0; (0, 0) -> 0; (3, 4) -> 0; (36, 6) -> 0; (1, 7) -> 0; (4, 6) -> 0; (8, 1) -> 0; (3, 5) -> 0; (98, 4) -> 0; (94, 2) -> 0; (8, 70) -> 0; (38, 2) -> 0; (9, 1) -> 0; (0, 41) -> 0; (8, 8) -> 0; (37, 9) -> 0; (3, 9) -> 0; (49, 7) -> 0; (3, 80) -> 0; (26, 7) -> 0; (4, 7) -> 0; (1, 75) -> 0; (94, 88) -> 0; (1, 5) -> 0; (0, 5) -> 0; (2, 9) -> 0; (54, 1) -> 0; (98, 1) -> 0; (1, 4) -> 0; (29, 3) -> 0; (86, 4) -> 0; (4, 3) -> 0; (5, 1) -> 0; (0, 22) -> 0; (2, 4) -> 0; (3, 6) -> 0; (2, 1) -> 0; (1, 2) -> 0; (4, 1) -> 0; (81, 8) -> 0; (7, 3) -> 0; (6, 5) -> 0; (9, 7) -> 0; (3, 7) -> 0; (2, 6) -> 0; (11, 4) -> 0; (9, 16) -> 0; (77, 55) -> 0; (1, 6) -> 0; (0, 6) -> 0; (14, 2) -> 0; (3, 1) -> 0; (8, 0) -> 0; (51, 31) -> 0; (59, 1) -> 0; (3, 96) -> 0; (31, 62) -> 0; (1, 0) -> 0; (5, 0) -> 0; (8, 4) -> 0; (9, 97) -> 0; (7, 5) -> 0; (2, 8) -> 0; (0, 90) -> 0; (29, 6) -> 0; (8, 55) -> 0; (6, 1) -> 0; (5, 65) -> 0; (4, 57) -> 0; (26, 5) -> 0; (7, 59) -> 0; (89, 4) -> 0; (9, 6) -> 0; (8, 5) -> 0; (3, 8) -> 0; (7, 1) -> 0; (0, 9) -> 0; (29, 4) -> 0; (4, 8) -> 0; (87, 0) -> 0; (9, 0) -> 0; (2, 5) -> 0; (8, 3) -> 0; (3, 45) -> 0; (3, 2) -> 0; (37, 5) -> 0; (3, 10) -> 0; (6, 9) -> 0; (0, 3) -> 0; (8, 9) -> 0; (2, 24) -> 0; (31, 56) -> 0; (59, 5) -> 0; (64, 1) -> 0; (0, 81) -> 0; (0, 1) -> 0; (86, 9) -> 0; (94, 0) -> 0; (26, 25) -> 0; (2, 0) -> 0; (59, 2) -> 0; (8, 50) -> 0; (72, 2) -> 0; (4, 2) -> 0; (92, 40) -> 0; (3, 0) -> 0; (6, 80) -> 0; (1, 99) -> 0; (7, 73) -> 0; (26, 3) -> 0; (6, 4) -> 0; (59, 95) -> 0; (1, 3) -> 0; (98, 3) -> 0; (6, 7) -> 0; (9, 4) -> 0; (8, 59) -> 0; (4, 5) -> 0; (1, 8) -> 0; (6, 55) -> 0; (86, 83) -> 0; (3, 3) -> 0; (8, 96) -> 0; (98, 6) -> 0; (5, 79) -> 0; (26, 9) -> 0; (5, 87) -> 0; (5, 6) -> 0; (5, 7) -> 0; (1, 22) -> 0; (1, 30) -> 0; (4, 4) -> 0; (7, 7) -> 0; (55, 1) -> 0; (1, 9) -> 0; _ -> 0}, 0, [0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 7]) --- Failure -------------------------------------------------------------------- -Test fold_left fold_right uncurried fun last failed (25 shrink steps): +Test fold_left fold_right uncurried fun last failed (34 shrink steps): -(0, [1], {(0, 2) -> 0; (8, 80) -> 0; (93, 9) -> 0; (7, 24) -> 0; (8, 0) -> 0; (9, 7) -> 0; (0, 24) -> 0; (0, 7) -> 0; (7, 1) -> 0; (8, 9) -> 0; (24, 0) -> 0; (5, 8) -> 0; (1, 0) -> 1; (4, 8) -> 0; (7, 0) -> 0; (5, 7) -> 0; (8, 4) -> 0; (24, 5) -> 0; (0, 1) -> 0; (2, 8) -> 0; (9, 1) -> 0; (8, 8) -> 0; _ -> 0}) +(0, [1], {(0, 2) -> 0; (4, 5) -> 0; (5, 9) -> 0; (8, 6) -> 0; (4, 0) -> 0; (7, 2) -> 0; (8, 7) -> 0; (4, 7) -> 0; (0, 4) -> 0; (5, 3) -> 0; (0, 5) -> 0; (0, 9) -> 0; (5, 8) -> 0; (7, 0) -> 0; (5, 7) -> 0; (6, 4) -> 0; (4, 8) -> 0; (0, 0) -> 0; (0, 1) -> 1; (2, 0) -> 0; (9, 0) -> 0; (5, 1) -> 0; (2, 5) -> 0; _ -> 0}) --- Failure -------------------------------------------------------------------- -Test fold_left test, fun first failed (15 shrink steps): +Test fold_left test, fun first failed (1086 shrink steps): -({_ -> ""}, "a", [], [0]) +({(">\129", 60) -> ""; ("\249", 4) -> ""; ("\167\029\235\214", 38) -> ""; ("\252\226\\\148\227", 2) -> ""; ("\161\215\137\247p\240\218\167\212", 29) -> ""; ("\138X\170\220\229\000\177p\134", 5) -> ""; ("\161\247\223\190q\205\164\150\011", 5) -> ""; ("xf\003{\195\181oP\237", 1) -> ""; (".\025\132\188Sp\1573", 4) -> ""; ("\230}\145", 4) -> ""; ("\019\183\020\128\129\196\187f\167", 6) -> ""; ("\019\132o\172`hh", 6) -> ""; ("\018\030\157\011\1421\226$v", 7) -> ""; ("W\001\196\161", 1) -> ""; ("\"\026\199dh\152", 31) -> ""; (";\028w\184\249V\221\015DO\235\164,s<\206\1871Hc\216^T\201\245\231\007\138\248\138\030H\132\192\n\241u\141eE\16925\248\141|kL\221\184\238N87\234\130 \251\218", 89) -> ""; ("A\235\138F\147\248\252\191", 6) -> ""; ("7", 4) -> ""; ("\157", 9) -> ""; ("E\161^.\131", 4) -> ""; ("\022vj(E\242\153oSj{|\214\184\220\185\229\240t\160\152\132\196\187m\190\005\b\169`\149\006\158", 5) -> ""; ("6\\", 0) -> ""; ("\181K\166\161k", 9) -> ""; ("-b\0268/", 7) -> ""; ("\148\217", 9) -> ""; ("*R\224K\r\207s", 72) -> ""; ("\134\142#}\176", 31) -> ""; ("", 0) -> ""; ("\240\253\224f\183\023V", 3) -> ""; ("]", 0) -> ""; ("\164(\236\165\196N3\018\001R\253\223\207N\1321\029F\235\184\214\012\016m\132\229\141\201\211\019t`\249\165N\226\191\025\222\018\136\227}\252\2065e\022A\181\235\128\143\157\224\231h\144\028n\012\202\015\162\016\159[\187P9L)hd`\168", 3) -> ""; ("\163\218\249\\\212\151\195\0207\020\2161\215$]P\227\202\154\005\134\161\190N\148^\235\224\204:!\173K`\156QJ`\167V\232\021\142w\154\nI\027\158\2287k:vL\205v\170?\254\229s_n~b\192+;\175\143d9k\235}\189\182\249\184\006\239\194\165\027\228\242)\021\012\160\020\018 \236", 46) -> ""; ("\206mf\230d\027M", 0) -> ""; ("\150\222\192", 0) -> ""; ("\240\253\224f\183\023V", 1) -> ""; ("\153u\190\n=\212\019x`5\127=\247\0148\168s\022\166\221\022(\012\198\190v\000@X\190\254\1354y\225\012so\168", 7) -> ""; ("\127D\212h\219s\\\139\134Ep\003\n\230\001\023\240d\226\229\018\224F\018\135<C&\243", 1) -> ""; ("ow\211\244", 7) -> ""; ("\254k\203k\020 \153\005", 30) -> ""; ("V", 5) -> ""; ("\136\007pN\247\160Q\012\253\n\211\181\163\238\166\157\145\240\181\246\185\204j\b\001i25*\192\146\145I\023\245\227\160>\166{\142u\205\222n\r\229\154\130\199\201V1\156\153\156\247\206\182\025\159\174$\190~\023\018:dw\179b\248{P\020\217\196\195\235H\156}\006\1966 \202]\140\004\158\148\139m\173\249", 91) -> ""; ("b\194>", 7) -> ""; ("\231\138\203\176>", 5) -> ""; ("\204\b\172s\030/", 2) -> ""; ("\243\150T\249=", 9) -> ""; ("]", 1) -> ""; ("\003\r\235", 2) -> ""; ("-tw\244\0216\003\166\170", 7) -> ""; ("\245-", 7) -> ""; ("9:\236\135L\228\207\138H[\004\202\172\221\137'\b\023\166\\\014\173\235\190\147\\\1912\201C\153\188O\222?", 97) -> ""; ("\219\210|D\241\193\235\211AI\243\217\\vl\n:?s\222K\193+\188\182Iu\228h.\"\191\159U\231U(.\254\137\130f\222\"\165\007\n\184\031D/Kd\235\173\022\208h\156\197\030\n\0247\151\192\001\134\155", 3) -> ""; ("6\216\225\129\134\152\188", 84) -> ""; ("", 61) -> ""; ("\194\160\014\n\006", 5) -> ""; ("\243\144\140r\012\1988\180\029]\128\225\243\169\128k\207\198\201`\242I\254\249\168\255\198\159\022p\230\213\143\238\007{\027\030\172\182\2291\021\006\153\012J\156Lk\202(\022\236\028\183\003X\130sK\222\188j\202\007\165\251\183/a\133\146\004\219\024HX\t6v\139y", 6) -> ""; ("\162\1492*\178gh", 6) -> ""; ("\129\221\022\227.\156", 7) -> ""; ("\147[\021k\221\199\206", 7) -> ""; ("YWt9\019", 0) -> ""; ("\164(\236\165\196N3\018\001R\253\223\207N\1321\029F\235\184\214\012\016m\132\229\141\201\211\019t`\249\165N\226\191\025\222\018\136\227}\252\2065e\022A\181\235\128\143\157\224\231h\144\028n\012\202\015\162\016\159[\187P9L)hd`\168", 0) -> ""; ("{&?k\160\203\209=\248", 6) -> ""; ("\153I\154\027d\0220J\216\132\156}\179\175&p[{\1296\r\137\250\" \028\180\031w;\217!\199\228\022\244\218\189\173\127G\188\254\140\209\229\011\233\153\015Q\250\015\224\131\182\130\148,\212j\195\167gk\227K\158\016n\023\148\202\230\193\161K\1645-\136\215", 5) -> ""; ("CH\149", 2) -> ""; ("\030E\131\163\023?\014[\t\239\223/\132\136\207ly\235\012\177\226J\219\246\182\231\176w[/s30\004\n\017l\216\187r", 9) -> ""; ("FU\171\139\169|\188\249]2c9\141\254|\020\017\242M\154s\251\181&\217\187\228{\253R\159cY.\139\180_\181m\r\201\030\250\163E\249p5,\231\227St>\162fu\178\153'\005\136\187\002k", 66) -> ""; ("\194\237\169\242\144", 6) -> ""; ("\150\254\201\027\254AP\028", 15) -> ""; ("\022I\235\166\235f\143\148c\237\138V\255\157\138\222\174\192\202\1651\022\1503\2297\162\162\130\217\245\011(*\226\014\226\180F9p\239\2063\242wR\143m{\246\163<\157\001", 7) -> ""; ("\002\242\218\246\231", 0) -> ""; ("", 18) -> ""; ("\150}\159Hh>\027\138\238", 2) -> ""; ("'\196\014\231B\190\1420\007V\206u\t\208\015#\152\142\236\247c\026", 1) -> ""; ("\191\206F\251\b\146\149Nr,^*\003\024\174\147(T\r\185+\135\214V\237p~T\153\224\135\202I\217\031\t\135uW\006\251\1489 n\203 \168\183\182\158\243\133p\165\243\201N|", 8) -> ""; ("\161\128\129\173\254", 1) -> ""; ("\022\027\022%\141\018R\011\211", 1) -> ""; ("\014", 90) -> ""; ("Q\216\137\14016S", 9) -> ""; ("\161_@\243\223\170\160", 4) -> ""; ("=Q", 1) -> ""; ("", 1) -> ""; ("\221\184V\247\225\254\209iW;_d\144\t\179>2\252\221pO<\134F\005\252\151\163\138\007\219z\136\215\237]92G\000A\135\139\166\214\186\232\199\236\000\132_\006\241\169Gz\"\155\183\215-\233\249", 1) -> ""; ("\149my\224:", 2) -> ""; ("\236", 96) -> ""; ("\186\212f\130\252x\227\145\020", 22) -> ""; ("\177?\n\019/\183%\158<\142\150\248N\205\142\212\018-r\142\143\234*\237h\174\219d:\191\237Mn\007\0129\230F\166\181\004\198\251b\165\201L\183{\140\011E\229\131gu\146\167\227lE\162", 78) -> ""; ("\214N", 9) -> ""; ("\t\223\211\226\249\012", 9) -> ""; ("\2218@f\174\203P\238\143\192\000\236\184e\139\214l>\138?\228\222\007\007\200F\252]", 77) -> ""; ("b\167", 9) -> ""; ("\205t@SyT", 3) -> ""; ("\223\222", 2) -> ""; ("\254\007\198i\222js", 0) -> ""; ("R\2469\\\188\211\139\165\211c(=\208\n7\229\201\133w\028I\rfqb\005\247\182\148[\127\247\149\239z\254\255\236\151w\b\151\142", 1) -> ""; ("\207N", 2) -> ""; ("\202h\165", 4) -> ""; ("\208\145\202$\1942\163N", 9) -> ""; ("\196c", 6) -> ""; ("", 9) -> ""; ("\136\212@\140\231\017\153\145\000\190J\238\204\004\190\012Y\240\185\255\196^\152\194K\166_!(\151\019V_\131\167\144\132O_L\012c\188\016\017\133\000P\194{\141\225\181\001\130t\031\145\190\170a!\024\0172\rMh\247NW:\028\189CaB\244\249\204^\221\205x+\180", 5) -> ""; ("\016\224X;", 72) -> ""; ("\216:\004 T!\224\241E\1512\158", 7) -> ""; ("\145}", 6) -> ""; ("\182W\t\161\130", 7) -> ""; ("", 7) -> ""; ("", 24) -> ""; ("\196c\016\172\179\014\198", 19) -> ""; ("\241\191", 2) -> ""; ("\148\021\159g\2313[>W5y'\170x\168\131\232", 4) -> ""; ("/\014\254\148\\\130", 0) -> ""; ("\206\162\145#o\208\253", 4) -> ""; ("zN\253@x\132%\236", 4) -> ""; ("\137\006\025\031F\128P", 7) -> ""; ("g[C", 1) -> ""; ("oyE", 1) -> ""; ("\197QO\228\191\209(", 7) -> ""; ("\159\227\232K\016\157", 22) -> ""; ("#|\219\184t\029", 8) -> ""; ("", 37) -> ""; ("c", 46) -> ""; ("(\203\130\197#\158\159\004D\163\023.\021\178\149\194J\180\157v\214\168?\024G\188", 41) -> ""; ("0u0c\023\178", 2) -> ""; ("", 3) -> ""; (".\188\004\198\248\002", 9) -> ""; ("i<\238\237h\011\175\012E\238\184\240\227\189/\139c\000\239\213!\164/\023\007\157`\030\238\024/\232Z!\"d\129D\018\202~\129\244\1498\157\189\142a]\251\132\166\171\027\022\163\135\012\030\247\143V\007\209a\222\000\243\157\137\168L\244q\144\152mM\005\138\245^\176j", 7) -> ""; ("\255\165", 4) -> ""; ("", 8) -> ""; ("\030^\180z\253\023k\024\227\134\217\147\212\1892I\252\020\028\024\217\167\213o\025f\136\222\163/\136\029[\154", 0) -> ""; ("u\250\240,\021\171~7", 25) -> ""; ("\238\021\205\184O:\176\191\216/\221\170z\157\184\201\200\012}\170kf2\191\151e\206\133p\248\215\026Q\168\193", 2) -> ""; ("\131m\019\196\182\011`|kO\132\b\127D\209$\007\194\213\"\238M\140\181\161\202\247%\183\166HU\245v\212q\178cC.\167q5\204\214L\216a\240r\007\166\200\254\147\011\184\135\b\187\195 \189\178\214", 4) -> ""; ("\157\166U\237@v\014\011\212\233\241\132\135{\176\223o\223\177R\bN\2199#\178\209\2232\031r\025qSm\212E\000\160\217va\206\129\142\255\170_\198N\029\229\161\006\243\243\209\028-\213\128\194\186e\213\200\135r\016*4\193\025\185\005\203S\016h~\217\244\187\246\181T,A\254F5", 20) -> ""; ("\177~\197V\176YS\236", 92) -> ""; ("\213\n7C\170YO\016\003PN]\151\204\127\225t\208\204\201K\198\030\007R\030\200\t\018\028\171\001\232\222\n\162\189\145*F", 22) -> ""; ("\133l{\244\146\na", 0) -> ""; ("\185\140\232j\149F\225", 9) -> ""; ("? \031\217N\133g", 9) -> ""; ("^GT;q6\139W\t\221\253\002\030^\222\221\192u*\000}\016iv5\015 !,\204\217.\006\236xU\\\237N\246\168E}{M\229\193j\137\233\210\179\151B\238L\024\026\2251\150\186\022\226;K(\241\024^\204Vi\132", 9) -> ""; ("\1955\255\021\1619\175\174r\228dX\179\024\b\144{%\236\012\190\217\221\128h\242)\135^\148H\178x\186&+\252\158Z\022\2082\137\241!6\196\230\157\020G\247\229g\180z\144\187\142\184", 6) -> ""; ("", 6) -> ""; ("\250", 5) -> ""; ("!\0238", 36) -> ""; ("hm\219\208H\1712", 2) -> ""; ("?6Z\242", 72) -> ""; ("\157\206\229\244N\184", 35) -> ""; ("Y", 42) -> ""; ("]\254\129T^W\166\217\171", 9) -> ""; ("\250]h\219", 7) -> ""; ("\218", 6) -> ""; ("\129\160\176)\005\016", 4) -> ""; ("\156\243", 8) -> ""; ("\021z\027\219\181\133o", 21) -> ""; ("\235\249", 3) -> ""; ("\146\210\173\211`P\027\144\137", 7) -> ""; (",\017\227\236\234\140\233", 3) -> ""; ("\231\228d\001\243\129\227/\187z}O)\211Y\169\143\189\243\222\170_\222U\168R\011in\011E\140\029\001\242\t\198\134\012\157w\191T$:", 4) -> ""; ("\255\238M\167\179|\222", 46) -> ""; ("\157\253\240#sL7\242dE\214\190[I=~L\212\226", 6) -> ""; ("\224m", 8) -> ""; ("\213*6\147\170lgs\153\183P\171&\226@\007\243& \132\220b\174\170\175\144\221n\151+!\012}\018W\166\005#\248o\250r\218\152\178\235\174\231-\190<r\183)\015\146\187", 0) -> ""; ("K", 92) -> ""; ("\tF\164\195\154g\208W(D2V@\004]d\235\254\212\129", 1) -> ""; ("\159\239$\149\150N\166M\195w|3\255\193\169)\205\129\249\174/'\242\181Zo\254g\240W\128\136N\182\003\165;\007Z|\005\181s\238G\137\003\194Pg\006\002\151\026\160\174\196X\141\142\238\254I\231\218\248\028\221\204\173\248\191\206\014\202s\024\163Y\176", 9) -> ""; ("\237\170f\135\025\254\129\224K\b\222\131\030\214~\220\241\175w\173>\148\131\148", 5) -> ""; ("\018k", 9) -> ""; ("\023\141+", 0) -> ""; ("\246\154($\238\212\194\145L'\b\004\219\177\027\169\006\024:", 4) -> ""; ("\216\162R<\156\249", 8) -> ""; ("Z\163\021\252a\251\182\169\177", 3) -> ""; ("9;\021\006\016\171p\165\228", 1) -> ""; ("", 2) -> "a"; ("\232\b\137", 4) -> ""; ("<\021\193R\188", 2) -> ""; (" \245\026\000b'\194\154\249", 13) -> ""; ("\172\250r\024,\005\133\239\218\132I\159`\201\026d\016SbD\188\r", 6) -> ""; ("\168\247\175g\209\214P\156kDpoI\199\024\012\142\n\191\248G\189\136q\243\023\"\175?9\250j\220\t\193\192a\245\003\231\000\024;\029\249", 5) -> ""; ("5\224^\\\031\150Q>", 14) -> ""; ("", 5) -> ""; ("6\021\153\031\\", 5) -> ""; ("\"N", 4) -> ""; ("x\169\164\168\227t\191", 2) -> ""; ("G\183-X\127\180/\161J\246\179\029]\193", 90) -> ""; ("\139\204\143?8\016", 0) -> ""; ("H\015\246Y|\130[\141\200x\219\174\131\195\250\198\014\029c\177JMBF?\018\2226.\231\t\221^=\203\157\234\150 3\161R\170\214pr C>\236\139\1308\227\143\191\162i\203\182\005\232I\147B.yu", 4) -> ""; ("Bt\220/57Zx\2418\b\003\196\149\0297i", 4) -> ""; ("R", 4) -> ""; ("\152\\\188\223\161\187\204", 3) -> ""; ("/\206", 9) -> ""; ("\240\253\224f\183\023V", 0) -> ""; ("\131Z\170\179zg\240\245\248", 9) -> ""; ("\216", 9) -> ""; ("\236r\207/-\000\154", 24) -> ""; ("\232\214V\237\180\127v\000\184\207\230\014qS\005\155\225&\171*\208\001S2:\173h\192p\007i\200\209\161r\220\153\224\016\"(\200\011\137y\1846z\182}Z\129lo\249\134\242w\181L\167-\019l\180\210h\203_'~", 4) -> ""; ("(\r", 9) -> ""; ("7\197\247", 1) -> ""; ("Y\222|\160\254h", 7) -> ""; ("\015\1861q\253\130\156", 1) -> ""; ("\012\150\165F\190\141\221\254\171\134\192\016\003\180\2167\184\224\019b\192\228\166\254\141\244ssbCO\129\132\020\014\130\221E9\226\186PTp\237\185\169\145\233\139\128\194b\163Q\207\252\235", 57) -> ""; ("f\004\2205\016", 34) -> ""; ("\023\249\175", 8) -> ""; ("I\014\227G\231>", 2) -> ""; ("\136Mv\207\163jS\157>\251\239\239\006", 4) -> ""; ("\226\192\159W\238", 3) -> ""; ("\146", 6) -> ""; ("\b\207y", 9) -> ""; ("8\244\n\168\194\026\200\027\n\131\191", 5) -> ""; ("\129yW\181", 8) -> ""; ("\025\193E\205\019\224\r", 4) -> ""; ("\t\160D\174\179X\190\196F\026", 21) -> ""; ("\021", 8) -> ""; ("\217", 3) -> ""; ("\225\202\138c\142\130w\140\131\246\017\173\164\180\213r\166J'\141\148\138!\228\133j<e\012\221\146\018\028\175\218\1916\157\004\012CAQ\023.\228\232\030^\140\214UC\016a\254\024\242\012\132\145\222\004t\131\144cO\199\1595\136\165\1412\127u/\007e?\223\155\223\1880,f\213[", 78) -> ""; ("\255\145\tV\189\bk(P\137O\234\1402\248\174}\250\160\002b\1799Z\209(\019\172\017Z\167\b\245\152\020\134a+\221\133;E$\022G\017\141X\162\023\027v\n\172\031b#\015\221\175\015Q\255\1666\029", 2) -> ""; ("`qL\029", 0) -> ""; ("\"\024\230^", 15) -> ""; ("\250", 59) -> ""; ("a\193\142", 6) -> ""; ("S\158\218\159\148\021\216\137\205\023\203\194\018\029 R/Vc6\137R9", 77) -> ""; _ -> ""}, "", [0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 2], [0]) ...TRUNCATED BY DUNE... + 4500.. 4999: 9 + 5000.. 5499: 9 + 5500.. 5999: 14 6000.. 6499: 15 - 6500.. 6999: 13 - 7000.. 7499: 16 - 7500.. 7999: 12 - 8000.. 8499: 11 - 8500.. 8999: 16 - 9000.. 9499: 15 - 9500.. 9999: 20 + 6500.. 6999: 7 + 7000.. 7499: 10 + 7500.. 7999: 23 + 8000.. 8499: 10 + 8500.. 8999: 22 + 9000.. 9499: 16 + 9500.. 9999: 10 +++ Stats for small_array len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 16.14, stddev: 24.86, median 6, min 0, max 99 - 0.. 4: ###################################################### 1923 - 5.. 9: ####################################################### 1936 - 10.. 14: # 61 - 15.. 19: # 59 - 20.. 24: # 62 - 25.. 29: # 70 - 30.. 34: # 61 - 35.. 39: # 64 - 40.. 44: # 64 - 45.. 49: # 56 - 50.. 54: # 65 - 55.. 59: # 55 - 60.. 64: # 60 - 65.. 69: # 62 - 70.. 74: # 57 - 75.. 79: # 69 - 80.. 84: ## 73 - 85.. 89: # 67 - 90.. 94: # 62 - 95.. 99: ## 74 + num: 5000, avg: 16.58, stddev: 25.30, median 6, min 0, max 99 + 0.. 4: ################################################### 1848 + 5.. 9: ####################################################### 1992 + 10.. 14: # 47 + 15.. 19: # 62 + 20.. 24: # 56 + 25.. 29: # 67 + 30.. 34: # 66 + 35.. 39: # 57 + 40.. 44: # 59 + 45.. 49: # 62 + 50.. 54: ## 75 + 55.. 59: # 70 + 60.. 64: # 55 + 65.. 69: # 68 + 70.. 74: ## 74 + 75.. 79: # 56 + 80.. 84: # 66 + 85.. 89: ## 74 + 90.. 94: # 64 + 95.. 99: ## 82 +++ Stats for array_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.49, stddev: 1.71, median 8, min 5, max 10 - 5: ####################################################### 867 - 6: ################################################### 813 - 7: ################################################### 815 - 8: #################################################### 833 - 9: ###################################################### 857 - 10: ################################################### 815 + num: 5000, avg: 7.50, stddev: 1.72, median 8, min 5, max 10 + 5: ####################################################### 854 + 6: ################################################### 802 + 7: ##################################################### 835 + 8: ##################################################### 838 + 9: #################################################### 818 + 10: ###################################################### 853 +++ Stats for array_repeat len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ @@ -751,182 +743,182 @@ stats len: +++ Stats for int_stats_neg ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 5000, avg: 0.17, stddev: 29.68, median 0, min -99, max 99 - -99..-90: # 65 - -89..-80: # 63 - -79..-70: # 64 + num: 5000, avg: 0.43, stddev: 28.63, median 0, min -99, max 99 + -99..-90: # 45 + -89..-80: # 57 + -79..-70: # 68 -69..-60: # 58 - -59..-50: # 67 - -49..-40: # 72 - -39..-30: # 61 - -29..-20: # 61 - -19..-10: # 67 - -9.. 0: ####################################################### 2076 - 1.. 10: ############################################## 1764 - 11.. 20: # 66 - 21.. 30: # 64 - 31.. 40: # 64 - 41.. 50: # 67 - 51.. 60: # 60 - 61.. 70: # 75 - 71.. 80: # 60 - 81.. 90: # 60 - 91..100: # 66 + -59..-50: # 76 + -49..-40: # 67 + -39..-30: # 52 + -29..-20: # 54 + -19..-10: # 47 + -9.. 0: ####################################################### 2205 + 1.. 10: ########################################## 1697 + 11.. 20: # 57 + 21.. 30: # 70 + 31.. 40: # 60 + 41.. 50: # 66 + 51.. 60: # 75 + 61.. 70: # 68 + 71.. 80: # 63 + 81.. 90: # 66 + 91..100: # 49 +++ Stats for small_signed_int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 0.90, stddev: 28.23, median 0, min -99, max 99 - -99..-90: # 12 - -89..-80: # 11 - -79..-70: # 9 - -69..-60: 6 - -59..-50: # 11 - -49..-40: # 13 - -39..-30: # 9 - -29..-20: # 13 - -19..-10: 8 - -9.. 0: ####################################################### 453 - 1.. 10: ######################################### 340 - 11.. 20: # 15 - 21.. 30: # 11 - 31.. 40: # 12 - 41.. 50: # 13 - 51.. 60: # 13 - 61.. 70: # 16 - 71.. 80: # 9 - 81.. 90: # 16 - 91..100: # 10 + num: 1000, avg: 0.86, stddev: 29.11, median 0, min -97, max 99 + -97..-88: # 12 + -87..-78: # 12 + -77..-68: # 13 + -67..-58: # 12 + -57..-48: # 9 + -47..-38: ## 17 + -37..-28: # 13 + -27..-18: # 8 + -17.. -8: ######### 76 + -7.. 2: ####################################################### 437 + 3.. 12: ################################## 276 + 13.. 22: ## 16 + 23.. 32: # 11 + 33.. 42: ## 16 + 43.. 52: # 9 + 53.. 62: # 12 + 63.. 72: # 14 + 73.. 82: # 12 + 83.. 92: # 13 + 93..102: # 12 +++ Stats for small_nat dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 15.11, stddev: 23.27, median 6, min 0, max 99 - 0.. 4: #################################################### 377 - 5.. 9: ####################################################### 392 - 10.. 14: ## 20 - 15.. 19: ## 15 + num: 1000, avg: 15.86, stddev: 24.57, median 6, min 0, max 99 + 0.. 4: ###################################################### 387 + 5.. 9: ####################################################### 390 + 10.. 14: # 11 + 15.. 19: # 8 20.. 24: # 11 - 25.. 29: ## 17 - 30.. 34: ## 19 - 35.. 39: ## 17 - 40.. 44: # 10 - 45.. 49: # 9 - 50.. 54: # 8 - 55.. 59: # 9 - 60.. 64: ## 15 - 65.. 69: # 10 - 70.. 74: # 13 - 75.. 79: ## 19 + 25.. 29: ## 15 + 30.. 34: # 9 + 35.. 39: # 11 + 40.. 44: # 11 + 45.. 49: ## 19 + 50.. 54: # 10 + 55.. 59: ## 19 + 60.. 64: # 9 + 65.. 69: # 9 + 70.. 74: ## 19 + 75.. 79: # 13 80.. 84: # 11 - 85.. 89: # 13 - 90.. 94: 5 - 95.. 99: # 10 + 85.. 89: ## 16 + 90.. 94: # 9 + 95.. 99: # 13 +++ Stats for nat dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 363.02, stddev: 1215.04, median 9, min 0, max 9476 - 0.. 473: ####################################################### 847 - 474.. 947: ###### 95 - 948..1421: 14 - 1422..1895: 3 - 1896..2369: 0 - 2370..2843: 3 - 2844..3317: 2 - 3318..3791: 3 - 3792..4265: 2 - 4266..4739: 4 - 4740..5213: 3 - 5214..5687: 4 - 5688..6161: 3 - 6162..6635: 4 - 6636..7109: 1 - 7110..7583: 4 - 7584..8057: 2 - 8058..8531: 1 - 8532..9005: 1 - 9006..9479: 4 + num: 1000, avg: 382.03, stddev: 1290.55, median 9, min 0, max 9890 + 0.. 494: ####################################################### 850 + 495.. 989: ###### 93 + 990..1484: 8 + 1485..1979: 3 + 1980..2474: 7 + 2475..2969: 1 + 2970..3464: 3 + 3465..3959: 3 + 3960..4454: 3 + 4455..4949: 4 + 4950..5444: 3 + 5445..5939: 3 + 5940..6434: 3 + 6435..6929: 1 + 6930..7424: 2 + 7425..7919: 1 + 7920..8414: 1 + 8415..8909: 5 + 8910..9404: 3 + 9405..9899: 3 +++ Stats for int_range (-43643) 435434 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 195335.64, stddev: 136803.99, median 195583, min -43624, max 435210 - -43624..-19683: ############################################ 52 - -19682.. 4259: ######################################## 47 - 4260.. 28201: ############################## 36 - 28202.. 52143: ############################################ 52 - 52144.. 76085: ########################################## 50 - 76086..100027: ####################################################### 64 - 100028..123969: ############################################### 55 - 123970..147911: ######################################## 47 - 147912..171853: ############################################## 54 - 171854..195795: #################################### 43 - 195796..219737: ############################################## 54 - 219738..243679: ########################################### 51 - 243680..267621: ################################################ 57 - 267622..291563: ########################################## 49 - 291564..315505: #################################### 42 - 315506..339447: ###################################### 45 - 339448..363389: ################################################ 57 - 363390..387331: ###################################### 45 - 387332..411273: ########################################## 49 - 411274..435215: ########################################### 51 + num: 1000, avg: 193479.13, stddev: 136696.70, median 189823, min -43164, max 434961 + -43164..-19258: ################################### 42 + -19257.. 4649: ############################################## 56 + 4650.. 28556: ############################################# 55 + 28557.. 52463: ############################################### 57 + 52464.. 76370: ######################################### 50 + 76371..100277: ############################# 35 + 100278..124184: ############################################### 57 + 124185..148091: #################################### 44 + 148092..171998: ############################################## 56 + 171999..195905: ####################################################### 66 + 195906..219812: ########################################### 52 + 219813..243719: ######################################## 49 + 243720..267626: ################################ 39 + 267627..291533: ##################################### 45 + 291534..315440: ##################################### 45 + 315441..339347: ################################################# 59 + 339348..363254: ################################################## 60 + 363255..387161: ################################# 40 + 387162..411068: ########################################## 51 + 411069..434975: ################################### 42 +++ Stats for int_range (-40000) 40000 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: -173.78, stddev: 23042.92, median 180, min -39859, max 39942 - -39859..-35869: ############################################# 56 - -35868..-31878: ################################### 43 - -31877..-27887: ################################################# 60 - -27886..-23896: ##################################### 46 - -23895..-19905: ######################################## 49 - -19904..-15914: #################################### 45 - -15913..-11923: ############################################ 54 - -11922.. -7932: ############################################### 58 - -7931.. -3941: ######################################### 51 - -3940.. 50: ############################ 35 - 51.. 4041: ####################################### 48 - 4042.. 8032: ########################################## 52 - 8033.. 12023: ######################################### 51 - 12024.. 16014: ########################################### 53 - 16015.. 20005: ############################################ 54 - 20006.. 23996: ################################## 42 - 23997.. 27987: ####################################################### 67 - 27988.. 31978: ################################ 40 - 31979.. 35969: ######################################### 51 - 35970.. 39960: #################################### 45 + num: 1000, avg: -591.06, stddev: 23026.79, median -911, min -39911, max 39959 + -39911..-35918: ####################################### 45 + -35917..-31924: #################################################### 59 + -31923..-27930: ########################################### 49 + -27929..-23936: ########################################## 48 + -23935..-19942: ####################################################### 62 + -19941..-15948: ############################################# 51 + -15947..-11954: ######################################### 47 + -11953.. -7960: ################################################# 56 + -7959.. -3966: ################################### 40 + -3965.. 28: ################################################### 58 + 29.. 4022: ########################################### 49 + 4023.. 8016: ############################################### 53 + 8017.. 12010: ############################################ 50 + 12011.. 16004: ################################### 40 + 16005.. 19998: ####################################### 44 + 19999.. 23992: ####################################################### 62 + 23993.. 27986: ##################################### 42 + 27987.. 31980: ######################################### 47 + 31981.. 35974: ########################################## 48 + 35975.. 39968: ############################################ 50 +++ Stats for int_range (-4) 4 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 0.02, stddev: 2.55, median 0, min -4, max 4 - -4: ############################################ 99 - -3: ##################################################### 118 - -2: ################################################## 111 - -1: ################################################## 113 - 0: ################################################## 113 - 1: ##################################################### 118 - 2: ############################################# 102 - 3: ####################################################### 122 - 4: ############################################## 104 + num: 1000, avg: -0.12, stddev: 2.52, median 0, min -4, max 4 + -4: ########################################## 116 + -3: ###################################### 103 + -2: ############################################## 125 + -1: ########################################## 115 + 0: ####################################### 106 + 1: ####################################################### 149 + 2: ################################# 92 + 3: ################################# 92 + 4: ##################################### 102 +++ Stats for int_range (-4) 17 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 6.67, stddev: 6.39, median 7, min -4, max 17 - -4..-3: ############################################# 90 - -2..-1: ############################################# 91 - 0.. 1: ########################################## 84 - 2.. 3: ############################################## 92 - 4.. 5: ########################################### 87 - 6.. 7: ########################################### 86 - 8.. 9: ############################################ 89 - 10..11: ########################################### 87 - 12..13: ####################################################### 110 - 14..15: ############################################# 91 - 16..17: ############################################## 93 + num: 1000, avg: 6.42, stddev: 6.43, median 6, min -4, max 17 + -4..-3: ########################################### 89 + -2..-1: ################################################# 101 + 0.. 1: ############################################## 95 + 2.. 3: ########################################### 89 + 4.. 5: ############################################## 95 + 6.. 7: ##################################### 78 + 8.. 9: ####################################### 81 + 10..11: ######################################## 84 + 12..13: ####################################################### 113 + 14..15: ######################################## 84 + 16..17: ############################################ 91 18..19: 0 20..21: 0 22..23: 0 @@ -940,33 +932,33 @@ stats dist: +++ Stats for int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 100000, avg: 2541076923587387.50, stddev: 2660730801206827008.00, median 158655268318060, min -4611522359435274428, max 4611540922436307689 - -4611522359435274428..-4150369195341695293: ##################################################### 4976 - -4150369195341695292..-3689216031248116157: ##################################################### 4963 - -3689216031248116156..-3228062867154537021: ###################################################### 5038 - -3228062867154537020..-2766909703060957885: ##################################################### 4979 - -2766909703060957884..-2305756538967378749: ##################################################### 5001 - -2305756538967378748..-1844603374873799613: ##################################################### 4982 - -1844603374873799612..-1383450210780220477: ##################################################### 5025 - -1383450210780220476.. -922297046686641341: #################################################### 4901 - -922297046686641340.. -461143882593062205: ####################################################### 5126 - -461143882593062204.. 9281500516931: ##################################################### 5008 - 9281500516932.. 461162445594096067: ###################################################### 5041 - 461162445594096068.. 922315609687675203: ##################################################### 5001 - 922315609687675204.. 1383468773781254339: ##################################################### 4986 - 1383468773781254340.. 1844621937874833475: ##################################################### 4949 - 1844621937874833476.. 2305775101968412611: ##################################################### 5025 - 2305775101968412612.. 2766928266061991747: ##################################################### 5022 - 2766928266061991748.. 3228081430155570883: ##################################################### 4958 - 3228081430155570884.. 3689234594249150019: ##################################################### 4998 - 3689234594249150020.. 4150387758342729155: ##################################################### 4982 - 4150387758342729156.. 4611540922436308291: ###################################################### 5039 + num: 100000, avg: -7215552342607541.00, stddev: 2666234426234218496.00, median -16620417636667326, min -4611371852367564818, max 4611613630315464842 + -4611371852367564818..-4150222578233413331: ##################################################### 5003 + -4150222578233413330..-3689073304099261843: ####################################################### 5106 + -3689073304099261842..-3227924029965110355: ###################################################### 5052 + -3227924029965110354..-2766774755830958867: ###################################################### 5017 + -2766774755830958866..-2305625481696807379: #################################################### 4852 + -2305625481696807378..-1844476207562655891: ###################################################### 5016 + -1844476207562655890..-1383326933428504403: ###################################################### 5083 + -1383326933428504402.. -922177659294352915: ##################################################### 4986 + -922177659294352914.. -461028385160201427: ###################################################### 5042 + -461028385160201426.. 120888973950061: ###################################################### 5017 + 120888973950062.. 461270163108101549: ##################################################### 4977 + 461270163108101550.. 922419437242253037: ##################################################### 5000 + 922419437242253038.. 1383568711376404525: ###################################################### 5022 + 1383568711376404526.. 1844717985510556013: #################################################### 4896 + 1844717985510556014.. 2305867259644707501: #################################################### 4884 + 2305867259644707502.. 2767016533778858989: ##################################################### 4981 + 2767016533778858990.. 3228165807913010477: ###################################################### 5026 + 3228165807913010478.. 3689315082047161965: ###################################################### 5016 + 3689315082047161966.. 4150464356181313453: ###################################################### 5021 + 4150464356181313454.. 4611613630315464941: ##################################################### 5003 +++ Stats for oneof int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 4611686018427388.00, stddev: 2905870896563567616.00, median 0, min -4611686018427387904, max 4611686018427387903 - -4611686018427387904..-4150517416584649089: ################## 208 + num: 1000, avg: 4611686018427388.00, stddev: 2891078433912002560.00, median 0, min -4611686018427387904, max 4611686018427387903 + -4611686018427387904..-4150517416584649089: ################# 198 -4150517416584649088..-3689348814741910273: 0 -3689348814741910272..-3228180212899171457: 0 -3228180212899171456..-2767011611056432641: 0 @@ -975,7 +967,7 @@ stats dist: -1844674407370955008..-1383505805528216193: 0 -1383505805528216192.. -922337203685477377: 0 -922337203685477376.. -461168601842738561: 0 - -461168601842738560.. 255: ####################################################### 603 + -461168601842738560.. 255: ####################################################### 607 256.. 461168601842739071: 0 461168601842739072.. 922337203685477887: 0 922337203685477888.. 1383505805528216703: 0 @@ -985,7 +977,7 @@ stats dist: 2767011611056433152.. 3228180212899171967: 0 3228180212899171968.. 3689348814741910783: 0 3689348814741910784.. 4150517416584649599: 0 - 4150517416584649600.. 4611686018427387903: ################# 189 + 4150517416584649600.. 4611686018427387903: ################# 195 ================================================================================ 1 warning(s) failure (36 tests failed, 1 tests errored, ran 84 tests) @@ -994,26 +986,27 @@ random seed: 153870556 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: -55083208105414400.00, stddev: 1847115855773139200.00, median 9, min -4590718933436425025, max 4611686018427387903 - -4590718933436425025..-4130598685843234370: ## 26 - -4130598685843234369..-3670478438250043714: # 13 - -3670478438250043713..-3210358190656853058: ### 37 - -3210358190656853057..-2750237943063662402: ### 30 - -2750237943063662401..-2290117695470471746: ## 27 - -2290117695470471745..-1829997447877281090: ## 24 - -1829997447877281089..-1369877200284090434: ## 27 - -1369877200284090433.. -909756952690899778: ## 27 - -909756952690899777.. -449636705097709122: ## 21 - -449636705097709121.. 10483542495481534: ####################################################### 531 - 10483542495481535.. 470603790088672190: ## 21 - 470603790088672191.. 930724037681862846: ## 27 - 930724037681862847.. 1390844285275053502: ## 24 - 1390844285275053503.. 1850964532868244158: ## 25 - 1850964532868244159.. 2311084780461434814: ## 28 - 2311084780461434815.. 2771205028054625470: ## 23 - 2771205028054625471.. 3231325275647816126: ## 23 - 3231325275647816127.. 3691445523241006782: ## 25 - 3691445523241006783.. 4151565770834197438: # 17 - 4151565770834197439.. 4611686018427387903: ## 24 + num: 1000, avg: -38152533987928128.00, stddev: 1828925617669212928.00, median 9, min -4606614955625884935, max 4611686018427387903 + -4606614955625884935..-4145699906923221320: ## 27 + -4145699906923221319..-3684784858220557704: ## 22 + -3684784858220557703..-3223869809517894088: ## 29 + -3223869809517894087..-2762954760815230472: ## 22 + -2762954760815230471..-2302039712112566856: ## 20 + -2302039712112566855..-1841124663409903240: ## 22 + -1841124663409903239..-1380209614707239624: ## 26 + -1380209614707239623.. -919294566004576008: ## 27 + -919294566004576007.. -458379517301912392: ## 24 + -458379517301912391.. 2535531400751224: ####################################################### 547 + 2535531400751225.. 463450580103414840: ## 25 + 463450580103414841.. 924365628806078456: ## 25 + 924365628806078457.. 1385280677508742072: ## 22 + 1385280677508742073.. 1846195726211405688: ### 30 + 1846195726211405689.. 2307110774914069304: ## 27 + 2307110774914069305.. 2768025823616732920: # 16 + 2768025823616732921.. 3228940872319396536: ## 23 + 3228940872319396537.. 3689855921022060152: # 19 + 3689855921022060153.. 4150770969724723768: # 18 + 4150770969724723769.. 4611686018427387384: ## 28 + 4611686018427387385.. 4611686018427387903: 1 ================================================================================ success (ran 1 tests) File "test/core/qcheck_output.txt.expected", line 1, characters 0-0: /usr/bin/git --no-pager diff --no-index --color=always -u _build/default/test/core/qcheck_output.txt.expected _build/default/test/core/qcheck_output.txt diff --git a/_build/default/test/core/qcheck_output.txt.expected b/_build/default/test/core/qcheck_output.txt index 880df25..4e4184c 100644 --- a/_build/default/test/core/qcheck_output.txt.expected +++ b/_build/default/test/core/qcheck_output.txt @@ -1,77 +1,75 @@ random seed: 1234 -50 7 4 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 2724675603984413065 -1362337801992206533 -681168900996103267 -340584450498051634 -170292225249025817 -85146112624512909 -42573056312256455 -21286528156128228 -10643264078064114 -5321632039032057 -2660816019516029 -1330408009758015 -665204004879008 -332602002439504 -166301001219752 -83150500609876 -41575250304938 -20787625152469 -10393812576235 -5196906288118 -2598453144059 -1299226572030 -649613286015 -324806643008 -162403321504 -81201660752 -40600830376 -20300415188 -10150207594 -5075103797 -2537551899 -1268775950 -634387975 -317193988 -158596994 -79298497 -39649249 -19824625 -9912313 -4956157 -2478079 -1239040 -619520 -309760 -154880 -77440 -38720 -19360 -9680 -4840 -2420 -1210 -605 -303 -152 -76 -38 -19 -10 -5 -3 -2 -1 +45 4 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 -1592932412304362665 +-796466206152181333 +-398233103076090667 +-199116551538045334 +-99558275769022667 +-49779137884511334 +-24889568942255667 +-12444784471127834 +-6222392235563917 +-3111196117781959 +-1555598058890980 +-777799029445490 +-388899514722745 +-194449757361373 +-97224878680687 +-48612439340344 +-24306219670172 +-12153109835086 +-6076554917543 +-3038277458772 +-1519138729386 +-759569364693 +-379784682347 +-189892341174 +-94946170587 +-47473085294 +-23736542647 +-11868271324 +-5934135662 +-2967067831 +-1483533916 +-741766958 +-370883479 +-185441740 +-92720870 +-46360435 +-23180218 +-11590109 +-5795055 +-2897528 +-1448764 +-724382 +-362191 +-181096 +-90548 +-45274 +-22637 +-11319 +-5660 +-2830 +-1415 +-708 +-354 +-177 +-89 +-45 +-23 +-12 +-6 +-3 +-2 +-1 0 -[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4; 2; 37; 3; 8; 4; 31; 6; 2; 1; 0; 7; 5; 1; 0; 15; 6; 1; 8; 13; 0; 6; 2; 4; 2; 6; 6; 1; 4; 1; 9; 79; 0; 87; 6; 8; 8; 62; 1; 4; 62; 6; 31; 1; 5; 6; 5; 9; 3; 3; 1; 79; 4; 3; 2; 67; 5; 7; 12; 70; 8; 8; 6; 1; 3; 14; 15; 1; 61; 4; 1; 4; 1; 7; 4; 4; 4; 2; 8; 8; 7; 5; 4; 27; 0; 9; 80; 25; 1; 8; 1; 3; 7; 4; 3; 5; 5; 6; 5; 5; 31; 7; 0; 3; 3; 6; 71; 76; 28; 60; 6; 2; 6; 3; 0; 4; 1; 0; 5; 7; 0; 28; 86; 4; 7; 51; 36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] -[1; 3; 14; 15; 1; 61; 4; 1; 4; 1; 7; 4; 4; 4; 2; 8; 8; 7; 5; 4; 27; 0; 9; 80; 25; 1; 8; 1; 3; 7; 4; 3; 5; 5; 6; 5; 5; 31; 7; 0; 3; 3; 6; 71; 76; 28; 60; 6; 2; 6; 3; 0; 4; 1; 0; 5; 7; 0; 28; 86; 4; 7; 51; 36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] -[36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] -[8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] -[4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] -[5; 1; 2; 9; 74; 7; 7] -[74; 7; 7] -[7] -[] +[46; 2; 22; 4; 4; 2; 6; 5; 88; 24; 7; 9; 9; 2; 5; 1; 55; 8; 45; 1; 96; 0; 1; 2; 7; 4; 1; 5; 95; 6; 8; 6; 4; 0; 5; 5; 22; 87; 2; 1; 1; 0; 2; 2; 9; 5; 9; 3; 7; 59; 7; 96; 6; 5; 1; 3; 9; 9; 65; 6; 7; 7; 2; 5; 0; 0; 70; 5; 5; 2; 1; 57; 9; 7; 8; 10; 9; 7; 9; 75; 73; 80; 7; 9; 4; 3; 16; 5; 79; 1; 8; 6; 2; 3; 4; 9; 2; 8; 4; 6; 50; 2; 1; 5; 9; 5; 4; 3; 56; 6; 5; 9; 4; 1; 47; 1; 2; 5; 2; 0; 7; 31; 55; 6; 7; 4; 7; 8; 8; 2; 4; 40; 4; 6; 9; 3; 59; 5; 1; 0; 2; 6; 90; 1; 6; 81; 0; 1; 3; 7; 2; 4; 5; 4; 7; 3; 62; 0; 1; 6; 7; 5; 97; 83; 41; 7; 2; 6; 3; 0; 4; 8; 99; 8; 6; 0; 7; 9; 7; 1; 55; 30; 25; 3; 4; 7; 1; 6; 80; 8; 0; 4; 21; 3; 5; 9; 27; 10; 60; 47; 54; 6; 5; 8; 1; 5; 9; 65; 9; 5; 7; 7; 6; 48; 9; 5; 6; 4; 9; 7; 1; 2; 71; 6; 9; 2; 7; 8; 14; 59; 71; 30; 7; 3; 5; 4; 6; 7; 3; 6; 9; 8; 2; 38; 6; 6; 7; 1; 5; 2; 43; 5; 2; 9; 3; 0; 3; 2; 7; 71; 26; 3; 9; 11; 5; 1; 5; 2; 53; 46; 4; 6; 7; 67; 1; 0; 34; 0; 48; 5; 5; 0; 7; 49; 92; 8; 3; 0; 67; 1; 5; 2; 9; 5; 9; 3; 1; 4; 8; 0; 3; 6; 46; 58; 1; 54; 77; 0; 96; 1; 6; 2; 8; 22; 3; 9; 2; 6; 25; 49; 9; 6; 3; 8; 5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[8; 6; 0; 7; 9; 7; 1; 55; 30; 25; 3; 4; 7; 1; 6; 80; 8; 0; 4; 21; 3; 5; 9; 27; 10; 60; 47; 54; 6; 5; 8; 1; 5; 9; 65; 9; 5; 7; 7; 6; 48; 9; 5; 6; 4; 9; 7; 1; 2; 71; 6; 9; 2; 7; 8; 14; 59; 71; 30; 7; 3; 5; 4; 6; 7; 3; 6; 9; 8; 2; 38; 6; 6; 7; 1; 5; 2; 43; 5; 2; 9; 3; 0; 3; 2; 7; 71; 26; 3; 9; 11; 5; 1; 5; 2; 53; 46; 4; 6; 7; 67; 1; 0; 34; 0; 48; 5; 5; 0; 7; 49; 92; 8; 3; 0; 67; 1; 5; 2; 9; 5; 9; 3; 1; 4; 8; 0; 3; 6; 46; 58; 1; 54; 77; 0; 96; 1; 6; 2; 8; 22; 3; 9; 2; 6; 25; 49; 9; 6; 3; 8; 5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[71; 26; 3; 9; 11; 5; 1; 5; 2; 53; 46; 4; 6; 7; 67; 1; 0; 34; 0; 48; 5; 5; 0; 7; 49; 92; 8; 3; 0; 67; 1; 5; 2; 9; 5; 9; 3; 1; 4; 8; 0; 3; 6; 46; 58; 1; 54; 77; 0; 96; 1; 6; 2; 8; 22; 3; 9; 2; 6; 25; 49; 9; 6; 3; 8; 5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[46; 58; 1; 54; 77; 0; 96; 1; 6; 2; 8; 22; 3; 9; 2; 6; 25; 49; 9; 6; 3; 8; 5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[5; 8; 4; 7; 4] +[7; 4] [4] [] [2] @@ -80,34 +78,41 @@ random seed: 1234 [] [0] [] -[7; 1; 42; 1; 8; 5; 3; 9; 5; 38; 3; 3; 0; 1; 98; 1; 4; 13; 9; 2; 6; 9; 47; 6; 5; 8; 8; 6; 0; 9; 7; 2; 8; 6; 62; 6; 4; 31; 19; 1; 41; 60; 6; 5; 8; 1; 1; 4; 7; 7; 0; 5; 5; 71; 14; 26; 47; 5; 1; 6; 34; 9; 4; 2; 37; 3; 8; 4; 31; 6; 2; 1; 0; 7; 5; 1; 0; 15; 6; 1; 8; 13; 0; 6; 2; 4; 2; 6; 6; 1; 4; 1; 9; 79; 0; 87; 6; 8; 8; 62; 1; 4; 62; 6; 31; 1; 5; 6; 5; 9; 3; 3; 1; 79; 4; 3; 2; 67; 5; 7; 12; 70; 8; 8; 6; 1; 3; 14; 15; 1; 61; 4; 1; 4; 1; 7; 4; 4; 4; 2; 8; 8; 7; 5; 4; 27; 0; 9; 80; 25; 1; 8; 1; 3; 7; 4; 3; 5; 5; 6; 5; 5; 31; 7; 0; 3; 3; 6; 71; 76; 28; 60; 6; 2; 6; 3; 0; 4; 1; 0; 5; 7; 0; 28; 86; 4; 7; 51; 36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] -[1; 3; 14; 15; 1; 61; 4; 1; 4; 1; 7; 4; 4; 4; 2; 8; 8; 7; 5; 4; 27; 0; 9; 80; 25; 1; 8; 1; 3; 7; 4; 3; 5; 5; 6; 5; 5; 31; 7; 0; 3; 3; 6; 71; 76; 28; 60; 6; 2; 6; 3; 0; 4; 1; 0; 5; 7; 0; 28; 86; 4; 7; 51; 36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] -[36; 0; 5; 0; 1; 4; 3; 6; 0; 1; 1; 8; 18; 4; 2; 8; 8; 1; 4; 7; 1; 0; 93; 5; 3; 0; 80; 1; 7; 7; 8; 8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] -[8; 5; 7; 8; 9; 24; 4; 25; 8; 8; 5; 4; 90; 4; 6; 8; 4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] -[4; 4; 0; 60; 8; 9; 7; 44; 5; 1; 2; 9; 74; 7; 7] -[5; 1; 2; 9; 74; 7; 7] -[74; 7; 7] -[7] -[74] -[7; 7] -[7] -[7] -[4; 7] -[6; 7] -[6; 7] +[46; 2; 22; 4; 4; 2; 6; 5; 88; 24; 7; 9; 9; 2; 5; 1; 55; 8; 45; 1; 96; 0; 1; 2; 7; 4; 1; 5; 95; 6; 8; 6; 4; 0; 5; 5; 22; 87; 2; 1; 1; 0; 2; 2; 9; 5; 9; 3; 7; 59; 7; 96; 6; 5; 1; 3; 9; 9; 65; 6; 7; 7; 2; 5; 0; 0; 70; 5; 5; 2; 1; 57; 9; 7; 8; 10; 9; 7; 9; 75; 73; 80; 7; 9; 4; 3; 16; 5; 79; 1; 8; 6; 2; 3; 4; 9; 2; 8; 4; 6; 50; 2; 1; 5; 9; 5; 4; 3; 56; 6; 5; 9; 4; 1; 47; 1; 2; 5; 2; 0; 7; 31; 55; 6; 7; 4; 7; 8; 8; 2; 4; 40; 4; 6; 9; 3; 59; 5; 1; 0; 2; 6; 90; 1; 6; 81; 0; 1; 3; 7; 2; 4; 5; 4; 7; 3; 62; 0; 1; 6; 7; 5; 97; 83; 41; 7; 2; 6; 3; 0; 4; 8; 99; 8; 6; 0; 7; 9; 7; 1; 55; 30; 25; 3; 4; 7; 1; 6; 80; 8; 0; 4; 21; 3; 5; 9; 27; 10; 60; 47; 54; 6; 5; 8; 1; 5; 9; 65; 9; 5; 7; 7; 6; 48; 9; 5; 6; 4; 9; 7; 1; 2; 71; 6; 9; 2; 7; 8; 14; 59; 71; 30; 7; 3; 5; 4; 6; 7; 3; 6; 9; 8; 2; 38; 6; 6; 7; 1; 5; 2; 43; 5; 2; 9; 3; 0; 3; 2; 7; 71; 26; 3; 9; 11; 5; 1; 5; 2; 53; 46; 4; 6; 7; 67; 1; 0; 34; 0; 48; 5; 5; 0; 7; 49; 92; 8; 3; 0; 67; 1; 5; 2; 9; 5; 9; 3; 1; 4; 8; 0; 3; 6; 46; 58; 1; 54; 77; 0; 96; 1; 6; 2; 8; 22; 3; 9; 2; 6; 25; 49; 9; 6; 3; 8; 5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[8; 6; 0; 7; 9; 7; 1; 55; 30; 25; 3; 4; 7; 1; 6; 80; 8; 0; 4; 21; 3; 5; 9; 27; 10; 60; 47; 54; 6; 5; 8; 1; 5; 9; 65; 9; 5; 7; 7; 6; 48; 9; 5; 6; 4; 9; 7; 1; 2; 71; 6; 9; 2; 7; 8; 14; 59; 71; 30; 7; 3; 5; 4; 6; 7; 3; 6; 9; 8; 2; 38; 6; 6; 7; 1; 5; 2; 43; 5; 2; 9; 3; 0; 3; 2; 7; 71; 26; 3; 9; 11; 5; 1; 5; 2; 53; 46; 4; 6; 7; 67; 1; 0; 34; 0; 48; 5; 5; 0; 7; 49; 92; 8; 3; 0; 67; 1; 5; 2; 9; 5; 9; 3; 1; 4; 8; 0; 3; 6; 46; 58; 1; 54; 77; 0; 96; 1; 6; 2; 8; 22; 3; 9; 2; 6; 25; 49; 9; 6; 3; 8; 5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[71; 26; 3; 9; 11; 5; 1; 5; 2; 53; 46; 4; 6; 7; 67; 1; 0; 34; 0; 48; 5; 5; 0; 7; 49; 92; 8; 3; 0; 67; 1; 5; 2; 9; 5; 9; 3; 1; 4; 8; 0; 3; 6; 46; 58; 1; 54; 77; 0; 96; 1; 6; 2; 8; 22; 3; 9; 2; 6; 25; 49; 9; 6; 3; 8; 5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[46; 58; 1; 54; 77; 0; 96; 1; 6; 2; 8; 22; 3; 9; 2; 6; 25; 49; 9; 6; 3; 8; 5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[5; 9; 54; 1; 7; 5; 6; 5; 1; 7; 8; 23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[23; 4; 6; 4; 2; 5; 8; 4; 7; 4] +[5; 8; 4; 7; 4] +[7; 4] +[5; 4] +[5; 8] +[8; 4; 7; 4] +[7; 4] +[8; 4] +[8; 4] +[4; 7; 4] +[4] +[4] [7; 4] -[7; 6] -[7; 6] +[4; 4] +[4] +[4] +[2; 4] +[3; 4] +[4; 2] +[4; 3] --- Failure -------------------------------------------------------------------- -Test should_fail_sort_id failed (18 shrink steps): +Test should_fail_sort_id failed (12 shrink steps): [1; 0] === Error ====================================================================== -Test should_error_raise_exn errored on (63 shrink steps): +Test should_error_raise_exn errored on (62 shrink steps): 0 @@ -118,47 +123,47 @@ exception Dune__exe__QCheck_expect_test.Overall.Error Collect results for test collect_results: -4: 20 cases -3: 25 cases -2: 17 cases -1: 18 cases -0: 20 cases +4: 24 cases +3: 20 cases +2: 18 cases +1: 21 cases +0: 17 cases +++ Stats for with_stats ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats mod4: - num: 100, avg: 1.68, stddev: 1.09, median 2, min 0, max 3 - 0: ############################## 17 - 1: ################################################### 29 - 2: ######################################## 23 - 3: ####################################################### 31 + num: 100, avg: 1.56, stddev: 1.18, median 2, min 0, max 3 + 0: ################################################# 27 + 1: #################################### 20 + 2: ########################################## 23 + 3: ####################################################### 30 stats num: - num: 100, avg: 66.84, stddev: 31.94, median 65, min 2, max 120 - 2.. 7: ################## 3 - 8.. 13: ################## 3 - 14.. 19: 0 - 20.. 25: ########################################## 7 - 26.. 31: ######################## 4 - 32.. 37: ######################## 4 - 38.. 43: ################## 3 - 44.. 49: ################################################ 8 - 50.. 55: #################################### 6 - 56.. 61: #################################### 6 - 62.. 67: ####################################################### 9 - 68.. 73: ########################################## 7 - 74.. 79: ######################## 4 - 80.. 85: ################## 3 - 86.. 91: ############ 2 - 92.. 97: ########################################## 7 - 98..103: #################################### 6 - 104..109: #################################### 6 - 110..115: ####################################################### 9 - 116..121: ################## 3 - ---- Failure -------------------------------------------------------------------- - -Test with shrinking retries failed (1 shrink steps): + num: 100, avg: 62.24, stddev: 33.15, median 62, min 2, max 120 + 2.. 7: ######### 2 + 8.. 13: ################################ 7 + 14.. 19: ########################### 6 + 20.. 25: ############# 3 + 26.. 31: ###################### 5 + 32.. 37: ################## 4 + 38.. 43: ############# 3 + 44.. 49: ################################ 7 + 50.. 55: ################################ 7 + 56.. 61: ###################### 5 + 62.. 67: #################################### 8 + 68.. 73: ######### 2 + 74.. 79: ###################### 5 + 80.. 85: ######### 2 + 86.. 91: ####################################################### 12 + 92.. 97: ###################### 5 + 98..103: ################## 4 + 104..109: ################## 4 + 110..115: ############# 3 + 116..121: ########################### 6 + +--- Failure -------------------------------------------------------------------- + +Test with shrinking retries failed (0 shrink steps): 4 @@ -166,7 +171,7 @@ Test with shrinking retries failed (1 shrink steps): Warning for test WARN_unlikely_precond: -WARNING: only 0.5% tests (of 2000) passed precondition for "WARN_unlikely_precond" +WARNING: only 0.8% 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. @@ -174,7 +179,7 @@ NOTE: it is likely that the precondition is too strong, or that the generator is Test FAIL_unlikely_precond failed: -ERROR: only 0.5% tests (of 2000) passed precondition for "FAIL_unlikely_precond" +ERROR: only 0.8% 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. @@ -193,21 +198,21 @@ Test big bound issue59 failed (52 shrink steps): --- Failure -------------------------------------------------------------------- -Test long_shrink failed (149 shrink steps): +Test long_shrink failed (148 shrink steps): -([0], [-1]) +([0], [1]) --- Failure -------------------------------------------------------------------- -Test ints arent 0 mod 3 failed (84 shrink steps): +Test ints arent 0 mod 3 failed (75 shrink steps): --21 +4161 --- Failure -------------------------------------------------------------------- -Test ints are 0 failed (62 shrink steps): +Test ints are 0 failed (61 shrink steps): -1 +-1 --- Failure -------------------------------------------------------------------- @@ -217,7 +222,7 @@ Test ints < 209609 failed (52 shrink steps): --- Failure -------------------------------------------------------------------- -Test nat < 5001 failed (6 shrink steps): +Test nat < 5001 failed (4 shrink steps): 5001 @@ -225,23 +230,23 @@ Test nat < 5001 failed (6 shrink steps): Test char is never produces 'abcdef' failed (0 shrink steps): -'d' +'c' --- Failure -------------------------------------------------------------------- -Test strings are empty failed (249 shrink steps): +Test strings are empty failed (344 shrink steps): -"\177" +"\"" --- Failure -------------------------------------------------------------------- -Test string never has a \000 char failed (25 shrink steps): +Test string never has a \000 char failed (344 shrink steps): "\000" --- Failure -------------------------------------------------------------------- -Test string never has a \255 char failed (249 shrink steps): +Test string never has a \255 char failed (344 shrink steps): "\255" @@ -253,97 +258,97 @@ Test lists are empty failed (11 shrink steps): --- Failure -------------------------------------------------------------------- -Test lists shorter than 10 failed (50 shrink steps): +Test lists shorter than 10 failed (41 shrink steps): [0; 0; 0; 0; 0; 0; 0; 0; 0; 0] --- Failure -------------------------------------------------------------------- -Test lists shorter than 432 failed (1696 shrink steps): +Test lists shorter than 432 failed (1772 shrink steps): [...] list length: 432 --- Failure -------------------------------------------------------------------- -Test lists shorter than 4332 failed (13 shrink steps): +Test lists shorter than 4332 failed (11 shrink steps): [...] list length: 4332 --- Failure -------------------------------------------------------------------- -Test lists equal to duplication failed (20 shrink steps): +Test lists equal to duplication failed (4 shrink steps): [0] --- Failure -------------------------------------------------------------------- -Test lists have unique elems failed (7 shrink steps): +Test lists have unique elems failed (9 shrink steps): -[7; 7] +[4; 4] --- Failure -------------------------------------------------------------------- -Test forall (a, b) in nat: a < b failed (13 shrink steps): +Test forall (a, b) in nat: a < b failed (5 shrink steps): (0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c) in nat: a < b < c failed (15 shrink steps): +Test forall (a, b, c) in nat: a < b < c failed (14 shrink steps): (0, 0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c, d) in nat: a < b < c < d failed (23 shrink steps): +Test forall (a, b, c, d) in nat: a < b < c < d failed (17 shrink steps): (0, 0, 0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c, d, e) in nat: a < b < c < d < e failed (28 shrink steps): +Test forall (a, b, c, d, e) in nat: a < b < c < d < e failed (21 shrink steps): (0, 0, 0, 0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c, d, e, f) in nat: a < b < c < d < e < f failed (30 shrink steps): +Test forall (a, b, c, d, e, f) in nat: a < b < c < d < e < f failed (25 shrink steps): (0, 0, 0, 0, 0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c, d, e, f, g) in nat: a < b < c < d < e < f < g failed (31 shrink steps): +Test forall (a, b, c, d, e, f, g) in nat: a < b < c < d < e < f < g failed (27 shrink steps): (0, 0, 0, 0, 0, 0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c, d, e, f, g, h) in nat: a < b < c < d < e < f < g < h failed (35 shrink steps): +Test forall (a, b, c, d, e, f, g, h) in nat: a < b < c < d < e < f < g < h failed (30 shrink steps): (0, 0, 0, 0, 0, 0, 0, 0) --- Failure -------------------------------------------------------------------- -Test forall (a, b, c, d, e, f, g, h, i) in nat: a < b < c < d < e < f < g < h < i failed (42 shrink steps): +Test forall (a, b, c, d, e, f, g, h, i) in nat: a < b < c < d < e < f < g < h < i failed (34 shrink steps): (0, 0, 0, 0, 0, 0, 0, 0, 0) --- Failure -------------------------------------------------------------------- -Test fail_pred_map_commute failed (127 shrink steps): +Test fail_pred_map_commute failed (107 shrink steps): -([3], {_ -> 0}, {3 -> false; _ -> true}) +([1], {_ -> 2}, {1 -> false; _ -> true}) --- Failure -------------------------------------------------------------------- Test fail_pred_strings failed (1 shrink steps): -{some random string -> true; _ -> false} +{some other string -> false; _ -> true} --- Failure -------------------------------------------------------------------- -Test fold_left fold_right failed (25 shrink steps): +Test fold_left fold_right failed (22 shrink steps): (0, [1], {(1, 0) -> 1; _ -> 0}) @@ -356,21 +361,21 @@ l=[1], fold_left=1, fold_right=0 --- Failure -------------------------------------------------------------------- -Test fold_left fold_right uncurried failed (111 shrink steps): +Test fold_left fold_right uncurried failed (30 shrink steps): -({(5, 7) -> 0; _ -> 7}, 0, [5; 0]) +({(2, 4) -> 3; _ -> 2}, 0, [0; 4]) --- Failure -------------------------------------------------------------------- -Test fold_left fold_right uncurried fun last failed (26 shrink steps): +Test fold_left fold_right uncurried fun last failed (19 shrink steps): -(0, [1], {(0, 1) -> 1; _ -> 0}) +(0, [1], {(0, 1) -> 0; _ -> 1}) --- Failure -------------------------------------------------------------------- -Test false fold, fun first failed (40 shrink steps): +Test false fold, fun first failed (101 shrink steps): -({_ -> ""}, "z", [], [0]) +({(, 2) -> "\002"; _ -> ""}, "", [], [2]) --- Failure -------------------------------------------------------------------- @@ -384,251 +389,251 @@ Backtrace: Collect results for test bool dist: -true: 250134 cases -false: 249866 cases +true: 250511 cases +false: 249489 cases +++ Stats for char code dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats char code: - num: 500000, avg: 127.42, stddev: 73.92, median 127, min 0, max 255 - 0.. 12: ###################################################### 25509 - 13.. 25: ###################################################### 25398 - 26.. 38: ###################################################### 25293 - 39.. 51: ###################################################### 25448 - 52.. 64: ###################################################### 25392 - 65.. 77: ####################################################### 25660 - 78.. 90: ###################################################### 25462 - 91..103: ###################################################### 25331 - 104..116: ##################################################### 25129 - 117..129: ###################################################### 25351 - 130..142: ###################################################### 25492 - 143..155: ###################################################### 25370 - 156..168: ###################################################### 25658 - 169..181: ###################################################### 25400 - 182..194: ##################################################### 25167 - 195..207: ###################################################### 25338 - 208..220: ##################################################### 25181 - 221..233: ##################################################### 25145 - 234..246: ###################################################### 25567 - 247..259: ##################################### 17709 + num: 500000, avg: 127.68, stddev: 73.87, median 128, min 0, max 255 + 0.. 12: ##################################################### 25272 + 13.. 25: ###################################################### 25326 + 26.. 38: ##################################################### 25194 + 39.. 51: ###################################################### 25359 + 52.. 64: ###################################################### 25338 + 65.. 77: ###################################################### 25349 + 78.. 90: ###################################################### 25397 + 91..103: ##################################################### 25243 + 104..116: ###################################################### 25420 + 117..129: ###################################################### 25438 + 130..142: ###################################################### 25346 + 143..155: ##################################################### 25177 + 156..168: ####################################################### 25755 + 169..181: ###################################################### 25408 + 182..194: ###################################################### 25633 + 195..207: ###################################################### 25613 + 208..220: ###################################################### 25459 + 221..233: ###################################################### 25322 + 234..246: ##################################################### 25229 + 247..259: ##################################### 17722 +++ Stats for tree's depth ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats depth: - num: 1000, avg: 3.74, stddev: 3.28, median 3, min 1, max 15 - 1: ####################################################### 377 - 2: ################ 113 - 3: ############ 87 - 4: ################# 123 - 5: ########### 81 - 6: #### 33 - 7: ##### 40 - 8: ##### 39 - 9: # 9 - 10: ### 25 - 11: ####### 49 - 12: 4 - 13: # 9 - 14: # 7 - 15: 4 + num: 1000, avg: 4.13, stddev: 3.52, median 3, min 1, max 15 + 1: ####################################################### 339 + 2: ################ 104 + 3: ############### 98 + 4: ##################### 133 + 5: ######### 60 + 6: #### 29 + 7: ######## 54 + 8: ####### 48 + 9: ## 16 + 10: ### 21 + 11: ########### 68 + 12: 1 + 13: # 8 + 14: ## 16 + 15: 5 +++ Stats for range_subset_spec ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 5000, avg: 9.97, stddev: 6.08, median 10, min 0, max 20 - 0: ################################################# 246 - 1: ################################################ 244 - 2: ################################################ 240 - 3: ################################################ 243 - 4: ############################################## 232 - 5: ############################################## 230 - 6: ############################################### 239 - 7: ############################################### 235 - 8: ####################################################### 274 - 9: ############################################## 233 - 10: ########################################## 212 - 11: ############################################## 231 - 12: ############################################### 239 - 13: ############################################# 226 - 14: ############################################# 225 - 15: ################################################### 256 - 16: ################################################ 240 - 17: ############################################# 229 - 18: ################################################ 243 - 19: ################################################## 253 - 20: ############################################## 230 + num: 5000, avg: 9.99, stddev: 6.01, median 10, min 0, max 20 + 0: ############################################### 231 + 1: ############################################## 223 + 2: ##################################################### 258 + 3: ################################################ 233 + 4: ############################################### 228 + 5: ############################################### 231 + 6: #################################################### 254 + 7: ############################################### 228 + 8: #################################################### 254 + 9: ####################################################### 266 + 10: ############################################## 224 + 11: ################################################## 245 + 12: ############################################### 230 + 13: #################################################### 253 + 14: ############################################## 223 + 15: ################################################# 239 + 16: ################################################## 243 + 17: ################################################## 245 + 18: ############################################# 220 + 19: ################################################## 242 + 20: ############################################### 230 +++ Stats for string_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.49, stddev: 1.70, median 7, min 5, max 10 - 5: ##################################################### 837 - 6: ##################################################### 826 - 7: ###################################################### 843 - 8: ####################################################### 855 - 9: #################################################### 813 - 10: ##################################################### 826 + num: 5000, avg: 7.51, stddev: 1.69, median 8, min 5, max 10 + 5: ################################################## 817 + 6: ################################################# 797 + 7: ####################################################### 885 + 8: ################################################### 834 + 9: ###################################################### 877 + 10: ################################################# 790 +++ Stats for string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 384.53, stddev: 1330.61, median 9, min 0, max 9969 - 0.. 498: ####################################################### 4246 - 499.. 997: ###### 518 - 998..1496: 21 - 1497..1995: 10 - 1996..2494: 11 - 2495..2993: 10 - 2994..3492: 13 - 3493..3991: 13 - 3992..4490: 5 - 4491..4989: 10 - 4990..5488: 19 - 5489..5987: 9 - 5988..6486: 10 - 6487..6985: 12 - 6986..7484: 17 - 7485..7983: 16 - 7984..8482: 16 - 8483..8981: 16 - 8982..9480: 16 - 9481..9979: 12 + num: 5000, avg: 370.05, stddev: 1282.91, median 9, min 0, max 9947 + 0.. 497: ####################################################### 4270 + 498.. 995: ###### 497 + 996..1493: 17 + 1494..1991: 9 + 1992..2489: 13 + 2490..2987: 13 + 2988..3485: 9 + 3486..3983: 14 + 3984..4481: 14 + 4482..4979: 17 + 4980..5477: 9 + 5478..5975: 10 + 5976..6473: 15 + 6474..6971: 16 + 6972..7469: 16 + 7470..7967: 9 + 7968..8465: 12 + 8466..8963: 15 + 8964..9461: 9 + 9462..9959: 16 +++ Stats for string_of len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 363.14, stddev: 1245.80, median 9, min 0, max 9986 - 0.. 499: ####################################################### 4270 - 500.. 999: ###### 493 - 1000.. 1499: 16 - 1500.. 1999: 11 - 2000.. 2499: 15 - 2500.. 2999: 17 - 3000.. 3499: 11 - 3500.. 3999: 19 - 4000.. 4499: 14 - 4500.. 4999: 10 - 5000.. 5499: 16 - 5500.. 5999: 11 - 6000.. 6499: 15 - 6500.. 6999: 13 - 7000.. 7499: 12 - 7500.. 7999: 16 - 8000.. 8499: 11 - 8500.. 8999: 4 - 9000.. 9499: 13 - 9500.. 9999: 13 + num: 5000, avg: 359.22, stddev: 1249.46, median 9, min 0, max 9958 + 0.. 497: ####################################################### 4275 + 498.. 995: ###### 479 + 996..1493: 22 + 1494..1991: 12 + 1992..2489: 21 + 2490..2987: 16 + 2988..3485: 13 + 3486..3983: 17 + 3984..4481: 14 + 4482..4979: 14 + 4980..5477: 8 + 5478..5975: 14 + 5976..6473: 13 + 6474..6971: 9 + 6972..7469: 7 + 7470..7967: 17 + 7968..8465: 13 + 8466..8963: 15 + 8964..9461: 10 + 9462..9959: 11 +++ Stats for printable_string len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 384.53, stddev: 1330.61, median 9, min 0, max 9969 - 0.. 498: ####################################################### 4246 - 499.. 997: ###### 518 - 998..1496: 21 - 1497..1995: 10 - 1996..2494: 11 - 2495..2993: 10 - 2994..3492: 13 - 3493..3991: 13 - 3992..4490: 5 - 4491..4989: 10 - 4990..5488: 19 - 5489..5987: 9 - 5988..6486: 10 - 6487..6985: 12 - 6986..7484: 17 - 7485..7983: 16 - 7984..8482: 16 - 8483..8981: 16 - 8982..9480: 16 - 9481..9979: 12 + num: 5000, avg: 370.05, stddev: 1282.91, median 9, min 0, max 9947 + 0.. 497: ####################################################### 4270 ...TRUNCATED BY DUNE... + 4500.. 4999: 9 + 5000.. 5499: 9 + 5500.. 5999: 14 6000.. 6499: 15 - 6500.. 6999: 13 - 7000.. 7499: 16 - 7500.. 7999: 12 - 8000.. 8499: 11 - 8500.. 8999: 16 - 9000.. 9499: 15 - 9500.. 9999: 20 + 6500.. 6999: 7 + 7000.. 7499: 10 + 7500.. 7999: 23 + 8000.. 8499: 10 + 8500.. 8999: 22 + 9000.. 9499: 16 + 9500.. 9999: 10 +++ Stats for small_array len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 16.14, stddev: 24.86, median 6, min 0, max 99 - 0.. 4: ###################################################### 1923 - 5.. 9: ####################################################### 1936 - 10.. 14: # 61 - 15.. 19: # 59 - 20.. 24: # 62 - 25.. 29: # 70 - 30.. 34: # 61 - 35.. 39: # 64 - 40.. 44: # 64 - 45.. 49: # 56 - 50.. 54: # 65 - 55.. 59: # 55 - 60.. 64: # 60 - 65.. 69: # 62 - 70.. 74: # 57 - 75.. 79: # 69 - 80.. 84: ## 73 - 85.. 89: # 67 - 90.. 94: # 62 - 95.. 99: ## 74 + num: 5000, avg: 16.58, stddev: 25.30, median 6, min 0, max 99 + 0.. 4: ################################################### 1848 + 5.. 9: ####################################################### 1992 + 10.. 14: # 47 + 15.. 19: # 62 + 20.. 24: # 56 + 25.. 29: # 67 + 30.. 34: # 66 + 35.. 39: # 57 + 40.. 44: # 59 + 45.. 49: # 62 + 50.. 54: ## 75 + 55.. 59: # 70 + 60.. 64: # 55 + 65.. 69: # 68 + 70.. 74: ## 74 + 75.. 79: # 56 + 80.. 84: # 66 + 85.. 89: ## 74 + 90.. 94: # 64 + 95.. 99: ## 82 +++ Stats for array_of_size len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats len: - num: 5000, avg: 7.49, stddev: 1.71, median 8, min 5, max 10 - 5: ####################################################### 867 - 6: ################################################### 813 - 7: ################################################### 815 - 8: #################################################### 833 - 9: ###################################################### 857 - 10: ################################################### 815 + num: 5000, avg: 7.50, stddev: 1.72, median 8, min 5, max 10 + 5: ####################################################### 854 + 6: ################################################### 802 + 7: ##################################################### 835 + 8: ##################################################### 838 + 9: #################################################### 818 + 10: ###################################################### 853 +++ Stats for array_repeat len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ @@ -706,182 +711,182 @@ stats len: +++ Stats for int_stats_neg ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 5000, avg: 0.17, stddev: 29.68, median 0, min -99, max 99 - -99..-90: # 65 - -89..-80: # 63 - -79..-70: # 64 + num: 5000, avg: 0.43, stddev: 28.63, median 0, min -99, max 99 + -99..-90: # 45 + -89..-80: # 57 + -79..-70: # 68 -69..-60: # 58 - -59..-50: # 67 - -49..-40: # 72 - -39..-30: # 61 - -29..-20: # 61 - -19..-10: # 67 - -9.. 0: ####################################################### 2076 - 1.. 10: ############################################## 1764 - 11.. 20: # 66 - 21.. 30: # 64 - 31.. 40: # 64 - 41.. 50: # 67 - 51.. 60: # 60 - 61.. 70: # 75 - 71.. 80: # 60 - 81.. 90: # 60 - 91..100: # 66 + -59..-50: # 76 + -49..-40: # 67 + -39..-30: # 52 + -29..-20: # 54 + -19..-10: # 47 + -9.. 0: ####################################################### 2205 + 1.. 10: ########################################## 1697 + 11.. 20: # 57 + 21.. 30: # 70 + 31.. 40: # 60 + 41.. 50: # 66 + 51.. 60: # 75 + 61.. 70: # 68 + 71.. 80: # 63 + 81.. 90: # 66 + 91..100: # 49 +++ Stats for small_signed_int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 0.90, stddev: 28.23, median 0, min -99, max 99 - -99..-90: # 12 - -89..-80: # 11 - -79..-70: # 9 - -69..-60: 6 - -59..-50: # 11 - -49..-40: # 13 - -39..-30: # 9 - -29..-20: # 13 - -19..-10: 8 - -9.. 0: ####################################################### 453 - 1.. 10: ######################################### 340 - 11.. 20: # 15 - 21.. 30: # 11 - 31.. 40: # 12 - 41.. 50: # 13 - 51.. 60: # 13 - 61.. 70: # 16 - 71.. 80: # 9 - 81.. 90: # 16 - 91..100: # 10 + num: 1000, avg: 0.86, stddev: 29.11, median 0, min -97, max 99 + -97..-88: # 12 + -87..-78: # 12 + -77..-68: # 13 + -67..-58: # 12 + -57..-48: # 9 + -47..-38: ## 17 + -37..-28: # 13 + -27..-18: # 8 + -17.. -8: ######### 76 + -7.. 2: ####################################################### 437 + 3.. 12: ################################## 276 + 13.. 22: ## 16 + 23.. 32: # 11 + 33.. 42: ## 16 + 43.. 52: # 9 + 53.. 62: # 12 + 63.. 72: # 14 + 73.. 82: # 12 + 83.. 92: # 13 + 93..102: # 12 +++ Stats for small_nat dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 15.11, stddev: 23.27, median 6, min 0, max 99 - 0.. 4: #################################################### 377 - 5.. 9: ####################################################### 392 - 10.. 14: ## 20 - 15.. 19: ## 15 + num: 1000, avg: 15.86, stddev: 24.57, median 6, min 0, max 99 + 0.. 4: ###################################################### 387 + 5.. 9: ####################################################### 390 + 10.. 14: # 11 + 15.. 19: # 8 20.. 24: # 11 - 25.. 29: ## 17 - 30.. 34: ## 19 - 35.. 39: ## 17 - 40.. 44: # 10 - 45.. 49: # 9 - 50.. 54: # 8 - 55.. 59: # 9 - 60.. 64: ## 15 - 65.. 69: # 10 - 70.. 74: # 13 - 75.. 79: ## 19 + 25.. 29: ## 15 + 30.. 34: # 9 + 35.. 39: # 11 + 40.. 44: # 11 + 45.. 49: ## 19 + 50.. 54: # 10 + 55.. 59: ## 19 + 60.. 64: # 9 + 65.. 69: # 9 + 70.. 74: ## 19 + 75.. 79: # 13 80.. 84: # 11 - 85.. 89: # 13 - 90.. 94: 5 - 95.. 99: # 10 + 85.. 89: ## 16 + 90.. 94: # 9 + 95.. 99: # 13 +++ Stats for nat dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 363.02, stddev: 1215.04, median 9, min 0, max 9476 - 0.. 473: ####################################################### 847 - 474.. 947: ###### 95 - 948..1421: 14 - 1422..1895: 3 - 1896..2369: 0 - 2370..2843: 3 - 2844..3317: 2 - 3318..3791: 3 - 3792..4265: 2 - 4266..4739: 4 - 4740..5213: 3 - 5214..5687: 4 - 5688..6161: 3 - 6162..6635: 4 - 6636..7109: 1 - 7110..7583: 4 - 7584..8057: 2 - 8058..8531: 1 - 8532..9005: 1 - 9006..9479: 4 + num: 1000, avg: 382.03, stddev: 1290.55, median 9, min 0, max 9890 + 0.. 494: ####################################################### 850 + 495.. 989: ###### 93 + 990..1484: 8 + 1485..1979: 3 + 1980..2474: 7 + 2475..2969: 1 + 2970..3464: 3 + 3465..3959: 3 + 3960..4454: 3 + 4455..4949: 4 + 4950..5444: 3 + 5445..5939: 3 + 5940..6434: 3 + 6435..6929: 1 + 6930..7424: 2 + 7425..7919: 1 + 7920..8414: 1 + 8415..8909: 5 + 8910..9404: 3 + 9405..9899: 3 +++ Stats for int_range (-43643) 435434 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 195335.64, stddev: 136803.99, median 195583, min -43624, max 435210 - -43624..-19683: ############################################ 52 - -19682.. 4259: ######################################## 47 - 4260.. 28201: ############################## 36 - 28202.. 52143: ############################################ 52 - 52144.. 76085: ########################################## 50 - 76086..100027: ####################################################### 64 - 100028..123969: ############################################### 55 - 123970..147911: ######################################## 47 - 147912..171853: ############################################## 54 - 171854..195795: #################################### 43 - 195796..219737: ############################################## 54 - 219738..243679: ########################################### 51 - 243680..267621: ################################################ 57 - 267622..291563: ########################################## 49 - 291564..315505: #################################### 42 - 315506..339447: ###################################### 45 - 339448..363389: ################################################ 57 - 363390..387331: ###################################### 45 - 387332..411273: ########################################## 49 - 411274..435215: ########################################### 51 + num: 1000, avg: 193479.13, stddev: 136696.70, median 189823, min -43164, max 434961 + -43164..-19258: ################################### 42 + -19257.. 4649: ############################################## 56 + 4650.. 28556: ############################################# 55 + 28557.. 52463: ############################################### 57 + 52464.. 76370: ######################################### 50 + 76371..100277: ############################# 35 + 100278..124184: ############################################### 57 + 124185..148091: #################################### 44 + 148092..171998: ############################################## 56 + 171999..195905: ####################################################### 66 + 195906..219812: ########################################### 52 + 219813..243719: ######################################## 49 + 243720..267626: ################################ 39 + 267627..291533: ##################################### 45 + 291534..315440: ##################################### 45 + 315441..339347: ################################################# 59 + 339348..363254: ################################################## 60 + 363255..387161: ################################# 40 + 387162..411068: ########################################## 51 + 411069..434975: ################################### 42 +++ Stats for int_range (-40000) 40000 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: -173.78, stddev: 23042.92, median 180, min -39859, max 39942 - -39859..-35869: ############################################# 56 - -35868..-31878: ################################### 43 - -31877..-27887: ################################################# 60 - -27886..-23896: ##################################### 46 - -23895..-19905: ######################################## 49 - -19904..-15914: #################################### 45 - -15913..-11923: ############################################ 54 - -11922.. -7932: ############################################### 58 - -7931.. -3941: ######################################### 51 - -3940.. 50: ############################ 35 - 51.. 4041: ####################################### 48 - 4042.. 8032: ########################################## 52 - 8033.. 12023: ######################################### 51 - 12024.. 16014: ########################################### 53 - 16015.. 20005: ############################################ 54 - 20006.. 23996: ################################## 42 - 23997.. 27987: ####################################################### 67 - 27988.. 31978: ################################ 40 - 31979.. 35969: ######################################### 51 - 35970.. 39960: #################################### 45 + num: 1000, avg: -591.06, stddev: 23026.79, median -911, min -39911, max 39959 + -39911..-35918: ####################################### 45 + -35917..-31924: #################################################### 59 + -31923..-27930: ########################################### 49 + -27929..-23936: ########################################## 48 + -23935..-19942: ####################################################### 62 + -19941..-15948: ############################################# 51 + -15947..-11954: ######################################### 47 + -11953.. -7960: ################################################# 56 + -7959.. -3966: ################################### 40 + -3965.. 28: ################################################### 58 + 29.. 4022: ########################################### 49 + 4023.. 8016: ############################################### 53 + 8017.. 12010: ############################################ 50 + 12011.. 16004: ################################### 40 + 16005.. 19998: ####################################### 44 + 19999.. 23992: ####################################################### 62 + 23993.. 27986: ##################################### 42 + 27987.. 31980: ######################################### 47 + 31981.. 35974: ########################################## 48 + 35975.. 39968: ############################################ 50 +++ Stats for int_range (-4) 4 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 0.02, stddev: 2.55, median 0, min -4, max 4 - -4: ############################################ 99 - -3: ##################################################### 118 - -2: ################################################## 111 - -1: ################################################## 113 - 0: ################################################## 113 - 1: ##################################################### 118 - 2: ############################################# 102 - 3: ####################################################### 122 - 4: ############################################## 104 + num: 1000, avg: -0.12, stddev: 2.52, median 0, min -4, max 4 + -4: ########################################## 116 + -3: ###################################### 103 + -2: ############################################## 125 + -1: ########################################## 115 + 0: ####################################### 106 + 1: ####################################################### 149 + 2: ################################# 92 + 3: ################################# 92 + 4: ##################################### 102 +++ Stats for int_range (-4) 17 dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 6.67, stddev: 6.39, median 7, min -4, max 17 - -4..-3: ############################################# 90 - -2..-1: ############################################# 91 - 0.. 1: ########################################## 84 - 2.. 3: ############################################## 92 - 4.. 5: ########################################### 87 - 6.. 7: ########################################### 86 - 8.. 9: ############################################ 89 - 10..11: ########################################### 87 - 12..13: ####################################################### 110 - 14..15: ############################################# 91 - 16..17: ############################################## 93 + num: 1000, avg: 6.42, stddev: 6.43, median 6, min -4, max 17 + -4..-3: ########################################### 89 + -2..-1: ################################################# 101 + 0.. 1: ############################################## 95 + 2.. 3: ########################################### 89 + 4.. 5: ############################################## 95 + 6.. 7: ##################################### 78 + 8.. 9: ####################################### 81 + 10..11: ######################################## 84 + 12..13: ####################################################### 113 + 14..15: ######################################## 84 + 16..17: ############################################ 91 18..19: 0 20..21: 0 22..23: 0 @@ -895,33 +900,33 @@ stats dist: +++ Stats for int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 100000, avg: 2541076923587387.50, stddev: 2660730801206827008.00, median 158655268318060, min -4611522359435274428, max 4611540922436307689 - -4611522359435274428..-4150369195341695293: ##################################################### 4976 - -4150369195341695292..-3689216031248116157: ##################################################### 4963 - -3689216031248116156..-3228062867154537021: ###################################################### 5038 - -3228062867154537020..-2766909703060957885: ##################################################### 4979 - -2766909703060957884..-2305756538967378749: ##################################################### 5001 - -2305756538967378748..-1844603374873799613: ##################################################### 4982 - -1844603374873799612..-1383450210780220477: ##################################################### 5025 - -1383450210780220476.. -922297046686641341: #################################################### 4901 - -922297046686641340.. -461143882593062205: ####################################################### 5126 - -461143882593062204.. 9281500516931: ##################################################### 5008 - 9281500516932.. 461162445594096067: ###################################################### 5041 - 461162445594096068.. 922315609687675203: ##################################################### 5001 - 922315609687675204.. 1383468773781254339: ##################################################### 4986 - 1383468773781254340.. 1844621937874833475: ##################################################### 4949 - 1844621937874833476.. 2305775101968412611: ##################################################### 5025 - 2305775101968412612.. 2766928266061991747: ##################################################### 5022 - 2766928266061991748.. 3228081430155570883: ##################################################### 4958 - 3228081430155570884.. 3689234594249150019: ##################################################### 4998 - 3689234594249150020.. 4150387758342729155: ##################################################### 4982 - 4150387758342729156.. 4611540922436308291: ###################################################### 5039 + num: 100000, avg: -7215552342607541.00, stddev: 2666234426234218496.00, median -16620417636667326, min -4611371852367564818, max 4611613630315464842 + -4611371852367564818..-4150222578233413331: ##################################################### 5003 + -4150222578233413330..-3689073304099261843: ####################################################### 5106 + -3689073304099261842..-3227924029965110355: ###################################################### 5052 + -3227924029965110354..-2766774755830958867: ###################################################### 5017 + -2766774755830958866..-2305625481696807379: #################################################### 4852 + -2305625481696807378..-1844476207562655891: ###################################################### 5016 + -1844476207562655890..-1383326933428504403: ###################################################### 5083 + -1383326933428504402.. -922177659294352915: ##################################################### 4986 + -922177659294352914.. -461028385160201427: ###################################################### 5042 + -461028385160201426.. 120888973950061: ###################################################### 5017 + 120888973950062.. 461270163108101549: ##################################################### 4977 + 461270163108101550.. 922419437242253037: ##################################################### 5000 + 922419437242253038.. 1383568711376404525: ###################################################### 5022 + 1383568711376404526.. 1844717985510556013: #################################################### 4896 + 1844717985510556014.. 2305867259644707501: #################################################### 4884 + 2305867259644707502.. 2767016533778858989: ##################################################### 4981 + 2767016533778858990.. 3228165807913010477: ###################################################### 5026 + 3228165807913010478.. 3689315082047161965: ###################################################### 5016 + 3689315082047161966.. 4150464356181313453: ###################################################### 5021 + 4150464356181313454.. 4611613630315464941: ##################################################### 5003 +++ Stats for oneof int dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: 4611686018427388.00, stddev: 2905870896563567616.00, median 0, min -4611686018427387904, max 4611686018427387903 - -4611686018427387904..-4150517416584649089: ################## 208 + num: 1000, avg: 4611686018427388.00, stddev: 2891078433912002560.00, median 0, min -4611686018427387904, max 4611686018427387903 + -4611686018427387904..-4150517416584649089: ################# 198 -4150517416584649088..-3689348814741910273: 0 -3689348814741910272..-3228180212899171457: 0 -3228180212899171456..-2767011611056432641: 0 @@ -930,7 +935,7 @@ stats dist: -1844674407370955008..-1383505805528216193: 0 -1383505805528216192.. -922337203685477377: 0 -922337203685477376.. -461168601842738561: 0 - -461168601842738560.. 255: ####################################################### 603 + -461168601842738560.. 255: ####################################################### 607 256.. 461168601842739071: 0 461168601842739072.. 922337203685477887: 0 922337203685477888.. 1383505805528216703: 0 @@ -940,7 +945,7 @@ stats dist: 2767011611056433152.. 3228180212899171967: 0 3228180212899171968.. 3689348814741910783: 0 3689348814741910784.. 4150517416584649599: 0 - 4150517416584649600.. 4611686018427387903: ################# 189 + 4150517416584649600.. 4611686018427387903: ################# 195 ================================================================================ 1 warning(s) failure (35 tests failed, 1 tests errored, ran 90 tests) @@ -949,26 +954,27 @@ random seed: 153870556 +++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ stats dist: - num: 1000, avg: -55083208105414400.00, stddev: 1847115855773139200.00, median 9, min -4590718933436425025, max 4611686018427387903 - -4590718933436425025..-4130598685843234370: ## 26 - -4130598685843234369..-3670478438250043714: # 13 - -3670478438250043713..-3210358190656853058: ### 37 - -3210358190656853057..-2750237943063662402: ### 30 - -2750237943063662401..-2290117695470471746: ## 27 - -2290117695470471745..-1829997447877281090: ## 24 - -1829997447877281089..-1369877200284090434: ## 27 - -1369877200284090433.. -909756952690899778: ## 27 - -909756952690899777.. -449636705097709122: ## 21 - -449636705097709121.. 10483542495481534: ####################################################### 531 - 10483542495481535.. 470603790088672190: ## 21 - 470603790088672191.. 930724037681862846: ## 27 - 930724037681862847.. 1390844285275053502: ## 24 - 1390844285275053503.. 1850964532868244158: ## 25 - 1850964532868244159.. 2311084780461434814: ## 28 - 2311084780461434815.. 2771205028054625470: ## 23 - 2771205028054625471.. 3231325275647816126: ## 23 - 3231325275647816127.. 3691445523241006782: ## 25 - 3691445523241006783.. 4151565770834197438: # 17 - 4151565770834197439.. 4611686018427387903: ## 24 + num: 1000, avg: -38152533987928128.00, stddev: 1828925617669212928.00, median 9, min -4606614955625884935, max 4611686018427387903 + -4606614955625884935..-4145699906923221320: ## 27 + -4145699906923221319..-3684784858220557704: ## 22 + -3684784858220557703..-3223869809517894088: ## 29 + -3223869809517894087..-2762954760815230472: ## 22 + -2762954760815230471..-2302039712112566856: ## 20 + -2302039712112566855..-1841124663409903240: ## 22 + -1841124663409903239..-1380209614707239624: ## 26 + -1380209614707239623.. -919294566004576008: ## 27 + -919294566004576007.. -458379517301912392: ## 24 + -458379517301912391.. 2535531400751224: ####################################################### 547 + 2535531400751225.. 463450580103414840: ## 25 + 463450580103414841.. 924365628806078456: ## 25 + 924365628806078457.. 1385280677508742072: ## 22 + 1385280677508742073.. 1846195726211405688: ### 30 + 1846195726211405689.. 2307110774914069304: ## 27 + 2307110774914069305.. 2768025823616732920: # 16 + 2768025823616732921.. 3228940872319396536: ## 23 + 3228940872319396537.. 3689855921022060152: # 19 + 3689855921022060153.. 4150770969724723768: # 18 + 4150770969724723769.. 4611686018427387384: ## 28 + 4611686018427387385.. 4611686018427387903: 1 ================================================================================ success (ran 1 tests) "/usr/bin/env" "bash" "-c" "cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1 2024-09-18 21:54.05: Job failed: Failed: Build failed