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
>
