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 Pre_int : sig ... end

module type S : sig ... end

module type S1 : sig ... end

module type S2 : 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 Quickcheck : sig ... end