Mock Version: 6.1
Mock Version: 6.1
Mock Version: 6.1
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target ppc64le --nodeps /builddir/build/SPECS/kissat.spec'], chrootPath='/var/lib/mock/f43-build-58456051-6565554/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fffa9271370>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blml3bkn:/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'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blml3bkn:/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', '7e32dce967314a788e225b388a30a452', '-D', '/var/lib/mock/f43-build-58456051-6565554/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blml3bkn:/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;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target ppc64le --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1737676800
Wrote: /builddir/build/SRPMS/kissat-4.0.2-1.fc43.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target ppc64le --nodeps /builddir/build/SPECS/kissat.spec'], chrootPath='/var/lib/mock/f43-build-58456051-6565554/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fffa9271370>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blml3bkn:/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'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blml3bkn:/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', 'aa2fe5285e9246b4be85e462dda65e06', '-D', '/var/lib/mock/f43-build-58456051-6565554/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blml3bkn:/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;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target ppc64le --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1737676800
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.XVUfSp
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.PV6Nue
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.2-build
+ cd /builddir/build/BUILD/kissat-4.0.2-build
+ rm -rf kissat-rel-4.0.2
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/kissat-4.0.2.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd kissat-rel-4.0.2
+ /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
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%conf): /bin/sh -e /var/tmp/rpm-tmp.R7Rq9J
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.2-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -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-4.0.2
+ 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
+ sed -e 's|-W -Wall|-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC|' -e 's|^\(passtolinker=\)""|\1" -Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -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
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.qcIDw1
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.2-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -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-4.0.2
+ ./configure -O2 --test
configure: new build directory 'build'
configure: assuming GCC version 15.0.1-0) uses C99 by default
configure: compiler 'gcc  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG'
configure: linker 'gcc -Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -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 -j8 V=1 VERBOSE=1
/usr/bin/make -C "/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build"
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/main.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/witness.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/allocate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/ands.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/arena.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
../scripts/generate-build-header.sh > build.h
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/averages.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/check.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/assign.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/backtrack.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/classify.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/colors.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/parse.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/config.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/backbone.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/bump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/clause.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/application.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/analyze.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/dump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/decide.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/compact.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/definition.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/error.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/deduce.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/equivalences.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/dense.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/extend.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/collect.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/file.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/format.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/handle.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/eliminate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/gates.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/flags.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/heap.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/import.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/ifthenelse.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/kimits.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/krite.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/forward.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/logging.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/fastel.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/internal.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/learn.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/mode.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/phases.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/minimize.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/lucky.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/preprocess.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/probe.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/factor.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/print.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/promote.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/profile.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/propdense.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/propbeyond.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/proof.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/queue.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/propinitially.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/reluctant.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/proprobe.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/propsearch.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/kitten.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/rephase.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/reduce.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/resize.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/resources.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/restart.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/reorder.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/smooth.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/resolve.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/search.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/stack.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/sort.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/options.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/shrink.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/terminate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/strengthen.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/tiers.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/trail.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/utilities.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/substitute.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/vector.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/report.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/warmup.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/statistics.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/weaken.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/transitive.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/congruence.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testadd.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/watch.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testapplication.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testallocate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -I../build -c ../test/test.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testarray.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/walk.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testbump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testarena.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testceil.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/sweep.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testconfig.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testcoverage.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testcollect.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testdivert.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testdump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testendianness.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testerror.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testinit.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testfifo.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testkitten.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testfile.c
../test/testfile.c: In function ‘test_file_readable’:
../test/testfile.c:43:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   43 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:53:3: note: in expansion of macro ‘READABLE’
   53 |   READABLE (false, "non-existing-file");
      |   ^~~~~~~~
../test/testfile.c:43:22: note: did you mean to use logical not?
   43 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:53:3: note: in expansion of macro ‘READABLE’
   53 |   READABLE (false, "non-existing-file");
      |   ^~~~~~~~
