smallcheck

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