get_sign.c DONE

examples/get_sign.c

@@ -205,6 +205,7 @@ int main()
 // `klee_make_symbolic(&a, sizeof(a), "a");`
 // works when you replay test cases:
 //
-// [When test cases is replayed]
+// [The variable a is created with the constraints from the beginning.
+// The variable a is then changed to satisfy a path.]
 // (hint, KTEST_FILE points to a concrete assignment
 // of the memory region)