../test/testfile.c:43:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   43 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:54:3: note: in expansion of macro ‘READABLE’
   54 |   READABLE (true, "tissat");
      |   ^~~~~~~~
../test/testfile.c:43:22: note: did you mean to use logical not?
   43 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:54:3: note: in expansion of macro ‘READABLE’
   54 |   READABLE (true, "tissat");
      |   ^~~~~~~~
../test/testfile.c:43:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   43 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:55:3: note: in expansion of macro ‘READABLE’
   55 |   READABLE (true, ".");
      |   ^~~~~~~~
../test/testfile.c:43:22: note: did you mean to use logical not?
   43 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:55:3: note: in expansion of macro ‘READABLE’
   55 |   READABLE (true, ".");
      |   ^~~~~~~~
../test/testfile.c:43:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   43 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:57:5: note: in expansion of macro ‘READABLE’
   57 |     READABLE (false, "/etc/shadow");
      |     ^~~~~~~~
../test/testfile.c:43:22: note: did you mean to use logical not?
   43 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:57:5: note: in expansion of macro ‘READABLE’
   57 |     READABLE (false, "/etc/shadow");
      |     ^~~~~~~~
../test/testfile.c:43:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   43 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:59:5: note: in expansion of macro ‘READABLE’
   59 |     READABLE (true, "/dev/null");
      |     ^~~~~~~~
../test/testfile.c:43:22: note: did you mean to use logical not?
   43 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:59:5: note: in expansion of macro ‘READABLE’
   59 |     READABLE (true, "/dev/null");
      |     ^~~~~~~~
