Module type Reins.Quickcheck.Config

module type Config = sig .. end

val num_iterations : int

This value determines how many inputs will be passed to the Reins.Quickcheck.Law.law function. Values that are signaled to be trivial are not counted.

val size_arg : int option

This value is passed as the option size paramter to the function Reins.Types.Mono.Arbitrary.gen when generating input for a law.

val max_trivial_percentage : float

This value determines how many inputs are allowed to be classified as trivial before giving up and classifying the law as failed. The value should be in the range [0\.0,1\.0)