Exercise E

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