Struct Execution 

pub struct Execution { /* private fields */ }

An Execution encapsulates a single run of a function under test against a chosen scheduler. Its only useful method is Execution::run, which executes the function to completion.

The key thing that an Execution manages is the ExecutionState, which contains all the mutable state a test’s tasks might need access to during execution (to block/unblock tasks, spawn new tasks, etc). The Execution makes this state available through the EXECUTION_STATE static variable, but clients get access to it by calling ExecutionState::with.

Implementations

impl Execution

pub fn new( scheduler: Rc<RefCell<dyn Scheduler>>, initial_schedule: Schedule, ) -> Self

Construct a new execution that will use the given scheduler. The execution should then be invoked via its run method, which takes as input the closure for task 0.

impl Execution

pub fn run<F>(self, config: &Config, f: F, caller: &'static Location<'static>)

where F: FnOnce() + Send + 'static,

Run a function to be tested, taking control of scheduling it and any tasks it might spawn. This function runs until f and all tasks spawned by f have terminated, or until the scheduler returns None, indicating the execution should not be explored any further.

Trait Implementations

impl Debug for Execution

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

Formats the value using the given formatter.