Dear all,
I have just debug KLEE with lldb. A breakpoint was set on the function
"executeAllocUnbounded". After the breakpoint was hiited, I used "continue"
to let the program to go on. However, it did not work. The respose from
lldb is following:
(lldb)
Process 10254 stopped
* thread #1, nam
, klee::KInstruction*) + 39 at
Executor.cpp:3228, address = 0x00547807, resolved, hit count = 1
I can not understand outputs from "break list -i” command. I wonder how to
let the program to go on. BTW, I use lldb-4.0 in Ubuntu 16.04 AMD64.
-Jian
> What is the hit count on br
