Skip to main content

run_with_seed

Function run_with_seed 

Source
pub fn run_with_seed<'t, F>(
    config: SchedulerConfig,
    seed: SchedSeed,
    setup: F,
) -> (RunOutcome, SchedTrace)
where F: FnOnce(&mut Scheduler<'t>),
Expand description

Run setup (which spawns tasks and creates channels) under a fresh recording scheduler seeded by seed, returning the outcome and the scheduling trace.