Skip to content
Make testsuite compatible with QuickCheck 2.9