From acbb876847bc07d6c46a17b497dfc8b0958a5d9d Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Thu, 17 Dec 2020 12:26:51 +0100
Subject: [PATCH] updated get_sign.c

---
 examples/get_sign.c | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/examples/get_sign.c b/examples/get_sign.c
index 1c7353c..0df0ef4 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -136,7 +136,8 @@ int main()
 //
 // Why not? Confer to shell error codes:
 //
-// ["-1 converted to a valid exit code value in the 0-255 range", (in my case 255)]
+// ["-1 converted to a valid exit code value in the 0-255 range", 
+// In my case 255 which is -1, but usigned 8 bit will be value 255]
 //
 // D) Debugging
 //
@@ -196,14 +197,14 @@ int main()
 // `klee_make_symbolic(&a, sizeof(a), "a");`
 // works when you run `klee` to generate test cases:
 //
-// [It takes the address of variable a and treat is as symbolic. 
-// It will mark the memory locattion of a as symbolic.]
+// [It takes the address of variable a and treat is as symbolic 
+// and also mark the memory location of a as symbolic.]
 // (hint, mark memory region as symbolic)
 //
 // Explain in your own words how
 // `klee_make_symbolic(&a, sizeof(a), "a");`
 // works when you replay test cases:
 //
-// [your answer here]
+// [When test cases is replayed]
 // (hint, KTEST_FILE points to a concrete assignment
 // of the memory region)
-- 
GitLab