rackcheck-lib (racket): A property-based testing library with shrinking support. (implementation)
Keywords: quickcheck|testing|property-based-testing|racket