../test/testfile.c: In function ‘test_file_writable’:
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:79:3: note: in expansion of macro ‘WRITABLE’
   79 |   WRITABLE (true, "../test/file/writable");
      |   ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:79:3: note: in expansion of macro ‘WRITABLE’
   79 |   WRITABLE (true, "../test/file/writable");
      |   ^~~~~~~~
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:81:5: note: in expansion of macro ‘WRITABLE’
   81 |     WRITABLE (true, "/dev/null");
      |     ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:81:5: note: in expansion of macro ‘WRITABLE’
   81 |     WRITABLE (true, "/dev/null");
      |     ^~~~~~~~
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:82:3: note: in expansion of macro ‘WRITABLE’
   82 |   WRITABLE (false, "");
      |   ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:82:3: note: in expansion of macro ‘WRITABLE’
   82 |   WRITABLE (false, "");
      |   ^~~~~~~~
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:83:3: note: in expansion of macro ‘WRITABLE’
   83 |   WRITABLE (true, "non-existing-file");
      |   ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:83:3: note: in expansion of macro ‘WRITABLE’
   83 |   WRITABLE (true, "non-existing-file");
      |   ^~~~~~~~
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:84:3: note: in expansion of macro ‘WRITABLE’
   84 |   WRITABLE (false, ".");
      |   ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:84:3: note: in expansion of macro ‘WRITABLE’
   84 |   WRITABLE (false, ".");
      |   ^~~~~~~~
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:85:3: note: in expansion of macro ‘WRITABLE’
   85 |   WRITABLE (false, "/");
      |   ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:85:3: note: in expansion of macro ‘WRITABLE’
   85 |   WRITABLE (false, "/");
      |   ^~~~~~~~
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:86:3: note: in expansion of macro ‘WRITABLE’
   86 |   WRITABLE (false, "tissat/test");
      |   ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:86:3: note: in expansion of macro ‘WRITABLE’
   86 |   WRITABLE (false, "tissat/test");
      |   ^~~~~~~~
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:87:3: note: in expansion of macro ‘WRITABLE’
   87 |   WRITABLE (true, "../test/file/non-existing");
      |   ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:87:3: note: in expansion of macro ‘WRITABLE’
   87 |   WRITABLE (true, "../test/file/non-existing");
      |   ^~~~~~~~
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:88:3: note: in expansion of macro ‘WRITABLE’
   88 |   WRITABLE (false, "/kissat-test-file-writable");
      |   ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:88:3: note: in expansion of macro ‘WRITABLE’
   88 |   WRITABLE (false, "/kissat-test-file-writable");
      |   ^~~~~~~~
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:89:3: note: in expansion of macro ‘WRITABLE’
   89 |   WRITABLE (false, "non-existinmake[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
g-directory/file-in-non-existing-directory");
      |   ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:89:3: note: in expansion of macro ‘WRITABLE’
   89 |   WRITABLE (false, "non-existing-directory/file-in-non-existing-directory");
      |   ^~~~~~~~
../test/testfile.c:69:22: warning: ‘~’ on a boolean expression [-Wbool-operation]
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:91:5: note: in expansion of macro ‘WRITABLE’
   91 |     WRITABLE (false, "/etc/passwd");
      |     ^~~~~~~~
../test/testfile.c:69:22: note: did you mean to use logical not?
   69 |     else if (!RES && ~EXPECTED) \
      |                      ^
../test/testfile.c:91:5: note: in expansion of macro ‘WRITABLE’
   91 |     WRITABLE (false, "/etc/passwd");
      |     ^~~~~~~~
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testmain.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testmessages.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testparse.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testheap.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testprove.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testqueue.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testrandom.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testoptions.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testreluctant.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testsizes.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testrank.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testterminate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testsolve.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../src/vivify.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/teststack.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testusage.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testscheduler.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testformat.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testreferences.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -I../build -c ../src/build.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testutilities.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testvector.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection  -fPIC -O2 -DNDEBUG -c ../test/testsort.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -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 classify.o clause.o collect.o colors.o compact.o config.o congruence.o decide.o deduce.o definition.o dense.o dump.o eliminate.o equivalences.o error.o extend.o factor.o fastel.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 krite.o learn.o logging.o lucky.o minimize.o mode.o options.o phases.o preprocess.o print.o probe.o profile.o promote.o proof.o propbeyond.o propdense.o propinitially.o proprobe.o propsearch.o queue.o reduce.o reluctant.o reorder.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 tiers.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-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -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-4.0.2-build/kissat-rel-4.0.2/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build'
gcc -Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -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 testfifo.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-4.0.2-build/kissat-rel-4.0.2/build'
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build
+ help2man --version-string=4.0.2 -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.GCsiHm
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.2-build
+ '[' /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT
++ dirname /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/kissat-4.0.2-build
+ mkdir /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -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-4.0.2
+ mkdir -p /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/bin
+ cp -p build/kissat /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/bin
+ mkdir -p /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/lib64
+ cp -p build/libkissat.so.0.0.0 /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/lib64
+ ln -s libkissat.so.0.0.0 /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/lib64/libkissat.so.0
+ ln -s libkissat.so.0 /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/lib64/libkissat.so
+ mkdir -p /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/include
+ cp -p src/kissat.h /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/include
+ mkdir -p /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/share/man/man1
+ cp -p kissat.1 /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/share/man/man1
+ /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 4.0.2-1.fc43 --unique-debug-suffix -4.0.2-1.fc43.ppc64le --unique-debug-src-base kissat-4.0.2-1.fc43.ppc64le --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2
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-4.0.2-1.fc43.ppc64le
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
+ /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j8
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j8 /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT
Scanned 19 directories and 206 files,
               processed 1 inodes,
               0 modified (0 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/kissat-4.0.2-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.c4DKdr
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.2-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -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-4.0.2
+ LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build
+ build/tissat
TISSAT Tester for KISSAT
Copyright (c) 2021-2024 Armin Biere University of Freiburg
Copyright (c) 2019-2021 Armin Biere Johannes Kepler University Linz
Version 4.0.2 unknown
gcc (GCC) 15.0.1 20250329 (Red Hat 15.0.1-0) -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNDEBUG
Wed Apr 2 04:41:30 PM UTC 2025 Linux aa2fe5285e9246b4be85e462dda65e06 6.12.10-200.fc41.ppc64le ppc64le
Use '-h' to print usage (i.e., how to use patterns).
Changed to '/builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/build' directory.
Parallel execution using at most 8 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).
Did not find 'dpr-trim' executable.
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 1 jobs through 'tissat_schedule_fifo'.
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 46 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 504 jobs through 'tissat_schedule_solve'.
Scheduled 45 jobs through 'tissat_schedule_coverage'.
Scheduled 0 jobs through 'tissat_schedule_terminate'.
Scheduled 112 jobs through 'tissat_schedule_prove'.
Running 771 jobs in parallel using up to 8 processes.
All 771 test jobs succeeded in 1.46 seconds.
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: kissat-4.0.2-1.fc43.ppc64le
Provides: kissat = 4.0.2-1.fc43 kissat(ppc-64) = 4.0.2-1.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libkissat.so.0()(64bit) rtld(GNU_HASH)
Processing files: kissat-libs-4.0.2-1.fc43.ppc64le
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.dylVJG
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.2-build
+ cd kissat-rel-4.0.2
+ DOCDIR=/builddir/build/BUILD/kissat-4.0.2-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-4.0.2-build/BUILDROOT/usr/share/doc/kissat-libs
+ cp -pr /builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/README.md /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/share/doc/kissat-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.VsLLuk
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.2-build
+ cd kissat-rel-4.0.2
+ LICENSEDIR=/builddir/build/BUILD/kissat-4.0.2-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-4.0.2-build/BUILDROOT/usr/share/licenses/kissat-libs
+ cp -pr /builddir/build/BUILD/kissat-4.0.2-build/kissat-rel-4.0.2/LICENSE /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT/usr/share/licenses/kissat-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: kissat-libs = 4.0.2-1.fc43 kissat-libs(ppc-64) = 4.0.2-1.fc43 libkissat.so.0()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(64bit) rtld(GNU_HASH)
Processing files: kissat-devel-4.0.2-1.fc43.ppc64le
Provides: kissat-devel = 4.0.2-1.fc43 kissat-devel(ppc-64) = 4.0.2-1.fc43
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-4.0.2-1.fc43.ppc64le
Provides: kissat-debugsource = 4.0.2-1.fc43 kissat-debugsource(ppc-64) = 4.0.2-1.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: kissat-debuginfo-4.0.2-1.fc43.ppc64le
Provides: debuginfo(build-id) = 8dafc66e2df09b784c3010815b7c4240f50c6e67 kissat-debuginfo = 4.0.2-1.fc43 kissat-debuginfo(ppc-64) = 4.0.2-1.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: kissat-debugsource(ppc-64) = 4.0.2-1.fc43
Processing files: kissat-libs-debuginfo-4.0.2-1.fc43.ppc64le
Provides: debuginfo(build-id) = 9e4133fab0bdcb57f6a8d644068e9d67cd26dadb kissat-libs-debuginfo = 4.0.2-1.fc43 kissat-libs-debuginfo(ppc-64) = 4.0.2-1.fc43 libkissat.so.0.0.0-4.0.2-1.fc43.ppc64le.debug()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: kissat-debugsource(ppc-64) = 4.0.2-1.fc43
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/kissat-4.0.2-build/BUILDROOT
Wrote: /builddir/build/RPMS/kissat-devel-4.0.2-1.fc43.ppc64le.rpm
Wrote: /builddir/build/RPMS/kissat-4.0.2-1.fc43.ppc64le.rpm
Wrote: /builddir/build/RPMS/kissat-debuginfo-4.0.2-1.fc43.ppc64le.rpm
Wrote: /builddir/build/RPMS/kissat-libs-4.0.2-1.fc43.ppc64le.rpm
Wrote: /builddir/build/RPMS/kissat-debugsource-4.0.2-1.fc43.ppc64le.rpm
Wrote: /builddir/build/RPMS/kissat-libs-debuginfo-4.0.2-1.fc43.ppc64le.rpm
Child return code was: 0