Index of values

Synonym to QCheck.Gen.int_range

Synonym to QCheck.int_range

Infix operator for composing a function generator and an argument generator into a result generator

Synonym to QCheck.Iter.append

b1 ==> b2 is the logical implication b1 => b2 ie not b1 || b2 (except that it is strict and will interact better with QCheck.Test.check_exn and the likes, because they will know the precondition was not satisfied.).

Same as OUnit.>::: but with a list of QCheck tests

Monadic bind for writing dependent generators.

An infix synonym for QCheck.Gen.map

Always return the same element

Shrink an array.

Builds an array generator from an element generator.

generates arrays with length generated by small_int

generates arrays with length from the given distribution

array_repeat i g builds an array generator from exactly i elements generated by g

Builds an array generator from a (non-negative) size generator and an element generator

assume cond checks the precondition cond, and does nothing if cond=true.

assume_fail () is like assume false, but can take any type since we know it always fails (like assert false).

The Boolean generator

uniform boolean generator

Generates characters upto character code 255

Uniformly distributed on all the chars (not just ascii or valid latin-1)

check ~rand test generates up to count random values of type 'a using arbitrary and the random state st.

Same as QCheck.Test.check_cell but calls QCheck.Test.check_result on the result.

Same as QCheck.Test.check_cell but calls QCheck.Test.check_result on the result.

check_result cell res checks that res is Ok _, and returns unit.

Choose among the given list of generators.

Fixpoint combinator for generating recursive, size-bounded data types.

Generates floating point numbers

generates regular floats (no nan and no infinities)

Constructs a generator that selects among a given list of generators.

Similar to QCheck.oneof but with frequencies

Constructs a generator that selects among a given array of values.

Same as QCheck.frequencyl, but with an array

Constructs a generator that selects among a given list of values.

Same as QCheck.oneofl, but each element is paired with its frequency in the probability distribution (the higher, the more likely)

generator of functions of arity 1.

generator of functions of arity 2.

generate ~n g generates n instances of g

generate1 g generates one instance of g

Generates integers uniformly

int generator.

int32 generator.

int generator.

Uniform integer generator producing integers within 0... bound.

int_bound n is uniform between 0 and n included

Uniform integer generator producing integers within low,high

int_range a b is uniform between a and b included.

Collapses a generator of generators to simply a generator.

Try to shrink lists by removing elements one by one.

Builds a list generator from an element generator.

generates lists with length generated by small_int

generates lists with length from the given distribution

list_repeat i g builds a list generator from exactly i elements generated by g

Builds a list generator from a (non-negative) size generator and an element generator

make arb prop builds a test that checks property prop on instances of the generator arb.

Builder for arbitrary.

make arb prop builds a test that checks property prop on instances of the generator arb.

map f g transforms a generator g by applying f to each generated element

map f a returns a new arbitrary instance that generates values using a#gen and then transforms them through f.

map f g1 g2 transforms two generators g1 and g2 by applying f to each pair of generated elements

map f g1 g2 g3 transforms two generators g1, g2, and g3 by applying f to each triple of generated elements

map f g transforms a generator g by applying f to each generated element.

map_keep_input f a generates random values from a, and maps them into values of type 'b using the function f, but it also keeps the original value.

Specialization of map when the transformation preserves the type, which makes shrinker, printer, etc.

Generates small natural numbers

negative float generator (no nan and no infinities)

Generates negative integers

negative int generator.

Generates negative floating point numbers

No shrink

Generates numeral characters

uniformy distributed over '0'..'9'

generates strings with a distribution of length of small_int and distribution of characters of numeral_char

generates strings with a distribution of characters of numeral_char

Constructs a generator that selects among a given list of generators

Pick a generator among the list, randomly

Constructs a generator that selects among a given array of values

Pick an element randomly in the array

Constructs a generator that selects among a given list of values

Pick an element randomly in the list

An option generator

choose between returning Some random value, or None

Generates pairs

combines two generators into a generator of pairs

Generates positive floating point numbers

Generates positive integers uniformly

positive float generator (no nan and no infinities)

positive int generator.

Generates printable characters

uniformly distributed over a subset of chars

generates strings with a distribution of length of small_int and distribution of characters of printable_char

generates strings with distribution of characters of printable_char

Generates quadruples

combines four generators into a generator of 4-tuples

Access the current random state

Create a constant generator

run test runs the test, and returns an error code that is 0 if all tests passed, 1 otherwise.

TAP-compatible test runner, in case we want to use a test harness.

Run a suite of tests, and print its results.

Can be used as the main function of a test file.

Change the QCheck_runner.random_state by creating a new one, initialized with the given seed.

Change the value of verbose ()

Shuffle the array in place

Creates a generator of shuffled lists

Create a generator from a size-bounded generator by first generating a size using QCheck.Gen.nat and passing the result to the size-bounded generator

Create a generator from a size-bounded generator by first generating a size using the integer generator and passing the result to the size-bounded generator

Small signed integers (not just QCheck.Gen.nat)

Small signed integers.

As small_int, but each newly created generator starts with a list of corner cases before falling back on random generation.

Synonym to QCheck.Gen.nat

Small unsigned integers

Builds a string generator.

Same as QCheck.string but with a small length (that is, 0--10)

Builds a string generator.

generates strings with a distribution of length of small_int and distribution of characters of char

generates strings with a distribution of length of small_int

generates strings with distribution of characters if char

Builds a string generator from a (non-negative) size generator.

to_ounit2_test ?rand t wraps t into a OUnit2 test

to_ounit2_test_list ?rand t like to_ounit2_test but for a list of tests

to_ounit_test ~rand t wraps t into a OUnit test

Same as QCheck_runner.to_ounit_test but with a polymorphic test cell

Generates triples

combines three generators into a generator of 3-tuples

Generates (unsigned) int32 values

Generates (unsigned) int64 values

The unit generator

always generates (), obviously.

Is the default mode verbose or quiet?