From d9822a3f1cc7c603f4ba487593d7e4f8ab7d7ae7 Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Thu, 17 Dec 2020 16:32:06 +0100
Subject: [PATCH] get_sign.rs DONE
---
cargo_klee_examples/examples/get_sign.rs | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/cargo_klee_examples/examples/get_sign.rs b/cargo_klee_examples/examples/get_sign.rs
index 3909b24..a0f1007 100644
--- a/cargo_klee_examples/examples/get_sign.rs
+++ b/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"
--
GitLab