Struct ConfAndGen 

pub struct ConfAndGen<E>
where
    E: Clone,
{
    pub conf: Conf,
    pub generator: BoxGen<E>,
    pub title: Option<String>,
}

Configuration for executing monkey tests, including the generator.

Fields

conf: Conf

The configuration to use.

generator: BoxGen<E>

See Conf::with_generator.

title: Option<String>

See ConfAndGen::title.

Implementations

impl<E> ConfAndGen<E>

where E: Debug + UnwindSafe + Clone + 'static,

pub fn test_true(&self, prop: Property<E>) -> MonkeyResult<E>

where E: Debug + UnwindSafe,

Check that the property returns true for all generated example values. It returns a MonkeyResult to indicate success or failure.

pub fn test_property(&self, prop: Property<E>) -> MonkeyResult<E>

👎Deprecated: Use ConfAndGen.test_true instead

This function is deprecated, due to name change, aligning names of different asserts and tests. Use ConfAndGen::test_true instead.

pub fn assert_true(&self, prop: Property<E>) -> &ConfAndGen<E>

Check that the property holds for all generated example values. It panics on failure.

pub fn assert_no_panic(&self, prop: fn(E)) -> &ConfAndGen<E>

Check that the property do not panic for any generated example values. It panics on failure.

pub fn assert_eq<D>( &self, expected: fn(E) -> D, actual: fn(E) -> D, ) -> &ConfAndGen<E>

where D: Debug + PartialEq,

Check that the two from example derived values, expected and actual, equals each other.

pub fn assert_ne<D>( &self, expected: fn(E) -> D, actual: fn(E) -> D, ) -> &ConfAndGen<E>

where D: Debug + PartialEq,

Check that the two from example derived values, expected and actual, do not equals each other.

pub fn with_shrinker(&self, shrink: BoxShrink<E>) -> ConfAndGen<E>

Add/change which shriker to use when a failing example is found.

pub fn title(&self, title: &str) -> ConfAndGen<E>

Add or change title of all following asserts. The title is used for naming the failed property assert. The title is used on all following properties, until other title is set.

Trait Implementations

impl<E> Clone for ConfAndGen<E>

where E: Clone + Clone,

fn clone(&self) -> ConfAndGen<E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.