From 7c3fe0ebaeeb2c10ae82c91350c32c2a83127b66 Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Fri, 11 Dec 2020 13:55:46 +0100
Subject: [PATCH] get_sign.rs done
---
examples/get_sign.rs | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/examples/get_sign.rs b/examples/get_sign.rs
index 7028183..a9b24fe 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.
//
--
GitLab