PropTestConfig

struct PropTestConfig

A configuration for a property test.

Fields

• ​runs (Int): The number of successful test runs to achieve before stopping the test.
• ​seed (Int): The seed for the random number generator.

Implemented traits

AnyType, Copyable, ImplicitlyDestructible, Movable

Methods

__init__

__init__(out self, *, runs: Int = 100, seed: Optional[Int] = None)

Construct a new property test configuration.

Args:

• ​runs (Int): The number of successful test runs to achieve before stopping the test.
• ​seed (Optional): The seed for the random number generator.