Why not use smallcheck?

turion:

Not wanting to write a shrinker lolol but right, if the downside is that I have to put more effort into the generator, I can see the point.

Realistically shrink is already implemented for all basic types and then genericShrink gets you 90% there. There are use cases for writing shrink manually, but they are usually in areas which are far beyond SmallCheck’s reach anyway.

Leary:

IMO the big win is getting a genuinely minimal counterexample to your property in cases where greedy shrinking just isn’t good enough.

Could you give an example?

Ambrose:

idk I just see “deprecated in favor of” as meaning the two things are actually equivalent fundamentally. not opinion-wise.

Perhaps you are seeing something which is not there?.. SmallCheck description does not contain your quote.