From db737141a688df24c7d69e16b91530960e82190b Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 14 Dec 2020 15:53:53 +0100
Subject: [PATCH] cyccnt clarification
---
cargo_klee_examples/examples/cyccnt.rs | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/cargo_klee_examples/examples/cyccnt.rs b/cargo_klee_examples/examples/cyccnt.rs
index ddf590e..bfb8f40 100644
--- a/cargo_klee_examples/examples/cyccnt.rs
+++ b/cargo_klee_examples/examples/cyccnt.rs
@@ -188,7 +188,9 @@ fn main() {
//
// Try figure out what caused the error.
//
-// Hint, look at the generated tests and open the `abort.err` file.
+// Hint, look at the generated tests and open the `testX.abort.err` file.
+// (Each failing test comes with a corresponding error file.)
+//
// The error file contains a backtrace.
// Replay the failing test with a breakpoint set to the failing operation.
// Print the values of `start` and `end`, when hitting the breakpoint.
@@ -201,7 +203,7 @@ fn main() {
//
// [your answer here]
//
-// Why does these values cause an error debug/dev build but not in a release build.
+// Why does these values cause an error debug/dev build but not in a release build?
//
// [your answer here]
//
--
GitLab