module type Quickcheck_config = sig
.. end
val default_seed : 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_trial_count : int
default_trial_count
determines the number of trials per test, except in tests
that explicitly override it.
val default_trial_count_for_test_no_duplicates : [ `Constant of int | `Scale_of_default_trial_count of float ]
default_trial_count_for_test_no_duplicates
determines the number of trials when
running test_no_duplicates
without ~trials
, either as a constant or as a factor
of default_trial_count
.
val default_attempts_per_trial : 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.