Mock Version: 1.4.21
Mock Version: 1.4.21
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/kissat.spec'], chrootPath='/var/lib/mock/f33-build-287304-53791/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': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fc5c58700>timeout=432000uid=987gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --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': 'en_US.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1594512000
Wrote: /builddir/build/SRPMS/kissat-0-0.1.20200704gitbaef460.fc33.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/kissat.spec'], chrootPath='/var/lib/mock/f33-build-287304-53791/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': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fc5c58700>timeout=432000uid=987gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --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': 'en_US.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1594512000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.8JFLw2
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf kissat-baef4609163f542dc08f43aef02ce8da0581a2b5
+ /usr/bin/gzip -dc /builddir/build/SOURCES/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd kissat-baef4609163f542dc08f43aef02ce8da0581a2b5
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch
+ /usr/bin/cat /builddir/build/SOURCES/kissat-shared.patch
+ sed -e 's|-W -Wall|-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC|' -e 's|^\(passthrough=\)""|\1" -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld"|' -i configure
+ sed -i 's/ handle\.c//' makefile.in
+ sed -i 's/@SOVER@/0.0.0/;s/@MAJVER@/0/' makefile.in
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.DFuTu3
+ umask 022
+ cd /builddir/build/BUILD
+ cd kissat-baef4609163f542dc08f43aef02ce8da0581a2b5
+ ./configure -O2 --test
configure: new build directory 'build'
configure: compiler 'gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
configure: linker 'gcc -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' (additional options)
configure: using default 'ar' (no cross compilation)
configure: adding 'tissat' to default makefile goal too
+ /usr/bin/make -O -j4 V=1 VERBOSE=1
/usr/bin/make -C "/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build"
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/arena.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/ands.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/allocate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/averages.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/analyze.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/assign.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
../scripts/generate-build-header.sh > build.h
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/backtrack.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/check.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/backward.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/autarky.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/bump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/colors.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/clueue.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/clause.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/config.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/decide.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/compact.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/deduce.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/dump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/dominate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/collect.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/equivalences.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/error.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/dense.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/extend.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/eliminate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/flags.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/file.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/format.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/frames.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/gates.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/handle.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/heap.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/failed.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/ifthenelse.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/import.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/forward.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/logging.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/learn.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/internal.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/limits.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/mode.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/phases.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/minimize.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/probe.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/print.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/profile.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/promote.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/propdense.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/proof.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/options.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/proprobe.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/prophyper.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/queue.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/propsearch.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/reluctant.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/rephase.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/reduce.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/resize.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/resources.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/restart.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/resolve.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/report.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/smooth.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/search.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/stack.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/sort.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/terminate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/statistics.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/strengthen.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/trail.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/substitute.c
../src/substitute.c: In function 'kissat_substitute':
../src/substitute.c:569:16: warning: array subscript 3 is above array bounds of 'unsigned int[3]' [-Warray-bounds]
  569 |         c->lits[old_size - 1] = INVALID_LIT;
      |         ~~~~~~~^~~~~~~~~~~~~~
In file included from ../src/internal.h:8,
                 from ../src/inline.h:4,
                 from ../src/substitute.c:3:
