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