get_sign.rs DONE

cargo_klee_examples/examples/get_sign.rs

@@ -91,7 +91,11 @@ fn main() {
 // Try to follow the `klee-analysis` feature.
 // What modules in `klee-sys` does this feature enable?
 //
-// [your answer here]
+// [
+//  mod lib_klee_analysis;
+//  pub mod ll; // low level bindings
+//  pub use lib_klee_analysis::*; // re-export functions and macros
+// ]
 //
 // Have a look at the source code of `cargo klee`.
 // (The actual sub-command is in the folder `cargo-klee`.)
@@ -99,7 +103,7 @@ fn main() {
 // Try to figure out how the correct `.ll` file is determined.
 // Which one will it pick, and why?
 //
-// [your answer here]
+// [It will pick up the latest modified .ll file.]
 //
 // Actually this is one of the "bad seeds" in the internal design.
 // Seems there is no "stable" way of controlling/retrieving the "metadata"