From d32e0fc4640af7b50ac48f9b1d1e415175877283 Mon Sep 17 00:00:00 2001
From: Blinningjr <nicke.l@telia.com>
Date: Tue, 15 Dec 2020 16:08:55 +0100
Subject: [PATCH] Updated get_sign.rs
---
cargo_klee_examples/examples/get_sign.rs | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/cargo_klee_examples/examples/get_sign.rs b/cargo_klee_examples/examples/get_sign.rs
index c955577..3600f27 100644
--- a/cargo_klee_examples/examples/get_sign.rs
+++ b/cargo_klee_examples/examples/get_sign.rs
@@ -53,7 +53,7 @@ fn main() {
// Now locate the generated tests. Give the relative path to `klee-last`.
//
// [your answer here]
-// klee_tutorial/cargo_klee_examples/target/debug/examples/klee-last/
+// target/debug/examples/klee-last/
//
// B) Replay test cases
//
@@ -85,7 +85,7 @@ fn main() {
//
// [your answer here]
// There are a lot of flags in the command which makes it a bit long to write. Maybe add a new
-// command for emitting llvm-ir files or maybe add a combinedflag that combines some of the flags
+// command for emitting llvm-ir files or maybe add a combined flag that combines some of the flags
// into one.
//
// C) Inner workings.
@@ -98,7 +98,7 @@ fn main() {
// What modules in `klee-sys` does this feature enable?
//
// [your answer here]
-// ll and lib_klee_analysis
+// Modules ll and lib_klee_analysis
//
// // re-exports for klee-analysis
// #[cfg(feature = "klee-analysis")]
@@ -116,7 +116,9 @@ fn main() {
// Which one will it pick, and why?
//
// [your answer here]
-// It does a lookup from the parent file ".."
+// It does a lookup from the parent file(../) of the example file(which is in
+// target/debug/examples or target/release/examples) and searches for the
+// most recent modified *.ll file.
//
// The Related code:
// let mut path: PathBuf = if is_example {
--
GitLab