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.

Reason

The reason for why something, such as a generated value, was rejected.

TestRunner

State used when running a proptest test.

Enums

FailurePersistence

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.

Type Definitions

TestCaseResult

Convenience for the type returned by test cases.