[ANN] QCheck 0.6: property based testing

I have the please to announce the release of QCheck 0.6. QCheck is a feature rich property testing library inspired from Haskell’s QuickCheck.

This new release contains several significant improvements, thanks to the help of Guillaume Bury and Jan Midtgaard.

  • better generation of functions, with proper printing and shrinking.
  • functions to leverage generators to produce values satisfying a predicate.
  • colorful runners.
  • better shrinkers and random generators.
  • gathering basic statistics and optionally displaying an histogram of sampled values.

QCheck is available on opam.
Release URL: https://github.com/c-cube/qcheck/releases/tag/0.6
Documentation: https://c-cube.github.io/qcheck/0.6/