diff --git a/cargo_klee_examples/examples/get_sign.rs b/cargo_klee_examples/examples/get_sign.rs index 0136817566cb8889edf91cad2deb35087e76ea0b..3909b2465e74a513805a558c4e79dc4861d7c730 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? //