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

Realign shrinker tests #274

Closed jmid closed 1 year ago

jmid commented 1 year ago

This little PR realigns the Shrink tests to reenable the shrinker benchmark from #177, meaning that the tests should be listed in the same order, and agree on their names. While adjusting the title of the QCheck2 test, I realized it was testing for a different value than the QCheck(1) test (comparing apples to oranges) so I fixed that.

This whole setup is admittedly fragile, but I'm not bothered enough to fix it ATM.

jmid commented 1 year ago

Rebased on main after merging #275

jmid commented 1 year ago

7 successful CI runs across Ubuntu, macOS and Windows before we hit a web-server failure causing the rest to be cancelled. I'll therefore go ahead and merge.

Another vote for #276