Enum MonkeyResult 

pub enum MonkeyResult<E> {
    MonkeyOk(),
    MonkeyErr {
        minimum_failure: E,
        original_failure: E,
        some_other_failures: Vec<E>,
        success_count: u64,
        shrink_count: u64,
        seed: u64,
        title: Option<String>,
        reason: String,
    },
}

Result summary from evaluation of a property tested.

Variants

MonkeyOk()

A successful monkey test result.

MonkeyErr

A failed monkey test result.

Fields

minimum_failure: E

The minimum example found that disproves the property. In case a shinker is provided, this is the shrunken failure example, possibly separate from original failure. In other cases the same as original failure.

original_failure: E

The original (first found) example that disproves the property.

some_other_failures: Vec<E>

Other examples that also disproves the property. In case a shinker is provided, this vector is populated with non-minimum values found as part of the shrinking process of the original failure example. Some found failures may be exluded from list if many failure examples are found

success_count: u64

Successful example count tried before finding a failure.

shrink_count: u64

Number of examples used when trying to shrink original failure example.

seed: u64

The seed used for generating the examples. Can be useful for reproducing the failed test run.

title: Option<String>

Optional title of the failed property.

reason: String

Reason for the failed propert. This reason is from the minimum failure example. Other failures can have other reasons not shown here.

Implementations

impl<E> MonkeyResult<E>

pub fn assert_minimum_failure(&self, expected_minimum_failure: E) -> &Self

where E: Debug + PartialEq,

Verify that the result is a failure and that the minimum failure equals given argument expected_minimum_failure.

Panics

The function panics if there is not a failure result matching expected_minimum_failue.

Trait Implementations

impl<E: Debug> Debug for MonkeyResult<E>

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

Formats the value using the given formatter.

impl<E: PartialEq> PartialEq for MonkeyResult<E>

fn eq(&self, other: &MonkeyResult<E>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<E> StructuralPartialEq for MonkeyResult<E>