From 42f97e92c2d7e16f2a81f33dc3e6d281666788cb Mon Sep 17 00:00:00 2001
From: Blinningjr <nicke.l@telia.com>
Date: Tue, 15 Dec 2020 16:03:08 +0100
Subject: [PATCH] Updated my cyccnt answer
---
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 c565c2d..bbc93f1 100644
--- a/cargo_klee_examples/examples/cyccnt.rs
+++ b/cargo_klee_examples/examples/cyccnt.rs
@@ -232,7 +232,7 @@ fn main() {
// [your answer here]
// I switch the subtraction to a wrapping one this will remove the error. I choose this solution
// because it is short and easy to implement. It also calculates the correct diff value as long as
-// end has not wrapped around more then once.
+// it is not larger or equal to 2^32.
//
// D) Learning outcomes and major takeaways.
//
--
GitLab