Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c14f' (ED25519) to the list of known hosts. You can reproduce this build on your computer by running: sudo dnf install copr-rpmbuild /usr/bin/copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/6407901-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64 Version: 0.69 PID: 235985 Logging PID: 235986 Task: {'appstream': False, 'background': True, 'build_id': 6407901, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-x86_64', 'enable_net': False, 'fedora_review': False, 'git_hash': 'a93bbbdc8ed1f5a8c3bf8879595b474e39d99de7', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/tuliom/zlib-ng-compat-mpb/cadical', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'cadical', 'package_version': '1:1.7.1-1', 'project_dirname': 'zlib-ng-compat-mpb', 'project_name': 'zlib-ng-compat-mpb', 'project_owner': 'tuliom', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/tuliom/zlib-ng-compat-mpb/fedora-rawhide-x86_64/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}], 'sandbox': 'tuliom/zlib-ng-compat-mpb--tuliom', 'source_json': {}, 'source_type': None, 'submitter': 'tuliom', 'tags': [], 'task_id': '6407901-fedora-rawhide-x86_64', 'timeout': 115200, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/tuliom/zlib-ng-compat-mpb/cadical /var/lib/copr-rpmbuild/workspace/workdir-5l26russ/cadical --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/tuliom/zlib-ng-compat-mpb/cadical', '/var/lib/copr-rpmbuild/workspace/workdir-5l26russ/cadical', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-5l26russ/cadical'... Running: git checkout a93bbbdc8ed1f5a8c3bf8879595b474e39d99de7 -- cmd: ['git', 'checkout', 'a93bbbdc8ed1f5a8c3bf8879595b474e39d99de7', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-5l26russ/cadical rc: 0 stdout: stderr: Note: switching to 'a93bbbdc8ed1f5a8c3bf8879595b474e39d99de7'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at a93bbbd automatic import of cadical Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-5l26russ/cadical rc: 0 stdout: stderr: INFO: Reading stdout from command: git rev-parse --abbrev-ref HEAD INFO: Reading stdout from command: git rev-parse HEAD INFO: Reading sources specification file: sources INFO: Downloading cadical-1.7.1.tar.gz INFO: Reading stdout from command: curl --help all 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 5918k 0 --:--:-- --:--:-- --:--:-- 5957k INFO: Reading stdout from command: md5sum cadical-1.7.1.tar.gz /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated Running (timeout=115200): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-5l26russ/cadical/cadical.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-5l26russ/cadical --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1695015264.599712 -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-5l26russ/cadical/cadical.spec) Config(fedora-rawhide-x86_64) 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-x86_64-bootstrap-1695015264.599712/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-x86_64-bootstrap-1695015264.599712/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/29d6a6de3359f20dd71427b54e81a63c0f0898edbf325ee22c8429ffc64c1a90/merged INFO: umounting image registry.fedoraproject.org/fedora:rawhide (/var/lib/containers/storage/overlay/29d6a6de3359f20dd71427b54e81a63c0f0898edbf325ee22c8429ffc64c1a90/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 17 MB/s | 2.6 MB 00:00 fedora 19 MB/s | 73 MB 00:03 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 x86_64 1:1.14.10-1.fc40 fedora 155 k python3-dateutil noarch 1:2.8.2-10.fc39 fedora 355 k python3-dbus x86_64 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 x86_64 235-5.fc39 fedora 107 k Transaction Summary ================================================================================ Install 7 Packages Total download size: 1.1 M Installed size: 3.5 M Downloading Packages: (1/7): dbus-libs-1.14.10-1.fc40.x86_64.rpm 1.7 MB/s | 155 kB 00:00 (2/7): python3-dbus-1.3.2-4.fc39.x86_64.rpm 1.7 MB/s | 157 kB 00:00 (3/7): python3-distro-1.8.0-6.fc39.noarch.rpm 2.6 MB/s | 49 kB 00:00 (4/7): python3-dateutil-2.8.2-10.fc39.noarch.rp 3.1 MB/s | 355 kB 00:00 (5/7): python3-six-1.16.0-12.fc39.noarch.rpm 2.2 MB/s | 41 kB 00:00 (6/7): python3-systemd-235-5.fc39.x86_64.rpm 5.6 MB/s | 107 kB 00:00 (7/7): python3-dnf-plugins-core-4.4.2-1.fc39.no 7.0 MB/s | 293 kB 00:00 -------------------------------------------------------------------------------- Total 5.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.x86_64 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.x86_64 5/7 Installing : python3-dbus-1.3.2-4.fc39.x86_64 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.x86_64 1/7 Verifying : python3-dateutil-1:2.8.2-10.fc39.noarch 2/7 Verifying : python3-dbus-1.3.2-4.fc39.x86_64 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.x86_64 7/7 Installed: dbus-libs-1:1.14.10-1.fc40.x86_64 python3-dateutil-1:2.8.2-10.fc39.noarch python3-dbus-1.3.2-4.fc39.x86_64 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.x86_64 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-x86_64-1695015264.599712/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 45 kB/s | 1.5 kB 00:00 Copr repository 22 MB/s | 2.6 MB 00:00 fedora 242 kB/s | 9.7 kB 00:00 Dependencies resolved. ================================================================================ Package Arch Version Repo Size ================================================================================ Installing group/module packages: bash x86_64 5.2.15-5.fc39 fedora 1.8 M bzip2 x86_64 1.0.8-16.fc39 fedora 52 k coreutils x86_64 9.4-1.fc40 fedora 1.1 M cpio x86_64 2.14-4.fc39 fedora 279 k diffutils x86_64 3.10-3.fc39 fedora 398 k fedora-release-common noarch 40-0.7 fedora 18 k findutils x86_64 1:4.9.0-6.fc40 fedora 492 k gawk x86_64 5.2.2-2.fc39 fedora 1.1 M glibc-minimal-langpack x86_64 2.38.9000-8.fc40 copr_base 73 k grep x86_64 3.11-5.fc40 fedora 298 k gzip x86_64 1.12-6.fc39 fedora 166 k info x86_64 7.0.3-3.fc39 fedora 182 k patch x86_64 2.7.6-22.fc39 fedora 125 k redhat-rpm-config noarch 270-1.fc40 copr_base 74 k rpm-build x86_64 4.18.99-1.fc40 fedora 78 k sed x86_64 4.8-14.fc39 fedora 306 k shadow-utils x86_64 2:4.14.0-1.fc40 fedora 1.3 M tar x86_64 2:1.35-2.fc40 fedora 864 k unzip x86_64 6.0-62.fc39 fedora 184 k util-linux x86_64 2.39.2-1.fc40 copr_base 1.1 M which x86_64 2.21-40.fc39 fedora 42 k xz x86_64 5.4.4-1.fc39 fedora 556 k Installing dependencies: alternatives x86_64 1.25-1.fc39 fedora 39 k ansible-srpm-macros noarch 1-11.fc39 fedora 21 k audit-libs x86_64 3.1.2-4.fc40 fedora 117 k authselect x86_64 1.4.2-3.fc39 fedora 144 k authselect-libs x86_64 1.4.2-3.fc39 fedora 249 k basesystem noarch 11-18.fc39 fedora 7.2 k binutils x86_64 2.41-5.fc40 fedora 6.3 M binutils-gold x86_64 2.41-5.fc40 fedora 796 k bzip2-libs x86_64 1.0.8-16.fc39 fedora 41 k ca-certificates noarch 2023.2.60_v7.0.306-3.fc40 fedora 837 k coreutils-common x86_64 9.4-1.fc40 fedora 2.1 M cracklib x86_64 2.9.11-2.fc40 copr_base 83 k crypto-policies noarch 20230731-1.git5ed06e0.fc39 fedora 99 k curl x86_64 8.3.0-1.fc40 copr_base 354 k cyrus-sasl-lib x86_64 2.1.28-11.fc39 fedora 793 k debugedit x86_64 5.0-10.fc39 fedora 77 k dwz x86_64 0.15-3.fc39 fedora 134 k ed x86_64 1.19-4.fc39 fedora 79 k efi-srpm-macros noarch 5-9.fc39 fedora 22 k elfutils x86_64 0.189-6.fc40 fedora 535 k elfutils-debuginfod-client x86_64 0.189-6.fc40 fedora 38 k elfutils-default-yama-scope noarch 0.189-6.fc40 fedora 13 k elfutils-libelf x86_64 0.189-6.fc40 fedora 195 k elfutils-libs x86_64 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 x86_64 5.45-1.fc40 copr_base 50 k file-libs x86_64 5.45-1.fc40 copr_base 764 k filesystem x86_64 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 x86_64 13.2-8.fc40 fedora 4.2 M gdbm-libs x86_64 1:1.23-4.fc39 fedora 56 k ghc-srpm-macros noarch 1.6.1-2.fc39 fedora 7.8 k glibc x86_64 2.38.9000-8.fc40 copr_base 2.2 M glibc-common x86_64 2.38.9000-8.fc40 copr_base 350 k glibc-gconv-extra x86_64 2.38.9000-8.fc40 copr_base 1.6 M gmp x86_64 1:6.2.1-5.fc39 fedora 313 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 x86_64 2.13.1-7.fc39 fedora 44 k kernel-srpm-macros noarch 1.0-20.fc39 fedora 10 k keyutils-libs x86_64 1.6.1-7.fc39 fedora 31 k krb5-libs x86_64 1.21.2-1.fc40 fedora 765 k libacl x86_64 2.3.1-9.fc40 fedora 23 k libarchive x86_64 3.7.2-1.fc40 fedora 408 k libattr x86_64 2.5.1-9.fc40 fedora 18 k libblkid x86_64 2.39.2-1.fc40 copr_base 116 k libbrotli x86_64 1.1.0-1.fc40 fedora 336 k libcap x86_64 2.48-7.fc39 fedora 68 k libcap-ng x86_64 0.8.3-8.fc40 fedora 32 k libcom_err x86_64 1.47.0-2.fc39 fedora 26 k libcurl x86_64 8.3.0-1.fc40 copr_base 344 k libdb x86_64 5.3.28-58.fc40 copr_base 759 k libeconf x86_64 0.5.2-1.fc40 fedora 30 k libevent x86_64 2.1.12-9.fc39 fedora 258 k libfdisk x86_64 2.39.2-1.fc40 copr_base 162 k libffi x86_64 3.4.4-4.fc39 fedora 40 k libgcc x86_64 13.2.1-1.fc39 fedora 109 k libgomp x86_64 13.2.1-1.fc39 fedora 319 k libidn2 x86_64 2.3.4-3.fc39 fedora 117 k libmount x86_64 2.39.2-1.fc40 copr_base 155 k libnghttp2 x86_64 1.56.0-1.fc40 fedora 75 k libnsl2 x86_64 2.0.0-6.fc39 fedora 30 k libpkgconf x86_64 1.9.5-2.fc39 fedora 38 k libpsl x86_64 0.21.2-4.fc39 fedora 63 k libpwquality x86_64 1.4.5-6.fc39 fedora 120 k libselinux x86_64 3.5-5.fc39 fedora 87 k libsemanage x86_64 3.5-4.fc39 fedora 120 k libsepol x86_64 3.5-2.fc39 fedora 324 k libsigsegv x86_64 2.14-5.fc39 fedora 27 k libsmartcols x86_64 2.39.2-1.fc40 copr_base 67 k libssh x86_64 0.10.5-2.fc39 fedora 211 k libssh-config noarch 0.10.5-2.fc39 fedora 9.2 k libstdc++ x86_64 13.2.1-1.fc39 fedora 860 k libtasn1 x86_64 4.19.0-3.fc39 fedora 74 k libtirpc x86_64 1.3.3-1.rc2.fc39 fedora 94 k libunistring x86_64 1.1-5.fc40 fedora 543 k libutempter x86_64 1.2.1-10.fc39 fedora 26 k libuuid x86_64 2.39.2-1.fc40 copr_base 28 k libverto x86_64 0.3.2-6.fc39 fedora 20 k libxcrypt x86_64 4.4.36-2.fc39 fedora 119 k libxml2 x86_64 2.11.5-1.fc40 copr_base 697 k libzstd x86_64 1.5.5-4.fc40 copr_base 309 k lua-libs x86_64 5.4.6-3.fc39 fedora 133 k lua-srpm-macros noarch 1-9.fc39 fedora 8.6 k lz4-libs x86_64 1.9.4-4.fc39 fedora 67 k mpfr x86_64 4.2.0-3.fc39 fedora 344 k ncurses-base noarch 6.4-7.20230520.fc40 fedora 88 k ncurses-libs x86_64 6.4-7.20230520.fc40 fedora 337 k ocaml-srpm-macros noarch 8-2.fc39 fedora 14 k openblas-srpm-macros noarch 2-14.fc39 fedora 7.5 k openldap x86_64 2.6.6-1.fc39 fedora 255 k openssl-libs x86_64 1:3.1.1-4.fc40 copr_base 2.2 M p11-kit x86_64 0.25.0-2.fc39 fedora 486 k p11-kit-trust x86_64 0.25.0-2.fc39 fedora 142 k package-notes-srpm-macros noarch 0.5-9.fc39 fedora 11 k pam x86_64 1.5.3-2.fc39 fedora 548 k pam-libs x86_64 1.5.3-2.fc39 fedora 58 k pcre2 x86_64 10.42-1.fc39.2 fedora 233 k pcre2-syntax noarch 10.42-1.fc39.2 fedora 143 k perl-srpm-macros noarch 1-51.fc39 fedora 8.0 k pkgconf x86_64 1.9.5-2.fc39 fedora 42 k pkgconf-m4 noarch 1.9.5-2.fc39 fedora 14 k pkgconf-pkg-config x86_64 1.9.5-2.fc39 fedora 9.6 k popt x86_64 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 x86_64 8.2-4.fc39 fedora 213 k rpm x86_64 4.18.99-1.fc40 fedora 538 k rpm-build-libs x86_64 4.18.99-1.fc40 fedora 96 k rpm-libs x86_64 4.18.99-1.fc40 fedora 312 k rpm-sequoia x86_64 1.5.0-1.fc40 fedora 883 k rust-srpm-macros noarch 24-5.fc40 fedora 12 k setup noarch 2.14.4-1.fc39 fedora 154 k sqlite-libs x86_64 3.43.1-1.fc40 fedora 688 k systemd-libs x86_64 254.1-2.fc40 fedora 688 k tzdata noarch 2023c-3.fc40 fedora 718 k util-linux-core x86_64 2.39.2-1.fc40 copr_base 479 k xxhash-libs x86_64 0.8.2-1.fc39 fedora 37 k xz-libs x86_64 5.4.4-1.fc39 fedora 108 k zip x86_64 3.0-38.fc39 fedora 266 k zlib-ng-compat x86_64 2.1.3-3.fc40 copr_base 79 k zstd x86_64 1.5.5-4.fc40 copr_base 482 k Installing Groups: Buildsystem building group Transaction Summary ================================================================================ Install 153 Packages Total size: 53 M Installed size: 182 M Downloading Packages: [SKIPPED] cracklib-2.9.11-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] curl-8.3.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] file-5.45-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] file-libs-5.45-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] glibc-2.38.9000-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] glibc-common-2.38.9000-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] glibc-gconv-extra-2.38.9000-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] glibc-minimal-langpack-2.38.9000-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] libblkid-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libcurl-8.3.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libdb-5.3.28-58.fc40.x86_64.rpm: Already downloaded [SKIPPED] libfdisk-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libmount-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libsmartcols-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libuuid-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libxml2-2.11.5-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libzstd-1.5.5-4.fc40.x86_64.rpm: Already downloaded [SKIPPED] openssl-libs-3.1.1-4.fc40.x86_64.rpm: Already downloaded [SKIPPED] redhat-rpm-config-270-1.fc40.noarch.rpm: Already downloaded [SKIPPED] util-linux-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] util-linux-core-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] zlib-ng-compat-2.1.3-3.fc40.x86_64.rpm: Already downloaded [SKIPPED] zstd-1.5.5-4.fc40.x86_64.rpm: Already downloaded [SKIPPED] alternatives-1.25-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] ansible-srpm-macros-1-11.fc39.noarch.rpm: Already downloaded [SKIPPED] audit-libs-3.1.2-4.fc40.x86_64.rpm: Already downloaded [SKIPPED] authselect-1.4.2-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] authselect-libs-1.4.2-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] basesystem-11-18.fc39.noarch.rpm: Already downloaded [SKIPPED] bash-5.2.15-5.fc39.x86_64.rpm: Already downloaded [SKIPPED] binutils-2.41-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] binutils-gold-2.41-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] bzip2-1.0.8-16.fc39.x86_64.rpm: Already downloaded [SKIPPED] bzip2-libs-1.0.8-16.fc39.x86_64.rpm: Already downloaded [SKIPPED] ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch.rpm: Already downloaded [SKIPPED] coreutils-9.4-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] coreutils-common-9.4-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] cpio-2.14-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] crypto-policies-20230731-1.git5ed06e0.fc39.noarch.rpm: Already downloaded [SKIPPED] cyrus-sasl-lib-2.1.28-11.fc39.x86_64.rpm: Already downloaded [SKIPPED] debugedit-5.0-10.fc39.x86_64.rpm: Already downloaded [SKIPPED] diffutils-3.10-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] dwz-0.15-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] ed-1.19-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] efi-srpm-macros-5-9.fc39.noarch.rpm: Already downloaded [SKIPPED] elfutils-0.189-6.fc40.x86_64.rpm: Already downloaded [SKIPPED] elfutils-debuginfod-client-0.189-6.fc40.x86_64.rpm: Already downloaded [SKIPPED] elfutils-default-yama-scope-0.189-6.fc40.noarch.rpm: Already downloaded [SKIPPED] elfutils-libelf-0.189-6.fc40.x86_64.rpm: Already downloaded [SKIPPED] elfutils-libs-0.189-6.fc40.x86_64.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.x86_64.rpm: Already downloaded [SKIPPED] findutils-4.9.0-6.fc40.x86_64.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.x86_64.rpm: Already downloaded [SKIPPED] gdb-minimal-13.2-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] gdbm-libs-1.23-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] ghc-srpm-macros-1.6.1-2.fc39.noarch.rpm: Already downloaded [SKIPPED] gmp-6.2.1-5.fc39.x86_64.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.x86_64.rpm: Already downloaded [SKIPPED] gzip-1.12-6.fc39.x86_64.rpm: Already downloaded [SKIPPED] info-7.0.3-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] jansson-2.13.1-7.fc39.x86_64.rpm: Already downloaded [SKIPPED] kernel-srpm-macros-1.0-20.fc39.noarch.rpm: Already downloaded [SKIPPED] keyutils-libs-1.6.1-7.fc39.x86_64.rpm: Already downloaded [SKIPPED] krb5-libs-1.21.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libacl-2.3.1-9.fc40.x86_64.rpm: Already downloaded [SKIPPED] libarchive-3.7.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libattr-2.5.1-9.fc40.x86_64.rpm: Already downloaded [SKIPPED] libbrotli-1.1.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libcap-2.48-7.fc39.x86_64.rpm: Already downloaded [SKIPPED] libcap-ng-0.8.3-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] libcom_err-1.47.0-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] libeconf-0.5.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libevent-2.1.12-9.fc39.x86_64.rpm: Already downloaded [SKIPPED] libffi-3.4.4-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] libgcc-13.2.1-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] libgomp-13.2.1-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] libidn2-2.3.4-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] libnghttp2-1.56.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libnsl2-2.0.0-6.fc39.x86_64.rpm: Already downloaded [SKIPPED] libpkgconf-1.9.5-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] libpsl-0.21.2-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] libpwquality-1.4.5-6.fc39.x86_64.rpm: Already downloaded [SKIPPED] libselinux-3.5-5.fc39.x86_64.rpm: Already downloaded [SKIPPED] libsemanage-3.5-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] libsepol-3.5-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] libsigsegv-2.14-5.fc39.x86_64.rpm: Already downloaded [SKIPPED] libssh-0.10.5-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] libssh-config-0.10.5-2.fc39.noarch.rpm: Already downloaded [SKIPPED] libstdc++-13.2.1-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] libtasn1-4.19.0-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] libtirpc-1.3.3-1.rc2.fc39.x86_64.rpm: Already downloaded [SKIPPED] libunistring-1.1-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] libutempter-1.2.1-10.fc39.x86_64.rpm: Already downloaded [SKIPPED] libverto-0.3.2-6.fc39.x86_64.rpm: Already downloaded [SKIPPED] libxcrypt-4.4.36-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] lua-libs-5.4.6-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] lua-srpm-macros-1-9.fc39.noarch.rpm: Already downloaded [SKIPPED] lz4-libs-1.9.4-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] mpfr-4.2.0-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] ncurses-base-6.4-7.20230520.fc40.noarch.rpm: Already downloaded [SKIPPED] ncurses-libs-6.4-7.20230520.fc40.x86_64.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.x86_64.rpm: Already downloaded [SKIPPED] p11-kit-0.25.0-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] p11-kit-trust-0.25.0-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] package-notes-srpm-macros-0.5-9.fc39.noarch.rpm: Already downloaded [SKIPPED] pam-1.5.3-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] pam-libs-1.5.3-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] patch-2.7.6-22.fc39.x86_64.rpm: Already downloaded [SKIPPED] pcre2-10.42-1.fc39.2.x86_64.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.x86_64.rpm: Already downloaded [SKIPPED] pkgconf-m4-1.9.5-2.fc39.noarch.rpm: Already downloaded [SKIPPED] pkgconf-pkg-config-1.9.5-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] popt-1.19-3.fc39.x86_64.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.x86_64.rpm: Already downloaded [SKIPPED] rpm-4.18.99-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] rpm-build-4.18.99-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] rpm-build-libs-4.18.99-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] rpm-libs-4.18.99-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] rpm-sequoia-1.5.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] rust-srpm-macros-24-5.fc40.noarch.rpm: Already downloaded [SKIPPED] sed-4.8-14.fc39.x86_64.rpm: Already downloaded [SKIPPED] setup-2.14.4-1.fc39.noarch.rpm: Already downloaded [SKIPPED] shadow-utils-4.14.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] sqlite-libs-3.43.1-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] systemd-libs-254.1-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] tar-1.35-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] tzdata-2023c-3.fc40.noarch.rpm: Already downloaded [SKIPPED] unzip-6.0-62.fc39.x86_64.rpm: Already downloaded [SKIPPED] which-2.21-40.fc39.x86_64.rpm: Already downloaded [SKIPPED] xxhash-libs-0.8.2-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] xz-5.4.4-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] xz-libs-5.4.4-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] zip-3.0-38.fc39.x86_64.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.x86_64 1/1 Preparing : 1/1 Installing : libgcc-13.2.1-1.fc39.x86_64 1/153 Running scriptlet: libgcc-13.2.1-1.fc39.x86_64 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.x86_64 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.x86_64 25/153 Running scriptlet: glibc-gconv-extra-2.38.9000-8.fc40.x86_64 25/153 Installing : glibc-minimal-langpack-2.38.9000-8.fc40.x86_64 26/153 Installing : glibc-common-2.38.9000-8.fc40.x86_64 27/153 Running scriptlet: glibc-2.38.9000-8.fc40.x86_64 28/153 Installing : glibc-2.38.9000-8.fc40.x86_64 28/153 Running scriptlet: glibc-2.38.9000-8.fc40.x86_64 28/153 Installing : ncurses-libs-6.4-7.20230520.fc40.x86_64 29/153 Installing : bash-5.2.15-5.fc39.x86_64 30/153 Running scriptlet: bash-5.2.15-5.fc39.x86_64 30/153 Installing : zlib-ng-compat-2.1.3-3.fc40.x86_64 31/153 Installing : xz-libs-5.4.4-1.fc39.x86_64 32/153 Installing : bzip2-libs-1.0.8-16.fc39.x86_64 33/153 Installing : libuuid-2.39.2-1.fc40.x86_64 34/153 Installing : libzstd-1.5.5-4.fc40.x86_64 35/153 Installing : elfutils-libelf-0.189-6.fc40.x86_64 36/153 Installing : libstdc++-13.2.1-1.fc39.x86_64 37/153 Installing : popt-1.19-3.fc39.x86_64 38/153 Installing : libblkid-2.39.2-1.fc40.x86_64 39/153 Installing : readline-8.2-4.fc39.x86_64 40/153 Installing : gmp-1:6.2.1-5.fc39.x86_64 41/153 Installing : libattr-2.5.1-9.fc40.x86_64 42/153 Installing : libacl-2.3.1-9.fc40.x86_64 43/153 Installing : libcap-2.48-7.fc39.x86_64 44/153 Installing : libxcrypt-4.4.36-2.fc39.x86_64 45/153 Installing : lz4-libs-1.9.4-4.fc39.x86_64 46/153 Installing : systemd-libs-254.1-2.fc40.x86_64 47/153 Installing : mpfr-4.2.0-3.fc39.x86_64 48/153 Installing : dwz-0.15-3.fc39.x86_64 49/153 Installing : unzip-6.0-62.fc39.x86_64 50/153 Installing : file-libs-5.45-1.fc40.x86_64 51/153 Installing : file-5.45-1.fc40.x86_64 52/153 Installing : libsmartcols-2.39.2-1.fc40.x86_64 53/153 Installing : alternatives-1.25-1.fc39.x86_64 54/153 Installing : jansson-2.13.1-7.fc39.x86_64 55/153 Installing : libcap-ng-0.8.3-8.fc40.x86_64 56/153 Installing : audit-libs-3.1.2-4.fc40.x86_64 57/153 Installing : pam-libs-1.5.3-2.fc39.x86_64 58/153 Installing : libcom_err-1.47.0-2.fc39.x86_64 59/153 Installing : libsepol-3.5-2.fc39.x86_64 60/153 Installing : libunistring-1.1-5.fc40.x86_64 61/153 Installing : libidn2-2.3.4-3.fc39.x86_64 62/153 Installing : lua-libs-5.4.6-3.fc39.x86_64 63/153 Installing : pcre2-10.42-1.fc39.2.x86_64 64/153 Installing : libselinux-3.5-5.fc39.x86_64 65/153 Installing : sed-4.8-14.fc39.x86_64 66/153 Installing : grep-3.11-5.fc40.x86_64 67/153 Installing : findutils-1:4.9.0-6.fc40.x86_64 68/153 Installing : xz-5.4.4-1.fc39.x86_64 69/153 Installing : libmount-2.39.2-1.fc40.x86_64 70/153 Installing : util-linux-core-2.39.2-1.fc40.x86_64 71/153 Installing : libsemanage-3.5-4.fc39.x86_64 72/153 Installing : tar-2:1.35-2.fc40.x86_64 73/153 Installing : libpsl-0.21.2-4.fc39.x86_64 74/153 Installing : zip-3.0-38.fc39.x86_64 75/153 Installing : zstd-1.5.5-4.fc40.x86_64 76/153 Installing : libfdisk-2.39.2-1.fc40.x86_64 77/153 Installing : bzip2-1.0.8-16.fc39.x86_64 78/153 Installing : libxml2-2.11.5-1.fc40.x86_64 79/153 Installing : sqlite-libs-3.43.1-1.fc40.x86_64 80/153 Installing : ed-1.19-4.fc39.x86_64 81/153 Installing : patch-2.7.6-22.fc39.x86_64 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.x86_64 84/153 Installing : cpio-2.14-4.fc39.x86_64 85/153 Installing : diffutils-3.10-3.fc39.x86_64 86/153 Installing : gdbm-libs-1:1.23-4.fc39.x86_64 87/153 Installing : cyrus-sasl-lib-2.1.28-11.fc39.x86_64 88/153 Installing : keyutils-libs-1.6.1-7.fc39.x86_64 89/153 Installing : libbrotli-1.1.0-1.fc40.x86_64 90/153 Installing : libeconf-0.5.2-1.fc40.x86_64 91/153 Installing : shadow-utils-2:4.14.0-1.fc40.x86_64 92/153 Running scriptlet: libutempter-1.2.1-10.fc39.x86_64 93/153 Installing : libutempter-1.2.1-10.fc39.x86_64 93/153 Installing : libffi-3.4.4-4.fc39.x86_64 94/153 Installing : p11-kit-0.25.0-2.fc39.x86_64 95/153 Installing : libgomp-13.2.1-1.fc39.x86_64 96/153 Installing : libnghttp2-1.56.0-1.fc40.x86_64 97/153 Installing : libpkgconf-1.9.5-2.fc39.x86_64 98/153 Installing : pkgconf-1.9.5-2.fc39.x86_64 99/153 Installing : pkgconf-pkg-config-1.9.5-2.fc39.x86_64 100/153 Installing : libsigsegv-2.14-5.fc39.x86_64 101/153 Installing : gawk-5.2.2-2.fc39.x86_64 102/153 Installing : libtasn1-4.19.0-3.fc39.x86_64 103/153 Installing : p11-kit-trust-0.25.0-2.fc39.x86_64 104/153 Running scriptlet: p11-kit-trust-0.25.0-2.fc39.x86_64 104/153 Installing : libverto-0.3.2-6.fc39.x86_64 105/153 Installing : xxhash-libs-0.8.2-1.fc39.x86_64 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.x86_64 112/153 Installing : openssl-libs-1:3.1.1-4.fc40.x86_64 113/153 Installing : coreutils-9.4-1.fc40.x86_64 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.x86_64 116/153 Installing : libtirpc-1.3.3-1.rc2.fc39.x86_64 117/153 Running scriptlet: authselect-libs-1.4.2-3.fc39.x86_64 118/153 Installing : authselect-libs-1.4.2-3.fc39.x86_64 118/153 Installing : gzip-1.12-6.fc39.x86_64 119/153 Installing : cracklib-2.9.11-2.fc40.x86_64 120/153 Installing : libpwquality-1.4.5-6.fc39.x86_64 121/153 Installing : authselect-1.4.2-3.fc39.x86_64 122/153 Installing : libnsl2-2.0.0-6.fc39.x86_64 123/153 Installing : pam-1.5.3-2.fc39.x86_64 124/153 Installing : libssh-0.10.5-2.fc39.x86_64 125/153 Installing : libarchive-3.7.2-1.fc40.x86_64 126/153 Installing : libevent-2.1.12-9.fc39.x86_64 127/153 Installing : openldap-2.6.6-1.fc39.x86_64 128/153 Installing : libcurl-8.3.0-1.fc40.x86_64 129/153 Installing : elfutils-debuginfod-client-0.189-6.fc40.x86_64 130/153 Installing : elfutils-libs-0.189-6.fc40.x86_64 131/153 Installing : binutils-gold-2.41-5.fc40.x86_64 132/153 Running scriptlet: binutils-gold-2.41-5.fc40.x86_64 132/153 Installing : binutils-2.41-5.fc40.x86_64 133/153 Running scriptlet: binutils-2.41-5.fc40.x86_64 133/153 Installing : elfutils-0.189-6.fc40.x86_64 134/153 Installing : gdb-minimal-13.2-8.fc40.x86_64 135/153 Installing : debugedit-5.0-10.fc39.x86_64 136/153 Installing : curl-8.3.0-1.fc40.x86_64 137/153 Installing : rpm-sequoia-1.5.0-1.fc40.x86_64 138/153 Installing : rpm-libs-4.18.99-1.fc40.x86_64 139/153 Running scriptlet: rpm-4.18.99-1.fc40.x86_64 140/153 Installing : rpm-4.18.99-1.fc40.x86_64 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.x86_64 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.x86_64 150/153 Installing : util-linux-2.39.2-1.fc40.x86_64 151/153 Installing : which-2.21-40.fc39.x86_64 152/153 Installing : info-7.0.3-3.fc39.x86_64 153/153 Running scriptlet: filesystem-3.18-6.fc39.x86_64 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.x86_64 153/153 Running scriptlet: rpm-4.18.99-1.fc40.x86_64 153/153 Running scriptlet: info-7.0.3-3.fc39.x86_64 153/153 Verifying : cracklib-2.9.11-2.fc40.x86_64 1/153 Verifying : curl-8.3.0-1.fc40.x86_64 2/153 Verifying : file-5.45-1.fc40.x86_64 3/153 Verifying : file-libs-5.45-1.fc40.x86_64 4/153 Verifying : glibc-2.38.9000-8.fc40.x86_64 5/153 Verifying : glibc-common-2.38.9000-8.fc40.x86_64 6/153 Verifying : glibc-gconv-extra-2.38.9000-8.fc40.x86_64 7/153 Verifying : glibc-minimal-langpack-2.38.9000-8.fc40.x86_64 8/153 Verifying : libblkid-2.39.2-1.fc40.x86_64 9/153 Verifying : libcurl-8.3.0-1.fc40.x86_64 10/153 Verifying : libdb-5.3.28-58.fc40.x86_64 11/153 Verifying : libfdisk-2.39.2-1.fc40.x86_64 12/153 Verifying : libmount-2.39.2-1.fc40.x86_64 13/153 Verifying : libsmartcols-2.39.2-1.fc40.x86_64 14/153 Verifying : libuuid-2.39.2-1.fc40.x86_64 15/153 Verifying : libxml2-2.11.5-1.fc40.x86_64 16/153 Verifying : libzstd-1.5.5-4.fc40.x86_64 17/153 Verifying : openssl-libs-1:3.1.1-4.fc40.x86_64 18/153 Verifying : redhat-rpm-config-270-1.fc40.noarch 19/153 Verifying : util-linux-2.39.2-1.fc40.x86_64 20/153 Verifying : util-linux-core-2.39.2-1.fc40.x86_64 21/153 Verifying : zlib-ng-compat-2.1.3-3.fc40.x86_64 22/153 Verifying : zstd-1.5.5-4.fc40.x86_64 23/153 Verifying : alternatives-1.25-1.fc39.x86_64 24/153 Verifying : ansible-srpm-macros-1-11.fc39.noarch 25/153 Verifying : audit-libs-3.1.2-4.fc40.x86_64 26/153 Verifying : authselect-1.4.2-3.fc39.x86_64 27/153 Verifying : authselect-libs-1.4.2-3.fc39.x86_64 28/153 Verifying : basesystem-11-18.fc39.noarch 29/153 Verifying : bash-5.2.15-5.fc39.x86_64 30/153 Verifying : binutils-2.41-5.fc40.x86_64 31/153 Verifying : binutils-gold-2.41-5.fc40.x86_64 32/153 Verifying : bzip2-1.0.8-16.fc39.x86_64 33/153 Verifying : bzip2-libs-1.0.8-16.fc39.x86_64 34/153 Verifying : ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch 35/153 Verifying : coreutils-9.4-1.fc40.x86_64 36/153 Verifying : coreutils-common-9.4-1.fc40.x86_64 37/153 Verifying : cpio-2.14-4.fc39.x86_64 38/153 Verifying : crypto-policies-20230731-1.git5ed06e0.fc39.noarc 39/153 Verifying : cyrus-sasl-lib-2.1.28-11.fc39.x86_64 40/153 Verifying : debugedit-5.0-10.fc39.x86_64 41/153 Verifying : diffutils-3.10-3.fc39.x86_64 42/153 Verifying : dwz-0.15-3.fc39.x86_64 43/153 Verifying : ed-1.19-4.fc39.x86_64 44/153 Verifying : efi-srpm-macros-5-9.fc39.noarch 45/153 Verifying : elfutils-0.189-6.fc40.x86_64 46/153 Verifying : elfutils-debuginfod-client-0.189-6.fc40.x86_64 47/153 Verifying : elfutils-default-yama-scope-0.189-6.fc40.noarch 48/153 Verifying : elfutils-libelf-0.189-6.fc40.x86_64 49/153 Verifying : elfutils-libs-0.189-6.fc40.x86_64 50/153 Verifying : fedora-gpg-keys-40-0.1.noarch 51/153 Verifying : fedora-release-40-0.7.noarch 52/153 Verifying : fedora-release-common-40-0.7.noarch 53/153 Verifying : fedora-release-identity-basic-40-0.7.noarch 54/153 Verifying : fedora-repos-40-0.1.noarch 55/153 Verifying : fedora-repos-rawhide-40-0.1.noarch 56/153 Verifying : filesystem-3.18-6.fc39.x86_64 57/153 Verifying : findutils-1:4.9.0-6.fc40.x86_64 58/153 Verifying : fonts-srpm-macros-1:2.0.5-12.fc39.noarch 59/153 Verifying : forge-srpm-macros-0.1.0-1.fc40.noarch 60/153 Verifying : fpc-srpm-macros-1.3-8.fc39.noarch 61/153 Verifying : gawk-5.2.2-2.fc39.x86_64 62/153 Verifying : gdb-minimal-13.2-8.fc40.x86_64 63/153 Verifying : gdbm-libs-1:1.23-4.fc39.x86_64 64/153 Verifying : ghc-srpm-macros-1.6.1-2.fc39.noarch 65/153 Verifying : gmp-1:6.2.1-5.fc39.x86_64 66/153 Verifying : gnat-srpm-macros-6-3.fc39.noarch 67/153 Verifying : go-srpm-macros-3.2.0-7.fc40.noarch 68/153 Verifying : grep-3.11-5.fc40.x86_64 69/153 Verifying : gzip-1.12-6.fc39.x86_64 70/153 Verifying : info-7.0.3-3.fc39.x86_64 71/153 Verifying : jansson-2.13.1-7.fc39.x86_64 72/153 Verifying : kernel-srpm-macros-1.0-20.fc39.noarch 73/153 Verifying : keyutils-libs-1.6.1-7.fc39.x86_64 74/153 Verifying : krb5-libs-1.21.2-1.fc40.x86_64 75/153 Verifying : libacl-2.3.1-9.fc40.x86_64 76/153 Verifying : libarchive-3.7.2-1.fc40.x86_64 77/153 Verifying : libattr-2.5.1-9.fc40.x86_64 78/153 Verifying : libbrotli-1.1.0-1.fc40.x86_64 79/153 Verifying : libcap-2.48-7.fc39.x86_64 80/153 Verifying : libcap-ng-0.8.3-8.fc40.x86_64 81/153 Verifying : libcom_err-1.47.0-2.fc39.x86_64 82/153 Verifying : libeconf-0.5.2-1.fc40.x86_64 83/153 Verifying : libevent-2.1.12-9.fc39.x86_64 84/153 Verifying : libffi-3.4.4-4.fc39.x86_64 85/153 Verifying : libgcc-13.2.1-1.fc39.x86_64 86/153 Verifying : libgomp-13.2.1-1.fc39.x86_64 87/153 Verifying : libidn2-2.3.4-3.fc39.x86_64 88/153 Verifying : libnghttp2-1.56.0-1.fc40.x86_64 89/153 Verifying : libnsl2-2.0.0-6.fc39.x86_64 90/153 Verifying : libpkgconf-1.9.5-2.fc39.x86_64 91/153 Verifying : libpsl-0.21.2-4.fc39.x86_64 92/153 Verifying : libpwquality-1.4.5-6.fc39.x86_64 93/153 Verifying : libselinux-3.5-5.fc39.x86_64 94/153 Verifying : libsemanage-3.5-4.fc39.x86_64 95/153 Verifying : libsepol-3.5-2.fc39.x86_64 96/153 Verifying : libsigsegv-2.14-5.fc39.x86_64 97/153 Verifying : libssh-0.10.5-2.fc39.x86_64 98/153 Verifying : libssh-config-0.10.5-2.fc39.noarch 99/153 Verifying : libstdc++-13.2.1-1.fc39.x86_64 100/153 Verifying : libtasn1-4.19.0-3.fc39.x86_64 101/153 Verifying : libtirpc-1.3.3-1.rc2.fc39.x86_64 102/153 Verifying : libunistring-1.1-5.fc40.x86_64 103/153 Verifying : libutempter-1.2.1-10.fc39.x86_64 104/153 Verifying : libverto-0.3.2-6.fc39.x86_64 105/153 Verifying : libxcrypt-4.4.36-2.fc39.x86_64 106/153 Verifying : lua-libs-5.4.6-3.fc39.x86_64 107/153 Verifying : lua-srpm-macros-1-9.fc39.noarch 108/153 Verifying : lz4-libs-1.9.4-4.fc39.x86_64 109/153 Verifying : mpfr-4.2.0-3.fc39.x86_64 110/153 Verifying : ncurses-base-6.4-7.20230520.fc40.noarch 111/153 Verifying : ncurses-libs-6.4-7.20230520.fc40.x86_64 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.x86_64 115/153 Verifying : p11-kit-0.25.0-2.fc39.x86_64 116/153 Verifying : p11-kit-trust-0.25.0-2.fc39.x86_64 117/153 Verifying : package-notes-srpm-macros-0.5-9.fc39.noarch 118/153 Verifying : pam-1.5.3-2.fc39.x86_64 119/153 Verifying : pam-libs-1.5.3-2.fc39.x86_64 120/153 Verifying : patch-2.7.6-22.fc39.x86_64 121/153 Verifying : pcre2-10.42-1.fc39.2.x86_64 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.x86_64 125/153 Verifying : pkgconf-m4-1.9.5-2.fc39.noarch 126/153 Verifying : pkgconf-pkg-config-1.9.5-2.fc39.x86_64 127/153 Verifying : popt-1.19-3.fc39.x86_64 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.x86_64 134/153 Verifying : rpm-4.18.99-1.fc40.x86_64 135/153 Verifying : rpm-build-4.18.99-1.fc40.x86_64 136/153 Verifying : rpm-build-libs-4.18.99-1.fc40.x86_64 137/153 Verifying : rpm-libs-4.18.99-1.fc40.x86_64 138/153 Verifying : rpm-sequoia-1.5.0-1.fc40.x86_64 139/153 Verifying : rust-srpm-macros-24-5.fc40.noarch 140/153 Verifying : sed-4.8-14.fc39.x86_64 141/153 Verifying : setup-2.14.4-1.fc39.noarch 142/153 Verifying : shadow-utils-2:4.14.0-1.fc40.x86_64 143/153 Verifying : sqlite-libs-3.43.1-1.fc40.x86_64 144/153 Verifying : systemd-libs-254.1-2.fc40.x86_64 145/153 Verifying : tar-2:1.35-2.fc40.x86_64 146/153 Verifying : tzdata-2023c-3.fc40.noarch 147/153 Verifying : unzip-6.0-62.fc39.x86_64 148/153 Verifying : which-2.21-40.fc39.x86_64 149/153 Verifying : xxhash-libs-0.8.2-1.fc39.x86_64 150/153 Verifying : xz-5.4.4-1.fc39.x86_64 151/153 Verifying : xz-libs-5.4.4-1.fc39.x86_64 152/153 Verifying : zip-3.0-38.fc39.x86_64 153/153 Installed: alternatives-1.25-1.fc39.x86_64 ansible-srpm-macros-1-11.fc39.noarch audit-libs-3.1.2-4.fc40.x86_64 authselect-1.4.2-3.fc39.x86_64 authselect-libs-1.4.2-3.fc39.x86_64 basesystem-11-18.fc39.noarch bash-5.2.15-5.fc39.x86_64 binutils-2.41-5.fc40.x86_64 binutils-gold-2.41-5.fc40.x86_64 bzip2-1.0.8-16.fc39.x86_64 bzip2-libs-1.0.8-16.fc39.x86_64 ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch coreutils-9.4-1.fc40.x86_64 coreutils-common-9.4-1.fc40.x86_64 cpio-2.14-4.fc39.x86_64 cracklib-2.9.11-2.fc40.x86_64 crypto-policies-20230731-1.git5ed06e0.fc39.noarch curl-8.3.0-1.fc40.x86_64 cyrus-sasl-lib-2.1.28-11.fc39.x86_64 debugedit-5.0-10.fc39.x86_64 diffutils-3.10-3.fc39.x86_64 dwz-0.15-3.fc39.x86_64 ed-1.19-4.fc39.x86_64 efi-srpm-macros-5-9.fc39.noarch elfutils-0.189-6.fc40.x86_64 elfutils-debuginfod-client-0.189-6.fc40.x86_64 elfutils-default-yama-scope-0.189-6.fc40.noarch elfutils-libelf-0.189-6.fc40.x86_64 elfutils-libs-0.189-6.fc40.x86_64 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.x86_64 file-libs-5.45-1.fc40.x86_64 filesystem-3.18-6.fc39.x86_64 findutils-1:4.9.0-6.fc40.x86_64 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.x86_64 gdb-minimal-13.2-8.fc40.x86_64 gdbm-libs-1:1.23-4.fc39.x86_64 ghc-srpm-macros-1.6.1-2.fc39.noarch glibc-2.38.9000-8.fc40.x86_64 glibc-common-2.38.9000-8.fc40.x86_64 glibc-gconv-extra-2.38.9000-8.fc40.x86_64 glibc-minimal-langpack-2.38.9000-8.fc40.x86_64 gmp-1:6.2.1-5.fc39.x86_64 gnat-srpm-macros-6-3.fc39.noarch go-srpm-macros-3.2.0-7.fc40.noarch grep-3.11-5.fc40.x86_64 gzip-1.12-6.fc39.x86_64 info-7.0.3-3.fc39.x86_64 jansson-2.13.1-7.fc39.x86_64 kernel-srpm-macros-1.0-20.fc39.noarch keyutils-libs-1.6.1-7.fc39.x86_64 krb5-libs-1.21.2-1.fc40.x86_64 libacl-2.3.1-9.fc40.x86_64 libarchive-3.7.2-1.fc40.x86_64 libattr-2.5.1-9.fc40.x86_64 libblkid-2.39.2-1.fc40.x86_64 libbrotli-1.1.0-1.fc40.x86_64 libcap-2.48-7.fc39.x86_64 libcap-ng-0.8.3-8.fc40.x86_64 libcom_err-1.47.0-2.fc39.x86_64 libcurl-8.3.0-1.fc40.x86_64 libdb-5.3.28-58.fc40.x86_64 libeconf-0.5.2-1.fc40.x86_64 libevent-2.1.12-9.fc39.x86_64 libfdisk-2.39.2-1.fc40.x86_64 libffi-3.4.4-4.fc39.x86_64 libgcc-13.2.1-1.fc39.x86_64 libgomp-13.2.1-1.fc39.x86_64 libidn2-2.3.4-3.fc39.x86_64 libmount-2.39.2-1.fc40.x86_64 libnghttp2-1.56.0-1.fc40.x86_64 libnsl2-2.0.0-6.fc39.x86_64 libpkgconf-1.9.5-2.fc39.x86_64 libpsl-0.21.2-4.fc39.x86_64 libpwquality-1.4.5-6.fc39.x86_64 libselinux-3.5-5.fc39.x86_64 libsemanage-3.5-4.fc39.x86_64 libsepol-3.5-2.fc39.x86_64 libsigsegv-2.14-5.fc39.x86_64 libsmartcols-2.39.2-1.fc40.x86_64 libssh-0.10.5-2.fc39.x86_64 libssh-config-0.10.5-2.fc39.noarch libstdc++-13.2.1-1.fc39.x86_64 libtasn1-4.19.0-3.fc39.x86_64 libtirpc-1.3.3-1.rc2.fc39.x86_64 libunistring-1.1-5.fc40.x86_64 libutempter-1.2.1-10.fc39.x86_64 libuuid-2.39.2-1.fc40.x86_64 libverto-0.3.2-6.fc39.x86_64 libxcrypt-4.4.36-2.fc39.x86_64 libxml2-2.11.5-1.fc40.x86_64 libzstd-1.5.5-4.fc40.x86_64 lua-libs-5.4.6-3.fc39.x86_64 lua-srpm-macros-1-9.fc39.noarch lz4-libs-1.9.4-4.fc39.x86_64 mpfr-4.2.0-3.fc39.x86_64 ncurses-base-6.4-7.20230520.fc40.noarch ncurses-libs-6.4-7.20230520.fc40.x86_64 ocaml-srpm-macros-8-2.fc39.noarch openblas-srpm-macros-2-14.fc39.noarch openldap-2.6.6-1.fc39.x86_64 openssl-libs-1:3.1.1-4.fc40.x86_64 p11-kit-0.25.0-2.fc39.x86_64 p11-kit-trust-0.25.0-2.fc39.x86_64 package-notes-srpm-macros-0.5-9.fc39.noarch pam-1.5.3-2.fc39.x86_64 pam-libs-1.5.3-2.fc39.x86_64 patch-2.7.6-22.fc39.x86_64 pcre2-10.42-1.fc39.2.x86_64 pcre2-syntax-10.42-1.fc39.2.noarch perl-srpm-macros-1-51.fc39.noarch pkgconf-1.9.5-2.fc39.x86_64 pkgconf-m4-1.9.5-2.fc39.noarch pkgconf-pkg-config-1.9.5-2.fc39.x86_64 popt-1.19-3.fc39.x86_64 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.x86_64 redhat-rpm-config-270-1.fc40.noarch rpm-4.18.99-1.fc40.x86_64 rpm-build-4.18.99-1.fc40.x86_64 rpm-build-libs-4.18.99-1.fc40.x86_64 rpm-libs-4.18.99-1.fc40.x86_64 rpm-sequoia-1.5.0-1.fc40.x86_64 rust-srpm-macros-24-5.fc40.noarch sed-4.8-14.fc39.x86_64 setup-2.14.4-1.fc39.noarch shadow-utils-2:4.14.0-1.fc40.x86_64 sqlite-libs-3.43.1-1.fc40.x86_64 systemd-libs-254.1-2.fc40.x86_64 tar-2:1.35-2.fc40.x86_64 tzdata-2023c-3.fc40.noarch unzip-6.0-62.fc39.x86_64 util-linux-2.39.2-1.fc40.x86_64 util-linux-core-2.39.2-1.fc40.x86_64 which-2.21-40.fc39.x86_64 xxhash-libs-0.8.2-1.fc39.x86_64 xz-5.4.4-1.fc39.x86_64 xz-libs-5.4.4-1.fc39.x86_64 zip-3.0-38.fc39.x86_64 zlib-ng-compat-2.1.3-3.fc40.x86_64 zstd-1.5.5-4.fc40.x86_64 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.x86_64 ansible-srpm-macros-1-11.fc39.noarch audit-libs-3.1.2-4.fc40.x86_64 authselect-1.4.2-3.fc39.x86_64 authselect-libs-1.4.2-3.fc39.x86_64 basesystem-11-18.fc39.noarch bash-5.2.15-5.fc39.x86_64 binutils-2.41-5.fc40.x86_64 binutils-gold-2.41-5.fc40.x86_64 bzip2-1.0.8-16.fc39.x86_64 bzip2-libs-1.0.8-16.fc39.x86_64 ca-certificates-2023.2.60_v7.0.306-3.fc40.noarch coreutils-9.4-1.fc40.x86_64 coreutils-common-9.4-1.fc40.x86_64 cpio-2.14-4.fc39.x86_64 cracklib-2.9.11-2.fc40.x86_64 crypto-policies-20230731-1.git5ed06e0.fc39.noarch curl-8.3.0-1.fc40.x86_64 cyrus-sasl-lib-2.1.28-11.fc39.x86_64 debugedit-5.0-10.fc39.x86_64 diffutils-3.10-3.fc39.x86_64 dwz-0.15-3.fc39.x86_64 ed-1.19-4.fc39.x86_64 efi-srpm-macros-5-9.fc39.noarch elfutils-0.189-6.fc40.x86_64 elfutils-debuginfod-client-0.189-6.fc40.x86_64 elfutils-default-yama-scope-0.189-6.fc40.noarch elfutils-libelf-0.189-6.fc40.x86_64 elfutils-libs-0.189-6.fc40.x86_64 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.x86_64 file-libs-5.45-1.fc40.x86_64 filesystem-3.18-6.fc39.x86_64 findutils-4.9.0-6.fc40.x86_64 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.x86_64 gdb-minimal-13.2-8.fc40.x86_64 gdbm-libs-1.23-4.fc39.x86_64 ghc-srpm-macros-1.6.1-2.fc39.noarch glibc-2.38.9000-8.fc40.x86_64 glibc-common-2.38.9000-8.fc40.x86_64 glibc-gconv-extra-2.38.9000-8.fc40.x86_64 glibc-minimal-langpack-2.38.9000-8.fc40.x86_64 gmp-6.2.1-5.fc39.x86_64 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.x86_64 gzip-1.12-6.fc39.x86_64 info-7.0.3-3.fc39.x86_64 jansson-2.13.1-7.fc39.x86_64 kernel-srpm-macros-1.0-20.fc39.noarch keyutils-libs-1.6.1-7.fc39.x86_64 krb5-libs-1.21.2-1.fc40.x86_64 libacl-2.3.1-9.fc40.x86_64 libarchive-3.7.2-1.fc40.x86_64 libattr-2.5.1-9.fc40.x86_64 libblkid-2.39.2-1.fc40.x86_64 libbrotli-1.1.0-1.fc40.x86_64 libcap-2.48-7.fc39.x86_64 libcap-ng-0.8.3-8.fc40.x86_64 libcom_err-1.47.0-2.fc39.x86_64 libcurl-8.3.0-1.fc40.x86_64 libdb-5.3.28-58.fc40.x86_64 libeconf-0.5.2-1.fc40.x86_64 libevent-2.1.12-9.fc39.x86_64 libfdisk-2.39.2-1.fc40.x86_64 libffi-3.4.4-4.fc39.x86_64 libgcc-13.2.1-1.fc39.x86_64 libgomp-13.2.1-1.fc39.x86_64 libidn2-2.3.4-3.fc39.x86_64 libmount-2.39.2-1.fc40.x86_64 libnghttp2-1.56.0-1.fc40.x86_64 libnsl2-2.0.0-6.fc39.x86_64 libpkgconf-1.9.5-2.fc39.x86_64 libpsl-0.21.2-4.fc39.x86_64 libpwquality-1.4.5-6.fc39.x86_64 libselinux-3.5-5.fc39.x86_64 libsemanage-3.5-4.fc39.x86_64 libsepol-3.5-2.fc39.x86_64 libsigsegv-2.14-5.fc39.x86_64 libsmartcols-2.39.2-1.fc40.x86_64 libssh-0.10.5-2.fc39.x86_64 libssh-config-0.10.5-2.fc39.noarch libstdc++-13.2.1-1.fc39.x86_64 libtasn1-4.19.0-3.fc39.x86_64 libtirpc-1.3.3-1.rc2.fc39.x86_64 libunistring-1.1-5.fc40.x86_64 libutempter-1.2.1-10.fc39.x86_64 libuuid-2.39.2-1.fc40.x86_64 libverto-0.3.2-6.fc39.x86_64 libxcrypt-4.4.36-2.fc39.x86_64 libxml2-2.11.5-1.fc40.x86_64 libzstd-1.5.5-4.fc40.x86_64 lua-libs-5.4.6-3.fc39.x86_64 lua-srpm-macros-1-9.fc39.noarch lz4-libs-1.9.4-4.fc39.x86_64 mpfr-4.2.0-3.fc39.x86_64 ncurses-base-6.4-7.20230520.fc40.noarch ncurses-libs-6.4-7.20230520.fc40.x86_64 ocaml-srpm-macros-8-2.fc39.noarch openblas-srpm-macros-2-14.fc39.noarch openldap-2.6.6-1.fc39.x86_64 openssl-libs-3.1.1-4.fc40.x86_64 p11-kit-0.25.0-2.fc39.x86_64 p11-kit-trust-0.25.0-2.fc39.x86_64 package-notes-srpm-macros-0.5-9.fc39.noarch pam-1.5.3-2.fc39.x86_64 pam-libs-1.5.3-2.fc39.x86_64 patch-2.7.6-22.fc39.x86_64 pcre2-10.42-1.fc39.2.x86_64 pcre2-syntax-10.42-1.fc39.2.noarch perl-srpm-macros-1-51.fc39.noarch pkgconf-1.9.5-2.fc39.x86_64 pkgconf-m4-1.9.5-2.fc39.noarch pkgconf-pkg-config-1.9.5-2.fc39.x86_64 popt-1.19-3.fc39.x86_64 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.x86_64 redhat-rpm-config-270-1.fc40.noarch rpm-4.18.99-1.fc40.x86_64 rpm-build-4.18.99-1.fc40.x86_64 rpm-build-libs-4.18.99-1.fc40.x86_64 rpm-libs-4.18.99-1.fc40.x86_64 rpm-sequoia-1.5.0-1.fc40.x86_64 rust-srpm-macros-24-5.fc40.noarch sed-4.8-14.fc39.x86_64 setup-2.14.4-1.fc39.noarch shadow-utils-4.14.0-1.fc40.x86_64 sqlite-libs-3.43.1-1.fc40.x86_64 systemd-libs-254.1-2.fc40.x86_64 tar-1.35-2.fc40.x86_64 tzdata-2023c-3.fc40.noarch unzip-6.0-62.fc39.x86_64 util-linux-2.39.2-1.fc40.x86_64 util-linux-core-2.39.2-1.fc40.x86_64 which-2.21-40.fc39.x86_64 xxhash-libs-0.8.2-1.fc39.x86_64 xz-5.4.4-1.fc39.x86_64 xz-libs-5.4.4-1.fc39.x86_64 zip-3.0-38.fc39.x86_64 zlib-ng-compat-2.1.3-3.fc40.x86_64 zstd-1.5.5-4.fc40.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 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-x86_64-1695015264.599712/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-x86_64-1695015264.599712/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-x86_64-1695015264.599712/root/var/log/dnf.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-5l26russ/cadical/cadical.spec) Config(child) 0 minutes 43 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-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1695015264.599712/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1695015264.599712/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-x86_64-1695015264.599712/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.x86_64 rpm-sequoia-1.5.0-1.fc40.x86_64 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: x86_64 Building for target x86_64 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 42 kB/s | 1.5 kB 00:00 fedora 286 kB/s | 9.7 kB 00:00 Dependencies resolved. ================================================================================ Package Arch Version Repo Size ================================================================================ Installing: drat-trim-tools x86_64 0-0.21.20230709git16f1d72.fc39 fedora 35 k gcc-c++ x86_64 13.2.1-1.fc39 fedora 13 M glibc-langpack-en x86_64 2.38.9000-8.fc40 copr_base 605 k help2man noarch 1.49.3-3.fc39 fedora 228 k make x86_64 1:4.4.1-2.fc39 fedora 589 k zlib-ng-compat-devel x86_64 2.1.3-3.fc40 copr_base 34 k Installing dependencies: annobin-docs noarch 12.26-1.fc40 fedora 94 k annobin-plugin-gcc x86_64 12.26-1.fc40 fedora 958 k cpp x86_64 13.2.1-1.fc39 fedora 11 M drat-trim x86_64 0-0.21.20230709git16f1d72.fc39 fedora 33 k gc x86_64 8.2.2-4.fc39 fedora 110 k gcc x86_64 13.2.1-1.fc39 fedora 34 M gcc-plugin-annobin x86_64 13.2.1-1.fc39 fedora 47 k glibc-devel x86_64 2.38.9000-8.fc40 copr_base 84 k glibc-headers-x86 noarch 2.38.9000-8.fc40 copr_base 497 k groff-base x86_64 1.23.0-2.fc39 fedora 1.1 M guile22 x86_64 2.2.7-9.fc39 fedora 6.5 M kernel-headers x86_64 6.6.0-0.rc1.git0.1.fc40 fedora 1.6 M libmpc x86_64 1.3.1-3.fc39 fedora 70 k libstdc++-devel x86_64 13.2.1-1.fc39 fedora 2.6 M libtool-ltdl x86_64 2.4.7-8.fc40 fedora 36 k libxcrypt-devel x86_64 4.4.36-2.fc39 fedora 30 k ncurses x86_64 6.4-7.20230520.fc40 fedora 415 k perl-AutoLoader noarch 5.74-500.fc39 fedora 21 k perl-B x86_64 1.88-500.fc39 fedora 177 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 x86_64 2.188-501.fc39 fedora 56 k perl-Digest noarch 1.20-500.fc39 fedora 25 k perl-Digest-MD5 x86_64 2.58-500.fc39 fedora 35 k perl-DynaLoader x86_64 1.54-500.fc39 fedora 26 k perl-Encode x86_64 4:3.19-500.fc39 fedora 1.7 M perl-Errno x86_64 1.37-500.fc39 fedora 15 k perl-Exporter noarch 5.77-500.fc39 fedora 31 k perl-Fcntl x86_64 1.15-500.fc39 fedora 20 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 x86_64 1.52-500.fc39 fedora 82 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 x86_64 3.16-500.fc39 fedora 29 k perl-Mozilla-CA noarch 20230821-1.fc40 fedora 13 k perl-Net-SSLeay x86_64 1.92-10.fc39 fedora 360 k perl-POSIX x86_64 2.13-500.fc39 fedora 97 k perl-PathTools x86_64 3.89-500.fc39 fedora 87 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 x86_64 5:1.63-500.fc39 fedora 72 k perl-SelectSaver noarch 1.02-500.fc39 fedora 12 k perl-Socket x86_64 4:2.037-3.fc39 fedora 55 k perl-Storable x86_64 1:3.32-500.fc39 fedora 99 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 x86_64 4:5.38.0-500.fc39 fedora 72 k perl-libnet noarch 3.15-501.fc39 fedora 129 k perl-libs x86_64 4:5.38.0-500.fc39 fedora 2.3 M perl-locale noarch 1.10-500.fc39 fedora 14 k perl-mro x86_64 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 80 Packages Total size: 81 M Total download size: 901 k Installed size: 267 M Downloading Packages: [SKIPPED] glibc-devel-2.38.9000-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] glibc-headers-x86-2.38.9000-8.fc40.noarch.rpm: Already downloaded [SKIPPED] zlib-ng-compat-devel-2.1.3-3.fc40.x86_64.rpm: Already downloaded [SKIPPED] annobin-docs-12.26-1.fc40.noarch.rpm: Already downloaded [SKIPPED] annobin-plugin-gcc-12.26-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] cpp-13.2.1-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] gc-8.2.2-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] gcc-13.2.1-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] gcc-c++-13.2.1-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] gcc-plugin-annobin-13.2.1-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] groff-base-1.23.0-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] guile22-2.2.7-9.fc39.x86_64.rpm: Already downloaded [SKIPPED] kernel-headers-6.6.0-0.rc1.git0.1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libmpc-1.3.1-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] libstdc++-devel-13.2.1-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] libtool-ltdl-2.4.7-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] libxcrypt-devel-4.4.36-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] make-4.4.1-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] ncurses-6.4-7.20230520.fc40.x86_64.rpm: Already downloaded [SKIPPED] perl-AutoLoader-5.74-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-B-1.88-500.fc39.x86_64.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.x86_64.rpm: Already downloaded [SKIPPED] perl-Digest-1.20-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Digest-MD5-2.58-500.fc39.x86_64.rpm: Already downloaded [SKIPPED] perl-DynaLoader-1.54-500.fc39.x86_64.rpm: Already downloaded [SKIPPED] perl-Encode-3.19-500.fc39.x86_64.rpm: Already downloaded [SKIPPED] perl-Errno-1.37-500.fc39.x86_64.rpm: Already downloaded [SKIPPED] perl-Exporter-5.77-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Fcntl-1.15-500.fc39.x86_64.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.x86_64.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.x86_64.rpm: Already downloaded [SKIPPED] perl-Mozilla-CA-20230821-1.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Net-SSLeay-1.92-10.fc39.x86_64.rpm: Already downloaded [SKIPPED] perl-POSIX-2.13-500.fc39.x86_64.rpm: Already downloaded [SKIPPED] perl-PathTools-3.89-500.fc39.x86_64.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.x86_64.rpm: Already downloaded [SKIPPED] perl-SelectSaver-1.02-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-Socket-2.037-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] perl-Storable-3.32-500.fc39.x86_64.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.x86_64.rpm: Already downloaded [SKIPPED] perl-libnet-3.15-501.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-libs-5.38.0-500.fc39.x86_64.rpm: Already downloaded [SKIPPED] perl-locale-1.10-500.fc39.noarch.rpm: Already downloaded [SKIPPED] perl-mro-1.28-500.fc39.x86_64.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 (77/80): glibc-langpack-en-2.38.9000-8.fc40.x86 6.1 MB/s | 605 kB 00:00 (78/80): drat-trim-0-0.21.20230709git16f1d72.fc 176 kB/s | 33 kB 00:00 (79/80): drat-trim-tools-0-0.21.20230709git16f1 157 kB/s | 35 kB 00:00 (80/80): help2man-1.49.3-3.fc39.noarch.rpm 885 kB/s | 228 kB 00:00 -------------------------------------------------------------------------------- Total 1.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.x86_64 1/80 Installing : cpp-13.2.1-1.fc39.x86_64 2/80 Installing : ncurses-6.4-7.20230520.fc40.x86_64 3/80 Installing : libtool-ltdl-2.4.7-8.fc40.x86_64 4/80 Installing : libstdc++-devel-13.2.1-1.fc39.x86_64 5/80 Installing : kernel-headers-6.6.0-0.rc1.git0.1.fc40.x86_64 6/80 Running scriptlet: groff-base-1.23.0-2.fc39.x86_64 7/80 Installing : groff-base-1.23.0-2.fc39.x86_64 7/80 Running scriptlet: groff-base-1.23.0-2.fc39.x86_64 7/80 Installing : perl-Digest-1.20-500.fc39.noarch 8/80 Installing : perl-Digest-MD5-2.58-500.fc39.x86_64 9/80 Installing : perl-B-1.88-500.fc39.x86_64 10/80 Installing : perl-FileHandle-2.05-500.fc39.noarch 11/80 Installing : perl-Data-Dumper-2.188-501.fc39.x86_64 12/80 Installing : perl-libnet-3.15-501.fc39.noarch 13/80 Installing : perl-AutoLoader-5.74-500.fc39.noarch 14/80 Installing : perl-base-2.27-500.fc39.noarch 15/80 Installing : perl-URI-5.21-1.fc40.noarch 16/80 Installing : perl-Text-Tabs+Wrap-2023.0511-3.fc39.noarch 17/80 Installing : perl-Mozilla-CA-20230821-1.fc40.noarch 18/80 Installing : perl-if-0.61.000-500.fc39.noarch 19/80 Installing : perl-locale-1.10-500.fc39.noarch 20/80 Installing : perl-IO-Socket-IP-0.42-1.fc39.noarch 21/80 Installing : perl-Time-Local-2:1.350-3.fc39.noarch 22/80 Installing : perl-File-Path-2.18-500.fc39.noarch 23/80 Installing : perl-IO-Socket-SSL-2.083-3.fc39.noarch 24/80 Installing : perl-Net-SSLeay-1.92-10.fc39.x86_64 25/80 Installing : perl-Pod-Escapes-1:1.07-501.fc40.noarch 26/80 Installing : perl-Class-Struct-0.68-500.fc39.noarch 27/80 Installing : perl-Term-ANSIColor-5.01-501.fc39.noarch 28/80 Installing : perl-POSIX-2.13-500.fc39.x86_64 29/80 Installing : perl-IPC-Open3-1.22-500.fc39.noarch 30/80 Installing : perl-File-Temp-1:0.231.100-500.fc39.noarch 31/80 Installing : perl-HTTP-Tiny-0.088-3.fc39.noarch 32/80 Installing : perl-Term-Cap-1.18-500.fc39.noarch 33/80 Installing : perl-Pod-Simple-1:3.45-4.fc39.noarch 34/80 Installing : perl-Socket-4:2.037-3.fc39.x86_64 35/80 Installing : perl-SelectSaver-1.02-500.fc39.noarch 36/80 Installing : perl-Symbol-1.09-500.fc39.noarch 37/80 Installing : perl-File-stat-1.13-500.fc39.noarch 38/80 Installing : perl-podlators-1:5.01-500.fc39.noarch 39/80 Installing : perl-Pod-Perldoc-3.28.01-501.fc39.noarch 40/80 Installing : perl-Fcntl-1.15-500.fc39.x86_64 41/80 Installing : perl-Text-ParseWords-3.31-500.fc39.noarch 42/80 Installing : perl-mro-1.28-500.fc39.x86_64 43/80 Installing : perl-IO-1.52-500.fc39.x86_64 44/80 Installing : perl-overloading-0.02-500.fc39.noarch 45/80 Installing : perl-Pod-Usage-4:2.03-500.fc39.noarch 46/80 Installing : perl-Errno-1.37-500.fc39.x86_64 47/80 Installing : perl-File-Basename-2.86-500.fc39.noarch 48/80 Installing : perl-Getopt-Std-1.13-500.fc39.noarch 49/80 Installing : perl-MIME-Base64-3.16-500.fc39.x86_64 50/80 Installing : perl-Scalar-List-Utils-5:1.63-500.fc39.x86_64 51/80 Installing : perl-constant-1.33-501.fc39.noarch 52/80 Installing : perl-Storable-1:3.32-500.fc39.x86_64 53/80 Installing : perl-overload-1.37-500.fc39.noarch 54/80 Installing : perl-parent-1:0.241-500.fc39.noarch 55/80 Installing : perl-vars-1.05-500.fc39.noarch 56/80 Installing : perl-Getopt-Long-1:2.54-500.fc39.noarch 57/80 Installing : perl-Carp-1.54-500.fc39.noarch 58/80 Installing : perl-Exporter-5.77-500.fc39.noarch 59/80 Installing : perl-PathTools-3.89-500.fc39.x86_64 60/80 Installing : perl-DynaLoader-1.54-500.fc39.x86_64 61/80 Installing : perl-Encode-4:3.19-500.fc39.x86_64 62/80 Installing : perl-libs-4:5.38.0-500.fc39.x86_64 63/80 Installing : perl-interpreter-4:5.38.0-500.fc39.x86_64 64/80 Installing : gc-8.2.2-4.fc39.x86_64 65/80 Installing : guile22-2.2.7-9.fc39.x86_64 66/80 Installing : make-1:4.4.1-2.fc39.x86_64 67/80 Installing : drat-trim-0-0.21.20230709git16f1d72.fc39.x86_64 68/80 Installing : annobin-docs-12.26-1.fc40.noarch 69/80 Installing : glibc-headers-x86-2.38.9000-8.fc40.noarch 70/80 Installing : libxcrypt-devel-4.4.36-2.fc39.x86_64 71/80 Installing : glibc-devel-2.38.9000-8.fc40.x86_64 72/80 Installing : gcc-13.2.1-1.fc39.x86_64 73/80 Running scriptlet: gcc-13.2.1-1.fc39.x86_64 73/80 Installing : annobin-plugin-gcc-12.26-1.fc40.x86_64 74/80 Running scriptlet: annobin-plugin-gcc-12.26-1.fc40.x86_64 74/80 Installing : gcc-c++-13.2.1-1.fc39.x86_64 75/80 Installing : gcc-plugin-annobin-13.2.1-1.fc39.x86_64 76/80 Running scriptlet: gcc-plugin-annobin-13.2.1-1.fc39.x86_64 76/80 Installing : drat-trim-tools-0-0.21.20230709git16f1d72.fc39.x86 77/80 Installing : help2man-1.49.3-3.fc39.noarch 78/80 Installing : zlib-ng-compat-devel-2.1.3-3.fc40.x86_64 79/80 Installing : glibc-langpack-en-2.38.9000-8.fc40.x86_64 80/80 Running scriptlet: glibc-langpack-en-2.38.9000-8.fc40.x86_64 80/80 Verifying : glibc-devel-2.38.9000-8.fc40.x86_64 1/80 Verifying : glibc-headers-x86-2.38.9000-8.fc40.noarch 2/80 Verifying : glibc-langpack-en-2.38.9000-8.fc40.x86_64 3/80 Verifying : zlib-ng-compat-devel-2.1.3-3.fc40.x86_64 4/80 Verifying : annobin-docs-12.26-1.fc40.noarch 5/80 Verifying : annobin-plugin-gcc-12.26-1.fc40.x86_64 6/80 Verifying : cpp-13.2.1-1.fc39.x86_64 7/80 Verifying : drat-trim-0-0.21.20230709git16f1d72.fc39.x86_64 8/80 Verifying : drat-trim-tools-0-0.21.20230709git16f1d72.fc39.x86 9/80 Verifying : gc-8.2.2-4.fc39.x86_64 10/80 Verifying : gcc-13.2.1-1.fc39.x86_64 11/80 Verifying : gcc-c++-13.2.1-1.fc39.x86_64 12/80 Verifying : gcc-plugin-annobin-13.2.1-1.fc39.x86_64 13/80 Verifying : groff-base-1.23.0-2.fc39.x86_64 14/80 Verifying : guile22-2.2.7-9.fc39.x86_64 15/80 Verifying : help2man-1.49.3-3.fc39.noarch 16/80 Verifying : kernel-headers-6.6.0-0.rc1.git0.1.fc40.x86_64 17/80 Verifying : libmpc-1.3.1-3.fc39.x86_64 18/80 Verifying : libstdc++-devel-13.2.1-1.fc39.x86_64 19/80 Verifying : libtool-ltdl-2.4.7-8.fc40.x86_64 20/80 Verifying : libxcrypt-devel-4.4.36-2.fc39.x86_64 21/80 Verifying : make-1:4.4.1-2.fc39.x86_64 22/80 Verifying : ncurses-6.4-7.20230520.fc40.x86_64 23/80 Verifying : perl-AutoLoader-5.74-500.fc39.noarch 24/80 Verifying : perl-B-1.88-500.fc39.x86_64 25/80 Verifying : perl-Carp-1.54-500.fc39.noarch 26/80 Verifying : perl-Class-Struct-0.68-500.fc39.noarch 27/80 Verifying : perl-Data-Dumper-2.188-501.fc39.x86_64 28/80 Verifying : perl-Digest-1.20-500.fc39.noarch 29/80 Verifying : perl-Digest-MD5-2.58-500.fc39.x86_64 30/80 Verifying : perl-DynaLoader-1.54-500.fc39.x86_64 31/80 Verifying : perl-Encode-4:3.19-500.fc39.x86_64 32/80 Verifying : perl-Errno-1.37-500.fc39.x86_64 33/80 Verifying : perl-Exporter-5.77-500.fc39.noarch 34/80 Verifying : perl-Fcntl-1.15-500.fc39.x86_64 35/80 Verifying : perl-File-Basename-2.86-500.fc39.noarch 36/80 Verifying : perl-File-Path-2.18-500.fc39.noarch 37/80 Verifying : perl-File-Temp-1:0.231.100-500.fc39.noarch 38/80 Verifying : perl-File-stat-1.13-500.fc39.noarch 39/80 Verifying : perl-FileHandle-2.05-500.fc39.noarch 40/80 Verifying : perl-Getopt-Long-1:2.54-500.fc39.noarch 41/80 Verifying : perl-Getopt-Std-1.13-500.fc39.noarch 42/80 Verifying : perl-HTTP-Tiny-0.088-3.fc39.noarch 43/80 Verifying : perl-IO-1.52-500.fc39.x86_64 44/80 Verifying : perl-IO-Socket-IP-0.42-1.fc39.noarch 45/80 Verifying : perl-IO-Socket-SSL-2.083-3.fc39.noarch 46/80 Verifying : perl-IPC-Open3-1.22-500.fc39.noarch 47/80 Verifying : perl-MIME-Base64-3.16-500.fc39.x86_64 48/80 Verifying : perl-Mozilla-CA-20230821-1.fc40.noarch 49/80 Verifying : perl-Net-SSLeay-1.92-10.fc39.x86_64 50/80 Verifying : perl-POSIX-2.13-500.fc39.x86_64 51/80 Verifying : perl-PathTools-3.89-500.fc39.x86_64 52/80 Verifying : perl-Pod-Escapes-1:1.07-501.fc40.noarch 53/80 Verifying : perl-Pod-Perldoc-3.28.01-501.fc39.noarch 54/80 Verifying : perl-Pod-Simple-1:3.45-4.fc39.noarch 55/80 Verifying : perl-Pod-Usage-4:2.03-500.fc39.noarch 56/80 Verifying : perl-Scalar-List-Utils-5:1.63-500.fc39.x86_64 57/80 Verifying : perl-SelectSaver-1.02-500.fc39.noarch 58/80 Verifying : perl-Socket-4:2.037-3.fc39.x86_64 59/80 Verifying : perl-Storable-1:3.32-500.fc39.x86_64 60/80 Verifying : perl-Symbol-1.09-500.fc39.noarch 61/80 Verifying : perl-Term-ANSIColor-5.01-501.fc39.noarch 62/80 Verifying : perl-Term-Cap-1.18-500.fc39.noarch 63/80 Verifying : perl-Text-ParseWords-3.31-500.fc39.noarch 64/80 Verifying : perl-Text-Tabs+Wrap-2023.0511-3.fc39.noarch 65/80 Verifying : perl-Time-Local-2:1.350-3.fc39.noarch 66/80 Verifying : perl-URI-5.21-1.fc40.noarch 67/80 Verifying : perl-base-2.27-500.fc39.noarch 68/80 Verifying : perl-constant-1.33-501.fc39.noarch 69/80 Verifying : perl-if-0.61.000-500.fc39.noarch 70/80 Verifying : perl-interpreter-4:5.38.0-500.fc39.x86_64 71/80 Verifying : perl-libnet-3.15-501.fc39.noarch 72/80 Verifying : perl-libs-4:5.38.0-500.fc39.x86_64 73/80 Verifying : perl-locale-1.10-500.fc39.noarch 74/80 Verifying : perl-mro-1.28-500.fc39.x86_64 75/80 Verifying : perl-overload-1.37-500.fc39.noarch 76/80 Verifying : perl-overloading-0.02-500.fc39.noarch 77/80 Verifying : perl-parent-1:0.241-500.fc39.noarch 78/80 Verifying : perl-podlators-1:5.01-500.fc39.noarch 79/80 Verifying : perl-vars-1.05-500.fc39.noarch 80/80 Installed: annobin-docs-12.26-1.fc40.noarch annobin-plugin-gcc-12.26-1.fc40.x86_64 cpp-13.2.1-1.fc39.x86_64 drat-trim-0-0.21.20230709git16f1d72.fc39.x86_64 drat-trim-tools-0-0.21.20230709git16f1d72.fc39.x86_64 gc-8.2.2-4.fc39.x86_64 gcc-13.2.1-1.fc39.x86_64 gcc-c++-13.2.1-1.fc39.x86_64 gcc-plugin-annobin-13.2.1-1.fc39.x86_64 glibc-devel-2.38.9000-8.fc40.x86_64 glibc-headers-x86-2.38.9000-8.fc40.noarch glibc-langpack-en-2.38.9000-8.fc40.x86_64 groff-base-1.23.0-2.fc39.x86_64 guile22-2.2.7-9.fc39.x86_64 help2man-1.49.3-3.fc39.noarch kernel-headers-6.6.0-0.rc1.git0.1.fc40.x86_64 libmpc-1.3.1-3.fc39.x86_64 libstdc++-devel-13.2.1-1.fc39.x86_64 libtool-ltdl-2.4.7-8.fc40.x86_64 libxcrypt-devel-4.4.36-2.fc39.x86_64 make-1:4.4.1-2.fc39.x86_64 ncurses-6.4-7.20230520.fc40.x86_64 perl-AutoLoader-5.74-500.fc39.noarch perl-B-1.88-500.fc39.x86_64 perl-Carp-1.54-500.fc39.noarch perl-Class-Struct-0.68-500.fc39.noarch perl-Data-Dumper-2.188-501.fc39.x86_64 perl-Digest-1.20-500.fc39.noarch perl-Digest-MD5-2.58-500.fc39.x86_64 perl-DynaLoader-1.54-500.fc39.x86_64 perl-Encode-4:3.19-500.fc39.x86_64 perl-Errno-1.37-500.fc39.x86_64 perl-Exporter-5.77-500.fc39.noarch perl-Fcntl-1.15-500.fc39.x86_64 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.x86_64 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.x86_64 perl-Mozilla-CA-20230821-1.fc40.noarch perl-Net-SSLeay-1.92-10.fc39.x86_64 perl-POSIX-2.13-500.fc39.x86_64 perl-PathTools-3.89-500.fc39.x86_64 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.x86_64 perl-SelectSaver-1.02-500.fc39.noarch perl-Socket-4:2.037-3.fc39.x86_64 perl-Storable-1:3.32-500.fc39.x86_64 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.x86_64 perl-libnet-3.15-501.fc39.noarch perl-libs-4:5.38.0-500.fc39.x86_64 perl-locale-1.10-500.fc39.noarch perl-mro-1.28-500.fc39.x86_64 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.x86_64 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: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1693526400 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.x7iJ3q + 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.S8FVcR + 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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -j2 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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/decompose.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' ../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]: 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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.7.1/build' make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id) 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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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.f0Ts7I + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64 ++ dirname /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64 + 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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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.x86_64/usr/bin + cp -p build/cadical build/mobical /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/usr/bin + mkdir -p /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/usr/lib64 + cp -p build/libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/usr/lib64 + ln -s libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/usr/lib64/libcadical.so.0 + ln -s libcadical.so.0 /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/usr/lib64/libcadical.so + mkdir -p /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/usr/include + cp -p src/cadical.hpp /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/usr/include + cp -p src/ccadical.h /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/usr/include + mkdir -p /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/usr/share/man/man1 + cp -p cadical.1 mobical.1 /builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/usr/share/man/man1 + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.7.1-1.fc40 --unique-debug-suffix -1.7.1-1.fc40.x86_64 --unique-debug-src-base cadical-1.7.1-1.fc40.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -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.x86_64 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 -j2 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.fFp0pm + 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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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.x86_64 Provides: cadical = 1:1.7.1-1.fc40 cadical(x86-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: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(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.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.FPqOC7 + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.7.1 + DOCDIR=/builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/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.x86_64/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.x86_64/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.x86_64/usr/share/doc/cadical-libs + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.diylPi + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.7.1 + LICENSEDIR=/builddir/build/BUILDROOT/cadical-1.7.1-1.fc40.x86_64/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.x86_64/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.x86_64/usr/share/licenses/cadical-libs + RPM_EC=0 ++ jobs -p + exit 0 Provides: cadical-libs = 1:1.7.1-1.fc40 cadical-libs(x86-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: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(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.x86_64 Provides: cadical-devel = 1:1.7.1-1.fc40 cadical-devel(x86-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.x86_64 Provides: cadical-debugsource = 1:1.7.1-1.fc40 cadical-debugsource(x86-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.x86_64 Provides: cadical-debuginfo = 1:1.7.1-1.fc40 cadical-debuginfo(x86-64) = 1:1.7.1-1.fc40 debuginfo(build-id) = b7be55ef8061f1a55f8708a0b9e0835fb58cc999 debuginfo(build-id) = eaf5850f5d695c303717f7cd5252e0bdda475c31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cadical-debugsource(x86-64) = 1:1.7.1-1.fc40 Processing files: cadical-libs-debuginfo-1.7.1-1.fc40.x86_64 Provides: cadical-libs-debuginfo = 1:1.7.1-1.fc40 cadical-libs-debuginfo(x86-64) = 1:1.7.1-1.fc40 debuginfo(build-id) = 8ad2db254df644aabf217e2e2114a00c64910744 libcadical.so.0.0.0-1.7.1-1.fc40.x86_64.debug()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cadical-debugsource(x86-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.x86_64 Wrote: /builddir/build/RPMS/cadical-debuginfo-1.7.1-1.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/cadical-debugsource-1.7.1-1.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/cadical-libs-1.7.1-1.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/cadical-1.7.1-1.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/cadical-devel-1.7.1-1.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/cadical-libs-debuginfo-1.7.1-1.fc40.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.59kBmC + 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.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.SCbyxO + 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-x86_64-1695015264.599712/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-x86_64-1695015264.599712/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-x86_64-1695015264.599712/root/var/log/dnf.log INFO: Done(/var/lib/copr-rpmbuild/results/cadical-1.7.1-1.fc40.src.rpm) Config(child) 1 minutes 27 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-libs-debuginfo", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "x86_64" }, { "name": "cadical-debuginfo", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "x86_64" }, { "name": "cadical", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "x86_64" }, { "name": "cadical-libs", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "x86_64" }, { "name": "cadical", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "src" }, { "name": "cadical-devel", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "x86_64" }, { "name": "cadical-debugsource", "epoch": 1, "version": "1.7.1", "release": "1.fc40", "arch": "x86_64" } ] } RPMResults finished