From 72e45f3d9b8edc4f102f2ac59d87d2ea109b19a2 Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Thu, 17 Dec 2020 10:56:42 +0100
Subject: [PATCH] Exercise B and C
---
cargo_klee_examples/examples/cyccnt.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/cargo_klee_examples/examples/cyccnt.rs b/cargo_klee_examples/examples/cyccnt.rs
index f6e0135..bc036db 100644
--- a/cargo_klee_examples/examples/cyccnt.rs
+++ b/cargo_klee_examples/examples/cyccnt.rs
@@ -19,7 +19,7 @@ fn main() {
let end = core.DWT.cyccnt.read();
- // let _time = end.wrapping_sub(start);
+ let _time = end.wrapping_sub(start);
}
// A) Running KLEE on embedded code:
--
GitLab