get_sign.rs, All tasks done

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.
 //