Description
Adds SmallCheck support to the Tasty test framework. SmallCheck systematically explores small input values, which helps find edge cases without manually listing every example.
It is useful for projects that want exhaustive small-value property checks alongside other Tasty tests. It is a development library used by automated test suites.