Failed linking with bitwuzla

[blessedqc]

┌──(blesqasm㉿kali)-[~/utils/Triton/build]
└─$ cmake -DLLVM_INTERFACE=ON -DCMAKE_PREFIX_PATH=$(llvm-config --prefix) -DBITWUZLA_INTERFACE=ON -DBITWUZLA_INCLUDE_DIR=/usr/local/include/bitwuzla ..
-- Compiling with Python bindings
-- Python3 includes: /usr/include/python3.11
-- Python3 libraries: /usr/lib/x86_64-linux-gnu/libpython3.11.so
-- Compiling with Z3 SMT solver
-- Found Z3 include directory: /usr/include
-- Found Z3 library: /usr/lib/x86_64-linux-gnu/libz3.so
-- Z3 version: 4.8.12.0
-- Compiling with Bitwuzla SMT solver
-- Found BITWUZLA include directory: /usr/local/include/bitwuzla
-- Found BITWUZLA library: /usr/local/lib/x86_64-linux-gnu/libbitwuzla.a
-- Compiling with LLVM
-- Performing Test HAVE_FFI_CALL
-- Performing Test HAVE_FFI_CALL - Success
-- Found FFI: /usr/lib/x86_64-linux-gnu/libffi.so
-- Performing Test Terminfo_LINKABLE
-- Performing Test Terminfo_LINKABLE - Success
-- Found Terminfo: /usr/lib/x86_64-linux-gnu/libtinfo.so
-- Found ZLIB: /usr/lib/x86_64-linux-gnu/libz.so (found version "1.3.1")
-- Could NOT find zstd (missing: zstd_LIBRARY zstd_INCLUDE_DIR)
-- Found LibXml2: /usr/lib/x86_64-linux-gnu/libxml2.so (found version "2.9.14")
-- Could NOT find CURL (missing: CURL_LIBRARY CURL_INCLUDE_DIR)
-- Found LLVM 16.0.6
-- Using LLVMConfig.cmake in: /usr/lib/llvm-16/cmake
-- Compiling with Capstone
-- Found CAPSTONE include directory: /usr/include
-- Found CAPSTONE library: /usr/lib/x86_64-linux-gnu/libcapstone.so
-- CAPSTONE version: 5.0.1
-- Compiling with wide-integer headers
-- Configuring done (0.4s)
-- Generating done (0.0s)
-- Build files have been written to: /home/blesqasm/utils/Triton/build

