Warning: Permanently added '34.230.20.250' (ED25519) to the list of known hosts. INFO: Calling: curl -H Pragma: -o cadical-1.7.1.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/tuliom/zlib-ng-compat-mpb/cadical/cadical-1.7.1.tar.gz/md5/052dee3cf37d574d2908d6f5a770d10b/cadical-1.7.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 631k 100 631k 0 0 11.8M 0 --:--:-- --:--:-- --:--:-- 12.0M INFO: Reading stdout from command: md5sum cadical-1.7.1.tar.gz Running (timeout=115200): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-0tewf7z9/cadical/cadical.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-0tewf7z9/cadical --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1695015324.365870 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 5.1 starting (python version = 3.11.3, NVR = mock-5.1-1.fc38)... Start(bootstrap): init plugins INFO: tmpfs initialized INFO: selinux enabled INFO: chroot_scan: initialized INFO: compress_logs: initialized Finish(bootstrap): init plugins Start: init plugins INFO: tmpfs initialized INFO: selinux enabled INFO: chroot_scan: initialized INFO: compress_logs: initialized Finish: init plugins INFO: Signal handler active Start: run INFO: Start(/var/lib/copr-rpmbuild/workspace/workdir-0tewf7z9/cadical/cadical.spec) Config(fedora-rawhide-aarch64) Start: clean chroot Finish: clean chroot Mock Version: 5.1 INFO: Mock Version: 5.1 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-aarch64-bootstrap-1695015324.365870/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata INFO: Guessed host environment type: unknown INFO: Using bootstrap image: registry.fedoraproject.org/fedora:rawhide INFO: Pulling image: registry.fedoraproject.org/fedora:rawhide INFO: Copy content of container registry.fedoraproject.org/fedora:rawhide to /var/lib/mock/fedora-rawhide-aarch64-bootstrap-1695015324.365870/root INFO: Checking that registry.fedoraproject.org/fedora:rawhide image matches host's architecture INFO: mounting registry.fedoraproject.org/fedora:rawhide with podman image mount INFO: image registry.fedoraproject.org/fedora:rawhide as /var/lib/containers/storage/overlay/e5f044ed8989be9cd40b2c2f59c88ac61d88bd9a229f7883760df7f5fca6dba7/merged INFO: umounting image registry.fedoraproject.org/fedora:rawhide (/var/lib/containers/storage/overlay/e5f044ed8989be9cd40b2c2f59c88ac61d88bd9a229f7883760df7f5fca6dba7/merged) with podman image umount INFO: Package manager dnf detected and used (fallback) INFO: Bootstrap image not marked ready Start(bootstrap): installing dnf tooling No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 49 MB/s | 2.7 MB 00:00 fedora 51 MB/s | 69 MB 00:01 Last metadata expiration check: 0:00:01 ago on Mon Sep 18 05:35:28 2023. Package python3-dnf-4.16.2-4.fc40.noarch is already installed. Dependencies resolved. ================================================================================ Package Arch Version Repository Size ================================================================================ Installing: python3-dnf-plugins-core noarch 4.4.2-1.fc39 fedora 293 k Installing dependencies: dbus-libs aarch64 1:1.14.10-1.fc40 fedora 156 k python3-dateutil noarch 1:2.8.2-10.fc39 fedora 355 k python3-dbus aarch64 1.3.2-4.fc39 fedora 157 k python3-distro noarch 1.8.0-6.fc39 fedora 49 k python3-six noarch 1.16.0-12.fc39 fedora 41 k python3-systemd aarch64 235-5.fc39 fedora 107 k Transaction Summary ================================================================================ Install 7 Packages Total download size: 1.1 M Installed size: 4.6 M Downloading Packages: (1/7): dbus-libs-1.14.10-1.fc40.aarch64.rpm 7.5 MB/s | 156 kB 00:00 (2/7): python3-distro-1.8.0-6.fc39.noarch.rpm 18 MB/s | 49 kB 00:00 (3/7): python3-dbus-1.3.2-4.fc39.aarch64.rpm 6.1 MB/s | 157 kB 00:00 (4/7): python3-six-1.16.0-12.fc39.noarch.rpm 19 MB/s | 41 kB 00:00 (5/7): python3-dnf-plugins-core-4.4.2-1.fc39.no 44 MB/s | 293 kB 00:00 (6/7): python3-systemd-235-5.fc39.aarch64.rpm 28 MB/s | 107 kB 00:00 (7/7): python3-dateutil-2.8.2-10.fc39.noarch.rp 9.6 MB/s | 355 kB 00:00 -------------------------------------------------------------------------------- Total 7.9 MB/s | 1.1 MB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : python3-systemd-235-5.fc39.aarch64 1/7 Installing : python3-six-1.16.0-12.fc39.noarch 2/7 Installing : python3-dateutil-1:2.8.2-10.fc39.noarch 3/7 Installing : python3-distro-1.8.0-6.fc39.noarch 4/7 Installing : dbus-libs-1:1.14.10-1.fc40.aarch64 5/7 Installing : python3-dbus-1.3.2-4.fc39.aarch64 6/7 Installing : python3-dnf-plugins-core-4.4.2-1.fc39.noarch 7/7 Running scriptlet: python3-dnf-plugins-core-4.4.2-1.fc39.noarch 7/7 Verifying : dbus-libs-1:1.14.10-1.fc40.aarch64 1/7 Verifying : python3-dateutil-1:2.8.2-10.fc39.noarch 2/7 Verifying : python3-dbus-1.3.2-4.fc39.aarch64 3/7 Verifying : python3-distro-1.8.0-6.fc39.noarch 4/7 Verifying : python3-dnf-plugins-core-4.4.2-1.fc39.noarch 5/7 Verifying : python3-six-1.16.0-12.fc39.noarch 6/7 Verifying : python3-systemd-235-5.fc39.aarch64 7/7 Installed: dbus-libs-1:1.14.10-1.fc40.aarch64 python3-dateutil-1:2.8.2-10.fc39.noarch python3-dbus-1.3.2-4.fc39.aarch64 python3-distro-1.8.0-6.fc39.noarch python3-dnf-plugins-core-4.4.2-1.fc39.noarch python3-six-1.16.0-12.fc39.noarch python3-systemd-235-5.fc39.aarch64 Complete! Finish(bootstrap): installing dnf tooling Start(bootstrap): creating root cache Finish(bootstrap): creating root cache Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-aarch64-1695015324.365870/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Package manager dnf detected and used (direct choice) Start: installing minimal buildroot with dnf No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 77 kB/s | 1.5 kB 00:00 Copr repository 53 MB/s | 2.7 MB 00:00 fedora 214 kB/s | 9.2 kB 00:00 Dependencies resolved. ================================================================================ Package Arch Version Repo Size ================================================================================ Installing group/module packages: bash aarch64 5.2.15-5.fc39 fedora 1.8 M bzip2 aarch64 1.0.8-16.fc39 fedora 52 k coreutils aarch64 9.4-1.fc40 fedora 1.2 M cpio aarch64 2.14-4.fc39 fedora 277 k diffutils aarch64 3.10-3.fc39 fedora 396 k fedora-release-common noarch 40-0.7 fedora 18 k findutils aarch64 1:4.9.0-6.fc40 fedora 495 k gawk aarch64 5.2.2-2.fc39 fedora 1.1 M glibc-minimal-langpack aarch64 2.38.9000-8.fc40 copr_base 73 k grep aarch64 3.11-5.fc40 fedora 296 k gzip aarch64 1.12-6.fc39 fedora 164 k info aarch64 7.0.3-3.fc39 fedora 179 k patch aarch64 2.7.6-22.fc39 fedora 123 k redhat-rpm-config noarch 270-1.fc40 copr_base 74 k rpm-build aarch64 4.18.99-1.fc40 fedora 79 k sed aarch64 4.8-14.fc39 fedora 304 k shadow-utils aarch64 2:4.14.0-1.fc40 fedora 1.3 M tar aarch64 2:1.35-2.fc40 fedora 854 k unzip aarch64 6.0-62.fc39 fedora 183 k util-linux aarch64 2.39.2-1.fc40 copr_base 1.1 M which aarch64 2.21-40.fc39 fedora 42 k xz aarch64 5.4.4-1.fc39 fedora 556 k Installing dependencies: alternatives aarch64 1.25-1.fc39 fedora 38 k ansible-srpm-macros noarch 1-11.fc39 fedora 21 k audit-libs aarch64 3.1.2-4.fc40 fedora 118 k authselect aarch64 1.4.2-3.fc39 fedora 144 k authselect-libs aarch64 1.4.2-3.fc39 fedora 249 k basesystem noarch 11-18.fc39 fedora 7.2 k binutils aarch64 2.41-5.fc40 fedora 6.7 M binutils-gold aarch64 2.41-5.fc40 fedora 948 k bzip2-libs aarch64 1.0.8-16.fc39 fedora 43 k ca-certificates noarch 2023.2.60_v7.0.306-3.fc40 fedora 837 k coreutils-common aarch64 9.4-1.fc40 fedora 2.1 M cracklib aarch64 2.9.11-2.fc40 copr_base 84 k crypto-policies noarch 20230731-1.git5ed06e0.fc39 fedora 99 k curl aarch64 8.3.0-1.fc40 copr_base 350 k cyrus-sasl-lib aarch64 2.1.28-11.fc39 fedora 781 k debugedit aarch64 5.0-10.fc39 fedora 77 k dwz aarch64 0.15-3.fc39 fedora 136 k ed aarch64 1.19-4.fc39 fedora 78 k efi-srpm-macros noarch 5-9.fc39 fedora 22 k elfutils aarch64 0.189-6.fc40 fedora 539 k elfutils-debuginfod-client aarch64 0.189-6.fc40 fedora 38 k elfutils-default-yama-scope noarch 0.189-6.fc40 fedora 13 k elfutils-libelf aarch64 0.189-6.fc40 fedora 194 k elfutils-libs aarch64 0.189-6.fc40 fedora 258 k fedora-gpg-keys noarch 40-0.1 fedora 130 k fedora-release noarch 40-0.7 fedora 8.0 k fedora-release-identity-basic noarch 40-0.7 fedora 8.8 k fedora-repos noarch 40-0.1 fedora 9.4 k fedora-repos-rawhide noarch 40-0.1 fedora 9.0 k file aarch64 5.45-1.fc40 copr_base 50 k file-libs aarch64 5.45-1.fc40 copr_base 762 k filesystem aarch64 3.18-6.fc39 fedora 1.1 M fonts-srpm-macros noarch 1:2.0.5-12.fc39 fedora 26 k forge-srpm-macros noarch 0.1.0-1.fc40 fedora 18 k fpc-srpm-macros noarch 1.3-8.fc39 fedora 7.4 k gdb-minimal aarch64 13.2-8.fc40 fedora 3.8 M gdbm-libs aarch64 1:1.23-4.fc39 fedora 56 k ghc-srpm-macros noarch 1.6.1-2.fc39 fedora 7.8 k glibc aarch64 2.38.9000-8.fc40 copr_base 1.7 M glibc-common aarch64 2.38.9000-8.fc40 copr_base 346 k glibc-gconv-extra aarch64 2.38.9000-8.fc40 copr_base 2.0 M gmp aarch64 1:6.2.1-5.fc39 fedora 266 k gnat-srpm-macros noarch 6-3.fc39 fedora 8.8 k go-srpm-macros noarch 3.2.0-7.fc40 fedora 27 k jansson aarch64 2.13.1-7.fc39 fedora 46 k kernel-srpm-macros noarch 1.0-20.fc39 fedora 10 k keyutils-libs aarch64 1.6.1-7.fc39 fedora 31 k krb5-libs aarch64 1.21.2-1.fc40 fedora 772 k libacl aarch64 2.3.1-9.fc40 fedora 23 k libarchive aarch64 3.7.2-1.fc40 fedora 402 k libattr aarch64 2.5.1-9.fc40 fedora 18 k libblkid aarch64 2.39.2-1.fc40 copr_base 116 k libbrotli aarch64 1.1.0-1.fc40 fedora 344 k libcap aarch64 2.48-7.fc39 fedora 68 k libcap-ng aarch64 0.8.3-8.fc40 fedora 32 k libcom_err aarch64 1.47.0-2.fc39 fedora 26 k libcurl aarch64 8.3.0-1.fc40 copr_base 337 k libdb aarch64 5.3.28-58.fc40 copr_base 735 k libeconf aarch64 0.5.2-1.fc40 fedora 30 k libevent aarch64 2.1.12-9.fc39 fedora 254 k libfdisk aarch64 2.39.2-1.fc40 copr_base 158 k libffi aarch64 3.4.4-4.fc39 fedora 38 k libgcc aarch64 13.2.1-1.fc40 copr_base 94 k libgomp aarch64 13.2.1-1.fc40 copr_base 311 k libidn2 aarch64 2.3.4-3.fc39 fedora 118 k libmount aarch64 2.39.2-1.fc40 copr_base 153 k libnghttp2 aarch64 1.56.0-1.fc40 fedora 75 k libnsl2 aarch64 2.0.0-6.fc39 fedora 30 k libpkgconf aarch64 1.9.5-2.fc39 fedora 38 k libpsl aarch64 0.21.2-4.fc39 fedora 63 k libpwquality aarch64 1.4.5-6.fc39 fedora 120 k libselinux aarch64 3.5-5.fc39 fedora 86 k libsemanage aarch64 3.5-4.fc39 fedora 117 k libsepol aarch64 3.5-2.fc39 fedora 311 k libsigsegv aarch64 2.14-5.fc39 fedora 27 k libsmartcols aarch64 2.39.2-1.fc40 copr_base 66 k libssh aarch64 0.10.5-2.fc39 fedora 212 k libssh-config noarch 0.10.5-2.fc39 fedora 9.2 k libstdc++ aarch64 13.2.1-1.fc40 copr_base 810 k libtasn1 aarch64 4.19.0-3.fc39 fedora 73 k libtirpc aarch64 1.3.3-1.rc2.fc39 fedora 95 k libunistring aarch64 1.1-5.fc40 fedora 540 k libutempter aarch64 1.2.1-10.fc39 fedora 27 k libuuid aarch64 2.39.2-1.fc40 copr_base 28 k libverto aarch64 0.3.2-6.fc39 fedora 21 k libxcrypt aarch64 4.4.36-2.fc39 fedora 123 k libxml2 aarch64 2.11.5-1.fc40 copr_base 687 k libzstd aarch64 1.5.5-4.fc40 copr_base 281 k lua-libs aarch64 5.4.6-3.fc39 fedora 131 k lua-srpm-macros noarch 1-9.fc39 fedora 8.6 k lz4-libs aarch64 1.9.4-4.fc39 fedora 68 k mpfr aarch64 4.2.0-3.fc39 fedora 319 k ncurses-base noarch 6.4-7.20230520.fc40 fedora 88 k ncurses-libs aarch64 6.4-7.20230520.fc40 fedora 326 k ocaml-srpm-macros noarch 8-2.fc39 fedora 14 k openblas-srpm-macros noarch 2-14.fc39 fedora 7.5 k openldap aarch64 2.6.6-1.fc39 fedora 251 k openssl-libs aarch64 1:3.1.1-4.fc40 copr_base 2.0 M p11-kit aarch64 0.25.0-2.fc39 fedora 481 k p11-kit-trust aarch64 0.25.0-2.fc39 fedora 140 k package-notes-srpm-macros noarch 0.5-9.fc39 fedora 11 k pam aarch64 1.5.3-2.fc39 fedora 558 k pam-libs aarch64 1.5.3-2.fc39 fedora 58 k pcre2 aarch64 10.42-1.fc39.2 fedora 219 k pcre2-syntax noarch 10.42-1.fc39.2 fedora 143 k perl-srpm-macros noarch 1-51.fc39 fedora 8.0 k pkgconf aarch64 1.9.5-2.fc39 fedora 42 k pkgconf-m4 noarch 1.9.5-2.fc39 fedora 14 k pkgconf-pkg-config aarch64 1.9.5-2.fc39 fedora 9.6 k popt aarch64 1.19-3.fc39 fedora 66 k publicsuffix-list-dafsa noarch 20230812-1.fc40 fedora 57 k pyproject-srpm-macros noarch 1.9.0-2.fc39 fedora 14 k python-srpm-macros noarch 3.12-4.fc40 fedora 25 k qt5-srpm-macros noarch 5.15.10-2.fc39 fedora 8.3 k qt6-srpm-macros noarch 6.5.2-2.fc39 fedora 9.2 k readline aarch64 8.2-4.fc39 fedora 211 k rpm aarch64 4.18.99-1.fc40 fedora 537 k rpm-build-libs aarch64 4.18.99-1.fc40 fedora 92 k rpm-libs aarch64 4.18.99-1.fc40 fedora 305 k rpm-sequoia aarch64 1.5.0-1.fc40 fedora 842 k rust-srpm-macros noarch 24-5.fc40 fedora 12 k setup noarch 2.14.4-1.fc39 fedora 154 k sqlite-libs aarch64 3.43.1-1.fc40 fedora 679 k systemd-libs aarch64 254.1-2.fc40 fedora 668 k tzdata noarch 2023c-3.fc40 fedora 718 k util-linux-core aarch64 2.39.2-1.fc40 copr_base 477 k xxhash-libs aarch64 0.8.2-1.fc39 fedora 35 k xz-libs aarch64 5.4.4-1.fc39 fedora 106 k zip aarch64 3.0-38.fc39 fedora 262 k zlib-ng-compat aarch64 2.1.3-3.fc40 copr_base 68 k zstd aarch64 1.5.5-4.fc40 copr_base 446 k Installing Groups: Buildsystem building group Transaction Summary ================================================================================ Install 153 Packages Total size: 53 M Installed size: 304 M Downloading Packages: [SKIPPED] cracklib-2.9.11-2.fc40.aarch64.rpm: Already downloaded [SKIPPED] curl-8.3.0-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] file-5.45-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] file-libs-5.45-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] glibc-2.38.9000-8.fc40.aarch64.rpm: Already downloaded [SKIPPED] glibc-common-2.38.9000-8.fc40.aarch64.rpm: Already downloaded [SKIPPED] glibc-gconv-extra-2.38.9000-8.fc40.aarch64.rpm: Already downloaded [SKIPPED] glibc-minimal-langpack-2.38.9000-8.fc40.aarch64.rpm: Already downloaded [SKIPPED] libblkid-2.39.2-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libcurl-8.3.0-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libdb-5.3.28-58.fc40.aarch64.rpm: Already downloaded [SKIPPED] libfdisk-2.39.2-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libgcc-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libgomp-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libmount-2.39.2-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libsmartcols-2.39.2-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libstdc++-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libuuid-2.39.2-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libxml2-2.11.5-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libzstd-1.5.5-4.fc40.aarch64.rpm: Already downloaded [SKIPPED] openssl-libs-3.1.1-4.fc40.aarch64.rpm: Already downloaded [SKIPPED] redhat-rpm-config-270-1.fc40.noarch.rpm: Already downloaded [SKIPPED] util-linux-2.39.2-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] util-linux-core-2.39.2-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] zlib-ng-compat-2.1.3-3.fc40.aarch64.rpm: Already downloaded [SKIPPED] zstd-1.5.5-4.fc40.aarch64.rpm: Already downloaded [SKIPPED] alternatives-1.25-1.fc39.aarch64.rpm: Already downloaded [SKIPPED] ansible-srpm-macros-1-11.fc39.noarch.rpm: Already downloaded [SKIPPED] audit-libs-3.1.2-4.fc40.aarch64.rpm: Already downloaded [SKIPPED] authselect-1.4.2-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] authselect-libs-1.4.2-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] basesystem-11-18.fc39.noarch.rpm: Already downloaded [SKIPPED] bash-5.2.15-5.fc39.aarch64.rpm: Already downloaded [SKIPPED] binutils-2.41-5.fc40.aarch64.rpm: Already downloaded [SKIPPED] binutils-gold-2.41-5.fc40.aarch64.rpm: Already downloaded [SKIPPED] bzip2-1.0.8-16.fc39.aarch64.rpm: Already downloaded [SKIPPED] bzip2-libs-1.0.8-16.fc39.aarch64.rpm: Already downloaded [SKIPPED] ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch.rpm: Already downloaded [SKIPPED] coreutils-9.4-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] coreutils-common-9.4-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] cpio-2.14-4.fc39.aarch64.rpm: Already downloaded [SKIPPED] crypto-policies-20230731-1.git5ed06e0.fc39.noarch.rpm: Already downloaded [SKIPPED] cyrus-sasl-lib-2.1.28-11.fc39.aarch64.rpm: Already downloaded [SKIPPED] debugedit-5.0-10.fc39.aarch64.rpm: Already downloaded [SKIPPED] diffutils-3.10-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] dwz-0.15-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] ed-1.19-4.fc39.aarch64.rpm: Already downloaded [SKIPPED] efi-srpm-macros-5-9.fc39.noarch.rpm: Already downloaded [SKIPPED] elfutils-0.189-6.fc40.aarch64.rpm: Already downloaded [SKIPPED] elfutils-debuginfod-client-0.189-6.fc40.aarch64.rpm: Already downloaded [SKIPPED] elfutils-default-yama-scope-0.189-6.fc40.noarch.rpm: Already downloaded [SKIPPED] elfutils-libelf-0.189-6.fc40.aarch64.rpm: Already downloaded [SKIPPED] elfutils-libs-0.189-6.fc40.aarch64.rpm: Already downloaded [SKIPPED] fedora-gpg-keys-40-0.1.noarch.rpm: Already downloaded [SKIPPED] fedora-release-40-0.7.noarch.rpm: Already downloaded [SKIPPED] fedora-release-common-40-0.7.noarch.rpm: Already downloaded [SKIPPED] fedora-release-identity-basic-40-0.7.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-40-0.1.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-rawhide-40-0.1.noarch.rpm: Already downloaded [SKIPPED] filesystem-3.18-6.fc39.aarch64.rpm: Already downloaded [SKIPPED] findutils-4.9.0-6.fc40.aarch64.rpm: Already downloaded [SKIPPED] fonts-srpm-macros-2.0.5-12.fc39.noarch.rpm: Already downloaded [SKIPPED] forge-srpm-macros-0.1.0-1.fc40.noarch.rpm: Already downloaded [SKIPPED] fpc-srpm-macros-1.3-8.fc39.noarch.rpm: Already downloaded [SKIPPED] gawk-5.2.2-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] gdb-minimal-13.2-8.fc40.aarch64.rpm: Already downloaded [SKIPPED] gdbm-libs-1.23-4.fc39.aarch64.rpm: Already downloaded [SKIPPED] ghc-srpm-macros-1.6.1-2.fc39.noarch.rpm: Already downloaded [SKIPPED] gmp-6.2.1-5.fc39.aarch64.rpm: Already downloaded [SKIPPED] gnat-srpm-macros-6-3.fc39.noarch.rpm: Already downloaded [SKIPPED] go-srpm-macros-3.2.0-7.fc40.noarch.rpm: Already downloaded [SKIPPED] grep-3.11-5.fc40.aarch64.rpm: Already downloaded [SKIPPED] gzip-1.12-6.fc39.aarch64.rpm: Already downloaded [SKIPPED] info-7.0.3-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] jansson-2.13.1-7.fc39.aarch64.rpm: Already downloaded [SKIPPED] kernel-srpm-macros-1.0-20.fc39.noarch.rpm: Already downloaded [SKIPPED] keyutils-libs-1.6.1-7.fc39.aarch64.rpm: Already downloaded [SKIPPED] krb5-libs-1.21.2-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libacl-2.3.1-9.fc40.aarch64.rpm: Already downloaded [SKIPPED] libarchive-3.7.2-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libattr-2.5.1-9.fc40.aarch64.rpm: Already downloaded [SKIPPED] libbrotli-1.1.0-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libcap-2.48-7.fc39.aarch64.rpm: Already downloaded [SKIPPED] libcap-ng-0.8.3-8.fc40.aarch64.rpm: Already downloaded [SKIPPED] libcom_err-1.47.0-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] libeconf-0.5.2-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libevent-2.1.12-9.fc39.aarch64.rpm: Already downloaded [SKIPPED] libffi-3.4.4-4.fc39.aarch64.rpm: Already downloaded [SKIPPED] libidn2-2.3.4-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] libnghttp2-1.56.0-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libnsl2-2.0.0-6.fc39.aarch64.rpm: Already downloaded [SKIPPED] libpkgconf-1.9.5-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] libpsl-0.21.2-4.fc39.aarch64.rpm: Already downloaded [SKIPPED] libpwquality-1.4.5-6.fc39.aarch64.rpm: Already downloaded [SKIPPED] libselinux-3.5-5.fc39.aarch64.rpm: Already downloaded [SKIPPED] libsemanage-3.5-4.fc39.aarch64.rpm: Already downloaded [SKIPPED] libsepol-3.5-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] libsigsegv-2.14-5.fc39.aarch64.rpm: Already downloaded [SKIPPED] libssh-0.10.5-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] libssh-config-0.10.5-2.fc39.noarch.rpm: Already downloaded [SKIPPED] libtasn1-4.19.0-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] libtirpc-1.3.3-1.rc2.fc39.aarch64.rpm: Already downloaded [SKIPPED] libunistring-1.1-5.fc40.aarch64.rpm: Already downloaded [SKIPPED] libutempter-1.2.1-10.fc39.aarch64.rpm: Already downloaded [SKIPPED] libverto-0.3.2-6.fc39.aarch64.rpm: Already downloaded [SKIPPED] libxcrypt-4.4.36-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] lua-libs-5.4.6-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] lua-srpm-macros-1-9.fc39.noarch.rpm: Already downloaded [SKIPPED] lz4-libs-1.9.4-4.fc39.aarch64.rpm: Already downloaded [SKIPPED] mpfr-4.2.0-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] ncurses-base-6.4-7.20230520.fc40.noarch.rpm: Already downloaded [SKIPPED] ncurses-libs-6.4-7.20230520.fc40.aarch64.rpm: Already downloaded [SKIPPED] ocaml-srpm-macros-8-2.fc39.noarch.rpm: Already downloaded [SKIPPED] openblas-srpm-macros-2-14.fc39.noarch.rpm: Already downloaded [SKIPPED] openldap-2.6.6-1.fc39.aarch64.rpm: Already downloaded [SKIPPED] p11-kit-0.25.0-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] p11-kit-trust-0.25.0-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] package-notes-srpm-macros-0.5-9.fc39.noarch.rpm: Already downloaded [SKIPPED] pam-1.5.3-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] pam-libs-1.5.3-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] patch-2.7.6-22.fc39.aarch64.rpm: Already downloaded [SKIPPED] pcre2-10.42-1.fc39.2.aarch64.rpm: Already downloaded [SKIPPED] pcre2-syntax-10.42-1.fc39.2.noarch.rpm: Already downloaded [SKIPPED] perl-srpm-macros-1-51.fc39.noarch.rpm: Already downloaded [SKIPPED] pkgconf-1.9.5-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] pkgconf-m4-1.9.5-2.fc39.noarch.rpm: Already downloaded [SKIPPED] pkgconf-pkg-config-1.9.5-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] popt-1.19-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] publicsuffix-list-dafsa-20230812-1.fc40.noarch.rpm: Already downloaded [SKIPPED] pyproject-srpm-macros-1.9.0-2.fc39.noarch.rpm: Already downloaded [SKIPPED] python-srpm-macros-3.12-4.fc40.noarch.rpm: Already downloaded [SKIPPED] qt5-srpm-macros-5.15.10-2.fc39.noarch.rpm: Already downloaded [SKIPPED] qt6-srpm-macros-6.5.2-2.fc39.noarch.rpm: Already downloaded [SKIPPED] readline-8.2-4.fc39.aarch64.rpm: Already downloaded [SKIPPED] rpm-4.18.99-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] rpm-build-4.18.99-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] rpm-build-libs-4.18.99-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] rpm-libs-4.18.99-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] rpm-sequoia-1.5.0-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] rust-srpm-macros-24-5.fc40.noarch.rpm: Already downloaded [SKIPPED] sed-4.8-14.fc39.aarch64.rpm: Already downloaded [SKIPPED] setup-2.14.4-1.fc39.noarch.rpm: Already downloaded [SKIPPED] shadow-utils-4.14.0-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] sqlite-libs-3.43.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] systemd-libs-254.1-2.fc40.aarch64.rpm: Already downloaded [SKIPPED] tar-1.35-2.fc40.aarch64.rpm: Already downloaded [SKIPPED] tzdata-2023c-3.fc40.noarch.rpm: Already downloaded [SKIPPED] unzip-6.0-62.fc39.aarch64.rpm: Already downloaded [SKIPPED] which-2.21-40.fc39.aarch64.rpm: Already downloaded [SKIPPED] xxhash-libs-0.8.2-1.fc39.aarch64.rpm: Already downloaded [SKIPPED] xz-5.4.4-1.fc39.aarch64.rpm: Already downloaded [SKIPPED] xz-libs-5.4.4-1.fc39.aarch64.rpm: Already downloaded [SKIPPED] zip-3.0-38.fc39.aarch64.rpm: Already downloaded fedora 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0xA15B79CC: Userid : "Fedora (40) " Fingerprint: 115D F9AE F857 853E E844 5D0A 0727 707E A15B 79CC From : /usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-40-primary Key imported successfully fedora 1.6 MB/s | 1.6 kB 00:00 GPG key at file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-40-primary (0xA15B79CC) is already installed fedora 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0x18B8E74C: Userid : "Fedora (39) " Fingerprint: E8F2 3996 F232 1864 0CB4 4CBE 75CF 5AC4 18B8 E74C From : /usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-39-primary Key imported successfully Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.18-6.fc39.aarch64 1/1 Preparing : 1/1 Installing : libgcc-13.2.1-1.fc40.aarch64 1/153 Running scriptlet: libgcc-13.2.1-1.fc40.aarch64 1/153 Installing : crypto-policies-20230731-1.git5ed06e0.fc39.noarc 2/153 Running scriptlet: crypto-policies-20230731-1.git5ed06e0.fc39.noarc 2/153 Installing : tzdata-2023c-3.fc40.noarch 3/153 Installing : fedora-release-identity-basic-40-0.7.noarch 4/153 Installing : fedora-repos-rawhide-40-0.1.noarch 5/153 Installing : fedora-gpg-keys-40-0.1.noarch 6/153 Installing : fedora-repos-40-0.1.noarch 7/153 Installing : fedora-release-common-40-0.7.noarch 8/153 Installing : fedora-release-40-0.7.noarch 9/153 Installing : setup-2.14.4-1.fc39.noarch 10/153 warning: /etc/hosts created as /etc/hosts.rpmnew Running scriptlet: setup-2.14.4-1.fc39.noarch 10/153 Installing : filesystem-3.18-6.fc39.aarch64 11/153 Installing : basesystem-11-18.fc39.noarch 12/153 Installing : rust-srpm-macros-24-5.fc40.noarch 13/153 Installing : qt6-srpm-macros-6.5.2-2.fc39.noarch 14/153 Installing : qt5-srpm-macros-5.15.10-2.fc39.noarch 15/153 Installing : pyproject-srpm-macros-1.9.0-2.fc39.noarch 16/153 Installing : publicsuffix-list-dafsa-20230812-1.fc40.noarch 17/153 Installing : pkgconf-m4-1.9.5-2.fc39.noarch 18/153 Installing : perl-srpm-macros-1-51.fc39.noarch 19/153 Installing : pcre2-syntax-10.42-1.fc39.2.noarch 20/153 Installing : package-notes-srpm-macros-0.5-9.fc39.noarch 21/153 Installing : openblas-srpm-macros-2-14.fc39.noarch 22/153 Installing : ocaml-srpm-macros-8-2.fc39.noarch 23/153 Installing : ncurses-base-6.4-7.20230520.fc40.noarch 24/153 Installing : glibc-gconv-extra-2.38.9000-8.fc40.aarch64 25/153 Running scriptlet: glibc-gconv-extra-2.38.9000-8.fc40.aarch64 25/153 Installing : glibc-minimal-langpack-2.38.9000-8.fc40.aarch64 26/153 Installing : glibc-common-2.38.9000-8.fc40.aarch64 27/153 Running scriptlet: glibc-2.38.9000-8.fc40.aarch64 28/153 Installing : glibc-2.38.9000-8.fc40.aarch64 28/153 Running scriptlet: glibc-2.38.9000-8.fc40.aarch64 28/153 Installing : ncurses-libs-6.4-7.20230520.fc40.aarch64 29/153 Installing : bash-5.2.15-5.fc39.aarch64 30/153 Running scriptlet: bash-5.2.15-5.fc39.aarch64 30/153 Installing : zlib-ng-compat-2.1.3-3.fc40.aarch64 31/153 Installing : xz-libs-5.4.4-1.fc39.aarch64 32/153 Installing : bzip2-libs-1.0.8-16.fc39.aarch64 33/153 Installing : libstdc++-13.2.1-1.fc40.aarch64 34/153 Installing : libuuid-2.39.2-1.fc40.aarch64 35/153 Installing : libzstd-1.5.5-4.fc40.aarch64 36/153 Installing : elfutils-libelf-0.189-6.fc40.aarch64 37/153 Installing : popt-1.19-3.fc39.aarch64 38/153 Installing : libblkid-2.39.2-1.fc40.aarch64 39/153 Installing : readline-8.2-4.fc39.aarch64 40/153 Installing : gmp-1:6.2.1-5.fc39.aarch64 41/153 Installing : libattr-2.5.1-9.fc40.aarch64 42/153 Installing : libacl-2.3.1-9.fc40.aarch64 43/153 Installing : libcap-2.48-7.fc39.aarch64 44/153 Installing : libxcrypt-4.4.36-2.fc39.aarch64 45/153 Installing : lz4-libs-1.9.4-4.fc39.aarch64 46/153 Installing : systemd-libs-254.1-2.fc40.aarch64 47/153 Installing : mpfr-4.2.0-3.fc39.aarch64 48/153 Installing : dwz-0.15-3.fc39.aarch64 49/153 Installing : unzip-6.0-62.fc39.aarch64 50/153 Installing : file-libs-5.45-1.fc40.aarch64 51/153 Installing : file-5.45-1.fc40.aarch64 52/153 Installing : libsmartcols-2.39.2-1.fc40.aarch64 53/153 Installing : alternatives-1.25-1.fc39.aarch64 54/153 Installing : jansson-2.13.1-7.fc39.aarch64 55/153 Installing : libcap-ng-0.8.3-8.fc40.aarch64 56/153 Installing : audit-libs-3.1.2-4.fc40.aarch64 57/153 Installing : pam-libs-1.5.3-2.fc39.aarch64 58/153 Installing : libcom_err-1.47.0-2.fc39.aarch64 59/153 Installing : libsepol-3.5-2.fc39.aarch64 60/153 Installing : libunistring-1.1-5.fc40.aarch64 61/153 Installing : libidn2-2.3.4-3.fc39.aarch64 62/153 Installing : lua-libs-5.4.6-3.fc39.aarch64 63/153 Installing : pcre2-10.42-1.fc39.2.aarch64 64/153 Installing : libselinux-3.5-5.fc39.aarch64 65/153 Installing : sed-4.8-14.fc39.aarch64 66/153 Installing : grep-3.11-5.fc40.aarch64 67/153 Installing : findutils-1:4.9.0-6.fc40.aarch64 68/153 Installing : xz-5.4.4-1.fc39.aarch64 69/153 Installing : libmount-2.39.2-1.fc40.aarch64 70/153 Installing : util-linux-core-2.39.2-1.fc40.aarch64 71/153 Installing : libsemanage-3.5-4.fc39.aarch64 72/153 Installing : tar-2:1.35-2.fc40.aarch64 73/153 Installing : libpsl-0.21.2-4.fc39.aarch64 74/153 Installing : zip-3.0-38.fc39.aarch64 75/153 Installing : zstd-1.5.5-4.fc40.aarch64 76/153 Installing : libfdisk-2.39.2-1.fc40.aarch64 77/153 Installing : bzip2-1.0.8-16.fc39.aarch64 78/153 Installing : libxml2-2.11.5-1.fc40.aarch64 79/153 Installing : sqlite-libs-3.43.1-1.fc40.aarch64 80/153 Installing : ed-1.19-4.fc39.aarch64 81/153 Installing : patch-2.7.6-22.fc39.aarch64 82/153 Installing : elfutils-default-yama-scope-0.189-6.fc40.noarch 83/153 Running scriptlet: elfutils-default-yama-scope-0.189-6.fc40.noarch 83/153 Installing : libdb-5.3.28-58.fc40.aarch64 84/153 Installing : libgomp-13.2.1-1.fc40.aarch64 85/153 Installing : cpio-2.14-4.fc39.aarch64 86/153 Installing : diffutils-3.10-3.fc39.aarch64 87/153 Installing : gdbm-libs-1:1.23-4.fc39.aarch64 88/153 Installing : cyrus-sasl-lib-2.1.28-11.fc39.aarch64 89/153 Installing : keyutils-libs-1.6.1-7.fc39.aarch64 90/153 Installing : libbrotli-1.1.0-1.fc40.aarch64 91/153 Installing : libeconf-0.5.2-1.fc40.aarch64 92/153 Installing : shadow-utils-2:4.14.0-1.fc40.aarch64 93/153 Running scriptlet: libutempter-1.2.1-10.fc39.aarch64 94/153 Installing : libutempter-1.2.1-10.fc39.aarch64 94/153 Installing : libffi-3.4.4-4.fc39.aarch64 95/153 Installing : p11-kit-0.25.0-2.fc39.aarch64 96/153 Installing : libnghttp2-1.56.0-1.fc40.aarch64 97/153 Installing : libpkgconf-1.9.5-2.fc39.aarch64 98/153 Installing : pkgconf-1.9.5-2.fc39.aarch64 99/153 Installing : pkgconf-pkg-config-1.9.5-2.fc39.aarch64 100/153 Installing : libsigsegv-2.14-5.fc39.aarch64 101/153 Installing : gawk-5.2.2-2.fc39.aarch64 102/153 Installing : libtasn1-4.19.0-3.fc39.aarch64 103/153 Installing : p11-kit-trust-0.25.0-2.fc39.aarch64 104/153 Running scriptlet: p11-kit-trust-0.25.0-2.fc39.aarch64 104/153 Installing : libverto-0.3.2-6.fc39.aarch64 105/153 Installing : xxhash-libs-0.8.2-1.fc39.aarch64 106/153 Installing : libssh-config-0.10.5-2.fc39.noarch 107/153 Installing : kernel-srpm-macros-1.0-20.fc39.noarch 108/153 Installing : gnat-srpm-macros-6-3.fc39.noarch 109/153 Installing : ghc-srpm-macros-1.6.1-2.fc39.noarch 110/153 Installing : fpc-srpm-macros-1.3-8.fc39.noarch 111/153 Installing : coreutils-common-9.4-1.fc40.aarch64 112/153 Installing : openssl-libs-1:3.1.1-4.fc40.aarch64 113/153 Installing : coreutils-9.4-1.fc40.aarch64 114/153 Running scriptlet: ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch 115/153 Installing : ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch 115/153 Running scriptlet: ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch 115/153 Installing : krb5-libs-1.21.2-1.fc40.aarch64 116/153 Installing : libtirpc-1.3.3-1.rc2.fc39.aarch64 117/153 Running scriptlet: authselect-libs-1.4.2-3.fc39.aarch64 118/153 Installing : authselect-libs-1.4.2-3.fc39.aarch64 118/153 Installing : gzip-1.12-6.fc39.aarch64 119/153 Installing : cracklib-2.9.11-2.fc40.aarch64 120/153 Installing : libpwquality-1.4.5-6.fc39.aarch64 121/153 Installing : authselect-1.4.2-3.fc39.aarch64 122/153 Installing : libnsl2-2.0.0-6.fc39.aarch64 123/153 Installing : pam-1.5.3-2.fc39.aarch64 124/153 Installing : libssh-0.10.5-2.fc39.aarch64 125/153 Installing : libarchive-3.7.2-1.fc40.aarch64 126/153 Installing : libevent-2.1.12-9.fc39.aarch64 127/153 Installing : openldap-2.6.6-1.fc39.aarch64 128/153 Installing : libcurl-8.3.0-1.fc40.aarch64 129/153 Installing : elfutils-debuginfod-client-0.189-6.fc40.aarch64 130/153 Installing : elfutils-libs-0.189-6.fc40.aarch64 131/153 Installing : binutils-gold-2.41-5.fc40.aarch64 132/153 Running scriptlet: binutils-gold-2.41-5.fc40.aarch64 132/153 Installing : binutils-2.41-5.fc40.aarch64 133/153 Running scriptlet: binutils-2.41-5.fc40.aarch64 133/153 Installing : elfutils-0.189-6.fc40.aarch64 134/153 Installing : gdb-minimal-13.2-8.fc40.aarch64 135/153 Installing : debugedit-5.0-10.fc39.aarch64 136/153 Installing : curl-8.3.0-1.fc40.aarch64 137/153 Installing : rpm-sequoia-1.5.0-1.fc40.aarch64 138/153 Installing : rpm-libs-4.18.99-1.fc40.aarch64 139/153 Running scriptlet: rpm-4.18.99-1.fc40.aarch64 140/153 Installing : rpm-4.18.99-1.fc40.aarch64 140/153 Installing : efi-srpm-macros-5-9.fc39.noarch 141/153 Installing : lua-srpm-macros-1-9.fc39.noarch 142/153 Installing : rpm-build-libs-4.18.99-1.fc40.aarch64 143/153 Installing : ansible-srpm-macros-1-11.fc39.noarch 144/153 Installing : fonts-srpm-macros-1:2.0.5-12.fc39.noarch 145/153 Installing : forge-srpm-macros-0.1.0-1.fc40.noarch 146/153 Installing : go-srpm-macros-3.2.0-7.fc40.noarch 147/153 Installing : python-srpm-macros-3.12-4.fc40.noarch 148/153 Installing : redhat-rpm-config-270-1.fc40.noarch 149/153 Installing : rpm-build-4.18.99-1.fc40.aarch64 150/153 Installing : util-linux-2.39.2-1.fc40.aarch64 151/153 Installing : which-2.21-40.fc39.aarch64 152/153 Installing : info-7.0.3-3.fc39.aarch64 153/153 Running scriptlet: filesystem-3.18-6.fc39.aarch64 153/153 Running scriptlet: ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch 153/153 Running scriptlet: authselect-libs-1.4.2-3.fc39.aarch64 153/153 Running scriptlet: rpm-4.18.99-1.fc40.aarch64 153/153 Running scriptlet: info-7.0.3-3.fc39.aarch64 153/153 Verifying : cracklib-2.9.11-2.fc40.aarch64 1/153 Verifying : curl-8.3.0-1.fc40.aarch64 2/153 Verifying : file-5.45-1.fc40.aarch64 3/153 Verifying : file-libs-5.45-1.fc40.aarch64 4/153 Verifying : glibc-2.38.9000-8.fc40.aarch64 5/153 Verifying : glibc-common-2.38.9000-8.fc40.aarch64 6/153 Verifying : glibc-gconv-extra-2.38.9000-8.fc40.aarch64 7/153 Verifying : glibc-minimal-langpack-2.38.9000-8.fc40.aarch64 8/153 Verifying : libblkid-2.39.2-1.fc40.aarch64 9/153 Verifying : libcurl-8.3.0-1.fc40.aarch64 10/153 Verifying : libdb-5.3.28-58.fc40.aarch64 11/153 Verifying : libfdisk-2.39.2-1.fc40.aarch64 12/153 Verifying : libgcc-13.2.1-1.fc40.aarch64 13/153 Verifying : libgomp-13.2.1-1.fc40.aarch64 14/153 Verifying : libmount-2.39.2-1.fc40.aarch64 15/153 Verifying : libsmartcols-2.39.2-1.fc40.aarch64 16/153 Verifying : libstdc++-13.2.1-1.fc40.aarch64 17/153 Verifying : libuuid-2.39.2-1.fc40.aarch64 18/153 Verifying : libxml2-2.11.5-1.fc40.aarch64 19/153 Verifying : libzstd-1.5.5-4.fc40.aarch64 20/153 Verifying : openssl-libs-1:3.1.1-4.fc40.aarch64 21/153 Verifying : redhat-rpm-config-270-1.fc40.noarch 22/153 Verifying : util-linux-2.39.2-1.fc40.aarch64 23/153 Verifying : util-linux-core-2.39.2-1.fc40.aarch64 24/153 Verifying : zlib-ng-compat-2.1.3-3.fc40.aarch64 25/153 Verifying : zstd-1.5.5-4.fc40.aarch64 26/153 Verifying : alternatives-1.25-1.fc39.aarch64 27/153 Verifying : ansible-srpm-macros-1-11.fc39.noarch 28/153 Verifying : audit-libs-3.1.2-4.fc40.aarch64 29/153 Verifying : authselect-1.4.2-3.fc39.aarch64 30/153 Verifying : authselect-libs-1.4.2-3.fc39.aarch64 31/153 Verifying : basesystem-11-18.fc39.noarch 32/153 Verifying : bash-5.2.15-5.fc39.aarch64 33/153 Verifying : binutils-2.41-5.fc40.aarch64 34/153 Verifying : binutils-gold-2.41-5.fc40.aarch64 35/153 Verifying : bzip2-1.0.8-16.fc39.aarch64 36/153 Verifying : bzip2-libs-1.0.8-16.fc39.aarch64 37/153 Verifying : ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch 38/153 Verifying : coreutils-9.4-1.fc40.aarch64 39/153 Verifying : coreutils-common-9.4-1.fc40.aarch64 40/153 Verifying : cpio-2.14-4.fc39.aarch64 41/153 Verifying : crypto-policies-20230731-1.git5ed06e0.fc39.noarc 42/153 Verifying : cyrus-sasl-lib-2.1.28-11.fc39.aarch64 43/153 Verifying : debugedit-5.0-10.fc39.aarch64 44/153 Verifying : diffutils-3.10-3.fc39.aarch64 45/153 Verifying : dwz-0.15-3.fc39.aarch64 46/153 Verifying : ed-1.19-4.fc39.aarch64 47/153 Verifying : efi-srpm-macros-5-9.fc39.noarch 48/153 Verifying : elfutils-0.189-6.fc40.aarch64 49/153 Verifying : elfutils-debuginfod-client-0.189-6.fc40.aarch64 50/153 Verifying : elfutils-default-yama-scope-0.189-6.fc40.noarch 51/153 Verifying : elfutils-libelf-0.189-6.fc40.aarch64 52/153 Verifying : elfutils-libs-0.189-6.fc40.aarch64 53/153 Verifying : fedora-gpg-keys-40-0.1.noarch 54/153 Verifying : fedora-release-40-0.7.noarch 55/153 Verifying : fedora-release-common-40-0.7.noarch 56/153 Verifying : fedora-release-identity-basic-40-0.7.noarch 57/153 Verifying : fedora-repos-40-0.1.noarch 58/153 Verifying : fedora-repos-rawhide-40-0.1.noarch 59/153 Verifying : filesystem-3.18-6.fc39.aarch64 60/153 Verifying : findutils-1:4.9.0-6.fc40.aarch64 61/153 Verifying : fonts-srpm-macros-1:2.0.5-12.fc39.noarch 62/153 Verifying : forge-srpm-macros-0.1.0-1.fc40.noarch 63/153 Verifying : fpc-srpm-macros-1.3-8.fc39.noarch 64/153 Verifying : gawk-5.2.2-2.fc39.aarch64 65/153 Verifying : gdb-minimal-13.2-8.fc40.aarch64 66/153 Verifying : gdbm-libs-1:1.23-4.fc39.aarch64 67/153 Verifying : ghc-srpm-macros-1.6.1-2.fc39.noarch 68/153 Verifying : gmp-1:6.2.1-5.fc39.aarch64 69/153 Verifying : gnat-srpm-macros-6-3.fc39.noarch 70/153 Verifying : go-srpm-macros-3.2.0-7.fc40.noarch 71/153 Verifying : grep-3.11-5.fc40.aarch64 72/153 Verifying : gzip-1.12-6.fc39.aarch64 73/153 Verifying : info-7.0.3-3.fc39.aarch64 74/153 Verifying : jansson-2.13.1-7.fc39.aarch64 75/153 Verifying : kernel-srpm-macros-1.0-20.fc39.noarch 76/153 Verifying : keyutils-libs-1.6.1-7.fc39.aarch64 77/153 Verifying : krb5-libs-1.21.2-1.fc40.aarch64 78/153 Verifying : libacl-2.3.1-9.fc40.aarch64 79/153 Verifying : libarchive-3.7.2-1.fc40.aarch64 80/153 Verifying : libattr-2.5.1-9.fc40.aarch64 81/153 Verifying : libbrotli-1.1.0-1.fc40.aarch64 82/153 Verifying : libcap-2.48-7.fc39.aarch64 83/153 Verifying : libcap-ng-0.8.3-8.fc40.aarch64 84/153 Verifying : libcom_err-1.47.0-2.fc39.aarch64 85/153 Verifying : libeconf-0.5.2-1.fc40.aarch64 86/153 Verifying : libevent-2.1.12-9.fc39.aarch64 87/153 Verifying : libffi-3.4.4-4.fc39.aarch64 88/153 Verifying : libidn2-2.3.4-3.fc39.aarch64 89/153 Verifying : libnghttp2-1.56.0-1.fc40.aarch64 90/153 Verifying : libnsl2-2.0.0-6.fc39.aarch64 91/153 Verifying : libpkgconf-1.9.5-2.fc39.aarch64 92/153 Verifying : libpsl-0.21.2-4.fc39.aarch64 93/153 Verifying : libpwquality-1.4.5-6.fc39.aarch64 94/153 Verifying : libselinux-3.5-5.fc39.aarch64 95/153 Verifying : libsemanage-3.5-4.fc39.aarch64 96/153 Verifying : libsepol-3.5-2.fc39.aarch64 97/153 Verifying : libsigsegv-2.14-5.fc39.aarch64 98/153 Verifying : libssh-0.10.5-2.fc39.aarch64 99/153 Verifying : libssh-config-0.10.5-2.fc39.noarch 100/153 Verifying : libtasn1-4.19.0-3.fc39.aarch64 101/153 Verifying : libtirpc-1.3.3-1.rc2.fc39.aarch64 102/153 Verifying : libunistring-1.1-5.fc40.aarch64 103/153 Verifying : libutempter-1.2.1-10.fc39.aarch64 104/153 Verifying : libverto-0.3.2-6.fc39.aarch64 105/153 Verifying : libxcrypt-4.4.36-2.fc39.aarch64 106/153 Verifying : lua-libs-5.4.6-3.fc39.aarch64 107/153 Verifying : lua-srpm-macros-1-9.fc39.noarch 108/153 Verifying : lz4-libs-1.9.4-4.fc39.aarch64 109/153 Verifying : mpfr-4.2.0-3.fc39.aarch64 110/153 Verifying : ncurses-base-6.4-7.20230520.fc40.noarch 111/153 Verifying : ncurses-libs-6.4-7.20230520.fc40.aarch64 112/153 Verifying : ocaml-srpm-macros-8-2.fc39.noarch 113/153 Verifying : openblas-srpm-macros-2-14.fc39.noarch 114/153 Verifying : openldap-2.6.6-1.fc39.aarch64 115/153 Verifying : p11-kit-0.25.0-2.fc39.aarch64 116/153 Verifying : p11-kit-trust-0.25.0-2.fc39.aarch64 117/153 Verifying : package-notes-srpm-macros-0.5-9.fc39.noarch 118/153 Verifying : pam-1.5.3-2.fc39.aarch64 119/153 Verifying : pam-libs-1.5.3-2.fc39.aarch64 120/153 Verifying : patch-2.7.6-22.fc39.aarch64 121/153 Verifying : pcre2-10.42-1.fc39.2.aarch64 122/153 Verifying : pcre2-syntax-10.42-1.fc39.2.noarch 123/153 Verifying : perl-srpm-macros-1-51.fc39.noarch 124/153 Verifying : pkgconf-1.9.5-2.fc39.aarch64 125/153 Verifying : pkgconf-m4-1.9.5-2.fc39.noarch 126/153 Verifying : pkgconf-pkg-config-1.9.5-2.fc39.aarch64 127/153 Verifying : popt-1.19-3.fc39.aarch64 128/153 Verifying : publicsuffix-list-dafsa-20230812-1.fc40.noarch 129/153 Verifying : pyproject-srpm-macros-1.9.0-2.fc39.noarch 130/153 Verifying : python-srpm-macros-3.12-4.fc40.noarch 131/153 Verifying : qt5-srpm-macros-5.15.10-2.fc39.noarch 132/153 Verifying : qt6-srpm-macros-6.5.2-2.fc39.noarch 133/153 Verifying : readline-8.2-4.fc39.aarch64 134/153 Verifying : rpm-4.18.99-1.fc40.aarch64 135/153 Verifying : rpm-build-4.18.99-1.fc40.aarch64 136/153 Verifying : rpm-build-libs-4.18.99-1.fc40.aarch64 137/153 Verifying : rpm-libs-4.18.99-1.fc40.aarch64 138/153 Verifying : rpm-sequoia-1.5.0-1.fc40.aarch64 139/153 Verifying : rust-srpm-macros-24-5.fc40.noarch 140/153 Verifying : sed-4.8-14.fc39.aarch64 141/153 Verifying : setup-2.14.4-1.fc39.noarch 142/153 Verifying : shadow-utils-2:4.14.0-1.fc40.aarch64 143/153 Verifying : sqlite-libs-3.43.1-1.fc40.aarch64 144/153 Verifying : systemd-libs-254.1-2.fc40.aarch64 145/153 Verifying : tar-2:1.35-2.fc40.aarch64 146/153 Verifying : tzdata-2023c-3.fc40.noarch 147/153 Verifying : unzip-6.0-62.fc39.aarch64 148/153 Verifying : which-2.21-40.fc39.aarch64 149/153 Verifying : xxhash-libs-0.8.2-1.fc39.aarch64 150/153 Verifying : xz-5.4.4-1.fc39.aarch64 151/153 Verifying : xz-libs-5.4.4-1.fc39.aarch64 152/153 Verifying : zip-3.0-38.fc39.aarch64 153/153 Installed: alternatives-1.25-1.fc39.aarch64 ansible-srpm-macros-1-11.fc39.noarch audit-libs-3.1.2-4.fc40.aarch64 authselect-1.4.2-3.fc39.aarch64 authselect-libs-1.4.2-3.fc39.aarch64 basesystem-11-18.fc39.noarch bash-5.2.15-5.fc39.aarch64 binutils-2.41-5.fc40.aarch64 binutils-gold-2.41-5.fc40.aarch64 bzip2-1.0.8-16.fc39.aarch64 bzip2-libs-1.0.8-16.fc39.aarch64 ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch coreutils-9.4-1.fc40.aarch64 coreutils-common-9.4-1.fc40.aarch64 cpio-2.14-4.fc39.aarch64 cracklib-2.9.11-2.fc40.aarch64 crypto-policies-20230731-1.git5ed06e0.fc39.noarch curl-8.3.0-1.fc40.aarch64 cyrus-sasl-lib-2.1.28-11.fc39.aarch64 debugedit-5.0-10.fc39.aarch64 diffutils-3.10-3.fc39.aarch64 dwz-0.15-3.fc39.aarch64 ed-1.19-4.fc39.aarch64 efi-srpm-macros-5-9.fc39.noarch elfutils-0.189-6.fc40.aarch64 elfutils-debuginfod-client-0.189-6.fc40.aarch64 elfutils-default-yama-scope-0.189-6.fc40.noarch elfutils-libelf-0.189-6.fc40.aarch64 elfutils-libs-0.189-6.fc40.aarch64 fedora-gpg-keys-40-0.1.noarch fedora-release-40-0.7.noarch fedora-release-common-40-0.7.noarch fedora-release-identity-basic-40-0.7.noarch fedora-repos-40-0.1.noarch fedora-repos-rawhide-40-0.1.noarch file-5.45-1.fc40.aarch64 file-libs-5.45-1.fc40.aarch64 filesystem-3.18-6.fc39.aarch64 findutils-1:4.9.0-6.fc40.aarch64 fonts-srpm-macros-1:2.0.5-12.fc39.noarch forge-srpm-macros-0.1.0-1.fc40.noarch fpc-srpm-macros-1.3-8.fc39.noarch gawk-5.2.2-2.fc39.aarch64 gdb-minimal-13.2-8.fc40.aarch64 gdbm-libs-1:1.23-4.fc39.aarch64 ghc-srpm-macros-1.6.1-2.fc39.noarch glibc-2.38.9000-8.fc40.aarch64 glibc-common-2.38.9000-8.fc40.aarch64 glibc-gconv-extra-2.38.9000-8.fc40.aarch64 glibc-minimal-langpack-2.38.9000-8.fc40.aarch64 gmp-1:6.2.1-5.fc39.aarch64 gnat-srpm-macros-6-3.fc39.noarch go-srpm-macros-3.2.0-7.fc40.noarch grep-3.11-5.fc40.aarch64 gzip-1.12-6.fc39.aarch64 info-7.0.3-3.fc39.aarch64 jansson-2.13.1-7.fc39.aarch64 kernel-srpm-macros-1.0-20.fc39.noarch keyutils-libs-1.6.1-7.fc39.aarch64 krb5-libs-1.21.2-1.fc40.aarch64 libacl-2.3.1-9.fc40.aarch64 libarchive-3.7.2-1.fc40.aarch64 libattr-2.5.1-9.fc40.aarch64 libblkid-2.39.2-1.fc40.aarch64 libbrotli-1.1.0-1.fc40.aarch64 libcap-2.48-7.fc39.aarch64 libcap-ng-0.8.3-8.fc40.aarch64 libcom_err-1.47.0-2.fc39.aarch64 libcurl-8.3.0-1.fc40.aarch64 libdb-5.3.28-58.fc40.aarch64 libeconf-0.5.2-1.fc40.aarch64 libevent-2.1.12-9.fc39.aarch64 libfdisk-2.39.2-1.fc40.aarch64 libffi-3.4.4-4.fc39.aarch64 libgcc-13.2.1-1.fc40.aarch64 libgomp-13.2.1-1.fc40.aarch64 libidn2-2.3.4-3.fc39.aarch64 libmount-2.39.2-1.fc40.aarch64 libnghttp2-1.56.0-1.fc40.aarch64 libnsl2-2.0.0-6.fc39.aarch64 libpkgconf-1.9.5-2.fc39.aarch64 libpsl-0.21.2-4.fc39.aarch64 libpwquality-1.4.5-6.fc39.aarch64 libselinux-3.5-5.fc39.aarch64 libsemanage-3.5-4.fc39.aarch64 libsepol-3.5-2.fc39.aarch64 libsigsegv-2.14-5.fc39.aarch64 libsmartcols-2.39.2-1.fc40.aarch64 libssh-0.10.5-2.fc39.aarch64 libssh-config-0.10.5-2.fc39.noarch libstdc++-13.2.1-1.fc40.aarch64 libtasn1-4.19.0-3.fc39.aarch64 libtirpc-1.3.3-1.rc2.fc39.aarch64 libunistring-1.1-5.fc40.aarch64 libutempter-1.2.1-10.fc39.aarch64 libuuid-2.39.2-1.fc40.aarch64 libverto-0.3.2-6.fc39.aarch64 libxcrypt-4.4.36-2.fc39.aarch64 libxml2-2.11.5-1.fc40.aarch64 libzstd-1.5.5-4.fc40.aarch64 lua-libs-5.4.6-3.fc39.aarch64 lua-srpm-macros-1-9.fc39.noarch lz4-libs-1.9.4-4.fc39.aarch64 mpfr-4.2.0-3.fc39.aarch64 ncurses-base-6.4-7.20230520.fc40.noarch ncurses-libs-6.4-7.20230520.fc40.aarch64 ocaml-srpm-macros-8-2.fc39.noarch openblas-srpm-macros-2-14.fc39.noarch openldap-2.6.6-1.fc39.aarch64 openssl-libs-1:3.1.1-4.fc40.aarch64 p11-kit-0.25.0-2.fc39.aarch64 p11-kit-trust-0.25.0-2.fc39.aarch64 package-notes-srpm-macros-0.5-9.fc39.noarch pam-1.5.3-2.fc39.aarch64 pam-libs-1.5.3-2.fc39.aarch64 patch-2.7.6-22.fc39.aarch64 pcre2-10.42-1.fc39.2.aarch64 pcre2-syntax-10.42-1.fc39.2.noarch perl-srpm-macros-1-51.fc39.noarch pkgconf-1.9.5-2.fc39.aarch64 pkgconf-m4-1.9.5-2.fc39.noarch pkgconf-pkg-config-1.9.5-2.fc39.aarch64 popt-1.19-3.fc39.aarch64 publicsuffix-list-dafsa-20230812-1.fc40.noarch pyproject-srpm-macros-1.9.0-2.fc39.noarch python-srpm-macros-3.12-4.fc40.noarch qt5-srpm-macros-5.15.10-2.fc39.noarch qt6-srpm-macros-6.5.2-2.fc39.noarch readline-8.2-4.fc39.aarch64 redhat-rpm-config-270-1.fc40.noarch rpm-4.18.99-1.fc40.aarch64 rpm-build-4.18.99-1.fc40.aarch64 rpm-build-libs-4.18.99-1.fc40.aarch64 rpm-libs-4.18.99-1.fc40.aarch64 rpm-sequoia-1.5.0-1.fc40.aarch64 rust-srpm-macros-24-5.fc40.noarch sed-4.8-14.fc39.aarch64 setup-2.14.4-1.fc39.noarch shadow-utils-2:4.14.0-1.fc40.aarch64 sqlite-libs-3.43.1-1.fc40.aarch64 systemd-libs-254.1-2.fc40.aarch64 tar-2:1.35-2.fc40.aarch64 tzdata-2023c-3.fc40.noarch unzip-6.0-62.fc39.aarch64 util-linux-2.39.2-1.fc40.aarch64 util-linux-core-2.39.2-1.fc40.aarch64 which-2.21-40.fc39.aarch64 xxhash-libs-0.8.2-1.fc39.aarch64 xz-5.4.4-1.fc39.aarch64 xz-libs-5.4.4-1.fc39.aarch64 zip-3.0-38.fc39.aarch64 zlib-ng-compat-2.1.3-3.fc40.aarch64 zstd-1.5.5-4.fc40.aarch64 Complete! Finish: installing minimal buildroot with dnf Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: alternatives-1.25-1.fc39.aarch64 ansible-srpm-macros-1-11.fc39.noarch audit-libs-3.1.2-4.fc40.aarch64 authselect-1.4.2-3.fc39.aarch64 authselect-libs-1.4.2-3.fc39.aarch64 basesystem-11-18.fc39.noarch bash-5.2.15-5.fc39.aarch64 binutils-2.41-5.fc40.aarch64 binutils-gold-2.41-5.fc40.aarch64 bzip2-1.0.8-16.fc39.aarch64 bzip2-libs-1.0.8-16.fc39.aarch64 ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch coreutils-9.4-1.fc40.aarch64 coreutils-common-9.4-1.fc40.aarch64 cpio-2.14-4.fc39.aarch64 cracklib-2.9.11-2.fc40.aarch64 crypto-policies-20230731-1.git5ed06e0.fc39.noarch curl-8.3.0-1.fc40.aarch64 cyrus-sasl-lib-2.1.28-11.fc39.aarch64 debugedit-5.0-10.fc39.aarch64 diffutils-3.10-3.fc39.aarch64 dwz-0.15-3.fc39.aarch64 ed-1.19-4.fc39.aarch64 efi-srpm-macros-5-9.fc39.noarch elfutils-0.189-6.fc40.aarch64 elfutils-debuginfod-client-0.189-6.fc40.aarch64 elfutils-default-yama-scope-0.189-6.fc40.noarch elfutils-libelf-0.189-6.fc40.aarch64 elfutils-libs-0.189-6.fc40.aarch64 fedora-gpg-keys-40-0.1.noarch fedora-release-40-0.7.noarch fedora-release-common-40-0.7.noarch fedora-release-identity-basic-40-0.7.noarch fedora-repos-40-0.1.noarch fedora-repos-rawhide-40-0.1.noarch file-5.45-1.fc40.aarch64 file-libs-5.45-1.fc40.aarch64 filesystem-3.18-6.fc39.aarch64 findutils-4.9.0-6.fc40.aarch64 fonts-srpm-macros-2.0.5-12.fc39.noarch forge-srpm-macros-0.1.0-1.fc40.noarch fpc-srpm-macros-1.3-8.fc39.noarch gawk-5.2.2-2.fc39.aarch64 gdb-minimal-13.2-8.fc40.aarch64 gdbm-libs-1.23-4.fc39.aarch64 ghc-srpm-macros-1.6.1-2.fc39.noarch glibc-2.38.9000-8.fc40.aarch64 glibc-common-2.38.9000-8.fc40.aarch64 glibc-gconv-extra-2.38.9000-8.fc40.aarch64 glibc-minimal-langpack-2.38.9000-8.fc40.aarch64 gmp-6.2.1-5.fc39.aarch64 gnat-srpm-macros-6-3.fc39.noarch go-srpm-macros-3.2.0-7.fc40.noarch gpg-pubkey-18b8e74c-62f2920f gpg-pubkey-a15b79cc-63d04c2c grep-3.11-5.fc40.aarch64 gzip-1.12-6.fc39.aarch64 info-7.0.3-3.fc39.aarch64 jansson-2.13.1-7.fc39.aarch64 kernel-srpm-macros-1.0-20.fc39.noarch keyutils-libs-1.6.1-7.fc39.aarch64 krb5-libs-1.21.2-1.fc40.aarch64 libacl-2.3.1-9.fc40.aarch64 libarchive-3.7.2-1.fc40.aarch64 libattr-2.5.1-9.fc40.aarch64 libblkid-2.39.2-1.fc40.aarch64 libbrotli-1.1.0-1.fc40.aarch64 libcap-2.48-7.fc39.aarch64 libcap-ng-0.8.3-8.fc40.aarch64 libcom_err-1.47.0-2.fc39.aarch64 libcurl-8.3.0-1.fc40.aarch64 libdb-5.3.28-58.fc40.aarch64 libeconf-0.5.2-1.fc40.aarch64 libevent-2.1.12-9.fc39.aarch64 libfdisk-2.39.2-1.fc40.aarch64 libffi-3.4.4-4.fc39.aarch64 libgcc-13.2.1-1.fc40.aarch64 libgomp-13.2.1-1.fc40.aarch64 libidn2-2.3.4-3.fc39.aarch64 libmount-2.39.2-1.fc40.aarch64 libnghttp2-1.56.0-1.fc40.aarch64 libnsl2-2.0.0-6.fc39.aarch64 libpkgconf-1.9.5-2.fc39.aarch64 libpsl-0.21.2-4.fc39.aarch64 libpwquality-1.4.5-6.fc39.aarch64 libselinux-3.5-5.fc39.aarch64 libsemanage-3.5-4.fc39.aarch64 libsepol-3.5-2.fc39.aarch64 libsigsegv-2.14-5.fc39.aarch64 libsmartcols-2.39.2-1.fc40.aarch64 libssh-0.10.5-2.fc39.aarch64 libssh-config-0.10.5-2.fc39.noarch libstdc++-13.2.1-1.fc40.aarch64 libtasn1-4.19.0-3.fc39.aarch64 libtirpc-1.3.3-1.rc2.fc39.aarch64 libunistring-1.1-5.fc40.aarch64 libutempter-1.2.1-10.fc39.aarch64 libuuid-2.39.2-1.fc40.aarch64 libverto-0.3.2-6.fc39.aarch64 libxcrypt-4.4.36-2.fc39.aarch64 libxml2-2.11.5-1.fc40.aarch64 libzstd-1.5.5-4.fc40.aarch64 lua-libs-5.4.6-3.fc39.aarch64 lua-srpm-macros-1-9.fc39.noarch lz4-libs-1.9.4-4.fc39.aarch64 mpfr-4.2.0-3.fc39.aarch64 ncurses-base-6.4-7.20230520.fc40.noarch ncurses-libs-6.4-7.20230520.fc40.aarch64 ocaml-srpm-macros-8-2.fc39.noarch openblas-srpm-macros-2-14.fc39.noarch openldap-2.6.6-1.fc39.aarch64 openssl-libs-3.1.1-4.fc40.aarch64 p11-kit-0.25.0-2.fc39.aarch64 p11-kit-trust-0.25.0-2.fc39.aarch64 package-notes-srpm-macros-0.5-9.fc39.noarch pam-1.5.3-2.fc39.aarch64 pam-libs-1.5.3-2.fc39.aarch64 patch-2.7.6-22.fc39.aarch64 pcre2-10.42-1.fc39.2.aarch64 pcre2-syntax-10.42-1.fc39.2.noarch perl-srpm-macros-1-51.fc39.noarch pkgconf-1.9.5-2.fc39.aarch64 pkgconf-m4-1.9.5-2.fc39.noarch pkgconf-pkg-config-1.9.5-2.fc39.aarch64 popt-1.19-3.fc39.aarch64 publicsuffix-list-dafsa-20230812-1.fc40.noarch pyproject-srpm-macros-1.9.0-2.fc39.noarch python-srpm-macros-3.12-4.fc40.noarch qt5-srpm-macros-5.15.10-2.fc39.noarch qt6-srpm-macros-6.5.2-2.fc39.noarch readline-8.2-4.fc39.aarch64 redhat-rpm-config-270-1.fc40.noarch rpm-4.18.99-1.fc40.aarch64 rpm-build-4.18.99-1.fc40.aarch64 rpm-build-libs-4.18.99-1.fc40.aarch64 rpm-libs-4.18.99-1.fc40.aarch64 rpm-sequoia-1.5.0-1.fc40.aarch64 rust-srpm-macros-24-5.fc40.noarch sed-4.8-14.fc39.aarch64 setup-2.14.4-1.fc39.noarch shadow-utils-4.14.0-1.fc40.aarch64 sqlite-libs-3.43.1-1.fc40.aarch64 systemd-libs-254.1-2.fc40.aarch64 tar-1.35-2.fc40.aarch64 tzdata-2023c-3.fc40.noarch unzip-6.0-62.fc39.aarch64 util-linux-2.39.2-1.fc40.aarch64 util-linux-core-2.39.2-1.fc40.aarch64 which-2.21-40.fc39.aarch64 xxhash-libs-0.8.2-1.fc39.aarch64 xz-5.4.4-1.fc39.aarch64 xz-libs-5.4.4-1.fc39.aarch64 zip-3.0-38.fc39.aarch64 zlib-ng-compat-2.1.3-3.fc40.aarch64 zstd-1.5.5-4.fc40.aarch64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1693526400 Wrote: /builddir/build/SRPMS/cadical-1.7.1-1.fc40.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-aarch64-1695015324.365870/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-aarch64-1695015324.365870/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-aarch64-1695015324.365870/root/var/log/dnf.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-0tewf7z9/cadical/cadical.spec) Config(child) 0 minutes 38 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot INFO: Start(/var/lib/copr-rpmbuild/results/cadical-1.7.1-1.fc40.src.rpm) Config(fedora-rawhide-aarch64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-aarch64-bootstrap-1695015324.365870/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-aarch64-bootstrap-1695015324.365870/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-aarch64-1695015324.365870/root. INFO: calling preinit hooks INFO: enabled root cache Start: unpacking root cache Finish: unpacking root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin Finish: chroot init INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.18.99-1.fc40.aarch64 rpm-sequoia-1.5.0-1.fc40.aarch64 python3-dnf-4.16.2-4.fc40.noarch python3-dnf-plugins-core-4.4.2-1.fc39.noarch yum-4.16.2-4.fc40.noarch Start: build phase for cadical-1.7.1-1.fc40.src.rpm Start: build setup for cadical-1.7.1-1.fc40.src.rpm Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1693526400 Wrote: /builddir/build/SRPMS/cadical-1.7.1-1.fc40.src.rpm No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 80 kB/s | 1.5 kB 00:00 fedora 71 kB/s | 9.2 kB 00:00 Dependencies resolved. ================================================================================ Package Arch Version Repo Size ================================================================================ Installing: drat-trim-tools aarch64 0-0.21.20230709git16f1d72.fc39 fedora 36 k gcc-c++ aarch64 13.2.1-1.fc40 copr_base 12 M glibc-langpack-en aarch64 2.38.9000-8.fc40 copr_base 605 k help2man noarch 1.49.3-3.fc39 fedora 228 k make aarch64 1:4.4.1-2.fc39 fedora 585 k zlib-ng-compat-devel aarch64 2.1.3-3.fc40 copr_base 34 k Installing dependencies: annobin-docs noarch 12.26-1.fc40 fedora 94 k annobin-plugin-gcc aarch64 12.26-1.fc40 fedora 958 k cpp aarch64 13.2.1-1.fc40 copr_base 9.7 M drat-trim aarch64 0-0.21.20230709git16f1d72.fc39 fedora 32 k gc aarch64 8.2.2-4.fc39 fedora 110 k gcc aarch64 13.2.1-1.fc40 copr_base 31 M gcc-plugin-annobin aarch64 13.2.1-1.fc40 copr_base 47 k glibc-devel aarch64 2.38.9000-8.fc40 copr_base 503 k groff-base aarch64 1.23.0-2.fc39 fedora 1.1 M guile22 aarch64 2.2.7-9.fc39 fedora 6.5 M kernel-headers aarch64 6.6.0-0.rc1.git0.1.fc40 fedora 1.5 M libasan aarch64 13.2.1-1.fc40 copr_base 455 k libatomic aarch64 13.2.1-1.fc40 copr_base 36 k libmpc aarch64 1.3.1-3.fc39 fedora 72 k libstdc++-devel aarch64 13.2.1-1.fc40 copr_base 2.5 M libtool-ltdl aarch64 2.4.7-8.fc40 fedora 36 k libubsan aarch64 13.2.1-1.fc40 copr_base 204 k libxcrypt-devel aarch64 4.4.36-2.fc39 fedora 30 k ncurses aarch64 6.4-7.20230520.fc40 fedora 415 k perl-AutoLoader noarch 5.74-500.fc39 fedora 21 k perl-B aarch64 1.88-500.fc39 fedora 178 k perl-Carp noarch 1.54-500.fc39 fedora 29 k perl-Class-Struct noarch 0.68-500.fc39 fedora 22 k perl-Data-Dumper aarch64 2.188-501.fc39 fedora 55 k perl-Digest noarch 1.20-500.fc39 fedora 25 k perl-Digest-MD5 aarch64 2.58-500.fc39 fedora 36 k perl-DynaLoader aarch64 1.54-500.fc39 fedora 26 k perl-Encode aarch64 4:3.19-500.fc39 fedora 1.7 M perl-Errno aarch64 1.37-500.fc39 fedora 15 k perl-Exporter noarch 5.77-500.fc39 fedora 31 k perl-Fcntl aarch64 1.15-500.fc39 fedora 21 k perl-File-Basename noarch 2.86-500.fc39 fedora 17 k perl-File-Path noarch 2.18-500.fc39 fedora 35 k perl-File-Temp noarch 1:0.231.100-500.fc39 fedora 58 k perl-File-stat noarch 1.13-500.fc39 fedora 17 k perl-FileHandle noarch 2.05-500.fc39 fedora 16 k perl-Getopt-Long noarch 1:2.54-500.fc39 fedora 60 k perl-Getopt-Std noarch 1.13-500.fc39 fedora 16 k perl-HTTP-Tiny noarch 0.088-3.fc39 fedora 56 k perl-IO aarch64 1.52-500.fc39 fedora 83 k perl-IO-Socket-IP noarch 0.42-1.fc39 fedora 42 k perl-IO-Socket-SSL noarch 2.083-3.fc39 fedora 225 k perl-IPC-Open3 noarch 1.22-500.fc39 fedora 22 k perl-MIME-Base64 aarch64 3.16-500.fc39 fedora 30 k perl-Mozilla-CA noarch 20230821-1.fc40 fedora 13 k perl-Net-SSLeay aarch64 1.92-10.fc39 fedora 356 k perl-POSIX aarch64 2.13-500.fc39 fedora 98 k perl-PathTools aarch64 3.89-500.fc39 fedora 88 k perl-Pod-Escapes noarch 1:1.07-501.fc40 fedora 19 k perl-Pod-Perldoc noarch 3.28.01-501.fc39 fedora 86 k perl-Pod-Simple noarch 1:3.45-4.fc39 fedora 218 k perl-Pod-Usage noarch 4:2.03-500.fc39 fedora 39 k perl-Scalar-List-Utils aarch64 5:1.63-500.fc39 fedora 71 k perl-SelectSaver noarch 1.02-500.fc39 fedora 12 k perl-Socket aarch64 4:2.037-3.fc39 fedora 56 k perl-Storable aarch64 1:3.32-500.fc39 fedora 97 k perl-Symbol noarch 1.09-500.fc39 fedora 14 k perl-Term-ANSIColor noarch 5.01-501.fc39 fedora 47 k perl-Term-Cap noarch 1.18-500.fc39 fedora 22 k perl-Text-ParseWords noarch 3.31-500.fc39 fedora 16 k perl-Text-Tabs+Wrap noarch 2023.0511-3.fc39 fedora 22 k perl-Time-Local noarch 2:1.350-3.fc39 fedora 34 k perl-URI noarch 5.21-1.fc40 fedora 125 k perl-base noarch 2.27-500.fc39 fedora 16 k perl-constant noarch 1.33-501.fc39 fedora 22 k perl-if noarch 0.61.000-500.fc39 fedora 14 k perl-interpreter aarch64 4:5.38.0-500.fc39 fedora 72 k perl-libnet noarch 3.15-501.fc39 fedora 129 k perl-libs aarch64 4:5.38.0-500.fc39 fedora 2.3 M perl-locale noarch 1.10-500.fc39 fedora 14 k perl-mro aarch64 1.28-500.fc39 fedora 29 k perl-overload noarch 1.37-500.fc39 fedora 46 k perl-overloading noarch 0.02-500.fc39 fedora 13 k perl-parent noarch 1:0.241-500.fc39 fedora 14 k perl-podlators noarch 1:5.01-500.fc39 fedora 125 k perl-vars noarch 1.05-500.fc39 fedora 13 k Transaction Summary ================================================================================ Install 82 Packages Total size: 76 M Total download size: 901 k Installed size: 262 M Downloading Packages: [SKIPPED] cpp-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] gcc-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] gcc-c++-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] gcc-plugin-annobin-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] glibc-devel-2.38.9000-8.fc40.aarch64.rpm: Already downloaded [SKIPPED] libasan-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libatomic-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libstdc++-devel-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libubsan-13.2.1-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] zlib-ng-compat-devel-2.1.3-3.fc40.aarch64.rpm: Already downloaded [SKIPPED] annobin-docs-12.26-1.fc40.noarch.rpm: Already downloaded [SKIPPED] annobin-plugin-gcc-12.26-1.fc40.aarch64.rpm: Already downloaded [SKIPPED] gc-8.2.2-4.fc39.aarch64.rpm: Already downloaded [SKIPPED] groff-base-1.23.0-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] guile22-2.2.7-9.fc39.aarch64.rpm: Already downloaded [SKIPPED] kernel-headers-6.6.0-0.rc1.git0.1.fc40.aarch64.rpm: Already downloaded [SKIPPED] libmpc-1.3.1-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] libtool-ltdl-2.4.7-8.fc40.aarch64.rpm: Already downloaded [SKIPPED] libxcrypt-devel-4.4.36-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] make-4.4.1-2.fc39.aarch64.rpm: Already downloaded [SKIPPED] ncurses-6.4-7.20230520.fc40.aarch64.rpm: Already downloaded [SKIPPED] perl-AutoLoader-5.74-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-B-1.88-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-Carp-1.54-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Class-Struct-0.68-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Data-Dumper-2.188-501.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-Digest-1.20-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Digest-MD5-2.58-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-DynaLoader-1.54-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-Encode-3.19-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-Errno-1.37-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-Exporter-5.77-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Fcntl-1.15-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-File-Basename-2.86-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-File-Path-2.18-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-File-Temp-0.231.100-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-File-stat-1.13-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-FileHandle-2.05-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Getopt-Long-2.54-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Getopt-Std-1.13-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-HTTP-Tiny-0.088-3.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-IO-1.52-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-IO-Socket-IP-0.42-1.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-IO-Socket-SSL-2.083-3.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-IPC-Open3-1.22-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-MIME-Base64-3.16-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-Mozilla-CA-20230821-1.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Net-SSLeay-1.92-10.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-POSIX-2.13-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-PathTools-3.89-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-Pod-Escapes-1.07-501.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Pod-Perldoc-3.28.01-501.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Pod-Simple-3.45-4.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Pod-Usage-2.03-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Scalar-List-Utils-1.63-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-SelectSaver-1.02-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Socket-2.037-3.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-Storable-3.32-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-Symbol-1.09-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Term-ANSIColor-5.01-501.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Term-Cap-1.18-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Text-ParseWords-3.31-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Text-Tabs+Wrap-2023.0511-3.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Time-Local-1.350-3.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-URI-5.21-1.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-base-2.27-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-constant-1.33-501.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-if-0.61.000-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-interpreter-5.38.0-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-libnet-3.15-501.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-libs-5.38.0-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-locale-1.10-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-mro-1.28-500.fc39.aarch64.rpm: Already downloaded [SKIPPED] perl-overload-1.37-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-overloading-0.02-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-parent-0.241-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-podlators-5.01-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-vars-1.05-500.fc39.noarch.rpm: Already downloaded (79/82): drat-trim-tools-0-0.21.20230709git16f1 1.0 MB/s | 36 kB 00:00 (80/82): drat-trim-0-0.21.20230709git16f1d72.fc 917 kB/s | 32 kB 00:00 (81/82): glibc-langpack-en-2.38.9000-8.fc40.aar 13 MB/s | 605 kB 00:00 (82/82): help2man-1.49.3-3.fc39.noarch.rpm 17 MB/s | 228 kB 00:00 -------------------------------------------------------------------------------- Total 3.9 MB/s | 901 kB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : libmpc-1.3.1-3.fc39.aarch64 1/82 Installing : cpp-13.2.1-1.fc40.aarch64 2/82 Installing : ncurses-6.4-7.20230520.fc40.aarch64 3/82 Installing : libtool-ltdl-2.4.7-8.fc40.aarch64 4/82 Installing : kernel-headers-6.6.0-0.rc1.git0.1.fc40.aarch64 5/82 Installing : libxcrypt-devel-4.4.36-2.fc39.aarch64 6/82 Installing : glibc-devel-2.38.9000-8.fc40.aarch64 7/82 Running scriptlet: groff-base-1.23.0-2.fc39.aarch64 8/82 Installing : groff-base-1.23.0-2.fc39.aarch64 8/82 Running scriptlet: groff-base-1.23.0-2.fc39.aarch64 8/82 Installing : perl-Digest-1.20-500.fc39.noarch 9/82 Installing : perl-Digest-MD5-2.58-500.fc39.aarch64 10/82 Installing : perl-B-1.88-500.fc39.aarch64 11/82 Installing : perl-FileHandle-2.05-500.fc39.noarch 12/82 Installing : perl-Data-Dumper-2.188-501.fc39.aarch64 13/82 Installing : perl-libnet-3.15-501.fc39.noarch 14/82 Installing : perl-AutoLoader-5.74-500.fc39.noarch 15/82 Installing : perl-base-2.27-500.fc39.noarch 16/82 Installing : perl-URI-5.21-1.fc40.noarch 17/82 Installing : perl-Text-Tabs+Wrap-2023.0511-3.fc39.noarch 18/82 Installing : perl-Mozilla-CA-20230821-1.fc40.noarch 19/82 Installing : perl-if-0.61.000-500.fc39.noarch 20/82 Installing : perl-locale-1.10-500.fc39.noarch 21/82 Installing : perl-IO-Socket-IP-0.42-1.fc39.noarch 22/82 Installing : perl-Time-Local-2:1.350-3.fc39.noarch 23/82 Installing : perl-File-Path-2.18-500.fc39.noarch 24/82 Installing : perl-IO-Socket-SSL-2.083-3.fc39.noarch 25/82 Installing : perl-Net-SSLeay-1.92-10.fc39.aarch64 26/82 Installing : perl-Pod-Escapes-1:1.07-501.fc40.noarch 27/82 Installing : perl-Class-Struct-0.68-500.fc39.noarch 28/82 Installing : perl-Term-ANSIColor-5.01-501.fc39.noarch 29/82 Installing : perl-POSIX-2.13-500.fc39.aarch64 30/82 Installing : perl-IPC-Open3-1.22-500.fc39.noarch 31/82 Installing : perl-File-Temp-1:0.231.100-500.fc39.noarch 32/82 Installing : perl-HTTP-Tiny-0.088-3.fc39.noarch 33/82 Installing : perl-Term-Cap-1.18-500.fc39.noarch 34/82 Installing : perl-Pod-Simple-1:3.45-4.fc39.noarch 35/82 Installing : perl-Socket-4:2.037-3.fc39.aarch64 36/82 Installing : perl-SelectSaver-1.02-500.fc39.noarch 37/82 Installing : perl-Symbol-1.09-500.fc39.noarch 38/82 Installing : perl-File-stat-1.13-500.fc39.noarch 39/82 Installing : perl-podlators-1:5.01-500.fc39.noarch 40/82 Installing : perl-Pod-Perldoc-3.28.01-501.fc39.noarch 41/82 Installing : perl-Fcntl-1.15-500.fc39.aarch64 42/82 Installing : perl-Text-ParseWords-3.31-500.fc39.noarch 43/82 Installing : perl-mro-1.28-500.fc39.aarch64 44/82 Installing : perl-IO-1.52-500.fc39.aarch64 45/82 Installing : perl-overloading-0.02-500.fc39.noarch 46/82 Installing : perl-Pod-Usage-4:2.03-500.fc39.noarch 47/82 Installing : perl-Errno-1.37-500.fc39.aarch64 48/82 Installing : perl-File-Basename-2.86-500.fc39.noarch 49/82 Installing : perl-Getopt-Std-1.13-500.fc39.noarch 50/82 Installing : perl-MIME-Base64-3.16-500.fc39.aarch64 51/82 Installing : perl-Scalar-List-Utils-5:1.63-500.fc39.aarch64 52/82 Installing : perl-constant-1.33-501.fc39.noarch 53/82 Installing : perl-Storable-1:3.32-500.fc39.aarch64 54/82 Installing : perl-overload-1.37-500.fc39.noarch 55/82 Installing : perl-parent-1:0.241-500.fc39.noarch 56/82 Installing : perl-vars-1.05-500.fc39.noarch 57/82 Installing : perl-Getopt-Long-1:2.54-500.fc39.noarch 58/82 Installing : perl-Carp-1.54-500.fc39.noarch 59/82 Installing : perl-Exporter-5.77-500.fc39.noarch 60/82 Installing : perl-PathTools-3.89-500.fc39.aarch64 61/82 Installing : perl-DynaLoader-1.54-500.fc39.aarch64 62/82 Installing : perl-Encode-4:3.19-500.fc39.aarch64 63/82 Installing : perl-libs-4:5.38.0-500.fc39.aarch64 64/82 Installing : perl-interpreter-4:5.38.0-500.fc39.aarch64 65/82 Installing : gc-8.2.2-4.fc39.aarch64 66/82 Installing : guile22-2.2.7-9.fc39.aarch64 67/82 Installing : make-1:4.4.1-2.fc39.aarch64 68/82 Installing : drat-trim-0-0.21.20230709git16f1d72.fc39.aarch64 69/82 Installing : annobin-docs-12.26-1.fc40.noarch 70/82 Installing : libubsan-13.2.1-1.fc40.aarch64 71/82 Installing : libstdc++-devel-13.2.1-1.fc40.aarch64 72/82 Installing : libatomic-13.2.1-1.fc40.aarch64 73/82 Installing : libasan-13.2.1-1.fc40.aarch64 74/82 Installing : gcc-13.2.1-1.fc40.aarch64 75/82 Running scriptlet: gcc-13.2.1-1.fc40.aarch64 75/82 Installing : gcc-c++-13.2.1-1.fc40.aarch64 76/82 Installing : gcc-plugin-annobin-13.2.1-1.fc40.aarch64 77/82 Running scriptlet: gcc-plugin-annobin-13.2.1-1.fc40.aarch64 77/82 Installing : annobin-plugin-gcc-12.26-1.fc40.aarch64 78/82 Running scriptlet: annobin-plugin-gcc-12.26-1.fc40.aarch64 78/82 Installing : drat-trim-tools-0-0.21.20230709git16f1d72.fc39.aar 79/82 Installing : help2man-1.49.3-3.fc39.noarch 80/82 Installing : zlib-ng-compat-devel-2.1.3-3.fc40.aarch64 81/82 Installing : glibc-langpack-en-2.38.9000-8.fc40.aarch64 82/82 Running scriptlet: glibc-langpack-en-2.38.9000-8.fc40.aarch64 82/82 Verifying : cpp-13.2.1-1.fc40.aarch64 1/82 Verifying : gcc-13.2.1-1.fc40.aarch64 2/82 Verifying : gcc-c++-13.2.1-1.fc40.aarch64 3/82 Verifying : gcc-plugin-annobin-13.2.1-1.fc40.aarch64 4/82 Verifying : glibc-devel-2.38.9000-8.fc40.aarch64 5/82 Verifying : glibc-langpack-en-2.38.9000-8.fc40.aarch64 6/82 Verifying : libasan-13.2.1-1.fc40.aarch64 7/82 Verifying : libatomic-13.2.1-1.fc40.aarch64 8/82 Verifying : libstdc++-devel-13.2.1-1.fc40.aarch64 9/82 Verifying : libubsan-13.2.1-1.fc40.aarch64 10/82 Verifying : zlib-ng-compat-devel-2.1.3-3.fc40.aarch64 11/82 Verifying : annobin-docs-12.26-1.fc40.noarch 12/82 Verifying : annobin-plugin-gcc-12.26-1.fc40.aarch64 13/82 Verifying : drat-trim-0-0.21.20230709git16f1d72.fc39.aarch64 14/82 Verifying : drat-trim-tools-0-0.21.20230709git16f1d72.fc39.aar 15/82 Verifying : gc-8.2.2-4.fc39.aarch64 16/82 Verifying : groff-base-1.23.0-2.fc39.aarch64 17/82 Verifying : guile22-2.2.7-9.fc39.aarch64 18/82 Verifying : help2man-1.49.3-3.fc39.noarch 19/82 Verifying : kernel-headers-6.6.0-0.rc1.git0.1.fc40.aarch64 20/82 Verifying : libmpc-1.3.1-3.fc39.aarch64 21/82 Verifying : libtool-ltdl-2.4.7-8.fc40.aarch64 22/82 Verifying : libxcrypt-devel-4.4.36-2.fc39.aarch64 23/82 Verifying : make-1:4.4.1-2.fc39.aarch64 24/82 Verifying : ncurses-6.4-7.20230520.fc40.aarch64 25/82 Verifying : perl-AutoLoader-5.74-500.fc39.noarch 26/82 Verifying : perl-B-1.88-500.fc39.aarch64 27/82 Verifying : perl-Carp-1.54-500.fc39.noarch 28/82 Verifying : perl-Class-Struct-0.68-500.fc39.noarch 29/82 Verifying : perl-Data-Dumper-2.188-501.fc39.aarch64 30/82 Verifying : perl-Digest-1.20-500.fc39.noarch 31/82 Verifying : perl-Digest-MD5-2.58-500.fc39.aarch64 32/82 Verifying : perl-DynaLoader-1.54-500.fc39.aarch64 33/82 Verifying : perl-Encode-4:3.19-500.fc39.aarch64 34/82 Verifying : perl-Errno-1.37-500.fc39.aarch64 35/82 Verifying : perl-Exporter-5.77-500.fc39.noarch 36/82 Verifying : perl-Fcntl-1.15-500.fc39.aarch64 37/82 Verifying : perl-File-Basename-2.86-500.fc39.noarch 38/82 Verifying : perl-File-Path-2.18-500.fc39.noarch 39/82 Verifying : perl-File-Temp-1:0.231.100-500.fc39.noarch 40/82 Verifying : perl-File-stat-1.13-500.fc39.noarch 41/82 Verifying : perl-FileHandle-2.05-500.fc39.noarch 42/82 Verifying : perl-Getopt-Long-1:2.54-500.fc39.noarch 43/82 Verifying : perl-Getopt-Std-1.13-500.fc39.noarch 44/82 Verifying : perl-HTTP-Tiny-0.088-3.fc39.noarch 45/82 Verifying : perl-IO-1.52-500.fc39.aarch64 46/82 Verifying : perl-IO-Socket-IP-0.42-1.fc39.noarch 47/82 Verifying : perl-IO-Socket-SSL-2.083-3.fc39.noarch 48/82 Verifying : perl-IPC-Open3-1.22-500.fc39.noarch 49/82 Verifying : perl-MIME-Base64-3.16-500.fc39.aarch64 50/82 Verifying : perl-Mozilla-CA-20230821-1.fc40.noarch 51/82 Verifying : perl-Net-SSLeay-1.92-10.fc39.aarch64 52/82 Verifying : perl-POSIX-2.13-500.fc39.aarch64 53/82 Verifying : perl-PathTools-3.89-500.fc39.aarch64 54/82 Verifying : perl-Pod-Escapes-1:1.07-501.fc40.noarch 55/82 Verifying : perl-Pod-Perldoc-3.28.01-501.fc39.noarch 56/82 Verifying : perl-Pod-Simple-1:3.45-4.fc39.noarch 57/82 Verifying : perl-Pod-Usage-4:2.03-500.fc39.noarch 58/82 Verifying : perl-Scalar-List-Utils-5:1.63-500.fc39.aarch64 59/82 Verifying : perl-SelectSaver-1.02-500.fc39.noarch 60/82 Verifying : perl-Socket-4:2.037-3.fc39.aarch64 61/82 Verifying : perl-Storable-1:3.32-500.fc39.aarch64 62/82 Verifying : perl-Symbol-1.09-500.fc39.noarch 63/82 Verifying : perl-Term-ANSIColor-5.01-501.fc39.noarch 64/82 Verifying : perl-Term-Cap-1.18-500.fc39.noarch 65/82 Verifying : perl-Text-ParseWords-3.31-500.fc39.noarch 66/82 Verifying : perl-Text-Tabs+Wrap-2023.0511-3.fc39.noarch 67/82 Verifying : perl-Time-Local-2:1.350-3.fc39.noarch 68/82 Verifying : perl-URI-5.21-1.fc40.noarch 69/82 Verifying : perl-base-2.27-500.fc39.noarch 70/82 Verifying : perl-constant-1.33-501.fc39.noarch 71/82 Verifying : perl-if-0.61.000-500.fc39.noarch 72/82 Verifying : perl-interpreter-4:5.38.0-500.fc39.aarch64 73/82 Verifying : perl-libnet-3.15-501.fc39.noarch 74/82 Verifying : perl-libs-4:5.38.0-500.fc39.aarch64 75/82 Verifying : perl-locale-1.10-500.fc39.noarch 76/82 Verifying : perl-mro-1.28-500.fc39.aarch64 77/82 Verifying : perl-overload-1.37-500.fc39.noarch 78/82 Verifying : perl-overloading-0.02-500.fc39.noarch 79/82 Verifying : perl-parent-1:0.241-500.fc39.noarch 80/82 Verifying : perl-podlators-1:5.01-500.fc39.noarch 81/82 Verifying : perl-vars-1.05-500.fc39.noarch 82/82 Installed: annobin-docs-12.26-1.fc40.noarch annobin-plugin-gcc-12.26-1.fc40.aarch64 cpp-13.2.1-1.fc40.aarch64 drat-trim-0-0.21.20230709git16f1d72.fc39.aarch64 drat-trim-tools-0-0.21.20230709git16f1d72.fc39.aarch64 gc-8.2.2-4.fc39.aarch64 gcc-13.2.1-1.fc40.aarch64 gcc-c++-13.2.1-1.fc40.aarch64 gcc-plugin-annobin-13.2.1-1.fc40.aarch64 glibc-devel-2.38.9000-8.fc40.aarch64 glibc-langpack-en-2.38.9000-8.fc40.aarch64 groff-base-1.23.0-2.fc39.aarch64 guile22-2.2.7-9.fc39.aarch64 help2man-1.49.3-3.fc39.noarch kernel-headers-6.6.0-0.rc1.git0.1.fc40.aarch64 libasan-13.2.1-1.fc40.aarch64 libatomic-13.2.1-1.fc40.aarch64 libmpc-1.3.1-3.fc39.aarch64 libstdc++-devel-13.2.1-1.fc40.aarch64 libtool-ltdl-2.4.7-8.fc40.aarch64 libubsan-13.2.1-1.fc40.aarch64 libxcrypt-devel-4.4.36-2.fc39.aarch64 make-1:4.4.1-2.fc39.aarch64 ncurses-6.4-7.20230520.fc40.aarch64 perl-AutoLoader-5.74-500.fc39.noarch perl-B-1.88-500.fc39.aarch64 perl-Carp-1.54-500.fc39.noarch perl-Class-Struct-0.68-500.fc39.noarch perl-Data-Dumper-2.188-501.fc39.aarch64 perl-Digest-1.20-500.fc39.noarch perl-Digest-MD5-2.58-500.fc39.aarch64 perl-DynaLoader-1.54-500.fc39.aarch64 perl-Encode-4:3.19-500.fc39.aarch64 perl-Errno-1.37-500.fc39.aarch64 perl-Exporter-5.77-500.fc39.noarch perl-Fcntl-1.15-500.fc39.aarch64 perl-File-Basename-2.86-500.fc39.noarch perl-File-Path-2.18-500.fc39.noarch perl-File-Temp-1:0.231.100-500.fc39.noarch perl-File-stat-1.13-500.fc39.noarch perl-FileHandle-2.05-500.fc39.noarch perl-Getopt-Long-1:2.54-500.fc39.noarch perl-Getopt-Std-1.13-500.fc39.noarch perl-HTTP-Tiny-0.088-3.fc39.noarch perl-IO-1.52-500.fc39.aarch64 perl-IO-Socket-IP-0.42-1.fc39.noarch perl-IO-Socket-SSL-2.083-3.fc39.noarch perl-IPC-Open3-1.22-500.fc39.noarch perl-MIME-Base64-3.16-500.fc39.aarch64 perl-Mozilla-CA-20230821-1.fc40.noarch perl-Net-SSLeay-1.92-10.fc39.aarch64 perl-POSIX-2.13-500.fc39.aarch64 perl-PathTools-3.89-500.fc39.aarch64 perl-Pod-Escapes-1:1.07-501.fc40.noarch perl-Pod-Perldoc-3.28.01-501.fc39.noarch perl-Pod-Simple-1:3.45-4.fc39.noarch perl-Pod-Usage-4:2.03-500.fc39.noarch perl-Scalar-List-Utils-5:1.63-500.fc39.aarch64 perl-SelectSaver-1.02-500.fc39.noarch perl-Socket-4:2.037-3.fc39.aarch64 perl-Storable-1:3.32-500.fc39.aarch64 perl-Symbol-1.09-500.fc39.noarch perl-Term-ANSIColor-5.01-501.fc39.noarch perl-Term-Cap-1.18-500.fc39.noarch perl-Text-ParseWords-3.31-500.fc39.noarch perl-Text-Tabs+Wrap-2023.0511-3.fc39.noarch perl-Time-Local-2:1.350-3.fc39.noarch perl-URI-5.21-1.fc40.noarch perl-base-2.27-500.fc39.noarch perl-constant-1.33-501.fc39.noarch perl-if-0.61.000-500.fc39.noarch perl-interpreter-4:5.38.0-500.fc39.aarch64 perl-libnet-3.15-501.fc39.noarch perl-libs-4:5.38.0-500.fc39.aarch64 perl-locale-1.10-500.fc39.noarch perl-mro-1.28-500.fc39.aarch64 perl-overload-1.37-500.fc39.noarch perl-overloading-0.02-500.fc39.noarch perl-parent-1:0.241-500.fc39.noarch perl-podlators-1:5.01-500.fc39.noarch perl-vars-1.05-500.fc39.noarch zlib-ng-compat-devel-2.1.3-3.fc40.aarch64 Complete! Finish: build setup for cadical-1.7.1-1.fc40.src.rpm Start: rpmbuild cadical-1.7.1-1.fc40.src.rpm Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1693526400 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.fN1r60 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cadical-rel-1.7.1 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cadical-1.7.1.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd cadical-rel-1.7.1 + rm -rf /builddir/build/BUILD/cadical-rel-1.7.1-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/cadical-rel-1.7.1-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cadical-shared.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.F6F1oW + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd cadical-rel-1.7.1 + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC' + ./configure configure: making default 'build' directory configure: building in default '/builddir/build/BUILD/cadical-rel-1.7.1/build' configure: root directory '/builddir/build/BUILD/cadical-rel-1.7.1' configure: source directory '/builddir/build/BUILD/cadical-rel-1.7.1/src' configure: compiler supports all required C99/C++11 extensions configure: unlocked IO with '{putc,getc}_unlocked' seems to work configure: compiling with 'g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG' configure: generated 'build/makefile' from '../makefile.in' configure: generated '../makefile' as proxy to ... configure: ... '/builddir/build/BUILD/cadical-rel-1.7.1/build/makefile' configure: linking '/builddir/build/BUILD/cadical-rel-1.7.1/makefile' configure: now run 'make' to compile CaDiCaL configure: optionally run 'make test' + sed -i 's|@LDFLAGS@|-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes |' build/makefile + /usr/bin/make -O -j4 V=1 VERBOSE=1 /usr/bin/make -C "/builddir/build/BUILD/cadical-rel-1.7.1/build" make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/arena.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/averages.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/assume.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/backtrack.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/backward.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ccadical.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/analyze.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/bins.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/block.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/clause.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/checker.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/collect.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/config.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/constrain.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/contract.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/condition.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/decide.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/compact.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/cover.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/decompose.cpp ../src/decompose.cpp: In member function ‘CaDiCaL::Internal::decompose_round()’: ../src/decompose.cpp:573:22: warning: array subscript 2 is above array bounds of ‘int[2]’ [-Warray-bounds=] 573 | c->literals[l] = clause[l]; | ~~~~~~~~~~~~~^ In file included from ../src/internal.hpp:54, from ../src/decompose.cpp:1: ../src/clause.hpp:86:9: note: while referencing ‘literals’ 86 | int literals[2]; // Of variadic 'size' (shrunken if strengthened). | ^~~~~~~~ make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/deduplicate.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ema.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/extend.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/elim.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/external.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/external_propagate.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/file.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/flags.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/format.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/flip.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ipasir.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/gates.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/logging.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/instantiate.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/limit.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lratchecker.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/internal.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lookahead.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lratbuilder.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lucky.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/message.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/minimize.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/occs.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/phases.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/parse.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/profile.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/probe.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/proof.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/queue.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/random.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/reap.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/propagate.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/options.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/report.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/rephase.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/reduce.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/resources.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/restart.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/signal.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/restore.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/score.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/solution.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/shrink.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/terminal.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/stats.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/subsume.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/solver.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ternary.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/util.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' ../scripts/make-build-header.sh > build.hpp make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id) make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/tracer.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/transred.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/var.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/watch.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/walk.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/version.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/cadical.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/vivify.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/mobical.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' rm -f libcadical.so g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -shared -Wl,-h,libcadical.so.0 -o libcadical.so.0.0.0 -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o elim.o ema.o extend.o external.o external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o ln -s libcadical.so.0.0.0 libcadical.so.0 ln -s libcadical.so.0 libcadical.so make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -L. -lcadical make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -L. -lcadical make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' + export LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.7.1/build + LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.7.1/build + help2man --version-string=1.7.1 -N -o cadical.1 build/cadical + help2man --version-string=1.7.1 -N -o mobical.1 -h -h build/mobical + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.txwody + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64 ++ dirname /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd cadical-rel-1.7.1 + mkdir -p /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/bin + cp -p build/cadical build/mobical /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/bin + mkdir -p /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/lib64 + cp -p build/libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/lib64 + ln -s libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/lib64/libcadical.so.0 + ln -s libcadical.so.0 /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/lib64/libcadical.so + mkdir -p /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/include + cp -p src/cadical.hpp /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/include + cp -p src/ccadical.h /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/include + mkdir -p /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/share/man/man1 + cp -p cadical.1 mobical.1 /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/share/man/man1 + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.7.1-1.fc40 --unique-debug-suffix -1.7.1-1.fc40.aarch64 --unique-debug-src-base cadical-1.7.1-1.fc40.aarch64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cadical-rel-1.7.1 find-debuginfo: starting Extracting debug info from 3 files DWARF-compressing 3 files sepdebugcrcfix: Updated 3 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/cadical-1.7.1-1.fc40.aarch64 2462 blocks find-debuginfo: done + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.tvihui + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd cadical-rel-1.7.1 + sed -i '/make -C \$CADICALBUILD/d;/^make$/d' test/api/run.sh test/cnf/run.sh test/icnf/run.sh test/mbt/run.sh test/trace/run.sh test/usage/run.sh + sed -i 's/ mbt$//' test/makefile + export LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.7.1/build + LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.7.1/build + make -C test make: Entering directory '/builddir/build/BUILD/cadical-rel-1.7.1/test' --------------------------------------------------------- usage testing in '../build' --------------------------------------------------------- starting test run /builddir/build/BUILD/cadical-rel-1.7.1/test test/usage/run.sh: running usage test 'test-usage-h' ../build/cadical -h# ok (expected exit code '0') test/usage/run.sh: running usage test 'test-usage-help' ../build/cadical --help# ok (expected exit code '0') test/usage/run.sh: running usage test 'test-usage-version' ../build/cadical --version# ok (expected exit code '0') test/usage/run.sh: running usage test 'test-usage-build' ../build/cadical --build# ok (expected exit code '0') test/usage/run.sh: running usage test 'test-usage-copyright' ../build/cadical --copyright# ok (expected exit code '0') test/usage/run.sh: running usage test 'test-usage-empty' ../build/cadical ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-false' ../build/cadical ../test/cnf/false.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-n-empty' ../build/cadical -n ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-v-empty' ../build/cadical -v ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-v-v-empty' ../build/cadical -v -v ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-v-v-v-empty' ../build/cadical -v -v -v ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-q-empty' ../build/cadical -q ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-missing-clause' ../build/cadical ../test/usage/missing-clause.cnf# ok (expected exit code '1') test/usage/run.sh: running usage test 'test-usage-variable-too-large' ../build/cadical ../test/usage/variable-too-large.cnf# ok (expected exit code '1') test/usage/run.sh: running usage test 'test-usage-strict-relaxed-header' ../build/cadical --strict relaxed-header.cnf# ok (expected exit code '1') test/usage/run.sh: running usage test 'test-usage-f-missing-clause' ../build/cadical -f ../test/usage/missing-clause.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-f-variable-too-large' ../build/cadical -f ../test/usage/variable-too-large.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force-missing-clause' ../build/cadical --force ../test/usage/missing-clause.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force-variable-too-large' ../build/cadical --force ../test/usage/variable-too-large.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force=1-missing-clause' ../build/cadical --force=1 ../test/usage/missing-clause.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force=1-variable-too-large' ../build/cadical --force=1 ../test/usage/variable-too-large.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force=true-missing-clause' ../build/cadical --force=true ../test/usage/missing-clause.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force=true-variable-too-large' ../build/cadical --force=true ../test/usage/variable-too-large.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-relaxed-header' ../build/cadical ../test/usage/relaxed-header.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-O1-prime2209' ../build/cadical -O1 ../test/cnf/prime2209.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-O2-prime2209' ../build/cadical -O2 ../test/cnf/prime2209.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-O3-prime2209' ../build/cadical -O3 ../test/cnf/prime2209.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-L1-prime9' ../build/cadical -L1 ../test/cnf/prime9.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-L2-prime9' ../build/cadical -L2 ../test/cnf/prime9.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-L10-prime9' ../build/cadical -L10 ../test/cnf/prime9.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-P1-add16' ../build/cadical -P1 ../test/cnf/add16.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-P2-add16' ../build/cadical -P2 ../test/cnf/add16.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-P16-add16' ../build/cadical -P16 ../test/cnf/add16.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-P128-add16' ../build/cadical -P128 ../test/cnf/add16.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-P1024-add16' ../build/cadical -P1024 ../test/cnf/add16.cnf# ok (expected exit code '20') test/usage/run.sh: usage testing results: 35 ok, 0 failed --------------------------------------------------------- Regression Testing API traces in '../build' --------------------------------------------------------- test/trace/run.sh: found 76 traces test/trace/run.sh: running 'reg0000' ../build/mobical ../test/trace/reg0000.trace 0 # ... ok test/trace/run.sh: running 'reg0001' ../build/mobical ../test/trace/reg0001.trace 0 # ... ok test/trace/run.sh: running 'reg0002' ../build/mobical ../test/trace/reg0002.trace 0 # ... ok test/trace/run.sh: running 'reg0003' ../build/mobical ../test/trace/reg0003.trace 0 # ... ok test/trace/run.sh: running 'reg0004' ../build/mobical ../test/trace/reg0004.trace 0 # ... ok test/trace/run.sh: running 'reg0005' ../build/mobical ../test/trace/reg0005.trace 0 # ... ok test/trace/run.sh: running 'reg0006' ../build/mobical ../test/trace/reg0006.trace 0 # ... ok test/trace/run.sh: running 'reg0007' ../build/mobical ../test/trace/reg0007.trace 0 # ... ok test/trace/run.sh: running 'reg0008' ../build/mobical ../test/trace/reg0008.trace 0 # ... ok test/trace/run.sh: running 'reg0009' ../build/mobical ../test/trace/reg0009.trace 0 # ... ok test/trace/run.sh: running 'reg0010' ../build/mobical ../test/trace/reg0010.trace 0 # ... ok test/trace/run.sh: running 'reg0011' ../build/mobical ../test/trace/reg0011.trace 0 # ... ok test/trace/run.sh: running 'reg0012' ../build/mobical ../test/trace/reg0012.trace 0 # ... ok test/trace/run.sh: running 'reg0013' ../build/mobical ../test/trace/reg0013.trace 0 # ... ok test/trace/run.sh: running 'reg0014' ../build/mobical ../test/trace/reg0014.trace 0 # ... ok test/trace/run.sh: running 'reg0015' ../build/mobical ../test/trace/reg0015.trace 0 # ... ok test/trace/run.sh: running 'reg0016' ../build/mobical ../test/trace/reg0016.trace 0 # ... ok test/trace/run.sh: running 'reg0017' ../build/mobical ../test/trace/reg0017.trace 0 # ... ok test/trace/run.sh: running 'reg0018' ../build/mobical ../test/trace/reg0018.trace 0 # ... ok test/trace/run.sh: running 'reg0019' ../build/mobical ../test/trace/reg0019.trace 0 # ... ok test/trace/run.sh: running 'reg0020' ../build/mobical ../test/trace/reg0020.trace 0 # ... ok test/trace/run.sh: running 'reg0021' ../build/mobical ../test/trace/reg0021.trace 0 # ... ok test/trace/run.sh: running 'reg0022' ../build/mobical ../test/trace/reg0022.trace 0 # ... ok test/trace/run.sh: running 'reg0023' ../build/mobical ../test/trace/reg0023.trace 0 # ... ok test/trace/run.sh: running 'reg0024' ../build/mobical ../test/trace/reg0024.trace 0 # ... ok test/trace/run.sh: running 'reg0025' ../build/mobical ../test/trace/reg0025.trace 0 # ... ok test/trace/run.sh: running 'reg0026' ../build/mobical ../test/trace/reg0026.trace 0 # ... ok test/trace/run.sh: running 'reg0027' ../build/mobical ../test/trace/reg0027.trace 0 # ... ok test/trace/run.sh: running 'reg0028' ../build/mobical ../test/trace/reg0028.trace 0 # ... ok test/trace/run.sh: running 'reg0029' ../build/mobical ../test/trace/reg0029.trace 0 # ... ok test/trace/run.sh: running 'reg0030' ../build/mobical ../test/trace/reg0030.trace 0 # ... ok test/trace/run.sh: running 'reg0031' ../build/mobical ../test/trace/reg0031.trace 0 # ... ok test/trace/run.sh: running 'reg0032' ../build/mobical ../test/trace/reg0032.trace 0 # ... ok test/trace/run.sh: running 'reg0033' ../build/mobical ../test/trace/reg0033.trace 0 # ... ok test/trace/run.sh: running 'reg0034' ../build/mobical ../test/trace/reg0034.trace 0 # ... ok test/trace/run.sh: running 'reg0035' ../build/mobical ../test/trace/reg0035.trace 0 # ... ok test/trace/run.sh: running 'reg0036' ../build/mobical ../test/trace/reg0036.trace 0 # ... ok test/trace/run.sh: running 'reg0037' ../build/mobical ../test/trace/reg0037.trace 0 # ... ok test/trace/run.sh: running 'reg0038' ../build/mobical ../test/trace/reg0038.trace 0 # ... ok test/trace/run.sh: running 'reg0039' ../build/mobical ../test/trace/reg0039.trace 0 # ... ok test/trace/run.sh: running 'reg0040' ../build/mobical ../test/trace/reg0040.trace 0 # ... ok test/trace/run.sh: running 'reg0041' ../build/mobical ../test/trace/reg0041.trace 0 # ... ok test/trace/run.sh: running 'reg0042' ../build/mobical ../test/trace/reg0042.trace 0 # ... ok test/trace/run.sh: running 'reg0043' ../build/mobical ../test/trace/reg0043.trace 0 # ... ok test/trace/run.sh: running 'reg0044' ../build/mobical ../test/trace/reg0044.trace 0 # ... ok test/trace/run.sh: running 'reg0045' ../build/mobical ../test/trace/reg0045.trace 0 # ... ok test/trace/run.sh: running 'reg0046' ../build/mobical ../test/trace/reg0046.trace 0 # ... ok test/trace/run.sh: running 'reg0047' ../build/mobical ../test/trace/reg0047.trace 0 # ... ok test/trace/run.sh: running 'reg0048' ../build/mobical ../test/trace/reg0048.trace 0 # ... ok test/trace/run.sh: running 'reg0049' ../build/mobical ../test/trace/reg0049.trace 0 # ... ok test/trace/run.sh: running 'reg0050' ../build/mobical ../test/trace/reg0050.trace 0 # ... ok test/trace/run.sh: running 'reg0051' ../build/mobical ../test/trace/reg0051.trace 0 # ... ok test/trace/run.sh: running 'reg0052' ../build/mobical ../test/trace/reg0052.trace 0 # ... ok test/trace/run.sh: running 'reg0053' ../build/mobical ../test/trace/reg0053.trace 0 # ... ok test/trace/run.sh: running 'reg0054' ../build/mobical ../test/trace/reg0054.trace 0 # ... ok test/trace/run.sh: running 'reg0055' ../build/mobical ../test/trace/reg0055.trace 0 # ... ok test/trace/run.sh: running 'reg0056' ../build/mobical ../test/trace/reg0056.trace 0 # ... ok test/trace/run.sh: running 'reg0057' ../build/mobical ../test/trace/reg0057.trace 0 # ... ok test/trace/run.sh: running 'reg0058' ../build/mobical ../test/trace/reg0058.trace 0 # ... ok test/trace/run.sh: running 'reg0059' ../build/mobical ../test/trace/reg0059.trace 0 # ... ok test/trace/run.sh: running 'reg0060' ../build/mobical ../test/trace/reg0060.trace 0 # ... ok test/trace/run.sh: running 'reg0061' ../build/mobical ../test/trace/reg0061.trace 0 # ... ok test/trace/run.sh: running 'reg0062' ../build/mobical ../test/trace/reg0062.trace 0 # ... ok test/trace/run.sh: running 'reg0063' ../build/mobical ../test/trace/reg0063.trace 0 # ... ok test/trace/run.sh: running 'reg0064' ../build/mobical ../test/trace/reg0064.trace 0 # ... ok test/trace/run.sh: running 'reg0065' ../build/mobical ../test/trace/reg0065.trace 0 # ... ok test/trace/run.sh: running 'reg0066' ../build/mobical ../test/trace/reg0066.trace 0 # ... ok test/trace/run.sh: running 'reg0067' ../build/mobical ../test/trace/reg0067.trace 0 # ... ok test/trace/run.sh: running 'reg0068' ../build/mobical ../test/trace/reg0068.trace 0 # ... ok test/trace/run.sh: running 'reg0069' ../build/mobical ../test/trace/reg0069.trace 0 # ... ok test/trace/run.sh: running 'reg0070' ../build/mobical ../test/trace/reg0070.trace 0 # ... ok test/trace/run.sh: running 'reg0071' ../build/mobical ../test/trace/reg0071.trace 0 # ... ok test/trace/run.sh: running 'reg0072' ../build/mobical ../test/trace/reg0072.trace 0 # ... ok test/trace/run.sh: running 'reg0073' ../build/mobical ../test/trace/reg0073.trace 0 # ... ok test/trace/run.sh: running 'reg0074' ../build/mobical ../test/trace/reg0074.trace 0 # ... ok test/trace/run.sh: running 'reg0075' ../build/mobical ../test/trace/reg0075.trace 0 # ... ok test/trace/run.sh: executed 76 traces, 76 ok, 0 failed --------------------------------------------------------- API testing in '../build' --------------------------------------------------------- test/api/run.sh: using CXX=g++ test/api/run.sh: using CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG test/api/run.sh: running API test 'newdelete' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-newdelete.o -c ../test/api/newdelete.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-newdelete ../build/test-api-newdelete.o -L../build -lcadical ../build/test-api-newdelete # 0 ... ok (zero exit code) test/api/run.sh: running API test 'unit' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-unit.o -c ../test/api/unit.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-unit ../build/test-api-unit.o -L../build -lcadical ../build/test-api-unit # 0 ... ok (zero exit code) test/api/run.sh: running API test 'morenmore' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-morenmore.o -c ../test/api/morenmore.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-morenmore ../build/test-api-morenmore.o -L../build -lcadical ../build/test-api-morenmore # 0 ... ok (zero exit code) test/api/run.sh: running API test 'ctest' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -x c -o ../build/test-api-ctest.o -c ../test/api/ctest.c g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-ctest ../build/test-api-ctest.o -L../build -lcadical ../build/test-api-ctest # 0 ... ok (zero exit code) test/api/run.sh: running API test 'example' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-example.o -c ../test/api/example.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-example ../build/test-api-example.o -L../build -lcadical ../build/test-api-example # 0 ... ok (zero exit code) test/api/run.sh: running API test 'terminate' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-terminate.o -c ../test/api/terminate.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-terminate ../build/test-api-terminate.o -L../build -lcadical ../build/test-api-terminate # 0 ... ok (zero exit code) test/api/run.sh: running API test 'learn' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-learn.o -c ../test/api/learn.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-learn ../build/test-api-learn.o -L../build -lcadical ../build/test-api-learn # 0 ... ok (zero exit code) test/api/run.sh: running API test 'cfreeze' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -x c -o ../build/test-api-cfreeze.o -c ../test/api/cfreeze.c g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-cfreeze ../build/test-api-cfreeze.o -L../build -lcadical ../build/test-api-cfreeze # 0 ... ok (zero exit code) test/api/run.sh: running API test 'traverse' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-traverse.o -c ../test/api/traverse.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-traverse ../build/test-api-traverse.o -L../build -lcadical ../build/test-api-traverse # 0 ... ok (zero exit code) test/api/run.sh: running API test 'cipasir' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -x c -o ../build/test-api-cipasir.o -c ../test/api/cipasir.c g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-cipasir ../build/test-api-cipasir.o -L../build -lcadical ../build/test-api-cipasir # 0 ... ok (zero exit code) test/api/run.sh: running API test 'apitrace' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-apitrace.o -c ../test/api/apitrace.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-apitrace ../build/test-api-apitrace.o -L../build -lcadical ../build/test-api-apitrace # 0 ... ok (zero exit code) test/api/run.sh: API testing results: 11 ok, 0 failed --------------------------------------------------------- CNF testing in '../build' --------------------------------------------------------- cc -O -o ../build/precochk ../test/cnf/precochk.c -lz test/cnf/run.sh: external solution checking with '../build/precochk' test/cnf/run.sh: external proof checking with '../build/drat-trim' test/cnf/run.sh: running CNF test core 'empty' ../build/cadical \ ../test/cnf/empty.cnf --check -r ../test/cnf/empty.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/empty.cnf ../build/test-cnf-core-empty.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'empty' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/empty.cnf # 10 ...ok ../build/precochk \ ../test/cnf/empty.cnf ../build/test-cnf-simp-empty.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'false' ../build/cadical \ ../test/cnf/false.cnf --check ../build/test-cnf-core-false.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/false.cnf ../build/test-cnf-core-false.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'false' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/false.cnf # 20 ...test/cnf/run.sh: running CNF test core 'unit0' ../build/cadical \ ../test/cnf/unit0.cnf --check -r ../test/cnf/unit0.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/unit0.cnf ../build/test-cnf-core-unit0.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'unit0' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit0.cnf # 10 ...ok ../build/precochk \ ../test/cnf/unit0.cnf ../build/test-cnf-simp-unit0.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'unit1' ../build/cadical \ ../test/cnf/unit1.cnf --check -r ../test/cnf/unit1.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/unit1.cnf ../build/test-cnf-core-unit1.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'unit1' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit1.cnf # 10 ...ok ../build/precochk \ ../test/cnf/unit1.cnf ../build/test-cnf-simp-unit1.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'unit2' ../build/cadical \ ../test/cnf/unit2.cnf --check -r ../test/cnf/unit2.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/unit2.cnf ../build/test-cnf-core-unit2.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'unit2' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit2.cnf # 10 ...ok ../build/precochk \ ../test/cnf/unit2.cnf ../build/test-cnf-simp-unit2.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'unit3' ../build/cadical \ ../test/cnf/unit3.cnf --check -r ../test/cnf/unit3.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/unit3.cnf ../build/test-cnf-core-unit3.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'unit3' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit3.cnf # 10 ...ok ../build/precochk \ ../test/cnf/unit3.cnf ../build/test-cnf-simp-unit3.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'unit4' ../build/cadical \ ../test/cnf/unit4.cnf --check ../build/test-cnf-core-unit4.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/unit4.cnf ../build/test-cnf-core-unit4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'unit4' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit4.cnf # 20 ...test/cnf/run.sh: running CNF test core 'unit5' ../build/cadical \ ../test/cnf/unit5.cnf --check ../build/test-cnf-core-unit5.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/unit5.cnf ../build/test-cnf-core-unit5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'unit5' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit5.cnf # 20 ...test/cnf/run.sh: running CNF test core 'unit6' ../build/cadical \ ../test/cnf/unit6.cnf --check ../build/test-cnf-core-unit6.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/unit6.cnf ../build/test-cnf-core-unit6.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'unit6' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit6.cnf # 20 ...test/cnf/run.sh: running CNF test core 'unit7' ../build/cadical \ ../test/cnf/unit7.cnf --check ../build/test-cnf-core-unit7.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/unit7.cnf ../build/test-cnf-core-unit7.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'unit7' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit7.cnf # 20 ...test/cnf/run.sh: running CNF test core 'sub0' ../build/cadical \ ../test/cnf/sub0.cnf --check # 10 ...ok (without solution file) ../build/precochk \ ../test/cnf/sub0.cnf ../build/test-cnf-core-sub0.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sub0' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sub0.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sub0.cnf ../build/test-cnf-simp-sub0.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat0' ../build/cadical \ ../test/cnf/sat0.cnf --check ../build/test-cnf-core-sat0.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/sat0.cnf ../build/test-cnf-core-sat0.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'sat0' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat0.cnf # 20 ...test/cnf/run.sh: running CNF test core 'sat1' ../build/cadical \ ../test/cnf/sat1.cnf --check -r ../test/cnf/sat1.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat1.cnf ../build/test-cnf-core-sat1.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat1' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat1.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat1.cnf ../build/test-cnf-simp-sat1.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat2' ../build/cadical \ ../test/cnf/sat2.cnf --check -r ../test/cnf/sat2.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat2.cnf ../build/test-cnf-core-sat2.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat2' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat2.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat2.cnf ../build/test-cnf-simp-sat2.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat3' ../build/cadical \ ../test/cnf/sat3.cnf --check -r ../test/cnf/sat3.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat3.cnf ../build/test-cnf-core-sat3.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat3' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat3.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat3.cnf ../build/test-cnf-simp-sat3.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat4' ../build/cadical \ ../test/cnf/sat4.cnf --check -r ../test/cnf/sat4.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat4.cnf ../build/test-cnf-core-sat4.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat4' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat4.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat4.cnf ../build/test-cnf-simp-sat4.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat5' ../build/cadical \ ../test/cnf/sat5.cnf --check ../build/test-cnf-core-sat5.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/sat5.cnf ../build/test-cnf-core-sat5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'sat5' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat5.cnf # 20 ...test/cnf/run.sh: running CNF test core 'sat6' ../build/cadical \ ../test/cnf/sat6.cnf --check -r ../test/cnf/sat6.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat6.cnf ../build/test-cnf-core-sat6.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat6' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat6.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat6.cnf ../build/test-cnf-simp-sat6.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat7' ../build/cadical \ ../test/cnf/sat7.cnf --check -r ../test/cnf/sat7.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat7.cnf ../build/test-cnf-core-sat7.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat7' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat7.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat7.cnf ../build/test-cnf-simp-sat7.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat8' ../build/cadical \ ../test/cnf/sat8.cnf --check -r ../test/cnf/sat8.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat8.cnf ../build/test-cnf-core-sat8.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat8' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat8.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat8.cnf ../build/test-cnf-simp-sat8.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat9' ../build/cadical \ ../test/cnf/sat9.cnf --check -r ../test/cnf/sat9.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat9.cnf ../build/test-cnf-core-sat9.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat9' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat9.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat9.cnf ../build/test-cnf-simp-sat9.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat10' ../build/cadical \ ../test/cnf/sat10.cnf --check -r ../test/cnf/sat10.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat10.cnf ../build/test-cnf-core-sat10.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat10' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat10.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat10.cnf ../build/test-cnf-simp-sat10.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat11' ../build/cadical \ ../test/cnf/sat11.cnf --check -r ../test/cnf/sat11.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat11.cnf ../build/test-cnf-core-sat11.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat11' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat11.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat11.cnf ../build/test-cnf-simp-sat11.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat12' ../build/cadical \ ../test/cnf/sat12.cnf --check -r ../test/cnf/sat12.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat12.cnf ../build/test-cnf-core-sat12.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat12' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat12.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat12.cnf ../build/test-cnf-simp-sat12.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sat13' ../build/cadical \ ../test/cnf/sat13.cnf --check -r ../test/cnf/sat13.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sat13.cnf ../build/test-cnf-core-sat13.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sat13' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat13.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sat13.cnf ../build/test-cnf-simp-sat13.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'full1' ../build/cadical \ ../test/cnf/full1.cnf --check ../build/test-cnf-core-full1.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full1.cnf ../build/test-cnf-core-full1.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full1' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full1.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full2' ../build/cadical \ ../test/cnf/full2.cnf --check ../build/test-cnf-core-full2.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full2.cnf ../build/test-cnf-core-full2.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full2' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full2.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full3' ../build/cadical \ ../test/cnf/full3.cnf --check ../build/test-cnf-core-full3.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full3.cnf ../build/test-cnf-core-full3.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full3' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full3.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full4' ../build/cadical \ ../test/cnf/full4.cnf --check ../build/test-cnf-core-full4.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full4.cnf ../build/test-cnf-core-full4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full4' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full4.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full5' ../build/cadical \ ../test/cnf/full5.cnf --check ../build/test-cnf-core-full5.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full5.cnf ../build/test-cnf-core-full5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full5' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full5.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full6' ../build/cadical \ ../test/cnf/full6.cnf --check ../build/test-cnf-core-full6.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full6.cnf ../build/test-cnf-core-full6.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full6' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full6.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full7' ../build/cadical \ ../test/cnf/full7.cnf --check ../build/test-cnf-core-full7.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full7.cnf ../build/test-cnf-core-full7.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full7' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full7.cnf # 20 ...test/cnf/run.sh: running CNF test core 'regr000' ../build/cadical \ ../test/cnf/regr000.cnf --check -r ../test/cnf/regr000.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/regr000.cnf ../build/test-cnf-core-regr000.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'regr000' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/regr000.cnf # 10 ...ok ../build/precochk \ ../test/cnf/regr000.cnf ../build/test-cnf-simp-regr000.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'elimclash' ../build/cadical \ ../test/cnf/elimclash.cnf --check ../build/test-cnf-core-elimclash.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/elimclash.cnf ../build/test-cnf-core-elimclash.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'elimclash' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/elimclash.cnf # 20 ...test/cnf/run.sh: running CNF test core 'elimredundant' ../build/cadical \ ../test/cnf/elimredundant.cnf --check # 10 ...ok (without solution file) ../build/precochk \ ../test/cnf/elimredundant.cnf ../build/test-cnf-core-elimredundant.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'elimredundant' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/elimredundant.cnf # 10 ...ok ../build/precochk \ ../test/cnf/elimredundant.cnf ../build/test-cnf-simp-elimredundant.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'block0' ../build/cadical \ ../test/cnf/block0.cnf --check # 10 ...ok (without solution file) ../build/precochk \ ../test/cnf/block0.cnf ../build/test-cnf-core-block0.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'block0' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/block0.cnf # 10 ...ok ../build/precochk \ ../test/cnf/block0.cnf ../build/test-cnf-simp-block0.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime4' ../build/cadical \ ../test/cnf/prime4.cnf --check -r ../test/cnf/prime4.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime4.cnf ../build/test-cnf-core-prime4.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime4' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime4.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime4.cnf ../build/test-cnf-simp-prime4.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime9' ../build/cadical \ ../test/cnf/prime9.cnf --check -r ../test/cnf/prime9.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime9.cnf ../build/test-cnf-core-prime9.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime9' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime9.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime9.cnf ../build/test-cnf-simp-prime9.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime25' ../build/cadical \ ../test/cnf/prime25.cnf --check -r ../test/cnf/prime25.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime25.cnf ../build/test-cnf-core-prime25.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime25' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime25.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime25.cnf ../build/test-cnf-simp-prime25.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime49' ../build/cadical \ ../test/cnf/prime49.cnf --check -r ../test/cnf/prime49.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime49.cnf ../build/test-cnf-core-prime49.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime49' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime49.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime49.cnf ../build/test-cnf-simp-prime49.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime121' ../build/cadical \ ../test/cnf/prime121.cnf --check -r ../test/cnf/prime121.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime121.cnf ../build/test-cnf-core-prime121.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime121' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime121.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime121.cnf ../build/test-cnf-simp-prime121.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime169' ../build/cadical \ ../test/cnf/prime169.cnf --check -r ../test/cnf/prime169.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime169.cnf ../build/test-cnf-core-prime169.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime169' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime169.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime169.cnf ../build/test-cnf-simp-prime169.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime361' ../build/cadical \ ../test/cnf/prime361.cnf --check -r ../test/cnf/prime361.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime361.cnf ../build/test-cnf-core-prime361.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime361' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime361.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime361.cnf ../build/test-cnf-simp-prime361.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime289' ../build/cadical \ ../test/cnf/prime289.cnf --check -r ../test/cnf/prime289.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime289.cnf ../build/test-cnf-core-prime289.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime289' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime289.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime289.cnf ../build/test-cnf-simp-prime289.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime529' ../build/cadical \ ../test/cnf/prime529.cnf --check -r ../test/cnf/prime529.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime529.cnf ../build/test-cnf-core-prime529.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime529' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime529.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime529.cnf ../build/test-cnf-simp-prime529.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime841' ../build/cadical \ ../test/cnf/prime841.cnf --check -r ../test/cnf/prime841.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime841.cnf ../build/test-cnf-core-prime841.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime841' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime841.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime841.cnf ../build/test-cnf-simp-prime841.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime961' ../build/cadical \ ../test/cnf/prime961.cnf --check -r ../test/cnf/prime961.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime961.cnf ../build/test-cnf-core-prime961.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime961' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime961.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime961.cnf ../build/test-cnf-simp-prime961.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime1369' ../build/cadical \ ../test/cnf/prime1369.cnf --check -r ../test/cnf/prime1369.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime1369.cnf ../build/test-cnf-core-prime1369.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime1369' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime1369.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime1369.cnf ../build/test-cnf-simp-prime1369.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime1681' ../build/cadical \ ../test/cnf/prime1681.cnf --check -r ../test/cnf/prime1681.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime1681.cnf ../build/test-cnf-core-prime1681.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime1681' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime1681.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime1681.cnf ../build/test-cnf-simp-prime1681.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime1849' ../build/cadical \ ../test/cnf/prime1849.cnf --check -r ../test/cnf/prime1849.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime1849.cnf ../build/test-cnf-core-prime1849.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime1849' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime1849.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime1849.cnf ../build/test-cnf-simp-prime1849.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'prime2209' ../build/cadical \ ../test/cnf/prime2209.cnf --check -r ../test/cnf/prime2209.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/prime2209.cnf ../build/test-cnf-core-prime2209.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'prime2209' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime2209.cnf # 10 ...ok ../build/precochk \ ../test/cnf/prime2209.cnf ../build/test-cnf-simp-prime2209.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'factor2708413neg' ../build/cadical \ ../test/cnf/factor2708413neg.cnf --check # 10 ...ok (without solution file) ../build/precochk \ ../test/cnf/factor2708413neg.cnf ../build/test-cnf-core-factor2708413neg.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'factor2708413neg' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/factor2708413neg.cnf # 10 ...ok ../build/precochk \ ../test/cnf/factor2708413neg.cnf ../build/test-cnf-simp-factor2708413neg.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'factor2708413pos' ../build/cadical \ ../test/cnf/factor2708413pos.cnf --check # 10 ...ok (without solution file) ../build/precochk \ ../test/cnf/factor2708413pos.cnf ../build/test-cnf-core-factor2708413pos.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'factor2708413pos' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/factor2708413pos.cnf # 10 ...ok ../build/precochk \ ../test/cnf/factor2708413pos.cnf ../build/test-cnf-simp-factor2708413pos.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt2809' ../build/cadical \ ../test/cnf/sqrt2809.cnf --check -r ../test/cnf/sqrt2809.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt2809.cnf ../build/test-cnf-core-sqrt2809.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt2809' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt2809.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt2809.cnf ../build/test-cnf-simp-sqrt2809.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt3481' ../build/cadical \ ../test/cnf/sqrt3481.cnf --check -r ../test/cnf/sqrt3481.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt3481.cnf ../build/test-cnf-core-sqrt3481.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt3481' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt3481.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt3481.cnf ../build/test-cnf-simp-sqrt3481.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt3721' ../build/cadical \ ../test/cnf/sqrt3721.cnf --check -r ../test/cnf/sqrt3721.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt3721.cnf ../build/test-cnf-core-sqrt3721.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt3721' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt3721.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt3721.cnf ../build/test-cnf-simp-sqrt3721.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt4489' ../build/cadical \ ../test/cnf/sqrt4489.cnf --check -r ../test/cnf/sqrt4489.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt4489.cnf ../build/test-cnf-core-sqrt4489.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt4489' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt4489.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt4489.cnf ../build/test-cnf-simp-sqrt4489.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt5041' ../build/cadical \ ../test/cnf/sqrt5041.cnf --check -r ../test/cnf/sqrt5041.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt5041.cnf ../build/test-cnf-core-sqrt5041.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt5041' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt5041.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt5041.cnf ../build/test-cnf-simp-sqrt5041.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt5329' ../build/cadical \ ../test/cnf/sqrt5329.cnf --check -r ../test/cnf/sqrt5329.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt5329.cnf ../build/test-cnf-core-sqrt5329.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt5329' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt5329.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt5329.cnf ../build/test-cnf-simp-sqrt5329.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt6241' ../build/cadical \ ../test/cnf/sqrt6241.cnf --check -r ../test/cnf/sqrt6241.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt6241.cnf ../build/test-cnf-core-sqrt6241.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt6241' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt6241.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt6241.cnf ../build/test-cnf-simp-sqrt6241.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt6889' ../build/cadical \ ../test/cnf/sqrt6889.cnf --check -r ../test/cnf/sqrt6889.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt6889.cnf ../build/test-cnf-core-sqrt6889.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt6889' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt6889.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt6889.cnf ../build/test-cnf-simp-sqrt6889.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt7921' ../build/cadical \ ../test/cnf/sqrt7921.cnf --check -r ../test/cnf/sqrt7921.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt7921.cnf ../build/test-cnf-core-sqrt7921.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt7921' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt7921.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt7921.cnf ../build/test-cnf-simp-sqrt7921.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt9409' ../build/cadical \ ../test/cnf/sqrt9409.cnf --check -r ../test/cnf/sqrt9409.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt9409.cnf ../build/test-cnf-core-sqrt9409.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt9409' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt9409.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt9409.cnf ../build/test-cnf-simp-sqrt9409.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt10201' ../build/cadical \ ../test/cnf/sqrt10201.cnf --check -r ../test/cnf/sqrt10201.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt10201.cnf ../build/test-cnf-core-sqrt10201.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt10201' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt10201.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt10201.cnf ../build/test-cnf-simp-sqrt10201.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt10609' ../build/cadical \ ../test/cnf/sqrt10609.cnf --check -r ../test/cnf/sqrt10609.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt10609.cnf ../build/test-cnf-core-sqrt10609.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt10609' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt10609.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt10609.cnf ../build/test-cnf-simp-sqrt10609.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt11449' ../build/cadical \ ../test/cnf/sqrt11449.cnf --check -r ../test/cnf/sqrt11449.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt11449.cnf ../build/test-cnf-core-sqrt11449.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt11449' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt11449.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt11449.cnf ../build/test-cnf-simp-sqrt11449.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt11881' ../build/cadical \ ../test/cnf/sqrt11881.cnf --check -r ../test/cnf/sqrt11881.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt11881.cnf ../build/test-cnf-core-sqrt11881.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt11881' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt11881.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt11881.cnf ../build/test-cnf-simp-sqrt11881.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt12769' ../build/cadical \ ../test/cnf/sqrt12769.cnf --check -r ../test/cnf/sqrt12769.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt12769.cnf ../build/test-cnf-core-sqrt12769.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt12769' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt12769.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt12769.cnf ../build/test-cnf-simp-sqrt12769.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt16129' ../build/cadical \ ../test/cnf/sqrt16129.cnf --check -r ../test/cnf/sqrt16129.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt16129.cnf ../build/test-cnf-core-sqrt16129.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt16129' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt16129.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt16129.cnf ../build/test-cnf-simp-sqrt16129.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt63001' ../build/cadical \ ../test/cnf/sqrt63001.cnf --check -r ../test/cnf/sqrt63001.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt63001.cnf ../build/test-cnf-core-sqrt63001.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt63001' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt63001.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt63001.cnf ../build/test-cnf-simp-sqrt63001.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt259081' ../build/cadical \ ../test/cnf/sqrt259081.cnf --check -r ../test/cnf/sqrt259081.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt259081.cnf ../build/test-cnf-core-sqrt259081.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt259081' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt259081.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt259081.cnf ../build/test-cnf-simp-sqrt259081.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'sqrt1042441' ../build/cadical \ ../test/cnf/sqrt1042441.cnf --check -r ../test/cnf/sqrt1042441.sol # 10 ...ok (solution file checked after parsing) ../build/precochk \ ../test/cnf/sqrt1042441.cnf ../build/test-cnf-core-sqrt1042441.log # 0 ...ok (solution checked externally too) test/cnf/run.sh: running CNF test simp 'sqrt1042441' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sqrt1042441.cnf # 10 ...ok ../build/precochk \ ../test/cnf/sqrt1042441.cnf ../build/test-cnf-simp-sqrt1042441.log # 0 ...ok (solution checked externally) test/cnf/run.sh: running CNF test core 'ph2' ../build/cadical \ ../test/cnf/ph2.cnf --check ../build/test-cnf-core-ph2.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/ph2.cnf ../build/test-cnf-core-ph2.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'ph2' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/ph2.cnf # 20 ...test/cnf/run.sh: running CNF test core 'ph3' ../build/cadical \ ../test/cnf/ph3.cnf --check ../build/test-cnf-core-ph3.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/ph3.cnf ../build/test-cnf-core-ph3.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'ph3' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/ph3.cnf # 20 ...test/cnf/run.sh: running CNF test core 'ph4' ../build/cadical \ ../test/cnf/ph4.cnf --check ../build/test-cnf-core-ph4.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/ph4.cnf ../build/test-cnf-core-ph4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'ph4' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/ph4.cnf # 20 ...test/cnf/run.sh: running CNF test core 'ph5' ../build/cadical \ ../test/cnf/ph5.cnf --check ../build/test-cnf-core-ph5.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/ph5.cnf ../build/test-cnf-core-ph5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'ph5' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/ph5.cnf # 20 ...test/cnf/run.sh: running CNF test core 'ph6' ../build/cadical \ ../test/cnf/ph6.cnf --check ../build/test-cnf-core-ph6.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/ph6.cnf ../build/test-cnf-core-ph6.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'ph6' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/ph6.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add4' ../build/cadical \ ../test/cnf/add4.cnf --check ../build/test-cnf-core-add4.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add4.cnf ../build/test-cnf-core-add4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add4' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add4.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add8' ../build/cadical \ ../test/cnf/add8.cnf --check ../build/test-cnf-core-add8.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add8.cnf ../build/test-cnf-core-add8.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add8' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add8.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add16' ../build/cadical \ ../test/cnf/add16.cnf --check ../build/test-cnf-core-add16.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add16.cnf ../build/test-cnf-core-add16.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add16' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add16.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add32' ../build/cadical \ ../test/cnf/add32.cnf --check ../build/test-cnf-core-add32.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add32.cnf ../build/test-cnf-core-add32.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add32' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add32.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add64' ../build/cadical \ ../test/cnf/add64.cnf --check ../build/test-cnf-core-add64.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add64.cnf ../build/test-cnf-core-add64.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add64' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add64.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add128' ../build/cadical \ ../test/cnf/add128.cnf --check ../build/test-cnf-core-add128.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add128.cnf ../build/test-cnf-core-add128.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add128' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add128.cnf # 20 ...test/cnf/run.sh: running CNF test core 'prime65537' ../build/cadical \ ../test/cnf/prime65537.cnf --check ../build/test-cnf-core-prime65537.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/prime65537.cnf ../build/test-cnf-core-prime65537.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'prime65537' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime65537.cnf # 20 ...test/cnf/run.sh: CNF testing results: 141 ok, 0 failed --------------------------------------------------------- ICNF testing in '../build' --------------------------------------------------------- test/icnf/run.sh: running ICNF tests 'empty' ../build/cadical \ ../test/icnf/empty.icnf # 10 ...ok (exit code '10' as expected) test/icnf/run.sh: running ICNF tests 'false' ../build/cadical \ ../test/icnf/false.icnf # 20 ...ok (exit code '20' as expected) test/icnf/run.sh: running ICNF tests 'unit1' ../build/cadical \ ../test/icnf/unit1.icnf # 20 ...ok (exit code '20' as expected) test/icnf/run.sh: running ICNF tests 'unit2' ../build/cadical \ ../test/icnf/unit2.icnf # 10 ...ok (exit code '10' as expected) test/icnf/run.sh: running ICNF tests 'two1' ../build/cadical \ ../test/icnf/two1.icnf # 20 ...ok (exit code '20' as expected) test/icnf/run.sh: running ICNF tests 'two2' ../build/cadical \ ../test/icnf/two2.icnf # 10 ...ok (exit code '10' as expected) test/icnf/run.sh: ICNF testing results: 6 ok, 0 failed make: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/test' + RPM_EC=0 ++ jobs -p + exit 0 Processing files: cadical-1.7.1-1.fc40.aarch64 Provides: cadical = 1:1.7.1-1.fc40 cadical(aarch-64) = 1:1.7.1-1.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-aarch64.so.1()(64bit) ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libcadical.so.0()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: cadical-libs-1.7.1-1.fc40.aarch64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.dk7O58 + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.7.1 + DOCDIR=/builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/share/doc/cadical-libs + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/share/doc/cadical-libs + cp -pr /builddir/build/BUILD/cadical-rel-1.7.1/CONTRIBUTING /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/share/doc/cadical-libs + cp -pr /builddir/build/BUILD/cadical-rel-1.7.1/README.md /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/share/doc/cadical-libs + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.KkFtKJ + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.7.1 + LICENSEDIR=/builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/share/licenses/cadical-libs + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/share/licenses/cadical-libs + cp -pr /builddir/build/BUILD/cadical-rel-1.7.1/LICENSE /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64/usr/share/licenses/cadical-libs + RPM_EC=0 ++ jobs -p + exit 0 Provides: cadical-libs = 1:1.7.1-1.fc40 cadical-libs(aarch-64) = 1:1.7.1-1.fc40 libcadical.so.0()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-aarch64.so.1()(64bit) ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.38)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.29)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.8)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) rtld(GNU_HASH) Processing files: cadical-devel-1.7.1-1.fc40.aarch64 Provides: cadical-devel = 1:1.7.1-1.fc40 cadical-devel(aarch-64) = 1:1.7.1-1.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libcadical.so.0()(64bit) Processing files: cadical-debugsource-1.7.1-1.fc40.aarch64 Provides: cadical-debugsource = 1:1.7.1-1.fc40 cadical-debugsource(aarch-64) = 1:1.7.1-1.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: cadical-debuginfo-1.7.1-1.fc40.aarch64 Provides: cadical-debuginfo = 1:1.7.1-1.fc40 cadical-debuginfo(aarch-64) = 1:1.7.1-1.fc40 debuginfo(build-id) = 35c68862845ec36e892797fa6f85faf40a9c7053 debuginfo(build-id) = 581db22c8fd8583ef628e703231798d6be26e163 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cadical-debugsource(aarch-64) = 1:1.7.1-1.fc40 Processing files: cadical-libs-debuginfo-1.7.1-1.fc40.aarch64 Provides: cadical-libs-debuginfo = 1:1.7.1-1.fc40 cadical-libs-debuginfo(aarch-64) = 1:1.7.1-1.fc40 debuginfo(build-id) = 11b6ebffbdc07f55ec9b4d8cfdf8836df7219a9e libcadical.so.0.0.0-1.7.1-1.fc40.aarch64.debug()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cadical-debugsource(aarch-64) = 1:1.7.1-1.fc40 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64 Wrote: /builddir/build/RPMS/cadical-libs-1.7.1-1.fc40.aarch64.rpm Wrote: /builddir/build/RPMS/cadical-1.7.1-1.fc40.aarch64.rpm Wrote: /builddir/build/RPMS/cadical-devel-1.7.1-1.fc40.aarch64.rpm Wrote: /builddir/build/RPMS/cadical-debugsource-1.7.1-1.fc40.aarch64.rpm Wrote: /builddir/build/RPMS/cadical-debuginfo-1.7.1-1.fc40.aarch64.rpm Wrote: /builddir/build/RPMS/cadical-libs-debuginfo-1.7.1-1.fc40.aarch64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.T4lPPL + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.7.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.aarch64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.NKsy0o + umask 022 + cd /builddir/build/BUILD + rm -rf /builddir/build/BUILD/cadical-rel-1.7.1-SPECPARTS + rm -rf cadical-rel-1.7.1 cadical-rel-1.7.1.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild cadical-1.7.1-1.fc40.src.rpm Finish: build phase for cadical-1.7.1-1.fc40.src.rpm INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-aarch64-1695015324.365870/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-aarch64-1695015324.365870/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-aarch64-1695015324.365870/root/var/log/dnf.log INFO: Done(/var/lib/copr-rpmbuild/results/cadical-1.7.1-1.fc40.src.rpm) Config(child) 1 minutes 12 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot Finish: run Running RPMResults tool Package info: { "packages": [ { "name": "cadical-debuginfo", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "aarch64" }, { "name": "cadical-devel", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "aarch64" }, { "name": "cadical", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "aarch64" }, { "name": "cadical-libs-debuginfo", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "aarch64" }, { "name": "cadical", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "src" }, { "name": "cadical-debugsource", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "aarch64" }, { "name": "cadical-libs", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "aarch64" } ] } RPMResults finished