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
12
13
14
15
16
17
18
19
20
21
22
23
24

/// Logs to the frontend developer console.
#[macro_export]
macro_rules! console_log {
    ($($arg:tt)*) => {
        let a = ::std::format!($($arg)+);
        let cons = ::web_sys::js_sys::Array::new_with_length(1);
        cons.set(0, ::wasm_bindgen::JsValue::from_str(&a));
        ::web_sys::console::log(&cons);
    };
}

mod client;
mod tiling;
mod util;
mod view;

use wasm_bindgen::prelude::*;

#[wasm_bindgen]
pub async fn exec() {
    std::panic::set_hook(Box::new(console_error_panic_hook::hook));

    client::init().await;
}