Module modelator::step_runner

source · [−]
Expand description

A runner for steps obtained from Json traces

Traits

StepRunner

A StepRunner drives a SUT by executing a series of steps (see crate::ModelatorRuntime::run_tla_steps).