module Generator = Core_kernel.Quickcheck.Generatormodule Observer = Core_kernel.Quickcheck.Observerinclude Async_kernel__.Async_quickcheck_intf.Quickcheck_async_configuredinclude Core_kernel.Quickcheck.Quickcheck_configuredinclude Core_kernel__.Quickcheck_intf.Quickcheck_configval default_seed : Core_kernel__.Quickcheck_intf.seeddefault_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.tdefault_sizes determines the default sequence of sizes used in generating
values.
val default_trial_count : Core_kernel__.Import.intdefault_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.intdefault_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.floatdefault_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_attemptsdefault_shrink_attempts determines the number of attempts at shrinking
when running test or iter with ~shrinker and without
~shrink_attempts
val random_value : ?seed:Core_kernel__.Quickcheck_intf.seed ‑> ?size:Core_kernel__.Import.int ‑> 'a gen ‑> 'arandom_value ~seed gen produces a single value chosen from gen using seed.
val iter : ?seed:Core_kernel__.Quickcheck_intf.seed ‑> ?sizes:Core_kernel__.Import.int Core_kernel.Sequence.t ‑> ?trials:Core_kernel__.Import.int ‑> ?attempts:Core_kernel__.Import.int ‑> ?filter:('a ‑> Core_kernel__.Import.bool) ‑> 'a gen ‑> f:('a ‑> Core_kernel__.Import.unit) ‑> Core_kernel__.Import.unititer ~seed ~trials ~attempts ~filter gen ~f runs f on up to trials different
values generated by gen. It stops successfully after trials successful trials
or if gen runs out of values. It raises an exception if f raises an exception
or if it fails to produce trials inputs from gen after attempts attempts. If
filter is provided, iteration proceeds over Generator.filter gen ~f:filter.
val test : ?seed:Core_kernel__.Quickcheck_intf.seed ‑> ?sizes:Core_kernel__.Import.int Core_kernel.Sequence.t ‑> ?trials:Core_kernel__.Import.int ‑> ?attempts:Core_kernel__.Import.int ‑> ?filter:('a ‑> Core_kernel__.Import.bool) ‑> ?shrinker:'a shr ‑> ?shrink_attempts:Core_kernel__.Quickcheck_intf.shrink_attempts ‑> ?sexp_of:('a ‑> Core_kernel__.Import.Sexp.t) ‑> ?examples:'a Core_kernel__.Import.list ‑> 'a gen ‑> f:('a ‑> Core_kernel__.Import.unit) ‑> Core_kernel__.Import.unittest ~seed ~trials ~attempts ~sexp_of ~examples gen ~f is like iter, with
optional concrete examples that are tested before values from gen, and
additional information provided on failure. If f raises an exception and
sexp_of is provided, the exception is re-raised with a description of the random
input that triggered the failure. If f raises an exception and shrinker is
provided, it will be used to attempt to shrink the value that caused the exception
with re-raising behaving the same as for unshrunk inputs.
val test_can_generate : ?seed:Core_kernel__.Quickcheck_intf.seed ‑> ?sizes:Core_kernel__.Import.int Core_kernel.Sequence.t ‑> ?trials:Core_kernel__.Import.int ‑> ?attempts:Core_kernel__.Import.int ‑> ?filter:('a ‑> Core_kernel__.Import.bool) ‑> ?sexp_of:('a ‑> Core_kernel__.Import.Sexp.t) ‑> 'a gen ‑> f:('a ‑> Core_kernel__.Import.bool) ‑> Core_kernel__.Import.unittest_can_generate ~seed ~trials ~attempts ~sexp_of gen ~f is useful for testing
gen values, to make sure they can generate useful examples. It tests
gen by generating up to trials values and passing them to f. Once a value
satisfies f, the iteration stops. If no values satisfy f, test_can_generate
raises an exception. If sexp_of is provided, the exception includes all of the
generated values.
val test_distinct_values : ?seed:Core_kernel__.Quickcheck_intf.seed ‑> ?sizes:Core_kernel__.Import.int Core_kernel.Sequence.t ‑> ?attempts:Core_kernel__.Import.int ‑> ?filter:('a ‑> Core_kernel__.Import.bool) ‑> ?sexp_of:('a ‑> Core_kernel__.Import.Sexp.t) ‑> 'a gen ‑> trials:Core_kernel__.Import.int ‑> distinct_values:Core_kernel__.Import.int ‑> compare:('a ‑> 'a ‑> Core_kernel__.Import.int) ‑> Core_kernel__.Import.unittest_distinct_values gen ~compare ~trials ~distinct_values is useful for testing
gen values, to make sure they create sufficient distinct values. It tests gen
by generating up to trials values and making sure at least distinct_values of
the resulting values are unique with respect to compare. If too few distinct
values are generated, test_distinct_values raises an exception. If sexp_of is
provided, the exception includes the values generated.
val random_sequence : ?seed:Core_kernel__.Quickcheck_intf.seed ‑> ?sizes:Core_kernel__.Import.int Core_kernel.Sequence.t ‑> 'a gen ‑> 'a Core_kernel.Sequence.trandom_sequence ~seed gen produces a sequence of values chosen from gen.
val async_test : ?seed:Core_kernel.Quickcheck.seed ‑> ?trials:int ‑> ?sexp_of:('a ‑> Core_kernel.Sexp.t) ‑> 'a Core_kernel.Quickcheck.Generator.t ‑> f:('a ‑> unit Async_kernel.Deferred.t) ‑> unit Async_kernel.Deferred.tLike test, but for asynchronous tests.