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

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

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

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.

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.

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