mck-0.7.1
Platform
Feature flags

docs.rs

Rust

mck 0.7.1

Utility crate for the formal verification tool machine-check

Crate
Source
Builds
Feature flags

..
array
bitvector
boolean
traits
value
array.rs
bitvector.rs
boolean.rs
lib.rs
panic.rs
traits.rs
value.rs

1
2
3

pub mod abstr;
pub mod concr;
pub mod refin;