<div dir="ltr"><br clear="all"><div>Dear all,</div><div><br></div><div>    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: </div><div><br></div><div><div>(lldb) </div><div>Process 10254 stopped</div><div>* thread #1, name = 'klee', stop reason = breakpoint 3.1 -1364.1</div><div>    frame #0: klee`klee::Executor::executeAllocUnbounded(this=0x0000000001278800, state=0x000000000132d710, size=4, target=0x000000000134ef00) at Executor.cpp:3036</div></div><div><br></div><div>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</div><div><br></div><div>I want to know what is the mean of "-1364.1" here. How to let the program to continue. Thanks.</div><br><div class="gmail_signature"><div dir="ltr">---<div>Jian Liu</div><div><br></div><div><br></div></div></div>
</div>