package popper

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Types
Options
1. Combinators

package popper

popper
- Popper
  - Comparator
  - Config
  - Consumed
  - Proposition
  - Sample
    
    Array
    
    Float
    
    Int
    
    List
    
    String
    
    Syntax
    
    Tuple
  - Test

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.