On Mon, Mar 28, 2011 at 7:49 PM, arrowdodger <6yearold at gmail.com> wrote:
> 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? > Updated patch here. Now KLEE can be succesfully built with LLVM trunk, but on `make check` it gives assertion: klee: APInt.cpp:398: llvm::APInt& llvm::APInt::operator|=(const llvm::APInt&): Assertion `BitWidth == RHS.BitWidth && "Bit widths must be the same"' failed. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110405/344608df/attachment.html -------------- next part -------------- A non-text attachment was scrubbed... Name: klee.diff Type: text/x-patch Size: 12867 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110405/344608df/attachment.bin
