Mock Version: 3.5
Mock Version: 3.5
Mock Version: 3.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/kissat.spec'], chrootPath='/var/lib/mock/f41-build-850438-165391/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 0x3f7a7efa90>timeout=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/kissat.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1726185600
Wrote: /builddir/build/SRPMS/kissat-4.0.1-1.fc41.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/kissat.spec'], chrootPath='/var/lib/mock/f41-build-850438-165391/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 0x3f7a7efa90>timeout=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/kissat.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1726185600
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.5UGgP3
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.1-build
+ test -d /builddir/build/BUILD/kissat-4.0.1-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/kissat-4.0.1-build
+ /usr/bin/rm -rf /builddir/build/BUILD/kissat-4.0.1-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/kissat-4.0.1-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/kissat-4.0.1-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Jkfhpd
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.1-build
+ cd /builddir/build/BUILD/kissat-4.0.1-build
+ rm -rf kissat-rel-4.0.1
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/kissat-4.0.1.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd kissat-rel-4.0.1
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/kissat-shared.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ sed -i 's/ handle\.c//' makefile.in
+ sed -i 's/@SOVER@/0.0.0/;s/@MAJVER@/0/' makefile.in
+ sed -ri '/sqrt|prime/s/false/true/' test/testcnfs.h
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.OuU468
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.1-build
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd kissat-rel-4.0.1
+ sed -e 's|-W -Wall|-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC|' -e 's|^\(passtolinker=\)""|\1" -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes "|' -i configure
+ ./configure -O2 --test
configure: new build directory 'build'
configure: assuming GCC version 14.2.1-1) uses C99 by default
configure: compiler 'gcc  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG'
configure: linker 'gcc -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' (additional options)
configure: using default 'ar' (no cross compilation)
configure: adding 'tissat' goal to default makefile goal too
configure: no 'libkissat.so' shared library generated (without '-shared')
configure: no 'kitten' binary generated (without '--kitten')
configure: linking src/makefile
+ /usr/bin/make -O -j4 V=1 VERBOSE=1
/usr/bin/make -C "/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build"
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/main.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/witness.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/allocate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/ands.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/arena.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/parse.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/application.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/averages.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/assign.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
../scripts/generate-build-header.sh > build.h
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/backtrack.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/check.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/analyze.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/classify.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/backbone.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/bump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/colors.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/clause.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/config.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/decide.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/compact.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/definition.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/deduce.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/collect.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/dump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/equivalences.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/error.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/extend.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/dense.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/eliminate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/file.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/flags.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/format.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/fastel.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/gates.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/handle.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/heap.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/factor.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/ifthenelse.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/import.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/forward.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/kimits.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/internal.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/krite.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/logging.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/learn.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/lucky.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/minimize.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/mode.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/phases.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/preprocess.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/kitten.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/congruence.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/print.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/probe.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/promote.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/profile.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/propbeyond.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/proof.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/propdense.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/propinitially.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/proprobe.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/propsearch.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/queue.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/reluctant.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/reduce.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/rephase.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/options.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/resize.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/reorder.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/resources.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/restart.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/resolve.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/search.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/smooth.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/stack.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/sort.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/shrink.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/strengthen.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/substitute.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/terminate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/report.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/statistics.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/trail.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/utilities.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/tiers.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/vector.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/sweep.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/warmup.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/transitive.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/weaken.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/walk.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testadd.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/watch.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -I../build -c ../test/test.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testapplication.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testallocate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testarena.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testarray.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testbump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testceil.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testconfig.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testcollect.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testcoverage.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testdivert.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testdump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testendianness.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testerror.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testfifo.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testfile.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../src/vivify.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testinit.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testkitten.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testmain.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testformat.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testmessages.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testheap.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testparse.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testprove.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testrandom.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testqueue.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testoptions.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testreluctant.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testrank.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testsizes.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testscheduler.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testsolve.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testterminate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/teststack.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testreferences.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testusage.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testutilities.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -I../build -c ../src/build.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testsort.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -O2 -DNDEBUG -c ../test/testvector.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  -shared -Wl,-h,libkissat.so.0 -o libkissat.so.0.0.0 allocate.o analyze.o ands.o arena.o assign.o averages.o backbone.o backtrack.o build.o bump.o check.o 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.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  -o kissat main.o application.o parse.o witness.o libkissat.so -lm
make[1]: Leaving directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build'
gcc -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  -o tissat test.o application.o parse.o witness.o testadd.o testallocate.o testapplication.o testarena.o testarray.o testbump.o testceil.o testcollect.o testconfig.o testcoverage.o testdivert.o testdump.o testendianness.o testerror.o 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.1-build/kissat-rel-4.0.1/build'
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build
+ help2man --version-string=4.0.1 -N -n 'Keep It Simple SAT solver' -o kissat.1 build/kissat
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.zL9jR6
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.1-build
+ '[' /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT
++ dirname /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/kissat-4.0.1-build
+ mkdir /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd kissat-rel-4.0.1
+ mkdir -p /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/bin
+ cp -p build/kissat /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/bin
+ mkdir -p /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/lib64
+ cp -p build/libkissat.so.0.0.0 /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/lib64
+ ln -s libkissat.so.0.0.0 /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/lib64/libkissat.so.0
+ ln -s libkissat.so.0 /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/lib64/libkissat.so
+ mkdir -p /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/include
+ cp -p src/kissat.h /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/include
+ mkdir -p /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/share/man/man1
+ cp -p kissat.1 /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/share/man/man1
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 4.0.1-1.fc41 --unique-debug-suffix -4.0.1-1.fc41.riscv64 --unique-debug-src-base kissat-4.0.1-1.fc41.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1
find-debuginfo: starting
Extracting debug info from 2 files
DWARF-compressing 2 files
sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/kissat-4.0.1-1.fc41.riscv64
2179 blocks
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT
Scanned 19 directories and 206 files,
               processed 0 inodes,
               0 modified (0 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/kissat-4.0.1-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.T6FEWf
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.1-build
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd kissat-rel-4.0.1
+ LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/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.1 unknown
gcc (GCC) 14.2.1 20240801 (Red Hat 14.2.1-1) -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O2 -DNDEBUG
Mon Sep 23 12:56:08 PM UTC 2024 Linux nufive.home.annexia.org 6.0.10-300.0.riscv64.fc37.riscv64 riscv64
Use '-h' to print usage (i.e., how to use patterns).
Changed to '/builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/build' directory.
Parallel execution using at most 4 processes (by default).
Job execution progress reporting disabled (enable with '-p').
Found '../test' directory (running test cases that need '../test' too).
Did not find 'drabt' executable.
Found 'drat-trim' executable (will check proofs with it).
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 4 processes.
All 771 test jobs succeeded in 13.11 seconds.
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: kissat-4.0.1-1.fc41.riscv64
Provides: kissat = 4.0.1-1.fc41 kissat(riscv-64) = 4.0.1-1.fc41
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.34)(64bit) libkissat.so.0()(64bit) rtld(GNU_HASH)
Processing files: kissat-libs-4.0.1-1.fc41.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.h8hXrX
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.1-build
+ cd kissat-rel-4.0.1
+ DOCDIR=/builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/share/doc/kissat-libs
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/share/doc/kissat-libs
+ cp -pr /builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/README.md /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/share/doc/kissat-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.kQ0eqE
+ umask 022
+ cd /builddir/build/BUILD/kissat-4.0.1-build
+ cd kissat-rel-4.0.1
+ LICENSEDIR=/builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/share/licenses/kissat-libs
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/share/licenses/kissat-libs
+ cp -pr /builddir/build/BUILD/kissat-4.0.1-build/kissat-rel-4.0.1/LICENSE /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT/usr/share/licenses/kissat-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: kissat-libs = 4.0.1-1.fc41 kissat-libs(riscv-64) = 4.0.1-1.fc41 libkissat.so.0()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.33)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) rtld(GNU_HASH)
Processing files: kissat-devel-4.0.1-1.fc41.riscv64
Provides: kissat-devel = 4.0.1-1.fc41 kissat-devel(riscv-64) = 4.0.1-1.fc41
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libkissat.so.0()(64bit)
Processing files: kissat-debugsource-4.0.1-1.fc41.riscv64
Provides: kissat-debugsource = 4.0.1-1.fc41 kissat-debugsource(riscv-64) = 4.0.1-1.fc41
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.1-1.fc41.riscv64
Provides: debuginfo(build-id) = 482f3dabae948e4d00ed5b4ce867acd5bc82746d kissat-debuginfo = 4.0.1-1.fc41 kissat-debuginfo(riscv-64) = 4.0.1-1.fc41
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: kissat-debugsource(riscv-64) = 4.0.1-1.fc41
Processing files: kissat-libs-debuginfo-4.0.1-1.fc41.riscv64
Provides: debuginfo(build-id) = 8654f106c63cd97e55b8f9fc0f407147d60f13bf kissat-libs-debuginfo = 4.0.1-1.fc41 kissat-libs-debuginfo(riscv-64) = 4.0.1-1.fc41 libkissat.so.0.0.0-4.0.1-1.fc41.riscv64.debug()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: kissat-debugsource(riscv-64) = 4.0.1-1.fc41
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/kissat-4.0.1-build/BUILDROOT
Wrote: /builddir/build/RPMS/kissat-debuginfo-4.0.1-1.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/kissat-4.0.1-1.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/kissat-libs-4.0.1-1.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/kissat-devel-4.0.1-1.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/kissat-debugsource-4.0.1-1.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/kissat-libs-debuginfo-4.0.1-1.fc41.riscv64.rpm
Child return code was: 0