Enum proptest::test_runner::TestCaseError
[−]
[src]
pub enum TestCaseError { Reject(Reason), Fail(Reason), }
Errors which can be returned from test cases to indicate non-successful completion.
Note that in spite of the name, TestCaseError
is currently not an
instance of Error
, since otherwise impl<E : Error> From<E>
could not be
provided.
Any Error
can be converted to a TestCaseError
, which places
Error::display()
into the Fail
case.
Variants
Reject(Reason)
The input was not valid for the test case. This does not count as a test failure (nor a success); rather, it simply signals to generate a new input and try again.
Fail(Reason)
The code under test failed the test.
Methods
impl TestCaseError
[src]
fn reject<R: Into<Reason>>(reason: R) -> Self
[src]
Rejects the generated test input as invalid for this test case. This does not count as a test failure (nor a success); rather, it simply signals to generate a new input and try again.
The string gives the location and context of the rejection, and
should be suitable for formatting like Foo did X at {whence}
.
fn fail<R: Into<Reason>>(reason: R) -> Self
[src]
The code under test failed the test.
The string should indicate the location of the failure, but may generally be any string.
Trait Implementations
impl Debug for TestCaseError
[src]
impl Clone for TestCaseError
[src]
fn clone(&self) -> TestCaseError
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Display for TestCaseError
[src]
fn fmt(&self, f: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more