machine-check 0.7.1

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

#[machine_check_macros::machine_description]
mod machine {
    #[derive(::std::clone::Clone, ::std::hash::Hash)]
    #[allow(dead_code)]
    struct A {}
}

fn main() {}