peripheral.rs

#![no_std]
#![no_main]

#[macro_use]
extern crate klee;

#[cfg(not(feature = "klee-analysis"))]
extern crate panic_abort;

extern crate cortex_m;

use core::ptr;
use cortex_m::peripheral::Peripherals;

#[no_mangle]
fn main() {
    let peripherals = Peripherals::take().unwrap();
    let mut dwt = peripherals.DWT;
    dwt.enable_cycle_counter();
    unsafe {
        dwt.ctrl.write(0);
    }
    if dwt.ctrl.read() == 0 {
        if dwt.ctrl.read() == 0 {
            klee::abort();
        };
    };

}