Skip to content
Snippets Groups Projects
Commit e280fa1f authored by Edvin Åkerfeldt's avatar Edvin Åkerfeldt
Browse files

cargo_klee_examples/examples/get_sign.rs, All tasks done.

parent 774f64b7
No related branches found
No related tags found
No related merge requests found
......@@ -53,6 +53,9 @@ fn main() {
// Now locate the generated tests. Give the relative path to `klee-last`.
//
// [your answer here]
/*
target/debug/examples/klee-last
*/
//
// B) Replay test cases
//
......@@ -67,6 +70,9 @@ fn main() {
// What path of the program does this path trigger?
//
// [your answer here]
/*
The path with a negative number.
*/
//
// Just out of curiosity, you may test the other test cases as well...
//
......@@ -77,10 +83,16 @@ fn main() {
// How does `klee-sys` and `cargo-klee` score on a 0..5 scale?
//
// [your answer here]
/*
5
*/
//
// If below 5, what could be done to improve the UX/IX?
//
// [your answer here]
/*
*/
//
// C) Inner workings.
//
......@@ -92,6 +104,9 @@ fn main() {
// What modules in `klee-sys` does this feature enable?
//
// [your answer here]
/*
The lib_klee_analysis.rs module.
*/
//
// Have a look at the source code of `cargo klee`.
// (The actual sub-command is in the folder `cargo-klee`.)
......@@ -100,6 +115,10 @@ fn main() {
// Which one will it pick, and why?
//
// [your answer here]
/*
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
*/
//
// Actually this is one of the "bad seeds" in the internal design.
// Seems there is no "stable" way of controlling/retrieving the "metadata"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment