********************************************************************************
conan install minisat/2.2.0@#fcac6e79a15ac73c5a44f9b5375a36a0 --build=minisat -pr /Users/jenkins/w/prod/BuildSingleReference@3/206909/08b3d57a-31ea-4af2-a700-26954d81f85e/profile_osx_110_libcpp_apple-clang_debug_64.minisat-shared-True.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True -c tools.apple:sdk_path=/Applications/conan/xcode/11.0/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk
********************************************************************************
Auto detecting your dev setup to initialize the default profile (/Users/jenkins/w/prod/BuildSingleReference@3/.conan/profiles/default)
Found apple-clang 11.0
Default settings
	os=Macos
	os_build=Macos
	arch=x86_64
	arch_build=x86_64
	compiler=apple-clang
	compiler.version=11.0
	compiler.libcxx=libc++
	build_type=Release
*** You can change them in /Users/jenkins/w/prod/BuildSingleReference@3/.conan/profiles/default ***
*** Or override with -s compiler='other' -s ...s***


Configuration:
[settings]
arch=x86_64
build_type=Debug
compiler=apple-clang
compiler.libcxx=libc++
compiler.version=11.0
os=Macos
[options]
minisat:shared=True
[build_requires]
[env]
[conf]
tools.system.package_manager:mode=install
tools.system.package_manager:sudo=True
tools.apple:sdk_path=/Applications/conan/xcode/11.0/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk

zlib/1.2.13: Not found in local cache, looking in remotes...
zlib/1.2.13: Trying with 'conan-center'...
Downloading conanmanifest.txt
Downloading conanfile.py
Downloading conan_export.tgz
zlib/1.2.13: Downloaded recipe revision 13c96f538b52e1600c40b88994de240f
minisat/2.2.0: Forced build from source
Installing package: minisat/2.2.0
Requirements
    minisat/2.2.0 from local cache - Cache
    zlib/1.2.13 from 'conan-center' - Downloaded
Packages
    minisat/2.2.0:50c72641c596312c5c9e293ead95e53cab7f38da - Build
    zlib/1.2.13:0aa7be2d0914b6f3128105e305c90b9cb0cae86d - Download

