modelator 0.4.2

A framework and tools for model-based testing.
Documentation 
1
2
3
4
5

/// TLA+ language
mod tla;

/// Re-exports.
pub use tla::Tla;