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/tools/clang (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/tools/clang
  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/SemaObjC/typedef-class.m
A    test/SemaObjC/forward-class-redeclare.m
U    test/SemaObjC/builtin_objc_lib_functions.m
U    test/SemaObjC/forward-class-1.m
U    test/SemaObjC/deref-interface.m
A    test/SemaObjC/builtin_objc_nslog.m
U    test/SemaObjC/format-strings-objc.m
U    test/Analysis/security-syntax-checks-no-emit.c
U    test/Analysis/idempotent-operations-limited-loops.c
U    test/Analysis/taint-tester.c
A    test/Analysis/taint-tester.m
A    test/Analysis/taint-tester.cpp
U    test/Analysis/idempotent-operations.cpp
U    test/Analysis/uninit-vals-ps-region.m
U    test/Analysis/misc-ps.m
U    test/Analysis/reference.cpp
A    test/Analysis/default-analyze.m
U    test/Analysis/taint-generic.c
U    test/Analysis/idempotent-operations.c
U    test/Analysis/idempotent-operations.m
U    test/Analysis/security-syntax-checks.m
U    test/Analysis/null-deref-ps.c
U    test/Analysis/misc-ps-region-store.m
U    test/Analysis/dead-stores.c
U    test/Sema/block-printf-attribute-1.c
U    test/Sema/format-strings-scanf.c
U    test/Sema/i-c-e.c
U    test/Sema/attr-availability.c
U    test/Sema/warn-unreachable.c
U    test/Sema/implicit-decl.c
U    test/Sema/format-strings-c90.c
U    test/Sema/format-strings.c
U    test/Sema/no-format-y2k-turnsoff-format.c
U    test/Sema/switch.c
U    test/Sema/format-strings-int-typedefs.c
U    test/Sema/format-strings-size_t.c
A    test/Sema/vla-2.c
U    test/Preprocessor/x86_target_features.c
U    test/Preprocessor/pic.c
A    test/CodeGenCXX/mangle-98.cpp
U    test/CodeGenCXX/cxx-apple-kext.cpp
A    test/CodeGenCXX/debug-info-context.cpp
U    test/CodeGenCXX/mangle.cpp
U    test/CodeGenCXX/conditional-gnu-ext.cpp
U    test/CodeGenCXX/apple-kext-guard-variable.cpp
A    test/Misc/diag-macro-backtrace.c
U    test/Misc/diag-format.c
U    test/Parser/cxx-class.cpp
U    test/ARCMT/GC.m.result
U    test/ARCMT/releases-driver.m.result
U    test/ARCMT/retains.m.result
U    test/ARCMT/remove-dealloc-zerouts.m.result
U    test/ARCMT/remove-dealloc-method.m.result
U    test/ARCMT/assign-prop-with-arc-runtime.m.result
U    test/ARCMT/driver-migrate.m
U    test/ARCMT/GC.m
A    test/ARCMT/GC-check-warn-nsalloc.m
U    test/ARCMT/GC-no-arc-runtime.m.result
U    test/ARCMT/releases.m.result
U    test/Index/get-cursor.m
U    test/Index/properties-class-extensions.m
U    test/Index/complete-macros.c
U    test/Index/invalid-rdar-8236270.cpp
U    test/Index/usrs.m
A    test/Index/index-attrs.m
U    test/Index/file-refs.m
U    test/Index/retain-target-options.c
U    test/Index/complete-member-access.m
U    test/Index/TestClassForwardDecl.m
U    test/Index/annotate-tokens.m
U    test/Index/TestClassDecl.m
U    test/Headers/c89.c
U    test/Frontend/darwin-version.c
U    test/SemaTemplate/alias-templates.cpp
U    test/SemaTemplate/instantiate-function-1.cpp
U    test/FixIt/fixit.cpp
U    test/Driver/ccc-host-triple-no-integrated-as.c
U    test/Driver/cfi.c
U    test/Driver/darwin-debug-flags.c
U    test/Driver/Xarch.c
U    test/Driver/arc.c
U    test/Driver/frame-pointer.c
U    test/Driver/cc-log-diagnostics.c
U    test/Driver/darwin-ld.c
U    test/Driver/phases.c
U    test/Driver/arm-mfpu.c
U    test/Driver/pth.c
U    test/Driver/bindings.c
U    test/Driver/darwin-objc-gc.m
U    test/Driver/unknown-gcc-arch.c
U    test/Driver/rewrite-objc.m
U    test/Driver/darwin-verify-debug.c
U    test/Driver/sysroot-flags.c
U    test/Driver/arch.c
U    test/Driver/clang-translation.c
U    test/Driver/Wp-args.c
U    test/Driver/mno-global-merge.c
U    test/Driver/darwin-as.c
U    test/Driver/dragonfly.c
U    test/Driver/ast.c
U    test/Driver/linux-header-search.cpp
U    test/Driver/flags.c
U    test/Driver/apple-kext-i386.cpp
U    test/Driver/darwin-objc-options.m
U    test/Driver/default-toolchain.c
U    test/Driver/analyze.c
U    test/Driver/Xlinker-args.c
U    test/Driver/nostdlibinc.c
U    test/Driver/le32-unknown-nacl.cpp
U    test/Driver/ios-simulator-arcruntime.c
U    test/Driver/gcc_forward.c
U    test/Driver/x86_features.c
U    test/Driver/darwin-xarch.c
U    test/Driver/openbsd.c
U    test/Driver/darwin-dsymutil.c
A    test/Driver/Inputs/basic_freebsd64_tree
A    test/Driver/Inputs/basic_freebsd64_tree/lib
A    test/Driver/Inputs/basic_freebsd64_tree/lib/.keep
A    test/Driver/Inputs/basic_freebsd64_tree/usr
A    test/Driver/Inputs/basic_freebsd64_tree/usr/lib
A    test/Driver/Inputs/basic_freebsd64_tree/usr/lib/.keep
A    test/Driver/Inputs/basic_freebsd64_tree/usr/lib32
A    test/Driver/Inputs/basic_freebsd64_tree/usr/lib32/.keep
A    test/Driver/Inputs/basic_freebsd_tree
A    test/Driver/Inputs/basic_freebsd_tree/lib
A    test/Driver/Inputs/basic_freebsd_tree/lib/.keep
A    test/Driver/Inputs/basic_freebsd_tree/usr
A    test/Driver/Inputs/basic_freebsd_tree/usr/lib
A    test/Driver/Inputs/basic_freebsd_tree/usr/lib/.keep
U    test/Driver/arm-darwin-builtin.c
U    test/Driver/apple-kext-mkernel.c
U    test/Driver/redzone.c
U    test/Driver/darwin-version.c
U    test/Driver/darwin-cc.c
U    test/Driver/freebsd.c
U    test/Driver/darwin-objc-defaults.m
U    test/Driver/nostdlib.c
U    test/Driver/sysroot.c
U    test/Driver/darwin-iphone-defaults.m
U    test/Driver/gnu-runtime.m
U    test/Driver/exceptions.m
U    test/Driver/linux-ld.c
A    test/Driver/no-sibling-calls.c
U    test/Coverage/targets.c
U    test/CXX/basic/basic.types/p10.cpp
U    test/CXX/dcl.dcl/dcl.spec/dcl.type/dcl.spec.auto/p6.cpp
U    test/CXX/class/class.static/class.static.data/p3.cpp
A    test/CXX/dcl.decl/dcl.init/dcl.init.list/p7-cxx11-nowarn.cpp
U    test/CXX/dcl.decl/dcl.init/dcl.init.list/p7-0x.cpp
A    test/CXX/stmt.stmt/stmt.ambig/p1-0x.cpp
A    test/CXX/stmt.stmt/stmt.select/stmt.switch/p2-0x.cpp
U    test/CXX/expr/expr.prim/expr.prim.general/p12-0x.cpp
A    test/CXX/expr/expr.post/expr.type.conv/p1-0x.cpp
U    test/CXX/expr/expr.const/p2-0x.cpp
A    test/CXX/expr/expr.const/p3-0x.cpp
A    test/SemaObjCXX/fragile-abi-object-assign.m
U    test/SemaObjCXX/properties.mm
U    test/CodeGen/mmx-inline-asm.c
U    test/CodeGen/char-literal.c
U    test/CodeGen/2009-10-20-GlobalDebug.c
U    test/CodeGen/builtins-x86.c
A    test/CodeGen/avx-builtins.c
U    test/CodeGen/mips64-f128-literal.c
A    test/CodeGen/address-safety-attr.cpp
U    test/CodeGen/frame-pointer-elim.c
U    test/CodeGen/mmx-shift-with-immediate.c
U    test/CodeGen/mips64-padding-arg.c
A    test/CodeGenOpenCL/vector_logops.cl
A    test/SemaCXX/warn-new-overaligned-2.cpp
U    test/SemaCXX/constant-expression-cxx11.cpp
U    test/SemaCXX/cxx0x-initializer-stdinitializerlist.cpp
U    test/SemaCXX/typo-correction.cpp
A    test/SemaCXX/PR11358.cpp
U    test/SemaCXX/warn-thread-safety-analysis.cpp
A    test/SemaCXX/warn-new-overaligned-3.cpp
U    test/SemaCXX/return-noreturn.cpp
U    test/SemaCXX/type-traits.cpp
A    test/SemaCXX/Inputs/warn-new-overaligned-3.h
U    test/SemaCXX/gnu-case-ranges.cpp
U    test/SemaCXX/format-strings-0x.cpp
U    test/SemaCXX/microsoft-cxx0x.cpp
U    test/SemaCXX/class-base-member-init.cpp
U    test/SemaCXX/switch.cpp
U    test/SemaCXX/array-bounds.cpp
U    test/SemaCXX/MicrosoftExtensions.cpp
U    test/SemaCXX/MicrosoftCompatibility.cpp
U    test/SemaCXX/enum-scoped.cpp
U    test/SemaCXX/exceptions.cpp
A    test/SemaCXX/warn-new-overaligned.cpp
U    test/SemaCXX/warn-unreachable.cpp
U    test/SemaCXX/vararg-non-pod.cpp
A    test/Modules/Inputs/MethodPoolA.h
A    test/Modules/Inputs/MethodPoolB.h
U    test/Modules/Inputs/module.map
A    test/Modules/method_pool.m
U    test/PCH/reloc.c
U    include/clang/Frontend/FrontendOptions.h
A    include/clang/Frontend/MigratorOptions.h
U    include/clang/Frontend/ChainedIncludesSource.h
U    include/clang/Frontend/CompilerInvocation.h
U    include/clang/Frontend/FrontendAction.h
U    include/clang/Frontend/CodeGenOptions.h
U    include/clang/Basic/DiagnosticGroups.td
U    include/clang/Basic/Attr.td
U    include/clang/Basic/Builtins.def
U    include/clang/Basic/BuiltinsX86.def
U    include/clang/Basic/DiagnosticParseKinds.td
U    include/clang/Basic/DiagnosticSemaKinds.td
U    include/clang/Sema/AttributeList.h
U    include/clang/Sema/ExternalSemaSource.h
U    include/clang/Sema/Overload.h
U    include/clang/Sema/Template.h
U    include/clang/Sema/Sema.h
A    include/clang/Sema/Makefile
A    include/clang/Sema/CMakeLists.txt
U    include/clang/AST/Attr.h
U    include/clang/AST/DeclCXX.h
U    include/clang/AST/Type.h
U    include/clang/Lex/Lexer.h
U    include/clang/Lex/Preprocessor.h
D    include/clang/Driver/HostInfo.h
U    include/clang/Driver/Driver.h
U    include/clang/Driver/CC1Options.td
U    include/clang/Driver/Options.td
U    include/clang/Driver/ToolChain.h
U    include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
U    include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
U    include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
U    include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h
U    include/clang/Parse/Parser.h
U    include/clang/CMakeLists.txt
U    include/clang/Makefile
U    include/clang/Serialization/ASTReader.h
U    include/clang/Serialization/ModuleManager.h
U    include/clang/Serialization/Module.h
U    include/clang/ARCMigrate/ARCMT.h
U    runtime/libcxx/Makefile
U    www/analyzer/checker_dev_manual.html
U    docs/AddressSanitizer.html
U    docs/LanguageExtensions.html
U    utils/TableGen/ClangAttrEmitter.h
U    utils/TableGen/TableGen.cpp
U    utils/TableGen/ClangAttrEmitter.cpp
U    utils/analyzer/SATestBuild.py
U    utils/analyzer/CmpRuns.py
U    tools/scan-build/scan-build
U    tools/arcmt-test/arcmt-test.cpp
U    tools/driver/driver.cpp
U    tools/libclang/CIndexCodeCompletion.cpp
U    tools/libclang/Indexing.cpp
U    tools/libclang/IndexingContext.cpp
U    tools/libclang/IndexBody.cpp
U    tools/libclang/IndexDecl.cpp
U    tools/libclang/IndexTypeSourceInfo.cpp
U    tools/libclang/CIndex.cpp
U    unittests/Frontend/FrontendActionTest.cpp
A    unittests/Lex
A    unittests/Lex/LexerTest.cpp
A    unittests/Lex/Makefile
U    unittests/CMakeLists.txt
U    unittests/Makefile
U    lib/Frontend/CompilerInstance.cpp
U    lib/Frontend/FrontendActions.cpp
U    lib/Frontend/InitHeaderSearch.cpp
U    lib/Frontend/ChainedIncludesSource.cpp
U    lib/Frontend/CompilerInvocation.cpp
U    lib/Frontend/ASTMerge.cpp
U    lib/Frontend/DiagnosticRenderer.cpp
U    lib/Frontend/FrontendAction.cpp
U    lib/Frontend/VerifyDiagnosticConsumer.cpp
U    lib/Frontend/ASTUnit.cpp
U    lib/Basic/Targets.cpp
U    lib/Rewrite/HTMLRewrite.cpp
U    lib/Analysis/CFG.cpp
U    lib/Analysis/PrintfFormatString.cpp
U    lib/Analysis/CocoaConventions.cpp
U    lib/Analysis/FormatString.cpp
U    lib/Analysis/ThreadSafety.cpp
U    lib/Analysis/ScanfFormatString.cpp
U    lib/Sema/SemaDeclCXX.cpp
U    lib/Sema/TreeTransform.h
U    lib/Sema/SemaExprCXX.cpp
U    lib/Sema/SemaDeclAttr.cpp
U    lib/Sema/SemaInit.cpp
U    lib/Sema/SemaCodeComplete.cpp
U    lib/Sema/SemaDeclObjC.cpp
U    lib/Sema/SemaDecl.cpp
U    lib/Sema/SemaTemplateInstantiateDecl.cpp
U    lib/Sema/SemaTemplateDeduction.cpp
U    lib/Sema/SemaOverload.cpp
U    lib/Sema/SemaTemplate.cpp
U    lib/Sema/SemaType.cpp
U    lib/Sema/CMakeLists.txt
U    lib/Sema/SemaStmt.cpp
U    lib/Sema/AttributeList.cpp
U    lib/Sema/IdentifierResolver.cpp
U    lib/Sema/SemaAccess.cpp
U    lib/Sema/SemaExprMember.cpp
U    lib/Sema/SemaLookup.cpp
U    lib/Sema/SemaAttr.cpp
U    lib/Sema/SemaChecking.cpp
U    lib/Sema/SemaExpr.cpp
U    lib/Sema/SemaTemplateVariadic.cpp
U    lib/Sema/Sema.cpp
U    lib/Sema/SemaTemplateInstantiate.cpp
U    lib/Sema/AnalysisBasedWarnings.cpp
U    lib/AST/Decl.cpp
U    lib/AST/ASTImporter.cpp
U    lib/AST/NestedNameSpecifier.cpp
U    lib/AST/TypeLoc.cpp
U    lib/AST/Type.cpp
U    lib/AST/TypePrinter.cpp
U    lib/AST/Stmt.cpp
U    lib/AST/ExprConstant.cpp
U    lib/AST/ItaniumMangle.cpp
U    lib/AST/DeclBase.cpp
U    lib/AST/TemplateBase.cpp
U    lib/AST/StmtProfile.cpp
U    lib/AST/Expr.cpp
U    lib/AST/DumpXML.cpp
U    lib/AST/DeclarationName.cpp
U    lib/AST/ExprClassification.cpp
U    lib/AST/DeclCXX.cpp
U    lib/AST/ASTContext.cpp
U    lib/Lex/Lexer.cpp
U    lib/Lex/PPMacroExpansion.cpp
D    lib/Driver/HostInfo.cpp
U    lib/Driver/Tools.cpp
U    lib/Driver/ToolChains.cpp
U    lib/Driver/ToolChains.h
U    lib/Driver/ToolChain.cpp
U    lib/Driver/Driver.cpp
U    lib/Driver/WindowsToolChain.cpp
U    lib/Driver/CMakeLists.txt
U    lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp
U    lib/StaticAnalyzer/Checkers/Checkers.td
U    lib/StaticAnalyzer/Checkers/CheckSecuritySyntaxOnly.cpp
U    lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
U    lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
U    lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
U    lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
U    lib/StaticAnalyzer/Core/ExprEngine.cpp
U    lib/StaticAnalyzer/Core/ProgramState.cpp
U    lib/StaticAnalyzer/Core/CheckerContext.cpp
U    lib/StaticAnalyzer/Core/ExplodedGraph.cpp
U    lib/StaticAnalyzer/Core/Environment.cpp
U    lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp
U    lib/CodeGen/CGObjCMac.cpp
U    lib/CodeGen/CGException.cpp
U    lib/CodeGen/CGExprScalar.cpp
U    lib/CodeGen/CodeGenModule.h
U    lib/CodeGen/CGExprComplex.cpp
U    lib/CodeGen/CGDebugInfo.h
U    lib/CodeGen/CGObjC.cpp
U    lib/CodeGen/CGExpr.cpp
U    lib/CodeGen/CodeGenTypes.cpp
U    lib/CodeGen/CGRTTI.cpp
U    lib/CodeGen/CGCleanup.cpp
U    lib/CodeGen/TargetInfo.cpp
U    lib/CodeGen/CGExprAgg.cpp
U    lib/CodeGen/CodeGenModule.cpp
U    lib/CodeGen/CGDebugInfo.cpp
U    lib/CodeGen/CGBuiltin.cpp
U    lib/CodeGen/BackendUtil.cpp
U    lib/CodeGen/CGCall.cpp
U    lib/Index/ASTLocation.cpp
U    lib/Parse/ParseTentative.cpp
U    lib/Parse/ParseDecl.cpp
U    lib/Parse/ParsePragma.cpp
U    lib/Parse/ParseExpr.cpp
U    lib/Parse/ParseDeclCXX.cpp
U    lib/Parse/ParseExprCXX.cpp
U    lib/Parse/Parser.cpp
U    lib/Headers/xmmintrin.h
U    lib/Headers/unwind.h
U    lib/Headers/avxintrin.h
U    lib/Serialization/ASTReaderInternals.h
U    lib/Serialization/ModuleManager.cpp
U    lib/Serialization/Module.cpp
U    lib/Serialization/ASTReader.cpp
U    lib/ARCMigrate/Transforms.cpp
U    lib/ARCMigrate/Internals.h
U    lib/ARCMigrate/TransProperties.cpp
U    lib/ARCMigrate/ARCMT.cpp
U    lib/ARCMigrate/TransGCCalls.cpp
U    lib/ARCMigrate/ARCMTActions.cpp
U    lib/ARCMigrate/TransformActions.cpp
Updated to revision 148961.
elapsedTime=55.710621
/usr/bin/svnversion .
 in dir /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm/tools/clang
 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/tools/clang
  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=0.823431
program finished with exit code 0