********************************************************************************
conan test conan-center-index\recipes\z3\all\test_package\conanfile.py z3/4.8.8@ --profile=C:\J\w\BuildSingleReference@4/79140/7cca9433-eced-49f1-a0ca-5b1d311308fe/profile.txt
********************************************************************************
Configuration:
[settings]
arch=x86_64
build_type=Debug
compiler=Visual Studio
compiler.runtime=MDd
compiler.version=16
os=Windows
[options]
z3:shared=True
[build_requires]
[env]

z3/4.8.8 (test package): Installing package
Requirements
    mpir/3.0.0 from 'conan-center' - Cache
    z3/4.8.8 from local cache - Cache
Packages
    mpir/3.0.0:e1bc8e9450c5c61069d917ab40b7405965cbb389 - Cache
    z3/4.8.8:b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19 - Cache

Installing (downloading, building) binaries...
mpir/3.0.0: Already installed!
[HOOK - conan-center.py] post_package_info(): [CMAKE FILE NOT IN BUILD FOLDERS (KB-H019)] OK
[HOOK - conan-center.py] post_package_info(): [LIBRARY DOES NOT EXIST (KB-H054)] OK
z3/4.8.8: Already installed!
[HOOK - conan-center.py] post_package_info(): [CMAKE FILE NOT IN BUILD FOLDERS (KB-H019)] OK
[HOOK - conan-center.py] post_package_info(): [LIBRARY DOES NOT EXIST (KB-H054)] OK
z3/4.8.8 (test package): Generator cmake_find_package_multi created Z3ConfigVersion.cmake
z3/4.8.8 (test package): Generator cmake_find_package_multi created Z3Target-debug.cmake
z3/4.8.8 (test package): Generator cmake_find_package_multi created Z3Targets.cmake
z3/4.8.8 (test package): Generator cmake_find_package_multi created Z3Config.cmake
z3/4.8.8 (test package): Generator cmake_find_package_multi created mpir-config-version.cmake
z3/4.8.8 (test package): Generator cmake_find_package_multi created mpir-config.cmake
z3/4.8.8 (test package): Generator cmake_find_package_multi created mpirTargets.cmake
z3/4.8.8 (test package): Generator cmake_find_package_multi created mpirTarget-debug.cmake
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): Aggregating env generators
z3/4.8.8 (test package): Generated conaninfo.txt
z3/4.8.8 (test package): Generated graphinfo
Using lockfile: 'C:\J\w\BuildSingleReference@4\conan-center-index\recipes\z3\all\test_package\build\7a11ae00ef245f0521a732c345e044f6ec1f1831/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\w\BuildSingleReference@4\conan-center-index\recipes\z3\all\test_package\build\7a11ae00ef245f0521a732c345e044f6ec1f1831 && cmake -G "Visual Studio 16 2019" -A "x64" -DCONAN_LINK_RUNTIME="/MDd" -DCONAN_IN_LOCAL_CACHE="OFF" -DCONAN_COMPILER="Visual Studio" -DCONAN_COMPILER_VERSION="16" -DCONAN_CXX_FLAGS="/MP16" -DCONAN_C_FLAGS="/MP16" -DCMAKE_INSTALL_PREFIX="C:\J\w\BuildSingleReference@4\conan-center-index\recipes\z3\all\test_package\build\7a11ae00ef245f0521a732c345e044f6ec1f1831\package" -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_PREFIX_PATH="C:/J/w/BuildSingleReference@4/conan-center-index/recipes/z3/all/test_package/build/7a11ae00ef245f0521a732c345e044f6ec1f1831" -DCMAKE_MODULE_PATH="C:/J/w/BuildSingleReference@4/conan-center-index/recipes/z3/all/test_package/build/7a11ae00ef245f0521a732c345e044f6ec1f1831" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -Wno-dev C:\J\w\BuildSingleReference@4\conan-center-index\recipes\z3\all\test_package
-----------------
-- The C compiler identification is MSVC 19.28.29333.0
-- The CXX compiler identification is MSVC 19.28.29333.0
-- Check for working C compiler: C:/Program Files (x86)/Microsoft Visual Studio/2019/Community/VC/Tools/MSVC/14.28.29333/bin/Hostx64/x64/cl.exe
-- Check for working C compiler: C:/Program Files (x86)/Microsoft Visual Studio/2019/Community/VC/Tools/MSVC/14.28.29333/bin/Hostx64/x64/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/2019/Community/VC/Tools/MSVC/14.28.29333/bin/Hostx64/x64/cl.exe
-- Check for working CXX compiler: C:/Program Files (x86)/Microsoft Visual Studio/2019/Community/VC/Tools/MSVC/14.28.29333/bin/Hostx64/x64/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 targets configuration
-- Library libz3 found C:/J/w/BuildSingleReference@4/.conan/data/z3/4.8.8/_/_/package/b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19/lib/libz3.lib
-- Library mpirxx found C:/J/w/BuildSingleReference@4/.conan/data/mpir/3.0.0/_/_/package/e1bc8e9450c5c61069d917ab40b7405965cbb389/lib/mpirxx.lib
-- Library mpir found C:/J/w/BuildSingleReference@4/.conan/data/mpir/3.0.0/_/_/package/e1bc8e9450c5c61069d917ab40b7405965cbb389/lib/mpir.lib
-- Conan: Adjusting default RPATHs Conan policies
-- Conan: Adjusting language standard
-- Library libz3 found C:/J/w/BuildSingleReference@4/.conan/data/z3/4.8.8/_/_/package/b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19/lib/libz3.lib
-- Found: C:/J/w/BuildSingleReference@4/.conan/data/z3/4.8.8/_/_/package/b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19/lib/libz3.lib
-- Library libz3 found C:/J/w/BuildSingleReference@4/.conan/data/z3/4.8.8/_/_/package/b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19/lib/libz3.lib
-- Found: C:/J/w/BuildSingleReference@4/.conan/data/z3/4.8.8/_/_/package/b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19/lib/libz3.lib
-- Library mpirxx found C:/J/w/BuildSingleReference@4/.conan/data/mpir/3.0.0/_/_/package/e1bc8e9450c5c61069d917ab40b7405965cbb389/lib/mpirxx.lib
-- Found: C:/J/w/BuildSingleReference@4/.conan/data/mpir/3.0.0/_/_/package/e1bc8e9450c5c61069d917ab40b7405965cbb389/lib/mpirxx.lib
-- Library mpir found C:/J/w/BuildSingleReference@4/.conan/data/mpir/3.0.0/_/_/package/e1bc8e9450c5c61069d917ab40b7405965cbb389/lib/mpir.lib
-- Found: C:/J/w/BuildSingleReference@4/.conan/data/mpir/3.0.0/_/_/package/e1bc8e9450c5c61069d917ab40b7405965cbb389/lib/mpir.lib
-- Configuring done
-- Generating done
-- Build files have been written to: C:/J/w/BuildSingleReference@4/conan-center-index/recipes/z3/all/test_package/build/7a11ae00ef245f0521a732c345e044f6ec1f1831

