Skip to content
Snippets Groups Projects
Select Git revision
  • 93adf16b497fda766f304a8325424fdad5df7698
  • master default protected
  • stacked_borrows
  • generics_and_traits
  • crane_lift
  • spans
  • rust_syntax
  • type_check
  • expression
  • fallible
10 results

parser.lalrpop

Blame
  • peripheral.rs 590 B
    #![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();
        //     };
        // };
    
        // unsafe {
        //     ptr::read_volatile(&dwt);
        // }
    }