search

c-cube / qcheck

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

A positive feature request/idea: a trophy chest #42

Open jmid opened 7 years ago

jmid commented 7 years ago

To underline to QCheck newcomers that the library is practically useful, it would be nice to document a (growing) list of bugs found using it. Ideally this could be integrated into the README file on the front page. This idea is heavily inspired by Stephen Dolan's "Bugs found with Crowbar" https://github.com/stedolan/crowbar/issues/2 (which is itself a very interesting fuzz-testing/QuickCheck hybrid). The above is limited to OPAM packages, which is perhaps a natural requirement to list entries.

I can personally contribute with the ptrees bug and a number of OCaml compiler bugs to such a list, but I am sure there are many other QCheck trophies out there :-)

(On a related note: I plan to contribute a bit of polishing of the README documentation over the next couple of days)

c-cube commented 7 years ago

That's a good idea! I'm waiting for your contribution to the README :-)

cfcs commented 6 years ago

It helped me find, and eventually, after a good long pause, fix this bug: https://github.com/cfcs/ocaml-punycode/issues/1

c-cube commented 6 years ago

Thanks for the feedback! :slightly_smiling_face: