Up

Module Quickcheck_intf = Async_kernel.Async_quickcheck_intf

Signature

include Core_kernel.Std.Quickcheck_intf
module Sexp = Sexplib.Sexp

For Quickcheck overview see: http://docs/programming/unit-testing/quickcheck.html

module type Generator = 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_bounded = sig .. end
type seed = [
| `Deterministic of 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 int
]
module type Quickcheck_config = sig .. end
module type Quickcheck_configured = sig .. end
module type Quickcheck = sig .. end
module type Quickcheck_async_configured = sig .. end