sudo make -j3
[ 3%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/aarch64/aarch64Semantics.cpp.o
[ 3%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/architecture.cpp.o
[ 3%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/aarch64/aarch64Cpu.cpp.o
[ 3%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/aarch64/aarch64Specifications.cpp.o
[ 4%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/arm32/arm32Cpu.cpp.o
[ 5%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/arm32/arm32Semantics.cpp.o
[ 6%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/arm32/arm32Specifications.cpp.o
[ 7%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/armOperandProperties.cpp.o
[ 8%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/basicBlock.cpp.o
[ 9%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/bitsVector.cpp.o
[ 10%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/immediate.cpp.o
[ 11%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/instruction.cpp.o
[ 11%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/irBuilder.cpp.o
[ 12%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/memoryAccess.cpp.o
[ 13%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/operandWrapper.cpp.o
[ 14%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/register.cpp.o
[ 15%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/riscv/riscv32Cpu.cpp.o
[ 16%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/riscv/riscv64Cpu.cpp.o
[ 17%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/riscv/riscvSemantics.cpp.o
[ 18%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/riscv/riscvSpecifications.cpp.o
[ 18%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/x86/x8664Cpu.cpp.o
[ 19%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/x86/x86Cpu.cpp.o
[ 20%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/x86/x86Semantics.cpp.o
[ 21%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/x86/x86Specifications.cpp.o
[ 22%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/ast.cpp.o
[ 23%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/astContext.cpp.o
[ 24%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/representations/astPcodeRepresentation.cpp.o
[ 25%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/representations/astPythonRepresentation.cpp.o
[ 26%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/representations/astRepresentation.cpp.o
[ 26%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/representations/astSmtRepresentation.cpp.o
[ 27%] Building CXX object src/libtriton/CMakeFiles/triton.dir/callbacks/callbacks.cpp.o
[ 28%] Building CXX object src/libtriton/CMakeFiles/triton.dir/context/context.cpp.o
[ 29%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/lifters/liftingToDot.cpp.o
[ 30%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/lifters/liftingToPython.cpp.o
[ 31%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/lifters/liftingToSMT.cpp.o
[ 32%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/solver/solverEngine.cpp.o
[ 33%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/solver/solverModel.cpp.o
[ 34%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/pathConstraint.cpp.o
[ 34%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/pathManager.cpp.o
[ 35%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/symbolicEngine.cpp.o
[ 36%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/symbolicExpression.cpp.o
[ 37%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/symbolicSimplification.cpp.o
[ 38%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/symbolicVariable.cpp.o
[ 39%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/synthesis/oracleTable.cpp.o
[ 40%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/synthesis/synthesisResult.cpp.o
[ 41%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/synthesis/synthesizer.cpp.o
[ 41%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/taint/taintEngine.cpp.o
[ 42%] Building CXX object src/libtriton/CMakeFiles/triton.dir/modes/modes.cpp.o
[ 43%] Building CXX object src/libtriton/CMakeFiles/triton.dir/stubs/aarch64-libc.cpp.o
[ 44%] Building CXX object src/libtriton/CMakeFiles/triton.dir/stubs/i386-systemv-libc.cpp.o
[ 45%] Building CXX object src/libtriton/CMakeFiles/triton.dir/stubs/x8664-ms-libc.cpp.o
[ 46%] Building CXX object src/libtriton/CMakeFiles/triton.dir/stubs/x8664-systemv-libc.cpp.o
[ 47%] Building CXX object src/libtriton/CMakeFiles/triton.dir/utils/coreUtils.cpp.o
[ 48%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/z3/tritonToZ3.cpp.o
[ 49%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/z3/z3ToTriton.cpp.o
[ 49%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/solver/z3/z3Solver.cpp.o
[ 50%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/bitwuzla/tritonToBitwuzla.cpp.o
[ 51%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/solver/bitwuzla/bitwuzlaSolver.cpp.o
[ 52%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/llvm/llvmToTriton.cpp.o
[ 53%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/llvm/tritonToLLVM.cpp.o
[ 54%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/lifters/liftingToLLVM.cpp.o
[ 55%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/init.cpp.o
[ 56%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/modules/tritonCallbacks.cpp.o
[ 57%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initArchNamespace.cpp.o
[ 57%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initAstNodeNamespace.cpp.o
[ 58%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initAstRepresentationNamespace.cpp.o
[ 59%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initCallbackNamespace.cpp.o
[ 60%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initConditionsNamespace.cpp.o
[ 61%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initCpuSizeNamespace.cpp.o
[ 62%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initExceptionNamespace.cpp.o
[ 63%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initExtendNamespace.cpp.o
[ 64%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initModeNamespace.cpp.o
[ 64%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initOpcodesNamespace.cpp.o
[ 65%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initOperandNamespace.cpp.o
[ 66%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initPrefixesNamespace.cpp.o
[ 67%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initRegNamespace.cpp.o
[ 68%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initShiftsNamespace.cpp.o
[ 69%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initSolverNamespace.cpp.o
[ 70%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initSolverStateNamespace.cpp.o
[ 71%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initStubsNamespace.cpp.o
[ 72%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initSymbolicNamespace.cpp.o
[ 72%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initVASNamespace.cpp.o
[ 73%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initVersionNamespace.cpp.o
[ 74%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyAstContext.cpp.o
[ 75%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyAstNode.cpp.o
[ 76%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyBitsVector.cpp.o
[ 77%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyBasicBlock.cpp.o
[ 78%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyImmediate.cpp.o
[ 79%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyInstruction.cpp.o
[ 80%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyMemoryAccess.cpp.o
[ 80%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyPathConstraint.cpp.o
[ 81%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyRegister.cpp.o
[ 82%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pySolverModel.cpp.o
[ 83%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pySymbolicExpression.cpp.o
[ 84%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pySymbolicVariable.cpp.o
[ 85%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyTritonContext.cpp.o
[ 86%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/pyXFunctions.cpp.o
[ 87%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/utils.cpp.o
[ 88%] Linking CXX shared library libtriton.so
[ 88%] Built target triton
[ 90%] Building CXX object src/examples/cpp/CMakeFiles/info_reg.dir/info_reg.cpp.o
[ 90%] Building CXX object src/examples/cpp/CMakeFiles/taint_reg.dir/taint_reg.cpp.o
[ 90%] Built target python-triton
[ 90%] Building CXX object src/examples/cpp/CMakeFiles/ir.dir/ir.cpp.o
[ 91%] Linking CXX executable taint_reg
[ 92%] Linking CXX executable info_reg
[ 93%] Linking CXX executable ir
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::from_si(unsigned long, long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::~BitVector()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvurem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode&&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::signed_compare(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_max_signed(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsext(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(unsigned long, std::__cxx11::basic_string<char, std::char_traits, std::allocator > const&, unsigned int)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvzext(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bveq(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvshl(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsub(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_get_str'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvor(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvdec() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvnot() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_set' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_trailing_zeros() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvinc()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_true()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::fix(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode&&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_sub' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::~BitVectorDomain()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::lsb() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvmodinv()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvshr(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::set_bit(unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvconcat(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::compare(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigCnfEncoder::statistics() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_init'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to std::hash<bzla::BitVector>::operator()(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_min_signed(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvsub(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_sub' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::register_root(unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvextract(unsigned long, unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_zero() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_z'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvand(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_add_ui'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_false()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::mk_node(bzla::ls::NodeKind, bzla::ls::BitVectorDomain const&, std::vector<unsigned long, std::allocator > const&, std::vector<unsigned long, std::allocator > const&, std::optional<std::__cxx11::basic_string<char, std::char_traits, std::allocator > > const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_ones(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_power_of_two() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::~AigNode()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_pow_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::hash() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_min_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_ui'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_max_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvextract(unsigned long, unsigned long) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::~AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvneg() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvudiv(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvneg()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::BitVectorDomain(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigCnfEncoder::value(bzla::bitblast::AigNode const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsrem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvconcat(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvadd(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::fix_bit(unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvashr(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::push()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator=(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvshl(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::move()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_true() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::to_uint64(bool) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::from_si(unsigned long, long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bit(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_canonicalize/usr/bin/ld'
: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::~BitVector()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvurem(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::signed_compare(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_max_signed(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsext(unsigned long) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(unsigned long, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvzext(unsigned long) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::msb() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bveq(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvshl(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_cmp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsub(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::fits_in_size(unsigned long, unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_get_str'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvor(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvdec() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvnot() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_one(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_set'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_trailing_zeros() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::statistics() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(bzla::BitVector&&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_zero(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::fits_in_size(unsigned long, std::__cxx11::basic_string<char, std::char_traits, std::allocator > const&, unsigned int)'
/usr/bin/ld: ../../libtriton/libtriton.so/usr/bin/ld: undefined reference to : bzla::BitVector::ibvinc()../../libtriton/libtriton.so' : undefined reference to bzla::BitVector::bvinc() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_ones() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to /usr/bin/ldbzla::BitVector::mk_true(): '
../../libtriton/libtriton.so: undefined reference to /usr/bin/ld: bzla::ls::LocalSearch<bzla::BitVector>::get_assignment(unsigned long) const../../libtriton/libtriton.so' : undefined reference to bzla::ls::BitVectorDomain::fix(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvxor(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::new_data()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_sub'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvmul(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigCnfEncoder::encode(bzla::bitblast::AigNode const&, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::~BitVectorDomain()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::lsb() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvmodinv()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvshr(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::set_bit(unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvconcat(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::compare(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_si' /usr/bin/ld: ../../libtriton/libtriton.so/usr/bin/ld: undefined reference to : bzla::bitblast::AigCnfEncoder::statistics() const../../libtriton/libtriton.so'
: undefined reference to bzla::BitVector::bvmul(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_one() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::LocalSearchBV(unsigned long, unsigned long, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_str'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::str[abi:cxx11](unsigned int) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_init'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to std::hash<bzla::BitVector>::operator()(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvsext(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_min_signed(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::rewrite_and(bzla::bitblast::AigNode const&, bzla::bitblast::AigNode const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_str'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvsub(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_sub'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to /usr/bin/ldbzla::ls::LocalSearch<bzla::BitVector>::register_root(unsigned long, bool): ' ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::from_ui(unsigned long, unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNodeData*, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvadd(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_mul_2exp'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvextract(unsigned long, unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_zero() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_z' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_clear'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_leading_zeros() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearch<bzla::BitVector>::pop()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvand(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvmodinv() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_add_ui'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_false()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::mk_node(bzla::BitVector const&, bzla::ls::BitVectorDomain const&, std::optional<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_cmp'
/usr/bin/ld: ../../libtriton/libtriton.so/usr/bin/ld: undefined reference to : ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::init()'
bzla::ls::LocalSearchBV::mk_node(bzla::ls::NodeKind, bzla::ls::BitVectorDomain const&, std::vector<unsigned long, std::allocator > const&, std::vector<unsigned long, std::allocator > const&, std::optional<std::__cxx11::basic_string<char, std::char_traits, std::allocator > > const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_ones(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_power_of_two() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvand(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::~AigNode()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator==(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_pow_ui' /usr/bin/ld: ../../libtriton/libtriton.so/usr/bin/ld: undefined reference to : bzla::BitVector::hash() const../../libtriton/libtriton.so'
: undefined reference to bzla::BitVector::count_leading_ones() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsdiv(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_min_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_ui'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_max_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvextract(unsigned long, unsigned long) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::~AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvneg() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvudiv(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvneg()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::BitVectorDomain(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigCnfEncoder::value(bzla::bitblast::AigNode const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsrem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvconcat(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvadd(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::fix_bit(unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvashr(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::push()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator=(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvshl(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::move()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_true() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::to_uint64(bool) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bit(unsigned long) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_canonicalize' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::msb() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_cmp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::fits_in_size(unsigned long, unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_one(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::statistics() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(bzla::BitVector&&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_zero(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::fits_in_size(unsigned long, std::__cxx11::basic_string<char, std::char_traits, std::allocator > const&, unsigned int)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvinc() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_ones() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearch<bzla::BitVector>::get_assignment(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvxor(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::new_data()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvmul(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigCnfEncoder::encode(bzla::bitblast::AigNode const&, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_si' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvmul(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_one() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::LocalSearchBV(unsigned long, unsigned long, unsigned int)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::str[abi:cxx11](unsigned int) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvsext(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::rewrite_and(bzla::bitblast::AigNode const&, bzla::bitblast::AigNode const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::from_ui(unsigned long, unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNodeData*, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvadd(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_leading_zeros() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearch<bzla::BitVector>::pop()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvmodinv() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::mk_node(bzla::BitVector const&, bzla::ls::BitVectorDomain const&, std::optional<std::__cxx11::basic_string<char, std::char_traits, std::allocator > > const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_cmp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::init()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvand(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator==(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_leading_ones() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsdiv(bzla::BitVector const&) const'
collect2: error: ld returned 1 exit status
make[2]: *** [src/examples/cpp/CMakeFiles/taint_reg.dir/build.make:102: src/examples/cpp/taint_reg] Error 1
make[1]: *** [CMakeFiles/Makefile2:1178: src/examples/cpp/CMakeFiles/taint_reg.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::from_si(unsigned long, long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::~BitVector()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvurem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode&&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::signed_compare(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_max_signed(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsext(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(unsigned long, std::__cxx11::basic_string<char, std::char_traits, std::allocator > const&, unsigned int)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvzext(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bveq(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvshl(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsub(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_get_str'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvor(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvdec() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvnot() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_set' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_trailing_zeros() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvinc()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_true()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::fix(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode&&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_sub' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::~BitVectorDomain()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::lsb() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvmodinv()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvshr(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::set_bit(unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvconcat(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::compare(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigCnfEncoder::statistics() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_init'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to std::hash<bzla::BitVector>::operator()(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_min_signed(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvsub(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_sub' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::register_root(unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvextract(unsigned long, unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_zero() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_z'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvand(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_add_ui'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_false()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::mk_node(bzla::ls::NodeKind, bzla::ls::BitVectorDomain const&, std::vector<unsigned long, std::allocator > const&, std::vector<unsigned long, std::allocator > const&, std::optional<std::__cxx11::basic_string<char, std::char_traits, std::allocator > > const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_ones(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_power_of_two() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::~AigNode()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_pow_ui' collect2: error: ld returned 1 exit status /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::hash() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_min_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_ui'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_max_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvextract(unsigned long, unsigned long) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::~AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvneg() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvudiv(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvneg()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::BitVectorDomain(unsigned long)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigCnfEncoder::value(bzla::bitblast::AigNode const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsrem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvconcat(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvadd(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::fix_bit(unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvashr(bzla::BitVector const&) const' make[2]: *** [src/examples/cpp/CMakeFiles/info_reg.dir/build.make:102: src/examples/cpp/info_reg] Error 1 /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::push()'
make[1]: *** [CMakeFiles/Makefile2:1204: src/examples/cpp/CMakeFiles/info_reg.dir/all] Error 2
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator=(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvshl(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::move()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_true() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::to_uint64(bool) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bit(unsigned long) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_canonicalize' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::msb() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_cmp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::fits_in_size(unsigned long, unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_one(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::statistics() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(bzla::BitVector&&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_zero(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::fits_in_size(unsigned long, std::__cxx11::basic_string<char, std::char_traits, std::allocator > const&, unsigned int)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvinc() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_ones() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearch<bzla::BitVector>::get_assignment(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvxor(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::new_data()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvmul(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigCnfEncoder::encode(bzla::bitblast::AigNode const&, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_si' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvmul(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_one() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::LocalSearchBV(unsigned long, unsigned long, unsigned int)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::str[abi:cxx11](unsigned int) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvsext(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::rewrite_and(bzla::bitblast::AigNode const&, bzla::bitblast::AigNode const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::from_ui(unsigned long, unsigned long, bool)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNodeData*, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvadd(bzla::BitVector const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_leading_zeros() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearch<bzla::BitVector>::pop()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvmodinv() const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::mk_node(bzla::BitVector const&, bzla::ls::BitVectorDomain const&, std::optional<std::__cxx11::basic_string<char, std::char_traits, std::allocator > > const&)'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_cmp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchbzla::BitVector::init()'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvand(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator==(bzla::BitVector const&) const'
/usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_leading_ones() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsdiv(bzla::BitVector const&) const'
collect2: error: ld returned 1 exit status
make[2]: *** [src/examples/cpp/CMakeFiles/ir.dir/build.make:102: src/examples/cpp/ir] Error 1
make[1]: *** [CMakeFiles/Makefile2:1230: src/examples/cpp/CMakeFiles/ir.dir/all] Error 2
make: *** [Makefile:146: all] Error 2

[JonathanSalwan]

What version of Bitwuzla are you using? Do you have still the same issue when compiling Bitwuzla as shared library?