Exercise A

cargo_klee_examples/examples/cyccnt.rs

@@ -166,7 +166,7 @@ fn main() {
 //
 // What do you get, and why?
 //
-// [your answer here]
+// [There are no value of start or end because both are optimized out.]
 //
 // As you should have seen, this was not particularly informative, right?
 //