topt_seed :: f Seed | Seed that should be used to create random numbers for generated tests
|
topt_maximum_generated_tests :: f Int | Maximum number of tests to generate when using something like QuickCheck
|
topt_maximum_unsuitable_generated_tests :: f Int | Maximum number of unsuitable tests to consider before giving up when using something like QuickCheck
|
topt_timeout :: f (Maybe Int) | The number of microseconds to run tests for before considering them a failure
|