tla-checker-0.6.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

tla-checker 0.6.0

A TLA+ model checker written in Rust

Crate
Source
Builds
Feature flags

..
mod.rs
runner.rs
schema.rs

pub mod runner;
pub mod schema;

pub const SCHEMA_VERSION: &str = "1";