qcheck/qtest/config
This module provides the configuration for the property-based testing.
Types
Configuration for the property-based testing.
test_count
: The number of tests to run for each property.max_retries
: The number of times to retry the tested property while shrinking.random_seed
: The seed for the random generator.
pub type Config {
Config(test_count: Int, max_retries: Int, random_seed: Seed)
}
Constructors
-
Config(test_count: Int, max_retries: Int, random_seed: Seed)
Functions
pub fn default() -> Config
default()
returns the default configuration for the property-based testing.
pub fn with_max_retries(
config: Config,
max_retries: Int,
) -> Config
with_max_retries()
returns a new configuration with the given max retries.
pub fn with_random_seed(
config: Config,
random_seed: Seed,
) -> Config
with_random_seed()
returns a new configuration with the given random seed.
pub fn with_test_count(config: Config, test_count: Int) -> Config
with_test_count()
returns a new configuration with the given test count.