0.27

The 0.27 release is focused on improving the float shrinking support and also contains a small patch to make the package compile with OxCaml:

• Add QCheck.Shrink.float and enable shrinking for QCheck.float
• Add QCheck.Shrink.float_bound and enable shrinking for QCheck.float_bound_inclusive and QCheck.float_bound_exclusive
• Add QCheck.Shrink.float_range and enable shrinking for QCheck.float_range
• Enable shrinking for QCheck.{pos_float,neg_float,exponential}
• Patch QCheck.Print.float and QCheck2.Print.float to print negative nans consistently as "-nan" also on Windows and macOS, and correct documentation for QCheck.{float,pos_float,neg_float} in that they may produce nans since #350 from 0.26
• Eta-expand a couple of partial application to compile under OxCaml

0.26

The 0.26 release adjusts the QCheck and QCheck2 float generator distributions, which was previously confined to a subset of floating point numbers. Users may experience that existing tests known to pass start to fail with the new and broader distribution. In addition the release contains a number of other fixes and documentation improvements, incl. the removal of an annoying newline which would cause the test suite to fail on OCaml 5.4.0:

• Align printed collect statistics and also add a percentage
• Fix QCheck{,2}.Gen.float generator which would only generate numbers with an exponent between 2^{-21} and 2^22
• Elaborate on QCheck/QCheck2 situation in README
• Add a missing description field to the *.opam files
• Document Shrink invariants in the QCheck module
• Fix a qcheck-ounit test suite failure on OCaml 5.4, removing a needless extra newline
• Fix QCheck2 float_range operator which would fail on negative bounds
• Fix QCHECK_MSG_INTERVAL not being applied to the first in-progress message

Thanks to @Pat-Lafon, @rmonat, and @kit-ty-kate for contributing! 🙏

0.25

The 0.25 release contains a combination of all-round fixes, documentation, and polishing:

• Restore Test.make's max_fail parameter which was accidentally broken in 0.18
• Adjust stats computation of average and standard deviation to
  limit precision loss, print both using scientific notation, and
  workaround MinGW float printing to also pass expect tests
• Fix dune snippets missing a language specifier in README.adoc
  causing asciidoc to error
• Add a note to QCheck{,2.Gen}.small_int_corners and QCheck{,2}.Gen.graft_corners
  about internal state, and fix a range of documentation reference warnings
• Reorganize and polish the README, rewrite it to use qcheck-core, and add
  a QCheck2 integrated shrinking example
• Document QCHECK_MSG_INTERVAL introduced in 0.20
• Add QCheck{,2}.Gen.map{4,5} combinators

The accompanying ppx_deriving_qcheck.0.7 release offers:

• Support ppxlib.0.36.0 based on the OCaml 5.2 AST

Thanks to @Pat-Lafon and @patricoferris for contributing PRs! 🎉

0.24

This release contains a range of improvements to the integrated shrinking of QCheck2, initially introduced in the 0.18 release.
As a consequence, its shrinking algorithms should act more predictably. The release also adds missing result, int32, and int64 combinators.

The full change log:

• [qcheck-alcotest] Add an optional speed_level parameter to to_alcotest
• Adjust the QCheck2.Gen.list shrinker to produce minimal counterexamples at size 3 too
• Replace the QCheck2 OCaml 4 Random.State.split hack with a faster one
• Improve the QCheck2.Gen.list shrinker heuristic and utilize the improved shrinker in other QCheck2 {list,array,bytes,string,function}* shrinkers
• Use split and copy in Random.State underlying QCheck2 to avoid non-deterministic shrinking behaviour
• Add missing documentation strings for QCheck.{Print,Iter,Shrink,Gen} and QCheck2.Gen.
• Add result combinators to QCheck, QCheck.{Gen,Print,Shrink,Observable}, and QCheck2.{Gen,Print,Observable}.
• Add missing combinators QCheck{,2}.Print.int{32,64}, QCheck.Gen.int{32,64}, QCheck{,2}.Observable.int{32,64}, and deprecate QCheck.Gen.{ui32,ui64}
• Document dune usage in README

0.23

• Quote and escape in Print.string and Print.char in the QCheck module, mirroring the QCheck2.Print module's behaviour. Also quote and escape Print.bytes in both QCheck and QCheck2.
• Clean-up QCheck and QCheck2 documentation pages
• Add exponential generator to QCheck, QCheck.Gen, and QCheck2.Gen
• Add Shrink.bool and use it in QCheck.bool
• Remove unread fun_gen field from QCheck2's fun_repr_tbl type thereby silencing a compiler warning

0.22

• Remove QCheck2.TestResult.get_instances as retaining previous test inputs cause memory leaks (#288)
• Make QCheck2.state.res immutable, silencing a compilation warning (#291)

0.21.3

• Drop the dependency on base-bytes as it is provided in all supported versions of the OCaml compiler

0.21.2

• Reintroduce the Shrink.list_spine fix by catching Invalid_argument and falling back on an address comparison.
• Fix #273 by lowering ppx_deriving_qcheck's qcheck dependency to qcheck-core

0.21.1

This is a bugfix release to fix a regression:

• Roll back the Shrink.list_spine fix, as it was utilizing polymorphic equality that can raise an exception on function comparison.

0.21

This release offers better negative test integration and furthermore fixes a couple of bugs in QCheck.Shrink and in ppx_deriving_qcheck:

• make Test.check_result, Test.check_cell_exn, and Test.check_exn honor test polarity by raising
  Test_unexpected_success when a negative test (expected to have a counter example), unexpectedly succeeds.
• fix issue with ppx_deriving_qcheck deriving a generator with unbound gen for recursive types #269
  and a related issue when deriving a generator for a record type
• fix #241 causing QCheck.Shrink.int* to emit duplicates, also affecting QCheck.Shrink.{char,string}
• fix a cornercase where Shrink.list_spine would emit duplicates