Log File contents

(view as text)
nice -n 10 make -j2
 in dir /home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee (timeout 1200 secs)
 watching logfiles {}
 argv: ['nice', '-n', '10', 'make', '-j2']
 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
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Basic'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Support'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Support'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Basic'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Expr'
llvm[2]: Compiling Constraints.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Solver'
llvm[2]: Compiling CachingSolver.cpp for Release+Asserts build
llvm[2]: Compiling CexCachingSolver.cpp for Release+Asserts build
llvm[2]: Compiling Expr.cpp for Release+Asserts build
llvm[2]: Compiling FastCexSolver.cpp for Release+Asserts build
llvm[2]: Compiling ExprBuilder.cpp for Release+Asserts build
llvm[2]: Compiling IncompleteSolver.cpp for Release+Asserts build
llvm[2]: Compiling IndependentSolver.cpp for Release+Asserts build
llvm[2]: Compiling PCLoggingSolver.cpp for Release+Asserts build
llvm[2]: Compiling STPBuilder.cpp for Release+Asserts build
llvm[2]: Compiling ExprEvaluator.cpp for Release+Asserts build
llvm[2]: Compiling ExprPPrinter.cpp for Release+Asserts build
llvm[2]: Compiling Solver.cpp for Release+Asserts build
llvm[2]: Compiling ExprUtil.cpp for Release+Asserts build
llvm[2]: Building Release+Asserts Archive Library libkleaverSolver.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Solver'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Module'
llvm[2]: Compiling Checks.cpp for Release+Asserts build
llvm[2]: Compiling ExprVisitor.cpp for Release+Asserts build
llvm[2]: Compiling InstructionInfoTable.cpp for Release+Asserts build
llvm[2]: Compiling Parser.cpp for Release+Asserts build
llvm[2]: Compiling IntrinsicCleaner.cpp for Release+Asserts build
llvm[2]: Compiling KModule.cpp for Release+Asserts build
llvm[2]: Compiling Updates.cpp for Release+Asserts build
llvm[2]: Building Release+Asserts Archive Library libkleaverExpr.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Expr'
llvm[2]: Compiling LowerSwitch.cpp for Release+Asserts build
llvm[2]: Compiling ModuleUtil.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Core'
llvm[2]: Compiling AddressSpace.cpp for Release+Asserts build
llvm[2]: Compiling Optimize.cpp for Release+Asserts build
llvm[2]: Compiling CallPathManager.cpp for Release+Asserts build
llvm[2]: Compiling PhiCleaner.cpp for Release+Asserts build
llvm[2]: Compiling Context.cpp for Release+Asserts build
llvm[2]: Compiling RaiseAsm.cpp for Release+Asserts build
llvm[2]: Compiling ExecutionState.cpp for Release+Asserts build
llvm[2]: Building Release+Asserts Archive Library libkleeModule.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Module'
llvm[2]: Compiling Executor.cpp for Release+Asserts build
llvm[2]: Compiling ExecutorTimers.cpp for Release+Asserts build
llvm[2]: Compiling ExecutorUtil.cpp for Release+Asserts build
llvm[2]: Compiling ExternalDispatcher.cpp for Release+Asserts build
llvm[2]: Compiling ImpliedValue.cpp for Release+Asserts build
llvm[2]: Compiling Memory.cpp for Release+Asserts build
llvm[2]: Compiling MemoryManager.cpp for Release+Asserts build
llvm[2]: Compiling PTree.cpp for Release+Asserts build
llvm[2]: Compiling Searcher.cpp for Release+Asserts build
llvm[2]: Compiling SeedInfo.cpp for Release+Asserts build
llvm[2]: Compiling SpecialFunctionHandler.cpp for Release+Asserts build
llvm[2]: Compiling StatsTracker.cpp for Release+Asserts build
StatsTracker.cpp: In constructor ‘klee::StatsTracker::StatsTracker(klee::Executor&, std::string, bool)’:
StatsTracker.cpp:180: warning: ‘isAbsolute’ is deprecated (declared at /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/include/llvm/Support/PathV1.h:301)
StatsTracker.cpp:183: warning: ‘exists’ is deprecated (declared at /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/include/llvm/Support/PathV1.h:369)
llvm[2]: Compiling TimingSolver.cpp for Release+Asserts build
llvm[2]: Compiling UserSearcher.cpp for Release+Asserts build
llvm[2]: Building Release+Asserts Archive Library libkleeCore.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib/Core'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/lib'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/bitvec'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/bitvec'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/AST'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/AST'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/c_interface'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/c_interface'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/constantbv'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/constantbv'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/sat'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/sat'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/simplifier'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp/simplifier'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/stp'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools/kleaver'
llvm[2]: Compiling main.cpp for Release+Asserts build
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools/klee'
llvm[2]: Compiling Debug.cpp for Release+Asserts build
llvm[2]: Compiling main.cpp for Release+Asserts build
main.cpp: In constructor ‘KleeHandler::KleeHandler(int, char**)’:
main.cpp:305: warning: ‘isAbsolute’ is deprecated (declared at /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/include/llvm/Support/PathV1.h:301)
main.cpp: In function ‘void parseArguments(int, char**)’:
main.cpp:594: warning: cast from type ‘const char**’ to type ‘char**’ casts away constness
llvm[2]: Linking Release+Asserts executable kleaver (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable kleaver (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools/kleaver'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools/ktest-tool'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools/ktest-tool'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools/gen-random-bout'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools/gen-random-bout'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools/klee-stats'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools/klee-stats'
llvm[2]: Linking Release+Asserts executable klee (without symbols)
llvm[2]: ======= Finished Linking Release+Asserts Executable klee (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools/klee'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/tools'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/runtime'
/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/Makefile.rules:1175: Bytecode libraries require LLVM capable compiler but none is available ****
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/runtime/klee-libc'
/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/Makefile.rules:1175: Bytecode libraries require LLVM capable compiler but none is available ****
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/runtime/Intrinsic'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/runtime/Intrinsic'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/runtime/Runtest'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/runtime/Runtest'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/runtime/klee-libc'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-x86_64-linux/klee/runtime'
program finished with exit code 0
elapsedTime=155.399963