Build:
- 0
2026-09-04 15:43.46: New job: build bitwuzla-cxx.0.8.2 (c904ee842038)
2026-09-04 15:43.46: Waiting for resource in pool day11-builds
2026-09-04 16:39.12: Got resource from pool day11-builds
2026-09-04 16:39.12: [profile full] build bitwuzla-cxx.0.8.2
2026-09-04 16:39.12: build bitwuzla-cxx.0.8.2 (c904ee842038)
=== DEPENDENCIES (14 transitive) ===
base-threads.base 3d2f2cbc6db2
base-unix.base 3a38ddca6b5e
compiler-cloning.enabled 966a2e6839f0
conf-g++.1.0 333ef6cbb063
conf-gcc.1.0 ab0562dd03ad
conf-git.1.1 f2b37711e692
conf-gmp.5 eac5259e412f
conf-pkg-config.5 74f50f3cfe72
dune.3.24.2 25fbaa318de6
ocaml.5.5.1 70ca0c66e0e8
ocaml-base-compiler.5.5.1 59841d7ed85e
ocaml-compiler.5.5.1 492c0c740bd1
ocamlfind.1.9.9~preview 5e0261154b58
zarith.1.14 345688a9ddb6
=== STDOUT ===
Processing: [default: loading data]
[bitwuzla-cxx.0.8.2: dl]
[bitwuzla-cxx.0.8.2: extract]
-> retrieved bitwuzla-cxx.0.8.2 (https://opam.ocaml.org/cache)
[bitwuzla-cxx: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "bitwuzla-cxx" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/bitwuzla-cxx.0.8.2)
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o sccfinder.o -c src/sccfinder.cpp)
- In file included from src/sccfinder.cpp:30:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/bits/locale_classes.h:40,
- from /usr/include/c++/14/bits/ios_base.h:41,
- from /usr/include/c++/14/ios:44,
- from /usr/include/c++/14/ostream:40,
- from /usr/include/c++/14/iostream:41,
- from src/sccfinder.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o distillerlongwithimpl.o -c src/distillerlongwithimpl.cpp)
- In file included from src/distillerlongwithimpl.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/bits/refwrap.h:39,
- from /usr/include/c++/14/vector:68,
- from src/distillerlongwithimpl.h:26,
- from src/distillerlongwithimpl.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o completedetachreattacher.o -c src/completedetachreattacher.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/completedetachreattacher.cpp:24:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/completedetachreattacher.h:26,
- from src/completedetachreattacher.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o str_impl_w_impl.o -c src/str_impl_w_impl.cpp)
- In file included from src/str_impl_w_impl.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/bits/refwrap.h:39,
- from /usr/include/c++/14/vector:68,
- from src/str_impl_w_impl.h:26,
- from src/str_impl_w_impl.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o sls.o -c src/sls.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/sls.cpp:24:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/solvertypes.h:27,
- from src/sls.h:26,
- from src/sls.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o lucky.o -c src/lucky.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/lucky.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/solver.h:25:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o clauseallocator.o -c src/clauseallocator.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/clauseallocator.cpp:33:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/clauseallocator.h:27,
- from src/clauseallocator.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o solutionextender.o -c src/solutionextender.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/solutionextender.cpp:24:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/solvertypes.h:27,
- from src/solutionextender.h:26,
- from src/solutionextender.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o subsumeimplicit.o -c src/subsumeimplicit.cpp)
- In file included from src/subsumeimplicit.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/bits/refwrap.h:39,
- from /usr/include/c++/14/vector:68,
- from src/subsumeimplicit.h:26,
- from src/subsumeimplicit.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o vardistgen.o -c src/vardistgen.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/vardistgen.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/bits/refwrap.h:39,
- from /usr/include/c++/14/vector:68,
- from src/vardistgen.h:23,
- from src/vardistgen.cpp:24:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o distillerlitrem.o -c src/distillerlitrem.cpp)
- In file included from src/distillerlitrem.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/bits/refwrap.h:39,
- from /usr/include/c++/14/vector:68,
- from src/distillerlitrem.h:26,
- from src/distillerlitrem.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o reducedb.o -c src/reducedb.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/reducedb.cpp:24:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/clauseallocator.h:27,
- from src/reducedb.h:26,
- from src/reducedb.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o distillerlong.o -c src/distillerlong.cpp)
- In file included from src/distillerlong.cpp:26:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/bits/refwrap.h:39,
- from /usr/include/c++/14/vector:68,
- from src/distillerlong.h:26,
- from src/distillerlong.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o clausecleaner.o -c src/clausecleaner.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/clausecleaner.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/clausecleaner.h:26,
- from src/clausecleaner.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o intree.o -c src/intree.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/intree.cpp:24:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/cloffset.h:26,
- from src/intree.h:23,
- from src/intree.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o distillerbin.o -c src/distillerbin.cpp)
- In file included from src/distillerbin.cpp:29:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/bits/locale_classes.h:40,
- from /usr/include/c++/14/bits/ios_base.h:41,
- from /usr/include/c++/14/iomanip:42,
- from src/distillerbin.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o get_clause_query.o -c src/get_clause_query.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/get_clause_query.cpp:26:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/get_clause_query.h:25,
- from src/get_clause_query.cpp:25:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o datasync.o -c src/datasync.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/datasync.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/solvertypes.h:27,
- from src/datasync.h:26,
- from src/datasync.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o cardfinder.o -c src/cardfinder.cpp)
- In file included from src/cardfinder.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/cardfinder.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o ccnr_cms.o -c src/ccnr_cms.cpp)
- In file included from src/ccnr_cms.cpp:23:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/time_mem.h:26:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o gatefinder.o -c src/gatefinder.cpp)
- In file included from src/gatefinder.cpp:24:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/solvertypes.h:27,
- from src/gatefinder.h:26,
- from src/gatefinder.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o matrixfinder.o -c src/matrixfinder.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/matrixfinder.cpp:24:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/bits/refwrap.h:39,
- from /usr/include/c++/14/vector:68,
- from src/matrixfinder.h:26,
- from src/matrixfinder.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o gaussian.o -c src/gaussian.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/gaussian.cpp:41:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/bits/locale_classes.h:40,
- from /usr/include/c++/14/bits/ios_base.h:41,
- from /usr/include/c++/14/iomanip:42,
- from src/gaussian.cpp:31:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o subsumestrengthen.o -c src/subsumestrengthen.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/subsumestrengthen.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/cloffset.h:26,
- from src/subsumestrengthen.h:26,
- from src/subsumestrengthen.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o oracle.o -c src/oracle/oracle.cpp)
- In file included from /usr/include/c++/14/string:51,
- from /usr/include/c++/14/bits/locale_classes.h:40,
- from /usr/include/c++/14/bits/ios_base.h:41,
- from /usr/include/c++/14/ios:44,
- from /usr/include/c++/14/ostream:40,
- from /usr/include/c++/14/iostream:41,
- from src/oracle/oracle.h:25,
- from src/oracle/oracle.cpp:23:
- In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const int; _Up = int; bool _IsMove = false]',
- inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:521:30,
- inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:548:42,
- inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:555:31,
- inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:651:7,
- inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, std::vector<int> >; _ForwardIterator = int*]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27,
- inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _ForwardIterator = int*]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
- inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _ForwardIterator = int*; _Tp = int]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37,
- inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator<int>]' at /usr/include/c++/14/bits/stl_vector.h:606:31,
- inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector<int>, bool)' at src/oracle/oracle.cpp:869:16:
- /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, long unsigned int)' forming offset 4 is out of the bounds [0, 4] [-Warray-bounds=]
- 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
- | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o propengine.o -c src/propengine.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/propengine.cpp:32:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/bits/refwrap.h:39,
- from /usr/include/c++/14/deque:67,
- from /usr/include/c++/14/stack:62,
- from src/propengine.h:28,
- from src/propengine.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o bva.o -c src/bva.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/bva.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/bits/locale_classes.h:40,
- from /usr/include/c++/14/bits/ios_base.h:41,
- from /usr/include/c++/14/ios:44,
- from /usr/include/c++/14/ostream:40,
- from /usr/include/c++/14/iostream:41,
- from src/heap.h:24,
- from src/bva.h:26,
- from src/bva.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o cnf.o -c src/cnf.cpp)
- In file included from src/cnf.cpp:32:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/cnf.h:27,
- from src/cnf.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o cryptominisat.o -c src/cryptominisat.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/cryptominisat.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/cryptominisat.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o varreplacer.o -c src/varreplacer.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/varreplacer.cpp:25:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/bits/stl_tree.h:65,
- from /usr/include/c++/14/map:62,
- from src/varreplacer.h:25,
- from src/varreplacer.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor && /usr/bin/patch -p1 --directory bitwuzla) < _build/default/vendor/patch/0001-api-Add-hook-for-ocaml-z-value.patch
- patching file include/bitwuzla/cpp/bitwuzla.h
- patching file src/lib/bv/bitvector.h
- Hunk #1 succeeded at 305 (offset -5 lines).
- (cd _build/default/vendor && /usr/bin/patch -p1 --directory bitwuzla) < _build/default/vendor/patch/0002-binding-Fix-segfault-with-parallel-instances.patch
- patching file include/bitwuzla/cpp/bitwuzla.h
- patching file src/api/checks.h
- Hunk #1 succeeded at 115 (offset 1 line).
- Hunk #2 succeeded at 278 (offset 1 line).
- patching file src/api/cpp/bitwuzla.cpp
- patching file src/node/node_manager.cpp
- patching file src/node/node_manager.h
- patching file src/type/type_manager.cpp
- patching file src/type/type_manager.h
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o xorfinder.o -c src/xorfinder.cpp)
- In file included from src/xorfinder.cpp:24:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/bits/refwrap.h:39,
- from /usr/include/c++/14/vector:68,
- from src/xorfinder.h:27,
- from src/xorfinder.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -Wall -fdiagnostics-color=always -DEMSCRIPTEN -Wno-pointer-compare -g -I /home/opam/.opam/default/lib/ocaml -o picosat.o -c src/picosat/picosat.c)
- src/picosat/picosat.c: In function 'picosat_mus_assumptions':
- src/picosat/picosat.c:107:24: warning: 'memset' specified size between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
- 107 | #define CLRN(p,n) do { memset ((p), 0, sizeof (*(p)) * (n)); } while (0)
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- src/picosat/picosat.c:7437:3: note: in expansion of macro 'CLRN'
- 7437 | CLRN (redundant, nwork);
- | ^~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o searcher.o -c src/searcher.cpp)
- In file included from src/searcher.h:31,
- from src/searcher.cpp:23:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/searcher.h:28:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o solver.o -c src/solver.cpp)
- In file included from src/searcher.h:31,
- from src/solver.h:36,
- from src/solver.cpp:23:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/solver.h:25:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- (cd _build/default/vendor/cryptominisat && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -I. -Wno-class-memaccess -Wno-maybe-uninitialized -g -I /home/opam/.opam/default/lib/ocaml -I src -o occsimplifier.o -c src/occsimplifier.cpp)
- In file included from src/occsimplifier.cpp:24:
- src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)':
- src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), '\t')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from /usr/include/c++/14/bits/stl_function.h:1435,
- from /usr/include/c++/14/string:49,
- from /usr/include/c++/14/random:43,
- from src/constants.h:29,
- from src/occsimplifier.cpp:23:
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to<char>; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations]
- 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to<char>(), ' ')));
- | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- /usr/include/c++/14/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
-> compiled bitwuzla-cxx.0.8.2
-> installed bitwuzla-cxx.0.8.2
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config
=== STDERR ===
2026-09-04 16:48.49: OK: build bitwuzla-cxx.0.8.2 (runc: 459.3s, disk: 78KB)
2026-09-04 16:48.49: Job succeeded