Struct Runner 

pub struct Runner { /* private fields */ }

Implementation of crate::Runner for the deterministic runtime.

Implementations

impl Runner

pub fn new(cfg: Config) -> Self

Initialize a new deterministic runtime with the given seed and cycle duration.

pub fn seeded(seed: u64) -> Self

Initialize a new deterministic runtime with the default configuration and the provided seed.

pub fn timed(timeout: Duration) -> Self

Initialize a new deterministic runtime with the default configuration but exit after the given timeout.

pub fn start_and_recover<F, Fut>(self, f: F) -> (Fut::Output, Checkpoint)

where F: FnOnce(Context) -> Fut, Fut: Future,

Like crate::Runner::start, but also returns a Checkpoint that can be used to recover the state of the runtime in a subsequent run.

Trait Implementations

impl Default for Runner

fn default() -> Self

Returns the “default value” for a type.

impl From<Checkpoint> for Runner

fn from(checkpoint: Checkpoint) -> Self

Converts to this type from the input type.

impl From<Config> for Runner

fn from(cfg: Config) -> Self

Converts to this type from the input type.

impl Runner for Runner

type Context = Context

Context defines the environment available to tasks. Example of possible services provided by the context include:

fn start<F, Fut>(self, f: F) -> Fut::Output

where F: FnOnce(Self::Context) -> Fut, Fut: Future,

Start running a root task.