Sun Aug 17 13:22:16 UTC 2025 I: starting to build cvc5/forky/arm64 on jenkins on '2025-08-17 13:22' Sun Aug 17 13:22:16 UTC 2025 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/arm64_1/92940/console.log Sun Aug 17 13:22:16 UTC 2025 I: Downloading source for forky/cvc5=1.1.2-3 --2025-08-17 13:22:17-- http://deb.debian.org/debian/pool/main/c/cvc5/cvc5_1.1.2-3.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2460 (2.4K) [text/prs.lines.tag] Saving to: ‘cvc5_1.1.2-3.dsc’ 0K .. 100% 278M=0s 2025-08-17 13:22:17 (278 MB/s) - ‘cvc5_1.1.2-3.dsc’ saved [2460/2460] Sun Aug 17 13:22:17 UTC 2025 I: cvc5_1.1.2-3.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: cvc5 Binary: cvc5, libcvc5-dev, libcvc5-1, libcvc5parser1, python3-cvc5 Architecture: any Version: 1.1.2-3 Maintainer: Debian Science Maintainers Uploaders: Scott Talbert Homepage: https://cvc5.github.io/ Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/science-team/cvc5 Vcs-Git: https://salsa.debian.org/science-team/cvc5.git Testsuite: autopkgtest Testsuite-Triggers: build-essential Build-Depends: chrpath, cmake, cxxtest, cython3, debhelper-compat (= 13), dh-sequence-python3, libboost-thread-dev, libcadical-dev, libcln-dev, libcryptominisat5-dev, libfl-dev, libgmp-dev, libreadline-dev, libsymfpu-dev, pkgconf, python3, python3-dev, python3-pyparsing, python3-pytest, python3-setuptools, python3-skbuild Package-List: cvc5 deb math optional arch=any libcvc5-1 deb libs optional arch=any libcvc5-dev deb libdevel optional arch=any libcvc5parser1 deb libs optional arch=any python3-cvc5 deb python optional arch=any Checksums-Sha1: 3bf478e692f6d1861c9d99a81967c89857e71df2 8581968 cvc5_1.1.2.orig.tar.gz cf66beaa8343e76b19eceb0a6e54e15645a9a292 7392 cvc5_1.1.2-3.debian.tar.xz Checksums-Sha256: f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a 8581968 cvc5_1.1.2.orig.tar.gz 50ecc68f94688b620ba5e1c45caf446e11fa91876db8d70a7dbdb7d94538ddc2 7392 cvc5_1.1.2-3.debian.tar.xz Files: 5ba472c11efbbe067a2b2209c2e59aed 8581968 cvc5_1.1.2.orig.tar.gz dcfd2db73d4e000959678c61786b9afb 7392 cvc5_1.1.2-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmiGFWIRHHRjaGV0QGRl Ymlhbi5vcmcACgkQMfMURUShdBr3IA//UPb9nwIXxLdrSpfvmSMhXzA45uGQrXOd k2V8Kw/xGFDO/E9d/jxdDBesk3123pDNhcglIjKpiLOnz2/3tMAaRk8+5Rvy6oIe mTsy5bLDUHhHTQBVPulFnLtGN5zWyarMFCtCPVB2A6kPT/siXtlaXwuSA6tQxc69 PxASOEVOqngLSxI29NfmV94ToM/HP/XutQtVj/1P5vYmlqcXjAU6MJ5boVViEaN2 8WgZzjqv9q8Cq0i1MMr65L3mywyjp15gkGu+4vLEIFx1U0jIKx0spxrBtfq7OodP xvzH7QOk+t/aAgxtAH8u7O/XNzTAlIyCu3Ll0n6923pLAhvwvHGUtTpnbXB/PC2j Wz1ud1tNMp1WfYSM84B6cZFJOU6fMzw9C0RNWdSburuWUjjDFSGyAb3P2btWj2S0 aCULUb0j1Sr7J/g/Kw1O2hR0eeeHWeA1zfap0cy+S1nmFmu6zq5XzkeptxBgBKNI gyp2yDU+qSISKXKU7irWeOlgPR1ueGNn4lqzp+XUAf76XpBf+kEDvOqsiXwkor+5 UBFIKAXDPoL/4iGp2QynvcaPokggOpIjWGDhhNBnHPkjjAIHowe4gH/PdAl+27VK 5ZXD13cQUCFxERFKz1gUrc9KojKCj0nyy7JZJPHhvl8mMxMXyLn2205nDA7VMDi6 6IDuQ3qcYeQ= =t++u -----END PGP SIGNATURE----- Sun Aug 17 13:22:17 UTC 2025 I: Checking whether the package is not for us Sun Aug 17 13:22:17 UTC 2025 I: Starting 1st build on remote node codethink03-arm64.debian.net. Sun Aug 17 13:22:17 UTC 2025 I: Preparing to do remote build '1' on codethink03-arm64.debian.net. Sun Aug 17 13:33:20 UTC 2025 I: Deleting $TMPDIR on codethink03-arm64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Sat Sep 19 07:45:19 -12 2026 I: pbuilder-time-stamp: 1789847119 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/forky-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [cvc5_1.1.2-3.dsc] I: copying [./cvc5_1.1.2.orig.tar.gz] I: copying [./cvc5_1.1.2-3.debian.tar.xz] I: Extracting source dpkg-source: warning: cannot verify inline signature for ./cvc5_1.1.2-3.dsc: no acceptable signature found dpkg-source: info: extracting cvc5 in cvc5-1.1.2 dpkg-source: info: unpacking cvc5_1.1.2.orig.tar.gz dpkg-source: info: unpacking cvc5_1.1.2-3.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying skip-himem-tests.patch dpkg-source: info: applying dont-compress-debug.patch dpkg-source: info: applying no-rpath.patch dpkg-source: info: applying no-pythonic-api.patch dpkg-source: info: applying debian-python-install.patch dpkg-source: info: applying use-default-linker.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/1643104/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build/reproducible-path' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='arm64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 ' DISTRIBUTION='forky' HOME='/root' HOST_ARCH='arm64' IFS=' ' INVOCATION_ID='07287c6f650b4a1b835ae3a85bd40054' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='1643104' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.5wYIvw6y/pbuilderrc_KK0N --distribution forky --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/forky-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.5wYIvw6y/b1 --logfile b1/build.log cvc5_1.1.2-3.dsc' SUDO_GID='109' SUDO_HOME='/var/lib/jenkins' SUDO_UID='104' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://192.168.101.4:3128' I: uname -a Linux codethink03-arm64 6.12.41+deb13-cloud-arm64 #1 SMP Debian 6.12.41-1 (2025-08-12) aarch64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Aug 10 2025 /bin -> usr/bin I: user script /srv/workspace/pbuilder/1643104/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: arm64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: chrpath, cmake, cxxtest, cython3, debhelper-compat (= 13), dh-sequence-python3, libboost-thread-dev, libcadical-dev, libcln-dev, libcryptominisat5-dev, libfl-dev, libgmp-dev, libreadline-dev, libsymfpu-dev, pkgconf, python3, python3-dev, python3-pyparsing, python3-pytest, python3-setuptools, python3-skbuild dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 20004 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on chrpath; however: Package chrpath is not installed. pbuilder-satisfydepends-dummy depends on cmake; however: Package cmake is not installed. pbuilder-satisfydepends-dummy depends on cxxtest; however: Package cxxtest is not installed. pbuilder-satisfydepends-dummy depends on cython3; however: Package cython3 is not installed. pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on dh-sequence-python3; however: Package dh-sequence-python3 is not installed. pbuilder-satisfydepends-dummy depends on libboost-thread-dev; however: Package libboost-thread-dev is not installed. pbuilder-satisfydepends-dummy depends on libcadical-dev; however: Package libcadical-dev is not installed. pbuilder-satisfydepends-dummy depends on libcln-dev; however: Package libcln-dev is not installed. pbuilder-satisfydepends-dummy depends on libcryptominisat5-dev; however: Package libcryptominisat5-dev is not installed. pbuilder-satisfydepends-dummy depends on libfl-dev; however: Package libfl-dev is not installed. pbuilder-satisfydepends-dummy depends on libgmp-dev; however: Package libgmp-dev is not installed. pbuilder-satisfydepends-dummy depends on libreadline-dev; however: Package libreadline-dev is not installed. pbuilder-satisfydepends-dummy depends on libsymfpu-dev; however: Package libsymfpu-dev is not installed. pbuilder-satisfydepends-dummy depends on pkgconf; however: Package pkgconf is not installed. pbuilder-satisfydepends-dummy depends on python3; however: Package python3 is not installed. pbuilder-satisfydepends-dummy depends on python3-dev; however: Package python3-dev is not installed. pbuilder-satisfydepends-dummy depends on python3-pyparsing; however: Package python3-pyparsing is not installed. pbuilder-satisfydepends-dummy depends on python3-pytest; however: Package python3-pytest is not installed. pbuilder-satisfydepends-dummy depends on python3-setuptools; however: Package python3-setuptools is not installed. pbuilder-satisfydepends-dummy depends on python3-skbuild; however: Package python3-skbuild is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} chrpath{a} cmake{a} cmake-data{a} cxxtest{a} cython3{a} debhelper{a} dh-autoreconf{a} dh-python{a} dh-strip-nondeterminism{a} dwz{a} file{a} flex{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libarchive13t64{a} libboost-atomic1.83-dev{a} libboost-atomic1.83.0{a} libboost-chrono1.83-dev{a} libboost-chrono1.83.0t64{a} libboost-date-time1.83-dev{a} libboost-date-time1.83.0{a} libboost-serialization1.83-dev{a} libboost-serialization1.83.0{a} libboost-system1.83-dev{a} libboost-system1.83.0{a} libboost-thread-dev{a} libboost-thread1.83-dev{a} libboost-thread1.83.0{a} libboost1.83-dev{a} libbrotli1{a} libcadical-dev{a} libcln-dev{a} libcln6{a} libcom-err2{a} libcryptominisat5-5.11t64{a} libcryptominisat5-dev{a} libcurl4t64{a} libdebhelper-perl{a} libelf1t64{a} libexpat1{a} libexpat1-dev{a} libffi8{a} libfile-stripnondeterminism-perl{a} libfl-dev{a} libfl2{a} libgmp-dev{a} libgmpxx4ldbl{a} libgnutls30t64{a} libgssapi-krb5-2{a} libidn2-0{a} libjs-jquery{a} libjs-sphinxdoc{a} libjs-underscore{a} libjsoncpp26{a} libk5crypto3{a} libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} libldap2{a} libmagic-mgc{a} libmagic1t64{a} libncurses-dev{a} libncurses6{a} libnghttp2-14{a} libnghttp3-9{a} libp11-kit0{a} libpipeline1{a} libpkgconf3{a} libproc2-0{a} libpsl5t64{a} libpython3-dev{a} libpython3-stdlib{a} libpython3.13{a} libpython3.13-dev{a} libpython3.13-minimal{a} libpython3.13-stdlib{a} libreadline-dev{a} libreadline8t64{a} librhash1{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libssh2-1t64{a} libsymfpu-dev{a} libtasn1-6{a} libtool{a} libuchardet0{a} libunistring5{a} libuv1t64{a} libxml2{a} lsb-release{a} m4{a} man-db{a} media-types{a} netbase{a} pkgconf{a} pkgconf-bin{a} po-debconf{a} procps{a} python3{a} python3-autocommand{a} python3-dev{a} python3-distro{a} python3-inflect{a} python3-iniconfig{a} python3-jaraco.context{a} python3-jaraco.functools{a} python3-jaraco.text{a} python3-minimal{a} python3-more-itertools{a} python3-packaging{a} python3-pkg-resources{a} python3-pluggy{a} python3-ply{a} python3-pyparsing{a} python3-pytest{a} python3-setuptools{a} python3-skbuild{a} python3-typeguard{a} python3-typing-extensions{a} python3-wheel{a} python3-zipp{a} python3.13{a} python3.13-dev{a} python3.13-minimal{a} readline-common{a} sensible-utils{a} tzdata{a} zlib1g-dev{a} The following packages are RECOMMENDED but will NOT be installed: ca-certificates curl emacs-gtk emacs-lucid emacs-nox emacs-pgtk info javascript-common jed jed-extra konqueror krb5-locales libarchive-cpio-perl libgpm2 libldap-common libltdl-dev libmail-sendmail-perl libsasl2-modules linux-sysctl-defaults lynx pinfo psmisc publicsuffix python3-pygments tkinfo wget xjed 0 packages upgraded, 137 newly installed, 0 to remove and 0 not upgraded. Need to get 66.5 MB of archives. After unpacking 410 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian forky/main arm64 m4 arm64 1.4.19-8 [285 kB] Get: 2 http://deb.debian.org/debian forky/main arm64 flex arm64 2.6.4-8.2+b4 [412 kB] Get: 3 http://deb.debian.org/debian forky/main arm64 libexpat1 arm64 2.7.1-2 [93.3 kB] Get: 4 http://deb.debian.org/debian forky/main arm64 libpython3.13-minimal arm64 3.13.5-2 [856 kB] Get: 5 http://deb.debian.org/debian forky/main arm64 python3.13-minimal arm64 3.13.5-2 [2003 kB] Get: 6 http://deb.debian.org/debian forky/main arm64 python3-minimal arm64 3.13.5-1 [27.2 kB] Get: 7 http://deb.debian.org/debian forky/main arm64 media-types all 13.0.0 [29.3 kB] Get: 8 http://deb.debian.org/debian forky/main arm64 netbase all 6.5 [12.4 kB] Get: 9 http://deb.debian.org/debian forky/main arm64 tzdata all 2025b-5 [260 kB] Get: 10 http://deb.debian.org/debian forky/main arm64 libffi8 arm64 3.4.8-2 [21.3 kB] Get: 11 http://deb.debian.org/debian forky/main arm64 readline-common all 8.2-6 [69.4 kB] Get: 12 http://deb.debian.org/debian forky/main arm64 libreadline8t64 arm64 8.2-6 [159 kB] Get: 13 http://deb.debian.org/debian forky/main arm64 libpython3.13-stdlib arm64 3.13.5-2 [1892 kB] Get: 14 http://deb.debian.org/debian forky/main arm64 python3.13 arm64 3.13.5-2 [757 kB] Get: 15 http://deb.debian.org/debian forky/main arm64 libpython3-stdlib arm64 3.13.5-1 [10.2 kB] Get: 16 http://deb.debian.org/debian forky/main arm64 python3 arm64 3.13.5-1 [28.2 kB] Get: 17 http://deb.debian.org/debian forky/main arm64 libproc2-0 arm64 2:4.0.4-9 [62.8 kB] Get: 18 http://deb.debian.org/debian forky/main arm64 procps arm64 2:4.0.4-9 [871 kB] Get: 19 http://deb.debian.org/debian forky/main arm64 sensible-utils all 0.0.25 [25.0 kB] Get: 20 http://deb.debian.org/debian forky/main arm64 libmagic-mgc arm64 1:5.46-5 [338 kB] Get: 21 http://deb.debian.org/debian forky/main arm64 libmagic1t64 arm64 1:5.46-5 [103 kB] Get: 22 http://deb.debian.org/debian forky/main arm64 file arm64 1:5.46-5 [43.7 kB] Get: 23 http://deb.debian.org/debian forky/main arm64 gettext-base arm64 0.23.1-2 [241 kB] Get: 24 http://deb.debian.org/debian forky/main arm64 libuchardet0 arm64 0.0.8-1+b2 [69.2 kB] Get: 25 http://deb.debian.org/debian forky/main arm64 groff-base arm64 1.23.0-9 [1130 kB] Get: 26 http://deb.debian.org/debian forky/main arm64 bsdextrautils arm64 2.41.1-1 [93.8 kB] Get: 27 http://deb.debian.org/debian forky/main arm64 libpipeline1 arm64 1.5.8-1 [40.2 kB] Get: 28 http://deb.debian.org/debian forky/main arm64 man-db arm64 2.13.1-1 [1453 kB] Get: 29 http://deb.debian.org/debian forky/main arm64 autoconf all 2.72-3.1 [494 kB] Get: 30 http://deb.debian.org/debian forky/main arm64 autotools-dev all 20240727.1 [60.2 kB] Get: 31 http://deb.debian.org/debian forky/main arm64 automake all 1:1.17-4 [862 kB] Get: 32 http://deb.debian.org/debian forky/main arm64 autopoint all 0.23.1-2 [770 kB] Get: 33 http://deb.debian.org/debian forky/main arm64 chrpath arm64 0.18-1 [13.2 kB] Get: 34 http://deb.debian.org/debian forky/main arm64 cmake-data all 3.31.6-2 [2268 kB] Get: 35 http://deb.debian.org/debian forky/main arm64 libxml2 arm64 2.12.7+dfsg+really2.9.14-2.1 [630 kB] Get: 36 http://deb.debian.org/debian forky/main arm64 libarchive13t64 arm64 3.7.4-4 [323 kB] Get: 37 http://deb.debian.org/debian forky/main arm64 libbrotli1 arm64 1.1.0-2+b7 [308 kB] Get: 38 http://deb.debian.org/debian forky/main arm64 libkrb5support0 arm64 1.21.3-5 [32.4 kB] Get: 39 http://deb.debian.org/debian forky/main arm64 libcom-err2 arm64 1.47.2-3+b3 [24.9 kB] Get: 40 http://deb.debian.org/debian forky/main arm64 libk5crypto3 arm64 1.21.3-5 [81.2 kB] Get: 41 http://deb.debian.org/debian forky/main arm64 libkeyutils1 arm64 1.6.3-6 [9716 B] Get: 42 http://deb.debian.org/debian forky/main arm64 libkrb5-3 arm64 1.21.3-5 [308 kB] Get: 43 http://deb.debian.org/debian forky/main arm64 libgssapi-krb5-2 arm64 1.21.3-5 [127 kB] Get: 44 http://deb.debian.org/debian forky/main arm64 libunistring5 arm64 1.3-2 [453 kB] Get: 45 http://deb.debian.org/debian forky/main arm64 libidn2-0 arm64 2.3.8-2 [107 kB] Get: 46 http://deb.debian.org/debian forky/main arm64 libsasl2-modules-db arm64 2.1.28+dfsg1-9 [20.1 kB] Get: 47 http://deb.debian.org/debian forky/main arm64 libsasl2-2 arm64 2.1.28+dfsg1-9 [55.6 kB] Get: 48 http://deb.debian.org/debian forky/main arm64 libldap2 arm64 2.6.10+dfsg-1 [179 kB] Get: 49 http://deb.debian.org/debian forky/main arm64 libnghttp2-14 arm64 1.64.0-1.1 [71.4 kB] Get: 50 http://deb.debian.org/debian forky/main arm64 libnghttp3-9 arm64 1.8.0-1 [63.2 kB] Get: 51 http://deb.debian.org/debian forky/main arm64 libpsl5t64 arm64 0.21.2-1.1+b1 [57.1 kB] Get: 52 http://deb.debian.org/debian forky/main arm64 libp11-kit0 arm64 0.25.5-3 [409 kB] Get: 53 http://deb.debian.org/debian forky/main arm64 libtasn1-6 arm64 4.20.0-2 [47.3 kB] Get: 54 http://deb.debian.org/debian forky/main arm64 libgnutls30t64 arm64 3.8.9-3 [1375 kB] Get: 55 http://deb.debian.org/debian forky/main arm64 librtmp1 arm64 2.4+20151223.gitfa8646d.1-2+b5 [56.8 kB] Get: 56 http://deb.debian.org/debian forky/main arm64 libssh2-1t64 arm64 1.11.1-1 [235 kB] Get: 57 http://deb.debian.org/debian forky/main arm64 libcurl4t64 arm64 8.14.1-2 [359 kB] Get: 58 http://deb.debian.org/debian forky/main arm64 libjsoncpp26 arm64 1.9.6-3 [72.9 kB] Get: 59 http://deb.debian.org/debian forky/main arm64 librhash1 arm64 1.4.6-1 [131 kB] Get: 60 http://deb.debian.org/debian forky/main arm64 libuv1t64 arm64 1.50.0-2 [148 kB] Get: 61 http://deb.debian.org/debian forky/main arm64 cmake arm64 3.31.6-2 [9906 kB] Get: 62 http://deb.debian.org/debian forky/main arm64 python3-ply all 3.11-9 [62.9 kB] Get: 63 http://deb.debian.org/debian forky/main arm64 cxxtest all 4.4+git171022-2 [415 kB] Get: 64 http://deb.debian.org/debian forky/main arm64 cython3 arm64 3.0.11+dfsg-2+b1 [2255 kB] Get: 65 http://deb.debian.org/debian forky/main arm64 libdebhelper-perl all 13.24.2 [90.9 kB] Get: 66 http://deb.debian.org/debian forky/main arm64 libtool all 2.5.4-4 [539 kB] Get: 67 http://deb.debian.org/debian forky/main arm64 dh-autoreconf all 20 [17.1 kB] Get: 68 http://deb.debian.org/debian forky/main arm64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 69 http://deb.debian.org/debian forky/main arm64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB] Get: 70 http://deb.debian.org/debian forky/main arm64 dh-strip-nondeterminism all 1.14.1-2 [8620 B] Get: 71 http://deb.debian.org/debian forky/main arm64 libelf1t64 arm64 0.192-4 [189 kB] Get: 72 http://deb.debian.org/debian forky/main arm64 dwz arm64 0.15-1+b1 [102 kB] Get: 73 http://deb.debian.org/debian forky/main arm64 gettext arm64 0.23.1-2 [1611 kB] Get: 74 http://deb.debian.org/debian forky/main arm64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 75 http://deb.debian.org/debian forky/main arm64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 76 http://deb.debian.org/debian forky/main arm64 debhelper all 13.24.2 [919 kB] Get: 77 http://deb.debian.org/debian forky/main arm64 dh-python all 6.20250414 [116 kB] Get: 78 http://deb.debian.org/debian forky/main arm64 libboost1.83-dev arm64 1.83.0-4.2 [10.6 MB] Get: 79 http://deb.debian.org/debian forky/main arm64 libboost-atomic1.83.0 arm64 1.83.0-4.2 [234 kB] Get: 80 http://deb.debian.org/debian forky/main arm64 libboost-atomic1.83-dev arm64 1.83.0-4.2 [235 kB] Get: 81 http://deb.debian.org/debian forky/main arm64 libboost-chrono1.83.0t64 arm64 1.83.0-4.2 [239 kB] Get: 82 http://deb.debian.org/debian forky/main arm64 libboost-chrono1.83-dev arm64 1.83.0-4.2 [245 kB] Get: 83 http://deb.debian.org/debian forky/main arm64 libboost-date-time1.83.0 arm64 1.83.0-4.2 [231 kB] Get: 84 http://deb.debian.org/debian forky/main arm64 libboost-serialization1.83.0 arm64 1.83.0-4.2 [325 kB] Get: 85 http://deb.debian.org/debian forky/main arm64 libboost-serialization1.83-dev arm64 1.83.0-4.2 [373 kB] Get: 86 http://deb.debian.org/debian forky/main arm64 libboost-date-time1.83-dev arm64 1.83.0-4.2 [239 kB] Get: 87 http://deb.debian.org/debian forky/main arm64 libboost-system1.83.0 arm64 1.83.0-4.2 [231 kB] Get: 88 http://deb.debian.org/debian forky/main arm64 libboost-system1.83-dev arm64 1.83.0-4.2 [232 kB] Get: 89 http://deb.debian.org/debian forky/main arm64 libboost-thread1.83.0 arm64 1.83.0-4.2 [266 kB] Get: 90 http://deb.debian.org/debian forky/main arm64 libboost-thread1.83-dev arm64 1.83.0-4.2 [276 kB] Get: 91 http://deb.debian.org/debian forky/main arm64 libboost-thread-dev arm64 1.83.0.2+b2 [3616 B] Get: 92 http://deb.debian.org/debian forky/main arm64 libcadical-dev arm64 1.7.4-1+b1 [333 kB] Get: 93 http://deb.debian.org/debian forky/main arm64 libcln6 arm64 1.3.7-1+b1 [434 kB] Get: 94 http://deb.debian.org/debian forky/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-3 [329 kB] Get: 95 http://deb.debian.org/debian forky/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-3 [621 kB] Get: 96 http://deb.debian.org/debian forky/main arm64 libcln-dev arm64 1.3.7-1+b1 [707 kB] Get: 97 http://deb.debian.org/debian forky/main arm64 libcryptominisat5-5.11t64 arm64 5.11.21+dfsg1-3 [472 kB] Get: 98 http://deb.debian.org/debian forky/main arm64 libcryptominisat5-dev arm64 5.11.21+dfsg1-3 [18.9 kB] Get: 99 http://deb.debian.org/debian forky/main arm64 libexpat1-dev arm64 2.7.1-2 [145 kB] Get: 100 http://deb.debian.org/debian forky/main arm64 libfl2 arm64 2.6.4-8.2+b4 [84.4 kB] Get: 101 http://deb.debian.org/debian forky/main arm64 libfl-dev arm64 2.6.4-8.2+b4 [85.6 kB] Get: 102 http://deb.debian.org/debian forky/main arm64 libjs-jquery all 3.6.1+dfsg+~3.5.14-1 [326 kB] Get: 103 http://deb.debian.org/debian forky/main arm64 libjs-underscore all 1.13.4~dfsg+~1.11.4-3 [116 kB] Get: 104 http://deb.debian.org/debian forky/main arm64 libjs-sphinxdoc all 8.1.3-5 [30.5 kB] Get: 105 http://deb.debian.org/debian forky/main arm64 libncurses6 arm64 6.5+20250216-2 [96.1 kB] Get: 106 http://deb.debian.org/debian forky/main arm64 libncurses-dev arm64 6.5+20250216-2 [340 kB] Get: 107 http://deb.debian.org/debian forky/main arm64 libpkgconf3 arm64 1.8.1-4 [35.3 kB] Get: 108 http://deb.debian.org/debian forky/main arm64 libpython3.13 arm64 3.13.5-2 [1976 kB] Get: 109 http://deb.debian.org/debian forky/main arm64 zlib1g-dev arm64 1:1.3.dfsg+really1.3.1-1+b1 [917 kB] Get: 110 http://deb.debian.org/debian forky/main arm64 libpython3.13-dev arm64 3.13.5-2 [4890 kB] Get: 111 http://deb.debian.org/debian forky/main arm64 libpython3-dev arm64 3.13.5-1 [10.4 kB] Get: 112 http://deb.debian.org/debian forky/main arm64 libreadline-dev arm64 8.2-6 [155 kB] Get: 113 http://deb.debian.org/debian forky/main arm64 libsymfpu-dev all 0.0~git20190517.8fbe139-2 [34.9 kB] Get: 114 http://deb.debian.org/debian forky/main arm64 lsb-release all 12.1-1 [5912 B] Get: 115 http://deb.debian.org/debian forky/main arm64 pkgconf-bin arm64 1.8.1-4 [29.6 kB] Get: 116 http://deb.debian.org/debian forky/main arm64 pkgconf arm64 1.8.1-4 [26.1 kB] Get: 117 http://deb.debian.org/debian forky/main arm64 python3-autocommand all 2.2.2-3 [13.6 kB] Get: 118 http://deb.debian.org/debian forky/main arm64 python3.13-dev arm64 3.13.5-2 [505 kB] Get: 119 http://deb.debian.org/debian forky/main arm64 python3-dev arm64 3.13.5-1 [26.1 kB] Get: 120 http://deb.debian.org/debian forky/main arm64 python3-distro all 1.9.0-1 [20.3 kB] Get: 121 http://deb.debian.org/debian forky/main arm64 python3-more-itertools all 10.7.0-1 [67.4 kB] Get: 122 http://deb.debian.org/debian forky/main arm64 python3-typing-extensions all 4.14.1-1 [91.3 kB] Get: 123 http://deb.debian.org/debian forky/main arm64 python3-typeguard all 4.4.2-1 [37.3 kB] Get: 124 http://deb.debian.org/debian forky/main arm64 python3-inflect all 7.3.1-2 [32.4 kB] Get: 125 http://deb.debian.org/debian forky/main arm64 python3-iniconfig all 1.1.1-2 [6396 B] Get: 126 http://deb.debian.org/debian forky/main arm64 python3-jaraco.functools all 4.1.0-1 [12.0 kB] Get: 127 http://deb.debian.org/debian forky/main arm64 python3-pkg-resources all 78.1.1-0.1 [224 kB] Get: 128 http://deb.debian.org/debian forky/main arm64 python3-jaraco.text all 4.0.0-1 [11.4 kB] Get: 129 http://deb.debian.org/debian forky/main arm64 python3-zipp all 3.21.0-1 [10.6 kB] Get: 130 http://deb.debian.org/debian forky/main arm64 python3-setuptools all 78.1.1-0.1 [738 kB] Get: 131 http://deb.debian.org/debian forky/main arm64 python3-jaraco.context all 6.0.1-1 [8276 B] Get: 132 http://deb.debian.org/debian forky/main arm64 python3-packaging all 25.0-1 [56.6 kB] Get: 133 http://deb.debian.org/debian forky/main arm64 python3-pluggy all 1.6.0-1 [27.1 kB] Get: 134 http://deb.debian.org/debian forky/main arm64 python3-pyparsing all 3.1.2-1 [146 kB] Get: 135 http://deb.debian.org/debian forky/main arm64 python3-pytest all 8.3.5-2 [250 kB] Get: 136 http://deb.debian.org/debian forky/main arm64 python3-wheel all 0.46.1-2 [21.7 kB] Get: 137 http://deb.debian.org/debian forky/main arm64 python3-skbuild all 0.18.1-2 [76.6 kB] Fetched 66.5 MB in 0s (197 MB/s) Preconfiguring packages ... Selecting previously unselected package m4. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20004 files and directories currently installed.) Preparing to unpack .../archives/m4_1.4.19-8_arm64.deb ... Unpacking m4 (1.4.19-8) ... Selecting previously unselected package flex. Preparing to unpack .../flex_2.6.4-8.2+b4_arm64.deb ... Unpacking flex (2.6.4-8.2+b4) ... Selecting previously unselected package libexpat1:arm64. Preparing to unpack .../libexpat1_2.7.1-2_arm64.deb ... Unpacking libexpat1:arm64 (2.7.1-2) ... Selecting previously unselected package libpython3.13-minimal:arm64. Preparing to unpack .../libpython3.13-minimal_3.13.5-2_arm64.deb ... Unpacking libpython3.13-minimal:arm64 (3.13.5-2) ... Selecting previously unselected package python3.13-minimal. Preparing to unpack .../python3.13-minimal_3.13.5-2_arm64.deb ... Unpacking python3.13-minimal (3.13.5-2) ... Setting up libpython3.13-minimal:arm64 (3.13.5-2) ... Setting up libexpat1:arm64 (2.7.1-2) ... Setting up python3.13-minimal (3.13.5-2) ... Selecting previously unselected package python3-minimal. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20521 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.13.5-1_arm64.deb ... Unpacking python3-minimal (3.13.5-1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_13.0.0_all.deb ... Unpacking media-types (13.0.0) ... Selecting previously unselected package netbase. Preparing to unpack .../2-netbase_6.5_all.deb ... Unpacking netbase (6.5) ... Selecting previously unselected package tzdata. Preparing to unpack .../3-tzdata_2025b-5_all.deb ... Unpacking tzdata (2025b-5) ... Selecting previously unselected package libffi8:arm64. Preparing to unpack .../4-libffi8_3.4.8-2_arm64.deb ... Unpacking libffi8:arm64 (3.4.8-2) ... Selecting previously unselected package readline-common. Preparing to unpack .../5-readline-common_8.2-6_all.deb ... Unpacking readline-common (8.2-6) ... Selecting previously unselected package libreadline8t64:arm64. Preparing to unpack .../6-libreadline8t64_8.2-6_arm64.deb ... Adding 'diversion of /lib/aarch64-linux-gnu/libhistory.so.8 to /lib/aarch64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/aarch64-linux-gnu/libhistory.so.8.2 to /lib/aarch64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/aarch64-linux-gnu/libreadline.so.8 to /lib/aarch64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/aarch64-linux-gnu/libreadline.so.8.2 to /lib/aarch64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:arm64 (8.2-6) ... Selecting previously unselected package libpython3.13-stdlib:arm64. Preparing to unpack .../7-libpython3.13-stdlib_3.13.5-2_arm64.deb ... Unpacking libpython3.13-stdlib:arm64 (3.13.5-2) ... Selecting previously unselected package python3.13. Preparing to unpack .../8-python3.13_3.13.5-2_arm64.deb ... Unpacking python3.13 (3.13.5-2) ... Selecting previously unselected package libpython3-stdlib:arm64. Preparing to unpack .../9-libpython3-stdlib_3.13.5-1_arm64.deb ... Unpacking libpython3-stdlib:arm64 (3.13.5-1) ... Setting up python3-minimal (3.13.5-1) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 21536 files and directories currently installed.) Preparing to unpack .../000-python3_3.13.5-1_arm64.deb ... Unpacking python3 (3.13.5-1) ... Selecting previously unselected package libproc2-0:arm64. Preparing to unpack .../001-libproc2-0_2%3a4.0.4-9_arm64.deb ... Unpacking libproc2-0:arm64 (2:4.0.4-9) ... Selecting previously unselected package procps. Preparing to unpack .../002-procps_2%3a4.0.4-9_arm64.deb ... Unpacking procps (2:4.0.4-9) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../003-sensible-utils_0.0.25_all.deb ... Unpacking sensible-utils (0.0.25) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../004-libmagic-mgc_1%3a5.46-5_arm64.deb ... Unpacking libmagic-mgc (1:5.46-5) ... Selecting previously unselected package libmagic1t64:arm64. Preparing to unpack .../005-libmagic1t64_1%3a5.46-5_arm64.deb ... Unpacking libmagic1t64:arm64 (1:5.46-5) ... Selecting previously unselected package file. Preparing to unpack .../006-file_1%3a5.46-5_arm64.deb ... Unpacking file (1:5.46-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../007-gettext-base_0.23.1-2_arm64.deb ... Unpacking gettext-base (0.23.1-2) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../008-libuchardet0_0.0.8-1+b2_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../009-groff-base_1.23.0-9_arm64.deb ... Unpacking groff-base (1.23.0-9) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../010-bsdextrautils_2.41.1-1_arm64.deb ... Unpacking bsdextrautils (2.41.1-1) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../011-libpipeline1_1.5.8-1_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../012-man-db_2.13.1-1_arm64.deb ... Unpacking man-db (2.13.1-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../013-autoconf_2.72-3.1_all.deb ... Unpacking autoconf (2.72-3.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../014-autotools-dev_20240727.1_all.deb ... Unpacking autotools-dev (20240727.1) ... Selecting previously unselected package automake. Preparing to unpack .../015-automake_1%3a1.17-4_all.deb ... Unpacking automake (1:1.17-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../016-autopoint_0.23.1-2_all.deb ... Unpacking autopoint (0.23.1-2) ... Selecting previously unselected package chrpath. Preparing to unpack .../017-chrpath_0.18-1_arm64.deb ... Unpacking chrpath (0.18-1) ... Selecting previously unselected package cmake-data. Preparing to unpack .../018-cmake-data_3.31.6-2_all.deb ... Unpacking cmake-data (3.31.6-2) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../019-libxml2_2.12.7+dfsg+really2.9.14-2.1_arm64.deb ... Unpacking libxml2:arm64 (2.12.7+dfsg+really2.9.14-2.1) ... Selecting previously unselected package libarchive13t64:arm64. Preparing to unpack .../020-libarchive13t64_3.7.4-4_arm64.deb ... Unpacking libarchive13t64:arm64 (3.7.4-4) ... Selecting previously unselected package libbrotli1:arm64. Preparing to unpack .../021-libbrotli1_1.1.0-2+b7_arm64.deb ... Unpacking libbrotli1:arm64 (1.1.0-2+b7) ... Selecting previously unselected package libkrb5support0:arm64. Preparing to unpack .../022-libkrb5support0_1.21.3-5_arm64.deb ... Unpacking libkrb5support0:arm64 (1.21.3-5) ... Selecting previously unselected package libcom-err2:arm64. Preparing to unpack .../023-libcom-err2_1.47.2-3+b3_arm64.deb ... Unpacking libcom-err2:arm64 (1.47.2-3+b3) ... Selecting previously unselected package libk5crypto3:arm64. Preparing to unpack .../024-libk5crypto3_1.21.3-5_arm64.deb ... Unpacking libk5crypto3:arm64 (1.21.3-5) ... Selecting previously unselected package libkeyutils1:arm64. Preparing to unpack .../025-libkeyutils1_1.6.3-6_arm64.deb ... Unpacking libkeyutils1:arm64 (1.6.3-6) ... Selecting previously unselected package libkrb5-3:arm64. Preparing to unpack .../026-libkrb5-3_1.21.3-5_arm64.deb ... Unpacking libkrb5-3:arm64 (1.21.3-5) ... Selecting previously unselected package libgssapi-krb5-2:arm64. Preparing to unpack .../027-libgssapi-krb5-2_1.21.3-5_arm64.deb ... Unpacking libgssapi-krb5-2:arm64 (1.21.3-5) ... Selecting previously unselected package libunistring5:arm64. Preparing to unpack .../028-libunistring5_1.3-2_arm64.deb ... Unpacking libunistring5:arm64 (1.3-2) ... Selecting previously unselected package libidn2-0:arm64. Preparing to unpack .../029-libidn2-0_2.3.8-2_arm64.deb ... Unpacking libidn2-0:arm64 (2.3.8-2) ... Selecting previously unselected package libsasl2-modules-db:arm64. Preparing to unpack .../030-libsasl2-modules-db_2.1.28+dfsg1-9_arm64.deb ... Unpacking libsasl2-modules-db:arm64 (2.1.28+dfsg1-9) ... Selecting previously unselected package libsasl2-2:arm64. Preparing to unpack .../031-libsasl2-2_2.1.28+dfsg1-9_arm64.deb ... Unpacking libsasl2-2:arm64 (2.1.28+dfsg1-9) ... Selecting previously unselected package libldap2:arm64. Preparing to unpack .../032-libldap2_2.6.10+dfsg-1_arm64.deb ... Unpacking libldap2:arm64 (2.6.10+dfsg-1) ... Selecting previously unselected package libnghttp2-14:arm64. Preparing to unpack .../033-libnghttp2-14_1.64.0-1.1_arm64.deb ... Unpacking libnghttp2-14:arm64 (1.64.0-1.1) ... Selecting previously unselected package libnghttp3-9:arm64. Preparing to unpack .../034-libnghttp3-9_1.8.0-1_arm64.deb ... Unpacking libnghttp3-9:arm64 (1.8.0-1) ... Selecting previously unselected package libpsl5t64:arm64. Preparing to unpack .../035-libpsl5t64_0.21.2-1.1+b1_arm64.deb ... Unpacking libpsl5t64:arm64 (0.21.2-1.1+b1) ... Selecting previously unselected package libp11-kit0:arm64. Preparing to unpack .../036-libp11-kit0_0.25.5-3_arm64.deb ... Unpacking libp11-kit0:arm64 (0.25.5-3) ... Selecting previously unselected package libtasn1-6:arm64. Preparing to unpack .../037-libtasn1-6_4.20.0-2_arm64.deb ... Unpacking libtasn1-6:arm64 (4.20.0-2) ... Selecting previously unselected package libgnutls30t64:arm64. Preparing to unpack .../038-libgnutls30t64_3.8.9-3_arm64.deb ... Unpacking libgnutls30t64:arm64 (3.8.9-3) ... Selecting previously unselected package librtmp1:arm64. Preparing to unpack .../039-librtmp1_2.4+20151223.gitfa8646d.1-2+b5_arm64.deb ... Unpacking librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b5) ... Selecting previously unselected package libssh2-1t64:arm64. Preparing to unpack .../040-libssh2-1t64_1.11.1-1_arm64.deb ... Unpacking libssh2-1t64:arm64 (1.11.1-1) ... Selecting previously unselected package libcurl4t64:arm64. Preparing to unpack .../041-libcurl4t64_8.14.1-2_arm64.deb ... Unpacking libcurl4t64:arm64 (8.14.1-2) ... Selecting previously unselected package libjsoncpp26:arm64. Preparing to unpack .../042-libjsoncpp26_1.9.6-3_arm64.deb ... Unpacking libjsoncpp26:arm64 (1.9.6-3) ... Selecting previously unselected package librhash1:arm64. Preparing to unpack .../043-librhash1_1.4.6-1_arm64.deb ... Unpacking librhash1:arm64 (1.4.6-1) ... Selecting previously unselected package libuv1t64:arm64. Preparing to unpack .../044-libuv1t64_1.50.0-2_arm64.deb ... Unpacking libuv1t64:arm64 (1.50.0-2) ... Selecting previously unselected package cmake. Preparing to unpack .../045-cmake_3.31.6-2_arm64.deb ... Unpacking cmake (3.31.6-2) ... Selecting previously unselected package python3-ply. Preparing to unpack .../046-python3-ply_3.11-9_all.deb ... Unpacking python3-ply (3.11-9) ... Selecting previously unselected package cxxtest. Preparing to unpack .../047-cxxtest_4.4+git171022-2_all.deb ... Unpacking cxxtest (4.4+git171022-2) ... Selecting previously unselected package cython3. Preparing to unpack .../048-cython3_3.0.11+dfsg-2+b1_arm64.deb ... Unpacking cython3 (3.0.11+dfsg-2+b1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../049-libdebhelper-perl_13.24.2_all.deb ... Unpacking libdebhelper-perl (13.24.2) ... Selecting previously unselected package libtool. Preparing to unpack .../050-libtool_2.5.4-4_all.deb ... Unpacking libtool (2.5.4-4) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../051-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../052-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../053-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../054-dh-strip-nondeterminism_1.14.1-2_all.deb ... Unpacking dh-strip-nondeterminism (1.14.1-2) ... Selecting previously unselected package libelf1t64:arm64. Preparing to unpack .../055-libelf1t64_0.192-4_arm64.deb ... Unpacking libelf1t64:arm64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../056-dwz_0.15-1+b1_arm64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../057-gettext_0.23.1-2_arm64.deb ... Unpacking gettext (0.23.1-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../058-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../059-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../060-debhelper_13.24.2_all.deb ... Unpacking debhelper (13.24.2) ... Selecting previously unselected package dh-python. Preparing to unpack .../061-dh-python_6.20250414_all.deb ... Unpacking dh-python (6.20250414) ... Selecting previously unselected package libboost1.83-dev:arm64. Preparing to unpack .../062-libboost1.83-dev_1.83.0-4.2_arm64.deb ... Unpacking libboost1.83-dev:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-atomic1.83.0:arm64. Preparing to unpack .../063-libboost-atomic1.83.0_1.83.0-4.2_arm64.deb ... Unpacking libboost-atomic1.83.0:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-atomic1.83-dev:arm64. Preparing to unpack .../064-libboost-atomic1.83-dev_1.83.0-4.2_arm64.deb ... Unpacking libboost-atomic1.83-dev:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-chrono1.83.0t64:arm64. Preparing to unpack .../065-libboost-chrono1.83.0t64_1.83.0-4.2_arm64.deb ... Unpacking libboost-chrono1.83.0t64:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-chrono1.83-dev:arm64. Preparing to unpack .../066-libboost-chrono1.83-dev_1.83.0-4.2_arm64.deb ... Unpacking libboost-chrono1.83-dev:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-date-time1.83.0:arm64. Preparing to unpack .../067-libboost-date-time1.83.0_1.83.0-4.2_arm64.deb ... Unpacking libboost-date-time1.83.0:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-serialization1.83.0:arm64. Preparing to unpack .../068-libboost-serialization1.83.0_1.83.0-4.2_arm64.deb ... Unpacking libboost-serialization1.83.0:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-serialization1.83-dev:arm64. Preparing to unpack .../069-libboost-serialization1.83-dev_1.83.0-4.2_arm64.deb ... Unpacking libboost-serialization1.83-dev:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-date-time1.83-dev:arm64. Preparing to unpack .../070-libboost-date-time1.83-dev_1.83.0-4.2_arm64.deb ... Unpacking libboost-date-time1.83-dev:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-system1.83.0:arm64. Preparing to unpack .../071-libboost-system1.83.0_1.83.0-4.2_arm64.deb ... Unpacking libboost-system1.83.0:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-system1.83-dev:arm64. Preparing to unpack .../072-libboost-system1.83-dev_1.83.0-4.2_arm64.deb ... Unpacking libboost-system1.83-dev:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-thread1.83.0:arm64. Preparing to unpack .../073-libboost-thread1.83.0_1.83.0-4.2_arm64.deb ... Unpacking libboost-thread1.83.0:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-thread1.83-dev:arm64. Preparing to unpack .../074-libboost-thread1.83-dev_1.83.0-4.2_arm64.deb ... Unpacking libboost-thread1.83-dev:arm64 (1.83.0-4.2) ... Selecting previously unselected package libboost-thread-dev:arm64. Preparing to unpack .../075-libboost-thread-dev_1.83.0.2+b2_arm64.deb ... Unpacking libboost-thread-dev:arm64 (1.83.0.2+b2) ... Selecting previously unselected package libcadical-dev:arm64. Preparing to unpack .../076-libcadical-dev_1.7.4-1+b1_arm64.deb ... Unpacking libcadical-dev:arm64 (1.7.4-1+b1) ... Selecting previously unselected package libcln6:arm64. Preparing to unpack .../077-libcln6_1.3.7-1+b1_arm64.deb ... Unpacking libcln6:arm64 (1.3.7-1+b1) ... Selecting previously unselected package libgmpxx4ldbl:arm64. Preparing to unpack .../078-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_arm64.deb ... Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp-dev:arm64. Preparing to unpack .../079-libgmp-dev_2%3a6.3.0+dfsg-3_arm64.deb ... Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libcln-dev. Preparing to unpack .../080-libcln-dev_1.3.7-1+b1_arm64.deb ... Unpacking libcln-dev (1.3.7-1+b1) ... Selecting previously unselected package libcryptominisat5-5.11t64:arm64. Preparing to unpack .../081-libcryptominisat5-5.11t64_5.11.21+dfsg1-3_arm64.deb ... Unpacking libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-3) ... Selecting previously unselected package libcryptominisat5-dev:arm64. Preparing to unpack .../082-libcryptominisat5-dev_5.11.21+dfsg1-3_arm64.deb ... Unpacking libcryptominisat5-dev:arm64 (5.11.21+dfsg1-3) ... Selecting previously unselected package libexpat1-dev:arm64. Preparing to unpack .../083-libexpat1-dev_2.7.1-2_arm64.deb ... Unpacking libexpat1-dev:arm64 (2.7.1-2) ... Selecting previously unselected package libfl2:arm64. Preparing to unpack .../084-libfl2_2.6.4-8.2+b4_arm64.deb ... Unpacking libfl2:arm64 (2.6.4-8.2+b4) ... Selecting previously unselected package libfl-dev:arm64. Preparing to unpack .../085-libfl-dev_2.6.4-8.2+b4_arm64.deb ... Unpacking libfl-dev:arm64 (2.6.4-8.2+b4) ... Selecting previously unselected package libjs-jquery. Preparing to unpack .../086-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ... Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ... Selecting previously unselected package libjs-underscore. Preparing to unpack .../087-libjs-underscore_1.13.4~dfsg+~1.11.4-3_all.deb ... Unpacking libjs-underscore (1.13.4~dfsg+~1.11.4-3) ... Selecting previously unselected package libjs-sphinxdoc. Preparing to unpack .../088-libjs-sphinxdoc_8.1.3-5_all.deb ... Unpacking libjs-sphinxdoc (8.1.3-5) ... Selecting previously unselected package libncurses6:arm64. Preparing to unpack .../089-libncurses6_6.5+20250216-2_arm64.deb ... Unpacking libncurses6:arm64 (6.5+20250216-2) ... Selecting previously unselected package libncurses-dev:arm64. Preparing to unpack .../090-libncurses-dev_6.5+20250216-2_arm64.deb ... Unpacking libncurses-dev:arm64 (6.5+20250216-2) ... Selecting previously unselected package libpkgconf3:arm64. Preparing to unpack .../091-libpkgconf3_1.8.1-4_arm64.deb ... Unpacking libpkgconf3:arm64 (1.8.1-4) ... Selecting previously unselected package libpython3.13:arm64. Preparing to unpack .../092-libpython3.13_3.13.5-2_arm64.deb ... Unpacking libpython3.13:arm64 (3.13.5-2) ... Selecting previously unselected package zlib1g-dev:arm64. Preparing to unpack .../093-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_arm64.deb ... Unpacking zlib1g-dev:arm64 (1:1.3.dfsg+really1.3.1-1+b1) ... Selecting previously unselected package libpython3.13-dev:arm64. Preparing to unpack .../094-libpython3.13-dev_3.13.5-2_arm64.deb ... Unpacking libpython3.13-dev:arm64 (3.13.5-2) ... Selecting previously unselected package libpython3-dev:arm64. Preparing to unpack .../095-libpython3-dev_3.13.5-1_arm64.deb ... Unpacking libpython3-dev:arm64 (3.13.5-1) ... Selecting previously unselected package libreadline-dev:arm64. Preparing to unpack .../096-libreadline-dev_8.2-6_arm64.deb ... Unpacking libreadline-dev:arm64 (8.2-6) ... Selecting previously unselected package libsymfpu-dev. Preparing to unpack .../097-libsymfpu-dev_0.0~git20190517.8fbe139-2_all.deb ... Unpacking libsymfpu-dev (0.0~git20190517.8fbe139-2) ... Selecting previously unselected package lsb-release. Preparing to unpack .../098-lsb-release_12.1-1_all.deb ... Unpacking lsb-release (12.1-1) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../099-pkgconf-bin_1.8.1-4_arm64.deb ... Unpacking pkgconf-bin (1.8.1-4) ... Selecting previously unselected package pkgconf:arm64. Preparing to unpack .../100-pkgconf_1.8.1-4_arm64.deb ... Unpacking pkgconf:arm64 (1.8.1-4) ... Selecting previously unselected package python3-autocommand. Preparing to unpack .../101-python3-autocommand_2.2.2-3_all.deb ... Unpacking python3-autocommand (2.2.2-3) ... Selecting previously unselected package python3.13-dev. Preparing to unpack .../102-python3.13-dev_3.13.5-2_arm64.deb ... Unpacking python3.13-dev (3.13.5-2) ... Selecting previously unselected package python3-dev. Preparing to unpack .../103-python3-dev_3.13.5-1_arm64.deb ... Unpacking python3-dev (3.13.5-1) ... Selecting previously unselected package python3-distro. Preparing to unpack .../104-python3-distro_1.9.0-1_all.deb ... Unpacking python3-distro (1.9.0-1) ... Selecting previously unselected package python3-more-itertools. Preparing to unpack .../105-python3-more-itertools_10.7.0-1_all.deb ... Unpacking python3-more-itertools (10.7.0-1) ... Selecting previously unselected package python3-typing-extensions. Preparing to unpack .../106-python3-typing-extensions_4.14.1-1_all.deb ... Unpacking python3-typing-extensions (4.14.1-1) ... Selecting previously unselected package python3-typeguard. Preparing to unpack .../107-python3-typeguard_4.4.2-1_all.deb ... Unpacking python3-typeguard (4.4.2-1) ... Selecting previously unselected package python3-inflect. Preparing to unpack .../108-python3-inflect_7.3.1-2_all.deb ... Unpacking python3-inflect (7.3.1-2) ... Selecting previously unselected package python3-iniconfig. Preparing to unpack .../109-python3-iniconfig_1.1.1-2_all.deb ... Unpacking python3-iniconfig (1.1.1-2) ... Selecting previously unselected package python3-jaraco.functools. Preparing to unpack .../110-python3-jaraco.functools_4.1.0-1_all.deb ... Unpacking python3-jaraco.functools (4.1.0-1) ... Selecting previously unselected package python3-pkg-resources. Preparing to unpack .../111-python3-pkg-resources_78.1.1-0.1_all.deb ... Unpacking python3-pkg-resources (78.1.1-0.1) ... Selecting previously unselected package python3-jaraco.text. Preparing to unpack .../112-python3-jaraco.text_4.0.0-1_all.deb ... Unpacking python3-jaraco.text (4.0.0-1) ... Selecting previously unselected package python3-zipp. Preparing to unpack .../113-python3-zipp_3.21.0-1_all.deb ... Unpacking python3-zipp (3.21.0-1) ... Selecting previously unselected package python3-setuptools. Preparing to unpack .../114-python3-setuptools_78.1.1-0.1_all.deb ... Unpacking python3-setuptools (78.1.1-0.1) ... Selecting previously unselected package python3-jaraco.context. Preparing to unpack .../115-python3-jaraco.context_6.0.1-1_all.deb ... Unpacking python3-jaraco.context (6.0.1-1) ... Selecting previously unselected package python3-packaging. Preparing to unpack .../116-python3-packaging_25.0-1_all.deb ... Unpacking python3-packaging (25.0-1) ... Selecting previously unselected package python3-pluggy. Preparing to unpack .../117-python3-pluggy_1.6.0-1_all.deb ... Unpacking python3-pluggy (1.6.0-1) ... Selecting previously unselected package python3-pyparsing. Preparing to unpack .../118-python3-pyparsing_3.1.2-1_all.deb ... Unpacking python3-pyparsing (3.1.2-1) ... Selecting previously unselected package python3-pytest. Preparing to unpack .../119-python3-pytest_8.3.5-2_all.deb ... Unpacking python3-pytest (8.3.5-2) ... Selecting previously unselected package python3-wheel. Preparing to unpack .../120-python3-wheel_0.46.1-2_all.deb ... Unpacking python3-wheel (0.46.1-2) ... Selecting previously unselected package python3-skbuild. Preparing to unpack .../121-python3-skbuild_0.18.1-2_all.deb ... Unpacking python3-skbuild (0.18.1-2) ... Setting up media-types (13.0.0) ... Setting up libpipeline1:arm64 (1.5.8-1) ... Setting up libcln6:arm64 (1.3.7-1+b1) ... Setting up libkeyutils1:arm64 (1.6.3-6) ... Setting up libboost1.83-dev:arm64 (1.83.0-4.2) ... Setting up bsdextrautils (2.41.1-1) ... Setting up libboost-date-time1.83.0:arm64 (1.83.0-4.2) ... Setting up libmagic-mgc (1:5.46-5) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.24.2) ... Setting up libbrotli1:arm64 (1.1.0-2+b7) ... Setting up libboost-system1.83.0:arm64 (1.83.0-4.2) ... Setting up libuv1t64:arm64 (1.50.0-2) ... Setting up libmagic1t64:arm64 (1:5.46-5) ... Setting up libnghttp2-14:arm64 (1.64.0-1.1) ... Setting up libboost-thread1.83.0:arm64 (1.83.0-4.2) ... Setting up gettext-base (0.23.1-2) ... Setting up m4 (1.4.19-8) ... Setting up libcom-err2:arm64 (1.47.2-3+b3) ... Setting up file (1:5.46-5) ... Setting up libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-3) ... Setting up libelf1t64:arm64 (0.192-4) ... Setting up libcadical-dev:arm64 (1.7.4-1+b1) ... Setting up libkrb5support0:arm64 (1.21.3-5) ... Setting up libsasl2-modules-db:arm64 (2.1.28+dfsg1-9) ... Setting up tzdata (2025b-5) ... Current default time zone: 'Etc/UTC' Local time is now: Sat Sep 19 19:45:50 UTC 2026. Universal Time is now: Sat Sep 19 19:45:50 UTC 2026. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libboost-atomic1.83.0:arm64 (1.83.0-4.2) ... Setting up libboost-serialization1.83.0:arm64 (1.83.0-4.2) ... Setting up libsymfpu-dev (0.0~git20190517.8fbe139-2) ... Setting up autotools-dev (20240727.1) ... Setting up libpkgconf3:arm64 (1.8.1-4) ... Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3) ... Setting up libexpat1-dev:arm64 (2.7.1-2) ... Setting up libboost-chrono1.83.0t64:arm64 (1.83.0-4.2) ... Setting up libjsoncpp26:arm64 (1.9.6-3) ... Setting up libncurses6:arm64 (6.5+20250216-2) ... Setting up libproc2-0:arm64 (2:4.0.4-9) ... Setting up libunistring5:arm64 (1.3-2) ... Setting up autopoint (0.23.1-2) ... Setting up libfl2:arm64 (2.6.4-8.2+b4) ... Setting up pkgconf-bin (1.8.1-4) ... Setting up libk5crypto3:arm64 (1.21.3-5) ... Setting up libsasl2-2:arm64 (2.1.28+dfsg1-9) ... Setting up libboost-atomic1.83-dev:arm64 (1.83.0-4.2) ... Setting up autoconf (2.72-3.1) ... Setting up libnghttp3-9:arm64 (1.8.0-1) ... Setting up zlib1g-dev:arm64 (1:1.3.dfsg+really1.3.1-1+b1) ... Setting up libffi8:arm64 (3.4.8-2) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.25) ... Setting up libuchardet0:arm64 (0.0.8-1+b2) ... Setting up procps (2:4.0.4-9) ... Setting up libtasn1-6:arm64 (4.20.0-2) ... Setting up netbase (6.5) ... Setting up cmake-data (3.31.6-2) ... Setting up librhash1:arm64 (1.4.6-1) ... Setting up libkrb5-3:arm64 (1.21.3-5) ... Setting up libboost-system1.83-dev:arm64 (1.83.0-4.2) ... Setting up libssh2-1t64:arm64 (1.11.1-1) ... Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ... Setting up lsb-release (12.1-1) ... Setting up readline-common (8.2-6) ... Setting up libxml2:arm64 (2.12.7+dfsg+really2.9.14-2.1) ... Setting up libldap2:arm64 (2.6.10+dfsg-1) ... Setting up chrpath (0.18-1) ... Setting up libjs-underscore (1.13.4~dfsg+~1.11.4-3) ... Setting up automake (1:1.17-4) ... update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.1-2) ... Setting up libcryptominisat5-dev:arm64 (5.11.21+dfsg1-3) ... Setting up flex (2.6.4-8.2+b4) ... Setting up libncurses-dev:arm64 (6.5+20250216-2) ... Setting up gettext (0.23.1-2) ... Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-3) ... Setting up libboost-chrono1.83-dev:arm64 (1.83.0-4.2) ... Setting up libtool (2.5.4-4) ... Setting up libcln-dev (1.3.7-1+b1) ... Setting up libboost-serialization1.83-dev:arm64 (1.83.0-4.2) ... Setting up libidn2-0:arm64 (2.3.8-2) ... Setting up libfl-dev:arm64 (2.6.4-8.2+b4) ... Setting up pkgconf:arm64 (1.8.1-4) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libboost-date-time1.83-dev:arm64 (1.83.0-4.2) ... Setting up libp11-kit0:arm64 (0.25.5-3) ... Setting up libgssapi-krb5-2:arm64 (1.21.3-5) ... Setting up libjs-sphinxdoc (8.1.3-5) ... Setting up libreadline8t64:arm64 (8.2-6) ... Setting up dh-strip-nondeterminism (1.14.1-2) ... Setting up groff-base (1.23.0-9) ... Setting up libarchive13t64:arm64 (3.7.4-4) ... Setting up libpython3.13-stdlib:arm64 (3.13.5-2) ... Setting up libpython3-stdlib:arm64 (3.13.5-1) ... Setting up libpython3.13:arm64 (3.13.5-2) ... Setting up libgnutls30t64:arm64 (3.8.9-3) ... Setting up libboost-thread1.83-dev:arm64 (1.83.0-4.2) ... Setting up python3.13 (3.13.5-2) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpsl5t64:arm64 (0.21.2-1.1+b1) ... Setting up python3 (3.13.5-1) ... /usr/share/cxxtest/cxxtest/cxx_parser.py:2090: SyntaxWarning: "is" with 'str' literal. Did you mean "=="? if p.type is "": /usr/share/cxxtest/cxxtest/cxxtest_parser.py:43: SyntaxWarning: invalid escape sequence '\s' lineCont_re = re.compile('(.*)\\\s*$') /usr/share/cxxtest/cxxtest/cxxtest_parser.py:130: SyntaxWarning: invalid escape sequence '\s' classdef = '(?:::\s*)?(?:\w+\s*::\s*)*\w+' /usr/share/cxxtest/cxxtest/cxxtest_parser.py:131: SyntaxWarning: invalid escape sequence '\s' baseclassdef = '(?:public|private|protected)\s+%s' % (classdef,) /usr/share/cxxtest/cxxtest/cxxtest_parser.py:134: SyntaxWarning: invalid escape sequence '\s' testsuite = '(?:(?:::)?\s*CxxTest\s*::\s*)?TestSuite' /usr/share/cxxtest/cxxtest/cxxtest_parser.py:39: SyntaxWarning: "is" with 'int' literal. Did you mean "=="? if len(suites) is 0 and not options.root: /usr/share/cxxtest/cxxtest/cxxtest_parser.py:236: SyntaxWarning: "is not" with 'int' literal. Did you mean "!="? if len(suite['tests']) is not 0: Setting up libreadline-dev:arm64 (8.2-6) ... Setting up python3-zipp (3.21.0-1) ... Setting up python3-autocommand (2.2.2-3) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up python3-packaging (25.0-1) ... Setting up python3-pyparsing (3.1.2-1) ... Setting up librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b5) ... Setting up libpython3.13-dev:arm64 (3.13.5-2) ... Setting up cython3 (3.0.11+dfsg-2+b1) ... Setting up python3-typing-extensions (4.14.1-1) ... Setting up python3-pluggy (1.6.0-1) ... Setting up libboost-thread-dev:arm64 (1.83.0.2+b2) ... Setting up dh-python (6.20250414) ... Setting up python3-more-itertools (10.7.0-1) ... Setting up python3-iniconfig (1.1.1-2) ... Setting up libpython3-dev:arm64 (3.13.5-1) ... Setting up python3-jaraco.functools (4.1.0-1) ... Setting up python3-distro (1.9.0-1) ... Setting up python3-jaraco.context (6.0.1-1) ... Setting up libcurl4t64:arm64 (8.14.1-2) ... Setting up python3.13-dev (3.13.5-2) ... Setting up python3-pytest (8.3.5-2) ... Setting up python3-ply (3.11-9) ... Setting up python3-typeguard (4.4.2-1) ... Setting up debhelper (13.24.2) ... Setting up python3-wheel (0.46.1-2) ... Setting up python3-inflect (7.3.1-2) ... Setting up python3-jaraco.text (4.0.0-1) ... Setting up python3-dev (3.13.5-1) ... Setting up cxxtest (4.4+git171022-2) ... Setting up cmake (3.31.6-2) ... Setting up python3-pkg-resources (78.1.1-0.1) ... Setting up python3-setuptools (78.1.1-0.1) ... Setting up python3-skbuild (0.18.1-2) ... Processing triggers for libc-bin (2.41-12) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps I: Building the package I: Running cd /build/reproducible-path/cvc5-1.1.2/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../cvc5_1.1.2-3_source.changes dpkg-buildpackage: info: source package cvc5 dpkg-buildpackage: info: source version 1.1.2-3 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Alexandre Detiste dpkg-source --before-build . dpkg-buildpackage: info: host architecture arm64 debian/rules clean dh clean --buildsystem=cmake debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/cvc5-1.1.2' dh_auto_clean dh_auto_clean --buildsystem=pybuild I: pybuild base:311: dh_auto_clean --buildsystem=cmake make[1]: Leaving directory '/build/reproducible-path/cvc5-1.1.2' dh_autoreconf_clean -O--buildsystem=cmake dh_clean -O--buildsystem=cmake debian/rules binary dh binary --buildsystem=cmake dh_update_autotools_config -O--buildsystem=cmake dh_autoreconf -O--buildsystem=cmake debian/rules override_dh_auto_configure make[1]: Entering directory '/build/reproducible-path/cvc5-1.1.2' dh_auto_configure -- \ -DENABLE_GPL=ON -DBUILD_SHARED_LIBS=ON \ -DENABLE_DEBUG_SYMBOLS=ON -DENABLE_PROOFS=ON \ -DENABLE_STATISTICS=ON \ -DENABLE_UNIT_TESTING=ON \ -DUSE_CLN=ON \ -DUSE_CRYPTOMINISAT=ON -DUSE_KISSAT=OFF \ -DUSE_GLPK=OFF \ -DBUILD_BINDINGS_PYTHON=ON \ -DSKIP_COMPRESS_DEBUG=ON \ -DSKIP_SET_RPATH=ON \ -DUSE_DEFAULT_LINKER=ON \ -DCMAKE_BUILD_TYPE=Production cd obj-aarch64-linux-gnu && DEB_PYTHON_INSTALL_LAYOUT=deb PKG_CONFIG=/usr/bin/pkg-config cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_USE_PACKAGE_REGISTRY=OFF -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DFETCHCONTENT_FULLY_DISCONNECTED=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_INSTALL_LIBDIR=lib/aarch64-linux-gnu -DENABLE_GPL=ON -DBUILD_SHARED_LIBS=ON -DENABLE_DEBUG_SYMBOLS=ON -DENABLE_PROOFS=ON -DENABLE_STATISTICS=ON -DENABLE_UNIT_TESTING=ON -DUSE_CLN=ON -DUSE_CRYPTOMINISAT=ON -DUSE_KISSAT=OFF -DUSE_GLPK=OFF -DBUILD_BINDINGS_PYTHON=ON -DSKIP_COMPRESS_DEBUG=ON -DSKIP_SET_RPATH=ON -DUSE_DEFAULT_LINKER=ON -DCMAKE_BUILD_TYPE=Production .. -- 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 -- Could NOT find Git (missing: GIT_EXECUTABLE) -- 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/aarch64-linux-gnu/libgmp.so -- Performing Test HAVE_C_FLAG_ggdb3 -- Performing Test HAVE_C_FLAG_ggdb3 - Success -- Configuring with C flag '-ggdb3' -- Performing Test HAVE_CXX_FLAG_ggdb3 -- Performing Test HAVE_CXX_FLAG_ggdb3 - Success -- Configuring with CXX flag '-ggdb3' -- Found CaDiCaL 1.7.3 : /usr/lib/aarch64-linux-gnu/libcadical.a -- Found CLN 1.3.7: /usr/lib/aarch64-linux-gnu/libcln.so -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- Found CryptoMiniSat 5.11.21: -- Found SymFPU: /usr/include -- 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 -- Found Python: /usr/include/python3.13 (found suitable exact version "3.13.5") found components: Development Development.Module Development.Embed CMake Warning (dev) at /usr/lib/python3/dist-packages/skbuild/resources/cmake/FindPythonExtensions.cmake:245 (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. Call Stack (most recent call first): src/api/python/CMakeLists.txt:65 (find_package) This warning is for project developers. Use -Wno-dev to suppress it. -- Found PythonInterp: /usr/bin/python3 (found version "3.13.5") CMake Warning (dev) at /usr/lib/python3/dist-packages/skbuild/resources/cmake/FindPythonExtensions.cmake:252 (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. Call Stack (most recent call first): src/api/python/CMakeLists.txt:65 (find_package) This warning is for project developers. Use -Wno-dev to suppress it. -- Found PythonLibs: /usr/lib/aarch64-linux-gnu/libpython3.13.so (found version "3.13.5") -- Found Cython: /usr/bin/cython (Required is at least version "3.0.0") -- Performing Test HAVE_CXX_FLAGWerror -- Performing Test HAVE_CXX_FLAGWerror - Success -- Performing Test HAVE_CXX_FLAGWshadow -- Performing Test HAVE_CXX_FLAGWshadow - Success -- Performing Test HAVE_CXX_FLAGWimplicit_fallthrough -- Performing Test HAVE_CXX_FLAGWimplicit_fallthrough - Success -- Performing Test Weak Link MODULE -> SHARED (gnu_ld_ignore) - Success _modinit_prefix:PyInit_ Python bindings install command: /usr/bin/python3 /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python/setup.py install --root=$ENV{DESTDIR} --single-version-externally-managed --install-layout=deb --record=cvc5-installed-files.txt cvc5 1.1.2 Build profile : production Assertions : off Debug symbols : on 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 : on Python bindings : on Java bindings : off Interprocedural opt. : off CryptoMiniSat : on (system) GLPK : off Kissat : off LibPoly : off CoCoALib : off MP library : cln (system) Editline : off Api docs : off CPPLAGS (-D...): NDEBUG CVC5_STATISTICS_ON CVC5_USE_CRYPTOMINISAT CXXFLAGS : -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 CFLAGS : -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -fexceptions -Wimplicit-fallthrough -Wshadow -ggdb3 Linker flags : -Wl,-z,relro -Wl,-z,now Install prefix : /usr cvc5 license: GPLv3 (due to optional libraries; see below) Please note that cvc5 will be built against the following GPLed libraries: cln As these libraries are covered under the GPLv3, so is this build of cvc5. cvc5 is also available to you under the terms of the (modified) BSD license. If you prefer to license cvc5 under those terms, please configure cvc5 to disable all optional GPLed library dependencies. Now just type 'make', followed by 'make check' or 'make install'. -- Configuring done (78.7s) -- Generating done (1.7s) CMake Warning: Manually-specified variables were not used by the project: CMAKE_EXPORT_NO_PACKAGE_REGISTRY CMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY FETCHCONTENT_FULLY_DISCONNECTED -- Build files have been written to: /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu make[1]: Leaving directory '/build/reproducible-path/cvc5-1.1.2' dh_auto_build -O--buildsystem=cmake cd obj-aarch64-linux-gnu && make -j12 "INSTALL=install --strip-program=true" VERBOSE=1 make[1]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' /usr/bin/cmake -S/build/reproducible-path/cvc5-1.1.2 -B/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/CMakeFiles /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[2]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/theory/CMakeFiles/gen-theory.dir/build.make src/theory/CMakeFiles/gen-theory.dir/depend make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/theory /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/theory /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/theory/CMakeFiles/gen-theory.dir/DependInfo.cmake "--color=" make -f CMakeFiles/gen-versioninfo.dir/build.make CMakeFiles/gen-versioninfo.dir/depend make -f src/CMakeFiles/gen-options.dir/build.make src/CMakeFiles/gen-options.dir/depend make -f src/base/CMakeFiles/gen-tags.dir/build.make src/base/CMakeFiles/gen-tags.dir/depend make -f src/context/CMakeFiles/cvc5context.dir/build.make src/context/CMakeFiles/cvc5context.dir/depend make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/CMakeFiles/gen-options.dir/DependInfo.cmake "--color=" make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/CMakeFiles/gen-versioninfo.dir/DependInfo.cmake "--color=" make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/context /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/context /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/context/CMakeFiles/cvc5context.dir/DependInfo.cmake "--color=" make -f src/expr/CMakeFiles/gen-expr.dir/build.make src/expr/CMakeFiles/gen-expr.dir/depend make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/expr /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr/CMakeFiles/gen-expr.dir/DependInfo.cmake "--color=" make -f src/rewriter/CMakeFiles/gen-rewrites.dir/build.make src/rewriter/CMakeFiles/gen-rewrites.dir/depend make -f src/main/CMakeFiles/gen-tokens.dir/build.make src/main/CMakeFiles/gen-tokens.dir/depend make -f src/api/python/CMakeFiles/cvc5types.dir/build.make src/api/python/CMakeFiles/cvc5types.dir/depend make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/rewriter /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/rewriter /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/rewriter/CMakeFiles/gen-rewrites.dir/DependInfo.cmake "--color=" make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/main /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/main /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/main/CMakeFiles/gen-tokens.dir/DependInfo.cmake "--color=" make -f src/api/python/CMakeFiles/cvc5kinds.dir/build.make src/api/python/CMakeFiles/cvc5kinds.dir/depend make -f src/api/python/CMakeFiles/cvc5proofrules.dir/build.make src/api/python/CMakeFiles/cvc5proofrules.dir/depend make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/api/python /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python/CMakeFiles/cvc5types.dir/DependInfo.cmake "--color=" make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/api/python /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python/CMakeFiles/cvc5kinds.dir/DependInfo.cmake "--color=" make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/api/python /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python/CMakeFiles/cvc5proofrules.dir/DependInfo.cmake "--color=" make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/theory/CMakeFiles/gen-theory.dir/build.make src/theory/CMakeFiles/gen-theory.dir/build make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/base /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base/CMakeFiles/gen-tags.dir/DependInfo.cmake "--color=" make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/CMakeFiles/gen-options.dir/build.make src/CMakeFiles/gen-options.dir/build make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f CMakeFiles/gen-versioninfo.dir/build.make CMakeFiles/gen-versioninfo.dir/build make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/context/CMakeFiles/cvc5context.dir/build.make src/context/CMakeFiles/cvc5context.dir/build make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' /usr/bin/cmake -DPROJECT_SOURCE_DIR=/build/reproducible-path/cvc5-1.1.2 -DCMAKE_BINARY_DIR=/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu -P /build/reproducible-path/cvc5-1.1.2/cmake/version.cmake make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/expr/CMakeFiles/gen-expr.dir/build.make src/expr/CMakeFiles/gen-expr.dir/build make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/rewriter/CMakeFiles/gen-rewrites.dir/build.make src/rewriter/CMakeFiles/gen-rewrites.dir/build make -f src/api/python/CMakeFiles/cvc5types.dir/build.make src/api/python/CMakeFiles/cvc5types.dir/build make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/api/python/CMakeFiles/cvc5kinds.dir/build.make src/api/python/CMakeFiles/cvc5kinds.dir/build make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/api/python/CMakeFiles/cvc5proofrules.dir/build.make src/api/python/CMakeFiles/cvc5proofrules.dir/build make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 0%] Generating theory_traits.h [ 0%] Generating options/options.stamp make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/base/CMakeFiles/gen-tags.dir/build.make src/base/CMakeFiles/gen-tags.dir/build [ 0%] Generating rewrites.{h,cpp} [ 0%] Generating kind.h cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/cmake -E make_directory /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/options [ 0%] Building CXX object src/context/CMakeFiles/cvc5context.dir/context.cpp.o [ 0%] Generating type_enumerator.cpp make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/main/CMakeFiles/gen-tokens.dir/build.make src/main/CMakeFiles/gen-tokens.dir/build cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/theory && /build/reproducible-path/cvc5-1.1.2/src/theory/mktheorytraits /build/reproducible-path/cvc5-1.1.2/src/theory/type_enumerator_template.cpp /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/theory/type_enumerator.cpp cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/rewriter && /usr/bin/python3 /build/reproducible-path/cvc5-1.1.2/src/rewriter/mkrewrites.py rewrite-db /build/reproducible-path/cvc5-1.1.2/src/rewriter /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/rewrites cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/theory && /build/reproducible-path/cvc5-1.1.2/src/theory/mktheorytraits /build/reproducible-path/cvc5-1.1.2/src/theory/theory_traits_template.h /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/theory/theory_traits.h make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr && /build/reproducible-path/cvc5-1.1.2/src/expr/mkkind /build/reproducible-path/cvc5-1.1.2/src/expr/kind_template.h /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr/kind.h cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/context && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/context/CMakeFiles/cvc5context.dir/context.cpp.o -MF CMakeFiles/cvc5context.dir/context.cpp.o.d -o CMakeFiles/cvc5context.dir/context.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/context/context.cpp -- Could NOT find Git (missing: GIT_EXECUTABLE) Hint: The project() command has not yet been called. It sets up system-specific search paths. make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 0%] Generating smt2_tokens.h cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/python3 /build/reproducible-path/cvc5-1.1.2/src/options/mkoptions.py /build/reproducible-path/cvc5-1.1.2/src /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src /build/reproducible-path/cvc5-1.1.2/src/options/arith_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/arrays_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/base_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/booleans_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/builtin_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/bv_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/datatypes_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/decision_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/expr_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/ff_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/fp_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/main_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/parallel_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/parser_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/printer_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/proof_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/prop_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/quantifiers_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/sep_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/sets_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/smt_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/strings_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/theory_options.toml /build/reproducible-path/cvc5-1.1.2/src/options/uf_options.toml cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/main && sh /build/reproducible-path/cvc5-1.1.2/src/main/gen-token-header.sh /build/reproducible-path/cvc5-1.1.2/src/main/../parser/smt2/smt2_cmd_parser.cpp smt2_tokens.h [ 0%] Generating cvc5proofrules.pxd, cvc5proofrules.pxi make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 0%] Generating cvc5kinds.pxd, cvc5kinds.pxi [ 0%] Generating cvc5types.pxd, cvc5types.pxi cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python && /usr/bin/python3 /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python/genenums.py --enums-header /build/reproducible-path/cvc5-1.1.2/include/cvc5/cvc5_types.h --enums-file-prefix /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python/cvc5types make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python && /usr/bin/python3 /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python/genenums.py --enums-header /build/reproducible-path/cvc5-1.1.2/include/cvc5/cvc5_proof_rule.h --enums-file-prefix /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python/cvc5proofrules cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python && /usr/bin/python3 /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python/genenums.py --enums-header /build/reproducible-path/cvc5-1.1.2/include/cvc5/cvc5_kind.h --enums-file-prefix /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/api/python/cvc5kinds [ 1%] Generating Trace_tags.h [ 1%] Built target gen-tokens [ 1%] Built target gen-versioninfo cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base && /usr/bin/python3 /build/reproducible-path/cvc5-1.1.2/src/base/collect_tags.py /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base/ /build/reproducible-path/cvc5-1.1.2/src [ 2%] Generating metakind.h cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr && /build/reproducible-path/cvc5-1.1.2/src/expr/mkmetakind /build/reproducible-path/cvc5-1.1.2/src/expr/metakind_template.h /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr/metakind.h [ 2%] Building CXX object src/context/CMakeFiles/cvc5context.dir/context_mm.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/context && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/context/CMakeFiles/cvc5context.dir/context_mm.cpp.o -MF CMakeFiles/cvc5context.dir/context_mm.cpp.o.d -o CMakeFiles/cvc5context.dir/context_mm.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/context/context_mm.cpp make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 2%] Built target cvc5types [ 2%] Generating node_manager.h cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr && /build/reproducible-path/cvc5-1.1.2/src/expr/mkmetakind /build/reproducible-path/cvc5-1.1.2/src/expr/node_manager_template.h /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr/node_manager.h make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 2%] Built target cvc5proofrules [ 2%] Built target cvc5kinds [ 2%] Generating type_properties.h [ 2%] Generating type_checker.cpp cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr && /build/reproducible-path/cvc5-1.1.2/src/expr/mkexpr /build/reproducible-path/cvc5-1.1.2/src/expr/type_checker_template.cpp /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr/type_checker.cpp cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr && /build/reproducible-path/cvc5-1.1.2/src/expr/mkkind /build/reproducible-path/cvc5-1.1.2/src/expr/type_properties_template.h /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr/type_properties.h make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 2%] Built target gen-options [ 2%] Generating rewriter_tables.h cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/theory && /build/reproducible-path/cvc5-1.1.2/src/theory/mkrewriter /build/reproducible-path/cvc5-1.1.2/src/theory/rewriter_tables_template.h /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/theory/rewriter_tables.h make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 2%] Built target gen-rewrites make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 2%] Built target gen-tags make -f src/base/CMakeFiles/cvc5base.dir/build.make src/base/CMakeFiles/cvc5base.dir/depend make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/base /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base/CMakeFiles/cvc5base.dir/DependInfo.cmake "--color=" make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/base/CMakeFiles/cvc5base.dir/build.make src/base/CMakeFiles/cvc5base.dir/build make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/configuration.cpp.o make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/configuration.cpp.o -MF CMakeFiles/cvc5base.dir/configuration.cpp.o.d -o CMakeFiles/cvc5base.dir/configuration.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/base/configuration.cpp [ 2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/check.cpp.o [ 2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/exception.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/check.cpp.o -MF CMakeFiles/cvc5base.dir/check.cpp.o.d -o CMakeFiles/cvc5base.dir/check.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/base/check.cpp cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/exception.cpp.o -MF CMakeFiles/cvc5base.dir/exception.cpp.o.d -o CMakeFiles/cvc5base.dir/exception.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/base/exception.cpp [ 2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/listener.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/listener.cpp.o -MF CMakeFiles/cvc5base.dir/listener.cpp.o.d -o CMakeFiles/cvc5base.dir/listener.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/base/listener.cpp [ 2%] Built target gen-theory [ 2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/output.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/output.cpp.o -MF CMakeFiles/cvc5base.dir/output.cpp.o.d -o CMakeFiles/cvc5base.dir/output.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/base/output.cpp [ 3%] Building CXX object src/base/CMakeFiles/cvc5base.dir/versioninfo.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/versioninfo.cpp.o -MF CMakeFiles/cvc5base.dir/versioninfo.cpp.o.d -o CMakeFiles/cvc5base.dir/versioninfo.cpp.o -c /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/base/versioninfo.cpp [ 3%] Generating kind.cpp cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr && /build/reproducible-path/cvc5-1.1.2/src/expr/mkkind /build/reproducible-path/cvc5-1.1.2/src/expr/kind_template.cpp /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr/kind.cpp /build/reproducible-path/cvc5-1.1.2/src/base/configuration.cpp:256:10: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 256 | return __DATE__ " " __TIME__; | ^~~~~~~~ /build/reproducible-path/cvc5-1.1.2/src/base/configuration.cpp:256:23: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] 256 | return __DATE__ " " __TIME__; | ^~~~~~~~ [ 3%] Generating type_properties.cpp cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr && /build/reproducible-path/cvc5-1.1.2/src/expr/mkkind /build/reproducible-path/cvc5-1.1.2/src/expr/type_properties_template.cpp /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr/type_properties.cpp [ 3%] Generating node_manager.cpp cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr && /build/reproducible-path/cvc5-1.1.2/src/expr/mkmetakind /build/reproducible-path/cvc5-1.1.2/src/expr/node_manager_template.cpp /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr/node_manager.cpp [ 3%] Generating metakind.cpp cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr && /build/reproducible-path/cvc5-1.1.2/src/expr/mkmetakind /build/reproducible-path/cvc5-1.1.2/src/expr/metakind_template.cpp /build/reproducible-path/cvc5-1.1.2/src/theory/builtin/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/booleans/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/uf/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arith/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bv/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/ff/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/fp/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/arrays/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/datatypes/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sep/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/sets/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/bags/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/strings/kinds /build/reproducible-path/cvc5-1.1.2/src/theory/quantifiers/kinds > /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/expr/metakind.cpp make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 3%] Built target cvc5context make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 3%] Built target cvc5base make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 3%] Built target gen-expr make -f src/CMakeFiles/cvc5-obj.dir/build.make src/CMakeFiles/cvc5-obj.dir/depend make -f src/parser/CMakeFiles/cvc5parser-objs.dir/build.make src/parser/CMakeFiles/cvc5parser-objs.dir/depend make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/parser /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser/CMakeFiles/cvc5parser-objs.dir/DependInfo.cmake "--color=" make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/CMakeFiles/cvc5-obj.dir/DependInfo.cmake "--color=" make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/parser/CMakeFiles/cvc5parser-objs.dir/build.make src/parser/CMakeFiles/cvc5parser-objs.dir/build make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 3%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/command_status.cpp.o [ 3%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/input.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/input.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/input.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/input.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/input.cpp cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/command_status.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/command_status.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/command_status.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/command_status.cpp [ 3%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parse_op.cpp.o [ 4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parser.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/parse_op.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/parse_op.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/parse_op.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/parse_op.cpp [ 3%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/commands.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/parser.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/parser.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/parser.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/parser.cpp make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/CMakeFiles/cvc5-obj.dir/build.make src/CMakeFiles/cvc5-obj.dir/build cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/commands.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/commands.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/commands.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/commands.cpp [ 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_state.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_state.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/smt2/smt2_state.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/smt2/smt2_state.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/smt2/smt2_state.cpp [ 4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parser_state.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/parser_state.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/parser_state.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/parser_state.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/parser_state.cpp [ 4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/lexer.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_cmd_parser.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/smt2/smt2_cmd_parser.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/smt2/smt2_cmd_parser.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/smt2/smt2_cmd_parser.cpp cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/lexer.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/lexer.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/lexer.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/lexer.cpp [ 4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parser_utils.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/parser_utils.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/parser_utils.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/parser_utils.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/parser_utils.cpp [ 4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_lexer.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_lexer.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/smt2/smt2_lexer.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/smt2/smt2_lexer.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/smt2/smt2_lexer.cpp make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 4%] Building CXX object src/CMakeFiles/cvc5-obj.dir/api/c/cvc5.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/api/c/cvc5.cpp.o -MF CMakeFiles/cvc5-obj.dir/api/c/cvc5.cpp.o.d -o CMakeFiles/cvc5-obj.dir/api/c/cvc5.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/api/c/cvc5.cpp [ 4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_parser.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_parser.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/smt2/smt2_parser.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/smt2/smt2_parser.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/smt2/smt2_parser.cpp [ 4%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_term_parser.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_term_parser.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/smt2/smt2_term_parser.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/smt2/smt2_term_parser.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/smt2/smt2_term_parser.cpp [ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/sym_manager.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/sym_manager.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/sym_manager.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/sym_manager.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/sym_manager.cpp [ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/symbol_table.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/symbol_table.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/symbol_table.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/symbol_table.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/symbol_table.cpp [ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/tokens.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/tokens.cpp.o -MF CMakeFiles/cvc5parser-objs.dir/tokens.cpp.o.d -o CMakeFiles/cvc5parser-objs.dir/tokens.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/parser/tokens.cpp [ 5%] Building CXX object src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5.cpp.o -MF CMakeFiles/cvc5-obj.dir/api/cpp/cvc5.cpp.o.d -o CMakeFiles/cvc5-obj.dir/api/cpp/cvc5.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/api/cpp/cvc5.cpp [ 5%] Building CXX object src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5_types.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5_types.cpp.o -MF CMakeFiles/cvc5-obj.dir/api/cpp/cvc5_types.cpp.o.d -o CMakeFiles/cvc5-obj.dir/api/cpp/cvc5_types.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/api/cpp/cvc5_types.cpp [ 6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5_proof_rule.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5_proof_rule.cpp.o -MF CMakeFiles/cvc5-obj.dir/api/cpp/cvc5_proof_rule.cpp.o.d -o CMakeFiles/cvc5-obj.dir/api/cpp/cvc5_proof_rule.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/api/cpp/cvc5_proof_rule.cpp [ 6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/assertion_list.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/decision/assertion_list.cpp.o -MF CMakeFiles/cvc5-obj.dir/decision/assertion_list.cpp.o.d -o CMakeFiles/cvc5-obj.dir/decision/assertion_list.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/decision/assertion_list.cpp [ 6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/decision_engine.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/decision/decision_engine.cpp.o -MF CMakeFiles/cvc5-obj.dir/decision/decision_engine.cpp.o.d -o CMakeFiles/cvc5-obj.dir/decision/decision_engine.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/decision/decision_engine.cpp [ 6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/justification_strategy.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/decision/justification_strategy.cpp.o -MF CMakeFiles/cvc5-obj.dir/decision/justification_strategy.cpp.o.d -o CMakeFiles/cvc5-obj.dir/decision/justification_strategy.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/decision/justification_strategy.cpp [ 6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/justify_cache.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/decision/justify_cache.cpp.o -MF CMakeFiles/cvc5-obj.dir/decision/justify_cache.cpp.o.d -o CMakeFiles/cvc5-obj.dir/decision/justify_cache.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/decision/justify_cache.cpp [ 6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/justify_info.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/decision/justify_info.cpp.o -MF CMakeFiles/cvc5-obj.dir/decision/justify_info.cpp.o.d -o CMakeFiles/cvc5-obj.dir/decision/justify_info.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/decision/justify_info.cpp [ 6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/justify_stack.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/decision/justify_stack.cpp.o -MF CMakeFiles/cvc5-obj.dir/decision/justify_stack.cpp.o.d -o CMakeFiles/cvc5-obj.dir/decision/justify_stack.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/decision/justify_stack.cpp [ 6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/decision/justify_stats.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/decision/justify_stats.cpp.o -MF CMakeFiles/cvc5-obj.dir/decision/justify_stats.cpp.o.d -o CMakeFiles/cvc5-obj.dir/decision/justify_stats.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/decision/justify_stats.cpp [ 6%] Building C object src/CMakeFiles/cvc5-obj.dir/lib/clock_gettime.c.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/cc -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -fexceptions -Wimplicit-fallthrough -Wshadow -ggdb3 -std=gnu99 -fPIC -MD -MT src/CMakeFiles/cvc5-obj.dir/lib/clock_gettime.c.o -MF CMakeFiles/cvc5-obj.dir/lib/clock_gettime.c.o.d -o CMakeFiles/cvc5-obj.dir/lib/clock_gettime.c.o -c /build/reproducible-path/cvc5-1.1.2/src/lib/clock_gettime.c [ 7%] Building C object src/CMakeFiles/cvc5-obj.dir/lib/ffs.c.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/cc -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -fexceptions -Wimplicit-fallthrough -Wshadow -ggdb3 -std=gnu99 -fPIC -MD -MT src/CMakeFiles/cvc5-obj.dir/lib/ffs.c.o -MF CMakeFiles/cvc5-obj.dir/lib/ffs.c.o.d -o CMakeFiles/cvc5-obj.dir/lib/ffs.c.o -c /build/reproducible-path/cvc5-1.1.2/src/lib/ffs.c [ 7%] Building C object src/CMakeFiles/cvc5-obj.dir/lib/strtok_r.c.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/cc -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -fexceptions -Wimplicit-fallthrough -Wshadow -ggdb3 -std=gnu99 -fPIC -MD -MT src/CMakeFiles/cvc5-obj.dir/lib/strtok_r.c.o -MF CMakeFiles/cvc5-obj.dir/lib/strtok_r.c.o.d -o CMakeFiles/cvc5-obj.dir/lib/strtok_r.c.o -c /build/reproducible-path/cvc5-1.1.2/src/lib/strtok_r.c [ 7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/language.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/options/language.cpp.o -MF CMakeFiles/cvc5-obj.dir/options/language.cpp.o.d -o CMakeFiles/cvc5-obj.dir/options/language.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/options/language.cpp /build/reproducible-path/cvc5-1.1.2/src/api/cpp/cvc5.cpp: In member function 'std::pair cvc5::Term::getCardinalityConstraint() const': /build/reproducible-path/cvc5-1.1.2/src/api/cpp/cvc5.cpp:3523:42: warning: possibly dangling reference to a temporary [-Wdangling-reference] 3523 | const internal::CardinalityConstraint& cc = | ^~ /build/reproducible-path/cvc5-1.1.2/src/api/cpp/cvc5.cpp:3524:70: note: the temporary was destroyed at the end of the full expression 'cvc5::internal::NodeTemplate::getOperator() const [with bool ref_count = true]().cvc5::internal::NodeTemplate::getConst()' 3524 | d_node->getOperator().getConst(); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~ [ 7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/managed_streams.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/options/managed_streams.cpp.o -MF CMakeFiles/cvc5-obj.dir/options/managed_streams.cpp.o.d -o CMakeFiles/cvc5-obj.dir/options/managed_streams.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/options/managed_streams.cpp [ 7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/option_exception.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/options/option_exception.cpp.o -MF CMakeFiles/cvc5-obj.dir/options/option_exception.cpp.o.d -o CMakeFiles/cvc5-obj.dir/options/option_exception.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/options/option_exception.cpp [ 7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/options/options_handler.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/options/options_handler.cpp.o -MF CMakeFiles/cvc5-obj.dir/options/options_handler.cpp.o.d -o CMakeFiles/cvc5-obj.dir/options/options_handler.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/options/options_handler.cpp [ 7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/assertion_pipeline.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/assertion_pipeline.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/assertion_pipeline.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/assertion_pipeline.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/assertion_pipeline.cpp [ 7%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/learned_literal_manager.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/learned_literal_manager.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/learned_literal_manager.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/learned_literal_manager.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/learned_literal_manager.cpp [ 8%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ackermann.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ackermann.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/ackermann.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/ackermann.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/ackermann.cpp [ 8%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/apply_substs.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/apply_substs.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/apply_substs.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/apply_substs.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/apply_substs.cpp [ 8%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bool_to_bv.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bool_to_bv.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/bool_to_bv.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/bool_to_bv.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/bool_to_bv.cpp [ 8%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_eager_atoms.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_eager_atoms.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_eager_atoms.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_eager_atoms.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/bv_eager_atoms.cpp [ 8%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_gauss.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_gauss.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_gauss.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_gauss.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/bv_gauss.cpp [ 8%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_intro_pow2.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_intro_pow2.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_intro_pow2.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_intro_pow2.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/bv_intro_pow2.cpp [ 8%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_to_bool.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_to_bool.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_to_bool.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_to_bool.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/bv_to_bool.cpp make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 8%] Built target cvc5parser-objs [ 8%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_to_int.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_to_int.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_to_int.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_to_int.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/bv_to_int.cpp make -f src/parser/CMakeFiles/cvc5parserapi-objs.dir/build.make src/parser/CMakeFiles/cvc5parserapi-objs.dir/depend make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/cvc5-1.1.2 /build/reproducible-path/cvc5-1.1.2/src/parser /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser/CMakeFiles/cvc5parserapi-objs.dir/DependInfo.cmake "--color=" make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' make -f src/parser/CMakeFiles/cvc5parserapi-objs.dir/build.make src/parser/CMakeFiles/cvc5parserapi-objs.dir/build make[3]: Entering directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 8%] Building CXX object src/parser/CMakeFiles/cvc5parserapi-objs.dir/__/api/cpp/cvc5_parser.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src/parser && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parserapi-objs.dir/__/api/cpp/cvc5_parser.cpp.o -MF CMakeFiles/cvc5parserapi-objs.dir/__/api/cpp/cvc5_parser.cpp.o.d -o CMakeFiles/cvc5parserapi-objs.dir/__/api/cpp/cvc5_parser.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/api/cpp/cvc5_parser.cpp [ 8%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/extended_rewriter_pass.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/extended_rewriter_pass.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/extended_rewriter_pass.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/extended_rewriter_pass.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/extended_rewriter_pass.cpp [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ff_bitsum.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ff_bitsum.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/ff_bitsum.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/ff_bitsum.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/ff_bitsum.cpp [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ff_disjunctive_bit.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ff_disjunctive_bit.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/ff_disjunctive_bit.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/ff_disjunctive_bit.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/ff_disjunctive_bit.cpp [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/foreign_theory_rewrite.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/foreign_theory_rewrite.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/foreign_theory_rewrite.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/foreign_theory_rewrite.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/foreign_theory_rewrite.cpp [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/fun_def_fmf.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/fun_def_fmf.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/fun_def_fmf.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/fun_def_fmf.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/fun_def_fmf.cpp [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/global_negate.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/global_negate.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/global_negate.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/global_negate.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/global_negate.cpp [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ho_elim.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ho_elim.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/ho_elim.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/ho_elim.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/ho_elim.cpp [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/int_to_bv.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/int_to_bv.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/int_to_bv.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/int_to_bv.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/int_to_bv.cpp [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_removal.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_removal.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_removal.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_removal.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/ite_removal.cpp [ 10%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_simp.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_simp.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_simp.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_simp.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/ite_simp.cpp make[3]: Leaving directory '/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu' [ 10%] Built target cvc5parserapi-objs [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/learned_rewrite.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/learned_rewrite.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/learned_rewrite.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/learned_rewrite.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/learned_rewrite.cpp [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/miplib_trick.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/miplib_trick.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/miplib_trick.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/miplib_trick.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/miplib_trick.cpp [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/nl_ext_purify.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/nl_ext_purify.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/nl_ext_purify.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/nl_ext_purify.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/nl_ext_purify.cpp [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/non_clausal_simp.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/non_clausal_simp.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/non_clausal_simp.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/non_clausal_simp.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/non_clausal_simp.cpp [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/pseudo_boolean_processor.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/pseudo_boolean_processor.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/pseudo_boolean_processor.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/pseudo_boolean_processor.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/pseudo_boolean_processor.cpp [ 11%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/quantifiers_preprocess.cpp.o cd /build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/build/reproducible-path/cvc5-1.1.2/include -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/include -I/build/reproducible-path/cvc5-1.1.2/src/include -I/build/reproducible-path/cvc5-1.1.2/src/. -I/build/reproducible-path/cvc5-1.1.2/obj-aarch64-linux-gnu/src -g -O2 -ffile-prefix-map=/build/reproducible-path/cvc5-1.1.2=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2025-07-26\"" -DDEB_BUILD_TIME="\"23:13:23\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/quantifiers_preprocess.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/quantifiers_preprocess.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/quantifiers_preprocess.cpp.o -c /build/reproducible-path/cvc5-1.1.2/src/preprocessing/passes/quantifiers_preprocess.cpp make: *** wait: No child processes. Stop. make: *** Waiting for unfinished jobs.... make: *** wait: No child processes. Stop. make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:418: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/bv_gauss.cpp.o] Terminated make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:530: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/fun_def_fmf.cpp.o] Terminated make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:558: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ho_elim.cpp.o] Terminated make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:572: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/int_to_bv.cpp.o] Terminated make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:600: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/ite_simp.cpp.o] Terminated make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:614: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/learned_rewrite.cpp.o] Terminated make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:628: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/miplib_trick.cpp.o] Terminated make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:642: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/nl_ext_purify.cpp.o] Terminated make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:670: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/pseudo_boolean_processor.cpp.o] Terminated make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:684: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/quantifiers_preprocess.cpp.o] Terminated make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:656: src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/non_clausal_simp.cpp.o] Terminated Terminated I: copying local configuration E: Failed autobuilding of package I: unmounting dev/ptmx filesystem make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:96: src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5.cpp.o] Terminated make[2]: *** [CMakeFiles/Makefile2:826: src/CMakeFiles/cvc5-obj.dir/all] Terminated make[1]: *** [Makefile:149: all] Terminated I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/1643104 and its subdirectories Sun Aug 17 13:33:21 UTC 2025 W: No second build log, what happened?