cleaning

klee-examples/src/peripheral.rs

@@ -17,16 +17,13 @@ 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 {
+        dwt.ctrl.write(0);
+    }
+    if dwt.ctrl.read() == 0 {
+        if dwt.ctrl.read() == 0 {
+            klee::abort();
+        };
+    };
 
-    // unsafe {
-    //     ptr::read_volatile(&dwt);
-    // }
 }