I’m happy to announce the release of QCheck 0.21, a property-based testing library in the style of Haskell’s QuickCheck
More information is available in the QCheck Github repository and in the package documentation.
The 0.21 release offers better negative test integration and furthermore fixes a couple of bugs in
QCheck.Shrink and in
Test.check_exnhonor test polarity by raising
Test_unexpected_successwhen a negative test (expected to have a counter example), unexpectedly succeeds.
- fix issue with
ppx_deriving_qcheckderiving a generator with unbound
genfor 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
- fix a cornercase where
Shrink.list_spinewould emit duplicates