A positive feature request/idea: a trophy chest

[jmid]

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]

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

[cfcs]

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

[c-cube]

Thanks for the feedback! :slightly_smiling_face: