[lldb-dev] negative in stop reason

[Jian Liu/Gmail via lldb-dev]

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, name = 'klee', stop reason = breakpoint 3.1 -1364.1
    frame #0:
klee`klee::Executor::executeAllocUnbounded(this=0x0000000001278800,
state=0x000000000132d710, size=4, target=0x000000000134ef00) at
Executor.cpp:3036

NOTE that, there is a negative number "-1364.1" showed in stop reason. When
I hit "continue" again, the number was change to "-1366.1", by mius -2

I want to know what is the mean of "-1364.1" here. How to let the program
to continue. Thanks.

---
Jian Liu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/lldb-dev/attachments/20171117/9a5beea2/attachment.html>