Struct PropertyFailure 

pub struct PropertyFailure<T> {
    pub original: T,
    pub shrunk: T,
    pub failure: TestError,
    pub cases: u32,
}

A property that did not hold.

It carries the counterexample twice: original is the first generated input that failed, shrunk is the minimal failing input the shrink search reached. failure is the TestError the shrunk input produced, and cases is how many inputs ran (including the failing one) before shrinking began.

Fields

original: T

The first generated input that failed the property.

shrunk: T

The minimal failing input the shrink search reached.

failure: TestError

The failure produced by shrunk.

cases: u32

How many cases ran (including the failing one) before shrinking began.

Trait Implementations

impl<T> Debug for PropertyFailure<T>

where T: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.