2026-06-20 15:54.14: New job: build bitwuzla-bin.0.0.0 (bf05bbcae485)
2026-06-20 15:54.14: Waiting for resource in pool day11-builds
2026-06-20 16:08.54: Got resource from pool day11-builds
2026-06-20 16:08.54: [profile full] build bitwuzla-bin.0.0.0
2026-06-20 16:08.54: build bitwuzla-bin.0.0.0 (bf05bbcae485)
=== DEPENDENCIES (12 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  compiler-cloning.enabled                           0d2606125f88
  conf-cmake.1                                       28c4f93a74da
  conf-g++.1.0                                       3a490f76fc1d
  conf-gcc.1.0                                       dd4c5e537e37
  conf-git.1.1                                       e1088d45da8b
  conf-gmp.5                                         61e3c79e0ddf
  dune.3.23.1                                        dbfeecb5ca10
  ocaml.5.5.0                                        1b4132bddf48
  ocaml-base-compiler.5.5.0                          1901c3a760c1
  ocaml-compiler.5.5.0                               5f593a0b4a8c
=== STDOUT ===
Processing: [default: loading data]
[bitwuzla-bin.0.0.0: dl]
[bitwuzla-bin.0.0.0: extract]
-> retrieved bitwuzla-bin.0.0.0  (https://opam.ocaml.org/cache)
[bitwuzla-bin: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "bitwuzla-bin" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/bitwuzla-bin.0.0.0)
- (cd _build/default/vendor/btor2tools && ./configure.sh -fPIC)
- gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG
- makefile generated
- (cd _build/default/vendor/cadical && ./configure -fPIC)
- configure: making default 'build' directory
- configure: building in default '/home/opam/.opam/default/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical/build'
- configure: root directory '/home/opam/.opam/default/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical'
- configure: compiler supports all required C99/C++0x extensions
- configure: unlocked IO with '{putc,getc}_unlocked' seems to work
- configure: compiling with 'g++ -Wall -Wextra -O3 -DNDEBUG -fPIC'
- configure: generated 'build/makefile' from '../makefile.in'
- configure: generated '../makefile' as proxy to ...
- configure: ... '/home/opam/.opam/default/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical/build/makefile'
- configure: now run 'make' to compile CaDiCaL
- configure: optionally run 'make test'
- (cd _build/default/vendor/btor2tools && /usr/bin/make)
- mkdir -p build
- mkdir -p bin
- gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o build/btor2parser.o -c src/btor2parser/btor2parser.c -Isrc
- ar rc build/libbtor2parser.a build/btor2parser.o
- ranlib build/libbtor2parser.a
- gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o build/catbtor.o -c src/catbtor.c -Isrc
- gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o bin/catbtor build/catbtor.o -Lbuild -lbtor2parser
- gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o build/btorsimrng.o -c src/btorsim/btorsimrng.c -Isrc/btorsim
- gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o build/btorsimbv.o -c src/btorsim/btorsimbv.c -Isrc
- gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o build/btorsim.o -c src/btorsim/btorsim.c -Ibtorsim -Isrc
- gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o bin/btorsim build/btorsim.o build/btorsimbv.o build/btorsimrng.o -Lbuild -lbtor2parser
[ERROR] The compilation of bitwuzla-bin.0.0.0 failed at "dune build -p bitwuzla-bin -j 39 @install".
- File "dune", lines 83-95, characters 0-389:
- 83 | (rule
- 84 |  (deps
- 85 |   (file vendor/cadical/VERSION)
- ....
- 93 |    (progn
- 94 |     (chdir vendor/cadical (progn (run ./configure -fPIC) (run make)))
- 95 |     (copy vendor/cadical/build/libcadical.a %{targets})))))
- (cd _build/default/vendor/cadical && /usr/bin/make)
- /usr/bin/make -C "/home/opam/.opam/default/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical/build"
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical/build'
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/analyze.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/arena.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/assume.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/averages.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/backtrack.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/backward.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/bins.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/block.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/ccadical.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/checker.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/clause.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/collect.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/compact.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/condition.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/config.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/contract.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/cover.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/decide.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/decompose.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/deduplicate.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/elim.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/ema.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/extend.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/external.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/file.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/flags.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/format.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/gates.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/instantiate.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/internal.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/ipasir.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/limit.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/logging.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/lookahead.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/lucky.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/message.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/minimize.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/occs.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/options.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/parse.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/phases.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/probe.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/profile.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/proof.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/propagate.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/queue.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/random.cpp
- g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/reap.cpp
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical/build'
- In file included from ../src/lookahead.cpp:1:
- In constructor 'CaDiCaL::CubesWithStatus::CubesWithStatus(CaDiCaL::CubesWithStatus&&)',
-     inlined from 'CaDiCaL::CubesWithStatus CaDiCaL::Internal::generate_cubes(int, int)' at ../src/lookahead.cpp:391:12:
- ../src/internal.hpp:100:8: warning: 'cubes.CaDiCaL::CubesWithStatus::status' may be used uninitialized [-Wmaybe-uninitialized]
-   100 | struct CubesWithStatus {
-       |        ^~~~~~~~~~~~~~~
- ../src/lookahead.cpp: In member function 'CaDiCaL::CubesWithStatus CaDiCaL::Internal::generate_cubes(int, int)':
- ../src/lookahead.cpp:389:21: note: 'cubes' declared here
-   389 |     CubesWithStatus cubes;
-       |                     ^~~~~
- In file included from ../src/reap.cpp:1:
- ../src/reap.hpp:15:10: error: 'size_t' does not name a type
-    15 |   inline size_t size() {
-       |          ^~~~~~
- ../src/reap.hpp:5:1: note: 'size_t' is defined in header '<cstddef>'; did you forget to '#include <cstddef>'?
-     4 | #include <vector>
-   +++ |+#include <cstddef>
-     5 | 
- ../src/reap.hpp:23:3: error: 'size_t' does not name a type
-    23 |   size_t num_elements;
-       |   ^~~~~~
- ../src/reap.hpp:23:3: note: 'size_t' is defined in header '<cstddef>'; did you forget to '#include <cstddef>'?
- ../src/reap.hpp: In member function 'bool Reap::empty()':
- ../src/reap.hpp:12:13: error: 'num_elements' was not declared in this scope
-    12 |     return !num_elements;
-       |             ^~~~~~~~~~~~
- ../src/reap.cpp: In member function 'void Reap::release()':
- ../src/reap.cpp:16:3: error: 'num_elements' was not declared in this scope
-    16 |   num_elements = 0;
-       |   ^~~~~~~~~~~~
- ../src/reap.cpp: In constructor 'Reap::Reap()':
- ../src/reap.cpp:23:3: error: 'num_elements' was not declared in this scope
-    23 |   num_elements = 0;
-       |   ^~~~~~~~~~~~
- ../src/reap.cpp: In member function 'void Reap::push(unsigned int)':
- ../src/reap.cpp:45:3: error: 'num_elements' was not declared in this scope
-    45 |   num_elements++;
-       |   ^~~~~~~~~~~~
- ../src/reap.cpp: In member function 'unsigned int Reap::pop()':
- ../src/reap.cpp:113:7: error: 'num_elements' was not declared in this scope
-   113 |     --num_elements;
-       |       ^~~~~~~~~~~~
- ../src/reap.cpp: In member function 'void Reap::clear()':
- ../src/reap.cpp:126:3: error: 'num_elements' was not declared in this scope
-   126 |   num_elements = 0;
-       |   ^~~~~~~~~~~~
- make[1]: *** [makefile:34: reap.o] Error 1
- make: *** [makefile:3: all] Error 2
build failed... 

=== STDERR ===

2026-06-20 16:11.29: FAILED: build bitwuzla-bin.0.0.0
2026-06-20 16:11.29: Job failed: build failed: bitwuzla-bin.0.0.0