dwt.rs

#![no_std]
#![no_main]

#[macro_use]
extern crate klee;

extern crate cortex_m;

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

#[no_mangle]
fn main() {
    let mut 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();
        };
    };

    unsafe {
        ptr::read_volatile(&dwt);
    }
}