From f7a47b34a01130ea29748afc6c80bb03ad6b044d Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Wed, 16 Dec 2020 22:59:22 +0100
Subject: [PATCH] Exercise A
---
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 bfb8f40..470db78 100644
--- a/cargo_klee_examples/examples/cyccnt.rs
+++ b/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?
//
--
GitLab