----Running------
> cmake --build C:\J\w\BuildSingleReference@4\conan-center-index\recipes\z3\all\test_package\build\7a11ae00ef245f0521a732c345e044f6ec1f1831 --config Debug -- /m:16 /verbosity:minimal
-----------------
Microsoft (R) Build Engine version 16.8.1+bd2ea1e3c for .NET Framework
Copyright (C) Microsoft Corporation. All rights reserved.

  Checking Build System
  Building Custom Rule C:/J/w/BuildSingleReference@4/conan-center-index/recipes/z3/all/test_package/CMakeLists.txt
  test_package.cpp
  test_package.vcxproj -> C:\J\w\BuildSingleReference@4\conan-center-index\recipes\z3\all\test_package\build\7a11ae00ef245f0521a732c345e044f6ec1f1831\bin\test_package.exe
  Building Custom Rule C:/J/w/BuildSingleReference@4/conan-center-index/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
CMake Warning:
  Manually-specified variables were not used by the project:

    CMAKE_EXPORT_NO_PACKAGE_REGISTRY
    CMAKE_INSTALL_BINDIR
    CMAKE_INSTALL_DATAROOTDIR
    CMAKE_INSTALL_INCLUDEDIR
    CMAKE_INSTALL_LIBDIR
    CMAKE_INSTALL_LIBEXECDIR
    CMAKE_INSTALL_OLDINCLUDEDIR
    CMAKE_INSTALL_SBINDIR