Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/fedora-rawhide-s390x-1671799296.456411/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.wqdvm7th:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.wqdvm7th:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'd306dea03ebc4ba9aa761973b611bd93', '-D', '/var/lib/mock/fedora-rawhide-s390x-1671799296.456411/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.wqdvm7th:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/cadical.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1662768000 Wrote: /builddir/build/SRPMS/cadical-1.5.3-1.fc38.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/fedora-rawhide-s390x-1671799296.456411/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.wqdvm7th:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.wqdvm7th:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '6e2c5ee2bae04dd19dd0db644c9027a0', '-D', '/var/lib/mock/fedora-rawhide-s390x-1671799296.456411/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.wqdvm7th:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/cadical.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1662768000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.6KHtHi + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cadical-rel-1.5.3 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cadical-1.5.3.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd cadical-rel-1.5.3 + /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 + sed -i '/^-e/s/,/|/g;s/ -O3/ -O2/' configure + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.yRke1B + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + 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.5.3 + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC' + ./configure configure: making default 'build' directory configure: building in default '/builddir/build/BUILD/cadical-rel-1.5.3/build' configure: root directory '/builddir/build/BUILD/cadical-rel-1.5.3' configure: source directory '/builddir/build/BUILD/cadical-rel-1.5.3/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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG' configure: generated 'build/makefile' from '../makefile.in' configure: generated '../makefile' as proxy to ... configure: ... '/builddir/build/BUILD/cadical-rel-1.5.3/build/makefile' configure: linking '/builddir/build/BUILD/cadical-rel-1.5.3/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.5.3/build" make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/arena.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/assume.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/analyze.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/averages.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/backtrack.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/backward.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/bins.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ccadical.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/block.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/checker.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/clause.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/collect.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/compact.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/condition.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/config.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/constrain.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/contract.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/decide.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/cover.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/decompose.cpp ../src/decompose.cpp: In member function 'CaDiCaL::Internal::decompose_round()': ../src/decompose.cpp:282:22: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=] 282 | c->literals[l] = clause[l]; | ~~~~~~~~~~~~~^ In file included from ../src/internal.hpp:54, from ../src/decompose.cpp:1: ../src/clause.hpp:89:9: note: while referencing 'literals' 89 | int literals[2]; // Of variadic 'size' (shrunken if strengthened). | ^~~~~~~~ make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/deduplicate.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ema.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/elim.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/extend.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/file.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/external.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/flags.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/format.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/gates.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/instantiate.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ipasir.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/limit.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/logging.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/internal.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/lookahead.cpp In file included from ../src/lookahead.cpp:1: In member function 'CaDiCaL::CubesWithStatus::CubesWithStatus(CaDiCaL::CubesWithStatus&&)', inlined from 'CaDiCaL::Internal::generate_cubes(int, int)' at ../src/lookahead.cpp:394:12: ../src/internal.hpp:105:8: warning: 'cubes.status' may be used uninitialized [-Wmaybe-uninitialized] 105 | struct CubesWithStatus { | ^~~~~~~~~~~~~~~ ../src/lookahead.cpp: In member function 'CaDiCaL::Internal::generate_cubes(int, int)': ../src/lookahead.cpp:392:21: note: 'cubes' declared here 392 | CubesWithStatus cubes; | ^~~~~ make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/lucky.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/message.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/minimize.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/occs.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/parse.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/phases.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/options.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/probe.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/profile.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/proof.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/queue.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/propagate.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/reap.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/random.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/rephase.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/reduce.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/resources.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/report.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/restart.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/restore.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/score.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/signal.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/shrink.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/solution.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/stats.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/solver.cpp ../src/solver.cpp: In member function 'CaDiCaL::Solver::~Solver()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::vars()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::reserve(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::set(char const*, int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::limit(char const*, int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::add(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::constrain(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::assume(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::lookahead()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::reset_assumptions()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::reset_constraint()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::solve()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::simplify(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::failed(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::constraint_failed()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::phase(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::unphase(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::active() const': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::redundant() const': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::irredundant() const': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::freeze(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::statistics()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::resources()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::dump_cnf()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::Solver()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::melt(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::frozen(int) const': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::val(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::fixed(int) const': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::generate_cubes(int, int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/terminal.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/subsume.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/tracer.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ternary.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/util.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/transred.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' ../scripts/make-build-header.sh > build.hpp make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id) make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/var.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/walk.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/watch.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/vivify.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/cadical.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/version.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/mobical.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' rm -f libcadical.so g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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 file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.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.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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.5.3/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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.5.3/build' + export LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.5.3/build + LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.5.3/build + help2man --version-string=1.5.3 -N -o cadical.1 build/cadical + help2man --version-string=1.5.3 -N -o mobical.1 -h -h build/mobical + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.T7P8vF + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x '!=' / ']' + rm -rf /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x ++ dirname /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + 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.5.3 + mkdir -p /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/bin + cp -p build/cadical build/mobical /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/bin + mkdir -p /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/lib64 + cp -p build/libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/lib64 + ln -s libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/lib64/libcadical.so.0 + ln -s libcadical.so.0 /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/lib64/libcadical.so + mkdir -p /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/include + cp -p src/cadical.hpp /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/include + cp -p src/ccadical.h /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/include + mkdir -p /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/share/man/man1 + cp -p cadical.1 mobical.1 /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/share/man/man1 + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.5.3-1.fc38 --unique-debug-suffix -1.5.3-1.fc38.s390x --unique-debug-src-base cadical-1.5.3-1.fc38.s390x --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cadical-rel-1.5.3 extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/bin/mobical extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/bin/cadical extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/lib64/libcadical.so.0.0.0 original debug info size: 18148kB, size after compression: 8820kB /usr/bin/sepdebugcrcfix: Updated 3 CRC32s, 0 CRC32s did match. 1973 blocks + /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 + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.HgV5rA + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + 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.5.3 + 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.5.3/build + LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.5.3/build + make -C test make: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.3/test' --------------------------------------------------------- usage testing in '../build' --------------------------------------------------------- starting test run /builddir/build/BUILD/cadical-rel-1.5.3/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 59 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: executed 59 traces, 59 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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -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.5.3/test' + RPM_EC=0 ++ jobs -p + exit 0 Processing files: cadical-1.5.3-1.fc38.s390x Provides: cadical = 1:1.5.3-1.fc38 cadical(s390-64) = 1:1.5.3-1.fc38 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.2)(64bit) libc.so.6(GLIBC_2.34)(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.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: cadical-libs-1.5.3-1.fc38.s390x Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.ktUMrv + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.5.3 + DOCDIR=/builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/share/doc/cadical-libs + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/share/doc/cadical-libs + cp -pr CONTRIBUTING /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/share/doc/cadical-libs + cp -pr README.md /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/share/doc/cadical-libs + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.ELBfQV + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.5.3 + LICENSEDIR=/builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/share/licenses/cadical-libs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/share/licenses/cadical-libs + cp -pr LICENSE /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x/usr/share/licenses/cadical-libs + RPM_EC=0 ++ jobs -p + exit 0 Provides: cadical-libs = 1:1.5.3-1.fc38 cadical-libs(s390-64) = 1:1.5.3-1.fc38 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.2)(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.4)(64bit) libc.so.6(GLIBC_2.7)(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.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) rtld(GNU_HASH) Processing files: cadical-devel-1.5.3-1.fc38.s390x Provides: cadical-devel = 1:1.5.3-1.fc38 cadical-devel(s390-64) = 1:1.5.3-1.fc38 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.5.3-1.fc38.s390x Provides: cadical-debugsource = 1:1.5.3-1.fc38 cadical-debugsource(s390-64) = 1:1.5.3-1.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: cadical-debuginfo-1.5.3-1.fc38.s390x Provides: cadical-debuginfo = 1:1.5.3-1.fc38 cadical-debuginfo(s390-64) = 1:1.5.3-1.fc38 debuginfo(build-id) = cb57a45bd48dac160d169c03278f2dbc13226155 debuginfo(build-id) = d4e23a357699cb9adc57d15080cff9f3ab3a1b7b Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cadical-debugsource(s390-64) = 1:1.5.3-1.fc38 Processing files: cadical-libs-debuginfo-1.5.3-1.fc38.s390x Provides: cadical-libs-debuginfo = 1:1.5.3-1.fc38 cadical-libs-debuginfo(s390-64) = 1:1.5.3-1.fc38 debuginfo(build-id) = 955afd2a082ce46ee736eba744972785fe217782 libcadical.so.0.0.0-1.5.3-1.fc38.s390x.debug()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cadical-debugsource(s390-64) = 1:1.5.3-1.fc38 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x Wrote: /builddir/build/RPMS/cadical-debuginfo-1.5.3-1.fc38.s390x.rpm Wrote: /builddir/build/RPMS/cadical-debugsource-1.5.3-1.fc38.s390x.rpm Wrote: /builddir/build/RPMS/cadical-libs-1.5.3-1.fc38.s390x.rpm Wrote: /builddir/build/RPMS/cadical-1.5.3-1.fc38.s390x.rpm Wrote: /builddir/build/RPMS/cadical-devel-1.5.3-1.fc38.s390x.rpm Wrote: /builddir/build/RPMS/cadical-libs-debuginfo-1.5.3-1.fc38.s390x.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.3gIadW + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.5.3 + /usr/bin/rm -rf /builddir/build/BUILDROOT/cadical-1.5.3-1.fc38.s390x + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.yPkuVc + umask 022 + cd /builddir/build/BUILD + rm -rf cadical-rel-1.5.3 cadical-rel-1.5.3.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0