tla-checker 0.3.9

A TLA+ model checker written in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

pub mod ast;
pub mod checker;
pub mod config;
pub mod diagnostic;
pub mod eval;
pub mod export;
pub mod graph;
#[cfg(not(target_arch = "wasm32"))]
pub mod interactive;
pub mod lexer;
pub mod liveness;
#[cfg(not(target_arch = "wasm32"))]
pub mod modules;
pub mod parser;
pub mod scc;
pub mod scenario;
pub mod source;
pub mod span;
pub mod stdlib;
pub mod substitution;
pub mod symmetry;
#[cfg(feature = "wasm")]
pub mod wasm;

pub use diagnostic::{Diagnostic, Severity};
pub use eval::{
    CheckerStats, ResolvedInstances, reset_tlc_state, set_checker_level, set_random_seed,
    update_checker_stats,
};
#[cfg(feature = "profiling")]
pub use eval::{
    ProfilingStats, get_profiling_stats, report_profiling_stats, reset_profiling_stats,
};
pub use source::Source;
pub use span::{Span, Spanned};