I'm trying to run KLEE on a 64-bit Fedora 12 machine, but I'm having some issues with "make check". Each time I run it, there are a different number of errors. I have attached the output from 3 successive runs of "make check".
I followed the "Building KLEE" instructions on http://klee.llvm.org/GetStarted.html fairly closely, except I added "-m32" to LLVM's configure line like this: ./configure --enable-optimized CFLAGS="-m32" CXXFLAGS="-m32" I did this because of the note about not working on 64-bit targets at the top of that page. I tried to do the same ./configure modification to KLEE, but it failed to build that way so I built without it instead, which worked fine. Here is the output of "svn info" on my KLEE directory: $ svn info Path: . URL: http://llvm.org/svn/llvm-project/klee/trunk Repository Root: http://llvm.org/svn/llvm-project Repository UUID: 91177308-0d34-0410-b5e6-96231b3b80d8 Revision: 115960 Node Kind: directory Schedule: normal Last Changed Author: ddunbar Last Changed Rev: 115542 Last Changed Date: 2010-10-04 14:37:11 -0500 (Mon, 04 Oct 2010) I would be happy to use a different revision of the code if it is more likely to work. Just let me know which revision is best with the LLVM 2.7 release. I don't mind doing a 64-bit install if that will work better on my system. Basically, I'm ok with having a 32-bit or 64-bit build; I just want to get it working. Let me know if you have any questions about my setup. Thanks. Denver http://ossguy.com/ -------------- next part -------------- $ nice make -j9 check llvm[0]: Running test suite make[1]: Entering directory `/home/dgingeri/llvm/klee/test' Making a new site.exp file... ( ulimit -t 600 ; ulimit -d 512000 ; \ PATH="/home/dgingeri/llvm/klee/Release/bin:/home/dgingeri/llvm/llvm-2.7/Release/bin:/home/dgingeri/llvm/llvm-2.7/test/Scripts:/home/dgingeri/llvm/llvm-gcc-4.2-2.7-i686-linux/bin:/home/dgingeri/check/valgrind/coregrind:/opt/intel/Compiler/11.1/072/bin/intel64:/usr/lib64/qt-3.3/bin:/usr/kerberos/sbin:/usr/kerberos/bin:/usr/lib64/ccache:/usr/local/bin:/bin:/usr/bin:/usr/local/sbin:/usr/sbin:/sbin:/home/dgingeri/bin" \ /usr/bin/runtest ; \ ! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; ) WARNING: Couldn't find the global config file. WARNING: No tool specified Test Run By dgingeri on Thu Oct 7 14:21:16 2010 Native configuration is x86_64-unknown-linux-gnu === tests === Schedule of variations: unix Running target unix Using /usr/share/dejagnu/baseboards/unix.exp as board description file for target. Using /usr/share/dejagnu/config/unix.exp as generic interface file for target. WARNING: Couldn't find tool config file for unix, using default. Running /home/dgingeri/llvm/klee/test/CXX/dg.exp ... Running /home/dgingeri/llvm/klee/test/Coverage/dg.exp ... Running /home/dgingeri/llvm/klee/test/Dogfood/dg.exp ... Running /home/dgingeri/llvm/klee/test/Expr/Lexer/dg.exp ... Running /home/dgingeri/llvm/klee/test/Expr/Parser/dg.exp ... Running /home/dgingeri/llvm/klee/test/Expr/dg.exp ... Running /home/dgingeri/llvm/klee/test/Feature/dg.exp ... FAIL: /home/dgingeri/llvm/klee/test/Feature/InAndOutOfBounds.c Failed with signal(SIGABRT) at line 2 while running: klee InAndOutOfBounds.c.tmp1.bc KLEE: output directory = "klee-out-19" klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x0000000000559157 klee::Executor::executeMemoryOperation(klee::ExecutionState&, bool, klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) + 2327 8 klee 0x000000000055d3e3 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 5763 9 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 10 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 11 klee 0x0000000000546c41 main + 9041 12 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 13 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/KleeReportError.c Failed with signal(SIGSEGV) at line 2 while running: klee --emit-all-errors KleeReportError.c.tmp2.bc > KleeReportError.c.tmp3.log KLEE: output directory = "klee-out-24" KLEE: WARNING: undefined reference to function: fwrite KLEE: WARNING: undefined reference to variable: stderr KLEE: WARNING: calling external: fwrite(26062096, 1, 3, 993474656) KLEE: ERROR: failed external call: fwrite FAIL: /home/dgingeri/llvm/klee/test/Feature/MemoryLimit.c Failed with signal(SIGABRT) at line 4 while running: klee --max-memory=20 MemoryLimit.c.tmp.big.bc > MemoryLimit.c.tmp.big.log KLEE: output directory = "klee-out-33" KLEE: WARNING: undefined reference to function: puts KLEE: WARNING: calling external: puts(20934864) klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x000000000055bd3a klee::Executor::executeAlloc(klee::ExecutionState&, klee::ref<klee::Expr>, bool, klee::KInstruction*, bool, klee::ObjectState const*) + 3786 7 klee 0x0000000000576317 klee::SpecialFunctionHandler::handleMalloc(klee::ExecutionState&, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 71 8 klee 0x00000000005745ff klee::SpecialFunctionHandler::handle(klee::ExecutionState&, llvm::Function*, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 191 9 klee 0x0000000000555d89 klee::Executor::callExternalFunction(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 73 10 klee 0x0000000000559cc6 klee::Executor::executeCall(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 470 11 klee 0x000000000055dee6 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 8582 12 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 13 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 14 klee 0x0000000000546c41 main + 9041 15 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 16 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleFreeResolution.c Failed with signal(SIGABRT) at line 2 while running: klee --emit-all-errors MultipleFreeResolution.c.tmp1.bc KLEE: output directory = "klee-out-34" KLEE: WARNING: undefined reference to function: printf klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x000000000055a600 klee::Executor::resolveExact(klee::ExecutionState&, klee::ref<klee::Expr>, std::vector<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState const*>, klee::ExecutionState*>, std::allocator<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState const*>, klee::ExecutionState*> > >&, std::string const&) + 144 8 klee 0x000000000055aaf6 klee::Executor::executeFree(klee::ExecutionState&, klee::ref<klee::Expr>, klee::KInstruction*) + 374 9 klee 0x0000000000577086 klee::SpecialFunctionHandler::handleFree(klee::ExecutionState&, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 54 10 klee 0x00000000005745ff klee::SpecialFunctionHandler::handle(klee::ExecutionState&, llvm::Function*, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 191 11 klee 0x0000000000555d89 klee::Executor::callExternalFunction(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 73 12 klee 0x0000000000559cc6 klee::Executor::executeCall(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 470 13 klee 0x000000000055dee6 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 8582 14 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 15 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 16 klee 0x0000000000546c41 main + 9041 17 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 18 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReadResolution.c Failed with signal(SIGSEGV) at line 6 while running: klee MultipleReadResolution.c.tmp1.bc > MultipleReadResolution.c.tmp1.log KLEE: output directory = "klee-out-35" KLEE: WARNING: undefined reference to function: fflush KLEE: WARNING: undefined reference to function: puts KLEE: WARNING: undefined reference to variable: stdout KLEE: WARNING: calling external: puts(35985040) KLEE: WARNING: calling external: fflush(993474432) KLEE: ERROR: failed external call: fflush KLEE: NOTE: now ignoring this error at this location FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReallocResolution.c Failed with signal(SIGABRT) at line 2 while running: klee MultipleReallocResolution.c.tmp1.bc KLEE: output directory = "klee-out-36" klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x000000000055a600 klee::Executor::resolveExact(klee::ExecutionState&, klee::ref<klee::Expr>, std::vector<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState const*>, klee::ExecutionState*>, std::allocator<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState const*>, klee::ExecutionState*> > >&, std::string const&) + 144 8 klee 0x000000000055aaf6 klee::Executor::executeFree(klee::ExecutionState&, klee::ref<klee::Expr>, klee::KInstruction*) + 374 9 klee 0x00000000005772dd klee::SpecialFunctionHandler::handleRealloc(klee::ExecutionState&, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 269 10 klee 0x00000000005745ff klee::SpecialFunctionHandler::handle(klee::ExecutionState&, llvm::Function*, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 191 11 klee 0x0000000000555d89 klee::Executor::callExternalFunction(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 73 12 klee 0x0000000000559cc6 klee::Executor::executeCall(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 470 13 klee 0x000000000055dee6 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 8582 14 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 15 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 16 klee 0x0000000000546c41 main + 9041 17 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 18 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleWriteResolution.c Failed with signal(SIGABRT) at line 6 while running: klee MultipleWriteResolution.c.tmp1.bc > MultipleWriteResolution.c.tmp1.log KLEE: output directory = "klee-out-37" KLEE: WARNING: undefined reference to function: fflush KLEE: WARNING: undefined reference to function: puts KLEE: WARNING: undefined reference to variable: stdout klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x0000000000559157 klee::Executor::executeMemoryOperation(klee::ExecutionState&, bool, klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) + 2327 8 klee 0x000000000055d3e3 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 5763 9 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 10 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 11 klee 0x0000000000546c41 main + 9041 12 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 13 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/OverlappedError.c Failed with signal(SIGABRT) at line 2 while running: klee OverlappedError.c.tmp1.bc KLEE: output directory = "klee-out-42" klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x0000000000559157 klee::Executor::executeMemoryOperation(klee::ExecutionState&, bool, klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) + 2327 8 klee 0x000000000055d3e3 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 5763 9 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 10 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 11 klee 0x0000000000546c41 main + 9041 12 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 13 klee 0x000000000053e099 Running /home/dgingeri/llvm/klee/test/Programs/dg.exp ... Running /home/dgingeri/llvm/klee/test/Runtime/POSIX/dg.exp ... Running /home/dgingeri/llvm/klee/test/Runtime/Uclibc/dg.exp ... Running /home/dgingeri/llvm/klee/test/Solver/dg.exp ... Running /home/dgingeri/llvm/klee/test/regression/dg.exp ... === Summary === # of expected passes 77 # of unexpected failures 8 # of expected failures 2 XFAIL: /home/dgingeri/llvm/klee/test/Expr/Evaluate2.pc FAIL: /home/dgingeri/llvm/klee/test/Feature/InAndOutOfBounds.c FAIL: /home/dgingeri/llvm/klee/test/Feature/KleeReportError.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MemoryLimit.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleFreeResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReadResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReallocResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleWriteResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/OverlappedError.c XFAIL: /home/dgingeri/llvm/klee/test/Programs/pcregrep.c make[1]: *** [check-local] Error 1 make[1]: Leaving directory `/home/dgingeri/llvm/klee/test' make: *** [check] Error 2 $ -------------- next part -------------- $ nice make check llvm[0]: Running test suite make[1]: Entering directory `/home/dgingeri/llvm/klee/test' ( ulimit -t 600 ; ulimit -d 512000 ; \ PATH="/home/dgingeri/llvm/klee/Release/bin:/home/dgingeri/llvm/llvm-2.7/Release/bin:/home/dgingeri/llvm/llvm-2.7/test/Scripts:/home/dgingeri/llvm/llvm-gcc-4.2-2.7-i686-linux/bin:/home/dgingeri/check/valgrind/coregrind:/opt/intel/Compiler/11.1/072/bin/intel64:/usr/lib64/qt-3.3/bin:/usr/kerberos/sbin:/usr/kerberos/bin:/usr/lib64/ccache:/usr/local/bin:/bin:/usr/bin:/usr/local/sbin:/usr/sbin:/sbin:/home/dgingeri/bin" \ /usr/bin/runtest ; \ ! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; ) WARNING: Couldn't find the global config file. WARNING: No tool specified Test Run By dgingeri on Thu Oct 7 14:27:15 2010 Native configuration is x86_64-unknown-linux-gnu === tests === Schedule of variations: unix Running target unix Using /usr/share/dejagnu/baseboards/unix.exp as board description file for target. Using /usr/share/dejagnu/config/unix.exp as generic interface file for target. WARNING: Couldn't find tool config file for unix, using default. Running /home/dgingeri/llvm/klee/test/CXX/dg.exp ... Running /home/dgingeri/llvm/klee/test/Coverage/dg.exp ... Running /home/dgingeri/llvm/klee/test/Dogfood/dg.exp ... Running /home/dgingeri/llvm/klee/test/Expr/Lexer/dg.exp ... Running /home/dgingeri/llvm/klee/test/Expr/Parser/dg.exp ... Running /home/dgingeri/llvm/klee/test/Expr/dg.exp ... Running /home/dgingeri/llvm/klee/test/Feature/dg.exp ... FAIL: /home/dgingeri/llvm/klee/test/Feature/KleeReportError.c Failed with signal(SIGSEGV) at line 2 while running: klee --emit-all-errors KleeReportError.c.tmp2.bc > KleeReportError.c.tmp3.log KLEE: output directory = "klee-out-162" KLEE: WARNING: undefined reference to function: fwrite KLEE: WARNING: undefined reference to variable: stderr KLEE: WARNING: calling external: fwrite(42445680, 1, 3, 993474656) KLEE: ERROR: failed external call: fwrite FAIL: /home/dgingeri/llvm/klee/test/Feature/MemoryLimit.c Failed with signal(SIGABRT) at line 4 while running: klee --max-memory=20 MemoryLimit.c.tmp.big.bc > MemoryLimit.c.tmp.big.log KLEE: output directory = "klee-out-171" KLEE: WARNING: undefined reference to function: puts KLEE: WARNING: calling external: puts(37630832) klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x000000000055bd3a klee::Executor::executeAlloc(klee::ExecutionState&, klee::ref<klee::Expr>, bool, klee::KInstruction*, bool, klee::ObjectState const*) + 3786 7 klee 0x0000000000576317 klee::SpecialFunctionHandler::handleMalloc(klee::ExecutionState&, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 71 8 klee 0x00000000005745ff klee::SpecialFunctionHandler::handle(klee::ExecutionState&, llvm::Function*, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 191 9 klee 0x0000000000555d89 klee::Executor::callExternalFunction(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 73 10 klee 0x0000000000559cc6 klee::Executor::executeCall(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 470 11 klee 0x000000000055dee6 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 8582 12 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 13 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 14 klee 0x0000000000546c41 main + 9041 15 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 16 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleFreeResolution.c Failed with signal(SIGABRT) at line 2 while running: klee --emit-all-errors MultipleFreeResolution.c.tmp1.bc KLEE: output directory = "klee-out-172" KLEE: WARNING: undefined reference to function: printf klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x000000000055a600 klee::Executor::resolveExact(klee::ExecutionState&, klee::ref<klee::Expr>, std::vector<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState const*>, klee::ExecutionState*>, std::allocator<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState const*>, klee::ExecutionState*> > >&, std::string const&) + 144 8 klee 0x000000000055aaf6 klee::Executor::executeFree(klee::ExecutionState&, klee::ref<klee::Expr>, klee::KInstruction*) + 374 9 klee 0x0000000000577086 klee::SpecialFunctionHandler::handleFree(klee::ExecutionState&, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 54 10 klee 0x00000000005745ff klee::SpecialFunctionHandler::handle(klee::ExecutionState&, llvm::Function*, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 191 11 klee 0x0000000000555d89 klee::Executor::callExternalFunction(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 73 12 klee 0x0000000000559cc6 klee::Executor::executeCall(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 470 13 klee 0x000000000055dee6 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 8582 14 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 15 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 16 klee 0x0000000000546c41 main + 9041 17 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 18 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReadResolution.c Failed with signal(SIGABRT) at line 6 while running: klee MultipleReadResolution.c.tmp1.bc > MultipleReadResolution.c.tmp1.log KLEE: output directory = "klee-out-173" KLEE: WARNING: undefined reference to function: fflush KLEE: WARNING: undefined reference to function: puts KLEE: WARNING: undefined reference to variable: stdout klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x0000000000559157 klee::Executor::executeMemoryOperation(klee::ExecutionState&, bool, klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) + 2327 8 klee 0x000000000055ce49 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 4329 9 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 10 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 11 klee 0x0000000000546c41 main + 9041 12 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 13 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReallocResolution.c Failed with signal(SIGABRT) at line 2 while running: klee MultipleReallocResolution.c.tmp1.bc KLEE: output directory = "klee-out-174" klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x000000000055a600 klee::Executor::resolveExact(klee::ExecutionState&, klee::ref<klee::Expr>, std::vector<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState const*>, klee::ExecutionState*>, std::allocator<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState const*>, klee::ExecutionState*> > >&, std::string const&) + 144 8 klee 0x000000000055aaf6 klee::Executor::executeFree(klee::ExecutionState&, klee::ref<klee::Expr>, klee::KInstruction*) + 374 9 klee 0x00000000005772dd klee::SpecialFunctionHandler::handleRealloc(klee::ExecutionState&, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 269 10 klee 0x00000000005745ff klee::SpecialFunctionHandler::handle(klee::ExecutionState&, llvm::Function*, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 191 11 klee 0x0000000000555d89 klee::Executor::callExternalFunction(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 73 12 klee 0x0000000000559cc6 klee::Executor::executeCall(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 470 13 klee 0x000000000055dee6 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 8582 14 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 15 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 16 klee 0x0000000000546c41 main + 9041 17 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 18 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleWriteResolution.c Failed with signal(SIGSEGV) at line 6 while running: klee MultipleWriteResolution.c.tmp1.bc > MultipleWriteResolution.c.tmp1.log KLEE: output directory = "klee-out-175" KLEE: WARNING: undefined reference to function: fflush KLEE: WARNING: undefined reference to function: puts KLEE: WARNING: undefined reference to variable: stdout KLEE: WARNING: calling external: puts(31330384) KLEE: WARNING: calling external: fflush(993474432) KLEE: ERROR: failed external call: fflush KLEE: NOTE: now ignoring this error at this location FAIL: /home/dgingeri/llvm/klee/test/Feature/OverlappedError.c Failed with signal(SIGABRT) at line 2 while running: klee OverlappedError.c.tmp1.bc KLEE: output directory = "klee-out-180" klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x0000000000559157 klee::Executor::executeMemoryOperation(klee::ExecutionState&, bool, klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) + 2327 8 klee 0x000000000055d3e3 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 5763 9 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 10 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 11 klee 0x0000000000546c41 main + 9041 12 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 13 klee 0x000000000053e099 Running /home/dgingeri/llvm/klee/test/Programs/dg.exp ... Running /home/dgingeri/llvm/klee/test/Runtime/POSIX/dg.exp ... Running /home/dgingeri/llvm/klee/test/Runtime/Uclibc/dg.exp ... Running /home/dgingeri/llvm/klee/test/Solver/dg.exp ... Running /home/dgingeri/llvm/klee/test/regression/dg.exp ... === Summary === # of expected passes 78 # of unexpected failures 7 # of expected failures 2 XFAIL: /home/dgingeri/llvm/klee/test/Expr/Evaluate2.pc FAIL: /home/dgingeri/llvm/klee/test/Feature/KleeReportError.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MemoryLimit.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleFreeResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReadResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReallocResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleWriteResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/OverlappedError.c XFAIL: /home/dgingeri/llvm/klee/test/Programs/pcregrep.c make[1]: *** [check-local] Error 1 make[1]: Leaving directory `/home/dgingeri/llvm/klee/test' make: *** [check] Error 2 $ -------------- next part -------------- $ nice make check llvm[0]: Running test suite make[1]: Entering directory `/home/dgingeri/llvm/klee/test' ( ulimit -t 600 ; ulimit -d 512000 ; \ PATH="/home/dgingeri/llvm/klee/Release/bin:/home/dgingeri/llvm/llvm-2.7/Release/bin:/home/dgingeri/llvm/llvm-2.7/test/Scripts:/home/dgingeri/llvm/llvm-gcc-4.2-2.7-i686-linux/bin:/home/dgingeri/check/valgrind/coregrind:/opt/intel/Compiler/11.1/072/bin/intel64:/usr/lib64/qt-3.3/bin:/usr/kerberos/sbin:/usr/kerberos/bin:/usr/lib64/ccache:/usr/local/bin:/bin:/usr/bin:/usr/local/sbin:/usr/sbin:/sbin:/home/dgingeri/bin" \ /usr/bin/runtest ; \ ! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; ) WARNING: Couldn't find the global config file. WARNING: No tool specified Test Run By dgingeri on Thu Oct 7 14:28:40 2010 Native configuration is x86_64-unknown-linux-gnu === tests === Schedule of variations: unix Running target unix Using /usr/share/dejagnu/baseboards/unix.exp as board description file for target. Using /usr/share/dejagnu/config/unix.exp as generic interface file for target. WARNING: Couldn't find tool config file for unix, using default. Running /home/dgingeri/llvm/klee/test/CXX/dg.exp ... Running /home/dgingeri/llvm/klee/test/Coverage/dg.exp ... Running /home/dgingeri/llvm/klee/test/Dogfood/dg.exp ... Running /home/dgingeri/llvm/klee/test/Expr/Lexer/dg.exp ... Running /home/dgingeri/llvm/klee/test/Expr/Parser/dg.exp ... Running /home/dgingeri/llvm/klee/test/Expr/dg.exp ... Running /home/dgingeri/llvm/klee/test/Feature/dg.exp ... FAIL: /home/dgingeri/llvm/klee/test/Feature/KleeReportError.c Failed with signal(SIGSEGV) at line 2 while running: klee --emit-all-errors KleeReportError.c.tmp2.bc > KleeReportError.c.tmp3.log KLEE: output directory = "klee-out-231" KLEE: WARNING: undefined reference to function: fwrite KLEE: WARNING: undefined reference to variable: stderr KLEE: WARNING: calling external: fwrite(31069888, 1, 3, 993474656) KLEE: ERROR: failed external call: fwrite FAIL: /home/dgingeri/llvm/klee/test/Feature/MemoryLimit.c Failed with signal(SIGABRT) at line 4 while running: klee --max-memory=20 MemoryLimit.c.tmp.big.bc > MemoryLimit.c.tmp.big.log KLEE: output directory = "klee-out-240" KLEE: WARNING: undefined reference to function: puts KLEE: WARNING: calling external: puts(27391568) klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x000000000055bd3a klee::Executor::executeAlloc(klee::ExecutionState&, klee::ref<klee::Expr>, bool, klee::KInstruction*, bool, klee::ObjectState const*) + 3786 7 klee 0x0000000000576317 klee::SpecialFunctionHandler::handleMalloc(klee::ExecutionState&, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 71 8 klee 0x00000000005745ff klee::SpecialFunctionHandler::handle(klee::ExecutionState&, llvm::Function*, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 191 9 klee 0x0000000000555d89 klee::Executor::callExternalFunction(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 73 10 klee 0x0000000000559cc6 klee::Executor::executeCall(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 470 11 klee 0x000000000055dee6 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 8582 12 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 13 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 14 klee 0x0000000000546c41 main + 9041 15 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 16 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReadResolution.c Failed with signal(SIGABRT) at line 6 while running: klee MultipleReadResolution.c.tmp1.bc > MultipleReadResolution.c.tmp1.log KLEE: output directory = "klee-out-242" KLEE: WARNING: undefined reference to function: fflush KLEE: WARNING: undefined reference to function: puts KLEE: WARNING: undefined reference to variable: stdout klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x0000000000559157 klee::Executor::executeMemoryOperation(klee::ExecutionState&, bool, klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) + 2327 8 klee 0x000000000055ce49 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 4329 9 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 10 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 11 klee 0x0000000000546c41 main + 9041 12 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 13 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReallocResolution.c Failed with signal(SIGABRT) at line 2 while running: klee MultipleReallocResolution.c.tmp1.bc KLEE: output directory = "klee-out-243" klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x000000000055a600 klee::Executor::resolveExact(klee::ExecutionState&, klee::ref<klee::Expr>, std::vector<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState const*>, klee::ExecutionState*>, std::allocator<std::pair<std::pair<klee::MemoryObject const*, klee::ObjectState const*>, klee::ExecutionState*> > >&, std::string const&) + 144 8 klee 0x000000000055aaf6 klee::Executor::executeFree(klee::ExecutionState&, klee::ref<klee::Expr>, klee::KInstruction*) + 374 9 klee 0x00000000005772dd klee::SpecialFunctionHandler::handleRealloc(klee::ExecutionState&, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 269 10 klee 0x00000000005745ff klee::SpecialFunctionHandler::handle(klee::ExecutionState&, llvm::Function*, klee::KInstruction*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 191 11 klee 0x0000000000555d89 klee::Executor::callExternalFunction(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 73 12 klee 0x0000000000559cc6 klee::Executor::executeCall(klee::ExecutionState&, klee::KInstruction*, llvm::Function*, std::vector<klee::ref<klee::Expr>, std::allocator<klee::ref<klee::Expr> > >&) + 470 13 klee 0x000000000055dee6 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 8582 14 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 15 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 16 klee 0x0000000000546c41 main + 9041 17 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 18 klee 0x000000000053e099 FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleWriteResolution.c Failed with signal(SIGSEGV) at line 6 while running: klee MultipleWriteResolution.c.tmp1.bc > MultipleWriteResolution.c.tmp1.log KLEE: output directory = "klee-out-244" KLEE: WARNING: undefined reference to function: fflush KLEE: WARNING: undefined reference to function: puts KLEE: WARNING: undefined reference to variable: stdout KLEE: WARNING: calling external: puts(26611792) KLEE: WARNING: calling external: fflush(993474432) KLEE: ERROR: failed external call: fflush KLEE: NOTE: now ignoring this error at this location FAIL: /home/dgingeri/llvm/klee/test/Feature/OverlappedError.c Failed with signal(SIGABRT) at line 2 while running: klee OverlappedError.c.tmp1.bc KLEE: output directory = "klee-out-249" klee: /home/dgingeri/llvm/klee/include/klee/Expr.h:375: static klee::ref<klee::ConstantExpr> klee::ConstantExpr::create(uint64_t, unsigned int): Assertion `v == bits64::truncateToNBits(v, w) && "invalid constant"' failed. 0 klee 0x0000000000c693bf 1 klee 0x0000000000c69b85 2 libpthread.so.0 0x000000353bc0f0f0 3 libc.so.6 0x000000353b0326c5 gsignal + 53 4 libc.so.6 0x000000353b033ea5 abort + 373 5 libc.so.6 0x000000353b02b7b5 __assert_fail + 245 6 klee 0x0000000000581b6f 7 klee 0x0000000000559157 klee::Executor::executeMemoryOperation(klee::ExecutionState&, bool, klee::ref<klee::Expr>, klee::ref<klee::Expr>, klee::KInstruction*) + 2327 8 klee 0x000000000055d3e3 klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*) + 5763 9 klee 0x0000000000560ece klee::Executor::run(klee::ExecutionState&) + 1774 10 klee 0x0000000000561984 klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) + 2052 11 klee 0x0000000000546c41 main + 9041 12 libc.so.6 0x000000353b01eb1d __libc_start_main + 253 13 klee 0x000000000053e099 Running /home/dgingeri/llvm/klee/test/Programs/dg.exp ... Running /home/dgingeri/llvm/klee/test/Runtime/POSIX/dg.exp ... Running /home/dgingeri/llvm/klee/test/Runtime/Uclibc/dg.exp ... Running /home/dgingeri/llvm/klee/test/Solver/dg.exp ... Running /home/dgingeri/llvm/klee/test/regression/dg.exp ... === Summary === # of expected passes 79 # of unexpected failures 6 # of expected failures 2 XFAIL: /home/dgingeri/llvm/klee/test/Expr/Evaluate2.pc FAIL: /home/dgingeri/llvm/klee/test/Feature/KleeReportError.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MemoryLimit.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReadResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReallocResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleWriteResolution.c FAIL: /home/dgingeri/llvm/klee/test/Feature/OverlappedError.c XFAIL: /home/dgingeri/llvm/klee/test/Programs/pcregrep.c make[1]: *** [check-local] Error 1 make[1]: Leaving directory `/home/dgingeri/llvm/klee/test' make: *** [check] Error 2 $
