Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/c/clasp/clasp_3.3.5-4_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/clasp-3.3.5-4mxnh0u45/clasp_3.3.5-4_amd64.buildinfo Get source package info: clasp=3.3.5-4 Source URL: http://snapshot.notset.fr/mr/package/clasp/3.3.5-4/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.69-14 automake=1:1.16.3-1 autopoint=0.21-3 autotools-dev=20180224.1+nmu1 base-files=11 base-passwd=3.5.48 bash=5.1-1 binutils=2.35.1-6 binutils-common=2.35.1-6 binutils-x86-64-linux-gnu=2.35.1-6 bsdextrautils=2.36.1-3 bsdutils=1:2.36.1-3 build-essential=12.8 bzip2=1.0.8-4 cmake=3.18.4-1+b1 cmake-data=3.18.4-1 coreutils=8.32-4+b1 cpp=4:10.2.0-1 cpp-10=10.2.1-3 dash=0.5.11+git20200708+dd9ef66-5 debconf=1.5.74 debhelper=13.3 debianutils=4.11.2 dh-autoreconf=19 dh-strip-nondeterminism=1.9.0-1 diffutils=1:3.7-3 dpkg=1.20.5 dpkg-dev=1.20.5 dwz=0.13+20201015-2 file=1:5.39-3 findutils=4.7.0+git20201010-2 g++=4:10.2.0-1 g++-10=10.2.1-3 gcc=4:10.2.0-1 gcc-10=10.2.1-3 gcc-10-base=10.2.1-3 gettext=0.21-3 gettext-base=0.21-3 grep=3.6-1 groff-base=1.22.4-5 gzip=1.10-2 hostname=3.23 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-9 libarchive-zip-perl=1.68-1 libarchive13=3.4.3-2 libasan6=10.2.1-3 libatomic1=10.2.1-3 libattr1=1:2.4.48-6 libaudit-common=1:3.0-1 libaudit1=1:3.0-1 libbinutils=2.35.1-6 libblkid1=2.36.1-3 libbrotli1=1.0.9-2+b2 libbz2-1.0=1.0.8-4 libc-bin=2.31-6 libc-dev-bin=2.31-6 libc6=2.31-6 libc6-dev=2.31-6 libcap-ng0=0.7.9-2.2+b1 libcc1-0=10.2.1-3 libcom-err2=1.45.6-1 libcrypt-dev=1:4.4.17-1 libcrypt1=1:4.4.17-1 libctf-nobfd0=2.35.1-6 libctf0=2.35.1-6 libcurl4=7.72.0-1 libdb5.3=5.3.28+dfsg1-0.6 libdebconfclient0=0.255 libdebhelper-perl=13.3 libdpkg-perl=1.20.5 libelf1=0.182-1 libexpat1=2.2.10-1 libffi7=3.3-5 libfile-stripnondeterminism-perl=1.9.0-1 libgcc-10-dev=10.2.1-3 libgcc-s1=10.2.1-3 libgcrypt20=1.8.7-2 libgdbm-compat4=1.18.1-5.1 libgdbm6=1.18.1-5.1 libgmp10=2:6.2.1+dfsg-1 libgnutls30=3.7.0-3 libgomp1=10.2.1-3 libgpg-error0=1.38-2 libgssapi-krb5-2=1.18.3-4 libhogweed6=3.6-2 libicu67=67.1-5 libidn2-0=2.3.0-4 libisl23=0.23-1 libitm1=10.2.1-3 libjsoncpp24=1.9.4-4 libk5crypto3=1.18.3-4 libkeyutils1=1.6.1-2 libkrb5-3=1.18.3-4 libkrb5support0=1.18.3-4 libldap-2.4-2=2.4.56+dfsg-1 liblsan0=10.2.1-3 liblz4-1=1.9.3-1 liblzma5=5.2.4-1+b1 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmount1=2.36.1-3 libmpc3=1.2.0-1 libmpfr6=4.1.0-3 libncurses6=6.2+20201114-1 libncursesw6=6.2+20201114-1 libnettle8=3.6-2 libnghttp2-14=1.42.0-1 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libp11-kit0=0.23.22-1 libpam-modules=1.3.1-5 libpam-modules-bin=1.3.1-5 libpam-runtime=1.3.1-5 libpam0g=1.3.1-5 libpcre2-8-0=10.36-2 libpcre3=2:8.39-13 libperl5.32=5.32.0-6 libpipeline1=1.5.3-1 libprocps8=2:3.3.16-5 libpsl5=0.21.0-1.1 libquadmath0=10.2.1-3 librhash0=1.4.0-1 librtmp1=2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2=2.1.27+dfsg-2 libsasl2-modules-db=2.1.27+dfsg-2 libseccomp2=2.5.1-1 libselinux1=3.1-2+b2 libsigsegv2=2.12-3 libsmartcols1=2.36.1-3 libssh2-1=1.9.0-2 libssl1.1=1.1.1i-1 libstdc++-10-dev=10.2.1-3 libstdc++6=10.2.1-3 libsub-override-perl=0.09-2 libsystemd0=247.2-3 libtasn1-6=4.16.0-2 libtinfo6=6.2+20201114-1 libtirpc-common=1.2.6-3 libtirpc-dev=1.2.6-3 libtirpc3=1.2.6-3 libtool=2.4.6-14 libtsan0=10.2.1-3 libubsan1=10.2.1-3 libuchardet0=0.0.7-1 libudev1=247.2-3 libunistring2=0.9.10-4 libuuid1=2.36.1-3 libuv1=1.40.0-1 libxml2=2.9.10+dfsg-6.3+b1 libzstd1=1.4.8+dfsg-1 linux-libc-dev=5.9.15-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-4 make=4.3-4 man-db=2.9.3-2 mawk=1.3.4.20200120-2 ncurses-base=6.2+20201114-1 ncurses-bin=6.2+20201114-1 patch=2.7.6-6 perl=5.32.0-6 perl-base=5.32.0-6 perl-modules-5.32=5.32.0-6 po-debconf=1.0.21 procps=2:3.3.16-5 sed=4.7-1 sensible-utils=0.0.12+nmu1 sysvinit-utils=2.96-5 tar=1.32+dfsg-1 util-linux=2.36.1-3 xz-utils=5.2.4-1+b1 zlib1g=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/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20201228T023115Z/ 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 clasp=3.3.5-4 && mkdir -p /build/clasp-jW18uJ && dpkg-source --no-check -x /*.dsc /build/clasp-jW18uJ/clasp-3.3.5 && chown -R builduser:builduser /build/clasp-jW18uJ" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/clasp-jW18uJ/clasp-3.3.5 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1609158364" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/clasp-jW18uJ /tmp/clasp-3.3.5-4mxnh0u45 bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20201228T023115Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.zcgdwsx6jm 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.zcgdwsx6jm Reading package lists... Building dependency tree... util-linux is already the newest version (2.36.1-3). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 134 kB of archives. After this operation, 397 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20201228T023115Z unstable/main amd64 libfakeroot amd64 1.25.3-1.1 [47.0 kB] Get:2 http://snapshot.notset.fr/archive/debian/20201228T023115Z unstable/main amd64 fakeroot amd64 1.25.3-1.1 [87.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (599 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 ... 4619 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.25.3-1.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.25.3-1.1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.25.3-1.1_amd64.deb ... Unpacking fakeroot (1.25.3-1.1) ... Setting up libfakeroot:amd64 (1.25.3-1.1) ... Setting up fakeroot (1.25.3-1.1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.31-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/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20201228T023115Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.zcgdwsx6jm Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20201228T023115Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Fetched 22.6 MB in 19s (1205 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.zcgdwsx6jm I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d clasp=3.3.5-4 && mkdir -p /build/clasp-jW18uJ && dpkg-source --no-check -x /*.dsc /build/clasp-jW18uJ/clasp-3.3.5 && chown -R builduser:builduser /build/clasp-jW18uJ"' exec /tmp/mmdebstrap.zcgdwsx6jm Reading package lists... NOTICE: 'clasp' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/science-team/clasp.git Please use: git clone https://salsa.debian.org/science-team/clasp.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 842 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main clasp 3.3.5-4 (dsc) [2017 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main clasp 3.3.5-4 (tar) [831 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main clasp 3.3.5-4 (diff) [8792 B] Fetched 842 kB in 1s (1209 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'clasp_3.3.5-4.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting clasp in /build/clasp-jW18uJ/clasp-3.3.5 dpkg-source: info: unpacking clasp_3.3.5.orig.tar.gz dpkg-source: info: unpacking clasp_3.3.5-4.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying clasp-manpage.patch dpkg-source: info: applying link-libatomic-check-gcc.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/clasp-jW18uJ/clasp-3.3.5 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1609158364" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.zcgdwsx6jm dpkg-buildpackage: info: source package clasp dpkg-buildpackage: info: source version 3.3.5-4 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Thomas Krennwallner dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean debian/rules override_dh_auto_clean make[1]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5' dh_auto_clean --builddirectory=build.dir/hardening_mt make[1]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5' dh_clean debian/rules binary-arch dh binary-arch dh_update_autotools_config -a dh_autoreconf -a debian/rules override_dh_auto_configure make[1]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5' dh_auto_configure --builddirectory=build.dir/hardening_mt -- -DLIB_POTASSCO_BUILD_APP=OFF -DCLASP_BUILD_TESTS=ON -DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_EXAMPLES=ON cd build.dir/hardening_mt && 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_PACKAGE_NO_PACKAGE_REGISTRY=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_C_COMPILER=gcc-10 -DCMAKE_CXX_COMPILER=g\+\+-10 -DCMAKE_INSTALL_LIBDIR=lib/x86_64-linux-gnu -DLIB_POTASSCO_BUILD_APP=OFF -DCLASP_BUILD_TESTS=ON -DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_EXAMPLES=ON ../.. -- The CXX compiler identification is GNU 10.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++-10 - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- The C compiler identification is GNU 10.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc-10 - 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 -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Performing Test CLASP_HAS_WORKING_LIBATOMIC -- Performing Test CLASP_HAS_WORKING_LIBATOMIC - Success -- Potassco is not installed - using local copy -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_EXPORT_NO_PACKAGE_REGISTRY -- Build files have been written to: /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt make[1]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5' debian/rules override_dh_auto_build make[1]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5' dh_auto_build --builddirectory=build.dir/hardening_mt cd build.dir/hardening_mt && make -j4 "INSTALL=install --strip-program=true" VERBOSE=1 make[2]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' /usr/bin/cmake -S/build/clasp-jW18uJ/clasp-3.3.5 -B/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/CMakeFiles /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[3]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/depend make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-jW18uJ/clasp-3.3.5 /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake --color= Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/depend.internal". Scanning dependencies of target libpotassco make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/build make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [ 4%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o [ 4%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o [ 4%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o [ 4%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/clingo.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/clingo.cpp cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/application.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/application.cpp cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/aspif.cpp cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/aspif_text.cpp [ 6%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/convert.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/convert.cpp [ 7%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/match_basic_types.cpp [ 8%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/program_options.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/program_options.cpp [ 9%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/rule_utils.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/rule_utils.cpp [ 10%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/smodels.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/smodels.cpp [ 12%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/string_convert.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/string_convert.cpp [ 13%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/theory_data.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/theory_data.cpp [ 14%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/value_store.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/src/value_store.cpp [ 15%] Linking CXX static library ../../lib/libpotassco.a cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/cmake -P CMakeFiles/libpotassco.dir/cmake_clean_target.cmake cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libpotassco.dir/link.txt --verbose=1 /usr/bin/ar qc ../../lib/libpotassco.a CMakeFiles/libpotassco.dir/application.cpp.o CMakeFiles/libpotassco.dir/aspif.cpp.o CMakeFiles/libpotassco.dir/aspif_text.cpp.o CMakeFiles/libpotassco.dir/clingo.cpp.o CMakeFiles/libpotassco.dir/convert.cpp.o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o CMakeFiles/libpotassco.dir/program_options.cpp.o CMakeFiles/libpotassco.dir/rule_utils.cpp.o CMakeFiles/libpotassco.dir/smodels.cpp.o CMakeFiles/libpotassco.dir/string_convert.cpp.o CMakeFiles/libpotassco.dir/theory_data.cpp.o CMakeFiles/libpotassco.dir/value_store.cpp.o /usr/bin/ranlib ../../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [ 15%] Built target libpotassco make -f libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_opts.dir/depend make -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/depend make -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/depend make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-jW18uJ/clasp-3.3.5 /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-jW18uJ/clasp-3.3.5 /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-jW18uJ/clasp-3.3.5 /build/clasp-jW18uJ/clasp-3.3.5/src /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/DependInfo.cmake --color= Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/DependInfo.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/DependInfo.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/DependInfo.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/depend.internal". Scanning dependencies of target test_potassco_opts Scanning dependencies of target test_potassco_lp make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' Scanning dependencies of target libclasp [ 19%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_options.cpp.o [ 19%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_application.cpp.o [ 19%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/build cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/test_application.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_application.cpp cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_aspif.cpp make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [ 20%] Building CXX object src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/asp_preprocessor.cpp In file included from /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:21: /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function ‘void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____67()’: /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:113:70: warning: catching polymorphic type ‘class Potassco::ProgramOptions::UnknownOption’ by value [-Wcatch-value=] 113 | REQUIRE_THROWS_AS(Po::parseCommandString("--no-value=2", ctx), Po::UnknownOption); | ^~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:115:57: warning: catching polymorphic type ‘class Potassco::ProgramOptions::ValueError’ by value [-Wcatch-value=] 115 | REQUIRE_THROWS_AS(Po::ParsedOptions().assign(pv), Po::ValueError); | ^~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function ‘void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____179()’: /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:186:46: warning: catching polymorphic type ‘class Potassco::ProgramOptions::ContextError’ by value [-Wcatch-value=] 186 | REQUIRE_THROWS_AS(ctx.findGroup("Foo"), Po::ContextError); | ^~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function ‘void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____243()’: /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:249:48: warning: catching polymorphic type ‘class Potassco::ProgramOptions::Error’ by value [-Wcatch-value=] 249 | REQUIRE_THROWS_AS(x(0, Po::flag(b), ""), Po::Error); | ^~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:250:49: warning: catching polymorphic type ‘class Potassco::ProgramOptions::Error’ by value [-Wcatch-value=] 250 | REQUIRE_THROWS_AS(x("", Po::flag(b), ""), Po::Error); | ^~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:253:55: warning: catching polymorphic type ‘class Potassco::ProgramOptions::Error’ by value [-Wcatch-value=] 253 | REQUIRE_THROWS_AS(x("foo,fo", Po::flag(b), ""), Po::Error); | ^~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:264:57: warning: catching polymorphic type ‘class Potassco::ProgramOptions::ValueError’ by value [-Wcatch-value=] 264 | REQUIRE_THROWS_AS(Po::ParsedOptions().assign(pv), Po::ValueError); | ^~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:267:64: warning: catching polymorphic type ‘class Potassco::ProgramOptions::UnknownOption’ by value [-Wcatch-value=] 267 | REQUIRE_THROWS_AS(Po::parseCommandString("--help", ctx), Po::UnknownOption); | ^~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:277:73: warning: catching polymorphic type ‘class Potassco::ProgramOptions::AmbiguousOption’ by value [-Wcatch-value=] 277 | REQUIRE_THROWS_AS(ctx.find("he", Po::OptionContext::find_prefix), Po::AmbiguousOption); | ^~~~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function ‘void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____300()’: /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_options.cpp:334:72: warning: catching polymorphic type ‘class Potassco::ProgramOptions::SyntaxError’ by value [-Wcatch-value=] 334 | REQUIRE_THROWS_AS(Po::parseCommandString(cmd, ctx, false, 0, 0), Po::SyntaxError); | ^~~~~~~~~~~ [ 21%] Building CXX object src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/cb_enumerator.cpp [ 23%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/clasp_facade.cpp [ 24%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_value.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_value.cpp [ 25%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/main.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/main.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/main.cpp [ 26%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_options.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/clasp_options.cpp [ 28%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_output.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/clasp_output.cpp [ 29%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_smodels.cpp [ 30%] Building CXX object src/CMakeFiles/libclasp.dir/clause.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clause.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/clause.cpp /build/clasp-jW18uJ/clasp-3.3.5/src/clause.cpp: In constructor ‘Clasp::Clause::Clause(Clasp::Solver&, const Clasp::ClauseRep&, Clasp::uint32, bool)’: /build/clasp-jW18uJ/clasp-3.3.5/src/clause.cpp:408:26: warning: array subscript 3 is above array bounds of ‘Clasp::Literal [3]’ [-Warray-bounds] 408 | Literal t = head_[tail]; | ~~~~~~~~~~^ In file included from /build/clasp-jW18uJ/clasp-3.3.5/clasp/clause.h:31, from /build/clasp-jW18uJ/clasp-3.3.5/src/clause.cpp:24: /build/clasp-jW18uJ/clasp-3.3.5/clasp/solver_types.h:454:11: note: while referencing ‘Clasp::ClauseHead::head_’ 454 | Literal head_[HEAD_LITS]; // two watched literals and one cache literal | ^~~~~ [ 31%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_text.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_text.cpp [ 32%] Building CXX object src/CMakeFiles/libclasp.dir/clingo.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clingo.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/clingo.cpp [ 34%] Building CXX object src/CMakeFiles/libclasp.dir/constraint.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/constraint.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/constraint.cpp [ 35%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp In file included from /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:21: /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: In function ‘void Potassco::Test::____C_A_T_C_H____T_E_S_T____28()’: /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:66:80: warning: catching polymorphic type ‘class Potassco::bad_string_cast’ by value [-Wcatch-value=] 66 | REQUIRE_THROWS_AS(Potassco::string_cast("-2"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:69:67: warning: catching polymorphic type ‘class Potassco::bad_string_cast’ by value [-Wcatch-value=] 69 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:70:68: warning: catching polymorphic type ‘class Potassco::bad_string_cast’ by value [-Wcatch-value=] 70 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:71:73: warning: catching polymorphic type ‘class Potassco::bad_string_cast’ by value [-Wcatch-value=] 71 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:72:71: warning: catching polymorphic type ‘class Potassco::bad_string_cast’ by value [-Wcatch-value=] 72 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ [ 36%] Building CXX object src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/dependency_graph.cpp /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: In function ‘void Potassco::Test::____C_A_T_C_H____T_E_S_T____369()’: /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:371:124: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 371 | REQUIRE_THROWS_AS(fail(Potassco::error_logic, 0, 0, 0, "Message with %d parameters {'%s', '%s'}", 2, "Foo", "Bar"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:375:74: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 375 | REQUIRE_THROWS_AS(fail(Potassco::error_assert, 0, 0, "false", 0), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:376:75: warning: catching polymorphic type ‘class std::runtime_error’ by value [-Wcatch-value=] 376 | REQUIRE_THROWS_AS(fail(Potassco::error_runtime, 0, 0, "false", 0), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:379:47: warning: catching polymorphic type ‘class std::invalid_argument’ by value [-Wcatch-value=] 379 | REQUIRE_THROWS_AS(fail(0, 0, 0, 0, 0), std::invalid_argument); | ^~~~~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:383:57: warning: catching polymorphic type ‘class std::invalid_argument’ by value [-Wcatch-value=] 383 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, EINVAL), std::invalid_argument); | ^~~~~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:384:73: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 384 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_assert), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:385:72: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 385 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_logic), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:386:74: warning: catching polymorphic type ‘class std::runtime_error’ by value [-Wcatch-value=] 386 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_runtime), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:387:57: warning: catching polymorphic type ‘class std::bad_alloc’ by value [-Wcatch-value=] 387 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, ENOMEM), std::bad_alloc); | ^~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:395:51: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 395 | REQUIRE_THROWS_AS(POTASSCO_REQUIRE(false), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:404:50: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 404 | REQUIRE_THROWS_AS(POTASSCO_ASSERT(false), std::logic_error); | ^~~~~~~~~~~ [ 37%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/main.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/main.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/main.cpp [ 39%] Building CXX object src/CMakeFiles/libclasp.dir/enumerator.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/enumerator.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/enumerator.cpp [ 40%] Building CXX object src/CMakeFiles/libclasp.dir/heuristics.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/heuristics.cpp [ 41%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/logic_program.cpp [ 42%] Linking CXX executable ../../bin/test_potassco_opts cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_potassco_opts.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_potassco_opts.dir/test_application.cpp.o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o CMakeFiles/test_potassco_opts.dir/main.cpp.o -o ../../bin/test_potassco_opts ../../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [ 42%] Built target test_potassco_opts [ 43%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/logic_program_types.cpp [ 45%] Building CXX object src/CMakeFiles/libclasp.dir/lookahead.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/lookahead.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/lookahead.cpp [ 46%] Building CXX object src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o [ 47%] Building CXX object src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/minimize_constraint.cpp cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/model_enumerators.cpp [ 48%] Building CXX object src/CMakeFiles/libclasp.dir/parser.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/parser.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/parser.cpp [ 50%] Building CXX object src/CMakeFiles/libclasp.dir/program_builder.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/program_builder.cpp [ 51%] Building CXX object src/CMakeFiles/libclasp.dir/satelite.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/satelite.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/satelite.cpp [ 52%] Building CXX object src/CMakeFiles/libclasp.dir/shared_context.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/shared_context.cpp [ 53%] Building CXX object src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/solve_algorithms.cpp [ 54%] Building CXX object src/CMakeFiles/libclasp.dir/solver.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solver.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/solver.cpp [ 56%] Building CXX object src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/solver_strategies.cpp [ 57%] Building CXX object src/CMakeFiles/libclasp.dir/solver_types.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_types.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/solver_types.cpp [ 58%] Building CXX object src/CMakeFiles/libclasp.dir/statistics.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/statistics.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/statistics.cpp [ 59%] Linking CXX executable ../../bin/test_potassco_lp cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_potassco_lp.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o CMakeFiles/test_potassco_lp.dir/main.cpp.o -o ../../bin/test_potassco_lp ../../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [ 59%] Built target test_potassco_lp [ 60%] Building CXX object src/CMakeFiles/libclasp.dir/timer.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/timer.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/timer.cpp [ 62%] Building CXX object src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/unfounded_check.cpp [ 63%] Building CXX object src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/weight_constraint.cpp [ 64%] Building CXX object src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/src/parallel_solve.cpp [ 65%] Linking CXX static library ../lib/libclasp.a cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libclasp.dir/link.txt --verbose=1 /usr/bin/ar qc ../lib/libclasp.a CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o CMakeFiles/libclasp.dir/clasp_facade.cpp.o CMakeFiles/libclasp.dir/clasp_options.cpp.o CMakeFiles/libclasp.dir/clasp_output.cpp.o CMakeFiles/libclasp.dir/clause.cpp.o CMakeFiles/libclasp.dir/clingo.cpp.o CMakeFiles/libclasp.dir/constraint.cpp.o CMakeFiles/libclasp.dir/dependency_graph.cpp.o CMakeFiles/libclasp.dir/enumerator.cpp.o CMakeFiles/libclasp.dir/heuristics.cpp.o CMakeFiles/libclasp.dir/logic_program.cpp.o CMakeFiles/libclasp.dir/logic_program_types.cpp.o CMakeFiles/libclasp.dir/lookahead.cpp.o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o CMakeFiles/libclasp.dir/model_enumerators.cpp.o CMakeFiles/libclasp.dir/parser.cpp.o CMakeFiles/libclasp.dir/program_builder.cpp.o CMakeFiles/libclasp.dir/satelite.cpp.o CMakeFiles/libclasp.dir/shared_context.cpp.o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o CMakeFiles/libclasp.dir/solver.cpp.o CMakeFiles/libclasp.dir/solver_strategies.cpp.o CMakeFiles/libclasp.dir/solver_types.cpp.o CMakeFiles/libclasp.dir/statistics.cpp.o CMakeFiles/libclasp.dir/timer.cpp.o CMakeFiles/libclasp.dir/unfounded_check.cpp.o CMakeFiles/libclasp.dir/weight_constraint.cpp.o CMakeFiles/libclasp.dir/parallel_solve.cpp.o /usr/bin/ranlib ../lib/libclasp.a make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [ 65%] Built target libclasp make -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/depend make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/depend make -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/depend make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-jW18uJ/clasp-3.3.5 /build/clasp-jW18uJ/clasp-3.3.5/app /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/app /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-jW18uJ/clasp-3.3.5 /build/clasp-jW18uJ/clasp-3.3.5/tests /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-jW18uJ/clasp-3.3.5 /build/clasp-jW18uJ/clasp-3.3.5/examples /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/DependInfo.cmake --color= Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/DependInfo.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/DependInfo.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/DependInfo.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/depend.internal". Dependee "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/depend.internal". Scanning dependencies of target clasp Scanning dependencies of target clasp_examples make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/build make -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/build make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [ 69%] Building CXX object app/CMakeFiles/clasp.dir/clasp_app.cpp.o [ 69%] Building CXX object app/CMakeFiles/clasp.dir/main.cpp.o [ 69%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example1.cpp.o Scanning dependencies of target test_clasp cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp.dir/clasp_app.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/app/clasp_app.cpp cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example1.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/examples/example1.cpp make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp.dir/main.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/app/main.cpp make -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/build make[4]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [ 70%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/clause_creator_test.cpp [ 71%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example2.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example2.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/examples/example2.cpp [ 73%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example3.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example3.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/examples/example3.cpp [ 74%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example4.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example4.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/examples/example4.cpp [ 75%] Building CXX object examples/CMakeFiles/clasp_examples.dir/main.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/main.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/examples/main.cpp [ 76%] Linking CXX executable ../bin/clasp cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/cmake -E cmake_link_script CMakeFiles/clasp.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/clasp.dir/clasp_app.cpp.o CMakeFiles/clasp.dir/main.cpp.o -o ../bin/clasp ../lib/libclasp.a -lpthread ../lib/libpotassco.a [ 78%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/clause_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/clause_test.cpp make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [ 78%] Built target clasp [ 79%] Building CXX object tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/cli_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp [ 80%] Linking CXX executable ../bin/clasp_examples cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/cmake -E cmake_link_script CMakeFiles/clasp_examples.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/clasp_examples.dir/example1.cpp.o CMakeFiles/clasp_examples.dir/example2.cpp.o CMakeFiles/clasp_examples.dir/example3.cpp.o CMakeFiles/clasp_examples.dir/example4.cpp.o CMakeFiles/clasp_examples.dir/main.cpp.o -o ../bin/clasp_examples ../lib/libclasp.a -lpthread ../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [ 80%] Built target clasp_examples [ 81%] Building CXX object tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/decision_heuristic_test.cpp In file included from /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:29: /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp: In function ‘void Clasp::Cli::Test::____C_A_T_C_H____T_E_S_T____0()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:121:70: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 121 | REQUIRE_THROWS_AS(config.setValue("configuration", tempName), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:139:61: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 139 | REQUIRE_THROWS_AS(config.setValue("foo.bar", "123"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:140:61: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 140 | REQUIRE_THROWS_AS(config.setValue("tester.eq", "1"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:141:60: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 141 | REQUIRE_THROWS_AS(config.setValue("solver.2", "1"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:143:54: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 143 | REQUIRE_THROWS_AS(config.getValue("foo.bar"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:144:56: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 144 | REQUIRE_THROWS_AS(config.getValue("tester.eq"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:145:55: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 145 | REQUIRE_THROWS_AS(config.getValue("solver.0"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:366:74: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 366 | REQUIRE_THROWS_AS(config.setValue("tester.asp.trans_ext", "scc"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:378:78: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 378 | REQUIRE_THROWS_AS(config.setValue("tester.solve.enum_mode", "brave"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:510:51: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 510 | REQUIRE_THROWS_AS(config.getValue("enum"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/cli_test.cpp:511:68: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 511 | REQUIRE_THROWS_AS(config.getValue("tester.solve.opt_mode"), std::logic_error); | ^~~~~~~~~~~ [ 82%] Building CXX object tests/CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/dependency_graph_test.cpp [ 84%] Building CXX object tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/dlp_builder_test.cpp [ 85%] Building CXX object tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/enumerator_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/enumerator_test.cpp In file included from /build/clasp-jW18uJ/clasp-3.3.5/tests/enumerator_test.cpp:31: /build/clasp-jW18uJ/clasp-3.3.5/tests/enumerator_test.cpp: In function ‘void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/enumerator_test.cpp:538:38: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 538 | REQUIRE_THROWS_AS(e.start(s), std::logic_error); | ^~~~~~~~~~~ [ 86%] Building CXX object tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/facade_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp In file included from /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:38: /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp: In function ‘void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:621:38: warning: catching polymorphic type ‘class std::runtime_error’ by value [-Wcatch-value=] 621 | REQUIRE_THROWS_AS(g.model(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:624:36: warning: catching polymorphic type ‘class std::runtime_error’ by value [-Wcatch-value=] 624 | REQUIRE_THROWS_AS(g.get(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:644:41: warning: catching polymorphic type ‘struct Clasp::Test::____C_A_T_C_H____T_E_S_T____0()::MyHeu’ by value [-Wcatch-value=] 644 | REQUIRE_THROWS_AS(libclasp.prepare(), MyHeu); | ^~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp: In function ‘void Clasp::Test::____C_A_T_C_H____T_E_S_T____62()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:924:40: warning: catching polymorphic type ‘class std::runtime_error’ by value [-Wcatch-value=] 924 | REQUIRE_THROWS_AS(step0.get(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:931:40: warning: catching polymorphic type ‘class std::runtime_error’ by value [-Wcatch-value=] 931 | REQUIRE_THROWS_AS(step0.get(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:963:79: warning: catching polymorphic type ‘class std::runtime_error’ by value [-Wcatch-value=] 963 | REQUIRE_THROWS_AS(libclasp.solve(SolveMode_t::Default, LitVec(), &h), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:994:46: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 994 | REQUIRE_THROWS_AS(libclasp.solve(), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp: In function ‘void Clasp::Test::____C_A_T_C_H____T_E_S_T____90()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:1109:60: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 1109 | REQUIRE_THROWS_AS(stats->get(stats->root(), "hcc"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:1142:44: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 1142 | REQUIRE_THROWS_AS(stats->value(m0), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:1163:60: warning: catching polymorphic type ‘class std::out_of_range’ by value [-Wcatch-value=] 1163 | REQUIRE_THROWS_AS(stats->get(root, "solving.accu"), std::out_of_range); | ^~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/facade_test.cpp:1188:48: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 1188 | REQUIRE_THROWS_AS(stats->value(minVal), std::logic_error); | ^~~~~~~~~~~ [ 87%] Building CXX object tests/CMakeFiles/test_clasp.dir/literal_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/literal_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/literal_test.cpp [ 89%] Building CXX object tests/CMakeFiles/test_clasp.dir/minimize_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/minimize_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/minimize_test.cpp [ 90%] Building CXX object tests/CMakeFiles/test_clasp.dir/parser_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/parser_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp In file included from /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp:32: /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp: In function ‘void Clasp::Test::____C_A_T_C_H____T_E_S_T____16()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp:313:42: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 313 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp:317:42: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 317 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp:371:42: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 371 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp:378:42: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 378 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp: In function ‘void Clasp::Test::____C_A_T_C_H____T_E_S_T____48()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp:721:43: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 721 | REQUIRE_THROWS_AS(parse(api, prg), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp: In function ‘void Clasp::Test::____C_A_T_C_H____T_E_S_T____63()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp:869:43: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 869 | REQUIRE_THROWS_AS(parse(api, prg), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/parser_test.cpp:877:78: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 877 | REQUIRE_THROWS_AS(parse(api, prg, ParserOptions().enableAcycEdges()), std::logic_error); | ^~~~~~~~~~~ [ 91%] Building CXX object tests/CMakeFiles/test_clasp.dir/program_builder_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/program_builder_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp In file included from /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp:30: /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp: In function ‘void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp:52:56: warning: catching polymorphic type ‘class std::overflow_error’ by value [-Wcatch-value=] 52 | REQUIRE_THROWS_AS(PrgNode(PrgNode::noNode + 1), std::overflow_error); | ^~~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp: In function ‘void Clasp::Test::____C_A_T_C_H____T_E_S_T____4()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp:1084:49: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 1084 | REQUIRE_THROWS_AS(solverLiteral(lp, c1), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp:1093:73: warning: catching polymorphic type ‘class std::overflow_error’ by value [-Wcatch-value=] 1093 | REQUIRE_THROWS_AS(lp.newCondition(Potassco::toSpan(&cAsLit, 1)), std::overflow_error); | ^~~~~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp:1106:56: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 1106 | REQUIRE_THROWS_AS(lp.extractCondition(c1, ext), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp:1116:45: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=] 1116 | REQUIRE_THROWS_AS(lp.getLiteral(c1), std::logic_error); | ^~~~~~~~~~~ /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp: In function ‘void Clasp::Test::____C_A_T_C_H____T_E_S_T____101()’: /build/clasp-jW18uJ/clasp-3.3.5/tests/program_builder_test.cpp:1880:40: warning: catching polymorphic type ‘class Clasp::Asp::RedefinitionError’ by value [-Wcatch-value=] 1880 | REQUIRE_THROWS_AS(lpAdd(lp, "{a}."), RedefinitionError); | ^~~~~~~~~~~~~~~~~ [ 92%] Building CXX object tests/CMakeFiles/test_clasp.dir/rule_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/rule_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/rule_test.cpp [ 93%] Building CXX object tests/CMakeFiles/test_clasp.dir/satelite_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/satelite_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/satelite_test.cpp [ 95%] Building CXX object tests/CMakeFiles/test_clasp.dir/solver_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/solver_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/solver_test.cpp [ 96%] Building CXX object tests/CMakeFiles/test_clasp.dir/test_main.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/test_main.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/test_main.cpp [ 97%] Building CXX object tests/CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/unfounded_check_test.cpp [ 98%] Building CXX object tests/CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-jW18uJ/clasp-3.3.5 -I/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-jW18uJ/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o -c /build/clasp-jW18uJ/clasp-3.3.5/tests/weight_constraint_test.cpp [100%] Linking CXX executable ../bin/test_clasp cd /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_clasp.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-jW18uJ/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o CMakeFiles/test_clasp.dir/clause_test.cpp.o CMakeFiles/test_clasp.dir/cli_test.cpp.o CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o CMakeFiles/test_clasp.dir/enumerator_test.cpp.o CMakeFiles/test_clasp.dir/facade_test.cpp.o CMakeFiles/test_clasp.dir/literal_test.cpp.o CMakeFiles/test_clasp.dir/minimize_test.cpp.o CMakeFiles/test_clasp.dir/parser_test.cpp.o CMakeFiles/test_clasp.dir/program_builder_test.cpp.o CMakeFiles/test_clasp.dir/rule_test.cpp.o CMakeFiles/test_clasp.dir/satelite_test.cpp.o CMakeFiles/test_clasp.dir/solver_test.cpp.o CMakeFiles/test_clasp.dir/test_main.cpp.o CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o -o ../bin/test_clasp ../lib/libclasp.a -lpthread ../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' [100%] Built target test_clasp make[3]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' /usr/bin/cmake -E cmake_progress_start /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/CMakeFiles 0 make[2]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make[1]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5' debian/rules override_dh_auto_test make[1]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5' dh_auto_test --builddirectory=build.dir/hardening_mt &&\ { EXIT_CODE=$? ; echo "Exit $EXIT_CODE" ; test -d build.dir/hardening_mt/Testing/Temporary && tail -n +1 -v -- build.dir/hardening_mt/Testing/Temporary/* ; exit $EXIT_CODE ; } ||\ { EXIT_CODE=$? ; echo "Exit $EXIT_CODE" ; test -d build.dir/hardening_mt/Testing/Temporary && tail -n +1 -v -- build.dir/hardening_mt/Testing/Temporary/* ; exit $EXIT_CODE ; } cd build.dir/hardening_mt && make -j4 test ARGS\+=-j4 make[2]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' Running tests... /usr/bin/ctest --force-new-ctest-process -j4 Test project /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt Start 1: test_lp Start 2: test_opts Start 3: test_clasp 1/3 Test #1: test_lp .......................... Passed 0.01 sec 2/3 Test #3: test_clasp ....................... Passed 0.10 sec 3/3 Test #2: test_opts ........................ Passed 1.00 sec 100% tests passed, 0 tests failed out of 3 Total Test time (real) = 1.01 sec make[2]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' Exit 0 ==> build.dir/hardening_mt/Testing/Temporary/CTestCostData.txt <== test_lp 1 0.0106818 test_opts 1 1.00436 test_clasp 1 0.0983587 --- ==> build.dir/hardening_mt/Testing/Temporary/LastTest.log <== Start testing: Oct 03 07:32 UTC ---------------------------------------------------------- 1/3 Testing: test_lp 1/3 Test: test_lp Command: "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/bin/test_potassco_lp" Directory: /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests "test_lp" start time: Oct 03 07:32 UTC Output: ---------------------------------------------------------- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ test_potassco_lp is a Catch v1.9.1 host application. Run with -? for options ------------------------------------------------------------------------------- String conversion double parsing is locale-independent ------------------------------------------------------------------------------- /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:142 ............................................................................... /build/clasp-jW18uJ/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:159: warning: could not set locale - test ignored =============================================================================== All tests passed (2844 assertions in 21 test cases) Test time = 0.01 sec ---------------------------------------------------------- Test Passed. "test_lp" end time: Oct 03 07:32 UTC "test_lp" time elapsed: 00:00:00 ---------------------------------------------------------- 3/3 Testing: test_clasp 3/3 Test: test_clasp Command: "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/bin/test_clasp" Directory: /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/tests "test_clasp" start time: Oct 03 07:32 UTC Output: ---------------------------------------------------------- =============================================================================== All tests passed (6706 assertions in 44 test cases) Test time = 0.10 sec ---------------------------------------------------------- Test Passed. "test_clasp" end time: Oct 03 07:32 UTC "test_clasp" time elapsed: 00:00:00 ---------------------------------------------------------- 2/3 Testing: test_opts 2/3 Test: test_opts Command: "/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/bin/test_potassco_opts" Directory: /build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests "test_opts" start time: Oct 03 07:32 UTC Output: ---------------------------------------------------------- =============================================================================== All tests passed (129 assertions in 16 test cases) Test time = 1.00 sec ---------------------------------------------------------- Test Passed. "test_opts" end time: Oct 03 07:32 UTC "test_opts" time elapsed: 00:00:01 ---------------------------------------------------------- End testing: Oct 03 07:32 UTC make[1]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5' create-stamp debian/debhelper-build-stamp dh_prep -a dh_installdirs -a debian/rules override_dh_auto_install make[1]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5' dh_auto_install --builddirectory=build.dir/hardening_mt cd build.dir/hardening_mt && make -j4 install DESTDIR=/build/clasp-jW18uJ/clasp-3.3.5/debian/clasp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[2]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' /usr/bin/cmake -S/build/clasp-jW18uJ/clasp-3.3.5 -B/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt --check-build-system CMakeFiles/Makefile.cmake 0 make -f CMakeFiles/Makefile2 preinstall make[3]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make[3]: Nothing to be done for 'preinstall'. make[3]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "None" -- Installing: /build/clasp-jW18uJ/clasp-3.3.5/debian/clasp/usr/bin/clasp make[2]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5/build.dir/hardening_mt' make[1]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5' dh_installdocs -a debian/rules override_dh_installchangelogs make[1]: Entering directory '/build/clasp-jW18uJ/clasp-3.3.5' dh_installchangelogs CHANGES make[1]: Leaving directory '/build/clasp-jW18uJ/clasp-3.3.5' dh_installman -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a -a dh_strip -a -a dh_makeshlibs -a -a dh_shlibdeps -a -a dh_installdeb -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'clasp' in '../clasp_3.3.5-4_amd64.deb'. dpkg-deb: building package 'clasp-dbgsym' in '../clasp-dbgsym_3.3.5-4_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../clasp_3.3.5-4_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/clasp-jW18uJ /tmp/clasp-3.3.5-4mxnh0u45 I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.zcgdwsx6jm... I: success in 419.5872 seconds md5: clasp-dbgsym_3.3.5-4_amd64.deb: OK md5: clasp_3.3.5-4_amd64.deb: OK sha1: clasp-dbgsym_3.3.5-4_amd64.deb: OK sha1: clasp_3.3.5-4_amd64.deb: OK sha256: clasp-dbgsym_3.3.5-4_amd64.deb: OK sha256: clasp_3.3.5-4_amd64.deb: OK Checksums: OK