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.

Search Document