From 8c42dbb05f2bb6d86137f193269d18d7e2cb5b0b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edvin=20=C3=85kerfeldt?= <Edvin Ã…kerfeldt> Date: Sat, 12 Dec 2020 18:43:33 +0100 Subject: [PATCH] get_sign.rs, All tasks done --- examples/get_sign.rs | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/examples/get_sign.rs b/examples/get_sign.rs index 7028183..64cc729 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. // -- GitLab