From be39debc79a898a842c77d7e42fd59c1bc5c0cd1 Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Mon, 14 Dec 2020 22:32:18 +0100
Subject: [PATCH] Exercise A and B
---
cargo_klee_examples/examples/get_sign.rs | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/cargo_klee_examples/examples/get_sign.rs b/cargo_klee_examples/examples/get_sign.rs
index 0136817..3909b24 100644
--- a/cargo_klee_examples/examples/get_sign.rs
+++ b/cargo_klee_examples/examples/get_sign.rs
@@ -52,7 +52,7 @@ fn main() {
//
// Now locate the generated tests. Give the relative path to `klee-last`.
//
-// [your answer here]
+// [target/debug/examples/klee-last/]
//
// B) Replay test cases
//
@@ -66,7 +66,7 @@ fn main() {
//
// What path of the program does this path trigger?
//
-// [your answer here]
+// [return -1;]
//
// Just out of curiosity, you may test the other test cases as well...
//
@@ -76,7 +76,7 @@ fn main() {
//
// How does `klee-sys` and `cargo-klee` score on a 0..5 scale?
//
-// [your answer here]
+// [5]
//
// If below 5, what could be done to improve the UX/IX?
//
--
GitLab