Crate modelator

modelator is a framework for model-based testing.

Re-exports

pub use datachef::Recipe;

pub use event::ActionHandler;

pub use event::Event;

pub use event::EventRunner;

pub use event::EventStream;

pub use event::StateHandler;

pub use step_runner::StepRunner;

Modules

artifact

List of artifacts.

cli

Command-line interface.

datachef

Datastructure converter. Allows to define conversion rules to make (cook) concrete data-structures from the abstract ones for testing purposes.

event

A framework for event-based testing of message-passing systems with possibly partitioned system state.

model

Model checkers and languages.

step_runner

A runner for steps obtained from Json traces

test_util

Testing utilities

tester

Provides the way to run sets of test functions on several kinds of test inputs.

Structs

ModelatorRuntime

Set of options to configure modelator runtime.

TestReport

Wraps the data from running test(s), allowing more convenient access to the results.

Enums

Error

Set of possible errors that can occur when running modelator.

TestError

Set of possible errors that can occur when running a test using modelator.