Module Core_kernel.Quickcheck_intf
Quickcheck is a library that uses predicate-based tests and pseudo-random inputs to automate testing.
For examples see lib/core/example/quickcheck.
module type Generator = sig ... end
module type Deriving_hash = sig ... end
module type Observer = sig ... end
module type Shrinker = sig ... end
module type S = sig ... end
module type S1 = sig ... end
module type S2 = sig ... end
module type S_range = sig ... end
module type S_int = sig ... end
type seed
=[
|
`Deterministic of Core_kernel__.Import.string
|
`Nondeterministic
]
seed
specifies how to initialize a pseudo-random number generator. When multiple tests share a deterministic seed, they each get a separate copy of the random generator's state; random choices in one test do not affect those in another. The nondeterministic seed causes a fresh random state to be generated nondeterministically for each test.
type shrink_attempts
=[
|
`Exhaustive
|
`Limit of Core_kernel__.Import.int
]
module type Quickcheck_config = sig ... end
module type Quickcheck_configured = sig ... end
module type Syntax = sig ... end
Includes
Let_syntax
fromMonad.Syntax
. SetsOpen_on_rhs
to be all ofGenerator
, except that it does not shadowLet_syntax
itself. BothGenerator
andOpen_on_rhs
are meant to be destructively assigned.
module type Quickcheck = sig ... end