********************************************************************************
conan test cci-02b096cd\recipes\minisat\all\test_package\conanfile.py minisat/2.2.0@#4fb3a84622b52800cac54d3b03928bcf -pr C:/J2/w/prod-v1/bsr@3/10053/acaeb/profile_windows_16_mdd_vs_debug_64.minisat-shared-False.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True
********************************************************************************
Configuration:
[settings]
arch=x86_64
build_type=Debug
compiler=Visual Studio
compiler.runtime=MDd
compiler.version=16
os=Windows
[options]
minisat:shared=False
[build_requires]
[env]
[conf]
tools.system.package_manager:mode=install
tools.system.package_manager:sudo=True

Version ranges solved
    Version range '>=1.2.11 <2' required by 'minisat/2.2.0' resolved to 'zlib/1.3' in local cache

minisat/2.2.0 (test package): Installing package
Requirements
    minisat/2.2.0 from local cache - Cache
    zlib/1.3 from 'conan-center' - Cache
Packages
    minisat/2.2.0:6acf24cd4adf2df742e006cc0e5f0329e3b6e60b - Cache
    zlib/1.3:d057732059ea44a47760900cb5e4855d2bea8714 - Cache

Installing (downloading, building) binaries...
zlib/1.3: Already installed!
minisat/2.2.0: Already installed!
minisat/2.2.0 (test package): Generator 'CMakeDeps' calling 'generate()'
minisat/2.2.0 (test package): Generator 'CMakeToolchain' calling 'generate()'
minisat/2.2.0 (test package): Preset 'default' added to CMakePresets.json. Invoke it manually using 'cmake --preset default'
minisat/2.2.0 (test package): If your CMake version is not compatible with CMakePresets (<3.19) call cmake like: 'cmake <path> -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE=C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\build\generators\conan_toolchain.cmake -DCMAKE_POLICY_DEFAULT_CMP0091=NEW'
minisat/2.2.0 (test package): Generator txt created conanbuildinfo.txt
minisat/2.2.0 (test package): Generator 'VirtualRunEnv' calling 'generate()'
minisat/2.2.0 (test package): Aggregating env generators
minisat/2.2.0 (test package): Generated conaninfo.txt
minisat/2.2.0 (test package): Generated graphinfo
Using lockfile: 'C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\build\generators/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
minisat/2.2.0 (test package): Calling build()
minisat/2.2.0 (test package): CMake command: cmake -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE="C:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_package/build/generators/conan_toolchain.cmake" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" "C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\."

----Running------
> cmake -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE="C:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_package/build/generators/conan_toolchain.cmake" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" "C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\."
-----------------
-- Using Conan toolchain: C:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_package/build/generators/conan_toolchain.cmake
-- The CXX compiler identification is MSVC 19.29.30148.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: C:/Program Files (x86)/Microsoft Visual Studio/2019/Community/VC/Tools/MSVC/14.29.30133/bin/Hostx64/x64/cl.exe - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Conan: Target declared 'minisat::minisat'
-- Conan: Target declared 'ZLIB::ZLIB'
-- Configuring done
-- Generating done
-- Build files have been written to: C:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_package/build
minisat/2.2.0 (test package): CMake command: cmake --build "C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\build" --config Debug

----Running------
> cmake --build "C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\build" --config Debug
-----------------
Microsoft (R) Build Engine version 16.11.2+f32259642 for .NET Framework
Copyright (C) Microsoft Corporation. All rights reserved.

  Checking Build System
  Building Custom Rule C:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_package/CMakeLists.txt
  test_package.cpp
