Exercise B and C

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: