Jan Midtgaard

Acknowledged! :slightly_smiling_face: In a past role teaching this stuff I prepared slides to explain the `Gen.t` vs `arbitrary` difference. See https://janmidtgaard.dk/quickcheck/slides/lec03.pdf from p.48 of the pdf (labeled 21/48 in the...

> The documentation on the slides is helpful; maybe include a link or the slides in this repository. I believe this kind of high-level explanation would at the top of...

That's a good suggestion :+1: To avoid breaking the complexity of the current (recursive) algo, we should then have a top-level `Shrink.list` that just calculates the length and decides between...

Thanks for sharing tips, feedback, and pointers! At the moment, in QCheck(1) we are using the interface in which shrinkers are `'a -> 'a Iter.t` functions, that are restarted after...

Thanks for sharing! As far as I can tell, this (a) doesn't attempt shrinking of the individual characters and (b) is not sub-linear. Here's a quick ASCII chart plotting the...

> Perhaps the choice of char shrinker (or its depth) could be given to the end-user of the API (with a good default...), e.g. have the ability to turn off...

Just spotted this before opening a new issue for https://github.com/ocaml-multicore/multicoretests/issues/470 With the help of shrinking, I've been able to create the following reproducer: ```ocaml let array_length = 2 type t...

This is a clever suggestion to delegate to the tests which ones to run or not - and using an environment variable to communicate that to the test child process....

Thanks! > Is it possible to do mutations only on a subset of modules in a library? Unfortunately I don't think this is possible at the moment, sorry. A PR...

I think a UI akin to https://github.com/aantron/bisect_ppx would be nice! I could imagine excluding mutation - per file-name perhaps akin to https://github.com/aantron/bisect_ppx/blob/master/doc/advanced.md#Excluding and/or - per module/function via an attribute `[@mutation...