IMPORTANT: To view this page as Markdown, append `.md` to the URL (e.g. /docs/manual/basics.md). For the complete Mojo documentation index, see llms.txt.
Skip to main content
Version: 1.1.0
For the complete Mojo documentation index, see llms.txt. Markdown versions of all pages are available by appending .md to any URL (e.g. /docs/manual/basics.md).

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, Deinitable, Movable

Methods​

__init__​

def __init__(out self, *, runs: Int = 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[Int]): The seed for the random number generator.
View source