Module Core_kernel.Quickcheck
include Quickcheck_intf.Quickcheck
type nonrec seed
= Quickcheck_intf.seed
type nonrec shrink_attempts
= Quickcheck_intf.shrink_attempts
module Generator : Quickcheck_intf.Generator
module Observer : Quickcheck_intf.Observer
module Shrinker : Quickcheck_intf.Shrinker
module type S = Quickcheck_intf.S
module type S1 = Quickcheck_intf.S1
module type S2 = Quickcheck_intf.S2
module type S_int = Quickcheck_intf.S_int
module type S_range = Quickcheck_intf.S_range
include Quickcheck_intf.Syntax with module Generator := Generator and module Open_on_rhs := Generator
module Generator : Quickcheck_intf.Generator
module Open_on_rhs : Quickcheck_intf.Generator with type 'a t := 'a Generator.t and module Let_syntax := Generator.Let_syntax
include Core_kernel__.Import.Monad.Syntax with type 'a t := 'a Generator.t and module Let_syntax.Let_syntax.Open_on_rhs = Open_on_rhs
module Let_syntax : sig ... end with module Let_syntax.Open_on_rhs = Open_on_rhs
module type Quickcheck_config = Quickcheck_intf.Quickcheck_config
module type Quickcheck_configured = Quickcheck_intf.Quickcheck_configured
with a default config
include Quickcheck_configured
include Quickcheck_intf.Quickcheck_config
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_sizes : Core_kernel__.Import.int 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_shrink_attempts : Quickcheck_intf.shrink_attempts
default_shrink_attempts
determines the number of attempts at shrinking when runningtest
oriter
with~shrinker
and without~shrink_attempts
val random_value : ?seed:Quickcheck_intf.seed -> ?size:Core_kernel__.Import.int -> 'a Base_quickcheck.Generator.t -> 'a
random_value gen
produces a single value chosen fromgen
usingseed
.
val iter : ?seed:Quickcheck_intf.seed -> ?sizes:Core_kernel__.Import.int Sequence.t -> ?trials:Core_kernel__.Import.int -> 'a Base_quickcheck.Generator.t -> f:('a -> Core_kernel__.Import.unit) -> Core_kernel__.Import.unit
iter gen ~f
runsf
on up totrials
different values generated bygen
. It stops successfully aftertrials
successful trials or ifgen
runs out of values. It raises an exception iff
raises an exception.
val test : ?seed:Quickcheck_intf.seed -> ?sizes:Core_kernel__.Import.int Sequence.t -> ?trials:Core_kernel__.Import.int -> ?shrinker:'a Base_quickcheck.Shrinker.t -> ?shrink_attempts:Quickcheck_intf.shrink_attempts -> ?sexp_of:('a -> Base.Sexp.t) -> ?examples:'a Core_kernel__.Import.list -> 'a Base_quickcheck.Generator.t -> f:('a -> Core_kernel__.Import.unit) -> Core_kernel__.Import.unit
test gen ~f
is likeiter
, with optional concreteexamples
that are tested before values fromgen
, and additional information provided on failure. Iff
raises an exception andsexp_of
is provided, the exception is re-raised with a description of the random input that triggered the failure. Iff
raises an exception andshrinker
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_or_error : ?seed:Quickcheck_intf.seed -> ?sizes:Core_kernel__.Import.int Sequence.t -> ?trials:Core_kernel__.Import.int -> ?shrinker:'a Base_quickcheck.Shrinker.t -> ?shrink_attempts:Quickcheck_intf.shrink_attempts -> ?sexp_of:('a -> Base.Sexp.t) -> ?examples:'a Core_kernel__.Import.list -> 'a Base_quickcheck.Generator.t -> f:('a -> Core_kernel__.Import.unit Or_error.t) -> Core_kernel__.Import.unit Or_error.t
test_or_error
is liketest
, except failure is determined usingOr_error.t
. Any exceptions raised byf
are also treated as failures.
val test_can_generate : ?seed:Quickcheck_intf.seed -> ?sizes:Core_kernel__.Import.int Sequence.t -> ?trials:Core_kernel__.Import.int -> ?sexp_of:('a -> Base.Sexp.t) -> 'a Base_quickcheck.Generator.t -> f:('a -> Core_kernel__.Import.bool) -> Core_kernel__.Import.unit
test_can_generate gen ~f
is useful for testinggen
values, to make sure they can generate useful examples. It testsgen
by generating up totrials
values and passing them tof
. Once a value satisfiesf
, the iteration stops. If no values satisfyf
,test_can_generate
raises an exception. Ifsexp_of
is provided, the exception includes all of the generated values.
val test_distinct_values : ?seed:Quickcheck_intf.seed -> ?sizes:Core_kernel__.Import.int Sequence.t -> ?sexp_of:('a -> Base.Sexp.t) -> 'a Base_quickcheck.Generator.t -> trials:Core_kernel__.Import.int -> distinct_values:Core_kernel__.Import.int -> compare:('a -> 'a -> Core_kernel__.Import.int) -> Core_kernel__.Import.unit
test_distinct_values gen
is useful for testinggen
values, to make sure they create sufficient distinct values. It testsgen
by generating up totrials
values and making sure at leastdistinct_values
of the resulting values are unique with respect tocompare
. If too few distinct values are generated,test_distinct_values
raises an exception. Ifsexp_of
is provided, the exception includes the values generated.
val random_sequence : ?seed:Quickcheck_intf.seed -> ?sizes:Core_kernel__.Import.int Sequence.t -> 'a Base_quickcheck.Generator.t -> 'a Sequence.t
random_sequence ~seed gen
produces a sequence of values chosen fromgen
.
module Configure : functor (Config : Quickcheck_config) -> Quickcheck_configured