From f724aded5dae907fab0f313603b0c78672d8359c Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Tue, 25 Dec 2018 22:26:55 +0100
Subject: [PATCH] cleaning
---
klee-examples/src/peripheral.rs | 19 ++++++++-----------
1 file changed, 8 insertions(+), 11 deletions(-)
diff --git a/klee-examples/src/peripheral.rs b/klee-examples/src/peripheral.rs
index 346cdfe..53d7706 100644
--- a/klee-examples/src/peripheral.rs
+++ b/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);
- // }
}
--
GitLab