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/cadical.spec'], chrootPath='/var/lib/mock/f33-build-137320-42001/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 0x3fb18b1700>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/cadical.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<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=1580169600
Wrote: /builddir/build/SRPMS/cadical-1.2.1-2.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/cadical.spec'], chrootPath='/var/lib/mock/f33-build-137320-42001/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 0x3fb18b1700>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/cadical.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<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=1580169600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.KtZRrN
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf cadical-rel-1.2.1
+ /usr/bin/gzip -dc /builddir/build/SOURCES/rel-1.2.1.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd cadical-rel-1.2.1
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/cat /builddir/build/SOURCES/cadical-shared.patch
+ /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch
+ sed -i '/^-e/s/,/|/g;s/-O3/-O2/' configure
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.XGCaiL
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.2.1
+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC'
+ ./configure -j4
configure: making default 'build' directory
configure: building in default '/builddir/build/BUILD/cadical-rel-1.2.1/build'
configure: root directory '/builddir/build/BUILD/cadical-rel-1.2.1'
configure: compiler supports all required C99/C++0x extensions
configure: unlocked IO with '{putc,getc}_unlocked' seems to work
configure: compiling with 'g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/builddir/build/BUILD/cadical-rel-1.2.1/build/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'
+ sed -i 's|@LDFLAGS@|-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld|' build/makefile
+ /usr/bin/make -O -j4 V=1 VERBOSE=1
/usr/bin/make -C "/builddir/build/BUILD/cadical-rel-1.2.1/build"
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: warning: -j4 forced in makefile: resetting jobserver mode.
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/arena.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/averages.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/assume.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/analyze.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/backward.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/backtrack.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/bins.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ccadical.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/clause.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/block.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/collect.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/checker.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/config.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/condition.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/cover.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/compact.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/decide.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/decompose.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/deduplicate.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ema.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/extend.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/elim.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/file.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/external.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/flags.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/format.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ipasir.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/limit.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/gates.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/logging.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/instantiate.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/lucky.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/internal.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/message.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/minimize.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/occs.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/parse.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/phases.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/profile.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/proof.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/probe.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/options.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/propagate.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/random.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/queue.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/rephase.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/reduce.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/resources.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/report.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/signal.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/restart.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/restore.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/score.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/solution.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/terminal.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/solver.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/stats.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/subsume.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/tracer.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ternary.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/transred.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/util.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/var.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/walk.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/watch.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/version.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/cadical.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/vivify.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
rm -f libcadical.so
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -shared -Wl,-h,libcadical.so.0 -o libcadical.so.0.0.0 -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o cover.o decide.o decompose.o deduplicate.o elim.o ema.o extend.o external.o file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o
ln -s libcadical.so.0.0.0 libcadical.so.0
ln -s libcadical.so.0 libcadical.so
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -L. -lcadical
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/mobical.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
../src/mobical.cpp: In member function 'int CaDiCaL::Mobical::main(int, char**)':
../src/mobical.cpp:2900:28: warning: implicitly-declared 'constexpr CaDiCaL::Random& CaDiCaL::Random::operator=(const CaDiCaL::Random&)' is deprecated [-Wdeprecated-copy]
 2900 |       random = Random (seed);
      |                            ^
In file included from ../src/internal.hpp:75,
                 from ../src/mobical.cpp:107:
