Updated get_sign.rs

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 {