Log File contents

(view as text)
starting svn operation
/usr/bin/svn update --non-interactive --no-auth-cache --revision 148961
 in dir /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm (timeout 1200 secs)
 watching logfiles {}
 argv: ['/usr/bin/svn', 'update', '--non-interactive', '--no-auth-cache', '--revision', '148961']
 environment:
  HISTCONTROL=ignoreboth
  HOME=/home/klee-buildslave
  LANG=en_US.UTF-8
  LC_MESSAGES=C
  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/llvm
  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
U    test/TableGen/SetTheory.td
U    test/Transforms/ObjCARC/contract-storestrong-ivar.ll
U    test/Transforms/ObjCARC/contract-storestrong.ll
U    test/Transforms/ObjCARC/apelim.ll
U    test/Transforms/LoopStrengthReduce/X86/2012-01-13-phielim.ll
A    test/Transforms/LoopStrengthReduce/ivchain.ll
A    test/Transforms/SimplifyCFG/unreachable-blocks.ll
A    test/Transforms/Inline/alloca-bonus.ll
D    test/MC/ARM/neon-shiftaccum-encoding.s
U    test/MC/ARM/simple-fp-encoding.s
U    test/MC/ARM/neon-vld-encoding.s
U    test/MC/ARM/neon-vst-encoding.s
U    test/MC/ARM/neon-shift-encoding.s
U    test/MC/ARM/basic-thumb2-instructions.s
A    test/MC/X86/intel-syntax-encoding.s
U    test/MC/X86/intel-syntax.s
A    test/MC/ELF/cfi-signal-frame.s
A    test/MC/MachO/ARM/relax-thumb-ldr-literal.s
A    test/MC/MachO/ARM/thumb2-function-relative-load.s
A    test/MC/MachO/ARM/no-subsections-reloc.s
U    test/DebugInfo/X86/DW_AT_specification.ll
U    test/DebugInfo/X86/concrete_out_of_line.ll
U    test/DebugInfo/X86/pr11300.ll
U    test/DebugInfo/2010-06-29-InlinedFnLocalVar.ll
U    test/Instrumentation/AddressSanitizer/test64.ll
U    test/Instrumentation/AddressSanitizer/bug_11395.ll
U    test/Instrumentation/AddressSanitizer/instrument_load_then_store.ll
U    test/CodeGen/ARM/vmov.ll
A    test/CodeGen/ARM/fusedMAC.ll
U    test/CodeGen/ARM/vst2.ll
A    test/CodeGen/ARM/2012-01-24-RegSequenceLiveRange.ll
A    test/CodeGen/ARM/ehabi-unwind.ll
U    test/CodeGen/ARM/2010-06-29-PartialRedefFastAlloc.ll
A    test/CodeGen/ARM/2012-01-23-PostRA-LICM.ll
D    test/CodeGen/X86/sret.ll
A    test/CodeGen/X86/win32_sret.ll
A    test/CodeGen/X86/avx2-palignr.ll
A    test/CodeGen/X86/avx-zext.ll
A    test/CodeGen/X86/tailcall-disable.ll
U    test/CodeGen/Mips/2008-07-16-SignExtInReg.ll
U    test/CodeGen/Mips/mips64imm.ll
U    test/CodeGen/Mips/mips64ext.ll
U    test/CodeGen/Mips/largeimmprinting.ll
U    cmake/config-ix.cmake
D    cmake/modules/GetTargetTriple.cmake
U    cmake/modules/HandleLLVMOptions.cmake
A    cmake/modules/GetHostTriple.cmake
U    cmake/modules/CMakeLists.txt
U    include/llvm/Analysis/Dominators.h
U    include/llvm/Analysis/ConstantFolding.h
U    include/llvm/Analysis/ScalarEvolutionExpander.h
U    include/llvm/Target/TargetLowering.h
U    include/llvm/Target/TargetOptions.h
U    include/llvm/Target/Target.td
U    include/llvm/Target/TargetJITInfo.h
U    include/llvm/Value.h
U    include/llvm/Object/MachOObject.h
U    include/llvm/Object/ObjectFile.h
U    include/llvm/ADT/SmallString.h
U    include/llvm/ADT/StringRef.h
U    include/llvm/ADT/StringMap.h
U    include/llvm/ADT/ArrayRef.h
U    include/llvm/ADT/OwningPtr.h
U    include/llvm/ADT/SmallVector.h
U    include/llvm/ADT/Triple.h
U    include/llvm/MC/MCDwarf.h
U    include/llvm/MC/MCInst.h
U    include/llvm/MC/MCStreamer.h
U    include/llvm/MC/MCAsmInfo.h
U    include/llvm/IntrinsicsX86.td
U    include/llvm/Constants.h
U    include/llvm/InitializePasses.h
U    include/llvm/Type.h
U    include/llvm/Bitcode/Archive.h
U    include/llvm/Constant.h
U    include/llvm/Support/JSONParser.h
U    include/llvm/Support/CommandLine.h
U    include/llvm/Support/Endian.h
U    include/llvm/CodeGen/SelectionDAGNodes.h
U    include/llvm/CodeGen/Passes.h
U    include/llvm/CodeGen/ValueTypes.h
U    include/llvm/CodeGen/LiveVariables.h
U    include/llvm/CodeGen/LiveInterval.h
U    include/llvm/CodeGen/SelectionDAG.h
U    include/llvm/CodeGen/MachineInstr.h
U    include/llvm/CodeGen/ISDOpcodes.h
U    include/llvm/CodeGen/MachineInstrBundle.h
U    include/llvm/Attributes.h
U    include/llvm-c/Core.h
U    docs/LangRef.html
U    docs/index.html
U    utils/TableGen/CodeEmitterGen.cpp
U    utils/TableGen/AsmMatcherEmitter.cpp
U    utils/TableGen/SetTheory.cpp
U    utils/unittest/googletest/include/gtest/internal/gtest-death-test-internal.h
U    utils/unittest/googletest/gtest-death-test.cc
U    utils/unittest/googletest/gtest.cc
U    utils/llvm.grm
U    tools/lto/LTOCodeGenerator.cpp
U    tools/llc/llc.cpp
U    unittests/ADT/SmallStringTest.cpp
U    unittests/Support/Casting.cpp
U    lib/Archive/ArchiveReader.cpp
U    lib/TableGen/TGParser.cpp
U    lib/Analysis/ScalarEvolutionExpander.cpp
U    lib/Analysis/InlineCost.cpp
U    lib/Analysis/ScalarEvolution.cpp
U    lib/Analysis/PHITransAddr.cpp
U    lib/Analysis/MemoryDependenceAnalysis.cpp
U    lib/Analysis/LoopDependenceAnalysis.cpp
U    lib/Analysis/ValueTracking.cpp
U    lib/Analysis/ScalarEvolutionNormalization.cpp
U    lib/Analysis/ConstantFolding.cpp
U    lib/Linker/LinkArchives.cpp
U    lib/Linker/LinkModules.cpp
U    lib/Target/ARM/ARMSubtarget.cpp
U    lib/Target/ARM/ARMInstrNEON.td
U    lib/Target/ARM/AsmParser/ARMAsmParser.cpp
U    lib/Target/ARM/ARMSchedule.td
U    lib/Target/ARM/InstPrinter/ARMInstPrinter.cpp
U    lib/Target/ARM/InstPrinter/ARMInstPrinter.h
U    lib/Target/ARM/ARMInstrVFP.td
U    lib/Target/ARM/ARMInstrInfo.td
U    lib/Target/ARM/ARMISelLowering.cpp
U    lib/Target/ARM/ARMCodeEmitter.cpp
U    lib/Target/ARM/ARMSubtarget.h
U    lib/Target/ARM/ARMMCInstLower.cpp
U    lib/Target/ARM/ARMELFWriterInfo.cpp
U    lib/Target/ARM/ARMISelDAGToDAG.cpp
U    lib/Target/ARM/ARMBaseRegisterInfo.cpp
U    lib/Target/ARM/ARMLoadStoreOptimizer.cpp
U    lib/Target/ARM/ARMBaseInstrInfo.cpp
U    lib/Target/ARM/ARMInstrThumb2.td
U    lib/Target/ARM/ARMInstrFormats.td
U    lib/Target/ARM/ARMInstrThumb.td
U    lib/Target/ARM/MCTargetDesc/ARMMCAsmInfo.cpp
U    lib/Target/ARM/MCTargetDesc/ARMMCCodeEmitter.cpp
U    lib/Target/ARM/MCTargetDesc/ARMAsmBackend.cpp
U    lib/Target/ARM/MCTargetDesc/ARMELFObjectWriter.cpp
U    lib/Target/ARM/MCTargetDesc/ARMMachObjectWriter.cpp
U    lib/Target/ARM/Disassembler/ARMDisassembler.cpp
U    lib/Target/ARM/Thumb2ITBlockPass.cpp
U    lib/Target/ARM/ARM.td
U    lib/Target/ARM/ARMFastISel.cpp
U    lib/Target/ARM/ARMConstantIslandPass.cpp
U    lib/Target/ARM/ARMExpandPseudoInsts.cpp
U    lib/Target/ARM/ARMAsmPrinter.cpp
U    lib/Target/PowerPC/PPCCodeEmitter.cpp
U    lib/Target/PowerPC/PPCMCInstLower.cpp
U    lib/Target/PowerPC/MCTargetDesc/PPCMCCodeEmitter.cpp
U    lib/Target/PowerPC/PPCISelLowering.cpp
U    lib/Target/PowerPC/PPCISelDAGToDAG.cpp
U    lib/Target/XCore/XCoreISelLowering.cpp
U    lib/Target/X86/X86ISelLowering.cpp
U    lib/Target/X86/AsmParser/X86AsmParser.cpp
U    lib/Target/X86/X86ISelDAGToDAG.cpp
U    lib/Target/X86/X86FrameLowering.cpp
U    lib/Target/X86/X86JITInfo.cpp
U    lib/Target/X86/X86InstrFragmentsSIMD.td
U    lib/Target/X86/X86InstrInfo.cpp
U    lib/Target/X86/X86InstrSSE.td
U    lib/Target/X86/X86RegisterInfo.cpp
U    lib/Target/X86/X86MCInstLower.cpp
U    lib/Target/X86/X86FastISel.cpp
U    lib/Target/X86/MCTargetDesc/X86WinCOFFObjectWriter.cpp
U    lib/Target/X86/MCTargetDesc/X86MCTargetDesc.cpp
U    lib/Target/X86/X86ELFWriterInfo.cpp
U    lib/Target/X86/X86InstrControl.td
U    lib/Target/X86/X86ISelLowering.h
U    lib/Target/MSP430/MSP430ISelLowering.cpp
U    lib/Target/MSP430/MSP430InstrInfo.cpp
U    lib/Target/MSP430/InstPrinter/MSP430InstPrinter.cpp
U    lib/Target/MSP430/MSP430MCInstLower.cpp
U    lib/Target/Hexagon/HexagonAsmPrinter.cpp
U    lib/Target/Hexagon/HexagonISelDAGToDAG.cpp
U    lib/Target/Hexagon/HexagonInstrInfo.cpp
U    lib/Target/Hexagon/HexagonISelLowering.cpp
U    lib/Target/CBackend/CBackend.cpp
U    lib/Target/CppBackend/CPPBackend.cpp
U    lib/Target/TargetData.cpp
U    lib/Target/TargetLoweringObjectFile.cpp
U    lib/Target/CellSPU/SPUAsmPrinter.cpp
U    lib/Target/CellSPU/SPUISelDAGToDAG.cpp
U    lib/Target/CellSPU/SPUISelLowering.cpp
U    lib/Target/Sparc/SparcRegisterInfo.cpp
U    lib/Target/Mips/MipsISelDAGToDAG.cpp
A    lib/Target/Mips/MipsAnalyzeImmediate.h
U    lib/Target/Mips/MCTargetDesc/MipsBaseInfo.h
U    lib/Target/Mips/MCTargetDesc/MipsMCCodeEmitter.cpp
U    lib/Target/Mips/CMakeLists.txt
U    lib/Target/Mips/MipsCodeEmitter.cpp
U    lib/Target/Mips/MipsMCInstLower.cpp
U    lib/Target/Mips/Mips64InstrInfo.td
A    lib/Target/Mips/MipsAnalyzeImmediate.cpp
U    lib/Target/Mips/MipsInstrFPU.td
U    lib/Target/Mips/MipsInstrInfo.td
U    lib/Target/Mips/MipsRegisterInfo.cpp
U    lib/Target/Mips/MipsFrameLowering.cpp
U    lib/Target/Mips/MipsISelLowering.cpp
U    lib/Target/MBlaze/MBlazeMCInstLower.cpp
U    lib/Target/MBlaze/MBlazeELFWriterInfo.cpp
U    lib/Target/MBlaze/AsmParser/MBlazeAsmParser.cpp
U    lib/Target/MBlaze/MCTargetDesc/MBlazeMCCodeEmitter.cpp
U    lib/Target/MBlaze/MCTargetDesc/MBlazeBaseInfo.h
U    lib/Target/MBlaze/MBlazeRegisterInfo.cpp
U    lib/Target/MBlaze/MBlazeISelLowering.cpp
U    lib/Target/PTX/PTXISelLowering.cpp
U    lib/Target/PTX/PTXAsmPrinter.cpp
U    lib/Target/PTX/InstPrinter/PTXInstPrinter.cpp
U    lib/Target/PTX/PTXRegisterInfo.h
U    lib/ExecutionEngine/RuntimeDyld/RuntimeDyld.cpp
U    lib/ExecutionEngine/RuntimeDyld/RuntimeDyldELF.cpp
U    lib/ExecutionEngine/RuntimeDyld/RuntimeDyldImpl.h
U    lib/ExecutionEngine/RuntimeDyld/RuntimeDyldMachO.cpp
A    lib/ExecutionEngine/RuntimeDyld/RuntimeDyldELF.h
A    lib/ExecutionEngine/RuntimeDyld/RuntimeDyldMachO.h
U    lib/ExecutionEngine/Interpreter/Execution.cpp
U    lib/ExecutionEngine/Interpreter/Interpreter.h
U    lib/ExecutionEngine/Interpreter/ExternalFunctions.cpp
U    lib/ExecutionEngine/JIT/JIT.cpp
U    lib/ExecutionEngine/MCJIT/MCJIT.cpp
U    lib/ExecutionEngine/ExecutionEngineBindings.cpp
U    lib/ExecutionEngine/ExecutionEngine.cpp
U    lib/VMCore/LLVMContextImpl.cpp
U    lib/VMCore/Instructions.cpp
U    lib/VMCore/Verifier.cpp
U    lib/VMCore/Constants.cpp
U    lib/VMCore/Type.cpp
U    lib/VMCore/ConstantsContext.h
U    lib/VMCore/Attributes.cpp
U    lib/VMCore/Core.cpp
U    lib/VMCore/ConstantFold.cpp
U    lib/VMCore/ValueTypes.cpp
U    lib/VMCore/LLVMContextImpl.h
U    lib/VMCore/Pass.cpp
U    lib/VMCore/Value.cpp
U    lib/VMCore/Metadata.cpp
U    lib/AsmParser/LLParser.cpp
U    lib/AsmParser/LLLexer.cpp
U    lib/AsmParser/LLParser.h
U    lib/AsmParser/LLToken.h
U    lib/Transforms/Utils/SimplifyCFG.cpp
U    lib/Transforms/Instrumentation/AddressSanitizer.cpp
U    lib/Transforms/Scalar/IndVarSimplify.cpp
U    lib/Transforms/Scalar/ObjCARC.cpp
U    lib/Transforms/Scalar/LoopStrengthReduce.cpp
U    lib/Transforms/Scalar/ScalarReplAggregates.cpp
U    lib/Transforms/Scalar/CodeGenPrepare.cpp
U    lib/Transforms/Scalar/SCCP.cpp
U    lib/Transforms/IPO/GlobalOpt.cpp
U    lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
U    lib/Transforms/InstCombine/InstCombineCasts.cpp
U    lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
U    lib/Transforms/InstCombine/InstCombineSelect.cpp
U    lib/Transforms/InstCombine/InstCombineVectorOps.cpp
U    lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
U    lib/Transforms/InstCombine/InstCombineCalls.cpp
U    lib/MC/MCStreamer.cpp
U    lib/MC/MCAsmStreamer.cpp
U    lib/MC/MCDisassembler/EDOperand.cpp
U    lib/MC/MCDisassembler/Disassembler.cpp
U    lib/MC/MachObjectWriter.cpp
U    lib/MC/WinCOFFStreamer.cpp
U    lib/MC/MCPureStreamer.cpp
U    lib/MC/MCDwarf.cpp
U    lib/MC/ELFObjectWriter.cpp
U    lib/MC/MCParser/AsmParser.cpp
U    lib/MC/MCInst.cpp
U    lib/DebugInfo/DWARFDebugInfoEntry.cpp
U    lib/CodeGen/VirtRegMap.cpp
U    lib/CodeGen/BranchFolding.cpp
U    lib/CodeGen/AsmPrinter/ARMException.cpp
U    lib/CodeGen/AsmPrinter/DIE.cpp
U    lib/CodeGen/AsmPrinter/DIE.h
U    lib/CodeGen/AsmPrinter/DwarfAccelTable.h
U    lib/CodeGen/AsmPrinter/DwarfDebug.cpp
U    lib/CodeGen/AsmPrinter/AsmPrinter.cpp
U    lib/CodeGen/PseudoSourceValue.cpp
U    lib/CodeGen/TwoAddressInstructionPass.cpp
U    lib/CodeGen/MachineInstrBundle.cpp
U    lib/CodeGen/AllocationOrder.h
U    lib/CodeGen/RegisterCoalescer.cpp
U    lib/CodeGen/TargetLoweringObjectFileImpl.cpp
U    lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
U    lib/CodeGen/SelectionDAG/SelectionDAG.cpp
U    lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
U    lib/CodeGen/SelectionDAG/LegalizeDAG.cpp
U    lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp
U    lib/CodeGen/SelectionDAG/InstrEmitter.cpp
U    lib/CodeGen/SelectionDAG/ScheduleDAGSDNodes.h
U    lib/CodeGen/LiveVariables.cpp
U    lib/CodeGen/MachineSSAUpdater.cpp
U    lib/CodeGen/LLVMTargetMachine.cpp
U    lib/CodeGen/LiveIntervalAnalysis.cpp
U    lib/CodeGen/DeadMachineInstructionElim.cpp
U    lib/CodeGen/DwarfEHPrepare.cpp
U    lib/CodeGen/SlotIndexes.cpp
U    lib/CodeGen/SplitKit.cpp
U    lib/CodeGen/GCStrategy.cpp
U    lib/CodeGen/MachineLICM.cpp
U    lib/CodeGen/PHIElimination.cpp
U    lib/CodeGen/Analysis.cpp
U    lib/Object/MachOObject.cpp
U    lib/Object/ELFObjectFile.cpp
U    lib/Bitcode/Reader/BitcodeReader.cpp
U    lib/Bitcode/Writer/BitcodeWriter.cpp
U    lib/Support/CommandLine.cpp
U    lib/Support/Triple.cpp
Updated to revision 148961.
elapsedTime=23.769401
/usr/bin/svnversion .
 in dir /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm
 watching logfiles {}
 argv: ['/usr/bin/svnversion', '.']
 environment:
  HISTCONTROL=ignoreboth
  HOME=/home/klee-buildslave
  LANG=en_US.UTF-8
  LC_MESSAGES=C
  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/llvm
  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
elapsedTime=6.180434
program finished with exit code 0