Hi Michael, On Mon, Aug 31, 2009 at 11:11 PM, Michael Stone<michael at laptop.org> wrote: > 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.
Applied as part of r80665. > 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 I'm not sure what's going on here. On my machine I am actually seeing worse results than that, but these are (I believe) due to changes in LLVM's debug info. I haven't formed a plan yet, but it would be nice to base klee off of LLVM 2.6 for the forseeable future, but I haven't had time to do the work for this yet. > Anyway, thanks for the neat tool! Sure! - Daniel
