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 `TestRunner` instances for external reporting or batched persistence.
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.

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.

Provides external persistence for historical test failures by storing seeds.

Convenience for the type returned by test cases.