Module test_runner

State and functions for running proptest tests.

You do not normally need to access things in this module directly except when implementing new low-level strategies.

Structs

• Config
  Configuration for how a proptest test should be run.
• MapFailurePersistence
  Failure persistence option that loads and saves seeds in memory on the heap. This may be useful when accumulating test failures across multiple TestRunner instances for external reporting or batched persistence.
• PersistedSeed
  Opaque struct representing a seed which can be persisted.
• Reason
  The reason for why something, such as a generated value, was rejected.
• ResultCacheKey
  A key used for the result cache.
• TestRng
  Proptest’s random number generator.
• TestRunner
  State used when running a proptest test.

Enums

• FileFailurePersistence
  Describes how failing test cases are persisted.
• RngAlgorithm
  Identifies a particular RNG algorithm supported by proptest.
• TestCaseError
  Errors which can be returned from test cases to indicate non-successful completion.
• TestError
  A failure state from running test cases for a single test.

Constants

• INFO_LOG
  Verbose level 1 to show failures. In state machine tests this level is used to print transitions.

Traits

• FailurePersistence
  Provides external persistence for historical test failures by storing seeds.
• ResultCache
  An object which can cache the outcomes of tests.

Functions

• basic_result_cache
  A basic result cache.
• contextualize_config
  Override the config fields from environment variables, if any are set. Without the std feature this function returns config unchanged.
• noop_result_cache
  A result cache that does nothing.

Type Aliases

• TestCaseResult
  Convenience for the type returned by test cases.