2026-07-31 00:26.29: New job: build cvc5.1.1.3~unreleased (bd3b0dd12515)
2026-07-31 00:26.29: Waiting for resource in pool day11-builds
2026-07-31 11:30.29: Got resource from pool day11-builds
2026-07-31 11:30.29: [profile full] build cvc5.1.1.3~unreleased
2026-07-31 11:30.29: build cvc5.1.1.3~unreleased (bd3b0dd12515)
=== DEPENDENCIES (15 transitive) ===
  base-threads.base                                  afe16a8e71c3
  base-unix.base                                     73c0a5fdd34a
  compiler-cloning.enabled                           22a431860256
  conf-cmake.1                                       5cf7da35ec4d
  conf-g++.1.0                                       c249686a4f8c
  conf-gcc.1.0                                       2c0a2d801a00
  conf-gmp.5                                         be8168159001
  conf-python-3.9.0.0                                10e92bdeecd9
  conf-python-3-dev.1                                45c0502fee82
  conf-python3-pyparsing.1                           a55c6b63bb5d
  conf-python3-tomli.1                               1d2633443342
  dune.3.24.1                                        0d2a3ba8bfb9
  ocaml.5.5.0                                        af24caade1d3
  ocaml-base-compiler.5.5.0                          5f93989ce6d7
  ocaml-compiler.5.5.0                               15edcf5138e5
