val default_seed : Core_kernel__.Quickcheck_intf.seed
default_seed
is used initialize the pseudo-random generator that chooses random
values from generators, in each test that is not provided its own seed.
val default_sizes : Core_kernel__.Import.int Core_kernel.Sequence.t
default_sizes
determines the default sequence of sizes used in generating
values.
val default_trial_count : Core_kernel__.Import.int
default_trial_count
determines the number of trials per test, except in tests
that explicitly override it.
val default_can_generate_trial_count : Core_kernel__.Import.int
default_can_generate_trial_count
determines the number of trials used in attempts
to generate satisfying values, except in tests that explicitly override it.
val default_attempts_per_trial : Core_kernel__.Import.float
default_attempts_per_trial
determines the maximum number of attempts to generate
inputs for trials, as a multiplier for the number of trials, except in tests that
explicitly override it.
val default_shrink_attempts : Core_kernel__.Quickcheck_intf.shrink_attempts
default_shrink_attempts
determines the number of attempts at shrinking
when running test
or iter
with ~shrinker
and without
~shrink_attempts