Trait modelator::step_runner::StepRunner

pub trait StepRunner<Step: DeserializeOwned + Debug + Clone> {
    fn initial_step(&mut self, step: Step) -> Result<(), String>;
    fn next_step(&mut self, step: Step) -> Result<(), String>;

    fn run(&mut self, trace: JsonTrace) -> Result<(), TestError> { ... }
}

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

Required methods

fn initial_step(&mut self, step: Step) -> Result<(), String>

Executes the first step against the runner.

fn next_step(&mut self, step: Step) -> Result<(), String>

Executes each next step against the runner.

Provided methods

fn run(&mut self, trace: JsonTrace) -> Result<(), TestError>

Run this runner on a Json trace

Implementors