Hi Shaul, It looks like llvm wasn't able to find an llvm-gcc compiler when you configured it. You need to install or build llvm-gcc, and pass extra options to LLVM's configured if it isn't in your path.
- Daniel On Sun, May 2, 2010 at 3:15 PM, Shaul Kedem <shaul.kedem at gmail.com> wrote: > Hi, > ?I've tried running make check on the latest svn and it doesn't seem > to work, but the make unittests does... here is the output (warning, > very long) : > > [shul at localhost klee]$ ./configure --with-llvmsrc=../../llvm-2.7 > --with-llvmobj=../../llvm-2.7 > checking build system type... x86_64-unknown-linux-gnu > checking host system type... x86_64-unknown-linux-gnu > checking target system type... x86_64-unknown-linux-gnu > checking type of operating system we're going to host on... > checking llvm source dir... /home/shul/workspace/llvm-2.7 > checking llvm obj dir... /home/shul/workspace/llvm-2.7 > checking llvm package version... 2.7 > checking llvm version major... 2 > checking llvm version minor... 7 > checking llvm is release version... 1 > checking uclibc... no > checking POSIX runtime... default (disabled, no uclibc) > checking runtime configuration... Release > checking for gcc... gcc > checking for C compiler default output file name... a.out > checking whether the C compiler works... yes > checking whether we are cross compiling... no > checking for suffix of executables... > checking for suffix of object files... o > checking whether we are using the GNU C compiler... yes > checking whether gcc accepts -g... yes > checking for gcc option to accept ISO C89... none needed > checking how to run the C preprocessor... gcc -E > checking for grep that handles long lines and -e... /bin/grep > checking for egrep... /bin/grep -E > checking for ANSI C header files... yes > checking for sys/types.h... yes > checking for sys/stat.h... yes > checking for stdlib.h... yes > checking for string.h... yes > checking for memory.h... yes > checking for strings.h... yes > checking for inttypes.h... yes > checking for stdint.h... yes > checking for unistd.h... yes > checking sys/acl.h usability... yes > checking sys/acl.h presence... yes > checking for sys/acl.h... yes > checking for g++... g++ > checking whether we are using the GNU C++ compiler... yes > checking whether g++ accepts -g... yes > checking how to run the C++ preprocessor... g++ -E > checking selinux/selinux.h usability... yes > checking selinux/selinux.h presence... yes > checking for selinux/selinux.h... yes > configure: creating ./config.status > config.status: creating Makefile.config > config.status: creating include/klee/Config/config.h > config.status: include/klee/Config/config.h is unchanged > config.status: executing setup commands > config.status: executing Makefile commands > config.status: executing Makefile.common commands > config.status: executing lib/Makefile commands > config.status: executing runtime/Makefile commands > config.status: executing stp/Makefile commands > config.status: executing test/Makefile commands > config.status: executing test/Makefile.tests commands > config.status: executing tools/Makefile commands > config.status: executing unittests/Makefile commands > [shul at localhost klee]$ make ENABLE_OPTIMIZED=1 > make[1]: Entering directory `/home/shul/workspace/klee/klee/stp' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/AST' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/AST' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/bitvec' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/bitvec' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/c_interface' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/c_interface' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/constantbv' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/constantbv' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/sat' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/sat' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/simplifier' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/simplifier' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/stp' > make[1]: Entering directory `/home/shul/workspace/klee/klee/lib' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Basic' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Basic' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Support' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Support' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Expr' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Expr' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Solver' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Solver' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Module' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Module' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Core' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Core' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/lib' > make[1]: Entering directory `/home/shul/workspace/klee/klee/tools' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/klee' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/klee' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/kleaver' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/kleaver' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/ktest-tool' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/ktest-tool' > make[2]: Entering directory > `/home/shul/workspace/klee/klee/tools/gen-random-bout' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory > `/home/shul/workspace/klee/klee/tools/gen-random-bout' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/klee-stats' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/klee-stats' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/tools' > make[1]: Entering directory `/home/shul/workspace/klee/klee/runtime' > make[2]: Entering directory `/home/shul/workspace/klee/klee/runtime/Intrinsic' > /home/shul/workspace/llvm-2.7/Makefile.rules:1114: Bytecode libraries > require LLVM capable compiler but none is available **** > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/runtime/Intrinsic' > make[2]: Entering directory `/home/shul/workspace/klee/klee/runtime/klee-libc' > /home/shul/workspace/llvm-2.7/Makefile.rules:1114: Bytecode libraries > require LLVM capable compiler but none is available **** > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/runtime/klee-libc' > make[2]: Entering directory `/home/shul/workspace/klee/klee/runtime/Runtest' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/runtime/Runtest' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/runtime' > [shul at localhost klee]$ make clean > make[1]: Entering directory `/home/shul/workspace/klee/klee/stp' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/AST' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/AST' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/bitvec' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/bitvec' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/c_interface' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/c_interface' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/constantbv' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/constantbv' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/sat' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/sat' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/simplifier' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/simplifier' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/stp' > make[1]: Entering directory `/home/shul/workspace/klee/klee/lib' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Basic' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Basic' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Support' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Support' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Expr' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Expr' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Solver' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Solver' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Module' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Module' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Core' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Core' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/lib' > make[1]: Entering directory `/home/shul/workspace/klee/klee/tools' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/klee' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/klee' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/kleaver' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/kleaver' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/ktest-tool' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/ktest-tool' > make[2]: Entering directory > `/home/shul/workspace/klee/klee/tools/gen-random-bout' > make[2]: Leaving directory > `/home/shul/workspace/klee/klee/tools/gen-random-bout' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/klee-stats' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/klee-stats' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/tools' > make[1]: Entering directory `/home/shul/workspace/klee/klee/runtime' > make[2]: Entering directory `/home/shul/workspace/klee/klee/runtime/Intrinsic' > /home/shul/workspace/llvm-2.7/Makefile.rules:1114: Bytecode libraries > require LLVM capable compiler but none is available **** > make[2]: Leaving directory `/home/shul/workspace/klee/klee/runtime/Intrinsic' > make[2]: Entering directory `/home/shul/workspace/klee/klee/runtime/klee-libc' > /home/shul/workspace/llvm-2.7/Makefile.rules:1114: Bytecode libraries > require LLVM capable compiler but none is available **** > make[2]: Leaving directory `/home/shul/workspace/klee/klee/runtime/klee-libc' > make[2]: Entering directory `/home/shul/workspace/klee/klee/runtime/Runtest' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/runtime/Runtest' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/runtime' > make -C test clean > make[1]: Entering directory `/home/shul/workspace/klee/klee/test' > /bin/rm -f a.out core > /bin/rm -rf Output/ > /bin/rm -rf `find /home/shul/workspace/klee/klee/test -name Output > -type d -print` > /bin/rm -rf `find /home/shul/workspace/klee/klee/test -name 'ft-out*' > -type d -print` > /bin/rm -rf `find /home/shul/workspace/klee/klee/test -name 'ft-last' -print` > /bin/rm -rf `find /home/shul/workspace/klee/klee/test -name 'klee-last'` > /bin/rm -rf `find /home/shul/workspace/klee/klee/test -name 'klee-out*'` > /bin/rm -rf `find /home/shul/workspace/klee/klee/test -name '*~'` > /bin/rm -rf `find /home/shul/workspace/klee/klee/test -name test.log` > rm -f site.exp > make[1]: Leaving directory `/home/shul/workspace/klee/klee/test' > make -C unittests clean > make[1]: Entering directory `/home/shul/workspace/klee/klee/unittests' > make[2]: Entering directory `/home/shul/workspace/klee/klee/unittests/Expr' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/unittests/Expr' > make[2]: Entering directory `/home/shul/workspace/klee/klee/unittests/Solver' > make[2]: Leaving directory `/home/shul/workspace/klee/klee/unittests/Solver' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/unittests' > rm -rf docs/doxygen > [shul at localhost klee]$ make ENABLE_OPTIMIZED=1 > make[1]: Entering directory `/home/shul/workspace/klee/klee/stp' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/AST' > llvm[2]: Compiling AST.cpp for Release build > llvm[2]: Compiling ASTKind.cpp for Release build > llvm[2]: Compiling ASTUtil.cpp for Release build > llvm[2]: Compiling BitBlast.cpp for Release build > llvm[2]: Compiling SimpBool.cpp for Release build > llvm[2]: Compiling ToCNF.cpp for Release build > llvm[2]: Compiling ToSAT.cpp for Release build > llvm[2]: Compiling Transform.cpp for Release build > llvm[2]: Building Release Archive Library libstp_AST.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/AST' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/bitvec' > llvm[2]: Compiling consteval.cpp for Release build > llvm[2]: Building Release Archive Library libstp_bitvec.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/bitvec' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/c_interface' > llvm[2]: Compiling c_interface.cpp for Release build > llvm[2]: Building Release Archive Library libstp_c_interface.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/c_interface' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/constantbv' > llvm[2]: Compiling constantbv.cpp for Release build > llvm[2]: Building Release Archive Library libstp_constantbv.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/constantbv' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/sat' > llvm[2]: Compiling Simplifier.cpp for Release build > llvm[2]: Compiling Solver.cpp for Release build > llvm[2]: Building Release Archive Library libstp_sat.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/sat' > make[2]: Entering directory `/home/shul/workspace/klee/klee/stp/simplifier' > llvm[2]: Compiling bvsolver.cpp for Release build > llvm[2]: Compiling simplifier.cpp for Release build > llvm[2]: Building Release Archive Library libstp_simplifier.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/stp/simplifier' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/stp' > make[1]: Entering directory `/home/shul/workspace/klee/klee/lib' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Basic' > llvm[2]: Compiling KTest.cpp for Release build > llvm[2]: Compiling Statistics.cpp for Release build > llvm[2]: Building Release Archive Library libkleeBasic.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Basic' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Support' > llvm[2]: Compiling RNG.cpp for Release build > llvm[2]: Compiling Time.cpp for Release build > llvm[2]: Compiling Timer.cpp for Release build > llvm[2]: Compiling TreeStream.cpp for Release build > llvm[2]: Building Release Archive Library libkleeSupport.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Support' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Expr' > llvm[2]: Compiling Constraints.cpp for Release build > llvm[2]: Compiling Expr.cpp for Release build > llvm[2]: Compiling ExprBuilder.cpp for Release build > llvm[2]: Compiling ExprEvaluator.cpp for Release build > llvm[2]: Compiling ExprPPrinter.cpp for Release build > llvm[2]: Compiling ExprUtil.cpp for Release build > llvm[2]: Compiling ExprVisitor.cpp for Release build > llvm[2]: Compiling Lexer.cpp for Release build > llvm[2]: Compiling Parser.cpp for Release build > llvm[2]: Compiling Updates.cpp for Release build > llvm[2]: Building Release Archive Library libkleaverExpr.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Expr' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Solver' > llvm[2]: Compiling CachingSolver.cpp for Release build > llvm[2]: Compiling CexCachingSolver.cpp for Release build > llvm[2]: Compiling ConstantDivision.cpp for Release build > llvm[2]: Compiling FastCexSolver.cpp for Release build > llvm[2]: Compiling IncompleteSolver.cpp for Release build > llvm[2]: Compiling IndependentSolver.cpp for Release build > llvm[2]: Compiling PCLoggingSolver.cpp for Release build > llvm[2]: Compiling STPBuilder.cpp for Release build > llvm[2]: Compiling Solver.cpp for Release build > llvm[2]: Compiling SolverStats.cpp for Release build > llvm[2]: Building Release Archive Library libkleaverSolver.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Solver' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Module' > llvm[2]: Compiling Checks.cpp for Release build > llvm[2]: Compiling InstructionInfoTable.cpp for Release build > llvm[2]: Compiling IntrinsicCleaner.cpp for Release build > llvm[2]: Compiling KInstruction.cpp for Release build > llvm[2]: Compiling KModule.cpp for Release build > llvm[2]: Compiling LowerSwitch.cpp for Release build > llvm[2]: Compiling ModuleUtil.cpp for Release build > llvm[2]: Compiling Optimize.cpp for Release build > llvm[2]: Compiling PhiCleaner.cpp for Release build > llvm[2]: Compiling RaiseAsm.cpp for Release build > llvm[2]: Building Release Archive Library libkleeModule.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Module' > make[2]: Entering directory `/home/shul/workspace/klee/klee/lib/Core' > llvm[2]: Compiling AddressSpace.cpp for Release build > llvm[2]: Compiling CallPathManager.cpp for Release build > llvm[2]: Compiling Common.cpp for Release build > llvm[2]: Compiling Context.cpp for Release build > llvm[2]: Compiling CoreStats.cpp for Release build > llvm[2]: Compiling ExecutionState.cpp for Release build > llvm[2]: Compiling Executor.cpp for Release build > llvm[2]: Compiling ExecutorTimers.cpp for Release build > llvm[2]: Compiling ExecutorUtil.cpp for Release build > llvm[2]: Compiling ExternalDispatcher.cpp for Release build > llvm[2]: Compiling ImpliedValue.cpp for Release build > llvm[2]: Compiling Memory.cpp for Release build > llvm[2]: Compiling MemoryManager.cpp for Release build > llvm[2]: Compiling PTree.cpp for Release build > llvm[2]: Compiling Searcher.cpp for Release build > llvm[2]: Compiling SeedInfo.cpp for Release build > llvm[2]: Compiling SpecialFunctionHandler.cpp for Release build > llvm[2]: Compiling StatsTracker.cpp for Release build > llvm[2]: Compiling TimingSolver.cpp for Release build > llvm[2]: Compiling UserSearcher.cpp for Release build > llvm[2]: Building Release Archive Library libkleeCore.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/lib/Core' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/lib' > make[1]: Entering directory `/home/shul/workspace/klee/klee/tools' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/klee' > llvm[2]: Compiling Debug.cpp for Release build > llvm[2]: Compiling main.cpp for Release build > llvm[2]: Linking Release executable klee (without symbols) > llvm[2]: ======= Finished Linking Release Executable klee (without symbols) > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/klee' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/kleaver' > llvm[2]: Compiling main.cpp for Release build > llvm[2]: Linking Release executable kleaver (without symbols) > llvm[2]: ======= Finished Linking Release Executable kleaver (without symbols) > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/kleaver' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/ktest-tool' > llvm[2]: Copying Release script ktest-tool > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/ktest-tool' > make[2]: Entering directory > `/home/shul/workspace/klee/klee/tools/gen-random-bout' > llvm[2]: Compiling gen-random-bout.cpp for Release build > llvm[2]: Linking Release executable gen-random-bout (without symbols) > llvm[2]: ======= Finished Linking Release Executable gen-random-bout > (without symbols) > make[2]: Leaving directory > `/home/shul/workspace/klee/klee/tools/gen-random-bout' > make[2]: Entering directory `/home/shul/workspace/klee/klee/tools/klee-stats' > llvm[2]: Copying Release script klee-stats > make[2]: Leaving directory `/home/shul/workspace/klee/klee/tools/klee-stats' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/tools' > make[1]: Entering directory `/home/shul/workspace/klee/klee/runtime' > make[2]: Entering directory `/home/shul/workspace/klee/klee/runtime/Intrinsic' > /home/shul/workspace/llvm-2.7/Makefile.rules:1114: Bytecode libraries > require LLVM capable compiler but none is available **** > llvm[2]: Compiling klee_div_zero_check.c for Release build > llvm[2]: Compiling klee_int.c for Release build > llvm[2]: Compiling klee_range.c for Release build > llvm[2]: Compiling memcpy.c for Release build > llvm[2]: Compiling memmove.c for Release build > llvm[2]: Compiling mempcpy.c for Release build > llvm[2]: Compiling memset.c for Release build > llvm[2]: Building Release Archive Library libkleeRuntimeIntrinsic.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/runtime/Intrinsic' > make[2]: Entering directory `/home/shul/workspace/klee/klee/runtime/klee-libc' > /home/shul/workspace/llvm-2.7/Makefile.rules:1114: Bytecode libraries > require LLVM capable compiler but none is available **** > llvm[2]: Compiling __cxa_atexit.c for Release build > llvm[2]: Compiling abort.c for Release build > llvm[2]: Compiling atexit.c for Release build > llvm[2]: Compiling atoi.c for Release build > llvm[2]: Compiling calloc.c for Release build > llvm[2]: Compiling htonl.c for Release build > llvm[2]: Compiling klee-choose.c for Release build > llvm[2]: Compiling memchr.c for Release build > llvm[2]: Compiling memcmp.c for Release build > llvm[2]: Compiling memcpy.c for Release build > llvm[2]: Compiling memmove.c for Release build > llvm[2]: Compiling mempcpy.c for Release build > llvm[2]: Compiling memset.c for Release build > llvm[2]: Compiling putchar.c for Release build > llvm[2]: Compiling stpcpy.c for Release build > llvm[2]: Compiling strcat.c for Release build > llvm[2]: Compiling strchr.c for Release build > llvm[2]: Compiling strcmp.c for Release build > llvm[2]: Compiling strcoll.c for Release build > llvm[2]: Compiling strcpy.c for Release build > llvm[2]: Compiling strlen.c for Release build > llvm[2]: Compiling strncmp.c for Release build > llvm[2]: Compiling strncpy.c for Release build > llvm[2]: Compiling strrchr.c for Release build > llvm[2]: Compiling strtol.c for Release build > llvm[2]: Compiling strtoul.c for Release build > llvm[2]: Compiling tolower.c for Release build > llvm[2]: Compiling toupper.c for Release build > llvm[2]: Building Release Archive Library libklee-libc.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/runtime/klee-libc' > make[2]: Entering directory `/home/shul/workspace/klee/klee/runtime/Runtest' > llvm[2]: Compiling intrinsics.c for Release build (PIC) > llvm[2]: Linking Release Shared Library kleeRuntest.so > llvm[2]: Building Release Archive Library libkleeRuntest.a > make[2]: Leaving directory `/home/shul/workspace/klee/klee/runtime/Runtest' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/runtime' > [shul at localhost klee]$ make check > llvm[0]: Running test suite > make[1]: Entering directory `/home/shul/workspace/klee/klee/test' > Making a new site.exp file... > ( ulimit -t 600 ; ulimit -d 512000 ; \ > ? ? ? ? > ?PATH="/home/shul/workspace/klee/klee/Release/bin:/home/shul/workspace/llvm-2.7/Release/bin:/home/shul/workspace/llvm-2.7/test/Scripts:/usr/lib64/qt-3.3/bin:/usr/kerberos/sbin:/usr/kerberos/bin:/usr/lib64/ccache:/usr/local/bin:/usr/bin:/bin:/usr/games:/usr/local/sbin:/usr/sbin:/sbin:/usr/lib64/alliance/bin:/usr/libexec/sdcc:/home/shul/bin:/home/shul/workspace/llvm-gcc-4.2-2.6-x86_64-linux/bin:/usr/lib64/alliance/bin:/usr/libexec/sdcc" > \ > ? ? ? ? ?/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 shul on Sun May ?2 14:12:00 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/shul/workspace/klee/klee/test/CXX/dg.exp ... > FAIL: /home/shul/workspace/klee/klee/test/CXX/ArrayNew.cpp > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/CXX/ArrayNew.cpp -emit-llvm -O0 -c > -o ArrayNew.cpp.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/CXX/New.cpp > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/CXX/New.cpp -emit-llvm -O0 -c -o > New.cpp.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/CXX/SimpleVirtual.cpp > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/CXX/SimpleVirtual.cpp -emit-llvm > -O0 -c -o SimpleVirtual.cpp.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/CXX/StaticConstructor.cpp > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/CXX/StaticConstructor.cpp > -emit-llvm -O0 -c -o StaticConstructor.cpp.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/CXX/StaticDestructor.cpp > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/CXX/StaticDestructor.cpp > -emit-llvm -g -O0 -c -o StaticDestructor.cpp.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/CXX/Trivial.cpp > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/CXX/Trivial.cpp -emit-llvm -O0 -c > -o Trivial.cpp.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > Running /home/shul/workspace/klee/klee/test/Coverage/dg.exp ... > FAIL: /home/shul/workspace/klee/klee/test/Coverage/ReadArgs.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Coverage/ReadArgs.c -emit-llvm -O0 > -c -o ReadArgs.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Coverage/ReplayOutDir.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Coverage/ReplayOutDir.c -emit-llvm > -O0 -c -o ReplayOutDir.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > Running /home/shul/workspace/klee/klee/test/Dogfood/dg.exp ... > FAIL: /home/shul/workspace/klee/klee/test/Dogfood/ImmutableSet.cpp > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > -I../../../include -g -DMAX_ELEMENTS=4 -fno-exceptions -emit-llvm -c > -o ImmutableSet.cpp.tmp1.bc > /home/shul/workspace/klee/klee/test/Dogfood/ImmutableSet.cpp > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > Running /home/shul/workspace/klee/klee/test/Expr/Lexer/dg.exp ... > Running /home/shul/workspace/klee/klee/test/Expr/Parser/dg.exp ... > Running /home/shul/workspace/klee/klee/test/Expr/dg.exp ... > Running /home/shul/workspace/klee/klee/test/Feature/dg.exp ... > FAIL: /home/shul/workspace/klee/klee/test/Feature/Alias.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/Alias.c -emit-llvm -g -c > -o Alias.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/AliasFunction.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/AliasFunction.c -emit-llvm > -O0 -c -o AliasFunction.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/AliasFunctionExit.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/AliasFunctionExit.c > -emit-llvm -O0 -c -o AliasFunctionExit.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/AsmAddresses.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm -g > -c -o AsmAddresses.c.tmp.bc > /home/shul/workspace/klee/klee/test/Feature/AsmAddresses.c > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/ByteSwap.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/ByteSwap.c -emit-llvm -O0 > -c -o ByteSwap.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/CallToUndefinedExternal.cpp > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/CallToUndefinedExternal.cpp > -emit-llvm -g -c -o CallToUndefinedExternal.cpp.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/CheckMemoryAccess.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm -g > -c /home/shul/workspace/klee/klee/test/Feature/CheckMemoryAccess.c -o > CheckMemoryAccess.c.tmp.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/CopyOnWrite.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/CopyOnWrite.c -emit-llvm > -g -c -o CopyOnWrite.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/DanglingConcreteReadExpr.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/DanglingConcreteReadExpr.c > -emit-llvm -O0 -c -o DanglingConcreteReadExpr.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/DefineFixedObject.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm -c > -o DefineFixedObject.c.tmp1.bc > /home/shul/workspace/klee/klee/test/Feature/DefineFixedObject.c > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/DoubleFree.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/DoubleFree.c -emit-llvm > -O0 -c -o DoubleFree.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/DumpStatesOnHalt.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/DumpStatesOnHalt.c -g > -emit-llvm -O0 -c -o DumpStatesOnHalt.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/Envp.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/Envp.c -emit-llvm -g -c -o > Envp.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/ExprLogging.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/ExprLogging.c -emit-llvm > -g -O0 -c -o ExprLogging.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/ExternalWeakLinkage.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/ExternalWeakLinkage.c > -emit-llvm -g -c -o ExternalWeakLinkage.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/Float.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm -g > -c /home/shul/workspace/klee/klee/test/Feature/Float.c -o > Float.c.tmp.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/FunctionPointer.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/FunctionPointer.c > -emit-llvm -g -c -o FunctionPointer.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/GetValue.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm -c > -o GetValue.c.tmp1.bc > /home/shul/workspace/klee/klee/test/Feature/GetValue.c > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/InAndOutOfBounds.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/InAndOutOfBounds.c > -emit-llvm -O0 -c -o InAndOutOfBounds.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/IndirectCallToBuiltin.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/IndirectCallToBuiltin.c > -emit-llvm -g -c -o IndirectCallToBuiltin.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/IndirectCallToExternal.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/IndirectCallToExternal.c > -emit-llvm -g -c -o IndirectCallToExternal.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/IsSymbolic.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/IsSymbolic.c -emit-llvm > -O0 -c -o IsSymbolic.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/KleeReportError.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/KleeReportError.c > -emit-llvm -O0 -c -o KleeReportError.c.tmp2.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/LongDouble.cpp > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > -I../../../include -g -fno-exceptions -emit-llvm -O0 -c -o > LongDouble.cpp.tmp.bc > /home/shul/workspace/klee/klee/test/Feature/LongDouble.cpp > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/LongDoubleSupport.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/LongDoubleSupport.c > -emit-llvm -O0 -c -o LongDoubleSupport.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/LowerSwitch.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/LowerSwitch.c -emit-llvm > -g -c -o LowerSwitch.c.tmp.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/MakeConcreteSymbolic.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/MakeConcreteSymbolic.c > -emit-llvm -g -c -o MakeConcreteSymbolic.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/MakeSymbolicName.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/MakeSymbolicName.c > -emit-llvm -g -c -o MakeSymbolicName.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/MemoryLimit.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > -DLITTLE_ALLOC -g -c > /home/shul/workspace/klee/klee/test/Feature/MemoryLimit.c -o > MemoryLimit.c.tmp.little.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/MultipleFreeResolution.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/MultipleFreeResolution.c > -emit-llvm -O0 -c -o MultipleFreeResolution.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/MultipleReadResolution.c > Failed with posix(ENOENT,no such file or directory) at line 5 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/MultipleReadResolution.c > -emit-llvm -O0 -c -o MultipleReadResolution.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/MultipleReallocResolution.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/MultipleReallocResolution.c > -emit-llvm -O0 -c -o MultipleReallocResolution.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/MultipleWriteResolution.c > Failed with posix(ENOENT,no such file or directory) at line 5 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/MultipleWriteResolution.c > -emit-llvm -O0 -c -o MultipleWriteResolution.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/NamedSeedMatching.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm -c > -g /home/shul/workspace/klee/klee/test/Feature/NamedSeedMatching.c -o > NamedSeedMatching.c.tmp.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/OneFreeError.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/OneFreeError.c -emit-llvm > -O0 -c -o OneFreeError.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/OneOutOfBounds.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/OneOutOfBounds.c > -emit-llvm -O0 -c -o OneOutOfBounds.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/Optimize.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/Optimize.c -emit-llvm -O0 > -c -o Optimize.c.tmp2.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/OverlappedError.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/OverlappedError.c -g > -emit-llvm -O0 -c -o OverlappedError.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/PreferCex.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/PreferCex.c -emit-llvm -O0 > -c -o PreferCex.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/RaiseAsm.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/RaiseAsm.c -emit-llvm -O0 > -c -o RaiseAsm.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/ReallocFailure.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/ReallocFailure.c > -emit-llvm -O0 -c -o ReallocFailure.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/ReplayPath.c > Failed with posix(ENOENT,no such file or directory) at line 6 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/ReplayPath.c -emit-llvm > -O0 -c -o ReplayPath.c.tmp2.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/Searchers.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/Searchers.c -emit-llvm -O0 > -c -o Searchers.c.tmp2.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/SetForking.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm -g > -c /home/shul/workspace/klee/klee/test/Feature/SetForking.c -o > SetForking.c.tmp.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/Vararg.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/Vararg.c -emit-llvm -O0 -c > -o Vararg.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/WithLibc.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/WithLibc.c -emit-llvm -O0 > -c -o WithLibc.c.tmp2.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/WriteCov.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/WriteCov.c -emit-llvm -g > -c -o WriteCov.c.tmp2.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/Feature/const_array_opt1.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/Feature/const_array_opt1.c > -emit-llvm -O0 -c -o const_array_opt1.c.tmp.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > Running /home/shul/workspace/klee/klee/test/Programs/dg.exp ... > Running /home/shul/workspace/klee/klee/test/Runtime/POSIX/dg.exp ... > Running /home/shul/workspace/klee/klee/test/Runtime/Uclibc/dg.exp ... > Running /home/shul/workspace/klee/klee/test/Solver/dg.exp ... > Running /home/shul/workspace/klee/klee/test/regression/dg.exp ... > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-07-25-invalid-stp-array-binding-to-objectstate.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-07-25-invalid-stp-array-binding-to-objectstate.c > -emit-llvm -O0 -c -o > 2007-07-25-invalid-stp-array-binding-to-objectstate.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-07-30-unflushed-byte.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-07-30-unflushed-byte.c > -emit-llvm -O0 -c -o 2007-07-30-unflushed-byte.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-08-01-bool-zext-in-call.ll > Failed with signal(SIGABRT) at line 1 > while running: llvm-as -f > /home/shul/workspace/klee/klee/test/regression/2007-08-01-bool-zext-in-call.ll > -o - | klee 2> 2007-08-01-bool-zext-in-call.ll.tmp1.log > child killed: SIGABRT > > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c > -emit-llvm -O0 -c -o > 2007-08-01-cache-unclear-on-overwrite-flushed.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/regression/2007-08-06-64bit-shift.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-08-06-64bit-shift.c > -emit-llvm -O0 -c -o 2007-08-06-64bit-shift.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-08-06-access-after-free.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-08-06-access-after-free.c > -emit-llvm -O0 -c -o 2007-08-06-access-after-free.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: /home/shul/workspace/klee/klee/test/regression/2007-08-08-free-zero.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-08-08-free-zero.c > -emit-llvm -O0 -c -o 2007-08-08-free-zero.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-08-16-invalid-constant-value.c > Failed with posix(ENOENT,no such file or directory) at line 2 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-08-16-invalid-constant-value.c > -emit-llvm -O2 -c -o 2007-08-16-invalid-constant-value.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-08-16-valid-write-to-freed-object.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-08-16-valid-write-to-freed-object.c > -emit-llvm -O0 -c -o 2007-08-16-valid-write-to-freed-object.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-10-11-free-of-alloca.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-10-11-free-of-alloca.c > -emit-llvm -O0 -c -o 2007-10-11-free-of-alloca.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-10-11-illegal-access-after-free-and-branch.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-10-11-illegal-access-after-free-and-branch.c > -emit-llvm -g -c -o > 2007-10-11-illegal-access-after-free-and-branch.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-10-12-failed-make-symbolic-after-copy.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2007-10-12-failed-make-symbolic-after-copy.c > -emit-llvm -O0 -c -o > 2007-10-12-failed-make-symbolic-after-copy.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll > Failed with signal(SIGABRT) at line 1 > while running: llvm-as -f > /home/shul/workspace/klee/klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll > -o - | klee --no-output --exit-on-error > KLEE: output directory = "klee-out-1" > klee: error: Cannot find linker input > '/home/shul/workspace/klee/klee/Release/lib/libkleeRuntimeIntrinsic.bca' > klee: ModuleUtil.cpp:42: llvm::Module* > klee::linkWithLibrary(llvm::Module*, const std::string&): Assertion `0 > && "linking in library failed!"' failed. > 0 ?klee ? ? ? ? ? ?0x0000000000c1f30f > 1 ?klee ? ? ? ? ? ?0x0000000000c1fafd > 2 ?libpthread.so.0 0x00007f26906680f0 > 3 ?libc.so.6 ? ? ? 0x00007f268fe8a6d5 gsignal + 53 > 4 ?libc.so.6 ? ? ? 0x00007f268fe8beb5 abort + 373 > 5 ?libc.so.6 ? ? ? 0x00007f268fe837c5 __assert_fail + 245 > 6 ?klee ? ? ? ? ? ?0x000000000056f43a > klee::linkWithLibrary(llvm::Module*, std::string const&) + 186 > 7 ?klee ? ? ? ? ? ?0x000000000056c4ff > klee::KModule::prepare(klee::Interpreter::ModuleOptions const&, > klee::InterpreterHandler*) + 2047 > 8 ?klee ? ? ? ? ? ?0x000000000052b275 > klee::Executor::setModule(llvm::Module*, > klee::Interpreter::ModuleOptions const&) + 165 > 9 ?klee ? ? ? ? ? ?0x00000000005251f7 main + 4743 > 10 libc.so.6 ? ? ? 0x00007f268fe76b1d __libc_start_main + 253 > 11 klee ? ? ? ? ? ?0x000000000051e8b9 > > FAIL: > /home/shul/workspace/klee/klee/test/regression/2008-03-04-free-of-global.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2008-03-04-free-of-global.c > -emit-llvm -O0 -c -o 2008-03-04-free-of-global.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2008-03-11-free-of-malloc-zero.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2008-03-11-free-of-malloc-zero.c > -emit-llvm -O0 -c -o 2008-03-11-free-of-malloc-zero.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2008-04-10-bad-alloca-free.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > /home/shul/workspace/klee/klee/test/regression/2008-04-10-bad-alloca-free.c > -emit-llvm -O0 -c -o 2008-04-10-bad-alloca-free.c.tmp1.bc > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > FAIL: > /home/shul/workspace/klee/klee/test/regression/2008-05-23-gep-with-global-const.c > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: ?-I/home/shul/workspace/klee/klee/include -emit-llvm > -O0 -c -o 2008-05-23-gep-with-global-const.c.tmp.bc > /home/shul/workspace/klee/klee/test/regression/2008-05-23-gep-with-global-const.c > couldn't execute "-I/home/shul/workspace/klee/klee/include": no such > file or directory > > ? ? ? ? ? ? ? ?=== ?Summary === > > # of expected passes ? ? ? ? ? ?10 > # of unexpected failures ? ? ? ?74 > # of expected failures ? ? ? ? ?2 > FAIL: /home/shul/workspace/klee/klee/test/CXX/ArrayNew.cpp > FAIL: /home/shul/workspace/klee/klee/test/CXX/New.cpp > FAIL: /home/shul/workspace/klee/klee/test/CXX/SimpleVirtual.cpp > FAIL: /home/shul/workspace/klee/klee/test/CXX/StaticConstructor.cpp > FAIL: /home/shul/workspace/klee/klee/test/CXX/StaticDestructor.cpp > FAIL: /home/shul/workspace/klee/klee/test/CXX/Trivial.cpp > FAIL: /home/shul/workspace/klee/klee/test/Coverage/ReadArgs.c > FAIL: /home/shul/workspace/klee/klee/test/Coverage/ReplayOutDir.c > FAIL: /home/shul/workspace/klee/klee/test/Dogfood/ImmutableSet.cpp > XFAIL: /home/shul/workspace/klee/klee/test/Expr/Evaluate2.pc > FAIL: /home/shul/workspace/klee/klee/test/Feature/Alias.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/AliasFunction.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/AliasFunctionExit.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/AsmAddresses.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/ByteSwap.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/CallToUndefinedExternal.cpp > FAIL: /home/shul/workspace/klee/klee/test/Feature/CheckMemoryAccess.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/CopyOnWrite.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/DanglingConcreteReadExpr.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/DefineFixedObject.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/DoubleFree.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/DumpStatesOnHalt.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/Envp.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/ExprLogging.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/ExternalWeakLinkage.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/Float.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/FunctionPointer.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/GetValue.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/InAndOutOfBounds.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/IndirectCallToBuiltin.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/IndirectCallToExternal.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/IsSymbolic.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/KleeReportError.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/LongDouble.cpp > FAIL: /home/shul/workspace/klee/klee/test/Feature/LongDoubleSupport.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/LowerSwitch.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/MakeConcreteSymbolic.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/MakeSymbolicName.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/MemoryLimit.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/MultipleFreeResolution.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/MultipleReadResolution.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/MultipleReallocResolution.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/MultipleWriteResolution.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/NamedSeedMatching.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/OneFreeError.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/OneOutOfBounds.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/Optimize.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/OverlappedError.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/PreferCex.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/RaiseAsm.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/ReallocFailure.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/ReplayPath.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/Searchers.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/SetForking.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/Vararg.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/WithLibc.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/WriteCov.c > FAIL: /home/shul/workspace/klee/klee/test/Feature/const_array_opt1.c > XFAIL: /home/shul/workspace/klee/klee/test/Programs/pcregrep.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-07-25-invalid-stp-array-binding-to-objectstate.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-07-30-unflushed-byte.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-08-01-bool-zext-in-call.ll > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c > FAIL: /home/shul/workspace/klee/klee/test/regression/2007-08-06-64bit-shift.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-08-06-access-after-free.c > FAIL: /home/shul/workspace/klee/klee/test/regression/2007-08-08-free-zero.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-08-16-invalid-constant-value.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-08-16-valid-write-to-freed-object.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-10-11-free-of-alloca.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-10-11-illegal-access-after-free-and-branch.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2007-10-12-failed-make-symbolic-after-copy.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll > FAIL: > /home/shul/workspace/klee/klee/test/regression/2008-03-04-free-of-global.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2008-03-11-free-of-malloc-zero.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2008-04-10-bad-alloca-free.c > FAIL: > /home/shul/workspace/klee/klee/test/regression/2008-05-23-gep-with-global-const.c > make[1]: *** [check-local] Error 1 > make[1]: Leaving directory `/home/shul/workspace/klee/klee/test' > make: *** [check] Error 2 > [shul at localhost klee]$ make unittests > llvm[0]: Running unittests test suite > make[1]: Entering directory `/home/shul/workspace/klee/klee/unittests' > make[2]: Entering directory `/home/shul/workspace/klee/klee/unittests/Expr' > llvm[2]: Compiling ExprTest.cpp for Release build > llvm[2]: Linking Release unit test Expr (without symbols) > llvm[2]: ======= Finished Linking Release Unit test Expr (without symbols) > Release/ExprTests > [==========] Running 3 tests from 1 test case. > [----------] Global test environment set-up. > [----------] 3 tests from ExprTest > [ RUN ? ? ?] ExprTest.BasicConstruction > [ ? ? ? OK ] ExprTest.BasicConstruction > [ RUN ? ? ?] ExprTest.ConcatExtract > [ ? ? ? OK ] ExprTest.ConcatExtract > [ RUN ? ? ?] ExprTest.ExtractConcat > [ ? ? ? OK ] ExprTest.ExtractConcat > [----------] Global test environment tear-down > [==========] 3 tests from 1 test case ran. > [ ?PASSED ?] 3 tests. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/unittests/Expr' > make[2]: Entering directory `/home/shul/workspace/klee/klee/unittests/Solver' > llvm[2]: Compiling SolverTest.cpp for Release build > llvm[2]: Linking Release unit test Solver (without symbols) > llvm[2]: ======= Finished Linking Release Unit test Solver (without symbols) > Release/SolverTests > [==========] Running 1 test from 1 test case. > [----------] Global test environment set-up. > [----------] 1 test from SolverTest > [ RUN ? ? ?] SolverTest.Evaluation > [ ? ? ? OK ] SolverTest.Evaluation > [----------] Global test environment tear-down > [==========] 1 test from 1 test case ran. > [ ?PASSED ?] 1 test. > make[2]: Leaving directory `/home/shul/workspace/klee/klee/unittests/Solver' > make[1]: Leaving directory `/home/shul/workspace/klee/klee/unittests' > [shul at localhost klee]$ > > > On Sun, May 2, 2010 at 4:21 PM, Daniel Dunbar <daniel at zuster.org> wrote: >> Hi Vladimir, >> >> On Mon, Mar 22, 2010 at 9:48 PM, Vladimir G. Ivanovic <vladimir at acm.org> >> wrote: >>> on 03/13/2010 09:36 PM Daniel Dunbar said the following: >>> >>>> I just checked in a patch for building KLEE with LLVM 2.7. I have >>>> tested it on Linux x86_32 with LLVM 2.6 and 2.7 and on Darwin x86_32 >>>> and x86_64. I'd appreciate it if someone can test it on Linux x86_64. >>>> >>>> Please let me know of any problems. >>>> >>> I cannot build on Fedora 12 x86_64. >>> ? ? ? ?$ svn co http://llvm.org/svn/llvm-project/klee/trunk klee >>> ? ? ? ?$ cd klee >>> ? ? ? ?$ CXXFLAGS="-Wno-deprecated" ./configure >>> --with-llvm=/usr/local/src/llvm >>> ? ? ? ?$ make >>> ==> >>> make[2]: Entering directory `/usr/local/src/klee/runtime/klee-libc' >>> llvm[2]: Compiling __cxa_atexit.c for Release build (bytecode) >>> llvm[2]: Compiling __cxa_atexit.ll to __cxa_atexit.bc for Release build >>> (bytecode) >>> llvm[2]: Compiling abort.c for Release build (bytecode) >>> ... >>> llvm[2]: Compiling toupper.ll to toupper.bc for Release build (bytecode) >>> llvm[2]: Building Release Bytecode Archive libklee-libc.bca >>> llvm[2]: Compiling __cxa_atexit.c for Release build >>> llvm[2]: Compiling abort.c for Release build >>> llvm[2]: Compiling atexit.c for Release build >>> llvm[2]: Compiling atoi.c for Release build >>> atoi.c:35:5: error: redefinition of 'atoi' >>> int atoi(const char *str) { >>> ? ?^ >>> In file included from atoi.c:33: >>> /usr/include/stdlib.h:284:1: note: previous definition is here >>> __NTH (atoi (__const char *__nptr)) >>> ^ >>> /usr/include/stdlib.h:284:8: note: instantiated from: >>> __NTH (atoi (__const char *__nptr)) >>> ? ? ? ^ >>> 2 diagnostics generated. >> >> Thanks for the report, this should be fixed in r102868. >> >>> make[2]: *** [/usr/local/src/klee/runtime/klee-libc/Release/atoi.o] Error 1 >>> make[2]: Leaving directory `/usr/local/src/klee/runtime/klee-libc' >>> make[1]: *** [klee-libc/.makeall] Error 2 >>> make[1]: Leaving directory `/usr/local/src/klee/runtime' >>> make: *** [all] Error 1 >>> >>> The "-Wno-deprecated" flag is necessary to get rid of the warning: >>> ? ? ? ?In file included from >>> /usr/lib/gcc/x86_64-redhat-linux/4.4.3/../../../../include/c++/4.4.3/ext/hash_set:59, >>> ? ? ? ? ? ? ? ? from AST.h:14, >>> ? ? ? ? ? ? ? ? from AST.cpp:10: >>> ? ? ? >>> ?/usr/lib/gcc/x86_64-redhat-linux/4.4.3/../../../../include/c++/4.4.3/backward/backward_warning.h:28:2: >>> warning: #warning This file includes at least one deprecated or antiquated >>> header which may be removed without further notice at a future date. Please >>> use a non-deprecated interface with equivalent functionality instead. For a >>> listing of replacement headers and interfaces, consult the file >>> backward_warning.h. To disable this warning use -Wno-deprecated. >>> that occurs for many source file compilations. >> >> "Fixed" in r102875. >> >> ?- Daniel >> >>> I am using >>> ? ? ? ?$ g++ -v >>> ? ? ? ?Using built-in specs. >>> ? ? ? ?Target: x86_64-redhat-linux >>> ? ? ? ?Configured with: ../configure --prefix=/usr --mandir=/usr/share/man >>> --infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla >>> --enable-bootstrap --enable-shared --enable-threads=posix >>> --enable-checking=release --with-system-zlib --enable-__cxa_atexit >>> --disable-libunwind-exceptions --enable-gnu-unique-object >>> --enable-languages=c,c++,objc,obj-c++,java,fortran,ada >>> --enable-java-awt=gtk --disable-dssi --enable-plugin >>> --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-1.5.0.0/jre >>> --enable-libgcj-multifile --enable-java-maintainer-mode >>> --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --disable-libjava-multilib >>> --with-ppl --with-cloog --with-tune=generic --with-arch_32=i686 >>> --build=x86_64-redhat-linux >>> ? ? ? ?Thread model: posix >>> ? ? ? ?gcc version 4.4.3 20100127 (Red Hat 4.4.3-4) (GCC) >>> >>> I used to be able to build the llvm-2.6 version of klee with the released >>> llvm-2.6. However, since I don't know the correct Subversion incantation to >>> get the 2.6 version of klee back, I'm stuck. >>> >>> --- Vladimir >>> >>> Vladimir G. Ivanovic ? ? ? ? ? ? ? ? ? ? ? ? ? ?http://www.leonora.org >>> +1 650 450 4101 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? vladimir at acm.org >>> >>> >>> >>> _______________________________________________ >>> klee-dev mailing list >>> klee-dev at keeda.stanford.edu >>> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >>> >>> >> _______________________________________________ >> klee-dev mailing list >> klee-dev at keeda.stanford.edu >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >> >
