quick-check should accept an arg for maximum shrinking time

Description

None

Environment

None

Activity

Show:

Details

Assignee

Reporter

Priority

Created March 1, 2016 at 4:01 AM
Updated March 30, 2018 at 4:47 PM