diff --git a/examples/get_sign.rs b/examples/get_sign.rs index 7028183536f6c3441fe9b4d626c587a0b11753ca..a9b24fe8f51d2e92659c4c18774ffc4f6065535d 100644 --- a/examples/get_sign.rs +++ b/examples/get_sign.rs @@ -108,14 +108,14 @@ mod ll { // // What was the generated hash. // -// [your answer here] +// [get_sign-85c57be6132dac1d.ll] // // B) Inspecting the test cases. // // Figure out to run `ktest-tool` on the generated test cases. // (Hint, it is just a matter of paths.) // -// [your answer here] +// [ ktest-tool examples/klee-out-0/test000001.ktest] // // C) Replaying your test cases. // @@ -135,7 +135,7 @@ mod ll { // // > ls *.o // -// [your answer here] +// [get_sign-85c57be6132dac1d.o] // // Now we need to link it with the `libkleeRuntest`. // @@ -153,15 +153,15 @@ mod ll { // // Now run the code in the debugger. What path was triggered. // -// [your answer here] +// [return -1;] // // Change to test000002, what path does it trigger. // -// [your answer here] +// [return 1;] // // And finally change to test000003, what path was triggered. // -// [your answer here] +// [return 0;] // // D) Remarks and conclusions. //