Mock Version: 2.12 Mock Version: 2.12 Mock Version: 2.12 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/f36-build-30842825-4222941/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: armv7hl Building for target armv7hl setting SOURCE_DATE_EPOCH=1635379200 Wrote: /builddir/build/SRPMS/cadical-1.5.2-1.fc36.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/f36-build-30842825-4222941/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: armv7hl Building for target armv7hl setting SOURCE_DATE_EPOCH=1635379200 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.MaDMQq + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cadical-rel-1.5.2 + /usr/bin/gzip -dc /builddir/build/SOURCES/cadical-1.5.2.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd cadical-rel-1.5.2 + /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 -f + 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.4AASJR + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.5.2 + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC' + ./configure configure: making default 'build' directory configure: building in default '/builddir/build/BUILD/cadical-rel-1.5.2/build' configure: root directory '/builddir/build/BUILD/cadical-rel-1.5.2' configure: source directory '/builddir/build/BUILD/cadical-rel-1.5.2/src' configure: compiler supports all required C99/C++11 extensions configure: unlocked IO with '{putc,getc}_unlocked' seems to work configure: compiling with 'g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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.5.2/build/makefile' configure: linking '/builddir/build/BUILD/cadical-rel-1.5.2/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 -j5 V=1 VERBOSE=1 /usr/bin/make -C "/builddir/build/BUILD/cadical-rel-1.5.2/build" make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/arena.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/averages.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/assume.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/backtrack.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ccadical.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/backward.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/bins.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/analyze.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/block.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/checker.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/clause.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/collect.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/config.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/contract.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/constrain.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/condition.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/compact.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/decide.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/decompose.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/deduplicate.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/cover.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ema.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/extend.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/elim.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/file.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/flags.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/format.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ipasir.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/external.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/logging.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/gates.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/instantiate.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/limit.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/lucky.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/message.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/lookahead.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' In file included from ../src/lookahead.cpp:1: In member function 'CaDiCaL::CubesWithStatus::CubesWithStatus(CaDiCaL::CubesWithStatus&&)', inlined from 'CaDiCaL::Internal::generate_cubes(int, int)' at ../src/lookahead.cpp:394:12: ../src/internal.hpp:105:8: warning: 'cubes.status' may be used uninitialized [-Wmaybe-uninitialized] 105 | struct CubesWithStatus { | ^~~~~~~~~~~~~~~ ../src/lookahead.cpp: In member function 'CaDiCaL::Internal::generate_cubes(int, int)': ../src/lookahead.cpp:392:21: note: 'cubes' declared here 392 | CubesWithStatus cubes; | ^~~~~ make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/internal.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/minimize.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/occs.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/phases.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/parse.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/probe.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/profile.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/proof.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/reap.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/propagate.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/random.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/queue.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/rephase.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/reduce.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/report.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/resources.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/restart.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/signal.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/restore.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/score.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/shrink.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/solution.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/terminal.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/stats.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/subsume.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/solver.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ternary.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/util.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' ../scripts/make-build-header.sh > build.hpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id) make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/tracer.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/transred.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/var.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/options.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/watch.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/version.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/walk.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/cadical.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/vivify.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/mobical.cpp make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' rm -f libcadical.so g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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 constrain.o contract.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 lookahead.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 reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.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.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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.5.2/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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.5.2/build' + export LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.5.2/build + LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.5.2/build + help2man --version-string=1.5.2 -N -o cadical.1 build/cadical + help2man --version-string=1.5.2 -N -o mobical.1 -h -h build/mobical + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.gda7iw + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm '!=' / ']' + rm -rf /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm ++ dirname /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm + cd cadical-rel-1.5.2 + mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/bin + cp -p build/cadical build/mobical /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/bin + mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/lib + cp -p build/libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/lib + ln -s libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/lib/libcadical.so.0 + ln -s libcadical.so.0 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/lib/libcadical.so + mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/include + cp -p src/cadical.hpp /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/include + cp -p src/ccadical.h /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/include + mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/share/man/man1 + cp -p cadical.1 mobical.1 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/share/man/man1 + /usr/bin/find-debuginfo -j5 --strict-build-id -m -i --build-id-seed 1.5.2-1.fc36 --unique-debug-suffix -1.5.2-1.fc36.arm --unique-debug-src-base cadical-1.5.2-1.fc36.arm --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cadical-rel-1.5.2 extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/bin/cadical extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/bin/mobical extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/lib/libcadical.so.0.0.0 original debug info size: 17588kB, size after compression: 8088kB /usr/bin/sepdebugcrcfix: Updated 3 CRC32s, 0 CRC32s did match. 1973 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/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.8tR9gi + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.5.2 + sed -i '/make -C \$CADICALBUILD/d;/^make$/d' test/api/run.sh test/cnf/run.sh test/icnf/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.5.2/build + LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.5.2/build + make -C test make: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/test' --------------------------------------------------------- usage testing in '../build' --------------------------------------------------------- starting test run /builddir/build/BUILD/cadical-rel-1.5.2/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-missing-clause' ../build/cadical ../test/usage/missing-clause.cnf# ok (expected exit code '1') test/usage/run.sh: running usage test 'test-usage-variable-too-large' ../build/cadical ../test/usage/variable-too-large.cnf# ok (expected exit code '1') test/usage/run.sh: running usage test 'test-usage-strict-relaxed-header' ../build/cadical --strict relaxed-header.cnf# ok (expected exit code '1') 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-relaxed-header' ../build/cadical ../test/usage/relaxed-header.cnf# ok (expected exit code '20') 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: 35 ok, 0 failed --------------------------------------------------------- Regression Testing API traces in '../build' --------------------------------------------------------- test/trace/run.sh: found 59 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: running 'reg0053' ../build/mobical ../test/trace/reg0053.trace 0 # ... ok test/trace/run.sh: running 'reg0054' ../build/mobical ../test/trace/reg0054.trace 0 # ... ok test/trace/run.sh: running 'reg0055' ../build/mobical ../test/trace/reg0055.trace 0 # ... ok test/trace/run.sh: running 'reg0056' ../build/mobical ../test/trace/reg0056.trace 0 # ... ok test/trace/run.sh: running 'reg0057' ../build/mobical ../test/trace/reg0057.trace 0 # ... ok test/trace/run.sh: running 'reg0058' ../build/mobical ../test/trace/reg0058.trace 0 # ... ok test/trace/run.sh: executed 59 traces, 59 ok, 0 failed --------------------------------------------------------- API testing in '../build' --------------------------------------------------------- test/api/run.sh: using CXX=g++ test/api/run.sh: using CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG test/api/run.sh: running API test 'newdelete' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-newdelete.o -c ../test/api/newdelete.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-unit.o -c ../test/api/unit.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-morenmore.o -c ../test/api/morenmore.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -x c -o ../build/test-api-ctest.o -c ../test/api/ctest.c g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-example.o -c ../test/api/example.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-terminate.o -c ../test/api/terminate.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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 'learn' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-learn.o -c ../test/api/learn.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-learn ../build/test-api-learn.o -L../build -lcadical ../build/test-api-learn # 0 ... ok (zero exit code) test/api/run.sh: running API test 'cfreeze' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -x c -o ../build/test-api-cfreeze.o -c ../test/api/cfreeze.c g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-traverse.o -c ../test/api/traverse.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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 'cipasir' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -x c -o ../build/test-api-cipasir.o -c ../test/api/cipasir.c g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-cipasir ../build/test-api-cipasir.o -L../build -lcadical ../build/test-api-cipasir # 0 ... ok (zero exit code) test/api/run.sh: running API test 'apitrace' g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-apitrace.o -c ../test/api/apitrace.cpp g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -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: 11 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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 -r ../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 --------------------------------------------------------- ICNF testing in '../build' --------------------------------------------------------- test/icnf/run.sh: running ICNF tests 'empty' ../build/cadical \ ../test/icnf/empty.icnf # 10 ...ok (exit code '10' as expected) test/icnf/run.sh: running ICNF tests 'false' ../build/cadical \ ../test/icnf/false.icnf # 20 ...ok (exit code '20' as expected) test/icnf/run.sh: running ICNF tests 'unit1' ../build/cadical \ ../test/icnf/unit1.icnf # 20 ...ok (exit code '20' as expected) test/icnf/run.sh: running ICNF tests 'unit2' ../build/cadical \ ../test/icnf/unit2.icnf # 10 ...ok (exit code '10' as expected) test/icnf/run.sh: running ICNF tests 'two1' ../build/cadical \ ../test/icnf/two1.icnf # 20 ...ok (exit code '20' as expected) test/icnf/run.sh: running ICNF tests 'two2' ../build/cadical \ ../test/icnf/two2.icnf # 10 ...ok (exit code '10' as expected) test/icnf/run.sh: ICNF testing results: 6 ok, 0 failed make: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/test' + RPM_EC=0 ++ jobs -p + exit 0 Processing files: cadical-1.5.2-1.fc36.armv7hl Provides: cadical = 1:1.5.2-1.fc36 cadical(armv7hl-32) = 1:1.5.2-1.fc36 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-armhf.so.3 ld-linux-armhf.so.3(GLIBC_2.4) libc.so.6 libc.so.6(GLIBC_2.34) libc.so.6(GLIBC_2.4) libcadical.so.0 libgcc_s.so.1 libgcc_s.so.1(GCC_3.0) libgcc_s.so.1(GCC_3.3.1) libgcc_s.so.1(GCC_3.5) libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(CXXABI_1.3.8) libstdc++.so.6(CXXABI_1.3.9) libstdc++.so.6(GLIBCXX_3.4) libstdc++.so.6(GLIBCXX_3.4.11) libstdc++.so.6(GLIBCXX_3.4.21) libstdc++.so.6(GLIBCXX_3.4.9) rtld(GNU_HASH) Processing files: cadical-libs-1.5.2-1.fc36.armv7hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.SOmkUj + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.5.2 + DOCDIR=/builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/share/doc/cadical-libs + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/share/doc/cadical-libs Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.AuP6cw + cp -pr CONTRIBUTING /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/share/doc/cadical-libs + cp -pr README.md /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/share/doc/cadical-libs + RPM_EC=0 ++ jobs -p + exit 0 + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.5.2 + LICENSEDIR=/builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/share/licenses/cadical-libs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/share/licenses/cadical-libs + cp -pr LICENSE /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm/usr/share/licenses/cadical-libs + RPM_EC=0 ++ jobs -p + exit 0 Provides: cadical-libs = 1:1.5.2-1.fc36 cadical-libs(armv7hl-32) = 1:1.5.2-1.fc36 libcadical.so.0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-armhf.so.3 ld-linux-armhf.so.3(GLIBC_2.4) libc.so.6 libc.so.6(GLIBC_2.33) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libgcc_s.so.1 libgcc_s.so.1(GCC_3.0) libgcc_s.so.1(GCC_3.3.1) libgcc_s.so.1(GCC_3.5) libm.so.6 libm.so.6(GLIBC_2.29) libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(CXXABI_1.3.8) libstdc++.so.6(CXXABI_1.3.9) libstdc++.so.6(CXXABI_ARM_1.3.3) libstdc++.so.6(GLIBCXX_3.4) libstdc++.so.6(GLIBCXX_3.4.29) rtld(GNU_HASH) Processing files: cadical-devel-1.5.2-1.fc36.armv7hl Provides: cadical-devel = 1:1.5.2-1.fc36 cadical-devel(armv7hl-32) = 1:1.5.2-1.fc36 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libcadical.so.0 Processing files: cadical-debugsource-1.5.2-1.fc36.armv7hl Provides: cadical-debugsource = 1:1.5.2-1.fc36 cadical-debugsource(armv7hl-32) = 1:1.5.2-1.fc36 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: cadical-debuginfo-1.5.2-1.fc36.armv7hl Provides: cadical-debuginfo = 1:1.5.2-1.fc36 cadical-debuginfo(armv7hl-32) = 1:1.5.2-1.fc36 debuginfo(build-id) = 82c37a4e0a553c2f2833df76f9cfbf20f6f18847 debuginfo(build-id) = 8d5ed39bc226c03e6e2ae4b2a61e5c2d487f7b86 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cadical-debugsource(armv7hl-32) = 1:1.5.2-1.fc36 Processing files: cadical-libs-debuginfo-1.5.2-1.fc36.armv7hl Provides: cadical-libs-debuginfo = 1:1.5.2-1.fc36 cadical-libs-debuginfo(armv7hl-32) = 1:1.5.2-1.fc36 debuginfo(build-id) = 98e6a6590f73088a3e5e9ccd1f2c77165ecefe1c libcadical.so.0.0.0-1.5.2-1.fc36.arm.debug Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cadical-debugsource(armv7hl-32) = 1:1.5.2-1.fc36 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm Wrote: /builddir/build/RPMS/cadical-libs-1.5.2-1.fc36.armv7hl.rpm Wrote: /builddir/build/RPMS/cadical-1.5.2-1.fc36.armv7hl.rpm Wrote: /builddir/build/RPMS/cadical-devel-1.5.2-1.fc36.armv7hl.rpm Wrote: /builddir/build/RPMS/cadical-debugsource-1.5.2-1.fc36.armv7hl.rpm Wrote: /builddir/build/RPMS/cadical-debuginfo-1.5.2-1.fc36.armv7hl.rpm Wrote: /builddir/build/RPMS/cadical-libs-debuginfo-1.5.2-1.fc36.armv7hl.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.mjrqcS + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-1.5.2 + /usr/bin/rm -rf /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.arm + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0