search

c-cube / qcheck

QuickCheck inspired property-based testing for OCaml.
https://c-cube.github.io/qcheck/
BSD 2-Clause "Simplified" License
340 stars 37 forks source link

Missing QCheck.Shrink.bool #251

Open jmid opened 1 year ago

jmid commented 1 year ago

I noticed that QCheck.Shrink is missing a bool combinator.

This should be probably shrink true to false like QCheck2: https://github.com/c-cube/qcheck/blob/dd5feb49be06b585b943037e7a6c218d9cb7fb49/src/core/QCheck2.ml#L313-L317

Finally the bool arbitrary could be extended to use it.

c-cube commented 1 year ago

:+1: I noticed the same thing last week :)