= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && true">
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.