Build:
- 0
2026-07-24 10:52.18: New job: build bitwuzla-cxx.0.4.0 (87de2e2fe3b3)
2026-07-24 10:52.18: Waiting for resource in pool day11-builds
2026-07-24 11:12.05: Got resource from pool day11-builds
2026-07-24 11:12.05: [profile full] build bitwuzla-cxx.0.4.0
2026-07-24 11:12.05: build bitwuzla-cxx.0.4.0 (87de2e2fe3b3)
=== DEPENDENCIES (14 transitive) ===
base-threads.base afe16a8e71c3
base-unix.base 73c0a5fdd34a
compiler-cloning.enabled 22a431860256
conf-g++.1.0 c249686a4f8c
conf-gcc.1.0 2c0a2d801a00
conf-git.1.1 0d0ba4e4d5f7
conf-gmp.5 be8168159001
conf-pkg-config.5 2c611009363a
dune.3.24.1 0d2a3ba8bfb9
ocaml.5.5.0 af24caade1d3
ocaml-base-compiler.5.5.0 5f93989ce6d7
ocaml-compiler.5.5.0 15edcf5138e5
ocamlfind.1.9.8 86ca4a7260d8
zarith.1.14 5911ceb2c01d
=== STDOUT ===
Processing: [default: loading data]
[bitwuzla-cxx.0.4.0: dl]
[bitwuzla-cxx.0.4.0: extract]
-> retrieved bitwuzla-cxx.0.4.0 (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.4.0)
- (cd _build/default/vendor && /usr/bin/patch -p1 --directory bitwuzla) < _build/default/vendor/patch/0001-api-Add-hook-for-ocaml-z-value.patch
- File include/bitwuzla/cpp/bitwuzla.h is read-only; trying to patch anyway
- patching file include/bitwuzla/cpp/bitwuzla.h
- Hunk #1 succeeded at 767 (offset 51 lines).
- File src/lib/bv/bitvector.h is read-only; trying to patch anyway
- patching file src/lib/bv/bitvector.h
- Hunk #1 succeeded at 287 (offset 9 lines).
- (cd _build/default/vendor/cadical && /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++11 -DNDEBUG -DNBUILD -g -I /home/opam/.opam/default/lib/ocaml -I src -o decompose.o -c src/decompose.cpp)
- src/decompose.cpp: In member function 'bool CaDiCaL::Internal::decompose_round()':
- src/decompose.cpp:573:22: warning: array subscript 2 is above array bounds of 'int [2]' [-Warray-bounds=]
- 573 | c->literals[l] = clause[l];
- | ~~~~~~~~~~~~~^
- In file included from src/internal.hpp:54,
- from src/decompose.cpp:1:
- src/clause.hpp:86:9: note: while referencing 'CaDiCaL::Clause::<unnamed union>::literals'
- 86 | int literals[2]; // Of variadic 'size' (shrunken if strengthened).
- | ^~~~~~~~
- File "vendor/dune", line 20, characters 4-15:
- 20 | aig_manager
- ^^^^^^^^^^^
- (cd _build/default/vendor/bitwuzla/src/lib && /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. -DNDEBUG -g -I /home/opam/.opam/default/lib/ocaml -I bitblast -I bv -I ls -I rng -I util -o aig_manager.o -c bitblast/aig/aig_manager.cpp)
- bitblast/aig/aig_manager.cpp: In member function 'size_t bzla::bitblast::AigNodeUniqueTable::hash(const bzla::bitblast::AigNode&, const bzla::bitblast::AigNode&)':
- bitblast/aig/aig_manager.cpp:93:41: error: 'abs' is not a member of 'std'
- 93 | size_t lhs = static_cast<size_t>(std::abs(left.get_id()));
- | ^~~
- bitblast/aig/aig_manager.cpp:94:41: error: 'abs' is not a member of 'std'
- 94 | size_t rhs = static_cast<size_t>(std::abs(right.get_id()));
- | ^~~
- bitblast/aig/aig_manager.cpp: In member function 'bzla::bitblast::AigNode bzla::bitblast::AigManager::rewrite_and(const bzla::bitblast::AigNode&, const bzla::bitblast::AigNode&)':
- bitblast/aig/aig_manager.cpp:395:12: error: 'abs' is not a member of 'std'
- 395 | if (std::abs(left) > std::abs(right))
- | ^~~
- bitblast/aig/aig_manager.cpp:395:29: error: 'abs' is not a member of 'std'
- 395 | if (std::abs(left) > std::abs(right))
- | ^~~
- bitblast/aig/aig_manager.cpp: In member function 'bzla::bitblast::AigNode bzla::bitblast::AigManager::get_node(int64_t)':
- bitblast/aig/aig_manager.cpp:409:35: error: 'abs' is not a member of 'std'
- 409 | return AigNode(d_node_data[std::abs(id) - 1].get(), id < 0);
- | ^~~
- bitblast/aig/aig_manager.cpp: In member function 'std::pair<long int, long int> bzla::bitblast::AigManager::get_children(int64_t) const':
- bitblast/aig/aig_manager.cpp:416:36: error: 'abs' is not a member of 'std'
- 416 | const auto& d = d_node_data[std::abs(id) - 1];
- | ^~~
- bitblast/aig/aig_manager.cpp:417:50: error: could not convert '{<expression error>, <expression error>}' from '<brace-enclosed initializer list>' to 'std::pair<long int, long int>'
- 417 | return {d->d_left.get_id(), d->d_right.get_id()};
- | ^
- | |
- | <brace-enclosed initializer list>
- File "vendor/dune", line 19, characters 4-11:
- 19 | aig_cnf
- ^^^^^^^
- (cd _build/default/vendor/bitwuzla/src/lib && /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. -DNDEBUG -g -I /home/opam/.opam/default/lib/ocaml -I bitblast -I bv -I ls -I rng -I util -o aig_cnf.o -c bitblast/aig/aig_cnf.cpp)
- bitblast/aig/aig_cnf.cpp: In member function 'int32_t bzla::bitblast::AigCnfEncoder::value(const bzla::bitblast::AigNode&)':
- bitblast/aig/aig_cnf.cpp:78:35: error: 'abs' is not a member of 'std'
- 78 | val = d_sat_solver.value(std::abs(aig.get_id())) ? 1 : -1;
- | ^~~
- bitblast/aig/aig_cnf.cpp: In member function 'void bzla::bitblast::AigCnfEncoder::_encode(const bzla::bitblast::AigNode&)':
- bitblast/aig/aig_cnf.cpp:202:39: error: 'abs' is not a member of 'std'
- 202 | d_sat_solver.add_clause({std::abs(cur->get_id())});
- | ^~~
- bitblast/aig/aig_cnf.cpp:202:32: error: cannot convert '<brace-enclosed initializer list>' to 'const std::initializer_list<long int>&'
- 202 | d_sat_solver.add_clause({std::abs(cur->get_id())});
- | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
- In file included from bitblast/aig/aig_cnf.cpp:11:
- ./bitblast/aig/aig_cnf.h:33:65: note: initializing argument 1 of 'virtual void bzla::bitblast::SatInterface::add_clause(const std::initializer_list<long int>&)'
- 33 | virtual void add_clause(const std::initializer_list<int64_t>& literals) = 0;
- | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
- bitblast/aig/aig_cnf.cpp:239:25: error: 'abs' is not a member of 'std'
- 239 | auto x = std::abs(cur->get_id());
- | ^~~
- bitblast/aig/aig_cnf.cpp:244:34: error: cannot convert '<brace-enclosed initializer list>' to 'const std::initializer_list<long int>&'
- 244 | d_sat_solver.add_clause({-x, -c, a});
- | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~
- ./bitblast/aig/aig_cnf.h:33:65: note: initializing argument 1 of 'virtual void bzla::bitblast::SatInterface::add_clause(const std::initializer_list<long int>&)'
- 33 | virtual void add_clause(const std::initializer_list<int64_t>& literals) = 0;
- | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
- bitblast/aig/aig_cnf.cpp:245:34: error: cannot convert '<brace-enclosed initializer list>' to 'const std::initializer_list<long int>&'
- 245 | d_sat_solver.add_clause({-x, c, b});
- | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
- ./bitblast/aig/aig_cnf.h:33:65: note: initializing argument 1 of 'virtual void bzla::bitblast::SatInterface::add_clause(const std::initializer_list<long int>&)'
- 33 | virtual void add_clause(const std::initializer_list<int64_t>& literals) = 0;
- | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
- bitblast/aig/aig_cnf.cpp:246:34: error: cannot convert '<brace-enclosed initializer list>' to 'const std::initializer_list<long int>&'
- 246 | d_sat_solver.add_clause({x, -c, -a});
- | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~
- ./bitblast/aig/aig_cnf.h:33:65: note: initializing argument 1 of 'virtual void bzla::bitblast::SatInterface::add_clause(const std::initializer_list<long int>&)'
- 33 | virtual void add_clause(const std::initializer_list<int64_t>& literals) = 0;
- | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
- bitblast/aig/aig_cnf.cpp:247:34: error: cannot convert '<brace-enclosed initializer list>' to 'const std::initializer_list<long int>&'
- 247 | d_sat_solver.add_clause({x, c, -b});
- | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
- ./bitblast/aig/aig_cnf.h:33:65: note: initializing argument 1 of 'virtual void bzla::bitblast::SatInterface::add_clause(const std::initializer_list<long int>&)'
- 33 | virtual void add_clause(const std::initializer_list<int64_t>& literals) = 0;
- | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
- bitblast/aig/aig_cnf.cpp:257:25: error: 'abs' is not a member of 'std'
- 257 | auto x = std::abs(cur->get_id());
- | ^~~
- bitblast/aig/aig_cnf.cpp:261:34: error: cannot convert '<brace-enclosed initializer list>' to 'const std::initializer_list<long int>&'
- 261 | d_sat_solver.add_clause({-x, a});
- | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~
- ./bitblast/aig/aig_cnf.h:33:65: note: initializing argument 1 of 'virtual void bzla::bitblast::SatInterface::add_clause(const std::initializer_list<long int>&)'
- 33 | virtual void add_clause(const std::initializer_list<int64_t>& literals) = 0;
- | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
- bitblast/aig/aig_cnf.cpp:262:34: error: cannot convert '<brace-enclosed initializer list>' to 'const std::initializer_list<long int>&'
- 262 | d_sat_solver.add_clause({-x, b});
- | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~
- ./bitblast/aig/aig_cnf.h:33:65: note: initializing argument 1 of 'virtual void bzla::bitblast::SatInterface::add_clause(const std::initializer_list<long int>&)'
- 33 | virtual void add_clause(const std::initializer_list<int64_t>& literals) = 0;
- | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
- bitblast/aig/aig_cnf.cpp:263:34: error: cannot convert '<brace-enclosed initializer list>' to 'const std::initializer_list<long int>&'
- 263 | d_sat_solver.add_clause({x, -a, -b});
- | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~
- ./bitblast/aig/aig_cnf.h:33:65: note: initializing argument 1 of 'virtual void bzla::bitblast::SatInterface::add_clause(const std::initializer_list<long int>&)'
- 33 | virtual void add_clause(const std::initializer_list<int64_t>& literals) = 0;
- | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
- bitblast/aig/aig_cnf.cpp: In member function 'void bzla::bitblast::AigCnfEncoder::resize(const bzla::bitblast::AigNode&)':
- bitblast/aig/aig_cnf.cpp:275:41: error: 'abs' is not a member of 'std'
- 275 | size_t pos = static_cast<size_t>(std::abs(aig.get_id()) - 1);
- | ^~~
- bitblast/aig/aig_cnf.cpp: In member function 'bool bzla::bitblast::AigCnfEncoder::is_encoded(const bzla::bitblast::AigNode&) const':
- bitblast/aig/aig_cnf.cpp:286:41: error: 'abs' is not a member of 'std'
- 286 | size_t pos = static_cast<size_t>(std::abs(aig.get_id()) - 1);
- | ^~~
- bitblast/aig/aig_cnf.cpp: In member function 'void bzla::bitblast::AigCnfEncoder::set_encoded(const bzla::bitblast::AigNode&)':
- bitblast/aig/aig_cnf.cpp:297:41: error: 'abs' is not a member of 'std'
- 297 | size_t pos = static_cast<size_t>(std::abs(aig.get_id()) - 1);
- | ^~~
- File "api/dune", line 15, characters 9-26:
- 15 | (names build_enum_option)
- ^^^^^^^^^^^^^^^^^
- (cd _build/default/api && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -std=c++17 -I/opt/homebrew/include -g -I /home/opam/.opam/default/lib/ocaml -I ../vendor/bitwuzla/include -o build_enum_option.o -c build_enum_option.cpp)
- build_enum_option.cpp: In function 'std::string lng_to_vn(std::string)':
- build_enum_option.cpp:24:8: error: 'replace' is not a member of 'std'
- 24 | std::replace(vn.begin(), vn.end(), '-', '_');
- | ^~~~~~~
- build_enum_option.cpp: In function 'void build_enum_option()':
- build_enum_option.cpp:105:14: error: 'sort' is not a member of 'std'; did you mean 'qsort'?
- 105 | std::sort(modes.begin(), modes.end());
- | ^~~~
- | qsort
- (cd _build/default/api && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -std=c++17 -I/opt/homebrew/include -g -I /home/opam/.opam/default/lib/ocaml -I ../vendor/bitwuzla/include -o build_enum_rounding_mode.o -c build_enum_rounding_mode.cpp)
- build_enum_rounding_mode.cpp: In function 'void build_enum_rounding_mode()':
- build_enum_rounding_mode.cpp:34:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::__cxx11::basic_string<char>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
- 34 | for (int j = 1; j < name.length(); j += 1)
- | ~~^~~~~~~~~~~~~~~
- (cd _build/default/api && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -std=c++17 -I/opt/homebrew/include -g -I /home/opam/.opam/default/lib/ocaml -I ../vendor/bitwuzla/include -o build_enum_kind.o -c build_enum_kind.cpp)
- build_enum_kind.cpp: In function 'void build_enum_kind()':
- build_enum_kind.cpp:31:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::__cxx11::basic_string<char>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
- 31 | for (int j = 1; j < name.length(); j += 1)
- | ~~^~~~~~~~~~~~~~~
[ERROR] The compilation of bitwuzla-cxx.0.4.0 failed at "dune build -p bitwuzla-cxx -j 39 @install".
build failed...
=== STDERR ===
2026-07-24 11:15.51: FAILED: build bitwuzla-cxx.0.4.0
2026-07-24 11:15.51: Job failed: build failed: bitwuzla-cxx.0.4.0