machine-check 0.7.1

Formal verification tool for digital systems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#[machine_check_macros::machine_description]
mod machine {
    use ::std::clone::Clone;

    struct A {}

    impl A {
        fn x() -> ::machine_check::Bitvector<1> {
            let a = ::machine_check::Bitvector::<1>::new(0);
            Clone::clone(&a)
        }
    }
}

fn main() {}