Module modelator::step_runner [−][src]
Expand description
A runner for steps obtained from Json traces
Traits
A StepRunner
drives a SUT by executing a series of steps
(see crate::ModelatorRuntime::run_tla_steps
).
A runner for steps obtained from Json traces
A StepRunner
drives a SUT by executing a series of steps
(see crate::ModelatorRuntime::run_tla_steps
).