Module Test.ConfigSource

Sourcemodule Seed : sig ... end
Sourcetype t = {
  1. seed : Seed.t;
    (*

    seed is used to initialize the pseudo-random state before running tests of a property.

    *)
  2. test_count : Base.int;
    (*

    test_count determines how many random values to test a property with.

    *)
  3. shrink_count : Base.int;
    (*

    shrink_count determines the maximum number of attempts to find a smaller version of a value that fails a test.

    *)
  4. sizes : Base.int Base.Sequence.t;
    (*

    sizes determines the progression of value sizes to generate while testing. Testing fails if sizes is not of length at least test_count.

    *)
}
Sourceval shrink_count : t -> Base.int
Sourceval test_count : t -> Base.int
Sourceval seed : t -> Seed.t
Sourcemodule Fields : sig ... end
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t