C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\package\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\include\minisat\core/SolverTypes.h(130,59): warning C4200: nonstandard extension used: zero-sized array in struct/union [C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\build\test_package.vcxproj]
C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\package\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\include\minisat\core/SolverTypes.h(130,59): message : This member will be ignored by a defaulted constructor or copy/move assignment operator [C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\build\test_package.vcxproj]
C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\package\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\include\minisat/core/Solver.h(298,12): warning C4244: '+=': conversion from 'double' to 'float', possible loss of data [C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\build\test_package.vcxproj]
C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\package\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\include\minisat/core/Solver.h(301,51): warning C4305: '*=': truncation from 'double' to 'float' [C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\build\test_package.vcxproj]
  test_package.vcxproj -> C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\build\Debug\test_package.exe
  Building Custom Rule C:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_package/CMakeLists.txt
minisat/2.2.0 (test package): Running test()

----Running------
> "C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_package\build\generators\conanrun.bat" && Debug\test_package
-----------------
SAT
Model found:
A := 0
B := 1
C := 1
minisat/2.2.0 (test package): WARN: Using the new toolchains and generators without specifying a build profile (e.g: -pr:b=default) is discouraged and might cause failures and unexpected behavior
minisat/2.2.0 (test package): WARN: Using the new toolchains and generators without specifying a build profile (e.g: -pr:b=default) is discouraged and might cause failures and unexpected behavior
********************************************************************************
conan test cci-02b096cd\recipes\minisat\all\test_v1_package\conanfile.py minisat/2.2.0@#4fb3a84622b52800cac54d3b03928bcf -pr C:/J2/w/prod-v1/bsr@3/10053/acaeb/profile_windows_16_mdd_vs_debug_64.minisat-shared-False.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True
********************************************************************************
Configuration:
[settings]
arch=x86_64
build_type=Debug
compiler=Visual Studio
compiler.runtime=MDd
compiler.version=16
os=Windows
[options]
minisat:shared=False
[build_requires]
[env]
[conf]
tools.system.package_manager:mode=install
tools.system.package_manager:sudo=True

Version ranges solved
    Version range '>=1.2.11 <2' required by 'minisat/2.2.0' resolved to 'zlib/1.3' in local cache

minisat/2.2.0 (test package): Installing package
Requirements
    minisat/2.2.0 from local cache - Cache
    zlib/1.3 from 'conan-center' - Cache
Packages
    minisat/2.2.0:6acf24cd4adf2df742e006cc0e5f0329e3b6e60b - Cache
    zlib/1.3:d057732059ea44a47760900cb5e4855d2bea8714 - Cache

Installing (downloading, building) binaries...
zlib/1.3: Already installed!
minisat/2.2.0: Already installed!
minisat/2.2.0 (test package): Generator txt created conanbuildinfo.txt
minisat/2.2.0 (test package): Generator cmake_find_package_multi created minisat-config-version.cmake
minisat/2.2.0 (test package): Generator cmake_find_package_multi created minisat-config.cmake
minisat/2.2.0 (test package): Generator cmake_find_package_multi created minisatTargets.cmake
minisat/2.2.0 (test package): Generator cmake_find_package_multi created minisatTarget-debug.cmake
minisat/2.2.0 (test package): Generator cmake_find_package_multi created ZLIBConfigVersion.cmake
minisat/2.2.0 (test package): Generator cmake_find_package_multi created ZLIBConfig.cmake
minisat/2.2.0 (test package): Generator cmake_find_package_multi created ZLIBTargets.cmake
minisat/2.2.0 (test package): Generator cmake_find_package_multi created ZLIBTarget-debug.cmake
minisat/2.2.0 (test package): Generator cmake created conanbuildinfo.cmake
minisat/2.2.0 (test package): Aggregating env generators
minisat/2.2.0 (test package): Generated conaninfo.txt
minisat/2.2.0 (test package): Generated graphinfo
Using lockfile: 'C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_v1_package\build\e78b60fe3db0b1502f75df59d234fdb6929004a3/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
minisat/2.2.0 (test package): Calling build()