../src/clause.h:33:12: note: while referencing 'lits'
   33 |   unsigned lits[3];
      |            ^~~~
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/utilities.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/transitive.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/ternary.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/vector.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/weaken.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/watch.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/main.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/walk.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/xors.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/witness.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/application.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/vivify.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../src/parse.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testadd.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -I../build -c ../test/test.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testallocate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testapplication.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testbump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testarena.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testcoverage.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testcollect.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testdump.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testendianess.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testdivert.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testerror.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testheap.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testinit.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testformat.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testmain.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testmessages.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testfile.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testparse.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testoptions.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testprove.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testqueue.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testrandom.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testreluctant.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testrank.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testsizes.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testsolve.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testscheduler.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testterminate.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testreferences.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testusage.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/teststack.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -I../build -c ../src/build.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testsort.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -c ../test/testvector.c
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared -Wl,-h,libkissat.so.0 -o libkissat.so.0.0.0 allocate.o analyze.o ands.o arena.o assign.o autarky.o averages.o backtrack.o backward.o build.o bump.o check.o clause.o clueue.o collect.o colors.o compact.o config.o decide.o deduce.o dense.o dominate.o dump.o eliminate.o equivalences.o error.o extend.o failed.o file.o flags.o format.o forward.o frames.o gates.o handle.o heap.o ifthenelse.o import.o internal.o learn.o limits.o logging.o minimize.o mode.o options.o phases.o print.o probe.o profile.o promote.o proof.o propdense.o prophyper.o proprobe.o propsearch.o queue.o reduce.o reluctant.o rephase.o report.o resize.o resolve.o resources.o restart.o search.o smooth.o sort.o stack.o statistics.o strengthen.o substitute.o terminate.o ternary.o trail.o transitive.o utilities.o vector.o vivify.o walk.o watch.o weaken.o xors.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-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o kissat main.o application.o parse.o witness.o -L. -lkissat -lm
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
make[1]: Entering directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
gcc -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o tissat test.o application.o parse.o witness.o testadd.o testallocate.o testapplication.o testarena.o testbump.o testcollect.o testcoverage.o testdivert.o testdump.o testendianess.o testerror.o testfile.o testformat.o testheap.o testinit.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 testvector.o -L. -lkissat -lm
make[1]: Leaving directory '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build'
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build
+ help2man --version-string=0 -N -o kissat.1 build/kissat
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.U6NnO1
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64
++ dirname /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64
+ cd kissat-baef4609163f542dc08f43aef02ce8da0581a2b5
+ mkdir -p /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/bin
+ cp -p build/kissat /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/bin
+ mkdir -p /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/lib64
+ cp -p build/libkissat.so.0.0.0 /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/lib64
+ ln -s libkissat.so.0.0.0 /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/lib64/libkissat.so.0
+ ln -s libkissat.so.0 /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/lib64/libkissat.so
+ mkdir -p /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/include
+ cp -p src/kissat.h /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/include
+ mkdir -p /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/share/man/man1
+ cp -p kissat.1 /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/share/man/man1
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0-0.1.20200704gitbaef460.fc33 --unique-debug-suffix -0-0.1.20200704gitbaef460.fc33.riscv64 --unique-debug-src-base kissat-0-0.1.20200704gitbaef460.fc33.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/bin/kissat
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/lib64/libkissat.so.0.0.0
extracting debug info from /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/lib64/libkissat.so.0.0.0
extracting debug info from /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/bin/kissat
original debug info size: 5884kB, size after compression: 5260kB
/usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match.
1223 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.9GDUa2
+ umask 022
+ cd /builddir/build/BUILD
+ cd kissat-baef4609163f542dc08f43aef02ce8da0581a2b5
+ LD_LIBRARY_PATH=/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/build
+ build/tissat
TISSAT Tester for KISSAT
Copyright (c) 2019-2020 Armin Biere JKU Linz
Version 1.0.3 unknown
gcc (GCC) 10.2.1 20200804 (Red Hat 10.2.1-2) -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -O2 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld
Thu Aug 13 07:00:43 AM EDT 2020 Linux fedora-riscv-3.gcc164.osuosl.org 5.5.0-0.rc5.git0.1.1.riscv64.fc32.riscv64 riscv64
Use '-h' to print usage (i.e., how to use patterns).
Changed to '/builddir/build/BUILD/kissat-baef4609163f542dc08f43aef02ce8da0581a2b5/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).
Found 'bzip2' executable for testing compression.
Found 'gzip' executable for testing compression.
Found 'lzma' executable for testing compression.
Found 'xz' executable for testing compression.
Found '7z' executable for testing compression.
Scheduled 4 jobs through 'tissat_schedule_error'.
Scheduled 1 jobs through 'tissat_schedule_endianess'.
Scheduled 1 jobs through 'tissat_schedule_format'.
Scheduled 1 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 2 jobs through 'tissat_schedule_stack'.
Scheduled 4 jobs through 'tissat_schedule_arena'.
Scheduled 3 jobs through 'tissat_schedule_heap'.
Scheduled 2 jobs through 'tissat_schedule_vector'.
Scheduled 2 jobs through 'tissat_schedule_rank'.
Scheduled 2 jobs through 'tissat_schedule_sort'.
Scheduled 1 jobs through 'tissat_schedule_bump'.
Scheduled 4 jobs through 'tissat_schedule_options'.
Scheduled 5 jobs through 'tissat_schedule_init'.
Scheduled 1 jobs through 'tissat_schedule_add'.
Scheduled 6 jobs through 'tissat_schedule_file'.
Scheduled 2 jobs through 'tissat_schedule_parse'.
Scheduled 51 jobs through 'tissat_schedule_usage'.
Scheduled 6 jobs through 'tissat_schedule_main'.
Scheduled 1 jobs through 'tissat_schedule_collect'.
Scheduled 402 jobs through 'tissat_schedule_solve'.
Scheduled 43 jobs through 'tissat_schedule_coverage'.
Scheduled 0 jobs through 'tissat_schedule_terminate'.
Scheduled 133 jobs through 'tissat_schedule_prove'.
Running 684 jobs in parallel using up to 4 processes.
All 684 test jobs succeeded in 93.64 seconds.
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: kissat-0-0.1.20200704gitbaef460.fc33.riscv64
Provides: kissat = 0-0.1.20200704gitbaef460.fc33 kissat(riscv-64) = 0-0.1.20200704gitbaef460.fc33
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) libkissat.so.0()(64bit) rtld(GNU_HASH)
Processing files: kissat-libs-0-0.1.20200704gitbaef460.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.ZTQmf4
+ umask 022
+ cd /builddir/build/BUILD
+ cd kissat-baef4609163f542dc08f43aef02ce8da0581a2b5
+ DOCDIR=/builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/share/doc/kissat-libs
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/share/doc/kissat-libs
+ cp -pr README.md /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/share/doc/kissat-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.ahdsS1
+ umask 022
+ cd /builddir/build/BUILD
+ cd kissat-baef4609163f542dc08f43aef02ce8da0581a2b5
+ LICENSEDIR=/builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/share/licenses/kissat-libs
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/share/licenses/kissat-libs
+ cp -pr LICENSE /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64/usr/share/licenses/kissat-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: kissat-libs = 0-0.1.20200704gitbaef460.fc33 kissat-libs(riscv-64) = 0-0.1.20200704gitbaef460.fc33 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) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) rtld(GNU_HASH)
Processing files: kissat-devel-0-0.1.20200704gitbaef460.fc33.riscv64
Provides: kissat-devel = 0-0.1.20200704gitbaef460.fc33 kissat-devel(riscv-64) = 0-0.1.20200704gitbaef460.fc33
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-0-0.1.20200704gitbaef460.fc33.riscv64
Provides: kissat-debugsource = 0-0.1.20200704gitbaef460.fc33 kissat-debugsource(riscv-64) = 0-0.1.20200704gitbaef460.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: kissat-debuginfo-0-0.1.20200704gitbaef460.fc33.riscv64
Provides: debuginfo(build-id) = abd338160808b9b7e13c04ad887c495b39097a45 kissat-debuginfo = 0-0.1.20200704gitbaef460.fc33 kissat-debuginfo(riscv-64) = 0-0.1.20200704gitbaef460.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: kissat-debugsource(riscv-64) = 0-0.1.20200704gitbaef460.fc33
Processing files: kissat-libs-debuginfo-0-0.1.20200704gitbaef460.fc33.riscv64
Provides: debuginfo(build-id) = 1bb12a51374d0fe20c377d6aff0ddbcd2020924d kissat-libs-debuginfo = 0-0.1.20200704gitbaef460.fc33 kissat-libs-debuginfo(riscv-64) = 0-0.1.20200704gitbaef460.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: kissat-debugsource(riscv-64) = 0-0.1.20200704gitbaef460.fc33
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64
Wrote: /builddir/build/RPMS/kissat-libs-0-0.1.20200704gitbaef460.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/kissat-debuginfo-0-0.1.20200704gitbaef460.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/kissat-devel-0-0.1.20200704gitbaef460.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/kissat-0-0.1.20200704gitbaef460.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/kissat-debugsource-0-0.1.20200704gitbaef460.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/kissat-libs-debuginfo-0-0.1.20200704gitbaef460.fc33.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.YMzT22
+ umask 022
+ cd /builddir/build/BUILD
+ cd kissat-baef4609163f542dc08f43aef02ce8da0581a2b5
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/kissat-0-0.1.20200704gitbaef460.fc33.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0