From b7069f4cb2eb8bb6edf5622e5399864e3708169c Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Wed, 9 Dec 2020 14:22:40 +0100
Subject: [PATCH] Exercise D

---
 examples/get_sign.c | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/examples/get_sign.c b/examples/get_sign.c
index cc2dfd6..6070b42 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -113,7 +113,7 @@ int main()
 //
 // Did the result correspond to the expected path for the test?
 //
-// [your answer here]
+// [YES]
 //
 // > KTEST_FILE=klee-last/test000002.ktest ./a.out
 //
@@ -121,7 +121,7 @@ int main()
 //
 // Did the result correspond to the expected path for the test?
 //
-// [your answer here]
+// [YES]
 //
 // > KTEST_FILE=klee-last/test000003.ktest ./a.out
 //
@@ -129,7 +129,7 @@ int main()
 //
 // Did the result correspond to the expected path for the test?
 //
-// [your answer here]
+// [NO]
 //
 // Why not? Confer to shell error codes:
 //
@@ -157,14 +157,14 @@ int main()
 //
 // What value do you get, and why?
 //
-// [your answer here]
+// [$1 = 0]
 //
 // Step the code
 // > (gdb) next
 //
 // What path did it take, and why?
 //
-// [your answer here]
+// [Path return 0; becasue x == 0]
 //
 // Now we can try with another test:
 //
@@ -177,7 +177,7 @@ int main()
 //
 // Which path did it take, and why?
 //
-// [your answer here]
+// [Path return 1; becasue x > 0]
 //
 // And finally:
 //
@@ -185,7 +185,7 @@ int main()
 //
 // Which path did it take, and why?
 //
-// [your answer here]
+// [Path return -1; because x < 0]
 //
 // E) Under the hood.
 //
-- 
GitLab