Struct SimTest 

pub struct SimTest { /* private fields */ }

Builder for one seeded test. See the module docs.

Implementations

impl SimTest

pub fn new() -> Self

pub fn named(self, package: &str, module: &str, function: &str) -> Self

Where the test lives, for the replay command: the package name, the test’s module_path!() and its function name.

pub fn seeds(self, seeds: Range<u64>) -> Self

Seeds to run under simulation (default 0..SPAWNED_SIM_SEEDS, or 0..8).

pub fn explore(self, strategy: &str) -> Self

Under simulation, choose tasks with this strategy (random, pct[:d=3][,k=N], dfs[:bound=2][,depth=N]); SPAWNED_SIM_STRATEGY overrides it. Ignored on Tokio.

pub fn iterations(self, runs: usize) -> Self

Under simulation, how many runs the strategy may spend (for random, seeds 0..n unless SimTest::seeds is set); SPAWNED_SIM_ITERATIONS overrides it. Ignored on Tokio.

pub fn multi_thread(self, workers: usize) -> Self

On Tokio, use a multi-thread runtime with workers workers (the default is a current-thread runtime, as #[tokio::test]). Ignored under simulation, which always has one thread.

pub fn run<F, Fut>(self, body: F)

where F: Fn(u64) -> Fut, Fut: Future<Output = ()>,

Trait Implementations

impl Clone for SimTest

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimTest

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

Formats the value using the given formatter.

impl Default for SimTest

fn default() -> Self

Returns the “default value” for a type.