machine-check-gui 0.7.1

Utility crate for the formal verification tool machine-check
Documentation 
1
2
3
4
5
6
7

pub mod keyboard;
pub mod mouse;

pub fn init() {
    keyboard::init();
    mouse::init();
}