********************************************************************************
conan test conan-center-index\recipes\z3\all\test_package\conanfile.py z3/4.8.8@ --profile=C:\J\w\BuildSingleReference@2/79140/25e90f6f-ea18-4d0a-80f2-ba70038f35c9/profile.txt
********************************************************************************
Configuration:
[settings]
arch=x86_64
build_type=Release
compiler=Visual Studio
compiler.runtime=MD
compiler.version=16
os=Windows
[options]
z3:shared=False
[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:d646c6c0e71d2e6d6447bb31be00af7aa1488af3 - Cache
    z3/4.8.8:43f2186affed7c85f064fa3cc548036fcc2d4b81 - 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-release.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-release.cmake
z3/4.8.8 (test package): Generator cmake created conanbuildinfo.cmake
z3/4.8.8 (test package): Generator txt created conanbuildinfo.txt
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@2\conan-center-index\recipes\z3\all\test_package\build\6b4d49ecaf21ca159a872d363a17eca35f353801/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@2\conan-center-index\recipes\z3\all\test_package\build\6b4d49ecaf21ca159a872d363a17eca35f353801 && cmake -G "Visual Studio 16 2019" -A "x64" -DCONAN_LINK_RUNTIME="/MD" -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@2\conan-center-index\recipes\z3\all\test_package\build\6b4d49ecaf21ca159a872d363a17eca35f353801\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@2/conan-center-index/recipes/z3/all/test_package/build/6b4d49ecaf21ca159a872d363a17eca35f353801" -DCMAKE_MODULE_PATH="C:/J/w/BuildSingleReference@2/conan-center-index/recipes/z3/all/test_package/build/6b4d49ecaf21ca159a872d363a17eca35f353801" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -Wno-dev C:\J\w\BuildSingleReference@2\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@2/.conan/data/z3/4.8.8/_/_/package/43f2186affed7c85f064fa3cc548036fcc2d4b81/lib/libz3.lib
-- Library mpirxx found C:/J/w/BuildSingleReference@2/.conan/data/mpir/3.0.0/_/_/package/d646c6c0e71d2e6d6447bb31be00af7aa1488af3/lib/mpirxx.lib
-- Library mpir found C:/J/w/BuildSingleReference@2/.conan/data/mpir/3.0.0/_/_/package/d646c6c0e71d2e6d6447bb31be00af7aa1488af3/lib/mpir.lib
-- Conan: Adjusting default RPATHs Conan policies
-- Conan: Adjusting language standard
-- Library libz3 found C:/J/w/BuildSingleReference@2/.conan/data/z3/4.8.8/_/_/package/43f2186affed7c85f064fa3cc548036fcc2d4b81/lib/libz3.lib
-- Found: C:/J/w/BuildSingleReference@2/.conan/data/z3/4.8.8/_/_/package/43f2186affed7c85f064fa3cc548036fcc2d4b81/lib/libz3.lib
-- Library libz3 found C:/J/w/BuildSingleReference@2/.conan/data/z3/4.8.8/_/_/package/43f2186affed7c85f064fa3cc548036fcc2d4b81/lib/libz3.lib
-- Found: C:/J/w/BuildSingleReference@2/.conan/data/z3/4.8.8/_/_/package/43f2186affed7c85f064fa3cc548036fcc2d4b81/lib/libz3.lib
-- Library mpirxx found C:/J/w/BuildSingleReference@2/.conan/data/mpir/3.0.0/_/_/package/d646c6c0e71d2e6d6447bb31be00af7aa1488af3/lib/mpirxx.lib
-- Found: C:/J/w/BuildSingleReference@2/.conan/data/mpir/3.0.0/_/_/package/d646c6c0e71d2e6d6447bb31be00af7aa1488af3/lib/mpirxx.lib
-- Library mpir found C:/J/w/BuildSingleReference@2/.conan/data/mpir/3.0.0/_/_/package/d646c6c0e71d2e6d6447bb31be00af7aa1488af3/lib/mpir.lib
-- Found: C:/J/w/BuildSingleReference@2/.conan/data/mpir/3.0.0/_/_/package/d646c6c0e71d2e6d6447bb31be00af7aa1488af3/lib/mpir.lib
-- Configuring done
-- Generating done
-- Build files have been written to: C:/J/w/BuildSingleReference@2/conan-center-index/recipes/z3/all/test_package/build/6b4d49ecaf21ca159a872d363a17eca35f353801

----Running------
> cmake --build C:\J\w\BuildSingleReference@2\conan-center-index\recipes\z3\all\test_package\build\6b4d49ecaf21ca159a872d363a17eca35f353801 --config Release -- /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@2/conan-center-index/recipes/z3/all/test_package/CMakeLists.txt
  test_package.cpp
  test_package.vcxproj -> C:\J\w\BuildSingleReference@2\conan-center-index\recipes\z3\all\test_package\build\6b4d49ecaf21ca159a872d363a17eca35f353801\bin\test_package.exe
  Building Custom Rule C:/J/w/BuildSingleReference@2/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