Struct ConcurrentInvariant 

pub struct ConcurrentInvariant<M: ?Sized> {
    pub name: String,
    pub apply: fn(&M, TestCase),
}

An invariant of a ConcurrentStateMachine, checked on the main thread at every join point — between rounds of concurrent rule execution, while all worker threads are parked.

Fields

name: String

apply: fn(&M, TestCase)

Implementations

impl<M> ConcurrentInvariant<M>

pub fn new(name: &str, apply: fn(&M, TestCase)) -> Self

Create a new invariant with a name and an apply function.