=== STDOUT ===
Processing: [default: loading data]
[cvc5.1.1.3~unreleased: dl]
[cvc5.1.1.3~unreleased: extract]
-> retrieved cvc5.1.1.3~unreleased  (https://opam.ocaml.org/cache)
[cvc5: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "cvc5" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased)
- (cd _build/default/vendor/cadical && /usr/bin/bash -e -u -o pipefail -c ./configure)
- configure: making default 'build' directory
- configure: building in default '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build'
- configure: root directory '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical'
- configure: source directory '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src'
- configure: compiler supports all required C99/C++11 extensions
- configure: compiler configuration supports flexible array members
- configure: unlocked IO with '{putc,getc}_unlocked' seems to work
- configure: compiling with 'g++ -Wall -Wextra -O3 -DNDEBUG'
- configure: generated 'build/makefile' from '../makefile.in'
- configure: generated '../makefile' as proxy to ...
- configure: ... '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build/makefile'
- configure: linking '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/makefile'
- configure: now run 'make' to compile CaDiCaL
- configure: optionally run 'make test'
- (cd _build/default/vendor/cadical && /usr/bin/bash -e -u -o pipefail -c 'make -j $(opam var jobs)')
- make -C "/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build"
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build'
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/analyze.cpp -o src/analyze.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/arena.cpp -o src/arena.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/assume.cpp -o src/assume.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/averages.cpp -o src/averages.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/backtrack.cpp -o src/backtrack.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/backward.cpp -o src/backward.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/bins.cpp -o src/bins.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/block.cpp -o src/block.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/ccadical.cpp -o src/ccadical.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/checker.cpp -o src/checker.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/clause.cpp -o src/clause.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/collect.cpp -o src/collect.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/compact.cpp -o src/compact.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/condition.cpp -o src/condition.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/config.cpp -o src/config.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/constrain.cpp -o src/constrain.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/contract.cpp -o src/contract.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/cover.cpp -o src/cover.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/decide.cpp -o src/decide.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/decompose.cpp -o src/decompose.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/deduplicate.cpp -o src/deduplicate.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/drattracer.cpp -o src/drattracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/elim.cpp -o src/elim.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/ema.cpp -o src/ema.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/extend.cpp -o src/extend.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/external.cpp -o src/external.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/external_propagate.cpp -o src/external_propagate.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/file.cpp -o src/file.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/flags.cpp -o src/flags.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/flip.cpp -o src/flip.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/format.cpp -o src/format.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/frattracer.cpp -o src/frattracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/gates.cpp -o src/gates.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/idruptracer.cpp -o src/idruptracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/instantiate.cpp -o src/instantiate.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/internal.cpp -o src/internal.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/ipasir.cpp -o src/ipasir.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lidruptracer.cpp -o src/lidruptracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/limit.cpp -o src/limit.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/logging.cpp -o src/logging.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lookahead.cpp -o src/lookahead.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lratbuilder.cpp -o src/lratbuilder.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lratchecker.cpp -o src/lratchecker.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lrattracer.cpp -o src/lrattracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lucky.cpp -o src/lucky.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/message.cpp -o src/message.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/minimize.cpp -o src/minimize.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/occs.cpp -o src/occs.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/options.cpp -o src/options.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/parse.cpp -o src/parse.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/phases.cpp -o src/phases.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/probe.cpp -o src/probe.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/profile.cpp -o src/profile.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/proof.cpp -o src/proof.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/propagate.cpp -o src/propagate.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/queue.cpp -o src/queue.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/random.cpp -o src/random.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/reap.cpp -o src/reap.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/reduce.cpp -o src/reduce.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/rephase.cpp -o src/rephase.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/report.cpp -o src/report.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/resources.cpp -o src/resources.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/restart.cpp -o src/restart.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/restore.cpp -o src/restore.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/score.cpp -o src/score.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/shrink.cpp -o src/shrink.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/signal.cpp -o src/signal.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/solution.cpp -o src/solution.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/solver.cpp -o src/solver.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/stats.cpp -o src/stats.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/subsume.cpp -o src/subsume.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/terminal.cpp -o src/terminal.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/ternary.cpp -o src/ternary.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/transred.cpp -o src/transred.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/util.cpp -o src/util.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/var.cpp -o src/var.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/veripbtracer.cpp -o src/veripbtracer.o
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/scripts/make-build-header.sh > build.hpp
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/vivify.cpp -o src/vivify.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/walk.cpp -o src/walk.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/watch.cpp -o src/watch.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/contrib/craigtracer.cpp -o contrib/craigtracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/cadical.cpp -o src/cadical.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/mobical.cpp -o src/mobical.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/version.cpp -o src/version.o
- ar rc libcadical.a src/analyze.o src/arena.o src/assume.o src/averages.o src/backtrack.o src/backward.o src/bins.o src/block.o src/ccadical.o src/checker.o src/clause.o src/collect.o src/compact.o src/condition.o src/config.o src/constrain.o src/contract.o src/cover.o src/decide.o src/decompose.o src/deduplicate.o src/drattracer.o src/elim.o src/ema.o src/extend.o src/external.o src/external_propagate.o src/file.o src/flags.o src/flip.o src/format.o src/frattracer.o src/gates.o src/idruptracer.o src/instantiate.o src/internal.o src/ipasir.o src/lidruptracer.o src/limit.o src/logging.o src/lookahead.o src/lratbuilder.o src/lratchecker.o src/lrattracer.o src/lucky.o src/message.o src/minimize.o src/occs.o src/options.o src/parse.o src/phases.o src/probe.o src/profile.o src/proof.o src/propagate.o src/queue.o src/random.o src/reap.o src/reduce.o src/rephase.o src/report.o src/resources.o src/restart.o src/restore.o src/score.o src/shrink.o src/signal.o src/solution.o src/solver.o src/stats.o src/subsume.o src/terminal.o src/ternary.o src/transred.o src/util.o src/var.o src/veripbtracer.o src/version.o src/vivify.o src/walk.o src/watch.o contrib/craigtracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -o cadical src/cadical.o -L. -lcadical 
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -o mobical src/mobical.o -L. -lcadical
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build'
- make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
- (cd _build/default/vendor/libpoly && /usr/bin/cmake -B build -DCMAKE_BUILD_TYPE=$type -DCMAKE_INSTALL_PREFIX=$prefix)
- -- The C compiler identification is GNU 14.2.0
- -- The CXX compiler identification is GNU 14.2.0
- -- Detecting C compiler ABI info
- -- Detecting C compiler ABI info - done
- -- Check for working C compiler: /usr/bin/cc - skipped
- -- Detecting C compile features
- -- Detecting C compile features - done
- -- Detecting CXX compiler ABI info
- -- Detecting CXX compiler ABI info - done
- -- Check for working CXX compiler: /usr/bin/c++ - skipped
- -- Detecting CXX compile features
- -- Detecting CXX compile features - done
- -- GMP headers: /usr/include/x86_64-linux-gnu
- -- GMP library: /usr/lib/x86_64-linux-gnu/libgmp.so
- -- Looking for open_memstream
- -- Looking for open_memstream - found
- -- Found PythonInterp: /usr/bin/python3 (found version "3.13.5")
- -- Found PythonLibs: /usr/lib/x86_64-linux-gnu/libpython3.13.so (found version "3.13.5")
- -- Configuring done (0.9s)
- -- Generating done (0.1s)
- -- Build files have been written to: /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/libpoly/build
- CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required):
-   Compatibility with CMake < 3.10 will be removed from a future version of
-   CMake.
- 
-   Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
-   to tell CMake that the project requires at least <min> but has been updated
-   to work with policies introduced by <max> or earlier.
- 
- 
- CMake Warning (dev) at CMakeLists.txt:72 (find_package):
-   Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules
-   are removed.  Run "cmake --help-policy CMP0148" for policy details.  Use
-   the cmake_policy command to set the policy and suppress this warning.
- 
- This warning is for project developers.  Use -Wno-dev to suppress it.
- 
- CMake Warning (dev) at python/CMakeLists.txt:16 (find_package):
-   Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules
-   are removed.  Run "cmake --help-policy CMP0148" for policy details.  Use
-   the cmake_policy command to set the policy and suppress this warning.
- 
- This warning is for project developers.  Use -Wno-dev to suppress it.
- 
- (cd _build/default/vendor/libpoly/build && /usr/bin/bash -e -u -o pipefail -c 'make -j $(opam var jobs)')
- [  1%] Building C object src/CMakeFiles/poly.dir/utils/assignment.c.o
- [  1%] Building C object src/CMakeFiles/poly.dir/utils/debug_trace.c.o
- [  1%] Building C object src/CMakeFiles/static_poly.dir/utils/debug_trace.c.o
- [  1%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/debug_trace.c.o
- [  2%] Building C object src/CMakeFiles/static_poly.dir/utils/assignment.c.o
- [  2%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/assignment.c.o
- [  3%] Building C object src/CMakeFiles/poly.dir/utils/statistics.c.o
- [  4%] Building C object src/CMakeFiles/static_poly.dir/utils/statistics.c.o
- [  4%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/statistics.c.o
- [  4%] Building C object src/CMakeFiles/poly.dir/utils/output.c.o
- [  4%] Building C object src/CMakeFiles/static_poly.dir/utils/output.c.o
- [  4%] Building C object src/CMakeFiles/static_poly.dir/utils/sign_condition.c.o
- [  6%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/output.c.o
- [  6%] Building C object src/CMakeFiles/poly.dir/utils/sign_condition.c.o
- [  6%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/sign_condition.c.o
- [  7%] Building C object src/CMakeFiles/static_poly.dir/utils/u_memstream.c.o
- [  7%] Building C object src/CMakeFiles/poly.dir/utils/u_memstream.c.o
- [  8%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/u_memstream.c.o
- [  8%] Building C object src/CMakeFiles/static_poly.dir/number/integer.c.o
- [  9%] Building C object src/CMakeFiles/poly.dir/number/integer.c.o
- [  9%] Building C object src/CMakeFiles/static_pic_poly.dir/number/integer.c.o
- [ 10%] Building C object src/CMakeFiles/static_poly.dir/number/rational.c.o
- [ 10%] Building C object src/CMakeFiles/poly.dir/number/rational.c.o
- [ 11%] Building C object src/CMakeFiles/static_pic_poly.dir/number/rational.c.o
- [ 11%] Building C object src/CMakeFiles/static_poly.dir/number/dyadic_rational.c.o
- [ 11%] Building C object src/CMakeFiles/static_pic_poly.dir/number/dyadic_rational.c.o
- [ 12%] Building C object src/CMakeFiles/poly.dir/number/dyadic_rational.c.o
- [ 13%] Building C object src/CMakeFiles/static_poly.dir/number/algebraic_number.c.o
- [ 13%] Building C object src/CMakeFiles/static_pic_poly.dir/number/algebraic_number.c.o
- [ 13%] Building C object src/CMakeFiles/poly.dir/number/algebraic_number.c.o
- [ 13%] Building C object src/CMakeFiles/static_poly.dir/number/value.c.o
- [ 14%] Building C object src/CMakeFiles/static_pic_poly.dir/number/value.c.o
- [ 15%] Building C object src/CMakeFiles/poly.dir/number/value.c.o
- [ 16%] Building C object src/CMakeFiles/static_poly.dir/interval/interval.c.o
- [ 16%] Building C object src/CMakeFiles/static_pic_poly.dir/interval/interval.c.o
- [ 16%] Building C object src/CMakeFiles/poly.dir/interval/interval.c.o
- [ 16%] Building C object src/CMakeFiles/static_poly.dir/interval/arithmetic.c.o
- [ 17%] Building C object src/CMakeFiles/static_pic_poly.dir/interval/arithmetic.c.o
- [ 18%] Building C object src/CMakeFiles/poly.dir/interval/arithmetic.c.o
- [ 18%] Building C object src/CMakeFiles/static_pic_poly.dir/variable/variable_db.c.o
- [ 19%] Building C object src/CMakeFiles/static_poly.dir/variable/variable_db.c.o
- [ 20%] Building C object src/CMakeFiles/poly.dir/variable/variable_list.c.o
- [ 20%] Building C object src/CMakeFiles/poly.dir/variable/variable_db.c.o
- [ 20%] Building C object src/CMakeFiles/static_pic_poly.dir/variable/variable_list.c.o
- [ 20%] Building C object src/CMakeFiles/static_poly.dir/variable/variable_list.c.o
- [ 21%] Building C object src/CMakeFiles/static_pic_poly.dir/variable/variable_order.c.o
- [ 21%] Building C object src/CMakeFiles/static_poly.dir/variable/variable_order.c.o
- [ 22%] Building C object src/CMakeFiles/poly.dir/variable/variable_order.c.o
- [ 23%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/umonomial.c.o
- [ 23%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/umonomial.c.o
- [ 23%] Building C object src/CMakeFiles/poly.dir/upolynomial/umonomial.c.o
- [ 23%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/upolynomial.c.o
- [ 23%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/upolynomial.c.o
- [ 24%] Building C object src/CMakeFiles/poly.dir/upolynomial/upolynomial.c.o
- [ 24%] Building C object src/CMakeFiles/poly.dir/upolynomial/output.c.o
- [ 25%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/output.c.o
- [ 26%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/output.c.o
- [ 27%] Building C object src/CMakeFiles/poly.dir/upolynomial/upolynomial_dense.c.o
- [ 27%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/upolynomial_dense.c.o
- [ 27%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/upolynomial_dense.c.o
- [ 27%] Building C object src/CMakeFiles/poly.dir/upolynomial/bounds.c.o
- [ 28%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/bounds.c.o
- [ 29%] Building C object src/CMakeFiles/poly.dir/upolynomial/gcd.c.o
- [ 30%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/bounds.c.o
- [ 30%] Building C object src/CMakeFiles/poly.dir/upolynomial/factors.c.o
- [ 30%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/gcd.c.o
- [ 30%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/gcd.c.o
- [ 30%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/factors.c.o
- [ 31%] Building C object src/CMakeFiles/poly.dir/upolynomial/factorization.c.o
- [ 32%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/factors.c.o
- [ 32%] Building C object src/CMakeFiles/poly.dir/upolynomial/root_finding.c.o
- [ 33%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/factorization.c.o
- [ 33%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/factorization.c.o
- [ 34%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/root_finding.c.o
- [ 35%] Building C object src/CMakeFiles/poly.dir/upolynomial/upolynomial_vector.c.o
- [ 35%] Building C object src/CMakeFiles/poly.dir/polynomial/monomial.c.o
- [ 35%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/root_finding.c.o
- [ 35%] Building C object src/CMakeFiles/poly.dir/polynomial/coefficient.c.o
- [ 35%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/upolynomial_vector.c.o
- [ 36%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/upolynomial_vector.c.o
- [ 37%] Building C object src/CMakeFiles/static_poly.dir/polynomial/monomial.c.o
- [ 37%] Building C object src/CMakeFiles/static_poly.dir/polynomial/coefficient.c.o
- [ 37%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/monomial.c.o
- [ 38%] Building C object src/CMakeFiles/poly.dir/polynomial/output.c.o
- [ 39%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/coefficient.c.o
- [ 40%] Building C object src/CMakeFiles/static_poly.dir/polynomial/output.c.o
- [ 40%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/output.c.o
- [ 40%] Building C object src/CMakeFiles/poly.dir/polynomial/gcd.c.o
- [ 40%] Building C object src/CMakeFiles/static_poly.dir/polynomial/gcd.c.o
- [ 41%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/gcd.c.o
- [ 42%] Building C object src/CMakeFiles/poly.dir/polynomial/subres.c.o
- [ 43%] Building C object src/CMakeFiles/static_poly.dir/polynomial/subres.c.o
- [ 43%] Building C object src/CMakeFiles/poly.dir/polynomial/factorization.c.o
- [ 43%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/subres.c.o
- [ 43%] Building C object src/CMakeFiles/static_poly.dir/polynomial/factorization.c.o
- [ 44%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial.c.o
- [ 45%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/factorization.c.o
- [ 45%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial.c.o
- [ 45%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_context.c.o
- [ 45%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial.c.o
- [ 46%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_context.c.o
- [ 47%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_context.c.o
- [ 48%] Building C object src/CMakeFiles/poly.dir/polynomial/feasibility_set.c.o
- [ 48%] Building C object src/CMakeFiles/static_poly.dir/polynomial/feasibility_set.c.o
- [ 48%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/feasibility_set.c.o
- [ 48%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_hash_set.c.o
- [ 49%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_hash_set.c.o
- [ 50%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_heap.c.o
- [ 51%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_hash_set.c.o
- [ 51%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_heap.c.o
- [ 51%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_vector.c.o
- [ 51%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_heap.c.o
- [ 52%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_vector.c.o
- [ 52%] Building C object src/CMakeFiles/static_poly.dir/poly.c.o
- [ 53%] Building C object src/CMakeFiles/poly.dir/poly.c.o
- [ 53%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_vector.c.o
- [ 54%] Building C object src/CMakeFiles/static_pic_poly.dir/poly.c.o
- [ 54%] Linking C shared library libpoly.so
- [ 55%] Linking C static library libpoly.a
- [ 55%] Linking C static library libpicpoly.a
- [ 55%] Built target poly
- [ 56%] Building C object python/CMakeFiles/polypy.dir/polypyAlgebraicNumber.c.o
- [ 56%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/algebraic_number.cpp.o
- [ 57%] Building C object python/CMakeFiles/polypy.dir/polypyAssignment.c.o
- [ 57%] Building C object python/CMakeFiles/polypy.dir/polypyInteger.c.o
- [ 58%] Building C object python/CMakeFiles/polypy.dir/polypyPolynomial.c.o
- [ 58%] Built target static_pic_poly
- [ 58%] Building C object python/CMakeFiles/polypy.dir/polypy.c.o
- [ 58%] Built target static_poly
- [ 58%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/assignment.cpp.o
- [ 59%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/algebraic_number.cpp.o
- [ 60%] Building C object python/CMakeFiles/polypy.dir/polypyUPolynomial.c.o
- [ 60%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/algebraic_number.cpp.o
- [ 60%] Building C object python/CMakeFiles/polypy.dir/utils.c.o
- [ 61%] Building C object python/CMakeFiles/polypy.dir/polypyVariable.c.o
- [ 61%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/context.cpp.o
- [ 61%] Building C object python/CMakeFiles/polypy.dir/polypyVariableOrder.c.o
- [ 62%] Building C object python/CMakeFiles/polypy.dir/polypyValue.c.o
- [ 62%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/assignment.cpp.o
- [ 62%] Building C object python/CMakeFiles/polypy.dir/polypyInterval.c.o
- [ 63%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/assignment.cpp.o
- [ 64%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/dyadic_interval.cpp.o
- [ 65%] Building C object python/CMakeFiles/polypy.dir/polypyFeasibilitySet.c.o
- [ 65%] Linking C shared module polypy.so
- [ 65%] Built target polypy
- [ 66%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/context.cpp.o
- [ 66%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/context.cpp.o
- [ 66%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/dyadic_rational.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/dyadic_interval.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/dyadic_interval.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/integer_ring.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/dyadic_rational.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/dyadic_rational.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/integer.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/integer_ring.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/integer_ring.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/interval_assignment.cpp.o
- [ 71%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/integer.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/integer.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/interval.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/interval_assignment.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/interval_assignment.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/polynomial.cpp.o
- [ 74%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/interval.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/interval.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/polynomial_utils.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/polynomial.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/polynomial.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/polynomial_utils.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/rational.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/rational_interval.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/rational.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/polynomial_utils.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/rational.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/sign_condition.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/rational_interval.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/upolynomial.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/rational_interval.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/sign_condition.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/utils.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/upolynomial.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/sign_condition.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/utils.cpp.o
- [ 83%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/value.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/upolynomial.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/utils.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/value.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/variable.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/variable.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/value.cpp.o
- [ 87%] Linking CXX shared library libpolyxx.so
- [ 87%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/variable.cpp.o
- [ 87%] Linking CXX static library libpicpolyxx.a
- [ 87%] Linking CXX static library libpolyxx.a
- [ 87%] Built target static_polyxx
- [ 87%] Built target polyxx
- [ 87%] Built target static_pic_polyxx
- [ 90%] Building CXX object test/polyxx/CMakeFiles/test_algebraic_number.dir/test_algebraic_number.cpp.o
- [ 90%] Building CXX object test/polyxx/CMakeFiles/test_dyadic_interval.dir/test_dyadic_interval.cpp.o
- [ 90%] Building CXX object test/polyxx/CMakeFiles/test_assignment.dir/test_assignment.cpp.o
- [ 91%] Building CXX object test/polyxx/CMakeFiles/test_dyadic_rational.dir/test_dyadic_rational.cpp.o
- [ 91%] Linking CXX executable test_assignment
- [ 91%] Linking CXX executable test_algebraic_number
- [ 91%] Linking CXX executable test_dyadic_interval
- [ 91%] Linking CXX executable test_dyadic_rational
- [ 91%] Built target test_algebraic_number
- [ 91%] Built target test_dyadic_interval
- [ 91%] Built target test_assignment
- [ 91%] Built target test_dyadic_rational
- [ 93%] Building CXX object test/polyxx/CMakeFiles/test_interval_assignment.dir/test_interval_assignment.cpp.o
- [ 93%] Building CXX object test/polyxx/CMakeFiles/test_interval.dir/test_interval.cpp.o
- [ 93%] Building CXX object test/polyxx/CMakeFiles/test_integer.dir/test_integer.cpp.o
- [ 93%] Building CXX object test/polyxx/CMakeFiles/test_polynomial.dir/test_polynomial.cpp.o
- [ 93%] Linking CXX executable test_interval
- [ 93%] Built target test_interval
- [ 93%] Building CXX object test/polyxx/CMakeFiles/test_rational.dir/test_rational.cpp.o
- [ 94%] Linking CXX executable test_polynomial
- [ 95%] Linking CXX executable test_interval_assignment
- [ 95%] Built target test_polynomial
- [ 95%] Building CXX object test/polyxx/CMakeFiles/test_rational_interval.dir/test_rational_interval.cpp.o
- [ 95%] Linking CXX executable test_integer
- [ 95%] Built target test_interval_assignment
- [ 95%] Building CXX object test/polyxx/CMakeFiles/test_upolynomial.dir/test_upolynomial.cpp.o
- [ 95%] Built target test_integer
- [ 95%] Building CXX object test/polyxx/CMakeFiles/test_value.dir/test_value.cpp.o
- [ 96%] Linking CXX executable test_rational_interval
- [ 97%] Linking CXX executable test_rational
- [ 97%] Built target test_rational_interval
- [ 97%] Building CXX object test/polyxx/CMakeFiles/test_variable.dir/test_variable.cpp.o
- [ 97%] Built target test_rational
- [ 98%] Linking CXX executable test_upolynomial
- [ 98%] Built target test_upolynomial
- [ 99%] Linking CXX executable test_value
- [ 99%] Built target test_value
- [100%] Linking CXX executable test_variable
- [100%] Built target test_variable
- (cd _build/default/vendor/cvc5 && /usr/bin/bash -e -u -o pipefail -c './configure.sh --static')
- -- The C compiler identification is GNU 14.2.0
- -- The CXX compiler identification is GNU 14.2.0
- -- Detecting C compiler ABI info
- -- Detecting C compiler ABI info - done
- -- Check for working C compiler: /usr/bin/cc - skipped
- -- Detecting C compile features
- -- Detecting C compile features - done
- -- Detecting CXX compiler ABI info
- -- Detecting CXX compiler ABI info - done
- -- Check for working CXX compiler: /usr/bin/c++ - skipped
- -- Detecting CXX compile features
- -- Detecting CXX compile features - done
- -- Found Git: /usr/bin/git (found version "2.47.3")
- fatal: not a git repository: /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/../../.git/modules/vendor/cvc5
- -- Building Production build
- -- Performing Test HAVE_C_FLAG_O3
- -- Performing Test HAVE_C_FLAG_O3 - Success
- -- Configuring with C flag '-O3'
- -- Performing Test HAVE_CXX_FLAG_O3
- -- Performing Test HAVE_CXX_FLAG_O3 - Success
- -- Configuring with CXX flag '-O3'
- -- Performing Test HAVE_C_FLAG_Wall
- -- Performing Test HAVE_C_FLAG_Wall - Success
- -- Configuring with C flag '-Wall'
- -- Performing Test HAVE_CXX_FLAG_Wall
- -- Performing Test HAVE_CXX_FLAG_Wall - Success
- -- Configuring with CXX flag '-Wall'
- -- Performing Test HAVE_C_FLAG_Wunused_private_field
- -- Performing Test HAVE_C_FLAG_Wunused_private_field - Failed
- -- Performing Test HAVE_CXX_FLAG_Wunused_private_field
- -- Performing Test HAVE_CXX_FLAG_Wunused_private_field - Failed
- -- Performing Test HAVE_C_FLAG_fexceptions
- -- Performing Test HAVE_C_FLAG_fexceptions - Success
- -- Configuring with C flag '-fexceptions'
- -- Performing Test HAVE_CXX_FLAG_Wsuggest_override
- -- Performing Test HAVE_CXX_FLAG_Wsuggest_override - Success
- -- Configuring with CXX flag '-Wsuggest-override'
- -- Performing Test HAVE_CXX_FLAG_Wnon_virtual_dtor
- -- Performing Test HAVE_CXX_FLAG_Wnon_virtual_dtor - Success
- -- Configuring with CXX flag '-Wnon-virtual-dtor'
- -- Performing Test HAVE_C_FLAG_Wimplicit_fallthrough
- -- Performing Test HAVE_C_FLAG_Wimplicit_fallthrough - Success
- -- Configuring with C flag '-Wimplicit-fallthrough'
- -- Performing Test HAVE_CXX_FLAG_Wimplicit_fallthrough
- -- Performing Test HAVE_CXX_FLAG_Wimplicit_fallthrough - Success
- -- Configuring with CXX flag '-Wimplicit-fallthrough'
- -- Performing Test HAVE_C_FLAG_Wshadow
- -- Performing Test HAVE_C_FLAG_Wshadow - Success
- -- Configuring with C flag '-Wshadow'
- -- Performing Test HAVE_CXX_FLAG_Wshadow
- -- Performing Test HAVE_CXX_FLAG_Wshadow - Success
- -- Configuring with CXX flag '-Wshadow'
- -- Performing Test HAVE_CXX_FLAG_fno_extern_tls_init
- -- Performing Test HAVE_CXX_FLAG_fno_extern_tls_init - Success
- -- Configuring with CXX flag '-fno-extern-tls-init'
- -- Performing Test HAVE_CXX_FLAG_Wclass_memaccess
- -- Performing Test HAVE_CXX_FLAG_Wclass_memaccess - Success
- -- Configuring with CXX flag '-Wno-class-memaccess'
- -- Disabling unit tests since assertions are disabled.
- -- Found Python: /usr/bin/python3 (found version "3.13.5") found components: Interpreter
- -- Found GMP (unknown version): /usr/lib/x86_64-linux-gnu/libgmp.a
- -- Found CaDiCaL 2.0.0
- : /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build/libcadical.a
- -- Found Poly 0.1.13: /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/libpoly/build/src/libpicpoly.a, /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/libpoly/build/src/libpicpolyxx.a
- -- Found SymFPU: /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor
- -- Performing Test CVC5_NEED_INT64_T_OVERLOADS
- -- Performing Test CVC5_NEED_INT64_T_OVERLOADS - Failed
- -- Performing Test CVC5_NEED_HASH_UINT64_T_OVERLOAD
- -- Performing Test CVC5_NEED_HASH_UINT64_T_OVERLOAD - Failed
- -- Looking for unistd.h
- -- Looking for unistd.h - found
- -- Looking for sys/wait.h
- -- Looking for sys/wait.h - found
- -- Looking for C++ include ext/stdio_filebuf.h
- -- Looking for C++ include ext/stdio_filebuf.h - found
- -- Looking for clock_gettime
- -- Looking for clock_gettime - found
- -- Looking for ffs
- -- Looking for ffs - found
- -- Looking for optreset
- -- Looking for optreset - not found
- -- Looking for sigaltstack
- -- Looking for sigaltstack - found
- -- Looking for strerror_r
- -- Looking for strerror_r - found
- -- Looking for strtok_r
- -- Looking for strtok_r - found
- -- Looking for setitimer
- -- Looking for setitimer - found
- -- Performing Test STRERROR_R_CHAR_P
- -- Performing Test STRERROR_R_CHAR_P - Failed
- -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY
- -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success
- -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY
- -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success
- -- Performing Test COMPILER_HAS_DEPRECATED_ATTR
- -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success
- 
- cvc5 1.1.2
- 
- Build profile             : production
- 
- Assertions                : off
- Debug symbols             : off
- Debug context mem mgr     : off
- 
- Muzzle                    : off
- Statistics                : on
- Tracing                   : off
- 
- ASan                      : off
- UBSan                     : off
- TSan                      : off
- Coverage (gcov)           : off
- Profiling (gprof)         : off
- Unit tests                : off
- Valgrind                  : off
- 
- Shared build              : off
- Python bindings           : off
- Java bindings             : off
- Interprocedural opt.      : off
- 
- CryptoMiniSat             : off
- GLPK                      : off
- Kissat                    : off
- LibPoly                   : on (system)
- CoCoALib                  : off
- MP library                : gmp (system)
- Editline                  : off
- 
- Api docs                  : off
- 
- 
- CPPLAGS (-D...): NDEBUG CVC5_STATISTICS_ON CVC5_USE_POLY
- CXXFLAGS       : -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess
- CFLAGS         : -O3 -Wall -fexceptions -Wimplicit-fallthrough -Wshadow
- Linker flags   : 
- 
- Install prefix : /usr/local
- 
- cvc5 license: modified BSD
- 
- Note that this configuration is NOT built against any GPL'ed libraries, so
- it is covered by the (modified) BSD license.  To build against GPL'ed
- libraries which can improve cvc5's performance on arithmetic and bit-vector
- logics, use the 'configure.sh' script to re-configure with '--best --gpl'.
- 
- Now change to 'build' and type 'make', followed by 'make check' or 'make install'.
- 
- -- Configuring done (7.0s)
- -- Generating done (0.5s)
- -- Build files have been written to: /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/build
- (cd _build/default/vendor/cvc5 && /usr/bin/bash -e -u -o pipefail -c 'make -C build -j $(opam var jobs)')
- make: Entering directory '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/build'
- [  0%] Generating type_enumerator.cpp
- [  0%] Generating options/options.stamp
- -- Found Git: /usr/bin/git (found version "2.47.3")
- [  0%] Built target gen-versioninfo
- [  0%] Generating theory_traits.h
- [  0%] Generating Trace_tags.h
- [  0%] Built target gen-options
- [  0%] Building CXX object src/context/CMakeFiles/cvc5context.dir/context.cpp.o
- [  0%] Built target gen-tags
- [  0%] Generating kind.h
- [  0%] Generating rewrites.{h,cpp}
- [  0%] Generating rewriter_tables.h
- [  0%] Built target gen-theory
- [  0%] Generating metakind.h
- [  0%] Generating node_manager.h
- [  0%] Built target gen-rewrites
- [  0%] Generating type_checker.cpp
- [  1%] Building CXX object src/context/CMakeFiles/cvc5context.dir/context_mm.cpp.o
- [  1%] Generating smt2_tokens.h
- [  1%] Built target gen-tokens
- [  1%] Generating type_properties.h
- [  1%] Generating kind.cpp
- [  2%] Generating metakind.cpp
- [  2%] Generating type_properties.cpp
- [  2%] Built target cvc5context
- [  2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/check.cpp.o
- [  2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/configuration.cpp.o
- [  2%] Generating node_manager.cpp
- [  2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/exception.cpp.o
- [  2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/listener.cpp.o
- [  2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/output.cpp.o
- [  2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/versioninfo.cpp.o
- [  2%] Built target cvc5base
- [  2%] Built target gen-expr
- [  2%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/commands.cpp.o
- [  2%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/command_status.cpp.o
- [  2%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/input.cpp.o
- [  2%] Building CXX object src/CMakeFiles/cvc5-obj.dir/api/c/cvc5.cpp.o
- [  2%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/lexer.cpp.o
- [  2%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parser.cpp.o
- [  2%] Building CXX object src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5.cpp.o
- [  2%] Building CXX object src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5_types.cpp.o
- [  2%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parse_op.cpp.o
- [  3%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parser_state.cpp.o
- [  4%] Building CXX object src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5_proof_rule.cpp.o
- [  4%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/assertion_list.cpp.o
- [  4%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/decision_engine.cpp.o
- [  4%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/justification_strategy.cpp.o
- [  4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parser_utils.cpp.o
- [  4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_state.cpp.o
- [  4%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/justify_cache.cpp.o
- [  4%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/justify_info.cpp.o
- [  4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_cmd_parser.cpp.o
- [  4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_lexer.cpp.o
- [  4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_parser.cpp.o
- [  4%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/justify_stack.cpp.o
- [  4%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/justify_stats.cpp.o
- [  4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_term_parser.cpp.o
- [  4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/sym_manager.cpp.o
- [  4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/symbol_table.cpp.o
- [  4%] Building C object src/CMakeFiles/cvc5-obj.dir/lib/clock_gettime.c.o
- [  5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/tokens.cpp.o
- [  6%] Building C object src/CMakeFiles/cvc5-obj.dir/lib/ffs.c.o
- [  6%] Building C object src/CMakeFiles/cvc5-obj.dir/lib/strtok_r.c.o
- [  6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/language.cpp.o
- [  6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/managed_streams.cpp.o
- [  6%] Built target cvc5parser-objs
- [  6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/option_exception.cpp.o
- [  6%] Building CXX object src/parser/CMakeFiles/cvc5parserapi-objs.dir/__/api/cpp/cvc5_parser.cpp.o
- [  6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/options_handler.cpp.o
- [  6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/assertion_pipeline.cpp.o
- [  6%] Built target cvc5parserapi-objs
- [  6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/learned_literal_manager.cpp.o
- [  7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ackermann.cpp.o
- [  7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/apply_substs.cpp.o
- [  7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bool_to_bv.cpp.o
- [  7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_eager_atoms.cpp.o
- [  7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_gauss.cpp.o
- [  7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_intro_pow2.cpp.o
- [  7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_to_bool.cpp.o
- [  7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_to_int.cpp.o
- [  7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/extended_rewriter_pass.cpp.o
- [  9%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ff_bitsum.cpp.o
- [  9%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ff_disjunctive_bit.cpp.o
- [  9%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/foreign_theory_rewrite.cpp.o
- [  9%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/fun_def_fmf.cpp.o
- [  9%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/global_negate.cpp.o
- [  9%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ho_elim.cpp.o
- [  9%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/int_to_bv.cpp.o
- [  9%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_removal.cpp.o
- [  9%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_simp.cpp.o
- [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/learned_rewrite.cpp.o
- [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/miplib_trick.cpp.o
- [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/nl_ext_purify.cpp.o
- [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/non_clausal_simp.cpp.o
- [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/pseudo_boolean_processor.cpp.o
- [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/quantifiers_preprocess.cpp.o
- [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/real_to_int.cpp.o
- [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/rewrite.cpp.o
- [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/sep_skolem_emp.cpp.o
- [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/sort_infer.cpp.o
- [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/static_learning.cpp.o
- [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/static_rewrite.cpp.o
- [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/strings_eager_pp.cpp.o
- [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/sygus_inference.cpp.o
- [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/synth_rew_rules.cpp.o
- [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/theory_preprocess.cpp.o
- [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/unconstrained_simplifier.cpp.o
- [ 12%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass.cpp.o
- [ 12%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass_context.cpp.o
- [ 12%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass_registry.cpp.o
- [ 12%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/util/boolean_simplification.cpp.o
- [ 12%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/util/ite_utilities.cpp.o
- [ 12%] Building CXX object src/CMakeFiles/cvc5-obj.dir/printer/ast/ast_printer.cpp.o
- [ 12%] Building CXX object src/CMakeFiles/cvc5-obj.dir/printer/let_binding.cpp.o
- [ 12%] Building CXX object src/CMakeFiles/cvc5-obj.dir/printer/printer.cpp.o
- [ 12%] Building CXX object src/CMakeFiles/cvc5-obj.dir/printer/smt2/smt2_printer.cpp.o
- [ 13%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/alf/alf_node_converter.cpp.o
- [ 13%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/alf/alf_print_channel.cpp.o
- [ 13%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/alf/alf_printer.cpp.o
- [ 13%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/annotation_proof_generator.cpp.o
- [ 13%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/assumption_proof_generator.cpp.o
- [ 13%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/buffered_proof_generator.cpp.o
- [ 13%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/conv_proof_generator.cpp.o
- [ 13%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/conv_seq_proof_generator.cpp.o
- [ 13%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/dot/dot_printer.cpp.o
- [ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/eager_proof_generator.cpp.o
- [ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/lazy_proof.cpp.o
- [ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/lazy_proof_chain.cpp.o
- [ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/lazy_tree_proof_generator.cpp.o
- [ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/lfsc/lfsc_list_sc_node_converter.cpp.o
- [ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/lfsc/lfsc_node_converter.cpp.o
- [ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/lfsc/lfsc_post_processor.cpp.o
- [ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/lfsc/lfsc_printer.cpp.o
- [ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/lfsc/lfsc_print_channel.cpp.o
- [ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/lfsc/lfsc_util.cpp.o
- [ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/method_id.cpp.o
- [ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/print_expr.cpp.o
- [ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof.cpp.o
- [ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_checker.cpp.o
- [ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_ensure_closed.cpp.o
- [ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_generator.cpp.o
- [ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_letify.cpp.o
- [ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_node.cpp.o
- [ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_node_algorithm.cpp.o
- [ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_node_converter.cpp.o
- [ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_node_to_sexpr.cpp.o
- [ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_node_manager.cpp.o
- [ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_node_updater.cpp.o
- [ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_rule_checker.cpp.o
- [ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/proof_step_buffer.cpp.o
- [ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/resolution_proofs_util.cpp.o
- [ 18%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/subtype_elim_proof_converter.cpp.o
- [ 18%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/trust_id.cpp.o
- [ 18%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/trust_node.cpp.o
- [ 18%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/theory_proof_step_buffer.cpp.o
- [ 18%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/unsat_core.cpp.o
- [ 18%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/alethe/alethe_let_binding.cpp.o
- [ 18%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/alethe/alethe_node_converter.cpp.o
- [ 18%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/alethe/alethe_post_processor.cpp.o
- [ 18%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/alethe/alethe_printer.cpp.o
- [ 19%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/alethe/alethe_proof_rule.cpp.o
- [ 19%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/cadical.cpp.o
- [ 19%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/cnf_stream.cpp.o
- [ 19%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/cryptominisat.cpp.o
- [ 19%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/kissat.cpp.o
- [ 19%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/learned_db.cpp.o
- [ 19%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/lemma_inprocess.cpp.o
- [ 19%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/minisat/core/Solver.cc.o
- [ 20%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/minisat/minisat.cpp.o
- [ 20%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/minisat/opt_clauses_manager.cpp.o
- [ 20%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/minisat/sat_proof_manager.cpp.o
- [ 20%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/minisat/simp/SimpSolver.cc.o
- [ 20%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/proof_cnf_stream.cpp.o
- [ 20%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/proof_post_processor.cpp.o
- [ 20%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/prop_engine.cpp.o
- [ 20%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/prop_proof_manager.cpp.o
- [ 20%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/sat_solver_factory.cpp.o
- [ 21%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/sat_solver_types.cpp.o
- [ 21%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/skolem_def_manager.cpp.o
- [ 21%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/theory_preregistrar.cpp.o
- [ 21%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/theory_proxy.cpp.o
- [ 21%] Building CXX object src/CMakeFiles/cvc5-obj.dir/prop/zero_level_learner.cpp.o
- [ 21%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/abduction_solver.cpp.o
- [ 21%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/assertions.cpp.o
- [ 21%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/check_models.cpp.o
- [ 21%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/context_manager.cpp.o
- [ 22%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/difficulty_post_processor.cpp.o
- [ 22%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/env.cpp.o
- [ 22%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/env_obj.cpp.o
- [ 22%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/expand_definitions.cpp.o
- [ 22%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/find_synth_solver.cpp.o
- [ 22%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/listeners.cpp.o
- [ 22%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/interpolation_solver.cpp.o
- [ 22%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/model.cpp.o
- [ 23%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/model_core_builder.cpp.o
- [ 23%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/model_blocker.cpp.o
- [ 23%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/quant_elim_solver.cpp.o
- [ 23%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/preprocessor.cpp.o
- [ 23%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/preprocess_proof_generator.cpp.o
- [ 23%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/print_benchmark.cpp.o
- [ 23%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/process_assertions.cpp.o
- [ 23%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/proof_manager.cpp.o
- [ 23%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/proof_final_callback.cpp.o
- [ 25%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/proof_post_processor.cpp.o
- [ 25%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/set_defaults.cpp.o
- [ 25%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/solver_engine.cpp.o
- [ 25%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/solver_engine_state.cpp.o
- [ 25%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/solver_engine_stats.cpp.o
- [ 25%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/smt_driver.cpp.o
- [ 25%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/smt_driver_deep_restarts.cpp.o
- [ 25%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/smt_mode.cpp.o
- [ 25%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/smt_solver.cpp.o
- [ 26%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/sygus_solver.cpp.o
- [ 26%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/term_formula_removal.cpp.o
- [ 26%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/timeout_core_manager.cpp.o
- [ 26%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/unsat_core_manager.cpp.o
- [ 26%] Building CXX object src/CMakeFiles/cvc5-obj.dir/smt/witness_form.cpp.o
- [ 26%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/arith_evaluator.cpp.o
- [ 26%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/arith_ite_utils.cpp.o
- [ 26%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/arith_msum.cpp.o
- [ 26%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/arith_poly_norm.cpp.o
- [ 27%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/arith_preprocess.cpp.o
- [ 27%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/arith_proof_utilities.cpp.o
- [ 27%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/arith_rewriter.cpp.o
- [ 27%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/arith_subs.cpp.o
- [ 27%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/arith_utilities.cpp.o
- [ 27%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/bound_inference.cpp.o
- [ 27%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/branch_and_bound.cpp.o
- [ 27%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/delta_rational.cpp.o
- [ 28%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/equality_solver.cpp.o
- [ 28%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/inference_manager.cpp.o
- [ 28%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/approx_simplex.cpp.o
- [ 28%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/arith_static_learner.cpp.o
- [ 28%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/arithvar.cpp.o
- [ 28%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/attempt_solution_simplex.cpp.o
- [ 28%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/callbacks.cpp.o
- [ 28%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/congruence_manager.cpp.o
- [ 28%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/constraint.cpp.o
- [ 29%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/cut_log.cpp.o
- [ 29%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/dio_solver.cpp.o
- [ 29%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/dual_simplex.cpp.o
- [ 29%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/error_set.cpp.o
- [ 29%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/fc_simplex.cpp.o
- [ 29%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/infer_bounds.cpp.o
- [ 29%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/linear_solver.cpp.o
- [ 29%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/linear_equality.cpp.o
- [ 29%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/matrix.cpp.o
- [ 30%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/normal_form.cpp.o
- [ 30%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/partial_model.cpp.o
- [ 30%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/simplex.cpp.o
- [ 30%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/simplex_update.cpp.o
- [ 30%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/soi_simplex.cpp.o
- [ 30%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/tableau.cpp.o
- [ 30%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/tableau_sizes.cpp.o
- [ 30%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/linear/theory_arith_private.cpp.o
- [ 31%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/coverings_solver.cpp.o
- [ 31%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/coverings/cdcac.cpp.o
- [ 31%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/coverings/cdcac_utils.cpp.o
- [ 31%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/coverings/cocoa_converter.cpp.o
- [ 31%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/coverings/constraints.cpp.o
- [ 31%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/coverings/lazard_evaluation.cpp.o
- [ 31%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/coverings/projections.cpp.o
- [ 31%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/coverings/proof_checker.cpp.o
- [ 31%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/coverings/proof_generator.cpp.o
- [ 32%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/coverings/variable_ordering.cpp.o
- [ 32%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/equality_substitution.cpp.o
- [ 32%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/ext/constraint.cpp.o
- [ 32%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/ext/factoring_check.cpp.o
- [ 32%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/ext/monomial.cpp.o
- [ 32%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/ext/monomial_bounds_check.cpp.o
- [ 32%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/ext/monomial_check.cpp.o
- [ 32%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/ext/ext_state.cpp.o
- [ 32%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/ext/proof_checker.cpp.o
- [ 34%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/ext/split_zero_check.cpp.o
- [ 34%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/ext/tangent_plane_check.cpp.o
- [ 34%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/ext_theory_callback.cpp.o
- [ 34%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/iand_solver.cpp.o
- [ 34%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/icp/candidate.cpp.o
- [ 34%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/icp/contraction_origins.cpp.o
- [ 34%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/icp/icp_solver.cpp.o
- [ 34%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/icp/intersection.cpp.o
- [ 34%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/iand_utils.cpp.o
- [ 35%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/nl_lemma_utils.cpp.o
- [ 35%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/nl_model.cpp.o
- [ 35%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/nonlinear_extension.cpp.o
- [ 35%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/poly_conversion.cpp.o
- [ 35%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/pow2_solver.cpp.o
- [ 35%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/stats.cpp.o
- [ 35%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/strategy.cpp.o
- [ 35%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/transcendental/exponential_solver.cpp.o
- [ 36%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/transcendental/proof_checker.cpp.o
- [ 36%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/transcendental/sine_solver.cpp.o
- [ 36%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/transcendental/taylor_generator.cpp.o
- [ 36%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/transcendental/transcendental_solver.cpp.o
- [ 36%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/nl/transcendental/transcendental_state.cpp.o
- [ 36%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/operator_elim.cpp.o
- [ 36%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/pp_rewrite_eq.cpp.o
- [ 36%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/proof_checker.cpp.o
- [ 36%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/rewriter/addition.cpp.o
- [ 37%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/rewriter/node_utils.cpp.o
- [ 37%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/rewriter/rewrite_atom.cpp.o
- [ 37%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/rewrites.cpp.o
- [ 37%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/theory_arith.cpp.o
- [ 37%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arith/theory_arith_type_rules.cpp.o
- [ 37%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arrays/array_info.cpp.o
- [ 37%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arrays/inference_manager.cpp.o
- [ 37%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arrays/proof_checker.cpp.o
- [ 37%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arrays/skolem_cache.cpp.o
- [ 38%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arrays/theory_arrays.cpp.o
- [ 38%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arrays/theory_arrays_rewriter.cpp.o
- [ 38%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arrays/theory_arrays_type_rules.cpp.o
- [ 38%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/arrays/type_enumerator.cpp.o
- [ 38%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/assertion.cpp.o
- [ 38%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/atom_requests.cpp.o
- [ 38%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/bags_rewriter.cpp.o
- [ 38%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/bag_solver.cpp.o
- [ 38%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/bag_reduction.cpp.o
- [ 39%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/bags_statistics.cpp.o
- [ 39%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/bags_utils.cpp.o
- [ 39%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/infer_info.cpp.o
- [ 39%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/inference_generator.cpp.o
- [ 39%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/inference_manager.cpp.o
- [ 39%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/rewrites.cpp.o
- [ 39%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/solver_state.cpp.o
- [ 39%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/strategy.cpp.o
- [ 40%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/term_registry.cpp.o
- [ 40%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/theory_bags.cpp.o
- [ 40%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/theory_bags_type_enumerator.cpp.o
- [ 40%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bags/theory_bags_type_rules.cpp.o
- [ 40%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/booleans/circuit_propagator.cpp.o
- [ 40%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/booleans/proof_circuit_propagator.cpp.o
- [ 40%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/booleans/proof_checker.cpp.o
- [ 40%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/booleans/theory_bool.cpp.o
- [ 40%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/booleans/theory_bool_rewriter.cpp.o
- [ 42%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/booleans/theory_bool_type_rules.cpp.o
- [ 42%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/builtin/abstract_type.cpp.o
- [ 42%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/builtin/generic_op.cpp.o
- [ 42%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/builtin/proof_checker.cpp.o
- [ 42%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/builtin/theory_builtin.cpp.o
- [ 42%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/builtin/theory_builtin_rewriter.cpp.o
- [ 42%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/builtin/theory_builtin_type_rules.cpp.o
- [ 42%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/builtin/type_enumerator.cpp.o
- [ 42%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/bitblast/bitblast_proof_generator.cpp.o
- [ 43%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/bitblast/node_bitblaster.cpp.o
- [ 43%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/bitblast/proof_bitblaster.cpp.o
- [ 43%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/bv_solver_bitblast.cpp.o
- [ 43%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/bv_solver_bitblast_internal.cpp.o
- [ 43%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/int_blaster.cpp.o
- [ 43%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/proof_checker.cpp.o
- [ 43%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/theory_bv.cpp.o
- [ 43%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/theory_bv_rewriter.cpp.o
- [ 44%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/theory_bv_type_rules.cpp.o
- [ 44%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/bv/theory_bv_utils.cpp.o
- [ 44%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/care_pair_argument_callback.cpp.o
- [ 44%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/combination_care_graph.cpp.o
- [ 44%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/combination_engine.cpp.o
- [ 44%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/datatypes_rewriter.cpp.o
- [ 44%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/inference.cpp.o
- [ 44%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/inference_manager.cpp.o
- [ 44%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/infer_proof_cons.cpp.o
- [ 45%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/proof_checker.cpp.o
- [ 45%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/sygus_datatype_utils.cpp.o
- [ 45%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/sygus_extension.cpp.o
- [ 45%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/sygus_simple_sym.cpp.o
- [ 45%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/theory_datatypes.cpp.o
- [ 45%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/theory_datatypes_type_rules.cpp.o
- [ 45%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/theory_datatypes_utils.cpp.o
- [ 45%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/project_op.cpp.o
- [ 45%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/tuple_utils.cpp.o
- [ 46%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/datatypes/type_enumerator.cpp.o
- [ 46%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/decision_manager.cpp.o
- [ 46%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/decision_strategy.cpp.o
- [ 46%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/difficulty_manager.cpp.o
- [ 46%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ee_manager.cpp.o
- [ 46%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ee_manager_central.cpp.o
- [ 46%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ee_manager_distributed.cpp.o
- [ 46%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/evaluator.cpp.o
- [ 46%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ext_theory.cpp.o
- [ 47%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/cocoa_encoder.cpp.o
- [ 47%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/cocoa_util.cpp.o
- [ 47%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/core.cpp.o
- [ 47%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/multi_roots.cpp.o
- [ 47%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/parse.cpp.o
- [ 47%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/split_gb.cpp.o
- [ 47%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/stats.cpp.o
- [ 47%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/sub_theory.cpp.o
- [ 48%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/theory_ff.cpp.o
- [ 48%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/theory_ff_rewriter.cpp.o
- [ 48%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/theory_ff_type_rules.cpp.o
- [ 48%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/uni_roots.cpp.o
- [ 48%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/ff/util.cpp.o
- [ 48%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/fp/fp_word_blaster.cpp.o
- [ 48%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/fp/fp_expand_defs.cpp.o
- [ 48%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/fp/theory_fp.cpp.o
- [ 48%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/fp/theory_fp_rewriter.cpp.o
- [ 50%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/fp/theory_fp_type_rules.cpp.o
- [ 50%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/fp/theory_fp_utils.cpp.o
- [ 50%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/incomplete_id.cpp.o
- [ 50%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/inference_id.cpp.o
- [ 50%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/inference_id_proof_annotator.cpp.o
- [ 50%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/inference_manager_buffered.cpp.o
- [ 50%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/lemma_property.cpp.o
- [ 50%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/logic_info.cpp.o
- [ 50%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/model_manager.cpp.o
- [ 51%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/model_manager_distributed.cpp.o
- [ 51%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/output_channel.cpp.o
- [ 51%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/alpha_equivalence.cpp.o
- [ 51%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/bv_inverter.cpp.o
- [ 51%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/bv_inverter_utils.cpp.o
- [ 51%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/candidate_rewrite_database.cpp.o
- [ 51%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/candidate_rewrite_filter.cpp.o
- [ 51%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/cegqi/ceg_arith_instantiator.cpp.o
- [ 52%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/cegqi/ceg_bv_instantiator.cpp.o
- [ 52%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/cegqi/ceg_bv_instantiator_utils.cpp.o
- [ 52%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/cegqi/ceg_dt_instantiator.cpp.o
- [ 52%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/cegqi/ceg_instantiator.cpp.o
- [ 52%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/cegqi/ceg_utils.cpp.o
- [ 52%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp.o
- [ 52%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/cegqi/instantiator.cpp.o
- [ 52%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/cegqi/nested_qe.cpp.o
- [ 52%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/cegqi/vts_term_cache.cpp.o
- [ 53%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/conjecture_generator.cpp.o
- [ 53%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/dynamic_rewrite.cpp.o
- [ 53%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/candidate_generator.cpp.o
- [ 53%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/ho_trigger.cpp.o
- [ 53%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/im_generator.cpp.o
- [ 53%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/inst_match_generator.cpp.o
- [ 53%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/inst_match_generator_multi.cpp.o
- [ 53%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/inst_match_generator_multi_linear.cpp.o
- [ 53%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/inst_match_generator_simple.cpp.o
- [ 54%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/inst_strategy.cpp.o
- [ 54%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/inst_strategy_e_matching.cpp.o
- [ 54%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/inst_strategy_e_matching_user.cpp.o
- [ 54%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/instantiation_engine.cpp.o
- [ 54%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/pattern_term_selector.cpp.o
- [ 54%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/relational_match_generator.cpp.o
- [ 54%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/trigger.cpp.o
- [ 54%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/trigger_database.cpp.o
- [ 54%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/trigger_term_info.cpp.o
- [ 55%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/trigger_trie.cpp.o
- [ 55%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ematching/var_match_generator.cpp.o
- [ 55%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/entailment_check.cpp.o
- [ 55%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/equality_query.cpp.o
- [ 55%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/expr_miner.cpp.o
- [ 55%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/expr_miner_manager.cpp.o
- [ 55%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/extended_rewrite.cpp.o
- [ 55%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/first_order_model.cpp.o
- [ 56%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/fmf/bounded_integers.cpp.o
- [ 56%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/fmf/first_order_model_fmc.cpp.o
- [ 56%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/fmf/full_model_check.cpp.o
- [ 56%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/fmf/model_builder.cpp.o
- [ 56%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/fmf/model_engine.cpp.o
- [ 56%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/fun_def_evaluator.cpp.o
- [ 56%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ho_term_database.cpp.o
- [ 56%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ieval/free_var_info.cpp.o
- [ 56%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ieval/inst_evaluator.cpp.o
- [ 57%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ieval/inst_evaluator_manager.cpp.o
- [ 57%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ieval/pattern_term_info.cpp.o
- [ 57%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ieval/quant_info.cpp.o
- [ 57%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ieval/state.cpp.o
- [ 57%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/ieval/term_evaluator.cpp.o
- [ 57%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/index_trie.cpp.o
- [ 57%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/inst_match.cpp.o
- [ 57%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/inst_match_trie.cpp.o
- [ 57%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/inst_strategy_enumerative.cpp.o
- [ 59%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/inst_strategy_mbqi.cpp.o
- [ 59%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/inst_strategy_pool.cpp.o
- [ 59%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/inst_strategy_sub_conflict.cpp.o
- [ 59%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/instantiate.cpp.o
- [ 59%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/instantiation_list.cpp.o
- [ 59%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/lazy_trie.cpp.o
- [ 59%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/master_eq_notify.cpp.o
- [ 59%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/oracle_checker.cpp.o
- [ 60%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/oracle_engine.cpp.o
- [ 60%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/proof_checker.cpp.o
- [ 60%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quant_bound_inference.cpp.o
- [ 60%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quant_conflict_find.cpp.o
- [ 60%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quant_relevance.cpp.o
- [ 60%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quant_rep_bound_ext.cpp.o
- [ 60%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quant_split.cpp.o
- [ 60%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quant_util.cpp.o
- [ 60%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quant_module.cpp.o
- [ 61%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quantifiers_attributes.cpp.o
- [ 61%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quantifiers_inference_manager.cpp.o
- [ 61%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quantifiers_macros.cpp.o
- [ 61%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quantifiers_modules.cpp.o
- [ 61%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quantifiers_preprocess.cpp.o
- [ 61%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quantifiers_registry.cpp.o
- [ 61%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quantifiers_rewriter.cpp.o
- [ 61%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quantifiers_state.cpp.o
- [ 61%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/quantifiers_statistics.cpp.o
- [ 62%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/query_generator.cpp.o
- [ 62%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/query_generator_sample_sat.cpp.o
- [ 62%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/query_generator_unsat.cpp.o
- [ 62%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/relevant_domain.cpp.o
- [ 62%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/rewrite_verifier.cpp.o
- [ 62%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/single_inv_partition.cpp.o
- [ 62%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/skolemize.cpp.o
- [ 62%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/solution_filter.cpp.o
- [ 62%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/term_pools.cpp.o
- [ 63%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/term_tuple_enumerator.cpp.o
- [ 63%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/ce_guided_single_inv.cpp.o
- [ 63%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/cegis.cpp.o
- [ 63%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/cegis_core_connective.cpp.o
- [ 63%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/cegis_unif.cpp.o
- [ 63%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/example_eval_cache.cpp.o
- [ 63%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/example_infer.cpp.o
- [ 63%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/example_min_eval.cpp.o
- [ 64%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/embedding_converter.cpp.o
- [ 64%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/enum_stream_substitution.cpp.o
- [ 64%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/enum_value_manager.cpp.o
- [ 64%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/print_sygus_to_builtin.cpp.o
- [ 64%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/rcons_obligation.cpp.o
- [ 64%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/rcons_type_info.cpp.o
- [ 64%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_abduct.cpp.o
- [ 64%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_enumerator.cpp.o
- [ 64%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_enumerator_callback.cpp.o
- [ 65%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_eval_unfold.cpp.o
- [ 65%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_explain.cpp.o
- [ 65%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_grammar_cons.cpp.o
- [ 65%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_grammar_norm.cpp.o
- [ 65%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_grammar_red.cpp.o
- [ 65%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_interpol.cpp.o
- [ 65%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_invariance.cpp.o
- [ 65%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_module.cpp.o
- [ 65%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_pbe.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_process_conj.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_qe_preproc.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_random_enumerator.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_reconstruct.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_repair_const.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_stats.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_unif.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_unif_io.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_unif_rl.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_unif_strat.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/sygus_utils.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/synth_conjecture.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/synth_engine.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/synth_finder.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/synth_verify.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/template_infer.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/term_database_sygus.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/type_info.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/type_node_id_trie.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus/transition_inference.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus_inst.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/sygus_sampler.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/term_database.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/term_enumeration.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/term_registry.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/term_util.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/theory_quantifiers.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers/theory_quantifiers_type_rules.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/quantifiers_engine.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/relevance_manager.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/rep_set.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/rep_set_iterator.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/rewriter.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sep/theory_sep.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sep/theory_sep_rewriter.cpp.o
- [ 71%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sep/theory_sep_type_rules.cpp.o
- [ 71%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/cardinality_extension.cpp.o
- [ 71%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/inference_manager.cpp.o
- [ 71%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/rels_utils.cpp.o
- [ 71%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/set_reduction.cpp.o
- [ 71%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/skolem_cache.cpp.o
- [ 71%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/solver_state.cpp.o
- [ 71%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/term_registry.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/theory_sets.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/theory_sets_private.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/theory_sets_rels.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/theory_sets_rewriter.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/theory_sets_type_enumerator.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sets/theory_sets_type_rules.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/shared_solver.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/shared_solver_distributed.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/shared_terms_database.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/skolem_lemma.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/smt_engine_subsolver.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/sort_inference.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/partition_generator.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/array_solver.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/array_core_solver.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/arith_entail.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/base_solver.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/code_point_solver.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/core_solver.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/eager_solver.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/extf_solver.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/eqc_info.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/infer_info.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/infer_proof_cons.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/inference_manager.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/model_cons_default.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/normal_form.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/proof_checker.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/regexp_enumerator.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/regexp_elim.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/regexp_entail.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/regexp_eval.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/regexp_operation.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/regexp_solver.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/rewrites.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/sequences_rewriter.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/sequences_stats.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/skolem_cache.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/solver_state.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/strategy.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/strings_entail.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/strings_fmf.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/strings_rewriter.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/theory_strings.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/theory_strings_preprocess.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/theory_strings_type_rules.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/theory_strings_utils.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/term_registry.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/type_enumerator.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/strings/word.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/subs_minimize.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/substitutions.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/term_registration_visitor.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_engine.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_engine_module.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_engine_proof_generator.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_id.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_engine_statistics.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_inference.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_inference_manager.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_model.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_model_builder.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_preprocessor.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_rewriter.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/theory_state.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/trust_substitutions.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/type_set.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/cardinality_extension.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/conversions_solver.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/equality_engine.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/equality_engine_iterator.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/eq_proof.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/function_const.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/lambda_lift.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/proof_checker.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/proof_equality_engine.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/ho_extension.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/symmetry_breaker.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/theory_uf.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/theory_uf_model.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/theory_uf_rewriter.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/theory_uf_type_rules.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/uf/type_enumerator.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/valuation.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/annotation_elim_node_converter.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/array_store_all.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/ascription_type.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/attribute.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/bound_var_manager.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/cardinality_constraint.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/codatatype_bound_variable.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/elim_shadow_converter.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/emptyset.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/emptybag.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/free_var_cache.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/function_array_const.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/match_trie.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/nary_match_trie.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/nary_term_util.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/node.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/node_algorithm.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/node_builder.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/node_converter.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/node_trie.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/node_trie_algorithm.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/node_traversal.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/node_value.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/oracle_caller.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/sequence.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/skolem_manager.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/sort_type_size.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/subtype_elim_node_converter.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/term_canonize.cpp.o
- [ 87%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/term_context.cpp.o
- [ 87%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/term_context_node.cpp.o
- [ 87%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/term_context_stack.cpp.o
- [ 87%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/type_matcher.cpp.o
- [ 87%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/type_node.cpp.o
- [ 87%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/dtype.cpp.o
- [ 87%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/dtype_cons.cpp.o
- [ 87%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/dtype_selector.cpp.o
- [ 88%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/sort_to_term.cpp.o
- [ 88%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/subs.cpp.o
- [ 88%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/sygus_datatype.cpp.o
- [ 88%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/sygus_grammar.cpp.o
- [ 88%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/sygus_term_enumerator.cpp.o
- [ 88%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/variadic_trie.cpp.o
- [ 88%] Building CXX object src/CMakeFiles/cvc5-obj.dir/rewriter/basic_rewrite_rcons.cpp.o
- [ 88%] Building CXX object src/CMakeFiles/cvc5-obj.dir/rewriter/rewrite_db.cpp.o
- [ 88%] Building CXX object src/CMakeFiles/cvc5-obj.dir/rewriter/rewrite_db_proof_cons.cpp.o
- [ 89%] Building CXX object src/CMakeFiles/cvc5-obj.dir/rewriter/rewrite_db_term_process.cpp.o
- [ 89%] Building CXX object src/CMakeFiles/cvc5-obj.dir/rewriter/rewrite_proof_rule.cpp.o
- [ 89%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/bitvector.cpp.o
- [ 89%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/cocoa_globals.cpp.o
- [ 89%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/cardinality.cpp.o
- [ 89%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/cardinality_class.cpp.o
- [ 89%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/didyoumean.cpp.o
- [ 89%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/divisible.cpp.o
- [ 89%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/finite_field_value.cpp.o
- [ 90%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/floatingpoint.cpp.o
- [ 90%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/floatingpoint_size.cpp.o
- [ 90%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/floatingpoint_literal_symfpu.cpp.o
- [ 90%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/floatingpoint_literal_symfpu_traits.cpp.o
- [ 90%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/index.cpp.o
- [ 90%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/ostream_util.cpp.o
- [ 90%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/poly_util.cpp.o
- [ 90%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/random.cpp.o
- [ 90%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/resource_manager.cpp.o
- [ 92%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/result.cpp.o
- [ 92%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/real_algebraic_number_poly_imp.cpp.o
- [ 92%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/regexp.cpp.o
- [ 92%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/roundingmode.cpp.o
- [ 92%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/safe_print.cpp.o
- [ 92%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/sampler.cpp.o
- [ 92%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/sexpr.cpp.o
- [ 92%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/smt2_quote_string.cpp.o
- [ 93%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/statistics_public.cpp.o
- [ 93%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/statistics_registry.cpp.o
- [ 93%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/statistics_stats.cpp.o
- [ 93%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/statistics_value.cpp.o
- [ 93%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/string.cpp.o
- [ 93%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/synth_result.cpp.o
- [ 93%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/uninterpreted_sort_value.cpp.o
- [ 93%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/utility.cpp.o
- [ 93%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/rational_gmp_imp.cpp.o
- [ 94%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/integer_gmp_imp.cpp.o
- [ 94%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/arith_options.cpp.o
- [ 94%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/arrays_options.cpp.o
- [ 94%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/base_options.cpp.o
- [ 94%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/booleans_options.cpp.o
- [ 94%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/builtin_options.cpp.o
- [ 94%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/bv_options.cpp.o
- [ 94%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/datatypes_options.cpp.o
- [ 94%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/decision_options.cpp.o
- [ 95%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/expr_options.cpp.o
- [ 95%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/ff_options.cpp.o
- [ 95%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/fp_options.cpp.o
- [ 95%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/main_options.cpp.o
- [ 95%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/parallel_options.cpp.o
- [ 95%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/parser_options.cpp.o
- [ 95%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/printer_options.cpp.o
- [ 95%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/proof_options.cpp.o
- [ 95%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/prop_options.cpp.o
- [ 96%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/quantifiers_options.cpp.o
- [ 96%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/sep_options.cpp.o
- [ 96%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/sets_options.cpp.o
- [ 96%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/smt_options.cpp.o
- [ 96%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/strings_options.cpp.o
- [ 96%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/theory_options.cpp.o
- [ 96%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/uf_options.cpp.o
- [ 96%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/io_utils.cpp.o
- [ 97%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/options.cpp.o
- [ 97%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/options_public.cpp.o
- [ 97%] Building CXX object src/CMakeFiles/cvc5-obj.dir/main/options.cpp.o
- [ 97%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/kind.cpp.o
- [ 97%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/metakind.cpp.o
- [ 97%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/node_manager.cpp.o
- [ 97%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/type_checker.cpp.o
- [ 97%] Building CXX object src/CMakeFiles/cvc5-obj.dir/expr/type_properties.cpp.o
- [ 97%] Building CXX object src/CMakeFiles/cvc5-obj.dir/rewriter/rewrites.cpp.o
- [ 98%] Building CXX object src/CMakeFiles/cvc5-obj.dir/rewriter/rewrites-booleans-rewrites.cpp.o
- [ 98%] Building CXX object src/CMakeFiles/cvc5-obj.dir/theory/type_enumerator.cpp.o
- [ 98%] Built target cvc5-obj
- [100%] Building CXX object src/main/CMakeFiles/main.dir/portfolio_driver.cpp.o
- [100%] Building CXX object src/main/CMakeFiles/main.dir/interactive_shell.cpp.o
- [100%] Building CXX object src/main/CMakeFiles/main.dir/command_executor.cpp.o
- [100%] Linking CXX static library libcvc5.a
- [100%] Building CXX object src/main/CMakeFiles/main.dir/signal_handlers.cpp.o
- [100%] Building CXX object src/main/CMakeFiles/main.dir/time_limit.cpp.o
- [100%] Building CXX object src/main/CMakeFiles/main.dir/options.cpp.o
- [100%] Built target cvc5
- [100%] Linking CXX static library libcvc5parser.a
- [100%] Built target cvc5parser
- [100%] Built target main
- [100%] Building CXX object src/main/CMakeFiles/cvc5-bin.dir/driver_unified.cpp.o
- [100%] Building CXX object src/main/CMakeFiles/main-test.dir/driver_unified.cpp.o
- [100%] Building CXX object src/main/CMakeFiles/cvc5-bin.dir/main.cpp.o
- [100%] Linking CXX static library libmain-test.a
- [100%] Linking CXX executable ../../bin/cvc5
- [100%] Built target main-test
- [100%] Built target cvc5-bin
- make: Leaving directory '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/build'
- fatal: not a git repository: /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/../../.git/modules/vendor/cvc5
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp: In member function 'std::pair<cvc5::Sort, unsigned int> cvc5::Term::getCardinalityConstraint() const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp:3500:42: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  3500 |   const internal::CardinalityConstraint& cc =
-       |                                          ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp:3501:70: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::CardinalityConstraint>()'
-  3501 |       d_node->getOperator().getConst<internal::CardinalityConstraint>();
-       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp: In member function 'cvc5::Term cvc5::Term::getRealAlgebraicNumberDefiningPolynomial(const cvc5::Term&) const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp:3536:40: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  3536 |   const internal::RealAlgebraicNumber& ran =
-       |                                        ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp:3537:68: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::RealAlgebraicNumber>()'
-  3537 |       d_node->getOperator().getConst<internal::RealAlgebraicNumber>();
-       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp: In member function 'cvc5::Term cvc5::Term::getRealAlgebraicNumberLowerBound() const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp:3563:40: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  3563 |   const internal::RealAlgebraicNumber& ran =
-       |                                        ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp:3564:68: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::RealAlgebraicNumber>()'
-  3564 |       d_node->getOperator().getConst<internal::RealAlgebraicNumber>();
-       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp: In member function 'cvc5::Term cvc5::Term::getRealAlgebraicNumberUpperBound() const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp:3588:40: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  3588 |   const internal::RealAlgebraicNumber& ran =
-       |                                        ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/api/cpp/cvc5.cpp:3589:68: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::RealAlgebraicNumber>()'
-  3589 |       d_node->getOperator().getConst<internal::RealAlgebraicNumber>();
-       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/preprocessing/passes/miplib_trick.cpp: In member function 'virtual cvc5::internal::preprocessing::PreprocessingPassResult cvc5::internal::preprocessing::passes::MipLibTrick::applyInternal(cvc5::internal::preprocessing::AssertionPipeline*)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/preprocessing/passes/miplib_trick.cpp:331:25: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   331 |         const Rational& constant = ((*j1)[1][0].isConst())
-       |                         ^~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/preprocessing/passes/miplib_trick.cpp:332:72: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = false](0).cvc5::internal::NodeTemplate<false>::getConst<cvc5::internal::Rational>()'
-   332 |                                        ? (*j1)[1][0].getConst<Rational>()
-       |                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/preprocessing/passes/miplib_trick.cpp:402:25: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   402 |         const Rational& constant = ((*j1)[1][0].isConst())
-       |                         ^~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/preprocessing/passes/miplib_trick.cpp:403:72: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = false](0).cvc5::internal::NodeTemplate<false>::getConst<cvc5::internal::Rational>()'
-   403 |                                        ? (*j1)[1][0].getConst<Rational>()
-       |                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp: In member function 'bool cvc5::internal::printer::smt2::Smt2Printer::toStreamBase(std::ostream&, cvc5::internal::TNode, const cvc5::internal::LetBinding*, int) const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:667:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   667 |       const DType& dt = DType::datatypeOf(op);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:667:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(op))'
-   667 |       const DType& dt = DType::datatypeOf(op);
-       |                         ~~~~~~~~~~~~~~~~~^~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:812:34: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   812 |       const RealAlgebraicNumber& ran =
-       |                                  ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:813:56: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = false]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::RealAlgebraicNumber>()'
-   813 |           n.getOperator().getConst<RealAlgebraicNumber>();
-       |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:832:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   832 |       const DType& dt = DType::datatypeOf(n.getOperator());
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:832:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = false]())'
-   832 |       const DType& dt = DType::datatypeOf(n.getOperator());
-       |                         ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:862:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   862 |       const DType& dt = DType::datatypeOf(op);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:862:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(op))'
-   862 |       const DType& dt = DType::datatypeOf(op);
-       |                         ~~~~~~~~~~~~~~~~~^~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:879:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   879 |       const DType& dt = DType::datatypeOf(op);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:879:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(op))'
-   879 |       const DType& dt = DType::datatypeOf(op);
-       |                         ~~~~~~~~~~~~~~~~~^~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:909:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   909 |       const DType& dt = DType::datatypeOf(op);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/printer/smt2/smt2_printer.cpp:909:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(op))'
-   909 |       const DType& dt = DType::datatypeOf(op);
-       |                         ~~~~~~~~~~~~~~~~~^~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp: In member function 'virtual cvc5::internal::Node cvc5::internal::proof::AlfNodeConverter::postConvert(cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp:269:33: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   269 |     const IndexedRootPredicate& irp =
-       |                                 ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp:270:55: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::IndexedRootPredicate>()'
-   270 |         n.getOperator().getConst<IndexedRootPredicate>();
-       |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp: In member function 'virtual cvc5::internal::Node cvc5::internal::proof::AlfNodeConverter::getOperatorOfTerm(cvc5::internal::Node, bool)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp:542:22: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   542 |         const DType& dt = DType::datatypeOf(op);
-       |                      ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp:542:44: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(op))'
-   542 |         const DType& dt = DType::datatypeOf(op);
-       |                           ~~~~~~~~~~~~~~~~~^~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp:568:22: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   568 |         const DType& dt = DType::datatypeOf(op);
-       |                      ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp:568:44: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(op))'
-   568 |         const DType& dt = DType::datatypeOf(op);
-       |                           ~~~~~~~~~~~~~~~~~^~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp:594:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   594 |       const DType& dt = DType::datatypeOf(op);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp:594:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(op))'
-   594 |       const DType& dt = DType::datatypeOf(op);
-       |                         ~~~~~~~~~~~~~~~~~^~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp:621:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   621 |       const DType& dt = DType::datatypeOf(op);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/alf/alf_node_converter.cpp:621:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(op))'
-   621 |       const DType& dt = DType::datatypeOf(op);
-       |                         ~~~~~~~~~~~~~~~~~^~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/lfsc/lfsc_node_converter.cpp: In member function 'virtual cvc5::internal::Node cvc5::internal::proof::LfscNodeConverter::postConvert(cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/lfsc/lfsc_node_converter.cpp:176:34: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   176 |     const CardinalityConstraint& cc =
-       |                                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/lfsc/lfsc_node_converter.cpp:177:56: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::CardinalityConstraint>()'
-   177 |         n.getOperator().getConst<CardinalityConstraint>();
-       |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/lfsc/lfsc_node_converter.cpp:193:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   193 |     const DType& dt = DType::datatypeOf(n.getOperator());
-       |                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/lfsc/lfsc_node_converter.cpp:193:40: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]())'
-   193 |     const DType& dt = DType::datatypeOf(n.getOperator());
-       |                       ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/lfsc/lfsc_node_converter.cpp: In member function 'cvc5::internal::Node cvc5::internal::proof::LfscNodeConverter::getOperatorOfTerm(cvc5::internal::Node, bool)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/lfsc/lfsc_node_converter.cpp:1034:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  1034 |       const DType& dt = DType::datatypeOf(op);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/lfsc/lfsc_node_converter.cpp:1034:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(op))'
-  1034 |       const DType& dt = DType::datatypeOf(op);
-       |                         ~~~~~~~~~~~~~~~~~^~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/lfsc/lfsc_node_converter.cpp:1044:22: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  1044 |         const DType& dt = DType::datatypeOf(op);
-       |                      ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/proof/lfsc/lfsc_node_converter.cpp:1044:44: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(op))'
-  1044 |         const DType& dt = DType::datatypeOf(op);
-       |                           ~~~~~~~~~~~~~~~~~^~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp: In static member function 'static cvc5::internal::theory::RewriteResponse cvc5::internal::theory::arith::ArithRewriter::postRewriteAtom(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:138:23: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   138 |       const Rational& num = atom[0].getConst<Rational>();
-       |                       ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:138:55: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = false](0).cvc5::internal::NodeTemplate<false>::getConst<cvc5::internal::Rational>()'
-   138 |       const Rational& num = atom[0].getConst<Rational>();
-       |                             ~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp: In static member function 'static cvc5::internal::theory::RewriteResponse cvc5::internal::theory::arith::ArithRewriter::postRewriteTerm(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:310:27: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   310 |           const Rational& exp = t[1].getConst<Rational>();
-       |                           ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:310:56: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = false](1).cvc5::internal::NodeTemplate<false>::getConst<cvc5::internal::Rational>()'
-   310 |           const Rational& exp = t[1].getConst<Rational>();
-       |                                 ~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp: In static member function 'static cvc5::internal::theory::RewriteResponse cvc5::internal::theory::arith::ArithRewriter::rewriteRAN(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:366:30: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   366 |   const RealAlgebraicNumber& r = rewriter::getRAN(t);
-       |                              ^
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:366:50: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::arith::rewriter::getRAN(cvc5::internal::NodeTemplate<false>(t))'
-   366 |   const RealAlgebraicNumber& r = rewriter::getRAN(t);
-       |                                  ~~~~~~~~~~~~~~~~^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp: In static member function 'static cvc5::internal::theory::RewriteResponse cvc5::internal::theory::arith::ArithRewriter::rewriteDiv(cvc5::internal::TNode, bool)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:569:32: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   569 |     const RealAlgebraicNumber& den = rewriter::getRAN(right);
-       |                                ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:569:54: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::arith::rewriter::getRAN(cvc5::internal::NodeTemplate<false>(right))'
-   569 |     const RealAlgebraicNumber& den = rewriter::getRAN(right);
-       |                                      ~~~~~~~~~~~~~~~~^~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp: In static member function 'static cvc5::internal::theory::RewriteResponse cvc5::internal::theory::arith::ArithRewriter::rewriteToReal(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:616:21: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   616 |     const Rational& rat = t[0].getConst<Rational>();
-       |                     ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:616:50: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = false](0).cvc5::internal::NodeTemplate<false>::getConst<cvc5::internal::Rational>()'
-   616 |     const Rational& rat = t[0].getConst<Rational>();
-       |                           ~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp: In static member function 'static cvc5::internal::theory::RewriteResponse cvc5::internal::theory::arith::ArithRewriter::rewriteAbs(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:634:21: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   634 |     const Rational& rat = t[0].getConst<Rational>();
-       |                     ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:634:50: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = false](0).cvc5::internal::NodeTemplate<false>::getConst<cvc5::internal::Rational>()'
-   634 |     const Rational& rat = t[0].getConst<Rational>();
-       |                           ~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:645:32: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   645 |     const RealAlgebraicNumber& ran = rewriter::getRAN(t[0]);
-       |                                ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:645:54: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::arith::rewriter::getRAN(cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = false](0))'
-   645 |     const RealAlgebraicNumber& ran = rewriter::getRAN(t[0]);
-       |                                      ~~~~~~~~~~~~~~~~^~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp: In static member function 'static cvc5::internal::theory::RewriteResponse cvc5::internal::theory::arith::ArithRewriter::postRewriteTranscendental(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:979:25: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   979 |         const Rational& rat = t[0].getConst<Rational>();
-       |                         ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/arith_rewriter.cpp:979:54: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = false](0).cvc5::internal::NodeTemplate<false>::getConst<cvc5::internal::Rational>()'
-   979 |         const Rational& rat = t[0].getConst<Rational>();
-       |                               ~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/linear/normal_form.cpp: In member function 'cvc5::internal::DeltaRational cvc5::internal::theory::arith::linear::Comparison::normalizedDeltaRational() const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/linear/normal_form.cpp:752:23: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   752 |       const Rational& q = atom[1].getConst<Rational>();
-       |                       ^
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/linear/normal_form.cpp:752:53: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = true](1).cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::Rational>()'
-   752 |       const Rational& q = atom[1].getConst<Rational>();
-       |                           ~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/rewriter/rewrite_atom.cpp: In function 'std::optional<bool> cvc5::internal::theory::arith::rewriter::tryEvaluateRelation(cvc5::internal::Kind, cvc5::internal::TNode, cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/rewriter/rewrite_atom.cpp:205:34: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   205 |       const RealAlgebraicNumber& r =
-       |                                  ^
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/rewriter/rewrite_atom.cpp:206:60: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = false]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::RealAlgebraicNumber>()'
-   206 |           right.getOperator().getConst<RealAlgebraicNumber>();
-       |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/rewriter/rewrite_atom.cpp:212:32: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   212 |     const RealAlgebraicNumber& l =
-       |                                ^
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/rewriter/rewrite_atom.cpp:213:57: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = false]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::RealAlgebraicNumber>()'
-   213 |         left.getOperator().getConst<RealAlgebraicNumber>();
-       |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/rewriter/rewrite_atom.cpp:221:34: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   221 |       const RealAlgebraicNumber& r =
-       |                                  ^
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/arith/rewriter/rewrite_atom.cpp:222:60: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = false]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::RealAlgebraicNumber>()'
-   222 |           right.getOperator().getConst<RealAlgebraicNumber>();
-       |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp: In member function 'cvc5::internal::theory::bags::InferInfo cvc5::internal::theory::bags::InferenceGenerator::joinUp(cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp:696:32: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   696 |   const std::vector<uint32_t>& indices =
-       |                                ^~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp:697:55: note: the temporary was destroyed at the end of the full expression '(& cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::ProjectOp>())->cvc5::internal::ProjectOp::getIndices()'
-   697 |       n.getOperator().getConst<ProjectOp>().getIndices();
-       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp: In member function 'cvc5::internal::theory::bags::InferInfo cvc5::internal::theory::bags::InferenceGenerator::joinDown(cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp:753:32: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   753 |   const std::vector<uint32_t>& indices =
-       |                                ^~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp:754:55: note: the temporary was destroyed at the end of the full expression '(& cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::ProjectOp>())->cvc5::internal::ProjectOp::getIndices()'
-   754 |       n.getOperator().getConst<ProjectOp>().getIndices();
-       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp: In member function 'cvc5::internal::theory::bags::InferInfo cvc5::internal::theory::bags::InferenceGenerator::groupSameProjection(cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp:926:32: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   926 |   const std::vector<uint32_t>& indices =
-       |                                ^~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp:927:55: note: the temporary was destroyed at the end of the full expression '(& cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::ProjectOp>())->cvc5::internal::ProjectOp::getIndices()'
-   927 |       n.getOperator().getConst<ProjectOp>().getIndices();
-       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp: In member function 'cvc5::internal::theory::bags::InferInfo cvc5::internal::theory::bags::InferenceGenerator::groupSamePart(cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp:961:32: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   961 |   const std::vector<uint32_t>& indices =
-       |                                ^~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bags/inference_generator.cpp:962:55: note: the temporary was destroyed at the end of the full expression '(& cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::ProjectOp>())->cvc5::internal::ProjectOp::getIndices()'
-   962 |       n.getOperator().getConst<ProjectOp>().getIndices();
-       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/builtin/generic_op.cpp: In static member function 'static std::vector<cvc5::internal::NodeTemplate<true> > cvc5::internal::GenericOp::getIndicesForOperator(cvc5::internal::Kind, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/builtin/generic_op.cpp:213:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   213 |       const DType& dt = DType::datatypeOf(n);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/builtin/generic_op.cpp:213:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(n))'
-   213 |       const DType& dt = DType::datatypeOf(n);
-       |                         ~~~~~~~~~~~~~~~~~^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/builtin/generic_op.cpp:220:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   220 |       const DType& dt = DType::datatypeOf(n);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/builtin/generic_op.cpp:220:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(n))'
-   220 |       const DType& dt = DType::datatypeOf(n);
-       |                         ~~~~~~~~~~~~~~~~~^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/builtin/generic_op.cpp: In static member function 'static cvc5::internal::Node cvc5::internal::GenericOp::getOperatorForIndices(cvc5::internal::Kind, const std::vector<cvc5::internal::NodeTemplate<true> >&)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/builtin/generic_op.cpp:353:22: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   353 |         const DType& dt = DType::datatypeOf(indices[0]);
-       |                      ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/builtin/generic_op.cpp:353:44: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>((* &(& indices)->std::vector<cvc5::internal::NodeTemplate<true> >::operator[](0))))'
-   353 |         const DType& dt = DType::datatypeOf(indices[0]);
-       |                           ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/builtin/generic_op.cpp:361:22: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   361 |         const DType& dt = DType::datatypeOf(indices[0]);
-       |                      ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/builtin/generic_op.cpp:361:44: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>((* &(& indices)->std::vector<cvc5::internal::NodeTemplate<true> >::operator[](0))))'
-   361 |         const DType& dt = DType::datatypeOf(indices[0]);
-       |                           ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bv/theory_bv_type_rules.cpp: In static member function 'static cvc5::internal::TypeNode cvc5::internal::theory::bv::BitVectorConstantSymbolicTypeRule::computeType(cvc5::internal::NodeManager*, cvc5::internal::TNode, bool, std::ostream*)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bv/theory_bv_type_rules.cpp:124:21: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   124 |     const Rational& r = n[1].getConst<Rational>();
-       |                     ^
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/bv/theory_bv_type_rules.cpp:124:48: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = false](1).cvc5::internal::NodeTemplate<false>::getConst<cvc5::internal::Rational>()'
-   124 |     const Rational& r = n[1].getConst<Rational>();
-       |                         ~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp: In member function 'virtual cvc5::internal::theory::RewriteResponse cvc5::internal::theory::datatypes::DatatypesRewriter::postRewrite(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:83:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-    83 |       const DType& dt = utils::datatypeOf(constructor);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:83:42: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::datatypes::utils::datatypeOf(cvc5::internal::NodeTemplate<true>(constructor))'
-    83 |       const DType& dt = utils::datatypeOf(constructor);
-       |                         ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp: In member function 'virtual cvc5::internal::theory::RewriteResponse cvc5::internal::theory::datatypes::DatatypesRewriter::preRewrite(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:334:33: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   334 |         const DTypeConstructor& dtc = utils::datatypeOf(op)[utils::indexOf(op)];
-       |                                 ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:334:79: note: the temporary was destroyed at the end of the full expression '(& cvc5::internal::theory::datatypes::utils::datatypeOf(cvc5::internal::NodeTemplate<true>(op)))->cvc5::internal::DType::operator[](cvc5::internal::theory::datatypes::utils::indexOf(cvc5::internal::NodeTemplate<true>(op)))'
-   334 |         const DTypeConstructor& dtc = utils::datatypeOf(op)[utils::indexOf(op)];
-       |                                                                               ^
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp: In static member function 'static cvc5::internal::theory::RewriteResponse cvc5::internal::theory::datatypes::DatatypesRewriter::rewriteSelector(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:385:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   385 |     const DType& dt = utils::datatypeOf(selector);
-       |                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:385:40: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::datatypes::utils::datatypeOf(cvc5::internal::NodeTemplate<true>(selector))'
-   385 |     const DType& dt = utils::datatypeOf(selector);
-       |                       ~~~~~~~~~~~~~~~~~^~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp: In static member function 'static cvc5::internal::theory::RewriteResponse cvc5::internal::theory::datatypes::DatatypesRewriter::rewriteTester(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:438:16: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   438 |   const DType& dt = in[0].getType().getDType();
-       |                ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:438:45: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = false](0).cvc5::internal::TypeNode::getDType()'
-   438 |   const DType& dt = in[0].getType().getDType();
-       |                     ~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp: In member function 'cvc5::internal::theory::RewriteResponse cvc5::internal::theory::datatypes::DatatypesRewriter::rewriteNullableLift(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:482:16: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   482 |   const DType& dt = n.getType().getDType();
-       |                ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:482:41: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = false](0).cvc5::internal::TypeNode::getDType()'
-   482 |   const DType& dt = n.getType().getDType();
-       |                     ~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp: In static member function 'static cvc5::internal::Node cvc5::internal::theory::datatypes::DatatypesRewriter::expandApplySelector(cvc5::internal::Node, bool)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:848:16: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   848 |   const DType& dt = utils::datatypeOf(selector);
-       |                ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:848:38: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::datatypes::utils::datatypeOf(cvc5::internal::NodeTemplate<true>(selector))'
-   848 |   const DType& dt = utils::datatypeOf(selector);
-       |                     ~~~~~~~~~~~~~~~~~^~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp: In member function 'cvc5::internal::Node cvc5::internal::theory::datatypes::DatatypesRewriter::sygusToBuiltinEval(cvc5::internal::Node, const std::vector<cvc5::internal::NodeTemplate<true> >&)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:1050:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  1050 |       const DType& dt = cur.getType().getDType();
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/datatypes_rewriter.cpp:1050:47: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = false](0).cvc5::internal::TypeNode::getDType()'
-  1050 |       const DType& dt = cur.getType().getDType();
-       |                         ~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/proof_checker.cpp: In member function 'virtual cvc5::internal::Node cvc5::internal::theory::datatypes::DatatypesProofRuleChecker::checkInternal(cvc5::ProofRule, const std::vector<cvc5::internal::NodeTemplate<true> >&, const std::vector<cvc5::internal::NodeTemplate<true> >&)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/proof_checker.cpp:92:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-    92 |     const DType& dt = utils::datatypeOf(selector);
-       |                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/proof_checker.cpp:92:40: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::datatypes::utils::datatypeOf(cvc5::internal::NodeTemplate<true>(selector))'
-    92 |     const DType& dt = utils::datatypeOf(selector);
-       |                       ~~~~~~~~~~~~~~~~~^~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_datatype_utils.cpp: In function 'cvc5::internal::Node cvc5::internal::theory::datatypes::utils::sygusToBuiltin(cvc5::internal::Node, bool)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_datatype_utils.cpp:292:24: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   292 |           const DType& dt = cur.getType().getDType();
-       |                        ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_datatype_utils.cpp:292:51: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = false](0).cvc5::internal::TypeNode::getDType()'
-   292 |           const DType& dt = cur.getType().getDType();
-       |                             ~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_datatype_utils.cpp:314:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   314 |       const DType& dt = cur.getType().getDType();
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_datatype_utils.cpp:314:47: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = false](0).cvc5::internal::TypeNode::getDType()'
-   314 |       const DType& dt = cur.getType().getDType();
-       |                         ~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_datatype_utils.cpp: In function 'unsigned int cvc5::internal::theory::datatypes::utils::getSygusTermSize(cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_datatype_utils.cpp:580:16: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   580 |   const DType& dt = datatypeOf(n.getOperator());
-       |                ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_datatype_utils.cpp:580:31: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::datatypes::utils::datatypeOf(cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]())'
-   580 |   const DType& dt = datatypeOf(n.getOperator());
-       |                     ~~~~~~~~~~^~~~~~~~~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_extension.cpp: In member function 'void cvc5::internal::theory::datatypes::SygusExtension::assertTesterInternal(int, cvc5::internal::TNode, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_extension.cpp:269:24: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   269 |           const DType& dti = x.getType().getDType();
-       |                        ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/sygus_extension.cpp:269:50: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = true](0).cvc5::internal::TypeNode::getDType()'
-   269 |           const DType& dti = x.getType().getDType();
-       |                              ~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/theory_datatypes.cpp: In member function 'void cvc5::internal::theory::datatypes::TheoryDatatypes::addTester(unsigned int, cvc5::internal::Node, EqcInfo*, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/theory_datatypes.cpp:739:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   739 |       const DType& dt = t_arg.getType().getDType();
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/theory_datatypes.cpp:739:49: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = true](0).cvc5::internal::TypeNode::getDType()'
-   739 |       const DType& dt = t_arg.getType().getDType();
-       |                         ~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/theory_datatypes.cpp: In member function 'void cvc5::internal::theory::datatypes::TheoryDatatypes::collapseSelector(cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/theory_datatypes.cpp:886:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   886 |     const DType& dt = utils::datatypeOf(selector);
-       |                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/theory_datatypes.cpp:886:40: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::datatypes::utils::datatypeOf(cvc5::internal::NodeTemplate<true>(selector))'
-   886 |     const DType& dt = utils::datatypeOf(selector);
-       |                       ~~~~~~~~~~~~~~~~~^~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/theory_datatypes.cpp: In member function 'void cvc5::internal::theory::datatypes::TheoryDatatypes::registerInitialLemmas(cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/theory_datatypes.cpp:1161:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  1161 |     const DType& dt = n[0].getType().getDType();
-       |                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/theory_datatypes.cpp:1161:46: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = true](0).cvc5::internal::TypeNode::getDType()'
-  1161 |     const DType& dt = n[0].getType().getDType();
-       |                       ~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/tuple_utils.cpp: In static member function 'static cvc5::internal::Node cvc5::internal::theory::datatypes::TupleUtils::getTupleProjection(const std::vector<unsigned int>&, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/tuple_utils.cpp:92:16: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-    92 |   const DType& tupleDType = tuple.getType().getDType();
-       |                ^~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/datatypes/tuple_utils.cpp:92:53: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = true](0).cvc5::internal::TypeNode::getDType()'
-    92 |   const DType& tupleDType = tuple.getType().getDType();
-       |                             ~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/fp/theory_fp_rewriter.cpp: In function 'cvc5::internal::theory::RewriteResponse cvc5::internal::theory::fp::constantFold::convertFromIEEEBitVectorLiteral(cvc5::internal::TNode, bool)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/fp/theory_fp_rewriter.cpp:758:22: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   758 |     const BitVector &bv = node[0].getConst<BitVector>();
-       |                      ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/fp/theory_fp_rewriter.cpp:758:54: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = false](0).cvc5::internal::NodeTemplate<false>::getConst<cvc5::internal::BitVector>()'
-   758 |     const BitVector &bv = node[0].getConst<BitVector>();
-       |                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/ematching/inst_match_generator.cpp: In member function 'void cvc5::internal::theory::quantifiers::inst::InstMatchGenerator::initialize(cvc5::internal::Node, std::vector<cvc5::internal::theory::quantifiers::inst::InstMatchGenerator*>&)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/ematching/inst_match_generator.cpp:226:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   226 |       const DType& dt = d_match_pattern.getType().getDType();
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/ematching/inst_match_generator.cpp:226:59: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = true](0).cvc5::internal::TypeNode::getDType()'
-   226 |       const DType& dt = d_match_pattern.getType().getDType();
-       |                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/ematching/inst_match_generator.cpp:256:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   256 |       const DType& dt = datatypes::utils::datatypeOf(selectorExpr);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/ematching/inst_match_generator.cpp:256:53: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::datatypes::utils::datatypeOf(cvc5::internal::NodeTemplate<true>(selectorExpr))'
-   256 |       const DType& dt = datatypes::utils::datatypeOf(selectorExpr);
-       |                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/fmf/bounded_integers.cpp: In member function 'cvc5::internal::Node cvc5::internal::theory::quantifiers::BoundedIntegers::matchBoundVar(cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/fmf/bounded_integers.cpp:821:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   821 |     const DType& dt = datatypes::utils::datatypeOf(t.getOperator());
-       |                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/fmf/bounded_integers.cpp:821:51: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::datatypes::utils::datatypeOf(cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]())'
-   821 |     const DType& dt = datatypes::utils::datatypeOf(t.getOperator());
-       |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/quantifiers_rewriter.cpp: In static member function 'static void cvc5::internal::theory::quantifiers::QuantifiersRewriter::computeDtTesterIteSplit(cvc5::internal::Node, std::map<cvc5::internal::NodeTemplate<true>, cvc5::internal::NodeTemplate<true> >&, std::map<cvc5::internal::NodeTemplate<true>, std::map<int, cvc5::internal::NodeTemplate<true> > >&, std::vector<cvc5::internal::NodeTemplate<true> >&)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/quantifiers_rewriter.cpp:564:22: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   564 |         const DType& dt = x.getType().getDType();
-       |                      ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/quantifiers_rewriter.cpp:564:47: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = true](0).cvc5::internal::TypeNode::getDType()'
-   564 |         const DType& dt = x.getType().getDType();
-       |                           ~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/quantifiers_rewriter.cpp: In member function 'bool cvc5::internal::theory::quantifiers::QuantifiersRewriter::getVarElimLit(cvc5::internal::Node, cvc5::internal::Node, bool, std::vector<cvc5::internal::NodeTemplate<true> >&, std::vector<cvc5::internal::NodeTemplate<true> >&, std::vector<cvc5::internal::NodeTemplate<true> >&) const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/quantifiers_rewriter.cpp:1109:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  1109 |       const DType& dt = datatypes::utils::datatypeOf(tester);
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/quantifiers_rewriter.cpp:1109:53: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::theory::datatypes::utils::datatypeOf(cvc5::internal::NodeTemplate<true>(tester))'
-  1109 |       const DType& dt = datatypes::utils::datatypeOf(tester);
-       |                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/sygus/print_sygus_to_builtin.cpp: In function 'cvc5::internal::Node cvc5::internal::theory::quantifiers::getPrintableSygusToBuiltin(cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/sygus/print_sygus_to_builtin.cpp:62:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-    62 |       const DType& dt = cur.getType().getDType();
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/sygus/print_sygus_to_builtin.cpp:62:47: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = false](0).cvc5::internal::TypeNode::getDType()'
-    62 |       const DType& dt = cur.getType().getDType();
-       |                         ~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/sygus/sygus_unif_strat.cpp: In member function 'void cvc5::internal::theory::quantifiers::SygusUnifStrategy::staticLearnRedundantOps(std::map<cvc5::internal::NodeTemplate<true>, std::vector<cvc5::internal::NodeTemplate<true> > >&, cvc5::internal::theory::quantifiers::StrategyRestrictions&)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:728:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   728 |     const DType& dt = em.getType().getDType();
-       |                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/quantifiers/sygus/sygus_unif_strat.cpp:728:44: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getType(bool) const [with bool ref_count = true](0).cvc5::internal::TypeNode::getDType()'
-   728 |     const DType& dt = em.getType().getDType();
-       |                       ~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/rels_utils.cpp: In static member function 'static cvc5::internal::Node cvc5::internal::theory::sets::RelsUtils::constructPair(cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/rels_utils.cpp:79:16: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-    79 |   const DType& dt = rel.getType().getSetElementType().getDType();
-       |                ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/rels_utils.cpp:79:63: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::TypeNode::getSetElementType() const().cvc5::internal::TypeNode::getDType()'
-    79 |   const DType& dt = rel.getType().getSetElementType().getDType();
-       |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_private.cpp: In member function 'void cvc5::internal::theory::sets::TheorySetsPrivate::groupSameProjection(cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_private.cpp:1143:32: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  1143 |   const std::vector<uint32_t>& indices =
-       |                                ^~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_private.cpp:1144:55: note: the temporary was destroyed at the end of the full expression '(& cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::ProjectOp>())->cvc5::internal::ProjectOp::getIndices()'
-  1144 |       n.getOperator().getConst<ProjectOp>().getIndices();
-       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_private.cpp: In member function 'void cvc5::internal::theory::sets::TheorySetsPrivate::groupSamePart(cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_private.cpp:1178:32: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  1178 |   const std::vector<uint32_t>& indices =
-       |                                ^~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_private.cpp:1179:55: note: the temporary was destroyed at the end of the full expression '(& cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::ProjectOp>())->cvc5::internal::ProjectOp::getIndices()'
-  1179 |       n.getOperator().getConst<ProjectOp>().getIndices();
-       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp: In member function 'void cvc5::internal::theory::sets::TheorySetsRels::computeMembersForJoinImageTerm(cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:322:20: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   322 |       const DType& dt =
-       |                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:323:65: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::TypeNode::getSetElementType() const().cvc5::internal::TypeNode::getDType()'
-   323 |           join_image_term.getType().getSetElementType().getDType();
-       |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp: In member function 'void cvc5::internal::theory::sets::TheorySetsRels::applyIdenRule(cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:471:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   471 |     const DType& dt = iden_term[0].getType().getSetElementType().getDType();
-       |                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:471:74: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::TypeNode::getSetElementType() const().cvc5::internal::TypeNode::getDType()'
-   471 |     const DType& dt = iden_term[0].getType().getSetElementType().getDType();
-       |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp: In member function 'void cvc5::internal::theory::sets::TheorySetsRels::applyProductRule(cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:848:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   848 |     const DType& dt1 = pt_rel[0].getType().getSetElementType().getDType();
-       |                  ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:848:72: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::TypeNode::getSetElementType() const().cvc5::internal::TypeNode::getDType()'
-   848 |     const DType& dt1 = pt_rel[0].getType().getSetElementType().getDType();
-       |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:858:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   858 |     const DType& dt2 = pt_rel[1].getType().getSetElementType().getDType();
-       |                  ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:858:72: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::TypeNode::getSetElementType() const().cvc5::internal::TypeNode::getDType()'
-   858 |     const DType& dt2 = pt_rel[1].getType().getSetElementType().getDType();
-       |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp: In member function 'void cvc5::internal::theory::sets::TheorySetsRels::applyJoinRule(cvc5::internal::Node, cvc5::internal::Node, cvc5::internal::Node)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:910:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   910 |     const DType& dt1 = join_rel[0].getType().getSetElementType().getDType();
-       |                  ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:910:74: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::TypeNode::getSetElementType() const().cvc5::internal::TypeNode::getDType()'
-   910 |     const DType& dt1 = join_rel[0].getType().getSetElementType().getDType();
-       |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:920:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   920 |     const DType& dt2 = join_rel[1].getType().getSetElementType().getDType();
-       |                  ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rels.cpp:920:74: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::TypeNode::getSetElementType() const().cvc5::internal::TypeNode::getDType()'
-   920 |     const DType& dt2 = join_rel[1].getType().getSetElementType().getDType();
-       |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rewriter.cpp: In member function 'virtual cvc5::internal::theory::RewriteResponse cvc5::internal::theory::sets::TheorySetsRewriter::postRewrite(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rewriter.cpp:594:24: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   594 |           const DType& dt = node.getType().getSetElementType().getDType();
-       |                        ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/sets/theory_sets_rewriter.cpp:594:72: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::TypeNode::getSetElementType() const().cvc5::internal::TypeNode::getDType()'
-   594 |           const DType& dt = node.getType().getSetElementType().getDType();
-       |                             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/strings/regexp_eval.cpp: In static member function 'static cvc5::internal::theory::strings::NfaState* cvc5::internal::theory::strings::NfaState::constructInternal(cvc5::internal::Node, std::vector<std::shared_ptr<cvc5::internal::theory::strings::NfaState> >&)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/strings/regexp_eval.cpp:157:23: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   157 |         const String& str = r[0].getConst<String>();
-       |                       ^~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/strings/regexp_eval.cpp:157:50: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::operator[](int) const [with bool ref_count = true](0).cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::String>()'
-   157 |         const String& str = r[0].getConst<String>();
-       |                             ~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/theory_model.cpp: In member function 'cvc5::internal::Node cvc5::internal::theory::TheoryModel::getModelValue(cvc5::internal::TNode) const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/theory_model.cpp:260:36: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   260 |       const CardinalityConstraint& cc =
-       |                                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/theory_model.cpp:261:60: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::CardinalityConstraint>()'
-   261 |           ret.getOperator().getConst<CardinalityConstraint>();
-       |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/uf/cardinality_extension.cpp: In member function 'void cvc5::internal::theory::uf::CardinalityExtension::assertNode(cvc5::internal::Node, bool)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/uf/cardinality_extension.cpp:1353:36: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  1353 |       const CardinalityConstraint& cc =
-       |                                    ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/uf/cardinality_extension.cpp:1354:60: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = false]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::CardinalityConstraint>()'
-  1354 |           lit.getOperator().getConst<CardinalityConstraint>();
-       |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/uf/cardinality_extension.cpp:1426:46: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  1426 |         const CombinedCardinalityConstraint& cc =
-       |                                              ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/uf/cardinality_extension.cpp:1427:70: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = false]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::CombinedCardinalityConstraint>()'
-  1427 |             lit.getOperator().getConst<CombinedCardinalityConstraint>();
-       |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/uf/cardinality_extension.cpp: In member function 'void cvc5::internal::theory::uf::CardinalityExtension::preRegisterTerm(cvc5::internal::TNode)':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/uf/cardinality_extension.cpp:1620:34: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-  1620 |     const CardinalityConstraint& cc =
-       |                                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/theory/uf/cardinality_extension.cpp:1621:56: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate<ref_count>::getOperator() const [with bool ref_count = false]().cvc5::internal::NodeTemplate<true>::getConst<cvc5::internal::CardinalityConstraint>()'
-  1621 |         n.getOperator().getConst<CardinalityConstraint>();
-       |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/type_node.cpp: In member function 'bool cvc5::internal::TypeNode::isInstantiatedDatatype() const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/type_node.cpp:489:16: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   489 |   const DType& dt = (*this)[0].getDType();
-       |                ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/type_node.cpp:489:40: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::TypeNode::operator[](int) const(0).cvc5::internal::TypeNode::getDType()'
-   489 |   const DType& dt = (*this)[0].getDType();
-       |                     ~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/type_node.cpp: In member function 'bool cvc5::internal::TypeNode::isParameterInstantiatedDatatype(size_t) const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/type_node.cpp:571:16: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   571 |   const DType& dt = (*this)[0].getDType();
-       |                ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/type_node.cpp:571:40: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::TypeNode::operator[](int) const(0).cvc5::internal::TypeNode::getDType()'
-   571 |   const DType& dt = (*this)[0].getDType();
-       |                     ~~~~~~~~~~~~~~~~~~~^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/dtype_cons.cpp: In member function 'cvc5::internal::TypeNode cvc5::internal::DTypeConstructor::getInstantiatedConstructorType(cvc5::internal::TypeNode) const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/dtype_cons.cpp:170:16: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   170 |   const DType& dt = DType::datatypeOf(d_constructor);
-       |                ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/dtype_cons.cpp:170:38: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(((const cvc5::internal::DTypeConstructor*)this)->cvc5::internal::DTypeConstructor::d_constructor))'
-   170 |   const DType& dt = DType::datatypeOf(d_constructor);
-       |                     ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/dtype_cons.cpp: In member function 'void cvc5::internal::DTypeConstructor::computeSharedSelectors(cvc5::internal::TypeNode) const':
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/dtype_cons.cpp:509:18: warning: possibly dangling reference to a temporary [-Wdangling-reference]
-   509 |     const DType& dt = DType::datatypeOf(d_constructor);
-       |                  ^~
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/src/expr/dtype_cons.cpp:509:40: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::DType::datatypeOf(cvc5::internal::NodeTemplate<true>(((const cvc5::internal::DTypeConstructor*)this)->cvc5::internal::DTypeConstructor::d_constructor))'
-   509 |     const DType& dt = DType::datatypeOf(d_constructor);
-       |                       ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~
- (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/cvc5/include -o build_enums.o -c build_enums.cpp)
- build_enums.cpp: In function 'void build_enums()':
- build_enums.cpp:43:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::__cxx11::basic_string<char>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
-    43 |     for (int j = 1; j < name.length(); j += 1)
-       |                     ~~^~~~~~~~~~~~~~~
- build_enums.cpp:73:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::__cxx11::basic_string<char>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
-    73 |     for (int j = 1; j < name.length(); j += 1)
-       |                     ~~^~~~~~~~~~~~~~~
- build_enums.cpp:103:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::__cxx11::basic_string<char>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
-   103 |     for (int j = 1; j < name.length(); j += 1)
-       |                     ~~^~~~~~~~~~~~~~~
- (cd _build/default && /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/cvc5/include -I vendor/cvc5/src -I vendor/cvc5/src/lib -o cvc5_stubs.o -c cvc5_stubs.cpp)
- In file included from cvc5_stubs.cpp:22:
- cvc5_stubs.cpp: In function 'value ocaml_cvc5_stub_sort_to_string(value)':
- /home/opam/.opam/default/lib/ocaml/caml/memory.h:302:29: warning: unused variable 'caml__frame' [-Wunused-variable]
-   302 |   struct caml__roots_block *caml__frame = *caml_local_roots_ptr
-       |                             ^~~~~~~~~~~
- /home/opam/.opam/default/lib/ocaml/caml/memory.h:305:3: note: in expansion of macro 'CAMLparam0'
-   305 |   CAMLparam0 (); \
-       |   ^~~~~~~~~~
- cvc5_stubs.cpp:880:3: note: in expansion of macro 'CAMLparam1'
-   880 |   CAMLparam1(v);
-       |   ^~~~~~~~~~
-> compiled  cvc5.1.1.3~unreleased
-> installed cvc5.1.1.3~unreleased
[WARNING] Opam packages conf-gmp.5, conf-python-3.9.0.0, conf-python-3-dev.1, conf-python3-pyparsing.1 and conf-python3-tomli.1 depend on the following system packages that are no longer installed: libgmp-dev python3 python3-dev python3-pyparsing python3-tomli
  - conf-gmp.5: depends on libgmp-dev
  - conf-python-3.9.0.0: depends on python3
  - conf-python-3-dev.1: depends on python3-dev
  - conf-python3-pyparsing.1: depends on python3-pyparsing
  - conf-python3-tomli.1: depends on python3-tomli

=== STDERR ===

2026-07-31 11:47.35: OK: build cvc5.1.1.3~unreleased (runc: 986.3s, disk: 217KB)
2026-07-31 11:47.35: Job succeeded