llzk 0.5.0

Rust bindings to the LLZK C API.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

use log::LevelFilter;
use simplelog::{Config, TestLogger};

#[macro_export]
macro_rules! assert_test {
    ($op:expr, $module:expr, @file $expected:literal ) => {{
        verify_operation_with_diags(&$op).unwrap();
        log::info!("Op passed verification");
        mlir_testutils::assert_module_eq_to_file!(&$module, $expected);
        log::info!("Module matches expected output");
    }};
}

pub fn setup() {
    let _ = TestLogger::init(LevelFilter::Debug, Config::default());
}