----Running------
> cd C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_v1_package\build\e78b60fe3db0b1502f75df59d234fdb6929004a3 && 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="/MP8" -DCONAN_C_FLAGS="/MP8" -DCMAKE_INSTALL_PREFIX="C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_v1_package\build\e78b60fe3db0b1502f75df59d234fdb6929004a3\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:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_v1_package/build/e78b60fe3db0b1502f75df59d234fdb6929004a3" -DCMAKE_MODULE_PATH="C:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_v1_package/build/e78b60fe3db0b1502f75df59d234fdb6929004a3" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -Wno-dev C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_v1_package
-----------------
-- The C compiler identification is MSVC 19.29.30148.0
-- The CXX compiler identification is MSVC 19.29.30148.0
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: C:/Program Files (x86)/Microsoft Visual Studio/2019/Community/VC/Tools/MSVC/14.29.30133/bin/Hostx64/x64/cl.exe - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: C:/Program Files (x86)/Microsoft Visual Studio/2019/Community/VC/Tools/MSVC/14.29.30133/bin/Hostx64/x64/cl.exe - skipped
-- 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 minisat found C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/lib/minisat.lib
-- Library zlib found C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/zlib/1.3/_/_/package/d057732059ea44a47760900cb5e4855d2bea8714/lib/zlib.lib
-- Conan: Adjusting default RPATHs Conan policies
-- Conan: Adjusting language standard
-- Library minisat found C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/lib/minisat.lib
-- Found: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/lib/minisat.lib
-- Library zlib found C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/zlib/1.3/_/_/package/d057732059ea44a47760900cb5e4855d2bea8714/lib/zlib.lib
-- Found: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/zlib/1.3/_/_/package/d057732059ea44a47760900cb5e4855d2bea8714/lib/zlib.lib
-- Configuring done
-- Generating done
-- Build files have been written to: C:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_v1_package/build/e78b60fe3db0b1502f75df59d234fdb6929004a3

----Running------
> cmake --build C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_v1_package\build\e78b60fe3db0b1502f75df59d234fdb6929004a3 --config Debug -- /m:8 /verbosity:minimal
-----------------
Microsoft (R) Build Engine version 16.11.2+f32259642 for .NET Framework
Copyright (C) Microsoft Corporation. All rights reserved.

  Checking Build System
  Building Custom Rule C:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_package/CMakeLists.txt
  test_package.cpp
C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\package\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\include\minisat\core/SolverTypes.h(130,59): warning C4200: nonstandard extension used: zero-sized array in struct/union [C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_v1_package\build\e78b60fe3db0b1502f75df59d234fdb6929004a3\test_package\test_package.vcxproj]
C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\package\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\include\minisat\core/SolverTypes.h(130,59): message : This member will be ignored by a defaulted constructor or copy/move assignment operator [C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_v1_package\build\e78b60fe3db0b1502f75df59d234fdb6929004a3\test_package\test_package.vcxproj]
C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\package\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\include\minisat/core/Solver.h(298,12): warning C4244: '+=': conversion from 'double' to 'float', possible loss of data [C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_v1_package\build\e78b60fe3db0b1502f75df59d234fdb6929004a3\test_package\test_package.vcxproj]
C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\package\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\include\minisat/core/Solver.h(301,51): warning C4305: '*=': truncation from 'double' to 'float' [C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_v1_package\build\e78b60fe3db0b1502f75df59d234fdb6929004a3\test_package\test_package.vcxproj]
  test_package.vcxproj -> C:\J2\w\prod-v1\bsr@3\cci-02b096cd\recipes\minisat\all\test_v1_package\build\e78b60fe3db0b1502f75df59d234fdb6929004a3\bin\test_package.exe
  Building Custom Rule C:/J2/w/prod-v1/bsr@3/cci-02b096cd/recipes/minisat/all/test_v1_package/CMakeLists.txt
minisat/2.2.0 (test package): Running test()

----Running------
> bin\test_package
-----------------
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


SAT
Model found:
A := 0
B := 1
C := 1