machine-check-machine 0.7.1

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

mod expr;
mod func;
mod path;
mod stmt;
mod ty;

mod description;
mod property;

fn error(msg: String, span: crate::wir::WSpan) -> crate::Error {
    crate::Error {
        ty: crate::ErrorType::IIRConversionError(msg),
        span,
    }
}