Dear klee-dev@, I've been meaning to try out klee for some time. Tonight, I sat down with the fine instructions at
http://klee.llvm.org/GetStarted.html only to discover that klee's HEAD commit does not build against llvm's HEAD commit. Here's a patch that fixes the problem for me, as tested with tonight's klee and llvm HEAD commits and with Debian's llvm-gcc-4.2_2.5-1 on i386. The `make check` test suite passes except for two unexpected failures: FAIL: /home/mstone/src/klee/test/CXX/StaticDestructor.cpp Failed with exit(1) at line 3 while running: grep ":16: memory error" StaticDestructor.cpp.tmp1.log child process exited abnormally FAIL: /home/mstone/src/klee/test/Feature/WriteCov.c Failed with exit(1) at line 3 while running: grep WriteCov.c:10 klee-last/test000002.cov child process exited abnormally Unfortunately, lacking a known-good klee commit to fall back to, I have no way to tell whether these regressions are due to my patch or were pre-existing. The `make unittest` suite passes. Anyway, thanks for the neat tool! Regards, Michael -------------- next part -------------- A non-text attachment was scrubbed... Name: 0001-Make-klee-build-against-llvm-HEAD.patch Type: text/x-diff Size: 0 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090901/cc8b6ab0/attachment.bin
