Enum proptest::test_runner::TestCaseError [−][src]
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]
impl TestCaseError
pub fn reject(
reason: impl Into<Reason>
) -> Self
[src]
pub fn reject(
reason: impl Into<Reason>
) -> Self
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}
.
pub fn fail(
reason: impl Into<Reason>
) -> Self
[src]
pub fn fail(
reason: impl Into<Reason>
) -> Self
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 Debug for TestCaseError
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Clone for TestCaseError
[src]
impl Clone for TestCaseError
fn clone(&self) -> TestCaseError
[src]
fn clone(&self) -> TestCaseError
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl Display for TestCaseError
[src]
impl Display for TestCaseError
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl<E: Error> From<E> for TestCaseError
[src]
impl<E: Error> From<E> for TestCaseError
Auto Trait Implementations
impl Send for TestCaseError
impl Send for TestCaseError
impl Sync for TestCaseError
impl Sync for TestCaseError