From 43ee88aeb4eff164a738d3a09efdc3178f69e49d Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Tue, 15 Dec 2020 19:39:12 +0100
Subject: [PATCH] Exercise E
---
examples/get_sign.c | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/examples/get_sign.c b/examples/get_sign.c
index 0e5cf99..1c7353c 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -9,8 +9,11 @@ int get_sign(int x)
{
if (x == 0)
return 0;
+ if (x == 1)
+ return 0;
+
- if (x < 0)
+ if (x < 2)
return -1;
else
return 1;
@@ -193,7 +196,8 @@ int main()
// `klee_make_symbolic(&a, sizeof(a), "a");`
// works when you run `klee` to generate test cases:
//
-// [your answer here]
+// [It takes the address of variable a and treat is as symbolic.
+// It will mark the memory locattion of a as symbolic.]
// (hint, mark memory region as symbolic)
//
// Explain in your own words how
--
GitLab