Installing (downloading, building) binaries...
zlib/1.2.13: Retrieving package 0aa7be2d0914b6f3128105e305c90b9cb0cae86d from remote 'conan-center' 
Downloading conanmanifest.txt
Downloading conaninfo.txt
Downloading conan_package.tgz
zlib/1.2.13: Package installed 0aa7be2d0914b6f3128105e305c90b9cb0cae86d
zlib/1.2.13: Downloaded package revision 7f97d96a8cc1404897cccb9b8b5df59d
[HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK
minisat/2.2.0: Configuring sources in /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/source/src
minisat/2.2.0: 
[HOOK - conan-center.py] post_source(): [LIBCXX MANAGEMENT (KB-H011)] OK
[HOOK - conan-center.py] post_source(): [CPPSTD MANAGEMENT (KB-H022)] OK
[HOOK - conan-center.py] post_source(): [SHORT_PATHS USAGE (KB-H066)] OK
minisat/2.2.0: Copying sources to build folder
minisat/2.2.0: Building your package in /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da
minisat/2.2.0: Generator txt created conanbuildinfo.txt
minisat/2.2.0: Calling generate()
minisat/2.2.0: Preset 'debug' added to CMakePresets.json. Invoke it manually using 'cmake --preset debug'
minisat/2.2.0: If your CMake version is not compatible with CMakePresets (<3.19) call cmake like: 'cmake <path> -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE=/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/build/Debug/generators/conan_toolchain.cmake -DCMAKE_POLICY_DEFAULT_CMP0091=NEW -DCMAKE_BUILD_TYPE=Debug'
minisat/2.2.0: Aggregating env generators
[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: Calling build()
minisat/2.2.0: Apply patch (portability): drop default argument in friend declaration
minisat/2.2.0: Apply patch (portability): add spaces before user literals
minisat/2.2.0: CMake command: cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/build/Debug/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Debug" "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/.."

----Running------
> cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/build/Debug/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Debug" "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/.."
-----------------
-- Using Conan toolchain: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/build/Debug/generators/conan_toolchain.cmake
-- Conan toolchain: Setting BUILD_SHARED_LIBS = ON
-- The CXX compiler identification is AppleClang 11.0.3.11030032
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /Applications/conan/xcode/11.0/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Conan: Target declared 'ZLIB::ZLIB'
-- Configuring done
-- Generating done
-- Build files have been written to: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/build/Debug
minisat/2.2.0: CMake command: cmake --build "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/build/Debug" '--' '-j4'

----Running------
> cmake --build "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/build/Debug" '--' '-j4'
-----------------
[ 20%] Building CXX object CMakeFiles/minisat.dir/src/core/Solver.cc.o
[ 40%] Building CXX object CMakeFiles/minisat.dir/src/simp/SimpSolver.cc.o
[ 60%] Building CXX object CMakeFiles/minisat.dir/src/utils/Options.cc.o
[ 80%] Building CXX object CMakeFiles/minisat.dir/src/utils/System.cc.o
[100%] Linking CXX shared library libminisat.dylib
[100%] Built target minisat
minisat/2.2.0: Package '50c72641c596312c5c9e293ead95e53cab7f38da' built
minisat/2.2.0: Build folder /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/build/Debug
minisat/2.2.0: Generated conaninfo.txt
minisat/2.2.0: Generated conanbuildinfo.txt
minisat/2.2.0: Generating the package
minisat/2.2.0: Package folder /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da
minisat/2.2.0: Calling package()
minisat/2.2.0: Copied 1 file: LICENSE
minisat/2.2.0: CMake command: cmake --install "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/build/Debug" --prefix "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da"

----Running------
> cmake --install "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/build/Debug" --prefix "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da"
-----------------
-- Install configuration: "Debug"
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/lib/libminisat.dylib
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/mtl
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/mtl/IntTypes.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/mtl/Map.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/mtl/Vec.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/mtl/Alg.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/mtl/XAlloc.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/mtl/Heap.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/mtl/Sort.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/mtl/Alloc.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/mtl/Queue.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/utils
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/utils/Options.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/utils/System.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/utils/ParseUtils.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/core
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/core/Solver.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/core/SolverTypes.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/core/Dimacs.h
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/simp
-- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/package/50c72641c596312c5c9e293ead95e53cab7f38da/include/minisat/simp/SimpSolver.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(): [STATIC ARTIFACTS (KB-H074)] OK
[HOOK - conan-center.py] post_package(): [EITHER STATIC OR SHARED OF EACH LIB (KB-H076)] 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
[HOOK - conan-center.py] post_package(): [SHORT_PATHS USAGE (KB-H066)] OK
[HOOK - conan-center.py] post_package(): [MISSING SYSTEM LIBS (KB-H043)] OK
[HOOK - conan-center.py] post_package(): [APPLE RELOCATABLE SHARED LIBS (KB-H077)] OK
minisat/2.2.0 package(): Packaged 1 file: LICENSE
minisat/2.2.0 package(): Packaged 16 '.h' files
minisat/2.2.0 package(): Packaged 1 '.dylib' file: libminisat.dylib
minisat/2.2.0: Package '50c72641c596312c5c9e293ead95e53cab7f38da' created
minisat/2.2.0: Created package revision fa80abcb4a26a40190444ef4b286bb11
[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
[HOOK - conan-center.py] post_package_info(): [INCLUDE PATH DOES NOT EXIST (KB-H071)] OK
Aggregating env generators
CMake Warning:
  Manually-specified variables were not used by the project:

    CMAKE_POLICY_DEFAULT_CMP0091


In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/utils/Options.cc:20:
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/mtl/Sort.h:24:
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/mtl/Vec.h:99:97: warning: '&&' within '||' [-Wlogical-op-parentheses]
    if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
                            ~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/mtl/Vec.h:99:97: note: place parentheses around the '&&' expression to silence this warning
    if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/simp/SimpSolver.cc:21:
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/mtl/Sort.h:24:
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/mtl/Vec.h:99:97: warning: '&&' within '||' [-Wlogical-op-parentheses]
    if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
                            ~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/mtl/Vec.h:99:97: note: place parentheses around the '&&' expression to silence this warning
    if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/core/Solver.cc:23:
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/mtl/Sort.h:24:
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/mtl/Vec.h:99:97: warning: '&&' within '||' [-Wlogical-op-parentheses]
    if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
                            ~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/mtl/Vec.h:99:97: note: place parentheses around the '&&' expression to silence this warning
    if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/core/Solver.cc:24:
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/core/Solver.h:27:
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/utils/Options.h:63:44: warning: '&&' within '||' [-Wlogical-op-parentheses]
            return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;
                             ~~ ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/utils/Options.h:63:44: note: place parentheses around the '&&' expression to silence this warning
            return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;
                                           ^
                                (                                                   )
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/utils/Options.cc:21:
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/utils/Options.h:63:44: warning: '&&' within '||' [-Wlogical-op-parentheses]
            return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;
                             ~~ ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/utils/Options.h:63:44: note: place parentheses around the '&&' expression to silence this warning
            return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;
                                           ^
                                (                                                   )
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/simp/SimpSolver.cc:22:
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/simp/SimpSolver.h:25:
In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/core/Solver.h:27:
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/utils/Options.h:63:44: warning: '&&' within '||' [-Wlogical-op-parentheses]
            return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;
                             ~~ ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/utils/Options.h:63:44: note: place parentheses around the '&&' expression to silence this warning
            return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;
                                           ^
                                (                                                   )
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/utils/Options.cc:48:17: warning: add explicit braces to avoid dangling else [-Wdangling-else]
                else
                ^
3 warnings generated.
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/core/Solver.cc:212:57: warning: '&&' within '||' [-Wlogical-op-parentheses]
            if (phase_saving > 1 || (phase_saving == 1) && c > trail_lim.last())
                                 ~~ ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/core/Solver.cc:212:57: note: place parentheses around the '&&' expression to silence this warning
            if (phase_saving > 1 || (phase_saving == 1) && c > trail_lim.last())
                                                        ^
                                    (                                          )
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/simp/SimpSolver.cc:232:21: warning: add explicit braces to avoid dangling else [-Wdangling-else]
                    else
                    ^
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/simp/SimpSolver.cc:266:21: warning: add explicit braces to avoid dangling else [-Wdangling-else]
                    else
                    ^
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/core/Solver.cc:660:36: warning: '&&' within '||' [-Wlogical-op-parentheses]
            if (nof_conflicts >= 0 && conflictC >= nof_conflicts || !withinBudget()){
                ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~
/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/minisat/2.2.0/_/_/build/50c72641c596312c5c9e293ead95e53cab7f38da/src/core/Solver.cc:660:36: note: place parentheses around the '&&' expression to silence this warning
            if (nof_conflicts >= 0 && conflictC >= nof_conflicts || !withinBudget()){
                                   ^
                (                                               )
4 warnings generated.
4 warnings generated.
minisat/2.2.0: 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: 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