Hello, i've wrote small patch to make KLEE compileable with latest LLVM.
Still, it looks i've missed something in tools/klee and tools/kleaver,
because when i try to open any .bc file with klee, it segfaults.
Can somebody point me on what is wrong?
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110328/29acd65b/attachment.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: klee.diff
Type: text/x-patch
Size: 11029 bytes
Desc: not available
Url :
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110328/29acd65b/attachment.bin
