Bodigrim/smallcheck

Clarify the deprecation statement

Closed this issue · 1 comments

amw-zero commented

The README currently says:

As of 2023, this library is largely obsolete: arbitrary test generators with shrinking such as falsify offer much better user experience.

Can someone clarify this? For example, does falsify still exhaustively test data combinations up to a bound, or does this just mean that this approach is no longer considered viable?

Does anyone have an example of how falsify can replace smallcheck?

Bodigrim commented

The approach is no longer considered viable (by me).

smallcheck was largely developed before QuickCheck got mature shrinking capacities, but in its present form QuickCheck is vastly more manageable to find small counterexamples, where smallcheck is prone to exponential explosion. With a new generation of testing libraries such as falsify, smallcheck does not stand a chance.