Joakim Åkerblom

Ok, noted. Looked in SimpleShrink.java earler, but did not understand much. The shrinking strategy differs from e.g. ScalaCheck where you explicitly can define how to shrink something. Clarification for other...

I hope I can shine some light on the subject of recursive data structures. Usefulness of recursive data structures -------------------------------------------------- To answer the original question - Yes, I think being...

See pull request #65

@hcoles Noted. Would perhaps be good if someone else tried to poke holes in the suggested solution. @hyperpape You talked about being able to define the size of the generated...

Correct, I forgot to mention in the initial comment that the problem is found in release 0.15. I have tried to reproduce the problem in release 0.21, but it seem...

**Quick feedback on API improvements** _Firstly_, I'm missing the ability (convenience) to specify an arbitrary double range. It can be good to have just because it can be a common...

Thanks for all the answers. Since list shrinking by removing all unnecessary elements in list was essential for solving the problem at hand, I had to abandon QuickTheories and instead...

@jlink, I thought that I in 2018 had a good grasp on the PBT-library landscape in Java, and it would surprise me if I did not do some survey on...