machine-check 0.6.1

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

//! Tests here test the examples from the example directory
//! as well as those from the machine-check book, which are
//! in the directory examples/book/.

mod examples {
    mod book;
    mod harness;
    mod misc;
    mod standard;
}