Trait ModelAssert 

pub trait ModelAssert<T> {
    // Required method
    fn assert_that(&self, predicate: impl FnOnce(&T) -> bool, msg: &str);
}

Extension trait for asserting on model state

Required Methods

fn assert_that(&self, predicate: impl FnOnce(&T) -> bool, msg: &str)

Assert with a predicate

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<A: App> ModelAssert<<A as App>::Model> for TestRunner<A>