starting svn operation
/usr/bin/svn update --non-interactive --no-auth-cache --revision 145365
 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', '145365']
 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
A    test/Lexer/has_feature_address_sanitizer.cpp
U    test/SemaObjC/class-proto-1.m
U    test/SemaObjC/property-missing.m
U    test/SemaObjC/special-dep-unavail-warning.m
U    test/SemaObjC/nsobject-attribute.m
U    test/SemaObjC/undef-superclass-1.m
U    test/SemaObjC/exprs.m
U    test/SemaObjC/alias-test-2.m
U    test/SemaObjC/continuation-class-property.m
U    test/SemaObjC/category-1.m
U    test/SemaObjC/sizeof-interface.m
U    test/SemaObjC/forward-class-receiver.m
U    test/SemaObjC/arc.m
U    test/SemaObjC/forward-class-1.m
U    test/SemaObjC/property-9.m
U    test/SemaObjC/class-impl-1.m
U    test/Analysis/misc-ps.c
U    test/Analysis/misc-ps.m
U    test/Analysis/misc-ps-region-store.cpp
A    test/Analysis/taint-generic.c
U    test/Analysis/temp-obj-dtors-cfg-output.cpp
U    test/Analysis/null-deref-ps.c
U    test/Analysis/rdar-6540084.m
U    test/Analysis/auto-obj-dtors-cfg-output.cpp
U    test/Analysis/retain-release-path-notes.m
U    test/Sema/function.c
U    test/Sema/attr-unavailable-message.c
U    test/Sema/const-eval.c
U    test/Sema/attr-deprecated.c
A    test/Preprocessor/mmx.c
U    test/Preprocessor/init.c
U    test/Preprocessor/optimize.c
U    test/Preprocessor/stdint.c
U    test/lit.cfg
U    test/CodeGenCXX/nrvo.cpp
A    test/CodeGenCXX/atomic.cpp
U    test/CodeGenCXX/references.cpp
U    test/CodeGenCXX/const-init.cpp
U    test/CodeGenCXX/compound-literals.cpp
U    test/CodeGenCXX/const-base-cast.cpp
U    test/CodeGenCXX/x86_32-arguments.cpp
A    test/CodeGenCXX/cxx0x-initializer-references.cpp
U    test/CodeGenCXX/temporaries.cpp
U    test/CodeGenCXX/blocks.cpp
A    test/CodeGenCXX/regparm.cpp
U    test/Misc/warning-flags.c
U    test/Misc/diag-aka-types.cpp
A    test/Misc/serialized-diags-no-issue.c
A    test/Misc/serialized-diags.c
A    test/Misc/serialized-diags-single-issue.c
U    test/Parser/DelayedTemplateParsing.cpp
U    test/ARCMT/GC.m
U    test/ARCMT/GC.m.result
U    test/ARCMT/GC-no-arc-runtime.m
U    test/ARCMT/GC-no-arc-runtime.m.result
A    test/Index/targeted-annotation.c
A    test/Index/targeted-file-refs.c
U    test/Index/recursive-cxx-member-calls.cpp
A    test/Index/preamble-reparse-import.m-1.h
A    test/Index/error-on-deserialized.c
A    test/Index/preamble-reparse-import.m
A    test/Index/invalid-code-rdar10451854.m
A    test/Index/preamble-reparse-import.m-2.h
A    test/Index/annotate-toplevel-in-objccontainer.m
A    test/Index/annotate-toplevel-in-objccontainer.m.h
A    test/Index/preamble-reparse-import.m-3.h
U    test/Index/preamble_macro_template.cpp
U    test/Frontend/dependency-gen.c
A    test/SemaTemplate/crash-10438657.cpp
U    test/SemaTemplate/ms-lookup-template-base-classes.cpp
U    test/SemaTemplate/instantiation-depth.cpp
D    test/Driver/crash-cleanup.c
U    test/Driver/cc-log-diagnostics.c
U    test/Driver/darwin-ld.c
A    test/Driver/output-file-cleanup.c
U    test/CodeGenObjC/arc.m
A    test/CodeGenObjC/selector-ref-invariance.m
U    test/CodeGenObjC/exceptions.m
U    test/CXX/special/class.init/class.base.init/p8-0x.cpp
U    test/CXX/special/class.ctor/p5-0x.cpp
A    test/CXX/special/class.copy/p15-inclass.cpp
U    test/CXX/special/class.copy/p15-0x.cpp
U    test/CXX/dcl.dcl/dcl.spec/dcl.type/dcl.spec.auto/p6.cpp
U    test/CXX/dcl.dcl/dcl.spec/dcl.constexpr/p8.cpp
A    test/CXX/class/class.base
A    test/CXX/class/class.base/class.base.init
A    test/CXX/class/class.base/class.base.init/p5-0x.cpp
A    test/SemaObjCXX/objc-extern-c.mm
U    test/SemaObjCXX/properties.mm
U    test/CodeGen/string-literal-unicode-conversion.c
U    test/CodeGen/asm-label.c
U    test/CodeGen/x86_64-arguments.c
U    test/CodeGen/x86_32-arguments-darwin.c
U    test/CodeGen/object-size.c
A    test/SemaCXX/constexpr-ackermann.cpp
U    test/SemaCXX/constant-expression-cxx11.cpp
U    test/SemaCXX/addr-of-overloaded-function.cpp
U    test/SemaCXX/constructor-initializer.cpp
U    test/SemaCXX/attr-deprecated.cpp
A    test/SemaCXX/constexpr-depth.cpp
U    test/SemaCXX/class-base-member-init.cpp
U    test/SemaCXX/array-bounds.cpp
A    test/SemaCXX/cxx98-compat-flags.cpp
U    test/SemaCXX/MicrosoftCompatibility.cpp
U    test/SemaCXX/uninitialized.cpp
A    test/SemaCXX/cxx0x-initializer-references.cpp
A    test/SemaCXX/constexpr-nqueens.cpp
U    test/SemaCXX/expression-traits.cpp
A    test/SemaCXX/constexpr-factorial.cpp
A    test/Modules/Inputs/module_private_left.h
A    test/Modules/Inputs/DependsOnModule.framework/module.map
A    test/Modules/Inputs/DependsOnModule.framework/Headers/other.h
A    test/Modules/Inputs/redeclarations_right.h
A    test/Modules/Inputs/category_top.h
A    test/Modules/Inputs/normal-module-map
A    test/Modules/Inputs/normal-module-map/module.map
A    test/Modules/Inputs/normal-module-map/nested
A    test/Modules/Inputs/normal-module-map/nested/module.map
A    test/Modules/Inputs/normal-module-map/nested/nested1.h
A    test/Modules/Inputs/normal-module-map/nested/nested2.h
A    test/Modules/Inputs/normal-module-map/Umbrella
A    test/Modules/Inputs/normal-module-map/Umbrella/module.map
A    test/Modules/Inputs/normal-module-map/Umbrella/umbrella_sub.h
A    test/Modules/Inputs/normal-module-map/Umbrella/Umbrella.h
A    test/Modules/Inputs/normal-module-map/Umbrella2
A    test/Modules/Inputs/normal-module-map/Umbrella2/module.map
A    test/Modules/Inputs/normal-module-map/Umbrella2/Umbrella2.h
A    test/Modules/Inputs/normal-module-map/a1.h
A    test/Modules/Inputs/normal-module-map/a2.h
A    test/Modules/Inputs/normal-module-map/b1.h
A    test/Modules/Inputs/category_bottom.h
A    test/Modules/Inputs/irgen.h
A    test/Modules/Inputs/redeclarations_left.h
A    test/Modules/Inputs/category_right.h
A    test/Modules/Inputs/module.map
A    test/Modules/Inputs/module_private_right.h
A    test/Modules/Inputs/macros.h
A    test/Modules/Inputs/category_left.h
U    test/Modules/auto-module-import.c
U    test/Modules/irgen.c
U    test/Modules/redeclarations.m
U    test/Modules/lookup.cpp
U    test/Modules/objc-categories.m
U    test/Modules/diamond.c
U    test/Modules/lookup.m
U    test/Modules/macros.c
U    test/Modules/load_failure.c
A    test/Modules/normal-module-map.cpp
U    test/Modules/module-private.cpp
A    test/PCH/chain-categories2.m
U    test/PCH/method-redecls.m
U    test/PCH/objc_exprs.h
U    include/clang/Frontend/FrontendOptions.h
U    include/clang/Frontend/MultiplexConsumer.h
U    include/clang/Frontend/CompilerInstance.h
U    include/clang/Frontend/FrontendActions.h
U    include/clang/Frontend/CompilerInvocation.h
U    include/clang/Frontend/CodeGenOptions.h
U    include/clang/Frontend/ASTUnit.h
U    include/clang/Basic/DiagnosticGroups.td
U    include/clang/Basic/LangOptions.def
U    include/clang/Basic/DiagnosticLexKinds.td
U    include/clang/Basic/DiagnosticDriverKinds.td
U    include/clang/Basic/SourceManager.h
U    include/clang/Basic/LangOptions.h
U    include/clang/Basic/Builtins.def
U    include/clang/Basic/DiagnosticFrontendKinds.td
U    include/clang/Basic/DiagnosticIDs.h
U    include/clang/Basic/DiagnosticSemaKinds.td
U    include/clang/Sema/Overload.h
U    include/clang/Sema/Sema.h
U    include/clang/Sema/Initialization.h
U    include/clang/AST/DeclBase.h
U    include/clang/AST/BuiltinTypes.def
U    include/clang/AST/ASTConsumer.h
U    include/clang/AST/Attr.h
U    include/clang/AST/ASTMutationListener.h
U    include/clang/AST/DeclCXX.h
U    include/clang/AST/ASTContext.h
U    include/clang/AST/APValue.h
U    include/clang/AST/ExprCXX.h
U    include/clang/AST/DeclObjC.h
U    include/clang/AST/Type.h
U    include/clang/Lex/DirectoryLookup.h
U    include/clang/Lex/HeaderSearch.h
U    include/clang/Lex/PPCallbacks.h
A    include/clang/Lex/ModuleMap.h
U    include/clang/Lex/Preprocessor.h
U    include/clang/Driver/CC1Options.td
U    include/clang/Driver/Options.td
U    include/clang/Driver/Compilation.h
U    include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
U    include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
A    include/clang/StaticAnalyzer/Core/PathSensitive/TaintManager.h
A    include/clang/StaticAnalyzer/Core/PathSensitive/TaintTag.h
U    include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
U    include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
U    include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
U    include/clang/Serialization/ASTReader.h
U    include/clang/Serialization/ASTBitCodes.h
U    include/clang/Serialization/ASTWriter.h
U    include/clang-c/Index.h
U    include/clang-c/Makefile
U    runtime/libcxx/Makefile
U    runtime/compiler-rt/Makefile
U    www/hacking.html
U    www/get_started.html
U    docs/AutomaticReferenceCounting.html
A    docs/AddressSanitizer.html
A    docs/ReleaseNotes.html
U    docs/UsersManual.html
U    docs/LanguageExtensions.html
U    utils/TableGen/ClangDiagnosticsEmitter.cpp
U    utils/TableGen/ClangAttrEmitter.cpp
U    utils/TableGen/NeonEmitter.cpp
U    tools/scan-build/ccc-analyzer
U    tools/arcmt-test/arcmt-test.cpp
U    tools/c-index-test/c-index-test.c
U    tools/c-index-test/Makefile
U    tools/driver/CMakeLists.txt
U    tools/libclang/Indexing.cpp
U    tools/libclang/IndexingContext.cpp
U    tools/libclang/CIndexHigh.cpp
U    tools/libclang/CXCursor.h
U    tools/libclang/CIndexDiagnostic.cpp
U    tools/libclang/IndexBody.cpp
U    tools/libclang/CXLoadedDiagnostic.cpp
U    tools/libclang/libclang.exports
U    tools/libclang/IndexDecl.cpp
U    tools/libclang/CursorVisitor.h
U    tools/libclang/IndexTypeSourceInfo.cpp
U    tools/libclang/CXCursor.cpp
U    tools/libclang/CIndex.cpp
U    tools/libclang/IndexingContext.h
U    lib/Frontend/MultiplexConsumer.cpp
U    lib/Frontend/CompilerInstance.cpp
U    lib/Frontend/FrontendActions.cpp
U    lib/Frontend/InitHeaderSearch.cpp
U    lib/Frontend/SerializedDiagnosticPrinter.cpp
U    lib/Frontend/CompilerInvocation.cpp
U    lib/Frontend/DependencyFile.cpp
U    lib/Frontend/ASTConsumers.cpp
U    lib/Frontend/ASTUnit.cpp
U    lib/Frontend/Warnings.cpp
U    lib/Basic/Targets.cpp
U    lib/Basic/FileManager.cpp
U    lib/Basic/DiagnosticIDs.cpp
U    lib/Basic/SourceManager.cpp
U    lib/Basic/LangOptions.cpp
U    lib/Rewrite/RewriteObjC.cpp
U    lib/Analysis/CFG.cpp
U    lib/Analysis/AnalysisDeclContext.cpp
U    lib/Sema/SemaDeclCXX.cpp
U    lib/Sema/SemaCast.cpp
U    lib/Sema/SemaExprCXX.cpp
U    lib/Sema/SemaDeclAttr.cpp
U    lib/Sema/SemaInit.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/SemaType.cpp
U    lib/Sema/SemaObjCProperty.cpp
U    lib/Sema/SemaPseudoObject.cpp
U    lib/Sema/SemaStmt.cpp
U    lib/Sema/SemaAccess.cpp
U    lib/Sema/SemaChecking.cpp
U    lib/Sema/SemaExprObjC.cpp
U    lib/Sema/SemaExpr.cpp
U    lib/Sema/Sema.cpp
U    lib/Sema/SemaTemplateInstantiate.cpp
U    lib/AST/ExprCXX.cpp
U    lib/AST/DeclObjC.cpp
U    lib/AST/ASTImporter.cpp
U    lib/AST/DeclPrinter.cpp
U    lib/AST/TypeLoc.cpp
U    lib/AST/ExprConstant.cpp
U    lib/AST/ASTDiagnostic.cpp
U    lib/AST/ASTConsumer.cpp
U    lib/AST/ExprClassification.cpp
U    lib/AST/ASTContext.cpp
U    lib/AST/APValue.cpp
U    lib/Lex/PPDirectives.cpp
U    lib/Lex/HeaderSearch.cpp
U    lib/Lex/Lexer.cpp
A    lib/Lex/ModuleMap.cpp
U    lib/Lex/Preprocessor.cpp
U    lib/Lex/PPMacroExpansion.cpp
U    lib/Lex/LiteralSupport.cpp
U    lib/Lex/CMakeLists.txt
U    lib/Driver/Tools.cpp
U    lib/Driver/ToolChains.cpp
U    lib/Driver/Driver.cpp
U    lib/StaticAnalyzer/Checkers/Checkers.td
U    lib/StaticAnalyzer/Checkers/CMakeLists.txt
A    lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
U    lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
U    lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
U    lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp
U    lib/StaticAnalyzer/Core/ExprEngine.cpp
U    lib/StaticAnalyzer/Core/ProgramState.cpp
A    lib/StaticAnalyzer/Core/CheckerContext.cpp
U    lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
U    lib/StaticAnalyzer/Core/SVals.cpp
U    lib/StaticAnalyzer/Core/CMakeLists.txt
U    lib/StaticAnalyzer/Core/RegionStore.cpp
U    lib/StaticAnalyzer/Core/ExprEngineC.cpp
U    lib/StaticAnalyzer/Core/SValBuilder.cpp
D    lib/CodeGen/CGTemporaries.cpp
U    lib/CodeGen/CGExprConstant.cpp
U    lib/CodeGen/CodeGenAction.cpp
U    lib/CodeGen/CGObjCMac.cpp
U    lib/CodeGen/CodeGenModule.h
U    lib/CodeGen/CGExpr.cpp
U    lib/CodeGen/CMakeLists.txt
U    lib/CodeGen/CGCleanup.cpp
U    lib/CodeGen/TargetInfo.cpp
U    lib/CodeGen/CGExprAgg.cpp
U    lib/CodeGen/CGDebugInfo.cpp
U    lib/CodeGen/CodeGenFunction.h
U    lib/CodeGen/CGDecl.cpp
U    lib/CodeGen/BackendUtil.cpp
U    lib/CodeGen/CGCall.cpp
U    lib/CodeGen/ModuleBuilder.cpp
U    lib/Parse/ParseObjc.cpp
U    lib/Parse/ParseCXXInlineMethods.cpp
U    lib/Parse/ParseAST.cpp
A    lib/Headers/cpuid.h
U    lib/FrontendTool/ExecuteCompilerInvocation.cpp
U    lib/Serialization/ASTReaderDecl.cpp
U    lib/Serialization/ASTWriter.cpp
U    lib/Serialization/ASTReader.cpp
U    lib/Serialization/ASTWriterDecl.cpp
U    lib/Serialization/ASTWriterStmt.cpp
U    lib/ARCMigrate/Transforms.cpp
U    lib/ARCMigrate/Transforms.h
U    lib/ARCMigrate/TransProperties.cpp
U    lib/ARCMigrate/ARCMT.cpp
U    lib/ARCMigrate/TransGCAttrs.cpp
U    examples/PrintFunctionNames/PrintFunctionNames.cpp
Updated to revision 145365.
elapsedTime=41.970140
/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.631961
program finished with exit code 0