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

use crate::{frontend::util::web_idl::setup_interval, shared::Request};

use super::{issue_command, lock_view};

pub fn init() {
    setup_interval(
        Box::new(move |_| {
            wasm_bindgen_futures::spawn_local(tick());
        }),
        10,
    );
}

async fn tick() {
    // if the backend is not waiting, query to see when it finishes
    let backend_waiting = {
        let view_guard = lock_view();
        view_guard.as_ref().backend_info().status.is_waiting()
    };

    if !backend_waiting {
        issue_command(Request::Query).await;
    }
}