On Tue, Mar 29, 2011 at 6:58 PM, David Lightstone < david.lightstone at prodigy.net> wrote:
> <...> > Well, i think our problems are unrelated. I'm getting segfault because i've changed code that loads .bc file in klee/main.cpp. I posted patch here because somebody who track LLVM development can explain why .bc is not loading correctly. As for you, i didn't get what is your problem. You are getting segfault and want to debug it? Then build LLVM+KLEE in Debug mode and run it under gdb. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110329/3a2bf523/attachment.html
