machine-check-hw 0.7.1

System crate for machine-check for verification of BTOR2 files
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

use camino::Utf8Path;

use crate::CheckError;

mod btor2;

pub fn translate(system_path: &Utf8Path) -> std::result::Result<syn::File, CheckError> {
    let Some(extension) = system_path.extension() else {
        return Err(CheckError::SystemType(String::from("(no extension)")));
    };

    match extension {
        "btor2" => btor2::translate(system_path),
        _ => Err(CheckError::SystemType(format!("{:?}", extension))),
    }
}