Right, after learning way more than I ever wanted to know about xcrun,
I think I see the issue. When running with empty SDKROOT variable,
xcrun sets SDKROOT to "/" when running clang:
$ SDKROOT= xcrun --no-cache --log --verbose clang
/Users/lldb_build/lldbSlave/buildDir/llvm/tools/lldb/packages/Pyt
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
