diff --git a/cargo_klee_examples/examples/get_sign.rs b/cargo_klee_examples/examples/get_sign.rs index 7a01c29e2fc10c410730e1cbcde53f3890ca113c..f1e11dc6ea8c2cf52f0859e1353b99947d4dbe1a 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.