machine-check-avr 0.7.1

System crate for machine-check for verification of AVR microcontrollers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use machine_check::{Bitvector, BitvectorArray};
use machine_check_avr::ATmega328P;

fn main() {
    let hex = include_str!("basic_branch.hex");

    // fill with ones which is a reserved instruction
    let all_ones = Bitvector::new(0xFFFF);
    let mut progmem = BitvectorArray::new_filled(all_ones);

    machine_check_avr::read_hex_into_progmem(&mut progmem, hex);

    let system = ATmega328P { PROGMEM: progmem };
    machine_check::run(system);
}