Auto detecting your dev setup to initialize the default profile (C:\J\workspace\cci_PR-1451\7\0_2\.conan\profiles\default) Found Visual Studio 16 Default settings os=Windows os_build=Windows arch=x86_64 arch_build=x86_64 compiler=Visual Studio compiler.version=16 build_type=Release *** You can change them in C:\J\workspace\cci_PR-1451\7\0_2\.conan\profiles\default *** *** Or override with -s compiler='other' -s ...s*** [HOOK - conan-center.py] pre_export(): [DEPRECATED GLOBAL CPPSTD (KB-H001)] OK [HOOK - conan-center.py] pre_export(): [REFERENCE LOWERCASE (KB-H002)] OK [HOOK - conan-center.py] pre_export(): [RECIPE METADATA (KB-H003)] OK [HOOK - conan-center.py] pre_export(): [HEADER_ONLY, NO COPY SOURCE (KB-H005)] OK [HOOK - conan-center.py] pre_export(): [FPIC OPTION (KB-H006)] OK [HOOK - conan-center.py] pre_export(): [VERSION RANGES (KB-H008)] OK [HOOK - conan-center.py] pre_export(): [RECIPE FOLDER SIZE (KB-H009)] Total recipe size: 8.7392578125 KB [HOOK - conan-center.py] pre_export(): [RECIPE FOLDER SIZE (KB-H009)] OK [HOOK - conan-center.py] pre_export(): [EXPORT LICENSE (KB-H023)] exports: None [HOOK - conan-center.py] pre_export(): [EXPORT LICENSE (KB-H023)] exports: ('CMakeLists.txt', 'patches/**') [HOOK - conan-center.py] pre_export(): [EXPORT LICENSE (KB-H023)] OK [HOOK - conan-center.py] pre_export(): [TEST PACKAGE FOLDER (KB-H024)] OK [HOOK - conan-center.py] pre_export(): [META LINES (KB-H025)] OK [HOOK - conan-center.py] pre_export(): [CONAN CENTER INDEX URL (KB-H027)] OK [HOOK - conan-center.py] pre_export(): [CMAKE MINIMUM VERSION (KB-H028)] OK [HOOK - conan-center.py] pre_export(): [TEST PACKAGE - RUN ENVIRONMENT (KB-H029)] OK [HOOK - conan-center.py] pre_export(): [SYSTEM REQUIREMENTS (KB-H032)] OK [HOOK - conan-center.py] pre_export(): [CONANDATA.YML FORMAT (KB-H030)] OK [HOOK - conan-center.py] pre_export(): [TEST PACKAGE - NO IMPORTS() (KB-H034)] OK [HOOK - conan-center.py] pre_export(): [NO AUTHOR (KB-H037)] OK [HOOK - conan-center.py] pre_export(): [NO TARGET NAME (KB-H040)] OK [HOOK - conan-center.py] pre_export(): [NO FINAL ENDLINE (KB-H041)] OK [HOOK - conan-center.py] pre_export(): [NO REQUIRES.ADD() (KB-H044)] OK [HOOK - conan-center.py] pre_export(): [DELETE OPTIONS (KB-H045)] OK [HOOK - conan-center.py] pre_export(): [NO ASCII CHARACTERS (KB-H047)] OK [HOOK - conan-center.py] pre_export(): [CMAKE VERBOSE MAKEFILE (KB-H046)] OK [HOOK - conan-center.py] pre_export(): [CMAKE VERSION REQUIRED (KB-H048)] OK Exporting package recipe z3/4.8.8 exports: File 'conandata.yml' found. Exporting it... z3/4.8.8 exports: Copied 1 '.yml' file: conandata.yml z3/4.8.8 exports_sources: Copied 1 '.txt' file: CMakeLists.txt z3/4.8.8 exports_sources: Copied 1 '.patch' file: 0001-cmake-use-conan-mpir.patch [HOOK - conan-center.py] post_export(): [CONANDATA.YML REDUCE (KB-H031)] Saving conandata.yml: {'sources': {'4.8.8': {'url': 'https://github.com/Z3Prover/z3/archive/z3-4.8.8.tar.gz', 'sha256': '6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff'}}, 'patches': {'4.8.8': [{'patch_file': 'patches/0001-cmake-use-conan-mpir.patch', 'base_path': 'source_subfolder'}]}} [HOOK - conan-center.py] post_export(): [CONANDATA.YML REDUCE (KB-H031)] New conandata.yml contents: patches: 4.8.8: - base_path: source_subfolder patch_file: patches/0001-cmake-use-conan-mpir.patch sources: 4.8.8: sha256: 6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff url: https://github.com/Z3Prover/z3/archive/z3-4.8.8.tar.gz [HOOK - conan-center.py] post_export(): [CONANDATA.YML REDUCE (KB-H031)] OK z3/4.8.8: A new conanfile.py version was exported z3/4.8.8: Folder: C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\export z3/4.8.8: Using the exported files summary hash as the recipe revision: c29a6c3a56374a801df185dacbbdf460 z3/4.8.8: Exported revision: c29a6c3a56374a801df185dacbbdf460 Configuration: [settings] arch=x86_64 arch_build=x86_64 build_type=Debug compiler=Visual Studio compiler.runtime=MTd compiler.version=14 os=Windows os_build=Windows [options] z3:shared=False [build_requires] [env] mpir/3.0.0: Not found in local cache, looking in remotes... mpir/3.0.0: Trying with 'c3i_PR-1451_4fce55708c7f86610f5caab3ce8cc211487e7d17'... mpir/3.0.0: Trying with 'central'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz mpir/3.0.0: Downloaded recipe revision 18e20b83c7b31d255676d588099c3a99 z3/4.8.8: Forced build from source z3/4.8.8 (test package): Installing package Requirements mpir/3.0.0 from 'central' - Downloaded z3/4.8.8 from local cache - Cache Packages mpir/3.0.0:c3aadd2473ce0035053a7d2ea29df40793b9f241 - Download z3/4.8.8:d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70 - Build Installing (downloading, building) binaries... mpir/3.0.0: Retrieving package c3aadd2473ce0035053a7d2ea29df40793b9f241 from remote 'central' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz mpir/3.0.0: Package installed c3aadd2473ce0035053a7d2ea29df40793b9f241 mpir/3.0.0: Downloaded package revision cd4ca7789b570e49a87ab71023cc6ec5 [HOOK - conan-center.py] post_package_info(): [CMAKE FILE NOT IN BUILD FOLDERS (KB-H019)] OK [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK z3/4.8.8: Configuring sources in C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\source [HOOK - conan-center.py] post_source(): [LIBCXX MANAGEMENT (KB-H011)] OK [HOOK - conan-center.py] post_source(): [CPPSTD MANAGEMENT (KB-H022)] OK z3/4.8.8: Copying sources to build folder z3/4.8.8: Building your package in C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70 z3/4.8.8: Generator cmake created conanbuildinfo.cmake [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] 'fPIC' option not found [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK z3/4.8.8: Calling build() ----Running------ > cd C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder && cmake -G "Visual Studio 14 2015 Win64" -DCONAN_LINK_RUNTIME="/MTd" -DCONAN_IN_LOCAL_CACHE="ON" -DCONAN_COMPILER="Visual Studio" -DCONAN_COMPILER_VERSION="14" -DCONAN_CXX_FLAGS="/MP1" -DCONAN_C_FLAGS="/MP1" -DBUILD_SHARED_LIBS="OFF" -DCMAKE_INSTALL_PREFIX="C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\package\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70" -DCMAKE_INSTALL_BINDIR="bin" -DCMAKE_INSTALL_SBINDIR="bin" -DCMAKE_INSTALL_LIBEXECDIR="bin" -DCMAKE_INSTALL_LIBDIR="lib" -DCMAKE_INSTALL_INCLUDEDIR="include" -DCMAKE_INSTALL_OLDINCLUDEDIR="include" -DCMAKE_INSTALL_DATAROOTDIR="share" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -DZ3_USE_LIB_GMP="True" -DSINGLE_THREADED="False" -DZ3_BUILD_LIBZ3_SHARED="False" -DZ3_INCLUDE_GIT_HASH="False" -DZ3_INCLUDE_GIT_DESCRIBE="False" -DZ3_ENABLE_EXAMPLE_TARGETS="False" -DZ3_BUILD_DOCUMENTATION="False" -Wno-dev C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70 ----------------- -- Selecting Windows SDK version 10.0.14393.0 to target Windows 10.0.17763. -- The C compiler identification is MSVC 19.0.24215.1 -- The CXX compiler identification is MSVC 19.0.24215.1 -- Check for working C compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe -- Check for working C compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe -- Check for working CXX compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Conan: called by CMake conan helper -- Conan: called inside local cache -- Conan: Adjusting output directories -- Conan: Using cmake targets configuration -- Library mpirxx found C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/mpir/3.0.0/_/_/package/c3aadd2473ce0035053a7d2ea29df40793b9f241/lib/mpirxx.lib -- Library mpir found C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/mpir/3.0.0/_/_/package/c3aadd2473ce0035053a7d2ea29df40793b9f241/lib/mpir.lib -- Conan: Adjusting default RPATHs Conan policies -- Conan: Adjusting language standard -- Z3 version 4.8.8.0 -- Failed to find git directory. CMake Warning at source_subfolder/CMakeLists.txt:60 (message): Disabling Z3_INCLUDE_GIT_DESCRIBE Call Stack (most recent call first): source_subfolder/CMakeLists.txt:109 (disable_git_describe) CMake Warning at source_subfolder/CMakeLists.txt:64 (message): Disabling Z3_INCLUDE_GIT_HASH Call Stack (most recent call first): source_subfolder/CMakeLists.txt:110 (disable_git_hash) -- CMake generator: Visual Studio 14 2015 Win64 -- Available configurations: Debug;Release;MinSizeRel;RelWithDebInfo -- Found PythonInterp: C:/Python36/python.exe (found version "3.6.7") -- PYTHON_EXECUTABLE: C:/Python36/python.exe -- Detected target architecture: x86_64 -- Platform: Windows -- Using libgmp -- Not using Z3_API_LOG_SYNC -- Thread-safe build -- Performing Test HAS_SSE2 -- Performing Test HAS_SSE2 - Failed -- Looking for pthread.h -- Looking for pthread.h - not found -- Found Threads: TRUE -- Performing Test HAS__W3 -- Performing Test HAS__W3 - Success -- C++ compiler supports /W3 -- Treating only serious compiler warnings as errors -- LTO disabled -- Performing Test HAS_MSVC_NO_OMIT_FRAME_POINTER -- Performing Test HAS_MSVC_NO_OMIT_FRAME_POINTER - Success -- Performing Test HAS__Gd -- Performing Test HAS__Gd - Success -- C++ compiler supports /Gd -- Performing Test HAS__EHsc -- Performing Test HAS__EHsc - Success -- C++ compiler supports /EHsc -- CMAKE_CXX_FLAGS: "/DWIN32 /D_WINDOWS /GR /EHsc /MP1" -- CMAKE_EXE_LINKER_FLAGS: "/machine:x64 /STACK:8388608 /RELEASE" -- CMAKE_STATIC_LINKER_FLAGS: "/machine:x64" -- CMAKE_SHARED_LINKER_FLAGS: "/machine:x64 /SUBSYSTEM:WINDOWS /RELEASE" -- CMAKE_CXX_FLAGS_DEBUG: "/MTd /Zi /Ob0 /Od /RTC1" -- CMAKE_EXE_LINKER_FLAGS_DEBUG: "/debug /INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1 /NXCOMPAT" -- CMAKE_SHARED_LINKER_FLAGS_DEBUG: "/debug /INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1" -- CMAKE_STATIC_LINKER_FLAGS_DEBUG: " /INCREMENTAL:NO" -- CMAKE_CXX_FLAGS_RELEASE: "/MTd /O2 /Ob2 /DNDEBUG" -- CMAKE_EXE_LINKER_FLAGS_RELEASE: "/INCREMENTAL:NO" -- CMAKE_SHARED_LINKER_FLAGS_RELEASE: "/INCREMENTAL:NO" -- CMAKE_STATIC_LINKER_FLAGS_RELEASE: " /INCREMENTAL:NO" -- CMAKE_CXX_FLAGS_RELWITHDEBINFO: "/MTd /Zi /O2 /Ob1 /DNDEBUG" -- CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO: "/debug /INCREMENTAL:NO " -- CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO: "/debug /INCREMENTAL:NO " -- CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO: " /INCREMENTAL:NO" -- CMAKE_CXX_FLAGS_MINSIZEREL: "/MTd /O1 /Ob1 /DNDEBUG" -- CMAKE_EXE_LINKER_FLAGS_MINSIZEREL: "/INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1 /NXCOMPAT" -- CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL: "/INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1" -- CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL: " /INCREMENTAL:NO" -- Z3_COMPONENT_CXX_DEFINES: $<$:Z3DEBUG>;$<$:_EXTERNAL_RELEASE>;$<$:_EXTERNAL_RELEASE>;-D_WINDOWS;-D_MP_GMP;$<$:_TRACE>;UNICODE;_UNICODE -- Z3_COMPONENT_CXX_FLAGS: /W3;$<$:/Oy->;$<$:/Oy->;/Gd;/EHsc -- Z3_DEPENDENT_LIBS: CONAN_PKG::mpir -- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src;C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src;C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder;C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/mpir/3.0.0/_/_/package/c3aadd2473ce0035053a7d2ea29df40793b9f241/include -- Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS: -- CMAKE_INSTALL_LIBDIR: "lib" -- CMAKE_INSTALL_BINDIR: "bin" -- CMAKE_INSTALL_INCLUDEDIR: "include" -- CMAKE_INSTALL_PKGCONFIGDIR: "lib/pkgconfig" -- CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR: "lib/cmake/z3" -- Adding component util -- Adding component polynomial -- Adding rule to generate "algebraic_params.hpp" -- Adding component dd -- Adding component hilbert -- Adding component simplex -- Adding component automata -- Adding component interval -- Adding component realclosure -- Adding rule to generate "rcf_params.hpp" -- Adding component subpaving -- Adding component ast -- Adding rule to generate "pp_params.hpp" -- Adding component rewriter -- Adding rule to generate "arith_rewriter_params.hpp" -- Adding rule to generate "array_rewriter_params.hpp" -- Adding rule to generate "bool_rewriter_params.hpp" -- Adding rule to generate "bv_rewriter_params.hpp" -- Adding rule to generate "fpa_rewriter_params.hpp" -- Adding rule to generate "poly_rewriter_params.hpp" -- Adding rule to generate "rewriter_params.hpp" -- Adding rule to generate "seq_rewriter_params.hpp" -- Adding component normal_forms -- Adding rule to generate "nnf_params.hpp" -- Adding component model -- Adding rule to generate "model_evaluator_params.hpp" -- Adding rule to generate "model_params.hpp" -- Adding component tactic -- Adding rule to generate "tactic_params.hpp" -- Adding component substitution -- Adding component parser_util -- Adding rule to generate "parser_params.hpp" -- Adding component grobner -- Adding component sat -- Adding rule to generate "sat_asymm_branch_params.hpp" -- Adding rule to generate "sat_params.hpp" -- Adding rule to generate "sat_scc_params.hpp" -- Adding rule to generate "sat_simplifier_params.hpp" -- Adding component nlsat -- Adding rule to generate "nlsat_params.hpp" -- Adding component lp -- Adding component core_tactics -- Adding component subpaving_tactic -- Adding component aig_tactic -- Adding component solver -- Adding rule to generate "combined_solver_params.hpp" -- Adding rule to generate "parallel_params.hpp" -- Adding rule to generate "solver_params.hpp" -- Adding component sat_tactic -- Adding component arith_tactics -- Adding component nlsat_tactic -- Adding component ackermannization -- Adding rule to generate "ackermannization_params.hpp" -- Adding rule to generate "ackermannize_bv_tactic_params.hpp" -- Adding component cmd_context -- Adding component extra_cmds -- Adding component smt2parser -- Adding component proofs -- Adding component fpa -- Adding rule to generate "fpa2bv_rewriter_params.hpp" -- Adding component macros -- Adding component pattern -- Adding rule to generate "pattern_inference_params_helper.hpp" -- Adding component bit_blaster -- Adding component smt_params -- Adding rule to generate "smt_params_helper.hpp" -- Adding component proto_model -- Adding component smt -- Adding component bv_tactics -- Adding component smt_tactic -- Adding component sls_tactic -- Adding rule to generate "sls_params.hpp" -- Adding component qe -- Adding component muz -- Adding rule to generate "fp_params.hpp" -- Adding component dataflow -- Adding component transforms -- Adding component rel -- Adding component clp -- Adding component tab -- Adding component bmc -- Adding component ddnf -- Adding component spacer -- Adding component fp -- Adding component ufbv_tactic -- Adding component sat_solver -- Adding component smtlogic_tactics -- Adding rule to generate "qfufbv_tactic_params.hpp" -- Adding component fpa_tactics -- Adding component fd_solver -- Adding component portfolio -- Adding component opt -- Adding rule to generate "opt_params.hpp" -- Adding component api -- Adding component api_dll -- Building documentation disabled -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_EXPORT_NO_PACKAGE_REGISTRY SINGLE_THREADED -- Build files have been written to: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder ----Running------ > cmake --build C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder --config Debug -- /m:1 /verbosity:minimal ----------------- Microsoft (R) Build Engine version 14.0.25420.1 Copyright (C) Microsoft Corporation. All rights reserved. Checking Build System Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/util/CMakeLists.txt approx_nat.cpp approx_set.cpp bit_util.cpp bit_vector.cpp cmd_context_types.cpp common_msgs.cpp debug.cpp env_params.cpp fixed_bit_vector.cpp gparams.cpp hash.cpp hwf.cpp inf_int_rational.cpp inf_rational.cpp inf_s_integer.cpp lbool.cpp luby.cpp memory_manager.cpp min_cut.cpp mpbq.cpp Generating Code... Compiling... mpf.cpp mpff.cpp mpfx.cpp mpn.cpp mpq.cpp mpq_inf.cpp mpz.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1142): warning C4267: 'return': conversion from 'size_t' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1136): note: while compiling class template member function 'unsigned int mpz_manager::size_info(const mpz &)' C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1156): note: see reference to function template instantiation 'unsigned int mpz_manager::size_info(const mpz &)' being compiled C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(2489): note: see reference to class template instantiation 'mpz_manager' being compiled C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(148): warning C4309: 'static_cast': truncation of constant value [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(127): note: while compiling class template member function 'mpz_manager::mpz_manager(void)' C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1715): warning C4267: 'argument': conversion from 'size_t' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1696): note: while compiling class template member function 'void mpz_manager::display(std::ostream &,const mpz &) const' C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(2483): note: see reference to function template instantiation 'void mpz_manager::display(std::ostream &,const mpz &) const' being compiled C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1774): warning C4267: 'initializing': conversion from 'size_t' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1743): note: while compiling class template member function 'void mpz_manager::display_hex(std::ostream &,const mpz &,unsigned int) const' C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1775): warning C4267: 'argument': conversion from 'size_t' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1828): warning C4267: 'initializing': conversion from 'size_t' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1799): note: while compiling class template member function 'void mpz_manager::display_bin(std::ostream &,const mpz &,unsigned int) const' C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1829): warning C4267: 'argument': conversion from 'size_t' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1856): warning C4244: 'return': conversion from 'mpir_si' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(1847): note: while compiling class template member function 'unsigned int mpz_manager::hash(const mpz &)' C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(2225): warning C4244: 'return': conversion from 'mp_bitcnt_t' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(2173): note: while compiling class template member function 'unsigned int mpz_manager::power_of_two_multiple(const mpz &)' C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(2245): warning C4267: 'initializing': conversion from 'size_t' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(2230): note: while compiling class template member function 'unsigned int mpz_manager::log2(const mpz &)' C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util/mpz.h(699): note: see reference to function template instantiation 'unsigned int mpz_manager::log2(const mpz &)' being compiled C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(2269): warning C4267: 'initializing': conversion from 'size_t' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(2252): note: while compiling class template member function 'unsigned int mpz_manager::mlog2(const mpz &)' C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(2459): warning C4244: 'initializing': conversion from 'mpir_ui' to 'unsigned int', possible loss of data [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\util\mpz.cpp(2432): note: while compiling class template member function 'bool mpz_manager::decompose(const mpz &,svector &)' page.cpp params.cpp permutation.cpp prime_generator.cpp rational.cpp region.cpp rlimit.cpp scoped_ctrl_c.cpp scoped_timer.cpp sexpr.cpp s_integer.cpp small_object_allocator.cpp smt2_util.cpp Generating Code... Compiling... stack.cpp statistics.cpp symbol.cpp timeit.cpp timeout.cpp trace.cpp util.cpp warning.cpp z3_exception.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.vcxproj] util.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.dir\Debug\util.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/math/polynomial/algebraic_params.hpp" from "algebraic_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math\polynomial\algebraic_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\polynomial\algebraic_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/polynomial/CMakeLists.txt algebraic_numbers.cpp polynomial_cache.cpp polynomial.cpp rpolynomial.cpp sexpr2upolynomial.cpp upolynomial.cpp upolynomial_factorization.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\polynomial\polynomial.vcxproj] polynomial.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\polynomial\polynomial.dir\Debug\polynomial.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/pp_params.hpp" from "pp_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\pp_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\pp_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/ast/CMakeLists.txt act_cache.cpp arith_decl_plugin.cpp array_decl_plugin.cpp ast.cpp ast_ll_pp.cpp ast_lt.cpp ast_pp_util.cpp ast_printer.cpp ast_smt2_pp.cpp ast_smt_pp.cpp ast_pp_dot.cpp ast_translation.cpp ast_util.cpp bv_decl_plugin.cpp csp_decl_plugin.cpp datatype_decl_plugin.cpp decl_collector.cpp display_dimacs.cpp dl_decl_plugin.cpp expr2polynomial.cpp Generating Code... Compiling... expr2var.cpp expr_abstract.cpp expr_functors.cpp expr_map.cpp expr_stat.cpp expr_substitution.cpp for_each_ast.cpp for_each_expr.cpp format.cpp fpa_decl_plugin.cpp func_decl_dependencies.cpp has_free_vars.cpp macro_substitution.cpp num_occurs.cpp occurs.cpp pb_decl_plugin.cpp pp.cpp recfun_decl_plugin.cpp reg_decl_plugins.cpp seq_decl_plugin.cpp Generating Code... Compiling... shared_occs.cpp special_relations_decl_plugin.cpp static_features.cpp used_vars.cpp value_generator.cpp well_sorted.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\ast.vcxproj] ast.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\ast.dir\Debug\ast.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/automata/CMakeLists.txt automaton.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\automata\automata.vcxproj] automata.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\automata\automata.dir\Debug\automata.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/rewriter/arith_rewriter_params.hpp" from "arith_rewriter_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\rewriter\arith_rewriter_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\arith_rewriter_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/rewriter/array_rewriter_params.hpp" from "array_rewriter_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\rewriter\array_rewriter_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\array_rewriter_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/rewriter/bool_rewriter_params.hpp" from "bool_rewriter_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\rewriter\bool_rewriter_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\bool_rewriter_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/rewriter/bv_rewriter_params.hpp" from "bv_rewriter_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\rewriter\bv_rewriter_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\bv_rewriter_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/rewriter/fpa_rewriter_params.hpp" from "fpa_rewriter_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\rewriter\fpa_rewriter_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\fpa_rewriter_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/rewriter/poly_rewriter_params.hpp" from "poly_rewriter_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\rewriter\poly_rewriter_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\poly_rewriter_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/rewriter/rewriter_params.hpp" from "rewriter_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\rewriter\rewriter_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\rewriter_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/rewriter/seq_rewriter_params.hpp" from "seq_rewriter_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\rewriter\seq_rewriter_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\seq_rewriter_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/ast/rewriter/CMakeLists.txt arith_rewriter.cpp array_rewriter.cpp ast_counter.cpp bit2int.cpp bool_rewriter.cpp bv_bounds.cpp bv_elim.cpp bv_rewriter.cpp datatype_rewriter.cpp der.cpp distribute_forall.cpp dl_rewriter.cpp elim_bounds.cpp enum2bv_rewriter.cpp expr_replacer.cpp expr_safe_replace.cpp factor_equivs.cpp factor_rewriter.cpp fpa_rewriter.cpp func_decl_replace.cpp Generating Code... Compiling... hoist_rewriter.cpp inj_axiom.cpp label_rewriter.cpp maximize_ac_sharing.cpp mk_simplified_app.cpp pb_rewriter.cpp pb2bv_rewriter.cpp push_app_ite.cpp quant_hoist.cpp recfun_rewriter.cpp rewriter.cpp seq_rewriter.cpp th_rewriter.cpp value_sweep.cpp var_subst.cpp mk_extract_proc.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\rewriter.vcxproj] rewriter.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\rewriter.dir\Debug\rewriter.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/model/model_evaluator_params.hpp" from "model_evaluator_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\model\model_evaluator_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\model\model_evaluator_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/model/model_params.hpp" from "model_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\model\model_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\model\model_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/model/CMakeLists.txt array_factory.cpp datatype_factory.cpp func_interp.cpp model2expr.cpp model_core.cpp model.cpp model_evaluator.cpp model_implicant.cpp model_pp.cpp model_smt2_pp.cpp model_v2_pp.cpp numeral_factory.cpp struct_factory.cpp value_factory.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\model\model.vcxproj] model.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\model\model.dir\Debug\model.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/tactic/tactic_params.hpp" from "tactic_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\tactic\tactic_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\tactic_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/CMakeLists.txt dependency_converter.cpp equiv_proof_converter.cpp generic_model_converter.cpp goal.cpp goal_num_occurs.cpp goal_shared_occs.cpp goal_util.cpp horn_subsume_model_converter.cpp model_converter.cpp probe.cpp proof_converter.cpp replace_proof_converter.cpp sine_filter.cpp tactical.cpp tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\tactic.vcxproj] tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\tactic.dir\Debug\tactic.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/solver/combined_solver_params.hpp" from "combined_solver_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\solver\combined_solver_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\solver\combined_solver_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/solver/parallel_params.hpp" from "parallel_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\solver\parallel_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\solver\parallel_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/solver/solver_params.hpp" from "solver_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\solver\solver_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\solver\solver_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/solver/CMakeLists.txt check_sat_result.cpp combined_solver.cpp mus.cpp parallel_tactic.cpp smt_logics.cpp solver.cpp solver_na2as.cpp solver_pool.cpp solver2tactic.cpp tactic2solver.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\solver\solver.vcxproj] solver.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\solver\solver.dir\Debug\solver.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ackermannization/ackermannization_params.hpp" from "ackermannization_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ackermannization\ackermannization_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ackermannization\ackermannization_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ackermannization/ackermannize_bv_tactic_params.hpp" from "ackermannize_bv_tactic_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ackermannization\ackermannize_bv_tactic_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ackermannization\ackermannize_bv_tactic_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/ackermannization/CMakeLists.txt ackermannize_bv_model_converter.cpp ackermannize_bv_tactic.cpp ackr_bound_probe.cpp ackr_helper.cpp ackr_model_converter.cpp lackr.cpp lackr_model_constructor.cpp lackr_model_converter_lazy.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ackermannization\ackermannization.vcxproj] ackermannization.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ackermannization\ackermannization.dir\Debug\ackermannization.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/aig/CMakeLists.txt aig.cpp aig_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\aig\aig_tactic.vcxproj] aig_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\aig\aig_tactic.dir\Debug\aig_tactic.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/normal_forms/nnf_params.hpp" from "nnf_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\normal_forms\nnf_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\normal_forms\nnf_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/ast/normal_forms/CMakeLists.txt defined_names.cpp name_exprs.cpp nnf.cpp pull_quant.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\normal_forms\normal_forms.vcxproj] normal_forms.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\normal_forms\normal_forms.dir\Debug\normal_forms.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/core/CMakeLists.txt blast_term_ite_tactic.cpp cofactor_elim_term_ite.cpp cofactor_term_ite_tactic.cpp collect_statistics_tactic.cpp ctx_simplify_tactic.cpp der_tactic.cpp distribute_forall_tactic.cpp dom_simplify_tactic.cpp elim_term_ite_tactic.cpp elim_uncnstr_tactic.cpp injectivity_tactic.cpp nnf_tactic.cpp occf_tactic.cpp pb_preprocess_tactic.cpp propagate_values_tactic.cpp reduce_args_tactic.cpp reduce_invertible_tactic.cpp simplify_tactic.cpp solve_eqs_tactic.cpp special_relations_tactic.cpp Generating Code... Compiling... split_clause_tactic.cpp symmetry_reduce_tactic.cpp tseitin_cnf_tactic.cpp collect_occs.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\core\core_tactics.vcxproj] core_tactics.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\core\core_tactics.dir\Debug\core_tactics.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/dd/CMakeLists.txt dd_bdd.cpp dd_pdd.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\dd\dd.vcxproj] dd.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\dd\dd.dir\Debug\dd.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/simplex/CMakeLists.txt simplex.cpp model_based_opt.cpp bit_matrix.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\simplex\simplex.vcxproj] simplex.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\simplex\simplex.dir\Debug\simplex.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/grobner/CMakeLists.txt grobner.cpp pdd_simplifier.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math\grobner\pdd_simplifier.cpp(505): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\grobner\grobner.vcxproj] pdd_solver.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\grobner\grobner.vcxproj] grobner.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\grobner\grobner.dir\Debug\grobner.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/sat/sat_asymm_branch_params.hpp" from "sat_asymm_branch_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\sat\sat_asymm_branch_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\sat_asymm_branch_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/sat/sat_params.hpp" from "sat_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\sat\sat_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\sat_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/sat/sat_scc_params.hpp" from "sat_scc_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\sat\sat_scc_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\sat_scc_params.hpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/sat/sat_simplifier_params.hpp" from "sat_simplifier_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\sat\sat_simplifier_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\sat_simplifier_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/sat/CMakeLists.txt ba_solver.cpp dimacs.cpp sat_aig_cuts.cpp sat_aig_finder.cpp sat_anf_simplifier.cpp sat_asymm_branch.cpp sat_big.cpp sat_binspr.cpp sat_clause.cpp sat_clause_set.cpp sat_clause_use_list.cpp sat_cleaner.cpp sat_config.cpp sat_cut_simplifier.cpp sat_cutset.cpp sat_ddfw.cpp sat_drat.cpp sat_elim_eqs.cpp sat_elim_vars.cpp sat_bcd.cpp Generating Code... Compiling... sat_integrity_checker.cpp sat_local_search.cpp sat_lookahead.cpp sat_lut_finder.cpp sat_model_converter.cpp sat_mus.cpp sat_npn3_finder.cpp sat_parallel.cpp sat_prob.cpp sat_probing.cpp sat_scc.cpp sat_simplifier.cpp sat_solver.cpp sat_watched.cpp sat_xor_finder.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\sat.vcxproj] sat.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\sat.dir\Debug\sat.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/arith/CMakeLists.txt add_bounds_tactic.cpp arith_bounds_tactic.cpp bound_manager.cpp bound_propagator.cpp bv2int_rewriter.cpp bv2real_rewriter.cpp card2bv_tactic.cpp degree_shift_tactic.cpp diff_neq_tactic.cpp eq2bv_tactic.cpp factor_tactic.cpp fix_dl_var_tactic.cpp fm_tactic.cpp lia2card_tactic.cpp lia2pb_tactic.cpp linear_equation.cpp nla2bv_tactic.cpp normalize_bounds_tactic.cpp pb2bv_model_converter.cpp pb2bv_tactic.cpp Generating Code... Compiling... probe_arith.cpp propagate_ineqs_tactic.cpp purify_arith_tactic.cpp recover_01_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\arith\arith_tactics.vcxproj] arith_tactics.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\arith\arith_tactics.dir\Debug\arith_tactics.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/ast/rewriter/bit_blaster/CMakeLists.txt bit_blaster.cpp bit_blaster_rewriter.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\bit_blaster\bit_blaster.vcxproj] bit_blaster.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\bit_blaster\bit_blaster.dir\Debug\bit_blaster.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/cmd_context/CMakeLists.txt basic_cmds.cpp check_logic.cpp cmd_context.cpp cmd_context_to_goal.cpp cmd_util.cpp context_params.cpp echo_tactic.cpp eval_cmd.cpp parametric_cmd.cpp pdecl.cpp simplify_cmd.cpp tactic_cmds.cpp tactic_manager.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\cmd_context\cmd_context.vcxproj] cmd_context.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\cmd_context\cmd_context.dir\Debug\cmd_context.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/fpa/fpa2bv_rewriter_params.hpp" from "fpa2bv_rewriter_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\fpa\fpa2bv_rewriter_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\fpa\fpa2bv_rewriter_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/ast/fpa/CMakeLists.txt bv2fpa_converter.cpp fpa2bv_converter.cpp fpa2bv_rewriter.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\fpa\fpa.vcxproj] fpa.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\fpa\fpa.dir\Debug\fpa.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/nlsat/nlsat_params.hpp" from "nlsat_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\nlsat\nlsat_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\nlsat\nlsat_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/nlsat/CMakeLists.txt nlsat_clause.cpp nlsat_evaluator.cpp nlsat_explain.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\nlsat\nlsat_explain.cpp(1019): warning C4800: 'const char': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\nlsat\nlsat.vcxproj] nlsat_interval_set.cpp nlsat_solver.cpp nlsat_types.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\nlsat\nlsat.vcxproj] nlsat.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\nlsat\nlsat.dir\Debug\nlsat.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/lp/CMakeLists.txt binary_heap_priority_queue.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] binary_heap_upair_queue.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lp_bound_propagator.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] core_solver_pretty_printer.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] dense_matrix.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] eta_matrix.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] emonics.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] factorization.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] factorization_factory_imp.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] gomory.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] hnf_cutter.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] horner.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] indexed_vector.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] int_branch.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math\lp\int_branch.cpp(39): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math\lp\int_branch.cpp(43): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] int_cube.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] int_gcd_test.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] int_solver.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lar_solver.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lar_core_solver.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lp_core_solver_base.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] Generating Code... Compiling... lp_dual_core_solver.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lp_dual_simplex.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lp_primal_core_solver.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lp_primal_simplex.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lp_settings.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lp_solver.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lu.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lp_utils.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] matrix.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] mon_eq.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] nex_creator.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] nla_basics_lemmas.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] nla_common.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] nla_core.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] nla_intervals.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] nla_monotone_lemmas.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] nla_order_lemmas.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] nla_solver.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] nla_tangent_lemmas.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] nra_solver.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] Generating Code... Compiling... permutation_matrix.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] random_updater.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] row_eta_matrix.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] scaler.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] square_dense_submatrix.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] square_sparse_matrix.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] static_matrix.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.vcxproj] lp.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.dir\Debug\lp.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/ast/macros/CMakeLists.txt macro_finder.cpp macro_manager.cpp macro_util.cpp quasi_macros.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\macros\macros.vcxproj] macros.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\macros\macros.dir\Debug\macros.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/sat/tactic/CMakeLists.txt atom2bool_var.cpp goal2sat.cpp sat_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\tactic\sat_tactic.vcxproj] sat_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\tactic\sat_tactic.dir\Debug\sat_tactic.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/nlsat/tactic/CMakeLists.txt goal2nlsat.cpp nlsat_tactic.cpp qfnra_nlsat_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\nlsat\tactic\nlsat_tactic.vcxproj] nlsat_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\nlsat\tactic\nlsat_tactic.dir\Debug\nlsat_tactic.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/parsers/util/parser_params.hpp" from "parser_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\parsers\util\parser_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\parsers\util\parser_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/parsers/util/CMakeLists.txt cost_parser.cpp pattern_validation.cpp scanner.cpp simple_parser.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\parsers\util\parser_util.vcxproj] parser_util.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\parsers\util\parser_util.dir\Debug\parser_util.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/parsers/smt2/CMakeLists.txt marshal.cpp smt2parser.cpp smt2scanner.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\parsers\smt2\smt2parser.vcxproj] smt2parser.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\parsers\smt2\smt2parser.dir\Debug\smt2parser.lib Generating "database.h" INFO:root:Generated "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/pattern/database.h" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/ast/pattern/pattern_inference_params_helper.hpp" from "pattern_inference_params_helper.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\ast\pattern\pattern_inference_params_helper.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\pattern\pattern_inference_params_helper.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/ast/pattern/CMakeLists.txt expr_pattern_match.cpp pattern_inference.cpp pattern_inference_params.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\pattern\pattern.vcxproj] pattern.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\pattern\pattern.dir\Debug\pattern.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/ast/proofs/CMakeLists.txt proof_checker.cpp proof_utils.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\proofs\proofs.vcxproj] proofs.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\proofs\proofs.dir\Debug\proofs.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/smt/params/smt_params_helper.hpp" from "smt_params_helper.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\smt\params\smt_params_helper.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\params\smt_params_helper.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/smt/params/CMakeLists.txt dyn_ack_params.cpp preprocessor_params.cpp qi_params.cpp smt_params.cpp theory_arith_params.cpp theory_array_params.cpp theory_bv_params.cpp theory_pb_params.cpp theory_seq_params.cpp theory_str_params.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\params\smt_params.vcxproj] smt_params.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\params\smt_params.dir\Debug\smt_params.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/smt/proto_model/CMakeLists.txt proto_model.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\proto_model\proto_model.vcxproj] proto_model.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\proto_model\proto_model.dir\Debug\proto_model.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/ast/substitution/CMakeLists.txt matcher.cpp substitution.cpp substitution_tree.cpp unifier.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\substitution\substitution.vcxproj] substitution.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\substitution\substitution.dir\Debug\substitution.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/smt/CMakeLists.txt arith_eq_adapter.cpp arith_eq_solver.cpp asserted_formulas.cpp cached_var_subst.cpp cost_evaluator.cpp dyn_ack.cpp elim_term_ite.cpp expr_context_simplifier.cpp fingerprints.cpp mam.cpp old_interval.cpp qi_queue.cpp seq_axioms.cpp seq_skolem.cpp seq_eq_solver.cpp seq_ne_solver.cpp seq_offset_eq.cpp smt_almost_cg_table.cpp smt_arith_value.cpp smt_case_split_queue.cpp Generating Code... Compiling... smt_cg_table.cpp smt_checker.cpp smt_clause.cpp smt_clause_proof.cpp smt_conflict_resolution.cpp smt_consequences.cpp smt_context.cpp smt_context_inv.cpp smt_context_pp.cpp smt_context_stat.cpp smt_enode.cpp smt_farkas_util.cpp smt_for_each_relevant_expr.cpp smt_implied_equalities.cpp smt_induction.cpp smt_internalizer.cpp smt_justification.cpp smt_kernel.cpp smt_literal.cpp smt_lookahead.cpp Generating Code... Compiling... smt_model_checker.cpp smt_model_finder.cpp smt_model_generator.cpp smt_parallel.cpp smt_quantifier.cpp smt_quantifier_stat.cpp smt_quick_checker.cpp smt_relevancy.cpp smt_setup.cpp smt_solver.cpp smt_statistics.cpp smt_theory.cpp smt_value_sort.cpp smt2_extra_cmds.cpp theory_arith.cpp theory_array_bapa.cpp theory_array_base.cpp theory_array.cpp theory_array_full.cpp theory_bv.cpp Generating Code... Compiling... theory_datatype.cpp theory_dense_diff_logic.cpp theory_diff_logic.cpp theory_dl.cpp theory_dummy.cpp theory_fpa.cpp theory_jobscheduler.cpp theory_lra.cpp C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/lp_types.h(61): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\smt.vcxproj] C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math/lp/cross_nested.h(212): warning C4800: 'unsigned int': forcing value to bool 'true' or 'false' (performance warning) [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\smt.vcxproj] theory_opt.cpp theory_pb.cpp theory_recfun.cpp theory_seq.cpp theory_special_relations.cpp theory_str.cpp theory_str_mc.cpp theory_str_regex.cpp theory_utvpi.cpp theory_wmaxsat.cpp uses_theory.cpp watch_list.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\smt.vcxproj] smt.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\smt.dir\Debug\smt.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/qe/CMakeLists.txt nlarith_util.cpp nlqsat.cpp qe_arith.cpp qe_arith_plugin.cpp qe_array_plugin.cpp qe_arrays.cpp qe_bool_plugin.cpp qe_bv_plugin.cpp qe_cmd.cpp qe.cpp qe_datatype_plugin.cpp qe_datatypes.cpp qe_dl_plugin.cpp qe_lite.cpp qe_mbp.cpp qe_mbi.cpp qe_solve_plugin.cpp qe_tactic.cpp qe_term_graph.cpp qsat.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\qe\qe.vcxproj] qe.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\qe\qe.dir\Debug\qe.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/muz/base/fp_params.hpp" from "fp_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\muz\base\fp_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\base\fp_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/muz/base/CMakeLists.txt bind_variables.cpp dl_boogie_proof.cpp dl_context.cpp dl_costs.cpp dl_rule.cpp dl_rule_set.cpp dl_rule_subsumption_index.cpp dl_rule_transformer.cpp dl_util.cpp hnf.cpp rule_properties.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\base\muz.vcxproj] muz.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\base\muz.dir\Debug\muz.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/muz/dataflow/CMakeLists.txt dataflow.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\dataflow\dataflow.vcxproj] dataflow.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\dataflow\dataflow.dir\Debug\dataflow.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/hilbert/CMakeLists.txt hilbert_basis.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\hilbert\hilbert.vcxproj] hilbert.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\hilbert\hilbert.dir\Debug\hilbert.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/muz/transforms/CMakeLists.txt dl_mk_array_blast.cpp dl_mk_backwards.cpp dl_mk_bit_blast.cpp dl_mk_coalesce.cpp dl_mk_coi_filter.cpp dl_mk_filter_rules.cpp dl_mk_interp_tail_simplifier.cpp dl_mk_karr_invariants.cpp dl_mk_loop_counter.cpp dl_mk_magic_sets.cpp dl_mk_magic_symbolic.cpp dl_mk_quantifier_abstraction.cpp dl_mk_quantifier_instantiation.cpp dl_mk_rule_inliner.cpp dl_mk_scale.cpp dl_mk_separate_negated_tails.cpp dl_mk_slice.cpp dl_mk_subsumption_checker.cpp dl_mk_unbound_compressor.cpp dl_mk_unfold.cpp Generating Code... Compiling... dl_transforms.cpp dl_mk_array_eq_rewrite.cpp dl_mk_array_instantiation.cpp dl_mk_elim_term_ite.cpp dl_mk_synchronize.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\transforms\transforms.vcxproj] transforms.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\transforms\transforms.dir\Debug\transforms.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/muz/bmc/CMakeLists.txt dl_bmc_engine.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\bmc\bmc.vcxproj] bmc.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\bmc\bmc.dir\Debug\bmc.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/bv/CMakeLists.txt bit_blaster_model_converter.cpp bit_blaster_tactic.cpp bv1_blaster_tactic.cpp bvarray2uf_rewriter.cpp bvarray2uf_tactic.cpp bv_bound_chk_tactic.cpp bv_bounds_tactic.cpp bv_size_reduction_tactic.cpp dt2bv_tactic.cpp elim_small_bv_tactic.cpp max_bv_sharing_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\bv\bv_tactics.vcxproj] bv_tactics.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\bv\bv_tactics.dir\Debug\bv_tactics.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/muz/clp/CMakeLists.txt clp_context.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\clp\clp.vcxproj] clp.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\clp\clp.dir\Debug\clp.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/muz/rel/CMakeLists.txt aig_exporter.cpp check_relation.cpp dl_base.cpp dl_bound_relation.cpp dl_check_table.cpp dl_compiler.cpp dl_external_relation.cpp dl_finite_product_relation.cpp dl_instruction.cpp dl_interval_relation.cpp dl_lazy_table.cpp dl_mk_explanations.cpp dl_mk_similarity_compressor.cpp dl_mk_simple_joins.cpp dl_product_relation.cpp dl_relation_manager.cpp dl_sieve_relation.cpp dl_sparse_table.cpp dl_table.cpp dl_table_relation.cpp Generating Code... Compiling... doc.cpp karr_relation.cpp rel_context.cpp tbv.cpp udoc_relation.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\rel\rel.vcxproj] rel.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\rel\rel.dir\Debug\rel.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/muz/ddnf/CMakeLists.txt ddnf.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\ddnf\ddnf.vcxproj] ddnf.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\ddnf\ddnf.dir\Debug\ddnf.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/sat/sat_solver/CMakeLists.txt inc_sat_solver.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\sat_solver\sat_solver.vcxproj] sat_solver.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\sat_solver\sat_solver.dir\Debug\sat_solver.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/fd_solver/CMakeLists.txt bounded_int2bv_solver.cpp enum2bv_solver.cpp fd_solver.cpp pb2bv_solver.cpp smtfd_solver.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\fd_solver\fd_solver.vcxproj] fd_solver.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\fd_solver\fd_solver.dir\Debug\fd_solver.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/smt/tactic/CMakeLists.txt ctx_solver_simplify_tactic.cpp smt_tactic.cpp unit_subsumption_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\tactic\smt_tactic.vcxproj] smt_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\tactic\smt_tactic.dir\Debug\smt_tactic.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/muz/spacer/CMakeLists.txt spacer_legacy_mev.cpp spacer_legacy_frames.cpp spacer_context.cpp spacer_dl_interface.cpp spacer_farkas_learner.cpp spacer_generalizers.cpp spacer_manager.cpp spacer_prop_solver.cpp spacer_sym_mux.cpp spacer_util.cpp spacer_iuc_solver.cpp spacer_legacy_mbp.cpp spacer_proof_utils.cpp spacer_unsat_core_learner.cpp spacer_unsat_core_plugin.cpp spacer_matrix.cpp spacer_antiunify.cpp spacer_mev_array.cpp spacer_qe_project.cpp spacer_sem_matcher.cpp Generating Code... Compiling... spacer_quant_generalizer.cpp spacer_arith_generalizers.cpp spacer_callback.cpp spacer_json.cpp spacer_iuc_proof.cpp spacer_mbc.cpp spacer_pdr.cpp spacer_sat_answer.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\spacer\spacer.vcxproj] spacer.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\spacer\spacer.dir\Debug\spacer.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/muz/tab/CMakeLists.txt tab_context.cpp LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\tab\tab.vcxproj] tab.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\tab\tab.dir\Debug\tab.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/muz/fp/CMakeLists.txt datalog_parser.cpp dl_cmds.cpp dl_register_engine.cpp horn_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\fp\fp.vcxproj] fp.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\fp\fp.dir\Debug\fp.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/tactic/smtlogics/qfufbv_tactic_params.hpp" from "qfufbv_tactic_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\tactic\smtlogics\qfufbv_tactic_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\smtlogics\qfufbv_tactic_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/smtlogics/CMakeLists.txt nra_tactic.cpp qfaufbv_tactic.cpp qfauflia_tactic.cpp qfbv_tactic.cpp qfidl_tactic.cpp qflia_tactic.cpp qflra_tactic.cpp qfnia_tactic.cpp qfnra_tactic.cpp qfufbv_ackr_model_converter.cpp qfufbv_tactic.cpp qfuf_tactic.cpp quant_tactics.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\smtlogics\smtlogic_tactics.vcxproj] smtlogic_tactics.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\smtlogics\smtlogic_tactics.dir\Debug\smtlogic_tactics.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/fpa/CMakeLists.txt fpa2bv_model_converter.cpp fpa2bv_tactic.cpp qffp_tactic.cpp qffplra_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\fpa\fpa_tactics.vcxproj] fpa_tactics.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\fpa\fpa_tactics.dir\Debug\fpa_tactics.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/interval/CMakeLists.txt interval_mpq.cpp dep_intervals.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\interval\interval.vcxproj] interval.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\interval\interval.dir\Debug\interval.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/tactic/sls/sls_params.hpp" from "sls_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\tactic\sls\sls_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\sls\sls_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/sls/CMakeLists.txt bvsls_opt_engine.cpp sls_engine.cpp sls_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\sls\sls_tactic.vcxproj] sls_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\sls\sls_tactic.dir\Debug\sls_tactic.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/opt/opt_params.hpp" from "opt_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\opt\opt_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\opt\opt_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/opt/CMakeLists.txt maxlex.cpp maxres.cpp maxsmt.cpp opt_cmds.cpp opt_context.cpp opt_pareto.cpp opt_parse.cpp optsmt.cpp opt_solver.cpp pb_sls.cpp sortmax.cpp wmax.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\opt\opt.vcxproj] opt.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\opt\opt.dir\Debug\opt.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/subpaving/CMakeLists.txt subpaving.cpp subpaving_hwf.cpp subpaving_mpf.cpp subpaving_mpff.cpp subpaving_mpfx.cpp subpaving_mpq.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\subpaving\subpaving.vcxproj] subpaving.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\subpaving\subpaving.dir\Debug\subpaving.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/subpaving/tactic/CMakeLists.txt expr2subpaving.cpp subpaving_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\subpaving\tactic\subpaving_tactic.vcxproj] subpaving_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\subpaving\tactic\subpaving_tactic.dir\Debug\subpaving_tactic.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/ufbv/CMakeLists.txt macro_finder_tactic.cpp quasi_macros_tactic.cpp ufbv_rewriter.cpp ufbv_rewriter_tactic.cpp ufbv_tactic.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\ufbv\ufbv_tactic.vcxproj] ufbv_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\ufbv\ufbv_tactic.dir\Debug\ufbv_tactic.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/tactic/portfolio/CMakeLists.txt default_tactic.cpp smt_strategic_solver.cpp solver2lookahead.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\portfolio\portfolio.vcxproj] portfolio.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\portfolio\portfolio.dir\Debug\portfolio.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/math/realclosure/rcf_params.hpp" from "rcf_params.pyg" INFO:root:Using C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\source_subfolder\src\math\realclosure\rcf_params.pyg INFO:root:Generated "C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\realclosure\rcf_params.hpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/math/realclosure/CMakeLists.txt mpz_matrix.cpp realclosure.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\realclosure\realclosure.vcxproj] realclosure.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\realclosure\realclosure.dir\Debug\realclosure.lib Generating api_commands.cpp;api_log_macros.cpp;api_log_macros.h Faking emission of 'z3\z3core.py' Generated 'C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api\api_log_macros.h' Generated 'C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api\api_log_macros.cpp' Generated 'C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api\api_commands.cpp' Generated 'C:\J\workspace\cci_PR-1451\7\0_2\tmp3ls30mud' Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/api/CMakeLists.txt api_algebraic.cpp api_arith.cpp api_array.cpp api_ast.cpp api_ast_map.cpp api_ast_vector.cpp api_bv.cpp api_config_params.cpp api_context.cpp api_datalog.cpp api_datatype.cpp api_fpa.cpp api_goal.cpp api_log.cpp api_model.cpp api_numeral.cpp api_opt.cpp api_params.cpp api_parsers.cpp api_pb.cpp Generating Code... Compiling... api_polynomial.cpp api_qe.cpp api_quant.cpp api_rcf.cpp api_seq.cpp api_solver.cpp api_special_relations.cpp api_stats.cpp api_tactic.cpp z3_replayer.cpp api_commands.cpp api_log_macros.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\api\api.vcxproj] api.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\api\api.dir\Debug\api.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/cmd_context/extra_cmds/CMakeLists.txt dbg_cmds.cpp polynomial_cmds.cpp subpaving_cmds.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\cmd_context\extra_cmds\extra_cmds.vcxproj] extra_cmds.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\cmd_context\extra_cmds\extra_cmds.dir\Debug\extra_cmds.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api/dll/gparams_register_modules.cpp" INFO:root:Generated "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api/dll\gparams_register_modules.cpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api/dll/install_tactic.cpp" INFO:root:Generated "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api/dll\install_tactic.cpp" Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api/dll/mem_initializer.cpp" INFO:root:Generated "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api/dll\mem_initializer.cpp" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/api/dll/CMakeLists.txt dll.cpp gparams_register_modules.cpp install_tactic.cpp mem_initializer.cpp Generating Code... LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\api\dll\api_dll.vcxproj] api_dll.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\api\dll\api_dll.dir\Debug\api_dll.lib Generating "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api_dll.def" INFO:root:Generated "C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/source_subfolder/src/api_dll.def" Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/CMakeLists.txt Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/source_subfolder/src/CMakeLists.txt LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\libz3.vcxproj] libz3.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\lib\libz3.lib Building Custom Rule C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/CMakeLists.txt z3/4.8.8: Package 'd12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70' built z3/4.8.8: Build folder C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70 z3/4.8.8: Generated conaninfo.txt z3/4.8.8: Generated conanbuildinfo.txt z3/4.8.8: Generating the package z3/4.8.8: Package folder C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\package\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70 z3/4.8.8: Calling package() ----Running------ > cmake --build C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder --config Debug --target install -- /m:1 /verbosity:minimal ----------------- Microsoft (R) Build Engine version 14.0.25420.1 Copyright (C) Microsoft Corporation. All rights reserved. util.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\util\util.dir\Debug\util.lib polynomial.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\polynomial\polynomial.dir\Debug\polynomial.lib ast.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\ast.dir\Debug\ast.lib automata.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\automata\automata.dir\Debug\automata.lib rewriter.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\rewriter.dir\Debug\rewriter.lib model.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\model\model.dir\Debug\model.lib tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\tactic.dir\Debug\tactic.lib solver.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\solver\solver.dir\Debug\solver.lib ackermannization.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ackermannization\ackermannization.dir\Debug\ackermannization.lib aig_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\aig\aig_tactic.dir\Debug\aig_tactic.lib normal_forms.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\normal_forms\normal_forms.dir\Debug\normal_forms.lib core_tactics.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\core\core_tactics.dir\Debug\core_tactics.lib dd.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\dd\dd.dir\Debug\dd.lib simplex.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\simplex\simplex.dir\Debug\simplex.lib grobner.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\grobner\grobner.dir\Debug\grobner.lib sat.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\sat.dir\Debug\sat.lib arith_tactics.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\arith\arith_tactics.dir\Debug\arith_tactics.lib bit_blaster.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\rewriter\bit_blaster\bit_blaster.dir\Debug\bit_blaster.lib cmd_context.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\cmd_context\cmd_context.dir\Debug\cmd_context.lib fpa.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\fpa\fpa.dir\Debug\fpa.lib nlsat.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\nlsat\nlsat.dir\Debug\nlsat.lib lp.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\lp\lp.dir\Debug\lp.lib macros.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\macros\macros.dir\Debug\macros.lib sat_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\tactic\sat_tactic.dir\Debug\sat_tactic.lib nlsat_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\nlsat\tactic\nlsat_tactic.dir\Debug\nlsat_tactic.lib parser_util.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\parsers\util\parser_util.dir\Debug\parser_util.lib smt2parser.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\parsers\smt2\smt2parser.dir\Debug\smt2parser.lib pattern.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\pattern\pattern.dir\Debug\pattern.lib proofs.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\proofs\proofs.dir\Debug\proofs.lib smt_params.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\params\smt_params.dir\Debug\smt_params.lib proto_model.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\proto_model\proto_model.dir\Debug\proto_model.lib substitution.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\ast\substitution\substitution.dir\Debug\substitution.lib smt.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\smt.dir\Debug\smt.lib qe.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\qe\qe.dir\Debug\qe.lib muz.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\base\muz.dir\Debug\muz.lib dataflow.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\dataflow\dataflow.dir\Debug\dataflow.lib hilbert.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\hilbert\hilbert.dir\Debug\hilbert.lib transforms.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\transforms\transforms.dir\Debug\transforms.lib bmc.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\bmc\bmc.dir\Debug\bmc.lib bv_tactics.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\bv\bv_tactics.dir\Debug\bv_tactics.lib clp.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\clp\clp.dir\Debug\clp.lib rel.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\rel\rel.dir\Debug\rel.lib ddnf.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\ddnf\ddnf.dir\Debug\ddnf.lib sat_solver.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\sat\sat_solver\sat_solver.dir\Debug\sat_solver.lib fd_solver.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\fd_solver\fd_solver.dir\Debug\fd_solver.lib smt_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\smt\tactic\smt_tactic.dir\Debug\smt_tactic.lib spacer.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\spacer\spacer.dir\Debug\spacer.lib tab.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\tab\tab.dir\Debug\tab.lib fp.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\muz\fp\fp.dir\Debug\fp.lib smtlogic_tactics.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\smtlogics\smtlogic_tactics.dir\Debug\smtlogic_tactics.lib fpa_tactics.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\fpa\fpa_tactics.dir\Debug\fpa_tactics.lib interval.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\interval\interval.dir\Debug\interval.lib sls_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\sls\sls_tactic.dir\Debug\sls_tactic.lib opt.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\opt\opt.dir\Debug\opt.lib subpaving.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\subpaving\subpaving.dir\Debug\subpaving.lib subpaving_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\subpaving\tactic\subpaving_tactic.dir\Debug\subpaving_tactic.lib ufbv_tactic.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\ufbv\ufbv_tactic.dir\Debug\ufbv_tactic.lib portfolio.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\tactic\portfolio\portfolio.dir\Debug\portfolio.lib realclosure.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\math\realclosure\realclosure.dir\Debug\realclosure.lib api.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\api\api.dir\Debug\api.lib extra_cmds.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\cmd_context\extra_cmds\extra_cmds.dir\Debug\extra_cmds.lib api_dll.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\api\dll\api_dll.dir\Debug\api_dll.lib LINK : warning LNK4044: unrecognized option '/INCREMENTAL:NO'; ignored [C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\source_subfolder\src\libz3.vcxproj] libz3.vcxproj -> C:\J\workspace\cci_PR-1451\7\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder\lib\libz3.lib -- Install configuration: "Debug" -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/lib/cmake/z3/Z3Targets.cmake -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/lib/cmake/z3/Z3Targets-debug.cmake -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/lib/cmake/z3/Z3Config.cmake -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/lib/cmake/z3/Z3ConfigVersion.cmake -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/lib/libz3.lib -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_algebraic.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_api.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_ast_containers.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_fixedpoint.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_fpa.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3++.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_macros.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_optimization.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_polynomial.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_rcf.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_v1.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_spacer.h -- Installing: C:/J/workspace/cci_PR-1451/7/0_2/.conan/data/z3/4.8.8/_/_/package/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/include/z3_version.h [HOOK - conan-center.py] post_package(): [PACKAGE LICENSE (KB-H012)] OK [HOOK - conan-center.py] post_package(): [DEFAULT PACKAGE LAYOUT (KB-H013)] OK [HOOK - conan-center.py] post_package(): [MATCHING CONFIGURATION (KB-H014)] OK [HOOK - conan-center.py] post_package(): [SHARED ARTIFACTS (KB-H015)] OK [HOOK - conan-center.py] post_package(): [PC-FILES (KB-H020)] OK [HOOK - conan-center.py] post_package(): [CMAKE-MODULES-CONFIG-FILES (KB-H016)] OK [HOOK - conan-center.py] post_package(): [PDB FILES NOT ALLOWED (KB-H017)] OK [HOOK - conan-center.py] post_package(): [LIBTOOL FILES PRESENCE (KB-H018)] OK [HOOK - conan-center.py] post_package(): [MS RUNTIME FILES (KB-H021)] OK z3/4.8.8 package(): Packaged 14 '.h' files z3/4.8.8 package(): Packaged 1 '.lib' file: libz3.lib z3/4.8.8 package(): Packaged 1 '.txt' file: LICENSE.txt z3/4.8.8: Package 'd12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70' created z3/4.8.8: Created package revision 34a0a42f7e0d61afd482d72d39e5221c [HOOK - conan-center.py] post_package_info(): [CMAKE FILE NOT IN BUILD FOLDERS (KB-H019)] OK z3/4.8.8 (test package): Generator txt created conanbuildinfo.txt z3/4.8.8 (test package): Generator cmake created conanbuildinfo.cmake z3/4.8.8 (test package): Generated conaninfo.txt z3/4.8.8 (test package): Generated graphinfo Using lockfile: 'C:\J\workspace\cci_PR-1451/7/co_0_2/recipes/z3/all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64/conan.lock' Using cached profile from lockfile [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] 'fPIC' option not found [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK z3/4.8.8 (test package): Calling build() ----Running------ > cd C:\J\workspace\cci_PR-1451/7/co_0_2/recipes/z3/all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64 && cmake -G "Visual Studio 14 2015 Win64" -DCONAN_LINK_RUNTIME="/MTd" -DCONAN_IN_LOCAL_CACHE="OFF" -DCONAN_COMPILER="Visual Studio" -DCONAN_COMPILER_VERSION="14" -DCONAN_CXX_FLAGS="/MP1" -DCONAN_C_FLAGS="/MP1" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -Wno-dev C:\J\workspace\cci_PR-1451/7/co_0_2/recipes/z3/all\test_package ----------------- -- Selecting Windows SDK version 10.0.14393.0 to target Windows 10.0.17763. -- The C compiler identification is MSVC 19.0.24215.1 -- The CXX compiler identification is MSVC 19.0.24215.1 -- Check for working C compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe -- Check for working C compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe -- Check for working CXX compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Conan: called by CMake conan helper -- Conan: Adjusting output directories -- Conan: Using cmake global configuration -- Conan: Adjusting default RPATHs Conan policies -- Conan: Adjusting language standard -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_EXPORT_NO_PACKAGE_REGISTRY -- Build files have been written to: C:/J/workspace/cci_PR-1451/7/co_0_2/recipes/z3/all/test_package/build/80bb490f34e5fa6d6b4ab2b9106802d6864bad64 ----Running------ > cmake --build C:\J\workspace\cci_PR-1451/7/co_0_2/recipes/z3/all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64 --config Debug -- /m:1 /verbosity:minimal ----------------- Microsoft (R) Build Engine version 14.0.25420.1 Copyright (C) Microsoft Corporation. All rights reserved. Checking Build System Building Custom Rule C:/J/workspace/cci_PR-1451/7/co_0_2/recipes/z3/all/test_package/CMakeLists.txt test_package.cpp mpir.lib(assert.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(assert.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(errno.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(errno.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(memory.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(memory.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mp_bpl.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mp_bpl.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mp_clz_tab.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mp_clz_tab.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mp_minv_tab.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mp_minv_tab.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(tal-reent.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(tal-reent.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(adjust.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(adjust.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(adjust_sqrt2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(adjust_sqrt2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(butterfly_lshB.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(butterfly_lshB.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(butterfly_rshB.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(butterfly_rshB.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(combine_bits.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(combine_bits.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(div_2expmod_2expp1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(div_2expmod_2expp1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(fft_mfa_trunc_sqrt2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(fft_mfa_trunc_sqrt2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(fft_mfa_trunc_sqrt2_inner.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(fft_mfa_trunc_sqrt2_inner.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(fft_negacyclic.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(fft_negacyclic.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(fft_radix2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(fft_radix2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(fft_trunc.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(fft_trunc.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(fft_trunc_sqrt2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(fft_trunc_sqrt2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(ifft_mfa_trunc_sqrt2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(ifft_mfa_trunc_sqrt2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(ifft_negacyclic.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(ifft_negacyclic.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(ifft_radix2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(ifft_radix2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(ifft_trunc.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(ifft_trunc.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(ifft_trunc_sqrt2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(ifft_trunc_sqrt2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mul_2expmod_2expp1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mul_2expmod_2expp1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mul_fft_main.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mul_fft_main.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mul_mfa_trunc_sqrt2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mul_mfa_trunc_sqrt2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mul_trunc_sqrt2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mul_trunc_sqrt2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mulmod_2expp1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mulmod_2expp1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(normmod_2expp1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(normmod_2expp1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(revbin.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(revbin.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(split_bits.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(split_bits.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(add.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(add.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(and.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(and.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(clear.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(clear.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(cmp.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(cmp.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(cmp_si.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(cmp_si.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(fdiv_q.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(fdiv_q.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(fits_slong.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(fits_slong.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(gcd.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(gcd.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(get_d.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(get_d.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(get_si.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(get_si.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(get_str.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(get_str.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(init.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(init.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(ior.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(ior.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mod.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mod.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mul.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mul.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mul_2exp.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mul_2exp.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(n_pow_ui.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(n_pow_ui.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(pow_ui.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(pow_ui.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(realloc.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(realloc.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(scan1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(scan1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(set.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(set.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(set_si.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(set_si.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(set_ui.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(set_ui.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(sizeinbase.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(sizeinbase.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(sub.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(sub.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(sub_ui.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(sub_ui.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(swap.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(swap.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(tdiv_q.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(tdiv_q.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(tdiv_q_2exp.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(tdiv_q_2exp.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(tdiv_qr.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(tdiv_qr.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(tdiv_r.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(tdiv_r.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(tdiv_r_2exp.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(tdiv_r_2exp.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(xor.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(xor.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(add_err1_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(add_err1_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(add_err2_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(add_err2_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(add_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(add_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(addmul_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(addmul_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(com_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(com_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(copyi.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(copyi.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(dc_div_q.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(dc_div_q.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(dc_div_qr.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(dc_div_qr.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(dc_div_qr_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(dc_div_qr_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(dc_divappr_q.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(dc_divappr_q.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(divexact_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(divexact_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(divexact_by3c.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(divexact_by3c.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(divexact_byfobm1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(divexact_byfobm1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(divrem_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(divrem_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(divrem_2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(divrem_2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(divrem_euclidean_r_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(divrem_euclidean_r_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(gcd.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(gcd.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(gcd_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(gcd_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(gcd_subdiv_step.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(gcd_subdiv_step.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(get_d.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(get_d.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(get_str.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(get_str.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(hgcd.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(hgcd.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(hgcd2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(hgcd2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(hgcd_appr.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(hgcd_appr.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(hgcd_matrix.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(hgcd_matrix.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(hgcd_reduce.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(hgcd_reduce.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(hgcd_step.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(hgcd_step.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(inv_div_q.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(inv_div_q.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(inv_div_qr.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(inv_div_qr.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(inv_div_qr_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(inv_div_qr_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(inv_divappr_q.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(inv_divappr_q.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(inv_divappr_q_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(inv_divappr_q_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(invert.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(invert.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(lshift.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(lshift.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(matrix22_mul.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(matrix22_mul.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(matrix22_mul1_inverse_vector.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(matrix22_mul1_inverse_vector.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mod_1_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mod_1_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mod_1_2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mod_1_2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mod_1_3.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mod_1_3.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(modexact_1c_odd.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(modexact_1c_odd.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mp_bases.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mp_bases.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mul.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mul.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mul_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mul_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mul_basecase.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mul_basecase.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mul_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mul_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mulmid.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mulmid.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mulmid_basecase.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mulmid_basecase.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mulmod_2expm1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mulmod_2expm1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mulmod_2expp1_basecase.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mulmod_2expp1_basecase.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(mulmod_bexpp1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(mulmod_bexpp1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(neg_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(neg_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(popcount.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(popcount.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(preinv_divrem_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(preinv_divrem_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(rsh_divrem_hensel_qr_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(rsh_divrem_hensel_qr_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(rsh_divrem_hensel_qr_1_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(rsh_divrem_hensel_qr_1_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(rsh_divrem_hensel_qr_1_2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(rsh_divrem_hensel_qr_1_2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(rshift.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(rshift.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(sb_div_q.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(sb_div_q.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(sb_div_qr.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(sb_div_qr.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(sb_divappr_q.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(sb_divappr_q.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(sqr_basecase.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(sqr_basecase.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(sub_err2_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(sub_err2_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(sub_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(sub_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(submul_1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(submul_1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(sumdiff_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(sumdiff_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(tdiv_q.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(tdiv_q.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(tdiv_qr.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(tdiv_qr.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom3_mul.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom3_mul.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom3_mul_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom3_mul_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom42_mulmid.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom42_mulmid.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom4_mul.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom4_mul.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom4_mul_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom4_mul_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom8_sqr_n.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom8_sqr_n.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom8h_mul.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom8h_mul.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom_couple_handling.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom_couple_handling.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom_eval_dgr3_pm1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom_eval_dgr3_pm1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom_eval_pm1.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom_eval_pm1.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom_eval_pm2.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom_eval_pm2.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom_eval_pm2exp.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom_eval_pm2exp.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom_eval_pm2rexp.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom_eval_pm2rexp.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(toom_interpolate_16pts.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(toom_interpolate_16pts.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] mpir.lib(zero.obj) : warning LNK4099: PDB 'mpir.pdb' was not found with 'mpir.lib(zero.obj)' or at 'C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\mpir.pdb'; linking object as if no debug info [C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\test_package.vcxproj] test_package.vcxproj -> C:\J\workspace\cci_PR-1451\7\co_0_2\recipes\z3\all\test_package\build\80bb490f34e5fa6d6b4ab2b9106802d6864bad64\bin\test_package.exe test_package.vcxproj -> C:/J/workspace/cci_PR-1451/7/co_0_2/recipes/z3/all/test_package/build/80bb490f34e5fa6d6b4ab2b9106802d6864bad64/bin/test_package.pdb (Full PDB) Building Custom Rule C:/J/workspace/cci_PR-1451/7/co_0_2/recipes/z3/all/test_package/CMakeLists.txt z3/4.8.8 (test package): Running test() ----Running------ > bin\test_package ----------------- simple_example DeMorgan DeMorgan is valid JSON file created at 'C:\J\workspace\cci_PR-1451/7/co_0_2/_create.json'