diff --git a/examples/get_sign.rs b/examples/get_sign.rs index 7028183536f6c3441fe9b4d626c587a0b11753ca..64cc72998f7073ccc5660ef8e675b74ee0961ed0 100644 --- a/examples/get_sign.rs +++ b/examples/get_sign.rs @@ -109,6 +109,10 @@ mod ll { // What was the generated hash. // // [your answer here] +/* +The has was: +85c57be6132dac1d +*/ // // B) Inspecting the test cases. // @@ -116,6 +120,9 @@ mod ll { // (Hint, it is just a matter of paths.) // // [your answer here] +/* +$ ktest-tool target/debug/examples/klee-last/test000001.ktest +*/ // // C) Replaying your test cases. // @@ -154,14 +161,23 @@ mod ll { // Now run the code in the debugger. What path was triggered. // // [your answer here] +/* +The path with the negative number. +*/ // // Change to test000002, what path does it trigger. // // [your answer here] +/* +The path with the positive number. +*/ // // And finally change to test000003, what path was triggered. // // [your answer here] +/* +The path where x == 0. +*/ // // D) Remarks and conclusions. //