package popper

  1. Overview
  2. Docs

Module Popper.ConfigSource

Types

Sourcetype t

Options

Sourceval num_samples : int -> t

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

Sourceval seed : int list -> t

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

Sourceval verbose : t

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

Sourceval 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.

Sourceval 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

Sourceval 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.