Module proptest::test_runner
source · Expand description
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
Configuration for how a proptest test should be run.
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.The reason for why something, such as a generated value, was rejected.
Proptest’s random number generator.
State used when running a proptest test.
Enums
Describes how failing test cases are persisted.
Errors which can be returned from test cases to indicate non-successful
completion.
A failure state from running test cases for a single test.
Traits
Provides external persistence for historical test failures by storing seeds.
Type Definitions
Convenience for the type returned by test cases.