machine-check-avr 0.5.0

Crate for the formal verification of AVR microcontrollers by machine-check

1
2
3

fn main() {
    machine_check_avr::execute(std::env::args());
}