machine-check 0.6.1

Formal verification tool for digital systems
Documentation 
1
2
3
4
5
6
7

#[machine_check_macros::machine_description]
mod machine {
    #[::machine_check_arbitrary]
    struct A {}
}

fn main() {}