updated get_sign.c

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)