Build:
- 0
2026-06-24 11:28.34: New job: build bitwuzla-cxx.0.8.2 (be4ca85e2c87)
2026-06-24 11:28.34: Waiting for resource in pool day11-builds
2026-06-24 12:18.16: Got resource from pool day11-builds
2026-06-24 12:18.16: [profile full] build bitwuzla-cxx.0.8.2
2026-06-24 12:18.16: build bitwuzla-cxx.0.8.2 (be4ca85e2c87)
=== DEPENDENCIES (14 transitive) ===
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
compiler-cloning.enabled 439a1fc77aa6
conf-g++.1.0 6045961550b9
conf-gcc.1.0 77cee661efa8
conf-git.1.1 3856313df990
conf-gmp.5 be11edf77089
conf-pkg-config.5 d5de2c6a88f9
dune.3.23.1 a59dd9b14fe3
ocaml.5.5.0 383268832c4b
ocaml-base-compiler.5.5.0 522c248944c8
ocaml-compiler.5.5.0 eb1a8babf54c
ocamlfind.1.9.8 b506a15fcd6c
zarith.1.14 c48bd7ff5430
=== 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 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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/clauseallocator.h:27,
- from src/clauseallocator.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/solvertypes.h:27,
- from src/solutionextender.h:26,
- from src/solutionextender.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/solvertypes.h:27,
- from src/sls.h:26,
- from src/sls.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/bits/refwrap.h:39,
- from /usr/include/c++/12/vector:66,
- from src/str_impl_w_impl.h:26,
- from src/str_impl_w_impl.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/bits/refwrap.h:39,
- from /usr/include/c++/12/vector:66,
- from src/vardistgen.h:23,
- from src/vardistgen.cpp:24:
- /usr/include/c++/12/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++/12/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 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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/bits/locale_classes.h:40,
- from /usr/include/c++/12/bits/ios_base.h:41,
- from /usr/include/c++/12/ios:42,
- from /usr/include/c++/12/ostream:38,
- from /usr/include/c++/12/iostream:39,
- from src/sccfinder.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/solver.h:25:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/bits/refwrap.h:39,
- from /usr/include/c++/12/vector:66,
- from src/subsumeimplicit.h:26,
- from src/subsumeimplicit.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/bits/refwrap.h:39,
- from /usr/include/c++/12/vector:66,
- from src/distillerlongwithimpl.h:26,
- from src/distillerlongwithimpl.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/completedetachreattacher.h:26,
- from src/completedetachreattacher.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/get_clause_query.h:25,
- from src/get_clause_query.cpp:25:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/solvertypes.h:27,
- from src/datasync.h:26,
- from src/datasync.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/bits/locale_classes.h:40,
- from /usr/include/c++/12/bits/ios_base.h:41,
- from /usr/include/c++/12/iomanip:40,
- from src/distillerbin.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/clauseallocator.h:27,
- from src/reducedb.h:26,
- from src/reducedb.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/bits/refwrap.h:39,
- from /usr/include/c++/12/vector:66,
- from src/distillerlitrem.h:26,
- from src/distillerlitrem.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/time_mem.h:26:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/cardfinder.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/cloffset.h:26,
- from src/intree.h:23,
- from src/intree.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/solvertypes.h:27,
- from src/gatefinder.h:26,
- from src/gatefinder.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/bits/refwrap.h:39,
- from /usr/include/c++/12/vector:66,
- from src/distillerlong.h:26,
- from src/distillerlong.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/clausecleaner.h:26,
- from src/clausecleaner.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/bits/locale_classes.h:40,
- from /usr/include/c++/12/bits/ios_base.h:41,
- from /usr/include/c++/12/iomanip:40,
- from src/gaussian.cpp:31:
- /usr/include/c++/12/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++/12/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 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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/bits/refwrap.h:39,
- from /usr/include/c++/12/deque:65,
- from /usr/include/c++/12/stack:60,
- from src/propengine.h:28,
- from src/propengine.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/cloffset.h:26,
- from src/subsumestrengthen.h:26,
- from src/subsumestrengthen.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/bits/locale_classes.h:40,
- from /usr/include/c++/12/bits/ios_base.h:41,
- from /usr/include/c++/12/ios:42,
- from /usr/include/c++/12/ostream:38,
- from /usr/include/c++/12/iostream:39,
- from src/heap.h:24,
- from src/bva.h:26,
- from src/bva.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/cryptominisat.cpp:23:
- /usr/include/c++/12/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++/12/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 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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/bits/refwrap.h:39,
- from /usr/include/c++/12/vector:66,
- from src/xorfinder.h:27,
- from src/xorfinder.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/bits/refwrap.h:39,
- from /usr/include/c++/12/vector:66,
- from src/matrixfinder.h:26,
- from src/matrixfinder.cpp:23:
- /usr/include/c++/12/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++/12/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 -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 18446744071562067969 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 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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/cnf.h:27,
- from src/cnf.cpp:23:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/bits/stl_tree.h:65,
- from /usr/include/c++/12/map:60,
- from src/varreplacer.h:25,
- from src/varreplacer.cpp:23:
- /usr/include/c++/12/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++/12/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 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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/searcher.h:28:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/solver.h:25:
- /usr/include/c++/12/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++/12/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++/12/bits/stl_function.h:1438,
- from /usr/include/c++/12/string:48,
- from /usr/include/c++/12/random:40,
- from src/constants.h:29,
- from src/occsimplifier.cpp:23:
- /usr/include/c++/12/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++/12/backward/binders.h:136:5: note: declared here
- 136 | bind1st(const _Operation& __fn, const _Tp& __x)
- | ^~~~~~~
- In file included from src/occsimplifier.cpp:38:
- In copy constructor 'CMSat::OccSimplifier::Tri::Tri(const CMSat::OccSimplifier::Tri&)',
- inlined from 'void std::__new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = CMSat::OccSimplifier::Tri; _Args = {const CMSat::OccSimplifier::Tri&}; _Tp = CMSat::OccSimplifier::Tri]' at /usr/include/c++/12/bits/new_allocator.h:175:4,
- inlined from 'static void std::allocator_traits<std::allocator<_CharT> >::construct(allocator_type&, _Up*, _Args&& ...) [with _Up = CMSat::OccSimplifier::Tri; _Args = {const CMSat::OccSimplifier::Tri&}; _Tp = CMSat::OccSimplifier::Tri]' at /usr/include/c++/12/bits/alloc_traits.h:516:17,
- inlined from 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = CMSat::OccSimplifier::Tri; _Alloc = std::allocator<CMSat::OccSimplifier::Tri>]' at /usr/include/c++/12/bits/stl_vector.h:1281:30,
- inlined from 'void CMSat::OccSimplifier::check_ternary_cl(CMSat::Clause*, CMSat::ClOffset, CMSat::watch_subarray)' at src/occsimplifier.cpp:2706:48:
- src/occsimplifier.h:336:19: warning: writing 12 bytes into a region of size 4 [-Wstringop-overflow=]
- 336 | memcpy(lits, other.lits, sizeof(Lit)*3);
- | ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from src/solverconf.h:30,
- from src/clause.h:34,
- from src/occsimplifier.h:37:
- src/solvertypesmini.h: In member function 'void CMSat::OccSimplifier::check_ternary_cl(CMSat::Clause*, CMSat::ClOffset, CMSat::watch_subarray)':
- src/solvertypesmini.h:42:14: note: destination object 'CMSat::Lit::x' of size 4
- 42 | uint32_t 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-06-24 12:38.33: OK: build bitwuzla-cxx.0.8.2 (runc: 619.9s, disk: 76KB)
2026-06-24 12:43.25: Job succeeded