=> Building security/klee Started : Saturday, 15 FEB 2020 at 17:14:56 UTC Platform: 5.7-DEVELOPMENT DragonFly v5.7.0.1432.g9cd86-DEVELOPMENT #23: Thu Feb 13 14:43:04 PST 2020 root@sting.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.7-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.7-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- ===> The following configuration options are available for klee-2.0_1: TCMALLOC=on: Use tcmalloc library for memory management ====> Solver: Use the: you have to select exactly one of them Z3=on: Z3 SMT solver STP=off: STP SMT solver ===> Use 'make config' to modify these settings -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- PKG_CONFIG=pkgconf PYTHON="/usr/local/bin/python3.7" XDG_DATA_HOME=/construction/security/klee XDG_CONFIG_HOME=/construction/security/klee HOME=/construction/security/klee TMPDIR="/tmp" PATH=/construction/security/klee/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 CMAKE_PREFIX_PATH="/usr/local" -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/security/klee XDG_CONFIG_HOME=/construction/security/klee HOME=/construction/security/klee TMPDIR="/tmp" PATH=/construction/security/klee/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-isystem /usr/local/include" LDFLAGS=" " LIBS="-L/usr/local/lib" CXX="c++" CXXFLAGS=" -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/security/klee/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.7m PYTHON_LIBDIR=lib/python3.7 PYTHON_PLATFORM=dragonfly5 PYTHON_SITELIBDIR=lib/python3.7/site-packages PYTHON_SUFFIX=37 PYTHON_VER=3.7 PYTHON_VERSION=python3.7 PYTHON2="@comment " PYTHON3="" OSREL=5.7 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/klee" EXAMPLESDIR="share/examples/klee" DATADIR="share/klee" WWWDIR="www/klee" ETCDIR="etc/klee" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/klee DOCSDIR=/usr/local/share/doc/klee EXAMPLESDIR=/usr/local/share/examples/klee WWWDIR=/usr/local/www/klee ETCDIR=/usr/local/etc/klee -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=LiveSystem USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=15 DPORTS_BUILDER= yes DISABLE_LICENSES= yes DEFAULT_VERSIONS= ssl=openssl FORCE_PACKAGE= yes DEVELOPER= yes HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.30.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=32 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500709 OSVERSION=9999999 OSREL=5.7 _OSRELEASE=5.7-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> klee-2.0_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.12.0_1.txz Installing pkg-1.12.0_1... Extracting pkg-1.12.0_1: .......... done ===> klee-2.0_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of klee-2.0_1 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- => klee-klee-v2.0_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/klee/klee/tar.gz/v2.0?dummy=/klee-klee-v2.0_GH0.tar.gz fetch: https://codeload.github.com/klee/klee/tar.gz/v2.0?dummy=/klee-klee-v2.0_GH0.tar.gz: size unknown fetch: https://codeload.github.com/klee/klee/tar.gz/v2.0?dummy=/klee-klee-v2.0_GH0.tar.gz: size of remote file is not known klee-klee-v2.0_GH0.tar.gz 999 kB 1079 kBps 01s ===> Fetching all distfiles required by klee-2.0_1 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> Fetching all distfiles required by klee-2.0_1 for building => SHA256 Checksum OK for klee-klee-v2.0_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> Fetching all distfiles required by klee-2.0_1 for building ===> Extracting for klee-2.0_1 => SHA256 Checksum OK for klee-klee-v2.0_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for klee-2.0_1 ===> Applying ports patches for klee-2.0_1 ===> Applying dragonfly patches for klee-2.0_1 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> klee-2.0_1 depends on executable: llvm-config80 - not found ===> Installing existing package /packages/All/llvm80-8.0.1_3.txz Installing llvm80-8.0.1_3... `-- Installing libedit-3.1.20191211,1... | `-- Installing ncurses-6.1.20190525... | `-- Extracting ncurses-6.1.20190525: .......... done `-- Extracting libedit-3.1.20191211,1: .......... done `-- Installing libxml2-2.9.10... `-- Extracting libxml2-2.9.10: .......... done `-- Installing perl5-5.30.1... `-- Extracting perl5-5.30.1: .......... done `-- Installing python37-3.7.6... | `-- Installing expat-2.2.8... | `-- Extracting expat-2.2.8: .......... done | `-- Installing gettext-runtime-0.20.1... | | `-- Installing indexinfo-0.3.1... | | `-- Extracting indexinfo-0.3.1: . done | `-- Extracting gettext-runtime-0.20.1: .......... done | `-- Installing libffi-3.2.1_3... | `-- Extracting libffi-3.2.1_3: .......... done | `-- Installing openssl-1.1.1d,1... | `-- Extracting openssl-1.1.1d,1: .......... done | `-- Installing readline-8.0.1... | `-- Extracting readline-8.0.1: .......... done `-- Extracting python37-3.7.6: .......... done Extracting llvm80-8.0.1_3: .......... done ===== Message from perl5-5.30.1: -- The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/usr/bin/env perl The first one will only work if you have a /usr/local/bin/perl, the second will work as long as perl is in PATH. ===== Message from python37-3.7.6: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py37-gdbm databases/py-gdbm@py37 py37-sqlite3 databases/py-sqlite3@py37 py37-tkinter x11-toolkits/py-tkinter@py37 ===> klee-2.0_1 depends on executable: llvm-config80 - found ===> Returning to build of klee-2.0_1 ===> klee-2.0_1 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_3.txz Installing gmake-4.2.1_3... Extracting gmake-4.2.1_3: .......... done ===> klee-2.0_1 depends on executable: gmake - found ===> Returning to build of klee-2.0_1 ===> klee-2.0_1 depends on executable: z3 - not found ===> Installing existing package /packages/All/z3-4.8.7.txz Installing z3-4.8.7... Extracting z3-4.8.7: .......... done ===> klee-2.0_1 depends on executable: z3 - found ===> Returning to build of klee-2.0_1 ===> klee-2.0_1 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.16.4.txz Installing cmake-3.16.4... `-- Installing curl-7.68.0... | `-- Installing ca_root_nss-3.50... | `-- Extracting ca_root_nss-3.50: ..... done | `-- Installing libnghttp2-1.40.0... | `-- Extracting libnghttp2-1.40.0: ....... done `-- Extracting curl-7.68.0: .......... done `-- Installing jsoncpp-1.9.2... `-- Extracting jsoncpp-1.9.2: .......... done `-- Installing libarchive-3.4.0,1... | `-- Installing liblz4-1.9.2_1,1... | `-- Extracting liblz4-1.9.2_1,1: .......... done | `-- Installing lzo2-2.10_1... | `-- Extracting lzo2-2.10_1: .......... done `-- Extracting libarchive-3.4.0,1: .......... done `-- Installing libuv-1.34.2... `-- Extracting libuv-1.34.2: .......... done `-- Installing rhash-1.3.5... `-- Extracting rhash-1.3.5: .......... done Extracting cmake-3.16.4: .......... done ===== Message from ca_root_nss-3.50: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem ===> klee-2.0_1 depends on file: /usr/local/bin/cmake - found ===> Returning to build of klee-2.0_1 ===> klee-2.0_1 depends on package: pkgconf>=1.3.0_1 - not found ===> Installing existing package /packages/All/pkgconf-1.6.3,1.txz Installing pkgconf-1.6.3,1... Extracting pkgconf-1.6.3,1: .......... done ===> klee-2.0_1 depends on package: pkgconf>=1.3.0_1 - found ===> Returning to build of klee-2.0_1 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> klee-2.0_1 depends on shared library: libtcmalloc.so - not found ===> Installing existing package /packages/All/google-perftools-2.7_1.txz Installing google-perftools-2.7_1... `-- Installing libunwind-20170615... `-- Extracting libunwind-20170615: .......... done Extracting google-perftools-2.7_1: .......... done ===> klee-2.0_1 depends on shared library: libtcmalloc.so - found (/usr/local/lib/libtcmalloc.so) ===> Returning to build of klee-2.0_1 -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for klee-2.0_1 ===> Performing out-of-source build /bin/mkdir -p /construction/security/klee/.build CMake Deprecation Warning at CMakeLists.txt:25 (cmake_policy): The OLD behavior for policy CMP0054 will be removed from a future version of CMake. The cmake-policies(7) manual explains that the OLD behaviors of all policies are deprecated and that a policy should be set to OLD only under specific short-term circumstances. Projects should be ported to the NEW behavior and not rely on setting a policy to OLD. -- The CXX compiler identification is GNU 8.3.0 -- The C compiler identification is GNU 8.3.0 -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- KLEE version 2.0 -- CMake generator: Unix Makefiles -- Build type: Release -- KLEE assertions enabled -- LLVM_CONFIG_BINARY: /usr/local/bin/llvm-config80 -- LLVM_PACKAGE_VERSION: "8.0.1" -- LLVM_VERSION_MAJOR: "8" -- LLVM_VERSION_MINOR: "0" -- LLVM_VERSION_PATCH: "1" -- LLVM_DEFINITIONS: "-D__STDC_CONSTANT_MACROS;-D__STDC_FORMAT_MACROS;-D__STDC_LIMIT_MACROS" -- LLVM_ENABLE_ASSERTIONS: "ON" -- LLVM_ENABLE_EH: "OFF" -- LLVM_ENABLE_RTTI: "ON" -- LLVM_INCLUDE_DIRS: "/usr/local/llvm80/include" -- LLVM_LIBRARY_DIRS: "/usr/local/llvm80/lib" -- LLVM_TOOLS_BINARY_DIR: "/usr/local/llvm80/bin" -- LLVM_ENABLE_VISIBILITY_INLINES_HIDDEN: "OFF" -- TARGET_TRIPLE: "x86_64-portbld-dragonfly5.7" -- Looking for bitcode compilers -- Found /usr/local/llvm80/bin/clang -- Found /usr/local/llvm80/bin/clang++ -- Testing bitcode compiler /usr/local/llvm80/bin/clang -- Compile success -- Checking compatibility with LLVM 8.0.1 -- "/usr/local/llvm80/bin/clang" is compatible -- Testing bitcode compiler /usr/local/llvm80/bin/clang++ -- Compile success -- Checking compatibility with LLVM 8.0.1 -- "/usr/local/llvm80/bin/clang++" is compatible -- LLVMCC: /usr/local/llvm80/bin/clang -- LLVMCXX: /usr/local/llvm80/bin/clang++ -- Performing Test HAS__Wall_CXX -- Performing Test HAS__Wall_CXX - Success -- C++ compiler supports -Wall -- Performing Test HAS__Wextra_CXX -- Performing Test HAS__Wextra_CXX - Success -- C++ compiler supports -Wextra -- Performing Test HAS__Wno_unused_parameter_CXX -- Performing Test HAS__Wno_unused_parameter_CXX - Success -- C++ compiler supports -Wno-unused-parameter -- Performing Test HAS__Wall_C -- Performing Test HAS__Wall_C - Success -- C compiler supports -Wall -- Performing Test HAS__Wextra_C -- Performing Test HAS__Wextra_C - Success -- C compiler supports -Wextra -- Performing Test HAS__Wno_unused_parameter_C -- Performing Test HAS__Wno_unused_parameter_C - Success -- C compiler supports -Wno-unused-parameter -- Not treating compiler warnings as errors -- Could NOT find STP (missing: STP_DIR) YURI STP_STATIC_LIBRARY= -- STP solver support disabled -- Found Z3 libraries: "/usr/local/lib/libz3.so" -- Found Z3 include path: "/usr/local/include" -- Found Z3: /usr/local/include -- Z3 solver support enabled -- Found Z3 -- Checking prototype Z3_get_error_msg for HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT - True -- Z3_get_error_msg requires context -- metaSMT solver support disabled -- Performing Test HAS__fno_exceptions -- Performing Test HAS__fno_exceptions - Success -- C++ compiler supports -fno-exceptions -- Found ZLIB: /usr/lib/libz.so (found version "1.2.11") -- Zlib support enabled -- TCMalloc support enabled -- Looking for C++ include gperftools/malloc_extension.h -- Looking for C++ include gperftools/malloc_extension.h - found -- Performing Test HAS__fno_builtin_malloc -- Performing Test HAS__fno_builtin_malloc - Success -- C++ compiler supports -fno-builtin-malloc -- Performing Test HAS__fno_builtin_calloc -- Performing Test HAS__fno_builtin_calloc - Success -- C++ compiler supports -fno-builtin-calloc -- Performing Test HAS__fno_builtin_realloc -- Performing Test HAS__fno_builtin_realloc - Success -- C++ compiler supports -fno-builtin-realloc -- Performing Test HAS__fno_builtin_free -- Performing Test HAS__fno_builtin_free - Success -- C++ compiler supports -fno-builtin-free -- Looking for pty.h -- Looking for pty.h - not found -- Looking for util.h -- Looking for util.h - found -- Looking for openpty -- Looking for openpty - not found -- Looking for openpty in util -- Looking for openpty in util - found -- Looking for __ctype_b_loc -- Looking for __ctype_b_loc - not found -- Looking for mallinfo -- Looking for mallinfo - not found -- Looking for malloc_zone_statistics -- Looking for malloc_zone_statistics - not found -- Looking for sys/statfs.h -- Looking for sys/statfs.h - not found -- Looking for selinux/selinux.h -- Looking for selinux/selinux.h - not found -- Looking for sys/acl.h -- Looking for sys/acl.h - found -- SELinux support disabled -- Workaround for LLVM PR39177 (affecting LLVM 3.9 - 7.0.0) disabled -- KLEE_RUNTIME_BUILD_TYPE is not set. Setting default -- The available runtime build types are: Release;Release+Debug;Release+Asserts;Release+Debug+Asserts;Debug;Debug+Asserts CMake Warning (dev) at CMakeLists.txt:540 (set): implicitly converting 'String' to 'STRING' type. This warning is for project developers. Use -Wno-dev to suppress it. -- KLEE_RUNTIME_BUILD_TYPE: Debug+Asserts -- POSIX runtime disabled -- klee-uclibc support disabled -- libc++ support disabled -- -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -- KLEE_COMPONENT_EXTRA_INCLUDE_DIRS: '/usr/local/llvm80/include;/usr/local/include;/usr/include;/usr/local/include' -- KLEE_COMPONENT_CXX_DEFINES: '-D__STDC_CONSTANT_MACROS;-D__STDC_FORMAT_MACROS;-D__STDC_LIMIT_MACROS' -- KLEE_COMPONENT_CXX_FLAGS: '-fno-exceptions;-fno-builtin-malloc;-fno-builtin-calloc;-fno-builtin-realloc;-fno-builtin-free' -- KLEE_COMPONENT_EXTRA_LIBRARIES: '/usr/lib/libz.so;/usr/local/lib/libtcmalloc.so' -- KLEE_SOLVER_LIBRARIES: '/usr/local/lib/libz3.so' -- Testing is disabled -- Unit tests disabled -- System tests disabled -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) CMake Warning at docs/CMakeLists.txt:46 (message): Doxygen not found. Can't build Doxygen documentation -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_MODULE_LINKER_FLAGS Python_ADDITIONAL_VERSIONS THREADS_HAVE_PTHREAD_ARG -- Build files have been written to: /construction/security/klee/.build -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for klee-2.0_1 /usr/local/bin/cmake -S/construction/security/klee/klee-2.0 -B/construction/security/klee/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/security/klee/.build/CMakeFiles /construction/security/klee/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/all --- /usr/bin/make -f lib/Support/CMakeFiles/kleeSupport.dir/build.make lib/Support/CMakeFiles/kleeSupport.dir/depend --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- /usr/bin/make -f lib/Expr/CMakeFiles/kleaverExpr.dir/build.make lib/Expr/CMakeFiles/kleaverExpr.dir/depend --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- /usr/bin/make -f runtime/CMakeFiles/BuildKLEERuntimes.dir/build.make runtime/CMakeFiles/BuildKLEERuntimes.dir/depend --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- /usr/bin/make -f runtime/Runtest/CMakeFiles/kleeRuntest.dir/build.make runtime/Runtest/CMakeFiles/kleeRuntest.dir/depend --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/depend --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/depend --- --- lib/Support/CMakeFiles/kleeSupport.dir/all --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Support /construction/security/klee/.build /construction/security/klee/.build/lib/Support /construction/security/klee/.build/lib/Support/CMakeFiles/kleeSupport.dir/DependInfo.cmake --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/runtime /construction/security/klee/.build /construction/security/klee/.build/runtime /construction/security/klee/.build/runtime/CMakeFiles/BuildKLEERuntimes.dir/DependInfo.cmake Scanning dependencies of target BuildKLEERuntimes /usr/bin/make -f runtime/CMakeFiles/BuildKLEERuntimes.dir/build.make runtime/CMakeFiles/BuildKLEERuntimes.dir/build --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-mkdir --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-mkdir --- [ 2%] Creating directories for 'BuildKLEERuntimes' --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- [ 2%] Performing RuntimeBuild step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/bin/env MAKEFLAGS=\"\" "O0OPT=-O0 -Xclang -disable-O0-optnone" /usr/local/bin/gmake -f Makefile.cmake.bitcode all --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-mkdir --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- gmake[4]: Entering directory '/construction/security/klee/.build/runtime' --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Expr /construction/security/klee/.build /construction/security/klee/.build/lib/Expr /construction/security/klee/.build/lib/Expr/CMakeFiles/kleaverExpr.dir/DependInfo.cmake --- lib/Support/CMakeFiles/kleeSupport.dir/all --- Scanning dependencies of target kleeSupport --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- gmake[5]: Entering directory '/construction/security/klee/.build/runtime/Intrinsic' --- lib/Support/CMakeFiles/kleeSupport.dir/all --- /usr/bin/make -f lib/Support/CMakeFiles/kleeSupport.dir/build.make lib/Support/CMakeFiles/kleeSupport.dir/build --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-mkdir --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o --- --- lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o --- [ 3%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/RNG.cpp.o -c /construction/security/klee/klee-2.0/lib/Support/RNG.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o --- [ 4%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o --- lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o --- [ 6%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o --- lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o --- [ 6%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o --- lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o --- [ 7%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o --- lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o --- [ 8%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o --- lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o --- [ 8%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o --- lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o --- cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o -c /construction/security/klee/klee-2.0/lib/Support/CompressionStream.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o --- cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/FileHandling.cpp.o -c /construction/security/klee/klee-2.0/lib/Support/FileHandling.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o --- cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/Time.cpp.o -c /construction/security/klee/klee-2.0/lib/Support/Time.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o --- [ 9%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o --- lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o --- cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o -c /construction/security/klee/klee-2.0/lib/Support/ErrorHandling.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o --- [ 10%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o --- lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o --- cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o -c /construction/security/klee/klee-2.0/lib/Support/MemoryUsage.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o --- cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/Timer.cpp.o -c /construction/security/klee/klee-2.0/lib/Support/Timer.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o --- cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/TreeStream.cpp.o -c /construction/security/klee/klee-2.0/lib/Support/TreeStream.cpp --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/runtime/Runtest /construction/security/klee/.build /construction/security/klee/.build/runtime/Runtest /construction/security/klee/.build/runtime/Runtest/CMakeFiles/kleeRuntest.dir/DependInfo.cmake Scanning dependencies of target kleeRuntest /usr/bin/make -f runtime/Runtest/CMakeFiles/kleeRuntest.dir/build.make runtime/Runtest/CMakeFiles/kleeRuntest.dir/build --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o --- --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o --- [ 11%] Building C object runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o cd /construction/security/klee/.build/runtime/Runtest && /usr/bin/cc -DkleeRuntest_EXPORTS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -fPIC -o CMakeFiles/kleeRuntest.dir/intrinsics.c.o -c /construction/security/klee/klee-2.0/runtime/Runtest/intrinsics.c --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o --- [ 11%] Building CXX object runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o cd /construction/security/klee/.build/runtime/Runtest && /usr/bin/c++ -DkleeRuntest_EXPORTS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fPIC -std=gnu++14 -o CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o -c /construction/security/klee/klee-2.0/lib/Basic/KTest.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o --- cd /construction/security/klee/.build/lib/Support && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o -c /construction/security/klee/klee-2.0/lib/Support/PrintVersion.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/dso_handle.c --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-mkdir --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/tmp cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-mkdir --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-download --- [ 12%] No download step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo_append cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-download --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-update --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-patch --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- Scanning dependencies of target kleaverExpr /usr/bin/make -f lib/Expr/CMakeFiles/kleaverExpr.dir/build.make lib/Expr/CMakeFiles/kleaverExpr.dir/build --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- [ 14%] No patch step for 'BuildKLEERuntimes' --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-update --- [ 14%] No update step for 'BuildKLEERuntimes' --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-patch --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo_append --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-update --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo_append cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-update --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-patch --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-patch --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-configure --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o --- [ 15%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/ArrayExprRewriter.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- [ 15%] Performing configure step for 'BuildKLEERuntimes' --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o --- [ 16%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/ArrayExprVisitor.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o --- [ 16%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/ArrayCache.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o --- [ 17%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/ArrayExprOptimizer.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-configure --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-build --- [ 18%] Performing build step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-build --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-install --- [ 19%] Performing install step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E echo --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- --- lib/libkleeRuntest.so.1.0 --- --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-install --- runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/klee_choose.c --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- [ 20%] Linking CXX shared library ../../lib/libkleeRuntest.so cd /construction/security/klee/.build/runtime/Runtest && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleeRuntest.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -shared -Wl,-soname,libkleeRuntest.so.1.0 -o ../../lib/libkleeRuntest.so.1.0 CMakeFiles/kleeRuntest.dir/intrinsics.c.o CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/Assigment.cpp.o --- [ 21%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Assigment.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Assigment.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/Assigment.cpp --- runtime/Runtest/CMakeFiles/kleeRuntest.dir/all --- cd /construction/security/klee/.build/runtime/Runtest && /usr/local/bin/cmake -E cmake_symlink_library ../../lib/libkleeRuntest.so.1.0 ../../lib/libkleeRuntest.so.1.0 ../../lib/libkleeRuntest.so [ 21%] Built target kleeRuntest --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o --- [ 22%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/AssignmentGenerator.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/klee_div_zero_check.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/klee_int.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/klee_overshift_check.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/Intrinsic/klee_range.c Creating LLVM archive /construction/security/klee/.build/Debug+Asserts/lib/libkleeRuntimeIntrinsic.bca gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/Intrinsic' gmake[5]: Entering directory '/construction/security/klee/.build/runtime/klee-libc' LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/__cxa_atexit.c --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o --- [ 22%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Constraints.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/Constraints.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/abort.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/atexit.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/atoi.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/calloc.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/htonl.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/memchr.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/mempcpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/putchar.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/stpcpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strcat.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strchr.c --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o --- [ 23%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/ExprBuilder.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strcmp.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strcoll.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strcpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strlen.c --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o --- [ 24%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Expr.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/Expr.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strncmp.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strncpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strrchr.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strtol.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/strtoul.c --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o --- [ 25%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/ExprEvaluator.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/tolower.c --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o --- [ 26%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/ExprPPrinter.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/klee-libc/toupper.c Creating LLVM archive /construction/security/klee/.build/Debug+Asserts/lib/libklee-libc.bca gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/klee-libc' gmake[5]: Entering directory '/construction/security/klee/.build/runtime/FreeStanding' LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/FreeStanding/memcmp.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/FreeStanding/memcpy.c LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/FreeStanding/memmove.c --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o --- [ 27%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/ExprSMTLIBPrinter.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- LLVMCC (Debug+Asserts) /construction/security/klee/klee-2.0/runtime/FreeStanding/memset.c Creating LLVM archive /construction/security/klee/.build/Debug+Asserts/lib/libkleeRuntimeFreeStanding.bca --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o --- [ 27%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/ExprUtil.cpp --- runtime/CMakeFiles/BuildKLEERuntimes.dir/all --- gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/FreeStanding' gmake[4]: Leaving directory '/construction/security/klee/.build/runtime' --- runtime/CMakeFiles/BuildKLEERuntimes-complete --- [ 27%] Completed 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/CMakeFiles cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/CMakeFiles/BuildKLEERuntimes-complete cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-done [ 27%] Built target BuildKLEERuntimes --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o --- [ 28%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/ExprVisitor.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o --- [ 29%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Lexer.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/Lexer.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o --- [ 30%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Parser.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/Parser.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o --- [ 31%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o cd /construction/security/klee/.build/lib/Expr && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverExpr.dir/Updates.cpp.o -c /construction/security/klee/klee-2.0/lib/Expr/Updates.cpp --- lib/Support/CMakeFiles/kleeSupport.dir/all --- --- lib/libkleeSupport.a --- [ 32%] Linking CXX static library ../libkleeSupport.a cd /construction/security/klee/.build/lib/Support && /usr/local/bin/cmake -P CMakeFiles/kleeSupport.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Support && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleeSupport.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleeSupport.a CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o CMakeFiles/kleeSupport.dir/FileHandling.cpp.o CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o CMakeFiles/kleeSupport.dir/RNG.cpp.o CMakeFiles/kleeSupport.dir/Time.cpp.o CMakeFiles/kleeSupport.dir/Timer.cpp.o CMakeFiles/kleeSupport.dir/TreeStream.cpp.o /usr/bin/ranlib ../libkleeSupport.a [ 32%] Built target kleeSupport --- lib/Module/CMakeFiles/kleeModule.dir/all --- /usr/bin/make -f lib/Module/CMakeFiles/kleeModule.dir/build.make lib/Module/CMakeFiles/kleeModule.dir/depend --- lib/Module/CMakeFiles/kleeModule.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Module /construction/security/klee/.build /construction/security/klee/.build/lib/Module /construction/security/klee/.build/lib/Module/CMakeFiles/kleeModule.dir/DependInfo.cmake Scanning dependencies of target kleeModule /usr/bin/make -f lib/Module/CMakeFiles/kleeModule.dir/build.make lib/Module/CMakeFiles/kleeModule.dir/build --- lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o --- --- lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o --- [ 32%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o --- lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o --- [ 34%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o --- lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o --- [ 34%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o --- lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o --- [ 35%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o --- lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o --- cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/IntrinsicCleaner.cpp --- lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o --- cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/Checks.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/Checks.cpp --- lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o --- cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/KInstruction.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/KInstruction.cpp --- lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o --- cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/InstructionOperandTypeCheckPass.cpp --- lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o --- [ 36%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o --- lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o --- [ 37%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o --- lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o --- cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/KModule.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/KModule.cpp --- lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o --- [ 38%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o --- lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o --- cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/ModuleUtil.cpp --- lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o --- cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/LowerSwitch.cpp --- lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o --- [ 38%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o --- lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o --- [ 40%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o --- lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o --- cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/OptNone.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/OptNone.cpp --- lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o --- cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/RaiseAsm.cpp --- lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o --- [ 41%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/PhiCleaner.cpp --- lib/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o --- [ 42%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/InstructionInfoTable.cpp --- lib/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o --- [ 40%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/Optimize.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/Optimize.cpp --- lib/Module/CMakeFiles/kleeModule.dir/Scalarizer.cpp.o --- [ 43%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/Scalarizer.cpp.o cd /construction/security/klee/.build/lib/Module && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeModule.dir/Scalarizer.cpp.o -c /construction/security/klee/klee-2.0/lib/Module/Scalarizer.cpp --- lib/Expr/CMakeFiles/kleaverExpr.dir/all --- --- lib/libkleaverExpr.a --- [ 44%] Linking CXX static library ../libkleaverExpr.a cd /construction/security/klee/.build/lib/Expr && /usr/local/bin/cmake -P CMakeFiles/kleaverExpr.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Expr && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleaverExpr.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleaverExpr.a CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o CMakeFiles/kleaverExpr.dir/Assigment.cpp.o CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o CMakeFiles/kleaverExpr.dir/Constraints.cpp.o CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o CMakeFiles/kleaverExpr.dir/Expr.cpp.o CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o CMakeFiles/kleaverExpr.dir/Lexer.cpp.o CMakeFiles/kleaverExpr.dir/Parser.cpp.o CMakeFiles/kleaverExpr.dir/Updates.cpp.o /usr/bin/ranlib ../libkleaverExpr.a [ 44%] Built target kleaverExpr --- lib/Solver/CMakeFiles/kleaverSolver.dir/all --- /usr/bin/make -f lib/Solver/CMakeFiles/kleaverSolver.dir/build.make lib/Solver/CMakeFiles/kleaverSolver.dir/depend --- lib/Solver/CMakeFiles/kleaverSolver.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Solver /construction/security/klee/.build /construction/security/klee/.build/lib/Solver /construction/security/klee/.build/lib/Solver/CMakeFiles/kleaverSolver.dir/DependInfo.cmake Scanning dependencies of target kleaverSolver /usr/bin/make -f lib/Solver/CMakeFiles/kleaverSolver.dir/build.make lib/Solver/CMakeFiles/kleaverSolver.dir/build --- lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o --- --- lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o --- [ 44%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/AssignmentValidatingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o --- [ 45%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/CachingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o --- [ 46%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/ConstantDivision.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o --- [ 47%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/CexCachingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o --- [ 48%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/CoreSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o --- [ 49%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/DummySolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o --- [ 49%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/FastCexSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o --- [ 50%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/IncompleteSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o --- [ 51%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/IndependentSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o --- [ 52%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/MetaSMTSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o --- [ 53%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/KQueryLoggingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o --- [ 54%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/QueryLoggingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o --- [ 54%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/SMTLIBLoggingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o --- [ 55%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/Solver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/Solver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o --- [ 56%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/SolverImpl.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o --- [ 57%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/SolverStats.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o --- [ 58%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/STPBuilder.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o --- [ 59%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/STPSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o --- [ 59%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/ValidatingSolver.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o --- [ 60%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/Z3Builder.cpp --- lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o --- [ 61%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o cd /construction/security/klee/.build/lib/Solver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o -c /construction/security/klee/klee-2.0/lib/Solver/Z3Solver.cpp --- lib/Module/CMakeFiles/kleeModule.dir/all --- --- lib/libkleeModule.a --- [ 62%] Linking CXX static library ../libkleeModule.a cd /construction/security/klee/.build/lib/Module && /usr/local/bin/cmake -P CMakeFiles/kleeModule.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Module && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleeModule.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleeModule.a CMakeFiles/kleeModule.dir/Checks.cpp.o CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o CMakeFiles/kleeModule.dir/KInstruction.cpp.o CMakeFiles/kleeModule.dir/KModule.cpp.o CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o CMakeFiles/kleeModule.dir/Optimize.cpp.o CMakeFiles/kleeModule.dir/OptNone.cpp.o CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o CMakeFiles/kleeModule.dir/Scalarizer.cpp.o /usr/bin/ranlib ../libkleeModule.a [ 62%] Built target kleeModule --- lib/Solver/CMakeFiles/kleaverSolver.dir/all --- --- lib/libkleaverSolver.a --- [ 63%] Linking CXX static library ../libkleaverSolver.a cd /construction/security/klee/.build/lib/Solver && /usr/local/bin/cmake -P CMakeFiles/kleaverSolver.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Solver && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleaverSolver.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleaverSolver.a CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o CMakeFiles/kleaverSolver.dir/Solver.cpp.o CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o /usr/bin/ranlib ../libkleaverSolver.a [ 63%] Built target kleaverSolver --- lib/Basic/CMakeFiles/kleeBasic.dir/all --- /usr/bin/make -f lib/Basic/CMakeFiles/kleeBasic.dir/build.make lib/Basic/CMakeFiles/kleeBasic.dir/depend --- lib/Basic/CMakeFiles/kleeBasic.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Basic /construction/security/klee/.build /construction/security/klee/.build/lib/Basic /construction/security/klee/.build/lib/Basic/CMakeFiles/kleeBasic.dir/DependInfo.cmake Scanning dependencies of target kleeBasic /usr/bin/make -f lib/Basic/CMakeFiles/kleeBasic.dir/build.make lib/Basic/CMakeFiles/kleeBasic.dir/build --- lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o --- --- lib/Basic/CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o --- --- lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o --- --- lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o --- --- lib/Basic/CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o --- [ 64%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o --- lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o --- [ 65%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o --- lib/Basic/CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o --- cd /construction/security/klee/.build/lib/Basic && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o -c /construction/security/klee/klee-2.0/lib/Basic/ConstructSolverChain.cpp --- lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o --- cd /construction/security/klee/.build/lib/Basic && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeBasic.dir/Statistics.cpp.o -c /construction/security/klee/klee-2.0/lib/Basic/Statistics.cpp --- lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o --- [ 66%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o cd /construction/security/klee/.build/lib/Basic && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeBasic.dir/KTest.cpp.o -c /construction/security/klee/klee-2.0/lib/Basic/KTest.cpp --- lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o --- [ 67%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o cd /construction/security/klee/.build/lib/Basic && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o -c /construction/security/klee/klee-2.0/lib/Basic/CmdLineOptions.cpp --- lib/libkleeBasic.a --- [ 68%] Linking CXX static library ../libkleeBasic.a cd /construction/security/klee/.build/lib/Basic && /usr/local/bin/cmake -P CMakeFiles/kleeBasic.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Basic && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleeBasic.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleeBasic.a CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o CMakeFiles/kleeBasic.dir/KTest.cpp.o CMakeFiles/kleeBasic.dir/Statistics.cpp.o /usr/bin/ranlib ../libkleeBasic.a [ 68%] Built target kleeBasic --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- --- tools/kleaver/CMakeFiles/kleaver.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/all --- /usr/bin/make -f lib/Core/CMakeFiles/kleeCore.dir/build.make lib/Core/CMakeFiles/kleeCore.dir/depend --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- /usr/bin/make -f tools/gen-bout/CMakeFiles/gen-bout.dir/build.make tools/gen-bout/CMakeFiles/gen-bout.dir/depend --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- /usr/bin/make -f tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build.make tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/depend --- tools/kleaver/CMakeFiles/kleaver.dir/all --- /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/depend --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- /usr/bin/make -f tools/klee-replay/CMakeFiles/klee-replay.dir/build.make tools/klee-replay/CMakeFiles/klee-replay.dir/depend --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/depend --- --- tools/kleaver/CMakeFiles/kleaver.dir/all --- --- tools/kleaver/CMakeFiles/kleaver.dir/depend --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/depend --- --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- --- tools/gen-bout/CMakeFiles/gen-bout.dir/depend --- --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/tools/gen-random-bout /construction/security/klee/.build /construction/security/klee/.build/tools/gen-random-bout /construction/security/klee/.build/tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/DependInfo.cmake --- tools/kleaver/CMakeFiles/kleaver.dir/all --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/tools/kleaver /construction/security/klee/.build /construction/security/klee/.build/tools/kleaver /construction/security/klee/.build/tools/kleaver/CMakeFiles/kleaver.dir/DependInfo.cmake --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/tools/klee-replay /construction/security/klee/.build /construction/security/klee/.build/tools/klee-replay /construction/security/klee/.build/tools/klee-replay/CMakeFiles/klee-replay.dir/DependInfo.cmake --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/depend --- --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/tools/gen-bout /construction/security/klee/.build /construction/security/klee/.build/tools/gen-bout /construction/security/klee/.build/tools/gen-bout/CMakeFiles/gen-bout.dir/DependInfo.cmake --- lib/Core/CMakeFiles/kleeCore.dir/all --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Core /construction/security/klee/.build /construction/security/klee/.build/lib/Core /construction/security/klee/.build/lib/Core/CMakeFiles/kleeCore.dir/DependInfo.cmake --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- Scanning dependencies of target gen-bout --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- Scanning dependencies of target gen-random-bout --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- /usr/bin/make -f tools/gen-bout/CMakeFiles/gen-bout.dir/build.make tools/gen-bout/CMakeFiles/gen-bout.dir/build --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- /usr/bin/make -f tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build.make tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o --- --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- --- tools/gen-bout/CMakeFiles/gen-bout.dir/gen-bout.cpp.o --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- Scanning dependencies of target klee-replay /usr/bin/make -f tools/klee-replay/CMakeFiles/klee-replay.dir/build.make tools/klee-replay/CMakeFiles/klee-replay.dir/build --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- [ 69%] Building CXX object tools/gen-bout/CMakeFiles/gen-bout.dir/gen-bout.cpp.o cd /construction/security/klee/.build/tools/gen-bout && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/gen-bout.dir/gen-bout.cpp.o -c /construction/security/klee/klee-2.0/tools/gen-bout/gen-bout.cpp --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o --- --- tools/kleaver/CMakeFiles/kleaver.dir/all --- Scanning dependencies of target kleaver /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/build --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- [ 69%] Building CXX object tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o cd /construction/security/klee/.build/tools/gen-random-bout && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o -c /construction/security/klee/klee-2.0/tools/gen-random-bout/gen-random-bout.cpp --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- [ 70%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o cd /construction/security/klee/.build/tools/klee-replay && /usr/bin/cc -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -o CMakeFiles/klee-replay.dir/klee_init_env.c.o -c /construction/security/klee/klee-2.0/tools/klee-replay/klee_init_env.c --- tools/kleaver/CMakeFiles/kleaver.dir/all --- --- tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o --- [ 71%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o cd /construction/security/klee/.build/tools/klee-replay && /usr/bin/cc -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -o CMakeFiles/klee-replay.dir/klee-replay.c.o -c /construction/security/klee/klee-2.0/tools/klee-replay/klee-replay.c --- tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o --- [ 72%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o cd /construction/security/klee/.build/tools/klee-replay && /usr/bin/cc -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -o CMakeFiles/klee-replay.dir/fd_init.c.o -c /construction/security/klee/klee-2.0/tools/klee-replay/fd_init.c --- tools/kleaver/CMakeFiles/kleaver.dir/all --- [ 73%] Building CXX object tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o cd /construction/security/klee/.build/tools/kleaver && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleaver.dir/main.cpp.o -c /construction/security/klee/klee-2.0/tools/kleaver/main.cpp --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o --- [ 74%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o cd /construction/security/klee/.build/tools/klee-replay && /usr/bin/cc -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -o CMakeFiles/klee-replay.dir/file-creator.c.o -c /construction/security/klee/klee-2.0/tools/klee-replay/file-creator.c --- lib/Core/CMakeFiles/kleeCore.dir/all --- Scanning dependencies of target kleeCore /usr/bin/make -f lib/Core/CMakeFiles/kleeCore.dir/build.make lib/Core/CMakeFiles/kleeCore.dir/build --- lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/ExecutorTimers.cpp.o --- --- lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o --- [ 74%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/AddressSpace.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/AddressSpace.cpp --- lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o --- [ 74%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/Executor.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/Executor.cpp --- lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o --- [ 75%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o --- lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o --- [ 76%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o --- lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o --- cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/Context.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/Context.cpp --- lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o --- cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/CoreStats.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/CoreStats.cpp --- lib/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o --- [ 77%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/CallPathManager.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/CallPathManager.cpp --- lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o --- [ 78%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/MergeHandler.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/MergeHandler.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o --- [ 79%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/ExecutionState.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/ExecutionState.cpp --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- --- bin/gen-random-bout --- --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/ExecutorTimers.cpp.o --- [ 80%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExecutorTimers.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/ExecutorTimers.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/ExecutorTimers.cpp --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- [ 81%] Linking CXX executable ../../bin/gen-random-bout cd /construction/security/klee/.build/tools/gen-random-bout && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gen-random-bout.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o -o ../../bin/gen-random-bout -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.so --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- --- bin/gen-bout --- [ 82%] Linking CXX executable ../../bin/gen-bout cd /construction/security/klee/.build/tools/gen-bout && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gen-bout.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/gen-bout.dir/gen-bout.cpp.o -o ../../bin/gen-bout -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.so --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o --- [ 83%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/ExecutorUtil.cpp --- lib/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o --- [ 84%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/ExternalDispatcher.cpp --- tools/gen-bout/CMakeFiles/gen-bout.dir/all --- [ 85%] Built target gen-bout --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o --- [ 86%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/ImpliedValue.cpp --- lib/Core/CMakeFiles/kleeCore.dir/Memory.cpp.o --- [ 87%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Memory.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/Memory.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/Memory.cpp --- tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/all --- [ 88%] Built target gen-random-bout --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/MemoryManager.cpp.o --- --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- --- bin/klee-replay --- --- lib/Core/CMakeFiles/kleeCore.dir/all --- [ 88%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/MemoryManager.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/MemoryManager.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/MemoryManager.cpp --- tools/klee-replay/CMakeFiles/klee-replay.dir/all --- [ 89%] Linking CXX executable ../../bin/klee-replay cd /construction/security/klee/.build/tools/klee-replay && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/klee-replay.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/klee-replay.dir/fd_init.c.o CMakeFiles/klee-replay.dir/file-creator.c.o CMakeFiles/klee-replay.dir/klee-replay.c.o CMakeFiles/klee-replay.dir/klee_init_env.c.o -o ../../bin/klee-replay -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a -lutil ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.so [ 89%] Built target klee-replay --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/Core/CMakeFiles/kleeCore.dir/PTree.cpp.o --- [ 90%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/PTree.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/PTree.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/PTree.cpp --- lib/Core/CMakeFiles/kleeCore.dir/Searcher.cpp.o --- [ 91%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Searcher.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/Searcher.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/Searcher.cpp --- lib/Core/CMakeFiles/kleeCore.dir/SeedInfo.cpp.o --- [ 92%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/SeedInfo.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/SeedInfo.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/SeedInfo.cpp --- lib/Core/CMakeFiles/kleeCore.dir/SpecialFunctionHandler.cpp.o --- [ 93%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/SpecialFunctionHandler.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/SpecialFunctionHandler.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/SpecialFunctionHandler.cpp --- lib/Core/CMakeFiles/kleeCore.dir/StatsTracker.cpp.o --- [ 94%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/StatsTracker.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/StatsTracker.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/StatsTracker.cpp --- lib/Core/CMakeFiles/kleeCore.dir/TimingSolver.cpp.o --- [ 94%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/TimingSolver.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/TimingSolver.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/TimingSolver.cpp --- lib/Core/CMakeFiles/kleeCore.dir/UserSearcher.cpp.o --- [ 95%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/UserSearcher.cpp.o cd /construction/security/klee/.build/lib/Core && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/kleeCore.dir/UserSearcher.cpp.o -c /construction/security/klee/klee-2.0/lib/Core/UserSearcher.cpp --- tools/kleaver/CMakeFiles/kleaver.dir/all --- --- bin/kleaver --- [ 96%] Linking CXX executable ../../bin/kleaver cd /construction/security/klee/.build/tools/kleaver && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleaver.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/kleaver.dir/main.cpp.o -o ../../bin/kleaver -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a /usr/local/lib/libz3.so -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so [ 97%] Built target kleaver --- lib/Core/CMakeFiles/kleeCore.dir/all --- --- lib/libkleeCore.a --- [ 98%] Linking CXX static library ../libkleeCore.a cd /construction/security/klee/.build/lib/Core && /usr/local/bin/cmake -P CMakeFiles/kleeCore.dir/cmake_clean_target.cmake cd /construction/security/klee/.build/lib/Core && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleeCore.dir/link.txt --verbose=1 /usr/bin/ar qc ../libkleeCore.a CMakeFiles/kleeCore.dir/AddressSpace.cpp.o CMakeFiles/kleeCore.dir/MergeHandler.cpp.o CMakeFiles/kleeCore.dir/CallPathManager.cpp.o CMakeFiles/kleeCore.dir/Context.cpp.o CMakeFiles/kleeCore.dir/CoreStats.cpp.o CMakeFiles/kleeCore.dir/ExecutionState.cpp.o CMakeFiles/kleeCore.dir/Executor.cpp.o CMakeFiles/kleeCore.dir/ExecutorTimers.cpp.o CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o CMakeFiles/kleeCore.dir/Memory.cpp.o CMakeFiles/kleeCore.dir/MemoryManager.cpp.o CMakeFiles/kleeCore.dir/PTree.cpp.o CMakeFiles/kleeCore.dir/Searcher.cpp.o CMakeFiles/kleeCore.dir/SeedInfo.cpp.o CMakeFiles/kleeCore.dir/SpecialFunctionHandler.cpp.o CMakeFiles/kleeCore.dir/StatsTracker.cpp.o CMakeFiles/kleeCore.dir/TimingSolver.cpp.o CMakeFiles/kleeCore.dir/UserSearcher.cpp.o /usr/bin/ranlib ../libkleeCore.a [ 98%] Built target kleeCore --- tools/klee/CMakeFiles/klee.dir/all --- /usr/bin/make -f tools/klee/CMakeFiles/klee.dir/build.make tools/klee/CMakeFiles/klee.dir/depend --- tools/klee/CMakeFiles/klee.dir/depend --- cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/tools/klee /construction/security/klee/.build /construction/security/klee/.build/tools/klee /construction/security/klee/.build/tools/klee/CMakeFiles/klee.dir/DependInfo.cmake Scanning dependencies of target klee /usr/bin/make -f tools/klee/CMakeFiles/klee.dir/build.make tools/klee/CMakeFiles/klee.dir/build --- tools/klee/CMakeFiles/klee.dir/main.cpp.o --- [ 99%] Building CXX object tools/klee/CMakeFiles/klee.dir/main.cpp.o cd /construction/security/klee/.build/tools/klee && /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/construction/security/klee/.build/include -I/construction/security/klee/klee-2.0/include -I/usr/local/llvm80/include -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -o CMakeFiles/klee.dir/main.cpp.o -c /construction/security/klee/klee-2.0/tools/klee/main.cpp --- bin/klee --- [100%] Linking CXX executable ../../bin/klee cd /construction/security/klee/.build/tools/klee && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/klee.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/klee.dir/main.cpp.o -o ../../bin/klee -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeCore.a ../../lib/libkleeModule.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a /usr/local/lib/libz3.so ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so [100%] Built target klee /usr/local/bin/cmake -E cmake_progress_start /construction/security/klee/.build/CMakeFiles 0 -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- ===> klee-2.0_1 depends on executable: llvm-config80 - found ===> klee-2.0_1 depends on package: py37-tabulate>0 - not found ===> Installing existing package /packages/All/py37-tabulate-0.8.6.txz Installing py37-tabulate-0.8.6... `-- Installing py37-setuptools-44.0.0... `-- Extracting py37-setuptools-44.0.0: .......... done Extracting py37-tabulate-0.8.6: .......... done ===> klee-2.0_1 depends on package: py37-tabulate>0 - found ===> Returning to build of klee-2.0_1 ===> klee-2.0_1 depends on executable: z3 - found ===> klee-2.0_1 depends on file: /usr/local/bin/python3.7 - found -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for klee-2.0_1 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/security/klee/klee-2.0 -B/construction/security/klee/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/security/klee/.build/CMakeFiles /construction/security/klee/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f lib/Support/CMakeFiles/kleeSupport.dir/build.make lib/Support/CMakeFiles/kleeSupport.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Support /construction/security/klee/.build /construction/security/klee/.build/lib/Support /construction/security/klee/.build/lib/Support/CMakeFiles/kleeSupport.dir/DependInfo.cmake /usr/bin/make -f lib/Support/CMakeFiles/kleeSupport.dir/build.make lib/Support/CMakeFiles/kleeSupport.dir/build [ 9%] Built target kleeSupport /usr/bin/make -f lib/Expr/CMakeFiles/kleaverExpr.dir/build.make lib/Expr/CMakeFiles/kleaverExpr.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Expr /construction/security/klee/.build /construction/security/klee/.build/lib/Expr /construction/security/klee/.build/lib/Expr/CMakeFiles/kleaverExpr.dir/DependInfo.cmake /usr/bin/make -f lib/Expr/CMakeFiles/kleaverExpr.dir/build.make lib/Expr/CMakeFiles/kleaverExpr.dir/build [ 24%] Built target kleaverExpr /usr/bin/make -f lib/Solver/CMakeFiles/kleaverSolver.dir/build.make lib/Solver/CMakeFiles/kleaverSolver.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Solver /construction/security/klee/.build /construction/security/klee/.build/lib/Solver /construction/security/klee/.build/lib/Solver/CMakeFiles/kleaverSolver.dir/DependInfo.cmake /usr/bin/make -f lib/Solver/CMakeFiles/kleaverSolver.dir/build.make lib/Solver/CMakeFiles/kleaverSolver.dir/build [ 42%] Built target kleaverSolver /usr/bin/make -f lib/Basic/CMakeFiles/kleeBasic.dir/build.make lib/Basic/CMakeFiles/kleeBasic.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Basic /construction/security/klee/.build /construction/security/klee/.build/lib/Basic /construction/security/klee/.build/lib/Basic/CMakeFiles/kleeBasic.dir/DependInfo.cmake /usr/bin/make -f lib/Basic/CMakeFiles/kleeBasic.dir/build.make lib/Basic/CMakeFiles/kleeBasic.dir/build [ 47%] Built target kleeBasic /usr/bin/make -f lib/Module/CMakeFiles/kleeModule.dir/build.make lib/Module/CMakeFiles/kleeModule.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Module /construction/security/klee/.build /construction/security/klee/.build/lib/Module /construction/security/klee/.build/lib/Module/CMakeFiles/kleeModule.dir/DependInfo.cmake /usr/bin/make -f lib/Module/CMakeFiles/kleeModule.dir/build.make lib/Module/CMakeFiles/kleeModule.dir/build [ 59%] Built target kleeModule /usr/bin/make -f lib/Core/CMakeFiles/kleeCore.dir/build.make lib/Core/CMakeFiles/kleeCore.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/lib/Core /construction/security/klee/.build /construction/security/klee/.build/lib/Core /construction/security/klee/.build/lib/Core/CMakeFiles/kleeCore.dir/DependInfo.cmake /usr/bin/make -f lib/Core/CMakeFiles/kleeCore.dir/build.make lib/Core/CMakeFiles/kleeCore.dir/build [ 76%] Built target kleeCore /usr/bin/make -f runtime/CMakeFiles/BuildKLEERuntimes.dir/build.make runtime/CMakeFiles/BuildKLEERuntimes.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/runtime /construction/security/klee/.build /construction/security/klee/.build/runtime /construction/security/klee/.build/runtime/CMakeFiles/BuildKLEERuntimes.dir/DependInfo.cmake /usr/bin/make -f runtime/CMakeFiles/BuildKLEERuntimes.dir/build.make runtime/CMakeFiles/BuildKLEERuntimes.dir/build [ 77%] Performing RuntimeBuild step for 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/bin/env MAKEFLAGS=\"\" "O0OPT=-O0 -Xclang -disable-O0-optnone" /usr/local/bin/gmake -f Makefile.cmake.bitcode all gmake[4]: Entering directory '/construction/security/klee/.build/runtime' gmake[5]: Entering directory '/construction/security/klee/.build/runtime/Intrinsic' gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/Intrinsic' gmake[5]: Entering directory '/construction/security/klee/.build/runtime/klee-libc' gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/klee-libc' gmake[5]: Entering directory '/construction/security/klee/.build/runtime/FreeStanding' gmake[5]: Leaving directory '/construction/security/klee/.build/runtime/FreeStanding' gmake[4]: Leaving directory '/construction/security/klee/.build/runtime' [ 77%] Completed 'BuildKLEERuntimes' cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E make_directory /construction/security/klee/.build/runtime/CMakeFiles cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/CMakeFiles/BuildKLEERuntimes-complete cd /construction/security/klee/.build/runtime && /usr/local/bin/cmake -E touch /construction/security/klee/.build/runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-done [ 83%] Built target BuildKLEERuntimes /usr/bin/make -f runtime/Runtest/CMakeFiles/kleeRuntest.dir/build.make runtime/Runtest/CMakeFiles/kleeRuntest.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/runtime/Runtest /construction/security/klee/.build /construction/security/klee/.build/runtime/Runtest /construction/security/klee/.build/runtime/Runtest/CMakeFiles/kleeRuntest.dir/DependInfo.cmake /usr/bin/make -f runtime/Runtest/CMakeFiles/kleeRuntest.dir/build.make runtime/Runtest/CMakeFiles/kleeRuntest.dir/build [ 85%] Built target kleeRuntest /usr/bin/make -f tools/gen-bout/CMakeFiles/gen-bout.dir/build.make tools/gen-bout/CMakeFiles/gen-bout.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/tools/gen-bout /construction/security/klee/.build /construction/security/klee/.build/tools/gen-bout /construction/security/klee/.build/tools/gen-bout/CMakeFiles/gen-bout.dir/DependInfo.cmake /usr/bin/make -f tools/gen-bout/CMakeFiles/gen-bout.dir/build.make tools/gen-bout/CMakeFiles/gen-bout.dir/build [ 88%] Built target gen-bout /usr/bin/make -f tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build.make tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/tools/gen-random-bout /construction/security/klee/.build /construction/security/klee/.build/tools/gen-random-bout /construction/security/klee/.build/tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/DependInfo.cmake /usr/bin/make -f tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build.make tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build [ 90%] Built target gen-random-bout /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/tools/kleaver /construction/security/klee/.build /construction/security/klee/.build/tools/kleaver /construction/security/klee/.build/tools/kleaver/CMakeFiles/kleaver.dir/DependInfo.cmake /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/build [ 93%] Built target kleaver /usr/bin/make -f tools/klee/CMakeFiles/klee.dir/build.make tools/klee/CMakeFiles/klee.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/tools/klee /construction/security/klee/.build /construction/security/klee/.build/tools/klee /construction/security/klee/.build/tools/klee/CMakeFiles/klee.dir/DependInfo.cmake /usr/bin/make -f tools/klee/CMakeFiles/klee.dir/build.make tools/klee/CMakeFiles/klee.dir/build [ 95%] Built target klee /usr/bin/make -f tools/klee-replay/CMakeFiles/klee-replay.dir/build.make tools/klee-replay/CMakeFiles/klee-replay.dir/depend cd /construction/security/klee/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/security/klee/klee-2.0 /construction/security/klee/klee-2.0/tools/klee-replay /construction/security/klee/.build /construction/security/klee/.build/tools/klee-replay /construction/security/klee/.build/tools/klee-replay/CMakeFiles/klee-replay.dir/DependInfo.cmake /usr/bin/make -f tools/klee-replay/CMakeFiles/klee-replay.dir/build.make tools/klee-replay/CMakeFiles/klee-replay.dir/build [100%] Built target klee-replay /usr/local/bin/cmake -E cmake_progress_start /construction/security/klee/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f tools/gen-bout/CMakeFiles/gen-bout.dir/build.make tools/gen-bout/CMakeFiles/gen-bout.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/gen-bout cd /construction/security/klee/.build/tools/gen-bout && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gen-bout.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/gen-bout.dir/gen-bout.cpp.o -o CMakeFiles/CMakeRelink.dir/gen-bout -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.so /usr/bin/make -f tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/build.make tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/gen-random-bout cd /construction/security/klee/.build/tools/gen-random-bout && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gen-random-bout.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o -o CMakeFiles/CMakeRelink.dir/gen-random-bout -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.so /usr/bin/make -f tools/kleaver/CMakeFiles/kleaver.dir/build.make tools/kleaver/CMakeFiles/kleaver.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/kleaver cd /construction/security/klee/.build/tools/kleaver && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/kleaver.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/kleaver.dir/main.cpp.o -o CMakeFiles/CMakeRelink.dir/kleaver -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a /usr/local/lib/libz3.so -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/bin/make -f tools/klee/CMakeFiles/klee.dir/build.make tools/klee/CMakeFiles/klee.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/klee cd /construction/security/klee/.build/tools/klee && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/klee.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/klee.dir/main.cpp.o -o CMakeFiles/CMakeRelink.dir/klee -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeCore.a ../../lib/libkleeModule.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a /usr/local/lib/libz3.so ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/bin/make -f tools/klee-replay/CMakeFiles/klee-replay.dir/build.make tools/klee-replay/CMakeFiles/klee-replay.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/klee-replay cd /construction/security/klee/.build/tools/klee-replay && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/klee-replay.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include CMakeFiles/klee-replay.dir/fd_init.c.o CMakeFiles/klee-replay.dir/file-creator.c.o CMakeFiles/klee-replay.dir/klee-replay.c.o CMakeFiles/klee-replay.dir/klee_init_env.c.o -o CMakeFiles/CMakeRelink.dir/klee-replay -Wl,-z,origin,-rpath,/usr/local/lib:/usr/local/llvm80/lib ../../lib/libkleeBasic.a -lutil ../../lib/libkleaverSolver.a ../../lib/libkleeBasic.a ../../lib/libkleaverSolver.a ../../lib/libkleaverExpr.a ../../lib/libkleeSupport.a -lz /usr/local/lib/libtcmalloc.so /usr/local/llvm80/lib/libLLVM-8.so /usr/local/lib/libz3.so Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/security/klee/stage/usr/local/include/klee/klee.h -- Installing: /construction/security/klee/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic.bca -- Installing: /construction/security/klee/stage/usr/local/lib/klee/runtime/libklee-libc.bca -- Installing: /construction/security/klee/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreeStanding.bca -- Installing: /construction/security/klee/stage/usr/local/lib/libkleeRuntest.so.1.0 -- Installing: /construction/security/klee/stage/usr/local/lib/libkleeRuntest.so -- Installing: /construction/security/klee/stage/usr/local/bin/gen-bout -- Installing: /construction/security/klee/stage/usr/local/bin/gen-random-bout -- Installing: /construction/security/klee/stage/usr/local/bin/kleaver -- Installing: /construction/security/klee/stage/usr/local/bin/klee -- Installing: /construction/security/klee/stage/usr/local/bin/klee-replay -- Installing: /construction/security/klee/stage/usr/local/bin/klee-stats -- Installing: /construction/security/klee/stage/usr/local/bin/ktest-tool ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for klee-2.0_1 file sizes/checksums [13]: . done packing files [13]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Saturday, 15 FEB 2020 at 17:19:22 UTC Duration: 00:04:25