Struct Reduction 

pub struct Reduction<C> {
    pub scenario: Scenario<C>,
    pub predicate: String,
    pub candidates: usize,
    pub before: Size,
    pub after: Size,
}

What a reduction found, and what it cost.

Fields

scenario: Scenario<C>

The smallest scenario found. It satisfies the predicate: it was run and checked.

predicate: String

What the predicate was called. Recorded because a reduction can legitimately land on a different failure than the one it started from, and the reader needs to know what was actually being hunted.

candidates: usize

How many candidates were run, the original included.

before: Size

after: Size

Implementations

impl<C> Reduction<C>

pub fn reduced(&self) -> bool

Whether the search found anything to remove.

pub fn report(&self) -> String

A summary for a test to print when it fails.

impl<C: Debug> Reduction<C>

pub fn to_rust(&self, name: &str) -> String

The reduced scenario as Rust that reconstructs it, under the report.

Trait Implementations

impl<C: Clone> Clone for Reduction<C>

fn clone(&self) -> Reduction<C>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<C: Debug> Debug for Reduction<C>

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

Formats the value using the given formatter.