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.
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
The reason for why something, such as a generated value, was rejected.
A key used for the result cache.
Proptest's random number generator.
State used when running a proptest test.
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.
Provides external persistence for historical test failures by storing seeds.
An object which can cache the outcomes of tests.
A basic result cache.
A result cache that does nothing.
Convenience for the type returned by test cases.