From 2ac1655de69ce8283436fa7f44dffb27a7126bfd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Edvin=20=C3=85kerfeldt?= <Edvin Ã…kerfeldt>
Date: Wed, 16 Dec 2020 17:20:42 +0100
Subject: [PATCH] cargo_klee_examples/examples/get_sign.rs, Answer to review ->
 Updated answers for C

---
 cargo_klee_examples/examples/get_sign.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/cargo_klee_examples/examples/get_sign.rs b/cargo_klee_examples/examples/get_sign.rs
index 7a01c29..f1e11dc 100644
--- a/cargo_klee_examples/examples/get_sign.rs
+++ b/cargo_klee_examples/examples/get_sign.rs
@@ -106,6 +106,7 @@ The path with a negative number.
 // [your answer here]
 /*
 The lib_klee_analysis.rs module.
+It also uses the ll module for low level bindings.
 */
 //
 // Have a look at the source code of `cargo klee`.
@@ -118,6 +119,9 @@ The lib_klee_analysis.rs module.
 /*
 The program simply looks for the file that was the last to be modified
 See: https://gitlab.henriktjader.com/pln/cargo-klee/-/blob/master/cargo-klee/src/main.rs#L211
+
+One can further notice that it starts the search for *.ll file from the parent directory to the example file (--> this file <--).
+The parent folder is found by quering the cargo project.
 */
 //
 // Actually this is one of the "bad seeds" in the internal design.
-- 
GitLab