machine-check-gui 0.7.1

Utility crate for the formal verification tool machine-check
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use super::View;

mod fields;
mod log;
mod properties;

pub fn display(view: &View) {
    log::display(view);
    fields::display(view);
    properties::display(view);
}