Qcheck Versions Save

0.16, with a bugfix related to #99 and an improved default runner.

• fix: in main runner, remove reset line in more places if colors=false
• fix: invalid arg in int_range when a<0
• fix(runner): do not use ansi code for random seed if colors=false
• feat: on >=4.08, provide let operators

changelog

release with

• support for alcotest
• separate package for ounit backend
• dune as the main build system
• 4 packages in total, including qcheck as a compatibility package

changelog

Large release with several new features:

• better generation of functions, with proper printing and shrinking
• find_example to leverage generators to produce values satisfying a predicate
• colorful runners, so that results are easier to read
• better shrinkers and random generators
• gathering basic statistics and optionally displaying an histogram of sampled values

many thanks to @Gbury and @jmid for their help.

Incremental improvements to the generators (including the new small_list), to the documentation (more examples in the readme), and to the runners.

Main fix is to make small_int back to its original behavior, introduce small_nat for small positive integers instead. This matters because small_int would often be used as the size generator of random collections. This release also contains other bugfixes and the notion of long tests.

Bugfix release, with a few more functions for uniformity.