package popper

  1. Overview
  2. Docs

Types

type t

Options

val num_samples : int -> t

num_samples n is a configuration that specifies the number of samples to explore for property based tests.

val seed : int list -> t

seed s is a configuration that sets the seed to be used when running tests.

val verbose : t

verbose is a configuration that turns on verbose mode. That means that all logged values will be displayed for each test.

val max_input_length : int -> t

max_input_length n is a configuration that specifies the maximum length of consumed input. Once a sample is run that exceed that length, only zeros are produced.

val max_size : int -> t

max_size n sets the maximum size parameter to be used when running tests. The default value is 100. With a large size paratmer, larger values are typically sampled.

Combinators

val all : t list -> t

all cs combines all configuration options cs. In case there are overlaps, the values at the end of the list take precedence.