Documentation

Fields

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_maximum_test_size :: f Int

Maximum size of generated tests when using something like QuickCheck

topt_maximum_test_depth :: f Int

Maximum depth of generated tests when using something like SmallCheck

topt_timeout :: f (Maybe Int)

The number of microseconds to run tests for before considering them a failure