Mock Version: 5.5 Mock Version: 5.5 Mock Version: 5.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/kissat.spec'], chrootPath='/var/lib/mock/f41-build-825002-154237/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=604800uid=989gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3i9pvr4h:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3i9pvr4h:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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', '1483b0082ae345c8b2c2f4ecb8d2ef28', '-D', '/var/lib/mock/f41-build-825002-154237/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3i9pvr4h:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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 --noclean --target riscv64 --nodeps /builddir/build/SPECS/kissat.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: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1721260800 Wrote: /builddir/build/SRPMS/kissat-3.1.1-5.fc41.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/kissat.spec'], chrootPath='/var/lib/mock/f41-build-825002-154237/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=604800uid=989gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3i9pvr4h:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3i9pvr4h:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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', 'd84df6b4dcac4651a72831ee53bb6682', '-D', '/var/lib/mock/f41-build-825002-154237/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3i9pvr4h:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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 --noclean --target riscv64 --nodeps /builddir/build/SPECS/kissat.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: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1721260800 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.m51tSv + umask 022 + cd /builddir/build/BUILD/kissat-3.1.1-build + test -d /builddir/build/BUILD/kissat-3.1.1-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/kissat-3.1.1-build + /usr/bin/rm -rf /builddir/build/BUILD/kissat-3.1.1-build + /usr/bin/mkdir -p /builddir/build/BUILD/kissat-3.1.1-build + /usr/bin/mkdir -p /builddir/build/BUILD/kissat-3.1.1-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.HHamzN + umask 022 + cd /builddir/build/BUILD/kissat-3.1.1-build + cd /builddir/build/BUILD/kissat-3.1.1-build + rm -rf kissat-rel-3.1.1 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/kissat-3.1.1.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd kissat-rel-3.1.1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/kissat-shared.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + sed -i 's/ handle\.c//' makefile.in + sed -i 's/@SOVER@/0.0.0/;s/@MAJVER@/0/' makefile.in + sed -ri '/sqrt|prime/s/false/true/' test/testcnfs.h + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.ZV4jbW + umask 022 + cd /builddir/build/BUILD/kissat-3.1.1-build + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd kissat-rel-3.1.1 + sed -e 's|-W -Wall|-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC|' -e 's|^\(passtolinker=\)""|\1" -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 "|' -i configure + ./configure -O2 --test configure: new build directory 'build' configure: assuming GCC version 14.1.1-7) uses C99 by default configure: compiler 'gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG' configure: linker 'gcc -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 ' (additional options) configure: using default 'ar' (no cross compilation) configure: adding 'tissat' goal to default makefile goal too configure: no 'libkissat.so' shared library generated (without '-shared') configure: no 'kitten' binary generated (without '--kitten') configure: linking src/makefile + /usr/bin/make -O -j4 V=1 VERBOSE=1 /usr/bin/make -C "/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build" make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/main.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/witness.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/allocate.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/ands.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/arena.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/parse.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/application.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/averages.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/assign.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' ../scripts/generate-build-header.sh > build.h make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/backtrack.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/check.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/analyze.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/backbone.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/colors.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/bump.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/clause.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/config.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/decide.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/deduce.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/compact.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/dump.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/definition.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/equivalences.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/collect.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/error.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/extend.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/dense.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/file.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/format.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/flags.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/eliminate.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/gates.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/handle.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/heap.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/import.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/ifthenelse.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/kimits.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/learn.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/logging.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/internal.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/forward.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/mode.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/minimize.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/phases.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/probe.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/print.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/promote.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/profile.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/kitten.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/proof.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/propbeyond.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/propdense.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/options.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/queue.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/proprobe.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/reluctant.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/propsearch.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/rephase.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/resize.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/reduce.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/resources.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/restart.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/resolve.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/search.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/smooth.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/shrink.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/sort.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/stack.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/strengthen.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/report.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/terminate.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/statistics.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/trail.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/substitute.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/utilities.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/vector.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/transitive.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/warmup.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/sweep.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/walk.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/weaken.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/watch.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testadd.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../src/vivify.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -I../build -c ../test/test.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testapplication.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testallocate.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testbump.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testarray.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testarena.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testceil.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testconfig.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testcoverage.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testdivert.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testdump.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testcollect.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testendianness.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testerror.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testfile.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testinit.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testkitten.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testmain.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testformat.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testmessages.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testheap.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testparse.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testprove.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testrandom.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testoptions.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testqueue.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testreluctant.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testrank.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testsizes.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testscheduler.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testsolve.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' ../test/testsolve.c: In function ‘schedule_solve_job_with_option’: ../test/testsolve.c:16:20: warning: ‘%s’ directive writing up to 223 bytes into a region of size between 33 and 256 [-Wformat-overflow=] 16 | sprintf (cmd, "%s%s", opt, path); | ^~ In file included from /usr/include/stdio.h:970, from ../test/../src/file.h:7, from ../test/testsolve.c:1: In function ‘sprintf’, inlined from ‘schedule_solve_job_with_option’ at ../test/testsolve.c:16:3: /usr/include/bits/stdio2.h:30:10: note: ‘__builtin___sprintf_chk’ output between 1 and 447 bytes into a destination of size 256 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testterminate.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/teststack.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testreferences.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testusage.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -I../build -c ../src/build.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testutilities.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testvector.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG -c ../test/testsort.c make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -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 -shared -Wl,-h,libkissat.so.0 -o libkissat.so.0.0.0 allocate.o analyze.o ands.o arena.o assign.o averages.o backbone.o backtrack.o build.o bump.o check.o clause.o collect.o colors.o compact.o config.o decide.o deduce.o definition.o dense.o dump.o eliminate.o equivalences.o error.o extend.o file.o flags.o format.o forward.o gates.o handle.o heap.o ifthenelse.o import.o internal.o kimits.o kitten.o learn.o logging.o minimize.o mode.o options.o phases.o print.o probe.o profile.o promote.o proof.o propbeyond.o propdense.o proprobe.o propsearch.o queue.o reduce.o reluctant.o rephase.o report.o resize.o resolve.o resources.o restart.o search.o shrink.o smooth.o sort.o stack.o statistics.o strengthen.o substitute.o sweep.o terminate.o trail.o transitive.o utilities.o vector.o vivify.o walk.o warmup.o watch.o weaken.o -lm ln -s libkissat.so.0.0.0 libkissat.so.0 ln -s libkissat.so.0 libkissat.so make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -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 -o kissat main.o application.o parse.o witness.o libkissat.so -lm make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' make[1]: Entering directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' gcc -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 -o tissat test.o application.o parse.o witness.o testadd.o testallocate.o testapplication.o testarena.o testarray.o testbump.o testceil.o testcollect.o testconfig.o testcoverage.o testdivert.o testdump.o testendianness.o testerror.o testfile.o testformat.o testheap.o testinit.o testkitten.o testmain.o testmessages.o testoptions.o testparse.o testprove.o testqueue.o testrandom.o testrank.o testreferences.o testreluctant.o testscheduler.o testsizes.o testsolve.o testsort.o teststack.o testterminate.o testusage.o testutilities.o testvector.o libkissat.so -lm make[1]: Leaving directory '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' + export LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build + LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build + help2man --version-string=3.1.1 -N -n 'Keep It Simple SAT solver' -o kissat.1 build/kissat + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.rYIDZr + umask 022 + cd /builddir/build/BUILD/kissat-3.1.1-build + '[' /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT ++ dirname /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT + mkdir -p /builddir/build/BUILD/kissat-3.1.1-build + mkdir /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd kissat-rel-3.1.1 + mkdir -p /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/bin + cp -p build/kissat /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/bin + mkdir -p /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/lib64 + cp -p build/libkissat.so.0.0.0 /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/lib64 + ln -s libkissat.so.0.0.0 /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/lib64/libkissat.so.0 + ln -s libkissat.so.0 /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/lib64/libkissat.so + mkdir -p /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/include + cp -p src/kissat.h /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/include + mkdir -p /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/share/man/man1 + cp -p kissat.1 /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/share/man/man1 + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 3.1.1-5.fc41 --unique-debug-suffix -3.1.1-5.fc41.riscv64 --unique-debug-src-base kissat-3.1.1-5.fc41.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1 find-debuginfo: starting Extracting debug info from 2 files DWARF-compressing 2 files sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/kissat-3.1.1-5.fc41.riscv64 1551 blocks find-debuginfo: done + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT Scanned 19 directories and 185 files, processed 0 inodes, 0 modified (0 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/kissat-3.1.1-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.b6ud5J + umask 022 + cd /builddir/build/BUILD/kissat-3.1.1-build + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd kissat-rel-3.1.1 + LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build + build/tissat TISSAT Tester for KISSAT Copyright (c) 2021-2023 Armin Biere University of Freiburg Copyright (c) 2019-2021 Armin Biere Johannes Kepler University Linz Version 3.1.1 unknown gcc (GCC) 14.1.1 20240701 (Red Hat 14.1.1-7) -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG Thu Aug 1 12:44:37 AM EDT 2024 Linux d84df6b4dcac4651a72831ee53bb6682 6.9.12-200.1.lpi4.rpi5.vf2.fc40.riscv64 riscv64 Use '-h' to print usage (i.e., how to use patterns). Changed to '/builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/build' directory. Parallel execution using at most 4 processes (by default). Job execution progress reporting disabled (enable with '-p'). Found '../test' directory (running test cases that need '../test' too). Did not find 'drabt' executable. Found 'drat-trim' executable (will check proofs with it). No compression tests for non POSIX configuration. Scheduled 4 jobs through 'tissat_schedule_error'. Scheduled 1 jobs through 'tissat_schedule_utilities'. Scheduled 1 jobs through 'tissat_schedule_endianness'. Scheduled 3 jobs through 'tissat_schedule_ceil'. Scheduled 1 jobs through 'tissat_schedule_format'. Scheduled 2 jobs through 'tissat_schedule_references'. Scheduled 1 jobs through 'tissat_schedule_reluctant'. Scheduled 2 jobs through 'tissat_schedule_random'. Scheduled 1 jobs through 'tissat_schedule_queue'. Scheduled 3 jobs through 'tissat_schedule_allocate'. Scheduled 1 jobs through 'tissat_schedule_array'. Scheduled 2 jobs through 'tissat_schedule_stack'. Scheduled 4 jobs through 'tissat_schedule_arena'. Scheduled 3 jobs through 'tissat_schedule_heap'. Scheduled 2 jobs through 'tissat_schedule_vector'. Scheduled 2 jobs through 'tissat_schedule_rank'. Scheduled 2 jobs through 'tissat_schedule_sort'. Scheduled 1 jobs through 'tissat_schedule_bump'. Scheduled 4 jobs through 'tissat_schedule_options'. Scheduled 2 jobs through 'tissat_schedule_config'. Scheduled 5 jobs through 'tissat_schedule_init'. Scheduled 1 jobs through 'tissat_schedule_add'. Scheduled 4 jobs through 'tissat_schedule_file'. Scheduled 2 jobs through 'tissat_schedule_parse'. Scheduled 44 jobs through 'tissat_schedule_usage'. Scheduled 6 jobs through 'tissat_schedule_main'. Scheduled 1 jobs through 'tissat_schedule_collect'. Scheduled 2 jobs through 'tissat_schedule_kitten'. Scheduled 204 jobs through 'tissat_schedule_solve'. Scheduled 45 jobs through 'tissat_schedule_coverage'. Scheduled 0 jobs through 'tissat_schedule_terminate'. Scheduled 56 jobs through 'tissat_schedule_prove'. Running 412 jobs in parallel using up to 4 processes. All 412 test jobs succeeded in 9.35 seconds. + RPM_EC=0 ++ jobs -p + exit 0 Processing files: kissat-3.1.1-5.fc41.riscv64 Provides: kissat = 3.1.1-5.fc41 kissat(riscv-64) = 3.1.1-5.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.34)(64bit) libkissat.so.0()(64bit) rtld(GNU_HASH) Processing files: kissat-libs-3.1.1-5.fc41.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.gFpt8r + umask 022 + cd /builddir/build/BUILD/kissat-3.1.1-build + cd kissat-rel-3.1.1 + DOCDIR=/builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/share/doc/kissat-libs + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/share/doc/kissat-libs + cp -pr /builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/README.md /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/share/doc/kissat-libs + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.kp1WqR + umask 022 + cd /builddir/build/BUILD/kissat-3.1.1-build + cd kissat-rel-3.1.1 + LICENSEDIR=/builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/share/licenses/kissat-libs + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/share/licenses/kissat-libs + cp -pr /builddir/build/BUILD/kissat-3.1.1-build/kissat-rel-3.1.1/LICENSE /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT/usr/share/licenses/kissat-libs + RPM_EC=0 ++ jobs -p + exit 0 Provides: kissat-libs = 3.1.1-5.fc41 kissat-libs(riscv-64) = 3.1.1-5.fc41 libkissat.so.0()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.33)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) rtld(GNU_HASH) Processing files: kissat-devel-3.1.1-5.fc41.riscv64 Provides: kissat-devel = 3.1.1-5.fc41 kissat-devel(riscv-64) = 3.1.1-5.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libkissat.so.0()(64bit) Processing files: kissat-debugsource-3.1.1-5.fc41.riscv64 Provides: kissat-debugsource = 3.1.1-5.fc41 kissat-debugsource(riscv-64) = 3.1.1-5.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: kissat-debuginfo-3.1.1-5.fc41.riscv64 Provides: debuginfo(build-id) = 9996ee57d2409cb0bd2d024308c26a8802d9c1fb kissat-debuginfo = 3.1.1-5.fc41 kissat-debuginfo(riscv-64) = 3.1.1-5.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: kissat-debugsource(riscv-64) = 3.1.1-5.fc41 Processing files: kissat-libs-debuginfo-3.1.1-5.fc41.riscv64 Provides: debuginfo(build-id) = a68c1e80458ab4bd5c4dade6f308e7d9defcacb7 kissat-libs-debuginfo = 3.1.1-5.fc41 kissat-libs-debuginfo(riscv-64) = 3.1.1-5.fc41 libkissat.so.0.0.0-3.1.1-5.fc41.riscv64.debug()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: kissat-debugsource(riscv-64) = 3.1.1-5.fc41 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/kissat-3.1.1-build/BUILDROOT Wrote: /builddir/build/RPMS/kissat-debuginfo-3.1.1-5.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/kissat-libs-3.1.1-5.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/kissat-3.1.1-5.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/kissat-devel-3.1.1-5.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/kissat-debugsource-3.1.1-5.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/kissat-libs-debuginfo-3.1.1-5.fc41.riscv64.rpm Child return code was: 0