Module proptest::test_runner [−][src]
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 |
Reason |
The reason for why something, such as a generated value, was rejected. |
TestRng |
Proptest's random number generator. |
TestRunner |
State used when running a proptest test. |
Enums
FileFailurePersistence |
Describes how failing test cases are persisted. |
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. |
Traits
FailurePersistence |
Provides external persistence for historical test failures by storing seeds. |
Type Definitions
TestCaseResult |
Convenience for the type returned by test cases. |