Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/c/cryptominisat/cryptominisat_5.8.0+dfsg1-2_amd64.buildinfo Use metasnap for getting required timestamps Cannot get timestamps from metasnap: 404 (Not Found) Use snapshot for getting required timestamps Get source package info: cryptominisat=5.8.0+dfsg1-2 Source URL: http://snapshot.notset.fr/mr/package/cryptominisat/5.8.0+dfsg1-2/srcfiles?fileinfo=1 Initialize APT cache Get binary package info: autoconf=2.71-2 Binary URL: http://snapshot.notset.fr/mr/binary/autoconf/2.71-2/binfiles?fileinfo=1 Get binary package info: automake=1:1.16.5-1.1 Binary URL: http://snapshot.notset.fr/mr/binary/automake/1:1.16.5-1.1/binfiles?fileinfo=1 Get binary package info: autopoint=0.21-4 Binary URL: http://snapshot.notset.fr/mr/binary/autopoint/0.21-4/binfiles?fileinfo=1 Get binary package info: autotools-dev=20220109.1 Binary URL: http://snapshot.notset.fr/mr/binary/autotools-dev/20220109.1/binfiles?fileinfo=1 Get binary package info: base-files=12.2 Binary URL: http://snapshot.notset.fr/mr/binary/base-files/12.2/binfiles?fileinfo=1 Get binary package info: base-passwd=3.5.52 Binary URL: http://snapshot.notset.fr/mr/binary/base-passwd/3.5.52/binfiles?fileinfo=1 Get binary package info: bash=5.1-6 Binary URL: http://snapshot.notset.fr/mr/binary/bash/5.1-6/binfiles?fileinfo=1 Get binary package info: binutils=2.38-2 Binary URL: http://snapshot.notset.fr/mr/binary/binutils/2.38-2/binfiles?fileinfo=1 Get binary package info: binutils-common=2.38-2 Binary URL: http://snapshot.notset.fr/mr/binary/binutils-common/2.38-2/binfiles?fileinfo=1 Get binary package info: binutils-x86-64-linux-gnu=2.38-2 Binary URL: http://snapshot.notset.fr/mr/binary/binutils-x86-64-linux-gnu/2.38-2/binfiles?fileinfo=1 Get binary package info: bsdextrautils=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/bsdextrautils/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: bsdutils=1:2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/bsdutils/1:2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: build-essential=12.9 Binary URL: http://snapshot.notset.fr/mr/binary/build-essential/12.9/binfiles?fileinfo=1 Get binary package info: bzip2=1.0.8-5 Binary URL: http://snapshot.notset.fr/mr/binary/bzip2/1.0.8-5/binfiles?fileinfo=1 Get binary package info: cmake=3.22.1-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/cmake/3.22.1-1+b1/binfiles?fileinfo=1 Get binary package info: cmake-data=3.22.1-1 Binary URL: http://snapshot.notset.fr/mr/binary/cmake-data/3.22.1-1/binfiles?fileinfo=1 Get binary package info: coreutils=8.32-4.1 Binary URL: http://snapshot.notset.fr/mr/binary/coreutils/8.32-4.1/binfiles?fileinfo=1 Get binary package info: cpp=4:11.2.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/cpp/4:11.2.0-2/binfiles?fileinfo=1 Get binary package info: cpp-11=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/cpp-11/11.2.0-16/binfiles?fileinfo=1 Get binary package info: dash=0.5.11+git20210903+057cd650a4ed-3 Binary URL: http://snapshot.notset.fr/mr/binary/dash/0.5.11+git20210903+057cd650a4ed-3/binfiles?fileinfo=1 Get binary package info: debconf=1.5.79 Binary URL: http://snapshot.notset.fr/mr/binary/debconf/1.5.79/binfiles?fileinfo=1 Get binary package info: debhelper=13.6 Binary URL: http://snapshot.notset.fr/mr/binary/debhelper/13.6/binfiles?fileinfo=1 Get binary package info: debianutils=5.7-0.1 Binary URL: http://snapshot.notset.fr/mr/binary/debianutils/5.7-0.1/binfiles?fileinfo=1 Get binary package info: dh-autoreconf=20 Binary URL: http://snapshot.notset.fr/mr/binary/dh-autoreconf/20/binfiles?fileinfo=1 Get binary package info: dh-elpa-helper=2.0.10 Binary URL: http://snapshot.notset.fr/mr/binary/dh-elpa-helper/2.0.10/binfiles?fileinfo=1 Get binary package info: dh-python=5.20220215 Binary URL: http://snapshot.notset.fr/mr/binary/dh-python/5.20220215/binfiles?fileinfo=1 Get binary package info: dh-strip-nondeterminism=1.13.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/dh-strip-nondeterminism/1.13.0-1/binfiles?fileinfo=1 Get binary package info: diffutils=1:3.7-5 Binary URL: http://snapshot.notset.fr/mr/binary/diffutils/1:3.7-5/binfiles?fileinfo=1 Get binary package info: dpkg=1.21.1 Binary URL: http://snapshot.notset.fr/mr/binary/dpkg/1.21.1/binfiles?fileinfo=1 Get binary package info: dpkg-dev=1.21.1 Binary URL: http://snapshot.notset.fr/mr/binary/dpkg-dev/1.21.1/binfiles?fileinfo=1 Get binary package info: dwz=0.14-1 Binary URL: http://snapshot.notset.fr/mr/binary/dwz/0.14-1/binfiles?fileinfo=1 Get binary package info: emacsen-common=3.0.4 Binary URL: http://snapshot.notset.fr/mr/binary/emacsen-common/3.0.4/binfiles?fileinfo=1 Get binary package info: file=1:5.41-2 Binary URL: http://snapshot.notset.fr/mr/binary/file/1:5.41-2/binfiles?fileinfo=1 Get binary package info: findutils=4.8.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/findutils/4.8.0-1/binfiles?fileinfo=1 Get binary package info: g++=4:11.2.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/g++/4:11.2.0-2/binfiles?fileinfo=1 Get binary package info: g++-11=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/g++-11/11.2.0-16/binfiles?fileinfo=1 Get binary package info: gcc=4:11.2.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/gcc/4:11.2.0-2/binfiles?fileinfo=1 Get binary package info: gcc-11=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/gcc-11/11.2.0-16/binfiles?fileinfo=1 Get binary package info: gcc-11-base=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/gcc-11-base/11.2.0-16/binfiles?fileinfo=1 Get binary package info: gettext=0.21-4 Binary URL: http://snapshot.notset.fr/mr/binary/gettext/0.21-4/binfiles?fileinfo=1 Get binary package info: gettext-base=0.21-4 Binary URL: http://snapshot.notset.fr/mr/binary/gettext-base/0.21-4/binfiles?fileinfo=1 Get binary package info: grep=3.7-1 Binary URL: http://snapshot.notset.fr/mr/binary/grep/3.7-1/binfiles?fileinfo=1 Get binary package info: groff-base=1.22.4-8 Binary URL: http://snapshot.notset.fr/mr/binary/groff-base/1.22.4-8/binfiles?fileinfo=1 Get binary package info: gzip=1.10-4 Binary URL: http://snapshot.notset.fr/mr/binary/gzip/1.10-4/binfiles?fileinfo=1 Get binary package info: help2man=1.49.1 Binary URL: http://snapshot.notset.fr/mr/binary/help2man/1.49.1/binfiles?fileinfo=1 Get binary package info: hostname=3.23 Binary URL: http://snapshot.notset.fr/mr/binary/hostname/3.23/binfiles?fileinfo=1 Get binary package info: init-system-helpers=1.62 Binary URL: http://snapshot.notset.fr/mr/binary/init-system-helpers/1.62/binfiles?fileinfo=1 Get binary package info: intltool-debian=0.35.0+20060710.5 Binary URL: http://snapshot.notset.fr/mr/binary/intltool-debian/0.35.0+20060710.5/binfiles?fileinfo=1 Get binary package info: libacl1=2.3.1-1 Binary URL: http://snapshot.notset.fr/mr/binary/libacl1/2.3.1-1/binfiles?fileinfo=1 Get binary package info: libarchive-zip-perl=1.68-1 Binary URL: http://snapshot.notset.fr/mr/binary/libarchive-zip-perl/1.68-1/binfiles?fileinfo=1 Get binary package info: libarchive13=3.5.2-1 Binary URL: http://snapshot.notset.fr/mr/binary/libarchive13/3.5.2-1/binfiles?fileinfo=1 Get binary package info: libasan6=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libasan6/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libatomic1=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libatomic1/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libattr1=1:2.5.1-1 Binary URL: http://snapshot.notset.fr/mr/binary/libattr1/1:2.5.1-1/binfiles?fileinfo=1 Get binary package info: libaudit-common=1:3.0.7-1 Binary URL: http://snapshot.notset.fr/mr/binary/libaudit-common/1:3.0.7-1/binfiles?fileinfo=1 Get binary package info: libaudit1=1:3.0.7-1 Binary URL: http://snapshot.notset.fr/mr/binary/libaudit1/1:3.0.7-1/binfiles?fileinfo=1 Get binary package info: libbinutils=2.38-2 Binary URL: http://snapshot.notset.fr/mr/binary/libbinutils/2.38-2/binfiles?fileinfo=1 Get binary package info: libblkid1=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libblkid1/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: libboost-program-options-dev=1.74.0.3 Binary URL: http://snapshot.notset.fr/mr/binary/libboost-program-options-dev/1.74.0.3/binfiles?fileinfo=1 Get binary package info: libboost-program-options1.74-dev=1.74.0-14 Binary URL: http://snapshot.notset.fr/mr/binary/libboost-program-options1.74-dev/1.74.0-14/binfiles?fileinfo=1 Get binary package info: libboost-program-options1.74.0=1.74.0-14 Binary URL: http://snapshot.notset.fr/mr/binary/libboost-program-options1.74.0/1.74.0-14/binfiles?fileinfo=1 Get binary package info: libboost1.74-dev=1.74.0-14 Binary URL: http://snapshot.notset.fr/mr/binary/libboost1.74-dev/1.74.0-14/binfiles?fileinfo=1 Get binary package info: libbrotli1=1.0.9-2+b3 Binary URL: http://snapshot.notset.fr/mr/binary/libbrotli1/1.0.9-2+b3/binfiles?fileinfo=1 Get binary package info: libbz2-1.0=1.0.8-5 Binary URL: http://snapshot.notset.fr/mr/binary/libbz2-1.0/1.0.8-5/binfiles?fileinfo=1 Get binary package info: libc-bin=2.33-6 Binary URL: http://snapshot.notset.fr/mr/binary/libc-bin/2.33-6/binfiles?fileinfo=1 Get binary package info: libc-dev-bin=2.33-6 Binary URL: http://snapshot.notset.fr/mr/binary/libc-dev-bin/2.33-6/binfiles?fileinfo=1 Get binary package info: libc6=2.33-6 Binary URL: http://snapshot.notset.fr/mr/binary/libc6/2.33-6/binfiles?fileinfo=1 Get binary package info: libc6-dev=2.33-6 Binary URL: http://snapshot.notset.fr/mr/binary/libc6-dev/2.33-6/binfiles?fileinfo=1 Get binary package info: libcap-ng0=0.7.9-2.2+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libcap-ng0/0.7.9-2.2+b1/binfiles?fileinfo=1 Get binary package info: libcap2=1:2.44-1 Binary URL: http://snapshot.notset.fr/mr/binary/libcap2/1:2.44-1/binfiles?fileinfo=1 Get binary package info: libcc1-0=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libcc1-0/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libcom-err2=1.46.5-2 Binary URL: http://snapshot.notset.fr/mr/binary/libcom-err2/1.46.5-2/binfiles?fileinfo=1 Get binary package info: libcrypt-dev=1:4.4.27-1.1 Binary URL: http://snapshot.notset.fr/mr/binary/libcrypt-dev/1:4.4.27-1.1/binfiles?fileinfo=1 Get binary package info: libcrypt1=1:4.4.27-1.1 Binary URL: http://snapshot.notset.fr/mr/binary/libcrypt1/1:4.4.27-1.1/binfiles?fileinfo=1 Get binary package info: libctf-nobfd0=2.38-2 Binary URL: http://snapshot.notset.fr/mr/binary/libctf-nobfd0/2.38-2/binfiles?fileinfo=1 Get binary package info: libctf0=2.38-2 Binary URL: http://snapshot.notset.fr/mr/binary/libctf0/2.38-2/binfiles?fileinfo=1 Get binary package info: libcurl4=7.81.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/libcurl4/7.81.0-1/binfiles?fileinfo=1 Get binary package info: libdb5.3=5.3.28+dfsg1-0.8 Binary URL: http://snapshot.notset.fr/mr/binary/libdb5.3/5.3.28+dfsg1-0.8/binfiles?fileinfo=1 Get binary package info: libdebconfclient0=0.261 Binary URL: http://snapshot.notset.fr/mr/binary/libdebconfclient0/0.261/binfiles?fileinfo=1 Get binary package info: libdebhelper-perl=13.6 Binary URL: http://snapshot.notset.fr/mr/binary/libdebhelper-perl/13.6/binfiles?fileinfo=1 Get binary package info: libdpkg-perl=1.21.1 Binary URL: http://snapshot.notset.fr/mr/binary/libdpkg-perl/1.21.1/binfiles?fileinfo=1 Get binary package info: libelf1=0.186-1 Binary URL: http://snapshot.notset.fr/mr/binary/libelf1/0.186-1/binfiles?fileinfo=1 Get binary package info: libexpat1=2.4.6-1 Binary URL: http://snapshot.notset.fr/mr/binary/libexpat1/2.4.6-1/binfiles?fileinfo=1 Get binary package info: libexpat1-dev=2.4.6-1 Binary URL: http://snapshot.notset.fr/mr/binary/libexpat1-dev/2.4.6-1/binfiles?fileinfo=1 Get binary package info: libffi8=3.4.2-4 Binary URL: http://snapshot.notset.fr/mr/binary/libffi8/3.4.2-4/binfiles?fileinfo=1 Get binary package info: libfile-stripnondeterminism-perl=1.13.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/libfile-stripnondeterminism-perl/1.13.0-1/binfiles?fileinfo=1 Get binary package info: libgcc-11-dev=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libgcc-11-dev/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libgcc-s1=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libgcc-s1/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libgcrypt20=1.9.4-5 Binary URL: http://snapshot.notset.fr/mr/binary/libgcrypt20/1.9.4-5/binfiles?fileinfo=1 Get binary package info: libgdbm-compat4=1.23-1 Binary URL: http://snapshot.notset.fr/mr/binary/libgdbm-compat4/1.23-1/binfiles?fileinfo=1 Get binary package info: libgdbm6=1.23-1 Binary URL: http://snapshot.notset.fr/mr/binary/libgdbm6/1.23-1/binfiles?fileinfo=1 Get binary package info: libgmp10=2:6.2.1+dfsg-3 Binary URL: http://snapshot.notset.fr/mr/binary/libgmp10/2:6.2.1+dfsg-3/binfiles?fileinfo=1 Get binary package info: libgnutls30=3.7.3-4+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libgnutls30/3.7.3-4+b1/binfiles?fileinfo=1 Get binary package info: libgomp1=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libgomp1/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libgpg-error0=1.43-3 Binary URL: http://snapshot.notset.fr/mr/binary/libgpg-error0/1.43-3/binfiles?fileinfo=1 Get binary package info: libgssapi-krb5-2=1.18.3-7 Binary URL: http://snapshot.notset.fr/mr/binary/libgssapi-krb5-2/1.18.3-7/binfiles?fileinfo=1 Get binary package info: libhogweed6=3.7.3-1 Binary URL: http://snapshot.notset.fr/mr/binary/libhogweed6/3.7.3-1/binfiles?fileinfo=1 Get binary package info: libicu67=67.1-7 Binary URL: http://snapshot.notset.fr/mr/binary/libicu67/67.1-7/binfiles?fileinfo=1 Get binary package info: libidn2-0=2.3.2-2 Binary URL: http://snapshot.notset.fr/mr/binary/libidn2-0/2.3.2-2/binfiles?fileinfo=1 Get binary package info: libisl23=0.24-2 Binary URL: http://snapshot.notset.fr/mr/binary/libisl23/0.24-2/binfiles?fileinfo=1 Get binary package info: libitm1=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libitm1/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libjs-jquery=3.6.0+dfsg+~3.5.13-1 Binary URL: http://snapshot.notset.fr/mr/binary/libjs-jquery/3.6.0+dfsg+~3.5.13-1/binfiles?fileinfo=1 Get binary package info: libjs-sphinxdoc=4.3.2-1 Binary URL: http://snapshot.notset.fr/mr/binary/libjs-sphinxdoc/4.3.2-1/binfiles?fileinfo=1 Get binary package info: libjs-underscore=1.13.2~dfsg-2 Binary URL: http://snapshot.notset.fr/mr/binary/libjs-underscore/1.13.2~dfsg-2/binfiles?fileinfo=1 Get binary package info: libjsoncpp25=1.9.5-3 Binary URL: http://snapshot.notset.fr/mr/binary/libjsoncpp25/1.9.5-3/binfiles?fileinfo=1 Get binary package info: libk5crypto3=1.18.3-7 Binary URL: http://snapshot.notset.fr/mr/binary/libk5crypto3/1.18.3-7/binfiles?fileinfo=1 Get binary package info: libkeyutils1=1.6.1-2 Binary URL: http://snapshot.notset.fr/mr/binary/libkeyutils1/1.6.1-2/binfiles?fileinfo=1 Get binary package info: libkrb5-3=1.18.3-7 Binary URL: http://snapshot.notset.fr/mr/binary/libkrb5-3/1.18.3-7/binfiles?fileinfo=1 Get binary package info: libkrb5support0=1.18.3-7 Binary URL: http://snapshot.notset.fr/mr/binary/libkrb5support0/1.18.3-7/binfiles?fileinfo=1 Get binary package info: libldap-2.4-2=2.4.59+dfsg-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libldap-2.4-2/2.4.59+dfsg-1+b1/binfiles?fileinfo=1 Get binary package info: liblocale-gettext-perl=1.07-4+b2 Binary URL: http://snapshot.notset.fr/mr/binary/liblocale-gettext-perl/1.07-4+b2/binfiles?fileinfo=1 Get binary package info: liblsan0=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/liblsan0/11.2.0-16/binfiles?fileinfo=1 Get binary package info: liblz4-1=1.9.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/liblz4-1/1.9.3-2/binfiles?fileinfo=1 Get binary package info: liblzma5=5.2.5-2 Binary URL: http://snapshot.notset.fr/mr/binary/liblzma5/5.2.5-2/binfiles?fileinfo=1 Get binary package info: libm4ri-0.0.20200125=20200125-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libm4ri-0.0.20200125/20200125-1+b1/binfiles?fileinfo=1 Get binary package info: libm4ri-dev=20200125-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libm4ri-dev/20200125-1+b1/binfiles?fileinfo=1 Get binary package info: libmagic-mgc=1:5.41-2 Binary URL: http://snapshot.notset.fr/mr/binary/libmagic-mgc/1:5.41-2/binfiles?fileinfo=1 Get binary package info: libmagic1=1:5.41-2 Binary URL: http://snapshot.notset.fr/mr/binary/libmagic1/1:5.41-2/binfiles?fileinfo=1 Get binary package info: libmount1=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libmount1/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: libmpc3=1.2.1-1 Binary URL: http://snapshot.notset.fr/mr/binary/libmpc3/1.2.1-1/binfiles?fileinfo=1 Get binary package info: libmpdec3=2.5.1-2 Binary URL: http://snapshot.notset.fr/mr/binary/libmpdec3/2.5.1-2/binfiles?fileinfo=1 Get binary package info: libmpfr6=4.1.0-3 Binary URL: http://snapshot.notset.fr/mr/binary/libmpfr6/4.1.0-3/binfiles?fileinfo=1 Get binary package info: libncurses6=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libncurses6/6.3-2/binfiles?fileinfo=1 Get binary package info: libncursesw6=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libncursesw6/6.3-2/binfiles?fileinfo=1 Get binary package info: libnettle8=3.7.3-1 Binary URL: http://snapshot.notset.fr/mr/binary/libnettle8/3.7.3-1/binfiles?fileinfo=1 Get binary package info: libnghttp2-14=1.43.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/libnghttp2-14/1.43.0-1/binfiles?fileinfo=1 Get binary package info: libnsl-dev=1.3.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/libnsl-dev/1.3.0-2/binfiles?fileinfo=1 Get binary package info: libnsl2=1.3.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/libnsl2/1.3.0-2/binfiles?fileinfo=1 Get binary package info: libp11-kit0=0.24.0-6 Binary URL: http://snapshot.notset.fr/mr/binary/libp11-kit0/0.24.0-6/binfiles?fileinfo=1 Get binary package info: libpam-modules=1.4.0-11 Binary URL: http://snapshot.notset.fr/mr/binary/libpam-modules/1.4.0-11/binfiles?fileinfo=1 Get binary package info: libpam-modules-bin=1.4.0-11 Binary URL: http://snapshot.notset.fr/mr/binary/libpam-modules-bin/1.4.0-11/binfiles?fileinfo=1 Get binary package info: libpam-runtime=1.4.0-11 Binary URL: http://snapshot.notset.fr/mr/binary/libpam-runtime/1.4.0-11/binfiles?fileinfo=1 Get binary package info: libpam0g=1.4.0-11 Binary URL: http://snapshot.notset.fr/mr/binary/libpam0g/1.4.0-11/binfiles?fileinfo=1 Get binary package info: libpcre2-8-0=10.39-3 Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-8-0/10.39-3/binfiles?fileinfo=1 Get binary package info: libpcre3=2:8.39-13 Binary URL: http://snapshot.notset.fr/mr/binary/libpcre3/2:8.39-13/binfiles?fileinfo=1 Get binary package info: libperl5.34=5.34.0-3 Binary URL: http://snapshot.notset.fr/mr/binary/libperl5.34/5.34.0-3/binfiles?fileinfo=1 Get binary package info: libpipeline1=1.5.5-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpipeline1/1.5.5-1/binfiles?fileinfo=1 Get binary package info: libpng16-16=1.6.37-3 Binary URL: http://snapshot.notset.fr/mr/binary/libpng16-16/1.6.37-3/binfiles?fileinfo=1 Get binary package info: libprocps8=2:3.3.17-6 Binary URL: http://snapshot.notset.fr/mr/binary/libprocps8/2:3.3.17-6/binfiles?fileinfo=1 Get binary package info: libpsl5=0.21.0-1.2 Binary URL: http://snapshot.notset.fr/mr/binary/libpsl5/0.21.0-1.2/binfiles?fileinfo=1 Get binary package info: libpython3-dev=3.9.8-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpython3-dev/3.9.8-1/binfiles?fileinfo=1 Get binary package info: libpython3-stdlib=3.9.8-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpython3-stdlib/3.9.8-1/binfiles?fileinfo=1 Get binary package info: libpython3.9=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.9/3.9.10-1/binfiles?fileinfo=1 Get binary package info: libpython3.9-dev=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.9-dev/3.9.10-1/binfiles?fileinfo=1 Get binary package info: libpython3.9-minimal=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.9-minimal/3.9.10-1/binfiles?fileinfo=1 Get binary package info: libpython3.9-stdlib=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.9-stdlib/3.9.10-1/binfiles?fileinfo=1 Get binary package info: libquadmath0=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libquadmath0/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libreadline8=8.1.2-1 Binary URL: http://snapshot.notset.fr/mr/binary/libreadline8/8.1.2-1/binfiles?fileinfo=1 Get binary package info: librhash0=1.4.2-1 Binary URL: http://snapshot.notset.fr/mr/binary/librhash0/1.4.2-1/binfiles?fileinfo=1 Get binary package info: librtmp1=2.4+20151223.gitfa8646d.1-2+b2 Binary URL: http://snapshot.notset.fr/mr/binary/librtmp1/2.4+20151223.gitfa8646d.1-2+b2/binfiles?fileinfo=1 Get binary package info: libsasl2-2=2.1.27+dfsg2-3 Binary URL: http://snapshot.notset.fr/mr/binary/libsasl2-2/2.1.27+dfsg2-3/binfiles?fileinfo=1 Get binary package info: libsasl2-modules-db=2.1.27+dfsg2-3 Binary URL: http://snapshot.notset.fr/mr/binary/libsasl2-modules-db/2.1.27+dfsg2-3/binfiles?fileinfo=1 Get binary package info: libseccomp2=2.5.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libseccomp2/2.5.3-2/binfiles?fileinfo=1 Get binary package info: libselinux1=3.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libselinux1/3.3-1+b1/binfiles?fileinfo=1 Get binary package info: libsigsegv2=2.14-1 Binary URL: http://snapshot.notset.fr/mr/binary/libsigsegv2/2.14-1/binfiles?fileinfo=1 Get binary package info: libsmartcols1=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libsmartcols1/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: libsqlite3-0=3.37.2-2 Binary URL: http://snapshot.notset.fr/mr/binary/libsqlite3-0/3.37.2-2/binfiles?fileinfo=1 Get binary package info: libssh2-1=1.10.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/libssh2-1/1.10.0-2/binfiles?fileinfo=1 Get binary package info: libssl1.1=1.1.1m-1 Binary URL: http://snapshot.notset.fr/mr/binary/libssl1.1/1.1.1m-1/binfiles?fileinfo=1 Get binary package info: libstdc++-11-dev=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libstdc++-11-dev/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libstdc++6=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libstdc++6/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libsub-override-perl=0.09-2 Binary URL: http://snapshot.notset.fr/mr/binary/libsub-override-perl/0.09-2/binfiles?fileinfo=1 Get binary package info: libsystemd0=250.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libsystemd0/250.3-2/binfiles?fileinfo=1 Get binary package info: libtasn1-6=4.18.0-4 Binary URL: http://snapshot.notset.fr/mr/binary/libtasn1-6/4.18.0-4/binfiles?fileinfo=1 Get binary package info: libtinfo6=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libtinfo6/6.3-2/binfiles?fileinfo=1 Get binary package info: libtirpc-common=1.3.2-2 Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc-common/1.3.2-2/binfiles?fileinfo=1 Get binary package info: libtirpc-dev=1.3.2-2 Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc-dev/1.3.2-2/binfiles?fileinfo=1 Get binary package info: libtirpc3=1.3.2-2 Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc3/1.3.2-2/binfiles?fileinfo=1 Get binary package info: libtool=2.4.6-15 Binary URL: http://snapshot.notset.fr/mr/binary/libtool/2.4.6-15/binfiles?fileinfo=1 Get binary package info: libtsan0=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libtsan0/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libubsan1=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libubsan1/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libuchardet0=0.0.7-1 Binary URL: http://snapshot.notset.fr/mr/binary/libuchardet0/0.0.7-1/binfiles?fileinfo=1 Get binary package info: libudev1=250.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libudev1/250.3-2/binfiles?fileinfo=1 Get binary package info: libunistring2=1.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/libunistring2/1.0-1/binfiles?fileinfo=1 Get binary package info: libuuid1=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libuuid1/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: libuv1=1.43.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/libuv1/1.43.0-1/binfiles?fileinfo=1 Get binary package info: libxml2=2.9.12+dfsg-6 Binary URL: http://snapshot.notset.fr/mr/binary/libxml2/2.9.12+dfsg-6/binfiles?fileinfo=1 Get binary package info: libzstd1=1.4.8+dfsg-3 Binary URL: http://snapshot.notset.fr/mr/binary/libzstd1/1.4.8+dfsg-3/binfiles?fileinfo=1 Get binary package info: linux-libc-dev=5.16.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/linux-libc-dev/5.16.10-1/binfiles?fileinfo=1 Get binary package info: login=1:4.11.1+dfsg1-1 Binary URL: http://snapshot.notset.fr/mr/binary/login/1:4.11.1+dfsg1-1/binfiles?fileinfo=1 Get binary package info: lsb-base=11.1.0 Binary URL: http://snapshot.notset.fr/mr/binary/lsb-base/11.1.0/binfiles?fileinfo=1 Get binary package info: m4=1.4.18-5 Binary URL: http://snapshot.notset.fr/mr/binary/m4/1.4.18-5/binfiles?fileinfo=1 Get binary package info: make=4.3-4.1 Binary URL: http://snapshot.notset.fr/mr/binary/make/4.3-4.1/binfiles?fileinfo=1 Get binary package info: man-db=2.10.1-1 Binary URL: http://snapshot.notset.fr/mr/binary/man-db/2.10.1-1/binfiles?fileinfo=1 Get binary package info: mawk=1.3.4.20200120-3+b1 Binary URL: http://snapshot.notset.fr/mr/binary/mawk/1.3.4.20200120-3+b1/binfiles?fileinfo=1 Get binary package info: media-types=5.0.0 Binary URL: http://snapshot.notset.fr/mr/binary/media-types/5.0.0/binfiles?fileinfo=1 Get binary package info: ncurses-base=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/ncurses-base/6.3-2/binfiles?fileinfo=1 Get binary package info: ncurses-bin=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/ncurses-bin/6.3-2/binfiles?fileinfo=1 Get binary package info: patch=2.7.6-7 Binary URL: http://snapshot.notset.fr/mr/binary/patch/2.7.6-7/binfiles?fileinfo=1 Get binary package info: perl=5.34.0-3 Binary URL: http://snapshot.notset.fr/mr/binary/perl/5.34.0-3/binfiles?fileinfo=1 Get binary package info: perl-base=5.34.0-3 Binary URL: http://snapshot.notset.fr/mr/binary/perl-base/5.34.0-3/binfiles?fileinfo=1 Get binary package info: perl-modules-5.34=5.34.0-3 Binary URL: http://snapshot.notset.fr/mr/binary/perl-modules-5.34/5.34.0-3/binfiles?fileinfo=1 Get binary package info: po-debconf=1.0.21+nmu1 Binary URL: http://snapshot.notset.fr/mr/binary/po-debconf/1.0.21+nmu1/binfiles?fileinfo=1 Get binary package info: procps=2:3.3.17-6 Binary URL: http://snapshot.notset.fr/mr/binary/procps/2:3.3.17-6/binfiles?fileinfo=1 Get binary package info: python3=3.9.8-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3/3.9.8-1/binfiles?fileinfo=1 Get binary package info: python3-dev=3.9.8-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3-dev/3.9.8-1/binfiles?fileinfo=1 Get binary package info: python3-distutils=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3-distutils/3.9.10-1/binfiles?fileinfo=1 Get binary package info: python3-lib2to3=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3-lib2to3/3.9.10-1/binfiles?fileinfo=1 Get binary package info: python3-minimal=3.9.8-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3-minimal/3.9.8-1/binfiles?fileinfo=1 Get binary package info: python3.9=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3.9/3.9.10-1/binfiles?fileinfo=1 Get binary package info: python3.9-dev=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3.9-dev/3.9.10-1/binfiles?fileinfo=1 Get binary package info: python3.9-minimal=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3.9-minimal/3.9.10-1/binfiles?fileinfo=1 Get binary package info: readline-common=8.1.2-1 Binary URL: http://snapshot.notset.fr/mr/binary/readline-common/8.1.2-1/binfiles?fileinfo=1 Get binary package info: rpcsvc-proto=1.4.2-4 Binary URL: http://snapshot.notset.fr/mr/binary/rpcsvc-proto/1.4.2-4/binfiles?fileinfo=1 Get binary package info: sed=4.8-1 Binary URL: http://snapshot.notset.fr/mr/binary/sed/4.8-1/binfiles?fileinfo=1 Get binary package info: sensible-utils=0.0.17 Binary URL: http://snapshot.notset.fr/mr/binary/sensible-utils/0.0.17/binfiles?fileinfo=1 Get binary package info: sysvinit-utils=3.01-1 Binary URL: http://snapshot.notset.fr/mr/binary/sysvinit-utils/3.01-1/binfiles?fileinfo=1 Get binary package info: tar=1.34+dfsg-1 Binary URL: http://snapshot.notset.fr/mr/binary/tar/1.34+dfsg-1/binfiles?fileinfo=1 Get binary package info: tzdata=2021e-1 Binary URL: http://snapshot.notset.fr/mr/binary/tzdata/2021e-1/binfiles?fileinfo=1 Get binary package info: util-linux=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/util-linux/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: xz-utils=5.2.5-2 Binary URL: http://snapshot.notset.fr/mr/binary/xz-utils/5.2.5-2/binfiles?fileinfo=1 Get binary package info: zlib1g=1:1.2.11.dfsg-2 Binary URL: http://snapshot.notset.fr/mr/binary/zlib1g/1:1.2.11.dfsg-2/binfiles?fileinfo=1 Get binary package info: zlib1g-dev=1:1.2.11.dfsg-2 Binary URL: http://snapshot.notset.fr/mr/binary/zlib1g-dev/1:1.2.11.dfsg-2/binfiles?fileinfo=1 Remaining packages to be found: 213 Timestamp source (44 packages): deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220208T213545Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220123T025342Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220130T030506Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220220T025720Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220212T154028Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220116T032954Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220217T154341Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211214T030236Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211103T025035Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211122T030439Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220219T213354Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210830T143924Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211212T031254Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211118T025207Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220112T025121Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210901T090918Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220124T155715Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210823T024636Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211205T025806Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211210T031943Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220104T153720Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211223T031038Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210816T024705Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220216T030243Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211118T205424Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220106T025822Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211123T025155Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211220T093239Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220208T091208Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220201T025006Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220118T114129Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220202T030237Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220129T210618Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220129T025638Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210911T144836Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220211T025424Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220125T033125Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210930T025245Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211108T025858Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211105T024921Z/ bookworm main Remaining packages to be found: 5 Timestamp source (1 packages): deb http://snapshot.notset.fr/archive/debian/20220225T025859Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211221T091706Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220218T030127Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210909T025907Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220101T024315Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220218T213206Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211225T030209Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210903T030245Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220110T025336Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220122T031231Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220124T035008Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210818T085356Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211017T024714Z/ bookworm main Remaining packages to be found: 4 Timestamp source (1 packages): deb http://snapshot.notset.fr/archive/debian/20220226T025804Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211222T152232Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211019T025145Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211124T025830Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210927T084912Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211226T092955Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220212T031344Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220121T030821Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220221T085442Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211008T024925Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220215T025613Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210824T024320Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210902T030735Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211030T025126Z/ bookworm main Remaining packages to be found: 3 Timestamp source (2 packages): deb http://snapshot.notset.fr/archive/debian/20220222T085321Z/ unstable main New buildinfo file: /tmp/cryptominisat-5.8.0+dfsg1-2f76ptgdt/cryptominisat_5.8.0+dfsg1-2_amd64.buildinfo env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf:all=2.71-2 automake:all=1:1.16.5-1.1 autopoint:all=0.21-4 autotools-dev:all=20220109.1 base-files:amd64=12.2 base-passwd:amd64=3.5.52 bash:amd64=5.1-6 binutils:amd64=2.38-2 binutils-common:amd64=2.38-2 binutils-x86-64-linux-gnu:amd64=2.38-2 bsdextrautils:amd64=2.37.3-1+b1 bsdutils:amd64=1:2.37.3-1+b1 build-essential:amd64=12.9 bzip2:amd64=1.0.8-5 cmake:amd64=3.22.1-1+b1 cmake-data:all=3.22.1-1 coreutils:amd64=8.32-4.1 cpp:amd64=4:11.2.0-2 cpp-11:amd64=11.2.0-16 dash:amd64=0.5.11+git20210903+057cd650a4ed-3 debconf:all=1.5.79 debhelper:all=13.6 debianutils:amd64=5.7-0.1 dh-autoreconf:all=20 dh-elpa-helper:all=2.0.10 dh-python:all=5.20220215 dh-strip-nondeterminism:all=1.13.0-1 diffutils:amd64=1:3.7-5 dpkg:amd64=1.21.1 dpkg-dev:all=1.21.1 dwz:amd64=0.14-1 emacsen-common:all=3.0.4 file:amd64=1:5.41-2 findutils:amd64=4.8.0-1 g++:amd64=4:11.2.0-2 g++-11:amd64=11.2.0-16 gcc:amd64=4:11.2.0-2 gcc-11:amd64=11.2.0-16 gcc-11-base:amd64=11.2.0-16 gettext:amd64=0.21-4 gettext-base:amd64=0.21-4 grep:amd64=3.7-1 groff-base:amd64=1.22.4-8 gzip:amd64=1.10-4 help2man:amd64=1.49.1 hostname:amd64=3.23 init-system-helpers:all=1.62 intltool-debian:all=0.35.0+20060710.5 libacl1:amd64=2.3.1-1 libarchive-zip-perl:all=1.68-1 libarchive13:amd64=3.5.2-1 libasan6:amd64=11.2.0-16 libatomic1:amd64=11.2.0-16 libattr1:amd64=1:2.5.1-1 libaudit-common:all=1:3.0.7-1 libaudit1:amd64=1:3.0.7-1 libbinutils:amd64=2.38-2 libblkid1:amd64=2.37.3-1+b1 libboost-program-options-dev:amd64=1.74.0.3 libboost-program-options1.74-dev:amd64=1.74.0-14 libboost-program-options1.74.0:amd64=1.74.0-14 libboost1.74-dev:amd64=1.74.0-14 libbrotli1:amd64=1.0.9-2+b3 libbz2-1.0:amd64=1.0.8-5 libc-bin:amd64=2.33-6 libc-dev-bin:amd64=2.33-6 libc6:amd64=2.33-6 libc6-dev:amd64=2.33-6 libcap-ng0:amd64=0.7.9-2.2+b1 libcap2:amd64=1:2.44-1 libcc1-0:amd64=11.2.0-16 libcom-err2:amd64=1.46.5-2 libcrypt-dev:amd64=1:4.4.27-1.1 libcrypt1:amd64=1:4.4.27-1.1 libctf-nobfd0:amd64=2.38-2 libctf0:amd64=2.38-2 libcurl4:amd64=7.81.0-1 libdb5.3:amd64=5.3.28+dfsg1-0.8 libdebconfclient0:amd64=0.261 libdebhelper-perl:all=13.6 libdpkg-perl:all=1.21.1 libelf1:amd64=0.186-1 libexpat1:amd64=2.4.6-1 libexpat1-dev:amd64=2.4.6-1 libffi8:amd64=3.4.2-4 libfile-stripnondeterminism-perl:all=1.13.0-1 libgcc-11-dev:amd64=11.2.0-16 libgcc-s1:amd64=11.2.0-16 libgcrypt20:amd64=1.9.4-5 libgdbm-compat4:amd64=1.23-1 libgdbm6:amd64=1.23-1 libgmp10:amd64=2:6.2.1+dfsg-3 libgnutls30:amd64=3.7.3-4+b1 libgomp1:amd64=11.2.0-16 libgpg-error0:amd64=1.43-3 libgssapi-krb5-2:amd64=1.18.3-7 libhogweed6:amd64=3.7.3-1 libicu67:amd64=67.1-7 libidn2-0:amd64=2.3.2-2 libisl23:amd64=0.24-2 libitm1:amd64=11.2.0-16 libjs-jquery:all=3.6.0+dfsg+~3.5.13-1 libjs-sphinxdoc:all=4.3.2-1 libjs-underscore:all=1.13.2~dfsg-2 libjsoncpp25:amd64=1.9.5-3 libk5crypto3:amd64=1.18.3-7 libkeyutils1:amd64=1.6.1-2 libkrb5-3:amd64=1.18.3-7 libkrb5support0:amd64=1.18.3-7 libldap-2.4-2:amd64=2.4.59+dfsg-1+b1 liblocale-gettext-perl:amd64=1.07-4+b2 liblsan0:amd64=11.2.0-16 liblz4-1:amd64=1.9.3-2 liblzma5:amd64=5.2.5-2 libm4ri-0.0.20200125:amd64=20200125-1+b1 libm4ri-dev:amd64=20200125-1+b1 libmagic-mgc:amd64=1:5.41-2 libmagic1:amd64=1:5.41-2 libmount1:amd64=2.37.3-1+b1 libmpc3:amd64=1.2.1-1 libmpdec3:amd64=2.5.1-2 libmpfr6:amd64=4.1.0-3 libncurses6:amd64=6.3-2 libncursesw6:amd64=6.3-2 libnettle8:amd64=3.7.3-1 libnghttp2-14:amd64=1.43.0-1 libnsl-dev:amd64=1.3.0-2 libnsl2:amd64=1.3.0-2 libp11-kit0:amd64=0.24.0-6 libpam-modules:amd64=1.4.0-11 libpam-modules-bin:amd64=1.4.0-11 libpam-runtime:all=1.4.0-11 libpam0g:amd64=1.4.0-11 libpcre2-8-0:amd64=10.39-3 libpcre3:amd64=2:8.39-13 libperl5.34:amd64=5.34.0-3 libpipeline1:amd64=1.5.5-1 libpng16-16:amd64=1.6.37-3 libprocps8:amd64=2:3.3.17-6 libpsl5:amd64=0.21.0-1.2 libpython3-dev:amd64=3.9.8-1 libpython3-stdlib:amd64=3.9.8-1 libpython3.9:amd64=3.9.10-1 libpython3.9-dev:amd64=3.9.10-1 libpython3.9-minimal:amd64=3.9.10-1 libpython3.9-stdlib:amd64=3.9.10-1 libquadmath0:amd64=11.2.0-16 libreadline8:amd64=8.1.2-1 librhash0:amd64=1.4.2-1 librtmp1:amd64=2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2:amd64=2.1.27+dfsg2-3 libsasl2-modules-db:amd64=2.1.27+dfsg2-3 libseccomp2:amd64=2.5.3-2 libselinux1:amd64=3.3-1+b1 libsigsegv2:amd64=2.14-1 libsmartcols1:amd64=2.37.3-1+b1 libsqlite3-0:amd64=3.37.2-2 libssh2-1:amd64=1.10.0-2 libssl1.1:amd64=1.1.1m-1 libstdc++-11-dev:amd64=11.2.0-16 libstdc++6:amd64=11.2.0-16 libsub-override-perl:all=0.09-2 libsystemd0:amd64=250.3-2 libtasn1-6:amd64=4.18.0-4 libtinfo6:amd64=6.3-2 libtirpc-common:all=1.3.2-2 libtirpc-dev:amd64=1.3.2-2 libtirpc3:amd64=1.3.2-2 libtool:all=2.4.6-15 libtsan0:amd64=11.2.0-16 libubsan1:amd64=11.2.0-16 libuchardet0:amd64=0.0.7-1 libudev1:amd64=250.3-2 libunistring2:amd64=1.0-1 libuuid1:amd64=2.37.3-1+b1 libuv1:amd64=1.43.0-1 libxml2:amd64=2.9.12+dfsg-6 libzstd1:amd64=1.4.8+dfsg-3 linux-libc-dev:amd64=5.16.10-1 login:amd64=1:4.11.1+dfsg1-1 lsb-base:all=11.1.0 m4:amd64=1.4.18-5 make:amd64=4.3-4.1 man-db:amd64=2.10.1-1 mawk:amd64=1.3.4.20200120-3+b1 media-types:all=5.0.0 ncurses-base:all=6.3-2 ncurses-bin:amd64=6.3-2 patch:amd64=2.7.6-7 perl:amd64=5.34.0-3 perl-base:amd64=5.34.0-3 perl-modules-5.34:all=5.34.0-3 po-debconf:all=1.0.21+nmu1 procps:amd64=2:3.3.17-6 python3:amd64=3.9.8-1 python3-dev:amd64=3.9.8-1 python3-distutils:all=3.9.10-1 python3-lib2to3:all=3.9.10-1 python3-minimal:amd64=3.9.8-1 python3.9:amd64=3.9.10-1 python3.9-dev:amd64=3.9.10-1 python3.9-minimal:amd64=3.9.10-1 readline-common:all=8.1.2-1 rpcsvc-proto:amd64=1.4.2-4 sed:amd64=4.8-1 sensible-utils:all=0.0.17 sysvinit-utils:amd64=3.01-1 tar:amd64=1.34+dfsg-1 tzdata:all=2021e-1 util-linux:amd64=2.37.3-1+b1 xz-utils:amd64=5.2.5-2 zlib1g:amd64=1:1.2.11.dfsg-2 zlib1g-dev:amd64=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220224T030026Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220224T030026Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220225T025859Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220226T025804Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220222T085321Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d cryptominisat=5.8.0+dfsg1-2 && mkdir -p /build/cryptominisat-1TeIvs && dpkg-source --no-check -x /*.dsc /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 && chown -R builduser:builduser /build/cryptominisat-1TeIvs" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1645535865" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/cryptominisat-1TeIvs /tmp/cryptominisat-5.8.0+dfsg1-2f76ptgdt bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220219T213354Z bookworm main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: null I: using /tmp/mmdebstrap.6JqSritYto as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.6JqSritYto Reading package lists... Building dependency tree... util-linux is already the newest version (2.37.3-1+b1). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 136 kB of archives. After this operation, 406 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220219T213354Z bookworm/main amd64 libfakeroot amd64 1.27-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220219T213354Z bookworm/main amd64 fakeroot amd64 1.27-1 [87.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 136 kB in 0s (1027 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4693 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.27-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.27-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.27-1_amd64.deb ... Unpacking fakeroot (1.27-1) ... Setting up libfakeroot:amd64 (1.27-1) ... Setting up fakeroot (1.27-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-6) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220224T030026Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220224T030026Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220225T025859Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220226T025804Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220222T085321Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.6JqSritYto Get:1 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm InRelease [130 kB] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm InRelease [130 kB] Get:4 http://snapshot.notset.fr/archive/debian/20220226T025804Z bookworm InRelease [130 kB] Get:5 http://snapshot.notset.fr/archive/debian/20220222T085321Z unstable InRelease [165 kB] Ign:6 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main Sources Ign:7 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main Sources Ign:7 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main Sources Ign:7 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main Sources [11.9 MB] Get:7 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main amd64 Packages [11.3 MB] Ign:8 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:9 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages Ign:10 http://snapshot.notset.fr/archive/debian/20220226T025804Z bookworm/main amd64 Packages Ign:11 http://snapshot.notset.fr/archive/debian/20220222T085321Z unstable/main amd64 Packages Ign:8 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:9 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages Ign:10 http://snapshot.notset.fr/archive/debian/20220226T025804Z bookworm/main amd64 Packages Ign:11 http://snapshot.notset.fr/archive/debian/20220222T085321Z unstable/main amd64 Packages Ign:8 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:9 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages Ign:10 http://snapshot.notset.fr/archive/debian/20220226T025804Z bookworm/main amd64 Packages Ign:11 http://snapshot.notset.fr/archive/debian/20220222T085321Z unstable/main amd64 Packages Get:8 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Get:9 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages [11.3 MB] Get:10 http://snapshot.notset.fr/archive/debian/20220226T025804Z bookworm/main amd64 Packages [11.3 MB] Get:11 http://snapshot.notset.fr/archive/debian/20220222T085321Z unstable/main amd64 Packages [12.2 MB] Fetched 69.7 MB in 56s (1245 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.6JqSritYto I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d cryptominisat=5.8.0+dfsg1-2 && mkdir -p /build/cryptominisat-1TeIvs && dpkg-source --no-check -x /*.dsc /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 && chown -R builduser:builduser /build/cryptominisat-1TeIvs"' exec /tmp/mmdebstrap.6JqSritYto Reading package lists... NOTICE: 'cryptominisat' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/science-team/cryptominisat.git Please use: git clone https://salsa.debian.org/science-team/cryptominisat.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 460 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main cryptominisat 5.8.0+dfsg1-2 (dsc) [2408 B] Get:2 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main cryptominisat 5.8.0+dfsg1-2 (tar) [451 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220224T030026Z bookworm/main cryptominisat 5.8.0+dfsg1-2 (diff) [6264 B] Fetched 460 kB in 1s (851 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'cryptominisat_5.8.0+dfsg1-2.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting cryptominisat in /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 dpkg-source: info: unpacking cryptominisat_5.8.0+dfsg1.orig.tar.xz dpkg-source: info: unpacking cryptominisat_5.8.0+dfsg1-2.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying spelling_errors.patch dpkg-source: info: applying fix_manpage.patch dpkg-source: info: applying reproducible-build.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1645535865" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.6JqSritYto dpkg-buildpackage: info: source package cryptominisat dpkg-buildpackage: info: source version 5.8.0+dfsg1-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean --with python3 dh_clean debian/rules build-arch dh build-arch --with python3 dh_update_autotools_config -a dh_autoreconf -a debian/rules override_dh_auto_configure make[1]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1' dh_auto_configure -- \ -DCMAKE_LIBRARY_ARCHITECTURE=x86_64-linux-gnu \ -DCMAKE_BUILD_RPATH_USE_ORIGIN=ON cd obj-x86_64-linux-gnu && cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_USE_PACKAGE_REGISTRY=OFF -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_INSTALL_LIBDIR=lib/x86_64-linux-gnu -DCMAKE_LIBRARY_ARCHITECTURE=x86_64-linux-gnu -DCMAKE_BUILD_RPATH_USE_ORIGIN=ON .. -- The CXX compiler identification is GNU 11.2.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is 'lib/x86_64-linux-gnu' -- BIN directory is '' -- Doing a None build -- The C compiler identification is GNU 11.2.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Check if compiler accepts -pthread -- Check if compiler accepts -pthread - yes -- Found Threads: TRUE -- Building with GAUSS enabled at every level -- build type is None -- Performing Test HAVE_FLAG_-fvisibility=hidden -- Performing Test HAVE_FLAG_-fvisibility=hidden - Success -- Performing Test HAVE_FLAG_-Wall -- Performing Test HAVE_FLAG_-Wall - Success -- Performing Test HAVE_FLAG_-Wextra -- Performing Test HAVE_FLAG_-Wextra - Success -- Performing Test HAVE_FLAG_-Wunused -- Performing Test HAVE_FLAG_-Wunused - Success -- Performing Test HAVE_FLAG_-Wsign-compare -- Performing Test HAVE_FLAG_-Wsign-compare - Success -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success -- Performing Test HAVE_FLAG_-Wtype-limits -- Performing Test HAVE_FLAG_-Wtype-limits - Success -- Performing Test HAVE_FLAG_-Wuninitialized -- Performing Test HAVE_FLAG_-Wuninitialized - Success -- Performing Test HAVE_FLAG_-Wno-deprecated -- Performing Test HAVE_FLAG_-Wno-deprecated - Success -- Performing Test HAVE_FLAG_-Wstrict-aliasing -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success -- Performing Test HAVE_FLAG_-Wpointer-arith -- Performing Test HAVE_FLAG_-Wpointer-arith - Success -- Performing Test HAVE_FLAG_-Wheader-guard -- Performing Test HAVE_FLAG_-Wheader-guard - Failed -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- Performing Test HAVE_FLAG_-g -- Performing Test HAVE_FLAG_-g - Success -- Performing Test HAVE_FLAG_-Wno-class-memaccess -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success -- Performing Test HAVE_FLAG_-mpopcnt -- Performing Test HAVE_FLAG_-mpopcnt - Success -- Performing Test HAVE_FLAG_-msse4.2 -- Performing Test HAVE_FLAG_-msse4.2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi-stmt -- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Failed -- Performing Test HAVE_FLAG_-Wweak-vtables -- Performing Test HAVE_FLAG_-Wweak-vtables - Failed -- Performing Test HAVE_FLAG_-ggdb3 -- Performing Test HAVE_FLAG_-ggdb3 - Success -- Compiling for dynamic library use -- PROJECT_VERSION: 5.8.0 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 8 -- PROJECT_VERSION_PATCH: 0 -- Found Boost: /usr/lib/x86_64-linux-gnu/cmake/Boost-1.74.0/BoostConfig.cmake (found suitable version "1.74.0", minimum required is "1.46") found components: program_options -- Could NOT find SQLITE3 (missing: SQLITE3_LIBRARY SQLITE3_INCLUDE_DIR) -- WARNING: Did not find SQLITE3, SQLITE3 support will be disabled -- Not compiling detailed statistics. The system is faster without them -- Manpage will be created and installed -- Found ZLIB: /usr/lib/x86_64-linux-gnu/libz.so (found version "1.2.11") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Success -- Found FPU code for yalsat: fpu_control.h, _FPU_SINGLE, _FPU_DOUBLE -- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE) -- Found M4RI: /usr/lib/x86_64-linux-gnu/libm4ri.so -- OK, Found M4RI lib at /usr/lib/x86_64-linux-gnu/libm4ri.so and includes at /usr/include CMake Warning at CMakeLists.txt:647 (find_package): By not providing "Findbreakid.cmake" in CMAKE_MODULE_PATH this project has asked CMake to find a package configuration file provided by "breakid", but CMake did not find one. Could not find a package configuration file provided by "breakid" with any of the following names: breakidConfig.cmake breakid-config.cmake Add the installation prefix of "breakid" to CMAKE_PREFIX_PATH or set "breakid_DIR" to a directory containing one of the above files. If "breakid" provides a separate development package or SDK, be sure it has been installed. CMake Warning at CMakeLists.txt:649 (message): BreakID NOT found -- Could NOT find MPI_C (missing: MPI_C_LIB_NAMES MPI_C_HEADER_DIR MPI_C_WORKS) -- Could NOT find MPI_CXX (missing: MPI_CXX_LIB_NAMES MPI_CXX_HEADER_DIR MPI_CXX_WORKS) -- Could NOT find MPI (missing: MPI_C_FOUND MPI_CXX_FOUND) -- No suitable C++ MPI implementation found. CryptoMiniSat will not be distributed. -- In case your Python interpreter is not found, or a wrong one is found, please set it with '-DPYTHON_EXECUTABLE:FILEPATH=your path here' -- Found PythonInterp: /usr/bin/python3 (found suitable version "3.9.10", minimum required is "3") -- Found PythonLibs: /usr/lib/x86_64-linux-gnu/libpython3.9.so (found suitable version "3.9.10", minimum required is "3") -- Python 3 -- PYTHON_EXECUTABLE=/usr/bin/python3 -- Python 3 -- PYTHON_LIBRARIES=/usr/lib/x86_64-linux-gnu/libpython3.9.so -- Python 3 -- PYTHON_INCLUDE_DIRS=/usr/include/python3.9 -- Python 3 -- PYTHONLIBS_VERSION_STRING=3.9.10 -- Boost -- found at library: Boost::program_options -- Boost -- adding '/usr/lib/x86_64-linux-gnu' to link directories -- All defines at startup: -DEXTENDED_FEATURES -DUSE_GAUSS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU -DUSE_M4RI -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Success -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Success -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success -- GIT Subprojects not initialized, not building drat-trim CMake Warning at CMakeLists.txt:819 (message): Testing is disabled -- Found python interpreter, libs and header files -- Building python interface -- Python CFLAGS: '-Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 ' -- Python LDFLAGS: '-lcrypt -lpthread -ldl -lutil -lm' -- Python LINKFORSHARED flags: '-Xlinker -export-dynamic -Wl,-O1 -Wl,-Bsymbolic-functions' -- Python module installation prefix: --prefix=/usr -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY -- Build files have been written to: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu make[1]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1' dh_auto_build -a cd obj-x86_64-linux-gnu && make -j10 "INSTALL=install --strip-program=true" VERBOSE=1 make[1]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' /usr/bin/cmake -S/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -B/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/CMakeFiles /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[2]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color= make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -MF CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o.d -o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.cpp.o -MF CMakeFiles/cryptominisat5.dir/drat.cpp.o.d -o CMakeFiles/cryptominisat5.dir/drat.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/drat.cpp [ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o -MF CMakeFiles/cryptominisat5.dir/propengine.cpp.o.d -o CMakeFiles/cryptominisat5.dir/propengine.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/propengine.cpp [ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o [ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o [ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o -MF CMakeFiles/cryptominisat5.dir/cnf.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cnf.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/cnf.cpp cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -MF CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o.d -o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/clausecleaner.cpp cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -MF CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o.d -o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -MF CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o.d -o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/clauseallocator.cpp cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -MF CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o.d -o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/varreplacer.cpp cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/sccfinder.cpp Copying cryptominisat_c.h to /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/cryptominisat5/cryptominisat_c.h /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 Copying cryptominisat.h to /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/cryptominisat5/cryptominisat.h /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 Copying solvertypesmini.h to /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/cryptominisat5/solvertypesmini.h /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 Copying dimacsparser.h to /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/dimacsparser.h /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E echo Copying\ streambuffer.h\ to\ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 Copying streambuffer.h to /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/streambuffer.h /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/include/cryptominisat5 make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' [ 15%] Built target CopyPublicHeaders [ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -MF CMakeFiles/cryptominisat5.dir/solverconf.cpp.o.d -o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solverconf.cpp [ 19%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -MF CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o.d -o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/propengine.cpp: In member function ‘void CMSat::PropEngine::updateVars(const std::vector&, const std::vector&)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/propengine.cpp:515:29: warning: unused parameter ‘outerToInter’ [-Wunused-parameter] 515 | const vector& outerToInter | ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/propengine.cpp:516:31: warning: unused parameter ‘interToOuter’ [-Wunused-parameter] 516 | , const vector& interToOuter | ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ [ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -MF CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o.d -o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -MF CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o.d -o CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp [ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -MF CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o.d -o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp: In member function ‘bool CMSat::DistillerLongWithImpl::sub_str_cl_with_watch(CMSat::ClOffset&, bool, bool)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:191:12: warning: unused parameter ‘red’ [-Wunused-parameter] 191 | , bool red | ~~~~~^~~ [ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -MF CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o.d -o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/completedetachreattacher.cpp [ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o -MF CMakeFiles/cryptominisat5.dir/searcher.cpp.o.d -o CMakeFiles/cryptominisat5.dir/searcher.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp [ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o -MF CMakeFiles/cryptominisat5.dir/solver.cpp.o.d -o CMakeFiles/cryptominisat5.dir/solver.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solver.cpp [ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/compfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o -MF CMakeFiles/cryptominisat5.dir/comphandler.cpp.o.d -o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp [ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -MF CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o.d -o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/hyperengine.cpp [ 36%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -MF CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o.d -o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/subsumeimplicit.cpp /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function ‘CMSat::Clause* CMSat::Searcher::handle_last_confl(uint32_t, uint32_t, uint32_t, bool)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1668:22: warning: unused parameter ‘old_decision_level’ [-Wunused-parameter] 1668 | , const uint32_t old_decision_level | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1669:22: warning: unused parameter ‘glue_before_minim’ [-Wunused-parameter] 1669 | , const uint32_t glue_before_minim | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function ‘void CMSat::Searcher::check_calc_satzilla_features(bool)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1900:50: warning: unused parameter ‘force’ [-Wunused-parameter] 1900 | void Searcher::check_calc_satzilla_features(bool force) | ~~~~~^~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function ‘void CMSat::Searcher::check_calc_vardist_features(bool)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1918:49: warning: unused parameter ‘force’ [-Wunused-parameter] 1918 | void Searcher::check_calc_vardist_features(bool force) | ~~~~~^~~~~ [ 38%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o -MF CMakeFiles/cryptominisat5.dir/datasync.cpp.o.d -o CMakeFiles/cryptominisat5.dir/datasync.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/datasync.cpp In file included from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:38, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/propby.h:27, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/propengine.h:35, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.h:28, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:23: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solverconf.h: In function ‘std::string CMSat::polarity_mode_to_short_string(CMSat::PolarityMode)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solverconf.h:141:1: warning: control reaches end of non-void function [-Wreturn-type] 141 | } | ^ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solverconf.h: In function ‘std::string CMSat::getNameOfPolarmodeType(CMSat::PolarityMode)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solverconf.h:95:1: warning: control reaches end of non-void function [-Wreturn-type] 95 | } | ^ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solver.cpp: In member function ‘std::vector > CMSat::Solver::get_all_binary_xors() const’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3196:35: warning: loop variable ‘val’ creates a copy from type ‘const std::pair’ [-Wrange-loop-construct] 3196 | for(const std::pair val: ret) { | ^~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3196:35: note: use reference type to prevent copying 3196 | for(const std::pair val: ret) { | ^~~ | & [ 40%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -MF CMakeFiles/cryptominisat5.dir/reducedb.cpp.o.d -o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/reducedb.cpp [ 42%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o -MF CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o.d -o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/clausedumper.cpp [ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o -MF CMakeFiles/cryptominisat5.dir/bva.cpp.o.d -o CMakeFiles/cryptominisat5.dir/bva.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/bva.cpp [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o -MF CMakeFiles/cryptominisat5.dir/intree.cpp.o.d -o CMakeFiles/cryptominisat5.dir/intree.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/intree.cpp [ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o -MF CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o.d -o CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/satzilla_features_calc.cpp [ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o -MF CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o.d -o CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/satzilla_features_to_reconf.cpp [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o -MF CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o.d -o CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/satzilla_features.cpp In file included from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solverconf.h:31, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:38, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/propby.h:27, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/propengine.h:35, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.h:28, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:23: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/cryptominisat5/solvertypesmini.h: In member function ‘CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/cryptominisat5/solvertypesmini.h:65:16: warning: potential null pointer dereference [-Wnull-dereference] 65 | return x >> 1; | ^ In file included from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/heap.h:24, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/propengine.h:40, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.h:28, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:23: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/Vec.h:140:9: warning: ‘offs’ may be used uninitialized in this function [-Wmaybe-uninitialized] 140 | data[sz++] = elem; | ^~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:3791:18: note: ‘offs’ was declared here 3791 | ClOffset offs; | ^~~~ [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -MF CMakeFiles/cryptominisat5.dir/searchstats.cpp.o.d -o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/searchstats.cpp [ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp [ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/cardfinder.cpp [ 57%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -MF CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/cryptominisat_c.cpp [ 59%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/yalsat.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/yalsat.cpp.o -MF CMakeFiles/cryptominisat5.dir/yalsat.cpp.o.d -o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yalsat.cpp [ 61%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/yals.c.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cc -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -g -pthread -fPIC -std=gnu99 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/yals.c.o -MF CMakeFiles/cryptominisat5.dir/yals.c.o.d -o CMakeFiles/cryptominisat5.dir/yals.c.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c:371:63: warning: ISO C99 doesn’t support unnamed structs/unions [-Wpedantic] 371 | struct { int64_t lim; union { int64_t interval; RDS rds; }; } inner; | ^ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c:383:43: warning: ISO C99 doesn’t support unnamed structs/unions [-Wpedantic] 383 | struct { int size; union Chunk * next; }; | ^ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c:429:71: warning: ISO C99 doesn’t support unnamed structs/unions [-Wpedantic] 429 | int satcntbytes; union { U1 * satcnt1; U2 * satcnt2; U4 * satcnt4; }; | ^ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c: In function ‘yals_default_free’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c:2445:10: warning: ISO C forbids ‘return’ with expression, in function returning void [-Wpedantic] 2445 | return free (ptr); | ^~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c:2442:13: note: declared here 2442 | static void yals_default_free (void * state, void * ptr, size_t bytes) { | ^~~~~~~~~~~~~~~~~ [ 63%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o -MF CMakeFiles/cryptominisat5.dir/walksat.cpp.o.d -o CMakeFiles/cryptominisat5.dir/walksat.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/walksat.cpp [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o -MF CMakeFiles/cryptominisat5.dir/sls.cpp.o.d -o CMakeFiles/cryptominisat5.dir/sls.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/sls.cpp /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c: In function ‘yals_pick_literal’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c:186:3: warning: ‘s’ may be used uninitialized in this function [-Wmaybe-uninitialized] 186 | yals_log_start (yals, ##__VA_ARGS__); \ | ^~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c:1168:10: note: ‘s’ was declared here 1168 | double s; | ^ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c:186:3: warning: ‘w’ may be used uninitialized in this function [-Wmaybe-uninitialized] 186 | yals_log_start (yals, ##__VA_ARGS__); \ | ^~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/yals.c:1167:12: note: ‘w’ was declared here 1167 | unsigned w; | ^ In file included from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/xorfinder.h:33, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:23: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/xor.h: In member function ‘std::vector CMSat::XorFinder::remove_xors_without_connecting_vars(const std::vector&)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/xor.h:38:7: warning: potential null pointer dereference [-Wnull-dereference] 38 | class Xor | ^~~ [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -MF CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o.d -o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/vardistgen.cpp [ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -MF CMakeFiles/cryptominisat5.dir/ccnr.cpp.o.d -o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/ccnr.cpp [ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -MF CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o.d -o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/ccnr_cms.cpp [ 71%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o -MF CMakeFiles/cryptominisat5.dir/lucky.cpp.o.d -o CMakeFiles/cryptominisat5.dir/lucky.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/lucky.cpp [ 73%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -MF CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o.d -o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/GitSHA1.cpp /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/GitSHA1.cpp:64:32: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 64 | "compilation date time = " __DATE__ " " __TIME__ | ^~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/GitSHA1.cpp:64:45: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] 64 | "compilation date time = " __DATE__ " " __TIME__ | ^~~~~~~~ [ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -MF CMakeFiles/cryptominisat5.dir/gaussian.cpp.o.d -o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/gaussian.cpp [ 77%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -MF CMakeFiles/cryptominisat5.dir/packedrow.cpp.o.d -o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/packedrow.cpp /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/packedrow.cpp: In member function ‘void CMSat::PackedRow::get_reason(std::vector&, const std::vector&, const std::vector&, CMSat::PackedRow&, CMSat::PackedRow&, CMSat::Lit)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/packedrow.cpp:87:26: warning: unused parameter ‘assigns’ [-Wunused-parameter] 87 | const vector& assigns, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/gaussian.h:39, from /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/gaussian.cpp:35: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/packedmatrix.h: In member function ‘void CMSat::PackedMatrix::resize(uint32_t, uint32_t)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/packedmatrix.h:70:27: warning: ignoring return value of ‘int posix_memalign(void**, size_t, size_t)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 70 | posix_memalign((void**)&mp, 16, size); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ [ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -MF CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o.d -o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/matrixfinder.cpp [ 80%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o -MF CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o.d -o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp [ 82%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -Dcryptominisat5_EXPORTS -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -MF CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o.d -o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/matrixfinder.cpp: In member function ‘uint32_t CMSat::MatrixFinder::setMatrixes()’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/matrixfinder.cpp:371:13: warning: ‘ratio_sampling’ may be used uninitialized in this function [-Wmaybe-uninitialized] 371 | if (ratio_sampling >= 0.6) { //TODO Magic constant | ^~ [ 84%] Linking CXX shared library ../lib/libcryptominisat5.so cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wl,-z,relro -Wl,-z,now -O2 -shared -Wl,-soname,libcryptominisat5.so.5.8 -o ../lib/libcryptominisat5.so.5.8 CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/drat.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/cryptominisat5.dir/searcher.cpp.o CMakeFiles/cryptominisat5.dir/solver.cpp.o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/cryptominisat5.dir/datasync.cpp.o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o CMakeFiles/cryptominisat5.dir/bva.cpp.o CMakeFiles/cryptominisat5.dir/intree.cpp.o CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o CMakeFiles/cryptominisat5.dir/yals.c.o CMakeFiles/cryptominisat5.dir/walksat.cpp.o CMakeFiles/cryptominisat5.dir/sls.cpp.o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o CMakeFiles/cryptominisat5.dir/lucky.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o /usr/lib/x86_64-linux-gnu/libm4ri.so -pthread cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.8 ../lib/libcryptominisat5.so.5.8 ../lib/libcryptominisat5.so make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' [ 84%] Built target cryptominisat5 make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/python /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake --color= make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' [ 85%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o [ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o [ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o [ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -MF CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o.d -o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/main_common.cpp [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_ALL_NO_LIB -DBOOST_PROGRAM_OPTIONS_DYN_LINK -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/main_exe.cpp [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -MF CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o.d -o CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/main_simple.cpp cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_ALL_NO_LIB -DBOOST_PROGRAM_OPTIONS_DYN_LINK -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/main_common.cpp [ 96%] Generating build/timestamp cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_ALL_NO_LIB -DBOOST_PROGRAM_OPTIONS_DYN_LINK -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/signalcode.cpp cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_ALL_NO_LIB -DBOOST_PROGRAM_OPTIONS_DYN_LINK -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -DYALSAT_FPU -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -MD -MT cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -MF CMakeFiles/cryptominisat5-bin.dir/main.cpp.o.d -o CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/src/main.cpp cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat && /usr/bin/python3 setup.py build_ext --inplace --rpath ../lib running build_ext building 'pycryptosat' extension creating build creating build/temp.linux-x86_64-3.9 creating build/temp.linux-x86_64-3.9/build creating build/temp.linux-x86_64-3.9/build/cryptominisat-1TeIvs creating build/temp.linux-x86_64-3.9/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 creating build/temp.linux-x86_64-3.9/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu creating build/temp.linux-x86_64-3.9/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat creating build/temp.linux-x86_64-3.9/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src /usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.8.0" -I/usr/include/python3.9 -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-x86_64-3.9/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘void setup_solver(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:41: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:55: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:70: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* start_getting_small_clauses(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:251:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:251:41: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_clause(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:337:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 337 | static char* kwlist[] = {"clause", NULL}; | ^~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_clauses(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:505:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 505 | static char* kwlist[] = {"clauses", NULL}; | ^~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:549:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:549:44: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* solve(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:45: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:56: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:70: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* msolve_selected(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:53: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:69: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: At global scope: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1032:19: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1032 | {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, | ^~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1033:19: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1033 | {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1034:21: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1034 | {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1035:23: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1035 | {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1036:17: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1036 | {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, | ^~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1038:25: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1038 | {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1039:24: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1039 | {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1040:22: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1040 | {"get_conflict", (PyCFunction) get_conflict, METH_VARARGS | METH_KEYWORDS, get_conflict_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1042:37: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1042 | {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1043:31: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1043 | {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1044:35: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1044 | {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member ‘PyMethodDef::ml_flags’ [-Wmissing-field-initializers] 1046 | }; | ^ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member ‘PyMethodDef::ml_doc’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_alloc’ [-Wmissing-field-initializers] 1106 | }; | ^ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_new’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_free’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_is_gc’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_bases’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_mro’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_cache’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_subclasses’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_weaklist’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_del’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_version_tag’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_finalize’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_vectorcall’ [-Wmissing-field-initializers] [ 98%] Linking CXX executable ../cryptominisat5_simple cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple-bin.dir/link.txt --verbose=1 /usr/bin/c++ -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wl,-z,relro -Wl,-z,now -O2 -Wl,--discard-all -Wl,--build-id=sha1 -rdynamic CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -o ../cryptominisat5_simple -Wl,-rpath,"\$ORIGIN/lib:" ../lib/libcryptominisat5.so.5.8 /usr/lib/x86_64-linux-gnu/libz.so /usr/lib/x86_64-linux-gnu/libm4ri.so -pthread make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' [ 98%] Built target cryptominisat5_simple-bin make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/depend make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/man_cms5_simple.dir/DependInfo.cmake --color= make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/build make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' help2man --version-string=5.8.0 --help-option="-h" --include /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/manpage-extras "/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cryptominisat5_simple" -o /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cryptominisat5_simple.1 --name="SAT\ solver" make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' [ 98%] Built target man_cms5_simple /usr/bin/c++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -g -fwrapv -O2 -Wl,-z,relro -Wl,-z,now -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-x86_64-3.9/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.o -L. -L/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/lib -L/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/lib/None -Wl,--enable-new-dtags,-R../lib -lcryptominisat5 -o /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/pycryptosat.cpython-39-x86_64-linux-gnu.so make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' [ 98%] Built target python_interface [100%] Linking CXX executable ../cryptominisat5 cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5-bin.dir/link.txt --verbose=1 /usr/bin/c++ -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -mpopcnt -msse4.2 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wl,-z,relro -Wl,-z,now -O2 -Wl,--discard-all -Wl,--build-id=sha1 -rdynamic CMakeFiles/cryptominisat5-bin.dir/main.cpp.o CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -o ../cryptominisat5 -Wl,-rpath,"\$ORIGIN/lib:" /usr/lib/x86_64-linux-gnu/libboost_program_options.so.1.74.0 ../lib/libcryptominisat5.so.5.8 /usr/lib/x86_64-linux-gnu/libz.so /usr/lib/x86_64-linux-gnu/libm4ri.so -pthread make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' [100%] Built target cryptominisat5-bin make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/depend make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' cd /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/man_cms5.dir/DependInfo.cmake --color= make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/build make[3]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' help2man --version-string=5.8.0 --help-option="--hhelp" --include /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/manpage-extras "/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cryptominisat5" -o /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cryptominisat5.1 --name="SAT\ solver" make[3]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' [100%] Built target man_cms5 make[2]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' /usr/bin/cmake -E cmake_progress_start /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/CMakeFiles 0 make[1]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' dh: command-omitted: The call to "dh_auto_test -a" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --with python3 dh_testroot -a dh_prep -a dh_auto_install -a cd obj-x86_64-linux-gnu && make -j10 install DESTDIR=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0\+dfsg1/debian/tmp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' /usr/bin/cmake -S/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -B/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu --check-build-system CMakeFiles/Makefile.cmake 0 make -f CMakeFiles/Makefile2 preinstall make[2]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' make[2]: Nothing to be done for 'preinstall'. make[2]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "None" -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/share/man/man1/cryptominisat5.1 -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/share/man/man1/cryptominisat5_simple.1 -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-none.cmake -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/x86_64-linux-gnu/libcryptominisat5.so.5.8 -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/x86_64-linux-gnu/libcryptominisat5.so -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/include/cryptominisat5/cryptominisat_c.h -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/include/cryptominisat5/cryptominisat.h -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/include/cryptominisat5/solvertypesmini.h -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/include/cryptominisat5/dimacsparser.h -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/include/cryptominisat5/streambuffer.h -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/bin/cryptominisat5_simple -- Set runtime path of "/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/bin/cryptominisat5_simple" to "" -- Installing: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/bin/cryptominisat5 -- Set runtime path of "/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/bin/cryptominisat5" to "" running install running build running build_ext building 'pycryptosat' extension /usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.8.0" -I/usr/include/python3.9 -c /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-x86_64-3.9/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/cmsat5-src /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘void setup_solver(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:41: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:55: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:70: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* start_getting_small_clauses(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:251:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:251:41: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_clause(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:337:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 337 | static char* kwlist[] = {"clause", NULL}; | ^~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_clauses(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:505:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 505 | static char* kwlist[] = {"clauses", NULL}; | ^~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:549:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:549:44: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* solve(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:45: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:56: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:70: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* msolve_selected(Solver*, PyObject*, PyObject*)’: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:53: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:69: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp: At global scope: /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1032:19: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1032 | {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, | ^~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1033:19: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1033 | {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1034:21: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1034 | {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1035:23: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1035 | {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1036:17: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1036 | {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, | ^~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1038:25: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1038 | {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1039:24: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1039 | {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1040:22: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1040 | {"get_conflict", (PyCFunction) get_conflict, METH_VARARGS | METH_KEYWORDS, get_conflict_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1042:37: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1042 | {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1043:31: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1043 | {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1044:35: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1044 | {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member ‘PyMethodDef::ml_flags’ [-Wmissing-field-initializers] 1046 | }; | ^ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member ‘PyMethodDef::ml_doc’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_alloc’ [-Wmissing-field-initializers] 1106 | }; | ^ /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_new’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_free’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_is_gc’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_bases’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_mro’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_cache’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_subclasses’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_weaklist’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_del’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_version_tag’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_finalize’ [-Wmissing-field-initializers] /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_vectorcall’ [-Wmissing-field-initializers] creating build/lib.linux-x86_64-3.9 /usr/bin/c++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -g -fwrapv -O2 -Wl,-z,relro -Wl,-z,now -g -O2 -ffile-prefix-map=/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-x86_64-3.9/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/pycryptosat/src/pycryptosat.o -L. -L/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/lib -L/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu/lib/None -lcryptominisat5 -o build/lib.linux-x86_64-3.9/pycryptosat.cpython-39-x86_64-linux-gnu.so running install_lib creating /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/python3.9 creating /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/python3.9/site-packages copying build/lib.linux-x86_64-3.9/pycryptosat.cpython-39-x86_64-linux-gnu.so -> /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/python3.9/site-packages running install_egg_info Writing /build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/python3.9/site-packages/pycryptosat-0.2.0-py3.9.egg-info writing list of installed files to 'files.txt' make[1]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1/obj-x86_64-linux-gnu' debian/rules override_dh_install make[1]: Entering directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1' find debian/tmp -name "*.cmake" -delete dh_install make[1]: Leaving directory '/build/cryptominisat-1TeIvs/cryptominisat-5.8.0+dfsg1' dh_installdocs -a dh_installchangelogs -a dh_installman -a dh_python3 -a I: dh_python3 fs:559: renaming pycryptosat-0.2.0-py3.9.egg-info to pycryptosat-0.2.0.egg-info dh_installmenu -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_gencontrol -a dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Provides} unused, but is defined dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Versions} unused, but is defined dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Provides} unused, but is defined dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Versions} unused, but is defined dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcryptominisat5-5.8-dbgsym' in '../libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-2_amd64.deb'. dpkg-deb: building package 'cryptominisat-dbgsym' in '../cryptominisat-dbgsym_5.8.0+dfsg1-2_amd64.deb'. dpkg-deb: building package 'libcryptominisat5-5.8' in '../libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb'. dpkg-deb: building package 'python3-cryptominisat' in '../python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb'. dpkg-deb: building package 'libcryptominisat5-dev' in '../libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb'. dpkg-deb: building package 'python3-cryptominisat-dbgsym' in '../python3-cryptominisat-dbgsym_5.8.0+dfsg1-2_amd64.deb'. dpkg-deb: building package 'cryptominisat' in '../cryptominisat_5.8.0+dfsg1-2_amd64.deb'. dpkg-genbuildinfo --build=any -O../cryptominisat_5.8.0+dfsg1-2_amd64.buildinfo dpkg-genchanges --build=any -O../cryptominisat_5.8.0+dfsg1-2_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/cryptominisat-1TeIvs /tmp/cryptominisat-5.8.0+dfsg1-2f76ptgdt I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.6JqSritYto... I: success in 3670.9027 seconds md5: cryptominisat-dbgsym_5.8.0+dfsg1-2_amd64.deb: OK md5: cryptominisat_5.8.0+dfsg1-2_amd64.deb: OK md5: libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-2_amd64.deb: OK md5: libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb: OK md5: libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb: OK md5: python3-cryptominisat-dbgsym_5.8.0+dfsg1-2_amd64.deb: OK md5: python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb: OK sha1: cryptominisat-dbgsym_5.8.0+dfsg1-2_amd64.deb: OK sha1: cryptominisat_5.8.0+dfsg1-2_amd64.deb: OK sha1: libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-2_amd64.deb: OK sha1: libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb: OK sha1: libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb: OK sha1: python3-cryptominisat-dbgsym_5.8.0+dfsg1-2_amd64.deb: OK sha1: python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb: OK sha256: cryptominisat-dbgsym_5.8.0+dfsg1-2_amd64.deb: OK sha256: cryptominisat_5.8.0+dfsg1-2_amd64.deb: OK sha256: libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-2_amd64.deb: OK sha256: libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb: OK sha256: libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb: OK sha256: python3-cryptominisat-dbgsym_5.8.0+dfsg1-2_amd64.deb: OK sha256: python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb: OK Checksums: OK