diff --git a/examples/get_sign.c b/examples/get_sign.c index 1c7353c762afb8694d34d2247a6e7cc20c817d83..0df0ef4fdb6b92af9544e1556c07c291d99c09e5 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)