Hi:
I want to debug klee and I use dbg tool. But why dbg can not recognize
variables of klee?
(gdb) n
568 for (int i=1; i<argc; i++) {
(gdb) n
569 if (!strcmp(argv[i],"--read-args") && i+1<argc) {
(gdb) p argv[i]
No symbol "i" in current context.
(gdb) p i
No symbol "i" in current context.
However, I can see argc and argv.
(gdb) p argc
$1 = -1077737052
2010-12-30
chenting19870201
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20101230/f3e9642f/attachment.html
