Log File contents

(view as text)
nice -n 10 make check
 in dir /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee (timeout 1200 secs)
 watching logfiles {'dg.sum': 'test/testrun.sum'}
 argv: ['nice', '-n', '10', 'make', 'check']
 environment:
  HISTCONTROL=ignoreboth
  HOME=/home/klee-buildslave
  LANG=en_US.UTF-8
  LESSCLOSE=/usr/bin/lesspipe %s %s
  LESSOPEN=| /usr/bin/lesspipe %s
  LOGNAME=klee-buildslave
  LS_COLORS=no=00:fi=00:di=01;34:ln=01;36:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.svgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.lzma=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.yuv=01;35:*.aac=00;36:*.au=00;36:*.flac=00;36:*.mid=00;36:*.midi=00;36:*.mka=00;36:*.mp3=00;36:*.mpc=00;36:*.ogg=00;36:*.ra=00;36:*.wav=00;36:
  MAIL=/var/mail/klee-buildslave
  OLDPWD=/home/klee-buildslave
  PATH=/home/klee-buildslave/venv/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
  PS1=(venv)${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ 
  PWD=/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee
  SHELL=/bin/bash
  SHLVL=3
  SSH_CLIENT=99.119.67.25 62653 22
  SSH_CONNECTION=99.119.67.25 62653 74.208.166.209 22
  SSH_TTY=/dev/pts/1
  TERM=xterm-color
  USER=klee-buildslave
  VIRTUAL_ENV=/home/klee-buildslave/venv
  _=/home/klee-buildslave/venv/bin/buildslave
 closing stdin
 using PTY: False
llvm[0]: Running test suite
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test'
Making a new site.exp file...
( ulimit -t 600 ; ulimit -d 512000 ; \
	  PATH="/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/Release+Asserts/bin:/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/Release+Asserts/bin:/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/test/Scripts:/home/klee-buildslave/venv/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" \
	  /usr/bin/runtest  ;  \
	  ! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log;  )
WARNING: No tool specified
Test Run By klee-buildslave on Tue Dec 13 17:29:38 2011
Target is x86_64-pc-linux-gnu
Host   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.
WARNING: Assuming target board is the local machine (which is probably wrong).
You may need to set your DEJAGNU environment variable.
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/dg.exp ...
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/ArrayNew.cpp
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/ArrayNew.cpp -emit-llvm -O0 -c -o ArrayNew.cpp.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/New.cpp
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/New.cpp -emit-llvm -O0 -c -o New.cpp.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/SimpleVirtual.cpp
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/SimpleVirtual.cpp -emit-llvm -O0 -c -o SimpleVirtual.cpp.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/StaticConstructor.cpp
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/StaticConstructor.cpp -emit-llvm -O0 -c -o StaticConstructor.cpp.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/StaticDestructor.cpp
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/StaticDestructor.cpp -emit-llvm -g -O0 -c -o StaticDestructor.cpp.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/Trivial.cpp
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/Trivial.cpp -emit-llvm -O0 -c -o Trivial.cpp.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Coverage/dg.exp ...
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Coverage/ReadArgs.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Coverage/ReadArgs.c -emit-llvm -O0 -c -o ReadArgs.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Coverage/ReplayOutDir.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Coverage/ReplayOutDir.c -emit-llvm -O0 -c -o ReplayOutDir.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Dogfood/dg.exp ...
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Dogfood/ImmutableSet.cpp
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -I../../../include -g -DMAX_ELEMENTS=4 -fno-exceptions -emit-llvm -c -o ImmutableSet.cpp.tmp1.bc /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Dogfood/ImmutableSet.cpp
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Expr/Lexer/dg.exp ...
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Expr/Parser/dg.exp ...
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Expr/dg.exp ...
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/dg.exp ...
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Alias.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Alias.c -emit-llvm -g -c -o Alias.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/AliasFunction.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/AliasFunction.c -emit-llvm -O0 -c -o AliasFunction.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/AliasFunctionExit.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/AliasFunctionExit.c -emit-llvm -O0 -c -o AliasFunctionExit.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/AsmAddresses.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -g -c -o AsmAddresses.c.tmp.bc /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/AsmAddresses.c
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ByteSwap.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ByteSwap.c -emit-llvm -O0 -c -o ByteSwap.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/CallToUndefinedExternal.cpp
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/CallToUndefinedExternal.cpp -emit-llvm -g -c -o CallToUndefinedExternal.cpp.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/CheckMemoryAccess.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -g -c /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/CheckMemoryAccess.c -o CheckMemoryAccess.c.tmp.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/CopyOnWrite.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/CopyOnWrite.c -emit-llvm -g -c -o CopyOnWrite.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DanglingConcreteReadExpr.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DanglingConcreteReadExpr.c -emit-llvm -O0 -c -o DanglingConcreteReadExpr.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DefineFixedObject.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -c -o DefineFixedObject.c.tmp1.bc /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DefineFixedObject.c
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DoubleFree.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DoubleFree.c -emit-llvm -O0 -c -o DoubleFree.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DumpStatesOnHalt.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DumpStatesOnHalt.c -g -emit-llvm -O0 -c -o DumpStatesOnHalt.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Envp.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Envp.c -emit-llvm -g -c -o Envp.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ExprLogging.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ExprLogging.c -emit-llvm -g -O0 -c -o ExprLogging.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ExternalWeakLinkage.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ExternalWeakLinkage.c -emit-llvm -g -c -o ExternalWeakLinkage.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Float.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -g -c /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Float.c -o Float.c.tmp.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/FunctionPointer.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/FunctionPointer.c -emit-llvm -g -c -o FunctionPointer.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/GetValue.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -c -o GetValue.c.tmp1.bc /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/GetValue.c
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/InAndOutOfBounds.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/InAndOutOfBounds.c -emit-llvm -O0 -c -o InAndOutOfBounds.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/IndirectCallToBuiltin.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/IndirectCallToBuiltin.c -emit-llvm -g -c -o IndirectCallToBuiltin.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/IndirectCallToExternal.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/IndirectCallToExternal.c -emit-llvm -g -c -o IndirectCallToExternal.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/IsSymbolic.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/IsSymbolic.c -emit-llvm -O0 -c -o IsSymbolic.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/KleeReportError.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/KleeReportError.c -emit-llvm -O0 -c -o KleeReportError.c.tmp2.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LargeReturnTypes.cpp
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -g -fno-exceptions -emit-llvm -O0 -c -o LargeReturnTypes.cpp.tmp.bc /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LargeReturnTypes.cpp
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LongDouble.cpp
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -I../../../include -g -fno-exceptions -emit-llvm -O0 -c -o LongDouble.cpp.tmp.bc /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LongDouble.cpp
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LongDoubleSupport.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LongDoubleSupport.c -emit-llvm -O0 -c -o LongDoubleSupport.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LowerSwitch.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LowerSwitch.c -emit-llvm -g -c -o LowerSwitch.c.tmp.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MakeConcreteSymbolic.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MakeConcreteSymbolic.c -emit-llvm -g -c -o MakeConcreteSymbolic.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MakeSymbolicName.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MakeSymbolicName.c -emit-llvm -g -c -o MakeSymbolicName.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MemoryLimit.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -DLITTLE_ALLOC -g -c /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MemoryLimit.c -o MemoryLimit.c.tmp.little.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleFreeResolution.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleFreeResolution.c -emit-llvm -O0 -c -o MultipleFreeResolution.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleReadResolution.c
Failed with posix(ENOENT,no such file or directory) at line 5
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleReadResolution.c -emit-llvm -O0 -c -o MultipleReadResolution.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleReallocResolution.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleReallocResolution.c -emit-llvm -O0 -c -o MultipleReallocResolution.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleWriteResolution.c
Failed with posix(ENOENT,no such file or directory) at line 5
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleWriteResolution.c -emit-llvm -O0 -c -o MultipleWriteResolution.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/NamedSeedMatching.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -c -g /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/NamedSeedMatching.c -o NamedSeedMatching.c.tmp.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/OneFreeError.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/OneFreeError.c -emit-llvm -O0 -c -o OneFreeError.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/OneOutOfBounds.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/OneOutOfBounds.c -emit-llvm -O0 -c -o OneOutOfBounds.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Optimize.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Optimize.c -emit-llvm -O0 -c -o Optimize.c.tmp2.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/OverlappedError.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/OverlappedError.c -g -emit-llvm -O0 -c -o OverlappedError.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/PreferCex.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/PreferCex.c -emit-llvm -O0 -c -o PreferCex.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/RaiseAsm.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/RaiseAsm.c -emit-llvm -O0 -c -o RaiseAsm.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ReallocFailure.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ReallocFailure.c -emit-llvm -O0 -c -o ReallocFailure.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ReplayPath.c
Failed with posix(ENOENT,no such file or directory) at line 6
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ReplayPath.c -emit-llvm -O0 -c -o ReplayPath.c.tmp2.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Searchers.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Searchers.c -emit-llvm -O0 -c -o Searchers.c.tmp2.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/SetForking.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -g -c /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/SetForking.c -o SetForking.c.tmp.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Vararg.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Vararg.c -emit-llvm -O0 -c -o Vararg.c.tmp1.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/WithLibc.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/WithLibc.c -emit-llvm -O0 -c -o WithLibc.c.tmp2.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/WriteCov.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/WriteCov.c -emit-llvm -g -c -o WriteCov.c.tmp2.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/const_array_opt1.c
Failed with posix(ENOENT,no such file or directory) at line 1
while running:  -I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/const_array_opt1.c -emit-llvm -O0 -c -o const_array_opt1.c.tmp.bc
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Programs/dg.exp ...
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Runtime/POSIX/dg.exp ...
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Runtime/Uclibc/dg.exp ...
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Solver/dg.exp ...
Running /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/dg.exp ...
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll
Failed with exit(1) at line 1
while running: llvm-as -f /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll -o - | klee --no-output --exit-on-error
llvm-as: assembly parsed, but does not verify as correct!
The unwind destination does not have a landingpad instruction!
  %res0 = invoke i32 @foo(i32 0, i32 %should_fail)
          to label %check_phi unwind label %error
Broken module found, compilation terminated.
Broken module found, compilation terminated.
Broken module found, compilation terminated.
KLEE: ERROR: error loading program '-': Invalid bitcode signature

FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/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/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include -emit-llvm -O0 -c -o 2008-05-23-gep-with-global-const.c.tmp.bc /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2008-05-23-gep-with-global-const.c
couldn't execute "-I/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/include": no such file or directory

		===  Summary ===

# of expected passes		15
# of unexpected failures	74
# of expected failures		2
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/ArrayNew.cpp
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/New.cpp
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/SimpleVirtual.cpp
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/StaticConstructor.cpp
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/StaticDestructor.cpp
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/CXX/Trivial.cpp
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Coverage/ReadArgs.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Coverage/ReplayOutDir.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Dogfood/ImmutableSet.cpp
XFAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Expr/Evaluate2.pc
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Alias.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/AliasFunction.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/AliasFunctionExit.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/AsmAddresses.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ByteSwap.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/CallToUndefinedExternal.cpp
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/CheckMemoryAccess.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/CopyOnWrite.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DanglingConcreteReadExpr.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DefineFixedObject.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DoubleFree.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/DumpStatesOnHalt.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Envp.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ExprLogging.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ExternalWeakLinkage.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Float.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/FunctionPointer.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/GetValue.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/InAndOutOfBounds.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/IndirectCallToBuiltin.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/IndirectCallToExternal.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/IsSymbolic.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/KleeReportError.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LargeReturnTypes.cpp
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LongDouble.cpp
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LongDoubleSupport.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/LowerSwitch.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MakeConcreteSymbolic.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MakeSymbolicName.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MemoryLimit.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleFreeResolution.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleReadResolution.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleReallocResolution.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/MultipleWriteResolution.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/NamedSeedMatching.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/OneFreeError.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/OneOutOfBounds.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Optimize.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/OverlappedError.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/PreferCex.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/RaiseAsm.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ReallocFailure.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/ReplayPath.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Searchers.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/SetForking.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/Vararg.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/WithLibc.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/WriteCov.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Feature/const_array_opt1.c
XFAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/Programs/pcregrep.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-07-25-invalid-stp-array-binding-to-objectstate.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-07-30-unflushed-byte.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-08-06-64bit-shift.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-08-06-access-after-free.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-08-08-free-zero.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-08-16-invalid-constant-value.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-08-16-valid-write-to-freed-object.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-10-11-free-of-alloca.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-10-11-illegal-access-after-free-and-branch.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2007-10-12-failed-make-symbolic-after-copy.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2008-03-04-free-of-global.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2008-03-11-free-of-malloc-zero.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2008-04-10-bad-alloca-free.c
FAIL: /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test/regression/2008-05-23-gep-with-global-const.c
make[1]: *** [check-local] Error 1
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/test'
make: *** [check] Error 2
program finished with exit code 2
elapsedTime=33.417302