../src/random.hpp:23:3: note: because 'CaDiCaL::Random' has user-provided 'CaDiCaL::Random::Random(const CaDiCaL::Random&)'
   23 |   Random (const Random & other) : state (other.seed ()) { }
      |   ^~~~~~
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -L. -lcadical
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/build'
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.2.1/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.2.1/build
+ help2man --version-string=1.2.1 -N -o cadical.1 build/cadical
+ help2man --version-string=1.2.1 -N -o mobical.1 -h -h build/mobical
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.zrk0IP
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64
++ dirname /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64
+ cd cadical-rel-1.2.1
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/bin
+ cp -p build/cadical build/mobical /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/bin
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/lib64
+ cp -p build/libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/lib64
+ ln -s libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/lib64/libcadical.so.0
+ ln -s libcadical.so.0 /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/lib64/libcadical.so
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/include
+ cp -p src/cadical.hpp /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/include
+ cp -p src/ccadical.h /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/include
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/share/man/man1
+ cp -p cadical.1 mobical.1 /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/share/man/man1
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 1.2.1-2.fc33 --unique-debug-suffix -1.2.1-2.fc33.riscv64 --unique-debug-src-base cadical-1.2.1-2.fc33.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cadical-rel-1.2.1
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/bin/cadical
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/bin/mobical
extracting debug info from /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/bin/cadical
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/lib64/libcadical.so.0.0.0
extracting debug info from /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/bin/mobical
extracting debug info from /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/lib64/libcadical.so.0.0.0
original debug info size: 17392kB, size after compression: 8596kB
/usr/lib/rpm/sepdebugcrcfix: Updated 3 CRC32s, 0 CRC32s did match.
1728 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 /usr/bin/python 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.9KHIiN
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.2.1
+ sed -i '/make -C \$CADICALBUILD/d;/^make$/d' test/api/run.sh test/cnf/run.sh test/mbt/run.sh test/trace/run.sh test/usage/run.sh
+ sed -i 's/ mbt$//' test/makefile
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.2.1/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.2.1/build
+ make -C test
make: Entering directory '/builddir/build/BUILD/cadical-rel-1.2.1/test'
---------------------------------------------------------
usage testing in '../build'
---------------------------------------------------------
starting test run /builddir/build/BUILD/cadical-rel-1.2.1/test
test/usage/run.sh: running usage test 'test-usage-h'
../build/cadical  -h # ok (expected exit code '0')
test/usage/run.sh: running usage test 'test-usage-help'
../build/cadical  --help # ok (expected exit code '0')
test/usage/run.sh: running usage test 'test-usage-version'
../build/cadical  --version # ok (expected exit code '0')
test/usage/run.sh: running usage test 'test-usage-build'
../build/cadical  --build # ok (expected exit code '0')
test/usage/run.sh: running usage test 'test-usage-copyright'
../build/cadical  --copyright # ok (expected exit code '0')
test/usage/run.sh: running usage test 'test-usage-empty'
../build/cadical  ../test/cnf/empty.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-false'
../build/cadical  ../test/cnf/false.cnf # ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-n-empty'
../build/cadical  -n ../test/cnf/empty.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-v-empty'
../build/cadical  -v ../test/cnf/empty.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-v-v-empty'
../build/cadical  -v -v ../test/cnf/empty.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-v-v-v-empty'
../build/cadical  -v -v -v ../test/cnf/empty.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-q-empty'
../build/cadical  -q ../test/cnf/empty.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-f-missing-clause'
../build/cadical  -f ../test/usage/missing-clause.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-f-variable-too-large'
../build/cadical  -f ../test/usage/variable-too-large.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force-missing-clause'
../build/cadical  --force ../test/usage/missing-clause.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force-variable-too-large'
../build/cadical  --force ../test/usage/variable-too-large.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force=1-missing-clause'
../build/cadical  --force=1 ../test/usage/missing-clause.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force=1-variable-too-large'
../build/cadical  --force=1 ../test/usage/variable-too-large.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force=true-missing-clause'
../build/cadical  --force=true ../test/usage/missing-clause.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force=true-variable-too-large'
../build/cadical  --force=true ../test/usage/variable-too-large.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-O1-prime2209'
../build/cadical  -O1 ../test/cnf/prime2209.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-O2-prime2209'
../build/cadical  -O2 ../test/cnf/prime2209.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-O3-prime2209'
../build/cadical  -O3 ../test/cnf/prime2209.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-L1-prime9'
../build/cadical  -L1 ../test/cnf/prime9.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-L2-prime9'
../build/cadical  -L2 ../test/cnf/prime9.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-L10-prime9'
../build/cadical  -L10 ../test/cnf/prime9.cnf # ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-P1-add16'
../build/cadical  -P1 ../test/cnf/add16.cnf # ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-P2-add16'
../build/cadical  -P2 ../test/cnf/add16.cnf # ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-P16-add16'
../build/cadical  -P16 ../test/cnf/add16.cnf # ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-P128-add16'
../build/cadical  -P128 ../test/cnf/add16.cnf # ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-P1024-add16'
../build/cadical  -P1024 ../test/cnf/add16.cnf # ok (expected exit code '20')
test/usage/run.sh: usage testing results: 31 ok, 0 failed
---------------------------------------------------------
Regression Testing API traces in '../build'
---------------------------------------------------------
test/trace/run.sh: found 53 traces
test/trace/run.sh: running 'reg0000'
../build/mobical ../test/trace/reg0000.trace
0
# ... ok
test/trace/run.sh: running 'reg0001'
../build/mobical ../test/trace/reg0001.trace
0
# ... ok
test/trace/run.sh: running 'reg0002'
../build/mobical ../test/trace/reg0002.trace
0
# ... ok
test/trace/run.sh: running 'reg0003'
../build/mobical ../test/trace/reg0003.trace
0
# ... ok
test/trace/run.sh: running 'reg0004'
../build/mobical ../test/trace/reg0004.trace
0
# ... ok
test/trace/run.sh: running 'reg0005'
../build/mobical ../test/trace/reg0005.trace
0
# ... ok
test/trace/run.sh: running 'reg0006'
../build/mobical ../test/trace/reg0006.trace
0
# ... ok
test/trace/run.sh: running 'reg0007'
../build/mobical ../test/trace/reg0007.trace
0
# ... ok
test/trace/run.sh: running 'reg0008'
../build/mobical ../test/trace/reg0008.trace
0
# ... ok
test/trace/run.sh: running 'reg0009'
../build/mobical ../test/trace/reg0009.trace
0
# ... ok
test/trace/run.sh: running 'reg0010'
../build/mobical ../test/trace/reg0010.trace
0
# ... ok
test/trace/run.sh: running 'reg0011'
../build/mobical ../test/trace/reg0011.trace
0
# ... ok
test/trace/run.sh: running 'reg0012'
../build/mobical ../test/trace/reg0012.trace
0
# ... ok
test/trace/run.sh: running 'reg0013'
../build/mobical ../test/trace/reg0013.trace
0
# ... ok
test/trace/run.sh: running 'reg0014'
../build/mobical ../test/trace/reg0014.trace
0
# ... ok
test/trace/run.sh: running 'reg0015'
../build/mobical ../test/trace/reg0015.trace
0
# ... ok
test/trace/run.sh: running 'reg0016'
../build/mobical ../test/trace/reg0016.trace
0
# ... ok
test/trace/run.sh: running 'reg0017'
../build/mobical ../test/trace/reg0017.trace
0
# ... ok
test/trace/run.sh: running 'reg0018'
../build/mobical ../test/trace/reg0018.trace
0
# ... ok
test/trace/run.sh: running 'reg0019'
../build/mobical ../test/trace/reg0019.trace
0
# ... ok
test/trace/run.sh: running 'reg0020'
../build/mobical ../test/trace/reg0020.trace
0
# ... ok
test/trace/run.sh: running 'reg0021'
../build/mobical ../test/trace/reg0021.trace
0
# ... ok
test/trace/run.sh: running 'reg0022'
../build/mobical ../test/trace/reg0022.trace
0
# ... ok
test/trace/run.sh: running 'reg0023'
../build/mobical ../test/trace/reg0023.trace
0
# ... ok
test/trace/run.sh: running 'reg0024'
../build/mobical ../test/trace/reg0024.trace
0
# ... ok
test/trace/run.sh: running 'reg0025'
../build/mobical ../test/trace/reg0025.trace
0
# ... ok
test/trace/run.sh: running 'reg0026'
../build/mobical ../test/trace/reg0026.trace
0
# ... ok
test/trace/run.sh: running 'reg0027'
../build/mobical ../test/trace/reg0027.trace
0
# ... ok
test/trace/run.sh: running 'reg0028'
../build/mobical ../test/trace/reg0028.trace
0
# ... ok
test/trace/run.sh: running 'reg0029'
../build/mobical ../test/trace/reg0029.trace
0
# ... ok
test/trace/run.sh: running 'reg0030'
../build/mobical ../test/trace/reg0030.trace
0
# ... ok
test/trace/run.sh: running 'reg0031'
../build/mobical ../test/trace/reg0031.trace
0
# ... ok
test/trace/run.sh: running 'reg0032'
../build/mobical ../test/trace/reg0032.trace
0
# ... ok
test/trace/run.sh: running 'reg0033'
../build/mobical ../test/trace/reg0033.trace
0
# ... ok
test/trace/run.sh: running 'reg0034'
../build/mobical ../test/trace/reg0034.trace
0
# ... ok
test/trace/run.sh: running 'reg0035'
../build/mobical ../test/trace/reg0035.trace
0
# ... ok
test/trace/run.sh: running 'reg0036'
../build/mobical ../test/trace/reg0036.trace
0
# ... ok
test/trace/run.sh: running 'reg0037'
../build/mobical ../test/trace/reg0037.trace
0
# ... ok
test/trace/run.sh: running 'reg0038'
../build/mobical ../test/trace/reg0038.trace
0
# ... ok
test/trace/run.sh: running 'reg0039'
../build/mobical ../test/trace/reg0039.trace
0
# ... ok
test/trace/run.sh: running 'reg0040'
../build/mobical ../test/trace/reg0040.trace
0
# ... ok
test/trace/run.sh: running 'reg0041'
../build/mobical ../test/trace/reg0041.trace
0
# ... ok
test/trace/run.sh: running 'reg0042'
../build/mobical ../test/trace/reg0042.trace
0
# ... ok
test/trace/run.sh: running 'reg0043'
../build/mobical ../test/trace/reg0043.trace
0
# ... ok
test/trace/run.sh: running 'reg0044'
../build/mobical ../test/trace/reg0044.trace
0
# ... ok
test/trace/run.sh: running 'reg0045'
../build/mobical ../test/trace/reg0045.trace
0
# ... ok
test/trace/run.sh: running 'reg0046'
../build/mobical ../test/trace/reg0046.trace
0
# ... ok
test/trace/run.sh: running 'reg0047'
../build/mobical ../test/trace/reg0047.trace
0
# ... ok
test/trace/run.sh: running 'reg0048'
../build/mobical ../test/trace/reg0048.trace
0
# ... ok
test/trace/run.sh: running 'reg0049'
../build/mobical ../test/trace/reg0049.trace
0
# ... ok
test/trace/run.sh: running 'reg0050'
../build/mobical ../test/trace/reg0050.trace
0
# ... ok
test/trace/run.sh: running 'reg0051'
../build/mobical ../test/trace/reg0051.trace
0
# ... ok
test/trace/run.sh: running 'reg0052'
../build/mobical ../test/trace/reg0052.trace
0
# ... ok
test/trace/run.sh: executed 53 traces, 53 ok, 0 failed
---------------------------------------------------------
API testing in '../build'
---------------------------------------------------------
test/api/run.sh: using CXX=g++
test/api/run.sh: using CXXFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG
test/api/run.sh: running API test 'newdelete'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-newdelete.o -c ../test/api/newdelete.cpp
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-newdelete ../build/test-api-newdelete.o -L../build -lcadical
../build/test-api-newdelete
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'unit'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-unit.o -c ../test/api/unit.cpp
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-unit ../build/test-api-unit.o -L../build -lcadical
../build/test-api-unit
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'morenmore'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-morenmore.o -c ../test/api/morenmore.cpp
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-morenmore ../build/test-api-morenmore.o -L../build -lcadical
../build/test-api-morenmore
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'ctest'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -x c -o ../build/test-api-ctest.o -c ../test/api/ctest.c
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-ctest ../build/test-api-ctest.o -L../build -lcadical
../build/test-api-ctest
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'example'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-example.o -c ../test/api/example.cpp
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-example ../build/test-api-example.o -L../build -lcadical
../build/test-api-example
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'terminate'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-terminate.o -c ../test/api/terminate.cpp
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-terminate ../build/test-api-terminate.o -L../build -lcadical
../build/test-api-terminate
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'cfreeze'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -x c -o ../build/test-api-cfreeze.o -c ../test/api/cfreeze.c
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-cfreeze ../build/test-api-cfreeze.o -L../build -lcadical
../build/test-api-cfreeze
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'traverse'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-traverse.o -c ../test/api/traverse.cpp
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-traverse ../build/test-api-traverse.o -L../build -lcadical
../build/test-api-traverse
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'apitrace'
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-apitrace.o -c ../test/api/apitrace.cpp
g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-apitrace ../build/test-api-apitrace.o -L../build -lcadical
../build/test-api-apitrace
# 0 ... ok (zero exit code)
test/api/run.sh: API testing results: 9 ok, 0 failed
---------------------------------------------------------
CNF testing in '../build'
---------------------------------------------------------
cc -O -o ../build/precochk ../test/cnf/precochk.c -lz
test/cnf/run.sh: external solution checking with '../build/precochk'
test/cnf/run.sh: external proof checking with '../build/drat-trim'
test/cnf/run.sh: running CNF test core 'empty'
../build/cadical \
../test/cnf/empty.cnf --check -s ../test/cnf/empty.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/empty.cnf ../build/test-cnf-core-empty.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'empty'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/empty.cnf
# 10 ... ok
../build/precochk \
../test/cnf/empty.cnf ../build/test-cnf-simp-empty.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'false'
../build/cadical \
../test/cnf/false.cnf --check ../build/test-cnf-core-false.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/false.cnf ../build/test-cnf-core-false.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'false'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/false.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'unit0'
../build/cadical \
../test/cnf/unit0.cnf --check -s ../test/cnf/unit0.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/unit0.cnf ../build/test-cnf-core-unit0.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'unit0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit0.cnf
# 10 ... ok
../build/precochk \
../test/cnf/unit0.cnf ../build/test-cnf-simp-unit0.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'unit1'
../build/cadical \
../test/cnf/unit1.cnf --check -s ../test/cnf/unit1.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/unit1.cnf ../build/test-cnf-core-unit1.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'unit1'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit1.cnf
# 10 ... ok
../build/precochk \
../test/cnf/unit1.cnf ../build/test-cnf-simp-unit1.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'unit2'
../build/cadical \
../test/cnf/unit2.cnf --check -s ../test/cnf/unit2.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/unit2.cnf ../build/test-cnf-core-unit2.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'unit2'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit2.cnf
# 10 ... ok
../build/precochk \
../test/cnf/unit2.cnf ../build/test-cnf-simp-unit2.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'unit3'
../build/cadical \
../test/cnf/unit3.cnf --check -s ../test/cnf/unit3.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/unit3.cnf ../build/test-cnf-core-unit3.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'unit3'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit3.cnf
# 10 ... ok
../build/precochk \
../test/cnf/unit3.cnf ../build/test-cnf-simp-unit3.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'unit4'
../build/cadical \
../test/cnf/unit4.cnf --check ../build/test-cnf-core-unit4.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/unit4.cnf ../build/test-cnf-core-unit4.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'unit4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit4.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'unit5'
../build/cadical \
../test/cnf/unit5.cnf --check ../build/test-cnf-core-unit5.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/unit5.cnf ../build/test-cnf-core-unit5.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'unit5'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit5.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'unit6'
../build/cadical \
../test/cnf/unit6.cnf --check ../build/test-cnf-core-unit6.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/unit6.cnf ../build/test-cnf-core-unit6.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'unit6'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit6.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'unit7'
../build/cadical \
../test/cnf/unit7.cnf --check ../build/test-cnf-core-unit7.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/unit7.cnf ../build/test-cnf-core-unit7.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'unit7'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit7.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'sub0'
../build/cadical \
../test/cnf/sub0.cnf --check
# 10 ... ok (without solution file)
../build/precochk \
../test/cnf/sub0.cnf ../build/test-cnf-core-sub0.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sub0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sub0.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sub0.cnf ../build/test-cnf-simp-sub0.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat0'
../build/cadical \
../test/cnf/sat0.cnf --check ../build/test-cnf-core-sat0.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/sat0.cnf ../build/test-cnf-core-sat0.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'sat0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat0.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'sat1'
../build/cadical \
../test/cnf/sat1.cnf --check -s ../test/cnf/sat1.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat1.cnf ../build/test-cnf-core-sat1.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat1'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat1.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat1.cnf ../build/test-cnf-simp-sat1.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat2'
../build/cadical \
../test/cnf/sat2.cnf --check -s ../test/cnf/sat2.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat2.cnf ../build/test-cnf-core-sat2.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat2'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat2.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat2.cnf ../build/test-cnf-simp-sat2.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat3'
../build/cadical \
../test/cnf/sat3.cnf --check -s ../test/cnf/sat3.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat3.cnf ../build/test-cnf-core-sat3.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat3'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat3.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat3.cnf ../build/test-cnf-simp-sat3.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat4'
../build/cadical \
../test/cnf/sat4.cnf --check -s ../test/cnf/sat4.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat4.cnf ../build/test-cnf-core-sat4.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat4.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat4.cnf ../build/test-cnf-simp-sat4.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat5'
../build/cadical \
../test/cnf/sat5.cnf --check ../build/test-cnf-core-sat5.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/sat5.cnf ../build/test-cnf-core-sat5.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'sat5'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat5.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'sat6'
../build/cadical \
../test/cnf/sat6.cnf --check -s ../test/cnf/sat6.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat6.cnf ../build/test-cnf-core-sat6.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat6'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat6.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat6.cnf ../build/test-cnf-simp-sat6.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat7'
../build/cadical \
../test/cnf/sat7.cnf --check -s ../test/cnf/sat7.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat7.cnf ../build/test-cnf-core-sat7.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat7'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat7.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat7.cnf ../build/test-cnf-simp-sat7.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat8'
../build/cadical \
../test/cnf/sat8.cnf --check -s ../test/cnf/sat8.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat8.cnf ../build/test-cnf-core-sat8.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat8'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat8.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat8.cnf ../build/test-cnf-simp-sat8.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat9'
../build/cadical \
../test/cnf/sat9.cnf --check -s ../test/cnf/sat9.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat9.cnf ../build/test-cnf-core-sat9.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat9'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat9.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat9.cnf ../build/test-cnf-simp-sat9.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat10'
../build/cadical \
../test/cnf/sat10.cnf --check -s ../test/cnf/sat10.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat10.cnf ../build/test-cnf-core-sat10.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat10'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat10.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat10.cnf ../build/test-cnf-simp-sat10.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat11'
../build/cadical \
../test/cnf/sat11.cnf --check -s ../test/cnf/sat11.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat11.cnf ../build/test-cnf-core-sat11.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat11'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat11.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat11.cnf ../build/test-cnf-simp-sat11.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat12'
../build/cadical \
../test/cnf/sat12.cnf --check -s ../test/cnf/sat12.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat12.cnf ../build/test-cnf-core-sat12.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat12'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat12.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat12.cnf ../build/test-cnf-simp-sat12.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat13'
../build/cadical \
../test/cnf/sat13.cnf --check -s ../test/cnf/sat13.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat13.cnf ../build/test-cnf-core-sat13.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat13'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat13.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sat13.cnf ../build/test-cnf-simp-sat13.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'full1'
../build/cadical \
../test/cnf/full1.cnf --check ../build/test-cnf-core-full1.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/full1.cnf ../build/test-cnf-core-full1.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full1'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full1.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full2'
../build/cadical \
../test/cnf/full2.cnf --check ../build/test-cnf-core-full2.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/full2.cnf ../build/test-cnf-core-full2.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full2'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full2.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full3'
../build/cadical \
../test/cnf/full3.cnf --check ../build/test-cnf-core-full3.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/full3.cnf ../build/test-cnf-core-full3.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full3'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full3.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full4'
../build/cadical \
../test/cnf/full4.cnf --check ../build/test-cnf-core-full4.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/full4.cnf ../build/test-cnf-core-full4.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full4.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full5'
../build/cadical \
../test/cnf/full5.cnf --check ../build/test-cnf-core-full5.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/full5.cnf ../build/test-cnf-core-full5.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full5'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full5.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full6'
../build/cadical \
../test/cnf/full6.cnf --check ../build/test-cnf-core-full6.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/full6.cnf ../build/test-cnf-core-full6.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full6'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full6.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full7'
../build/cadical \
../test/cnf/full7.cnf --check ../build/test-cnf-core-full7.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/full7.cnf ../build/test-cnf-core-full7.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full7'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full7.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'regr000'
../build/cadical \
../test/cnf/regr000.cnf --check -s ../test/cnf/regr000.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/regr000.cnf ../build/test-cnf-core-regr000.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'regr000'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/regr000.cnf
# 10 ... ok
../build/precochk \
../test/cnf/regr000.cnf ../build/test-cnf-simp-regr000.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'elimclash'
../build/cadical \
../test/cnf/elimclash.cnf --check ../build/test-cnf-core-elimclash.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/elimclash.cnf ../build/test-cnf-core-elimclash.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'elimclash'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/elimclash.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'elimredundant'
../build/cadical \
../test/cnf/elimredundant.cnf --check
# 10 ... ok (without solution file)
../build/precochk \
../test/cnf/elimredundant.cnf ../build/test-cnf-core-elimredundant.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'elimredundant'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/elimredundant.cnf
# 10 ... ok
../build/precochk \
../test/cnf/elimredundant.cnf ../build/test-cnf-simp-elimredundant.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'block0'
../build/cadical \
../test/cnf/block0.cnf --check
# 10 ... ok (without solution file)
../build/precochk \
../test/cnf/block0.cnf ../build/test-cnf-core-block0.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'block0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/block0.cnf
# 10 ... ok
../build/precochk \
../test/cnf/block0.cnf ../build/test-cnf-simp-block0.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime4'
../build/cadical \
../test/cnf/prime4.cnf --check -s ../test/cnf/prime4.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime4.cnf ../build/test-cnf-core-prime4.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime4.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime4.cnf ../build/test-cnf-simp-prime4.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime9'
../build/cadical \
../test/cnf/prime9.cnf --check -s ../test/cnf/prime9.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime9.cnf ../build/test-cnf-core-prime9.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime9'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime9.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime9.cnf ../build/test-cnf-simp-prime9.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime25'
../build/cadical \
../test/cnf/prime25.cnf --check -s ../test/cnf/prime25.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime25.cnf ../build/test-cnf-core-prime25.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime25'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime25.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime25.cnf ../build/test-cnf-simp-prime25.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime49'
../build/cadical \
../test/cnf/prime49.cnf --check -s ../test/cnf/prime49.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime49.cnf ../build/test-cnf-core-prime49.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime49'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime49.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime49.cnf ../build/test-cnf-simp-prime49.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime121'
../build/cadical \
../test/cnf/prime121.cnf --check -s ../test/cnf/prime121.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime121.cnf ../build/test-cnf-core-prime121.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime121'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime121.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime121.cnf ../build/test-cnf-simp-prime121.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime169'
../build/cadical \
../test/cnf/prime169.cnf --check -s ../test/cnf/prime169.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime169.cnf ../build/test-cnf-core-prime169.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime169'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime169.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime169.cnf ../build/test-cnf-simp-prime169.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime361'
../build/cadical \
../test/cnf/prime361.cnf --check -s ../test/cnf/prime361.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime361.cnf ../build/test-cnf-core-prime361.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime361'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime361.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime361.cnf ../build/test-cnf-simp-prime361.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime289'
../build/cadical \
../test/cnf/prime289.cnf --check -s ../test/cnf/prime289.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime289.cnf ../build/test-cnf-core-prime289.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime289'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime289.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime289.cnf ../build/test-cnf-simp-prime289.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime529'
../build/cadical \
../test/cnf/prime529.cnf --check -s ../test/cnf/prime529.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime529.cnf ../build/test-cnf-core-prime529.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime529'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime529.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime529.cnf ../build/test-cnf-simp-prime529.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime841'
../build/cadical \
../test/cnf/prime841.cnf --check -s ../test/cnf/prime841.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime841.cnf ../build/test-cnf-core-prime841.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime841'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime841.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime841.cnf ../build/test-cnf-simp-prime841.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime961'
../build/cadical \
../test/cnf/prime961.cnf --check -s ../test/cnf/prime961.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime961.cnf ../build/test-cnf-core-prime961.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime961'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime961.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime961.cnf ../build/test-cnf-simp-prime961.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime1369'
../build/cadical \
../test/cnf/prime1369.cnf --check -s ../test/cnf/prime1369.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime1369.cnf ../build/test-cnf-core-prime1369.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime1369'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime1369.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime1369.cnf ../build/test-cnf-simp-prime1369.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime1681'
../build/cadical \
../test/cnf/prime1681.cnf --check -s ../test/cnf/prime1681.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime1681.cnf ../build/test-cnf-core-prime1681.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime1681'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime1681.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime1681.cnf ../build/test-cnf-simp-prime1681.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime1849'
../build/cadical \
../test/cnf/prime1849.cnf --check -s ../test/cnf/prime1849.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime1849.cnf ../build/test-cnf-core-prime1849.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime1849'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime1849.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime1849.cnf ../build/test-cnf-simp-prime1849.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime2209'
../build/cadical \
../test/cnf/prime2209.cnf --check -s ../test/cnf/prime2209.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime2209.cnf ../build/test-cnf-core-prime2209.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime2209'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime2209.cnf
# 10 ... ok
../build/precochk \
../test/cnf/prime2209.cnf ../build/test-cnf-simp-prime2209.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'factor2708413neg'
../build/cadical \
../test/cnf/factor2708413neg.cnf --check
# 10 ... ok (without solution file)
../build/precochk \
../test/cnf/factor2708413neg.cnf ../build/test-cnf-core-factor2708413neg.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'factor2708413neg'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/factor2708413neg.cnf
# 10 ... ok
../build/precochk \
../test/cnf/factor2708413neg.cnf ../build/test-cnf-simp-factor2708413neg.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'factor2708413pos'
../build/cadical \
../test/cnf/factor2708413pos.cnf --check
# 10 ... ok (without solution file)
../build/precochk \
../test/cnf/factor2708413pos.cnf ../build/test-cnf-core-factor2708413pos.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'factor2708413pos'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/factor2708413pos.cnf
# 10 ... ok
../build/precochk \
../test/cnf/factor2708413pos.cnf ../build/test-cnf-simp-factor2708413pos.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt2809'
../build/cadical \
../test/cnf/sqrt2809.cnf --check -s ../test/cnf/sqrt2809.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt2809.cnf ../build/test-cnf-core-sqrt2809.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt2809'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt2809.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt2809.cnf ../build/test-cnf-simp-sqrt2809.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt3481'
../build/cadical \
../test/cnf/sqrt3481.cnf --check -s ../test/cnf/sqrt3481.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt3481.cnf ../build/test-cnf-core-sqrt3481.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt3481'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt3481.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt3481.cnf ../build/test-cnf-simp-sqrt3481.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt3721'
../build/cadical \
../test/cnf/sqrt3721.cnf --check -s ../test/cnf/sqrt3721.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt3721.cnf ../build/test-cnf-core-sqrt3721.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt3721'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt3721.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt3721.cnf ../build/test-cnf-simp-sqrt3721.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt4489'
../build/cadical \
../test/cnf/sqrt4489.cnf --check -s ../test/cnf/sqrt4489.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt4489.cnf ../build/test-cnf-core-sqrt4489.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt4489'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt4489.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt4489.cnf ../build/test-cnf-simp-sqrt4489.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt5041'
../build/cadical \
../test/cnf/sqrt5041.cnf --check -s ../test/cnf/sqrt5041.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt5041.cnf ../build/test-cnf-core-sqrt5041.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt5041'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt5041.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt5041.cnf ../build/test-cnf-simp-sqrt5041.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt5329'
../build/cadical \
../test/cnf/sqrt5329.cnf --check -s ../test/cnf/sqrt5329.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt5329.cnf ../build/test-cnf-core-sqrt5329.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt5329'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt5329.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt5329.cnf ../build/test-cnf-simp-sqrt5329.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt6241'
../build/cadical \
../test/cnf/sqrt6241.cnf --check -s ../test/cnf/sqrt6241.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt6241.cnf ../build/test-cnf-core-sqrt6241.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt6241'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt6241.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt6241.cnf ../build/test-cnf-simp-sqrt6241.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt6889'
../build/cadical \
../test/cnf/sqrt6889.cnf --check -s ../test/cnf/sqrt6889.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt6889.cnf ../build/test-cnf-core-sqrt6889.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt6889'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt6889.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt6889.cnf ../build/test-cnf-simp-sqrt6889.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt7921'
../build/cadical \
../test/cnf/sqrt7921.cnf --check -s ../test/cnf/sqrt7921.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt7921.cnf ../build/test-cnf-core-sqrt7921.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt7921'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt7921.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt7921.cnf ../build/test-cnf-simp-sqrt7921.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt9409'
../build/cadical \
../test/cnf/sqrt9409.cnf --check -s ../test/cnf/sqrt9409.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt9409.cnf ../build/test-cnf-core-sqrt9409.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt9409'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt9409.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt9409.cnf ../build/test-cnf-simp-sqrt9409.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt10201'
../build/cadical \
../test/cnf/sqrt10201.cnf --check -s ../test/cnf/sqrt10201.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt10201.cnf ../build/test-cnf-core-sqrt10201.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt10201'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt10201.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt10201.cnf ../build/test-cnf-simp-sqrt10201.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt10609'
../build/cadical \
../test/cnf/sqrt10609.cnf --check -s ../test/cnf/sqrt10609.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt10609.cnf ../build/test-cnf-core-sqrt10609.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt10609'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt10609.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt10609.cnf ../build/test-cnf-simp-sqrt10609.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt11449'
../build/cadical \
../test/cnf/sqrt11449.cnf --check -s ../test/cnf/sqrt11449.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt11449.cnf ../build/test-cnf-core-sqrt11449.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt11449'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt11449.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt11449.cnf ../build/test-cnf-simp-sqrt11449.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt11881'
../build/cadical \
../test/cnf/sqrt11881.cnf --check -s ../test/cnf/sqrt11881.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt11881.cnf ../build/test-cnf-core-sqrt11881.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt11881'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt11881.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt11881.cnf ../build/test-cnf-simp-sqrt11881.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt12769'
../build/cadical \
../test/cnf/sqrt12769.cnf --check -s ../test/cnf/sqrt12769.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt12769.cnf ../build/test-cnf-core-sqrt12769.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt12769'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt12769.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt12769.cnf ../build/test-cnf-simp-sqrt12769.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt16129'
../build/cadical \
../test/cnf/sqrt16129.cnf --check -s ../test/cnf/sqrt16129.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt16129.cnf ../build/test-cnf-core-sqrt16129.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt16129'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt16129.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt16129.cnf ../build/test-cnf-simp-sqrt16129.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt63001'
../build/cadical \
../test/cnf/sqrt63001.cnf --check -s ../test/cnf/sqrt63001.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt63001.cnf ../build/test-cnf-core-sqrt63001.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt63001'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt63001.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt63001.cnf ../build/test-cnf-simp-sqrt63001.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt259081'
../build/cadical \
../test/cnf/sqrt259081.cnf --check -s ../test/cnf/sqrt259081.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt259081.cnf ../build/test-cnf-core-sqrt259081.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt259081'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt259081.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt259081.cnf ../build/test-cnf-simp-sqrt259081.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt1042441'
../build/cadical \
../test/cnf/sqrt1042441.cnf --check -s ../test/cnf/sqrt1042441.sol
# 10 ... ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt1042441.cnf ../build/test-cnf-core-sqrt1042441.log
# 0 ... ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt1042441'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt1042441.cnf
# 10 ... ok
../build/precochk \
../test/cnf/sqrt1042441.cnf ../build/test-cnf-simp-sqrt1042441.log
# 0 ... ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'ph2'
../build/cadical \
../test/cnf/ph2.cnf --check ../build/test-cnf-core-ph2.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/ph2.cnf ../build/test-cnf-core-ph2.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'ph2'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/ph2.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'ph3'
../build/cadical \
../test/cnf/ph3.cnf --check ../build/test-cnf-core-ph3.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/ph3.cnf ../build/test-cnf-core-ph3.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'ph3'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/ph3.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'ph4'
../build/cadical \
../test/cnf/ph4.cnf --check ../build/test-cnf-core-ph4.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/ph4.cnf ../build/test-cnf-core-ph4.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'ph4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/ph4.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'ph5'
../build/cadical \
../test/cnf/ph5.cnf --check ../build/test-cnf-core-ph5.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/ph5.cnf ../build/test-cnf-core-ph5.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'ph5'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/ph5.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'ph6'
../build/cadical \
../test/cnf/ph6.cnf --check ../build/test-cnf-core-ph6.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/ph6.cnf ../build/test-cnf-core-ph6.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'ph6'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/ph6.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add4'
../build/cadical \
../test/cnf/add4.cnf --check ../build/test-cnf-core-add4.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/add4.cnf ../build/test-cnf-core-add4.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add4.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add8'
../build/cadical \
../test/cnf/add8.cnf --check ../build/test-cnf-core-add8.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/add8.cnf ../build/test-cnf-core-add8.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add8'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add8.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add16'
../build/cadical \
../test/cnf/add16.cnf --check ../build/test-cnf-core-add16.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/add16.cnf ../build/test-cnf-core-add16.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add16'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add16.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add32'
../build/cadical \
../test/cnf/add32.cnf --check ../build/test-cnf-core-add32.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/add32.cnf ../build/test-cnf-core-add32.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add32'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add32.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add64'
../build/cadical \
../test/cnf/add64.cnf --check ../build/test-cnf-core-add64.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/add64.cnf ../build/test-cnf-core-add64.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add64'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add64.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add128'
../build/cadical \
../test/cnf/add128.cnf --check ../build/test-cnf-core-add128.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/add128.cnf ../build/test-cnf-core-add128.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add128'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add128.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'prime65537'
../build/cadical \
../test/cnf/prime65537.cnf --check ../build/test-cnf-core-prime65537.prf
# 20 ... ok (exit code as expected)
../build/drat-trim \
../test/cnf/prime65537.cnf ../build/test-cnf-core-prime65537.prf
# 0 ... ok (proof checked)
test/cnf/run.sh: running CNF test simp 'prime65537'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime65537.cnf
# 20 ...test/cnf/run.sh: CNF testing results: 141 ok, 0 failed
make: Leaving directory '/builddir/build/BUILD/cadical-rel-1.2.1/test'
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: cadical-1.2.1-2.fc33.riscv64
Provides: cadical = 1:1.2.1-2.fc33 cadical(riscv-64) = 1:1.2.1-2.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) libcadical.so.0()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: cadical-libs-1.2.1-2.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.XPZxYN
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.2.1
+ DOCDIR=/builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/share/doc/cadical-libs
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/share/doc/cadical-libs
+ cp -pr CONTRIBUTING /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/share/doc/cadical-libs
+ cp -pr README.md /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/share/doc/cadical-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.GLzMLL
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.2.1
+ LICENSEDIR=/builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/share/licenses/cadical-libs
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/share/licenses/cadical-libs
+ cp -pr LICENSE /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64/usr/share/licenses/cadical-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cadical-libs = 1:1.2.1-2.fc33 cadical-libs(riscv-64) = 1:1.2.1-2.fc33 libcadical.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) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.8)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) rtld(GNU_HASH)
Processing files: cadical-devel-1.2.1-2.fc33.riscv64
Provides: cadical-devel = 1:1.2.1-2.fc33 cadical-devel(riscv-64) = 1:1.2.1-2.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libcadical.so.0()(64bit)
Processing files: cadical-debugsource-1.2.1-2.fc33.riscv64
Provides: cadical-debugsource = 1:1.2.1-2.fc33 cadical-debugsource(riscv-64) = 1:1.2.1-2.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cadical-debuginfo-1.2.1-2.fc33.riscv64
Provides: cadical-debuginfo = 1:1.2.1-2.fc33 cadical-debuginfo(riscv-64) = 1:1.2.1-2.fc33 debuginfo(build-id) = 9c85469d7f0e705494c1a4ef3a894859eed0d1aa debuginfo(build-id) = b6f198ac12c6b0f20c4d0901bcd34b3aae2a2ad8
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cadical-debugsource(riscv-64) = 1:1.2.1-2.fc33
Processing files: cadical-libs-debuginfo-1.2.1-2.fc33.riscv64
Provides: cadical-libs-debuginfo = 1:1.2.1-2.fc33 cadical-libs-debuginfo(riscv-64) = 1:1.2.1-2.fc33 debuginfo(build-id) = ac11e22169fdb91ab6df098f77ec734f032091c1
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cadical-debugsource(riscv-64) = 1:1.2.1-2.fc33
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64
Wrote: /builddir/build/RPMS/cadical-devel-1.2.1-2.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/cadical-1.2.1-2.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/cadical-libs-1.2.1-2.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/cadical-debugsource-1.2.1-2.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/cadical-debuginfo-1.2.1-2.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/cadical-libs-debuginfo-1.2.1-2.fc33.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.gFRb9O
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.2.1
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/cadical-1.2.1-2.fc33.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0