Exercise A and 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?
 //