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

..
input.rs
mod.rs
present.rs
render.rs
repl.rs
serialize.rs
state.rs

pub(super) use crate::trace_io::{json_to_state, state_to_json};