DC-Build-Header: cbmc 5.10-5 / 2019-01-09 19:33:27 +0000 DC-Task: type:rebuild-binarch-only source:cbmc version:5.10-5 chroot:unstable esttime:2263 logfile:/tmp/cbmc_5.10-5_unstable_clang7.log modes:clang7:binarch-only DC-Sbuild-call: su user42 -c 'sbuild -n --arch-any --apt-update -d unstable -v --chroot-setup-commands=/tmp/clang7 cbmc_5.10-5' sbuild (Debian sbuild) 0.73.0 (23 Dec 2016) on ip-172-31-4-2.eu-central-1.compute.internal +==============================================================================+ | cbmc 5.10-5 (amd64) Wed, 09 Jan 2019 19:33:27 +0000 | +==============================================================================+ Package: cbmc Version: 5.10-5 Source Version: 5.10-5 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: any I: NOTICE: Log filtering will replace 'var/run/schroot/mount/sid-amd64-sbuild-6513b3d0-e04a-4c98-831a-a372c7cf0cb2' with '<>' +------------------------------------------------------------------------------+ | Chroot Setup Commands | +------------------------------------------------------------------------------+ /tmp/clang7 ----------- + echo 'Entering customization script...' Entering customization script... + CLANG_VERSION=7 + echo 'Install of clang-7' Install of clang-7 + apt-get update Get:1 http://127.0.0.1:9999/debian sid InRelease [238 kB] Get:2 http://127.0.0.1:9999/debian sid/main Sources.diff/Index [27.9 kB] Get:3 http://127.0.0.1:9999/debian sid/main amd64 Packages.diff/Index [27.9 kB] Get:4 http://127.0.0.1:9999/debian sid/main Sources 2019-01-09-1430.36.pdiff [24.1 kB] Get:4 http://127.0.0.1:9999/debian sid/main Sources 2019-01-09-1430.36.pdiff [24.1 kB] Get:5 http://127.0.0.1:9999/debian sid/main amd64 Packages 2019-01-09-1430.36.pdiff [40.9 kB] Get:5 http://127.0.0.1:9999/debian sid/main amd64 Packages 2019-01-09-1430.36.pdiff [40.9 kB] Get:6 http://127.0.0.1:9999/debian sid/main Translation-en [6275 kB] Fetched 6633 kB in 2s (2994 kB/s) Reading package lists... + apt-get install --yes --no-install-recommends --force-yes clang-7 libomp-7-dev libobjc-8-dev Reading package lists... Building dependency tree... The following additional packages will be installed: lib32gcc1 lib32stdc++6 libbsd0 libc6-i386 libclang-common-7-dev libclang1-7 libedit2 libgc1c2 libllvm7 libobjc4 libomp5-7 Suggested packages: clang-7-doc libomp-7-doc Recommended packages: llvm-7-dev python The following NEW packages will be installed: clang-7 lib32gcc1 lib32stdc++6 libbsd0 libc6-i386 libclang-common-7-dev libclang1-7 libedit2 libgc1c2 libllvm7 libobjc-8-dev libobjc4 libomp-7-dev libomp5-7 0 upgraded, 14 newly installed, 0 to remove and 5 not upgraded. Need to get 34.5 MB of archives. After this operation, 185 MB of additional disk space will be used. Get:1 http://127.0.0.1:9999/debian sid/main amd64 libbsd0 amd64 0.9.1-1 [99.3 kB] Get:2 http://127.0.0.1:9999/debian sid/main amd64 libedit2 amd64 3.1-20181209-1 [94.0 kB] Get:3 http://127.0.0.1:9999/debian sid/main amd64 libllvm7 amd64 1:7.0.1-4 [13.0 MB] Get:4 http://127.0.0.1:9999/debian sid/main amd64 libgc1c2 amd64 1:7.6.4-0.4 [224 kB] Get:5 http://127.0.0.1:9999/debian sid/main amd64 libobjc4 amd64 8.2.0-14 [50.4 kB] Get:6 http://127.0.0.1:9999/debian sid/main amd64 libobjc-8-dev amd64 8.2.0-14 [225 kB] Get:7 http://127.0.0.1:9999/debian sid/main amd64 libc6-i386 amd64 2.28-4 [2873 kB] Get:8 http://127.0.0.1:9999/debian sid/main amd64 lib32gcc1 amd64 1:8.2.0-14 [47.9 kB] Get:9 http://127.0.0.1:9999/debian sid/main amd64 lib32stdc++6 amd64 8.2.0-14 [406 kB] Get:10 http://127.0.0.1:9999/debian sid/main amd64 libclang-common-7-dev amd64 1:7.0.1-4 [3155 kB] Get:11 http://127.0.0.1:9999/debian sid/main amd64 libclang1-7 amd64 1:7.0.1-4 [5991 kB] Get:12 http://127.0.0.1:9999/debian sid/main amd64 clang-7 amd64 1:7.0.1-4 [7887 kB] Get:13 http://127.0.0.1:9999/debian sid/main amd64 libomp5-7 amd64 1:7.0.1-4 [318 kB] Get:14 http://127.0.0.1:9999/debian sid/main amd64 libomp-7-dev amd64 1:7.0.1-4 [57.1 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 34.5 MB in 0s (118 MB/s) Selecting previously unselected package libbsd0: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 ... 11802 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-1_amd64.deb ... Unpacking libbsd0:amd64 (0.9.1-1) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../01-libedit2_3.1-20181209-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20181209-1) ... Selecting previously unselected package libllvm7:amd64. Preparing to unpack .../02-libllvm7_1%3a7.0.1-4_amd64.deb ... Unpacking libllvm7:amd64 (1:7.0.1-4) ... Selecting previously unselected package libgc1c2:amd64. Preparing to unpack .../03-libgc1c2_1%3a7.6.4-0.4_amd64.deb ... Unpacking libgc1c2:amd64 (1:7.6.4-0.4) ... Selecting previously unselected package libobjc4:amd64. Preparing to unpack .../04-libobjc4_8.2.0-14_amd64.deb ... Unpacking libobjc4:amd64 (8.2.0-14) ... Selecting previously unselected package libobjc-8-dev:amd64. Preparing to unpack .../05-libobjc-8-dev_8.2.0-14_amd64.deb ... Unpacking libobjc-8-dev:amd64 (8.2.0-14) ... Selecting previously unselected package libc6-i386. Preparing to unpack .../06-libc6-i386_2.28-4_amd64.deb ... Unpacking libc6-i386 (2.28-4) ... Selecting previously unselected package lib32gcc1. Preparing to unpack .../07-lib32gcc1_1%3a8.2.0-14_amd64.deb ... Unpacking lib32gcc1 (1:8.2.0-14) ... Selecting previously unselected package lib32stdc++6. Preparing to unpack .../08-lib32stdc++6_8.2.0-14_amd64.deb ... Unpacking lib32stdc++6 (8.2.0-14) ... Selecting previously unselected package libclang-common-7-dev. Preparing to unpack .../09-libclang-common-7-dev_1%3a7.0.1-4_amd64.deb ... Unpacking libclang-common-7-dev (1:7.0.1-4) ... Selecting previously unselected package libclang1-7:amd64. Preparing to unpack .../10-libclang1-7_1%3a7.0.1-4_amd64.deb ... Unpacking libclang1-7:amd64 (1:7.0.1-4) ... Selecting previously unselected package clang-7. Preparing to unpack .../11-clang-7_1%3a7.0.1-4_amd64.deb ... Unpacking clang-7 (1:7.0.1-4) ... Selecting previously unselected package libomp5-7:amd64. Preparing to unpack .../12-libomp5-7_1%3a7.0.1-4_amd64.deb ... Unpacking libomp5-7:amd64 (1:7.0.1-4) ... Selecting previously unselected package libomp-7-dev. Preparing to unpack .../13-libomp-7-dev_1%3a7.0.1-4_amd64.deb ... Unpacking libomp-7-dev (1:7.0.1-4) ... Setting up libgc1c2:amd64 (1:7.6.4-0.4) ... Setting up libc6-i386 (2.28-4) ... Setting up libbsd0:amd64 (0.9.1-1) ... Setting up libomp5-7:amd64 (1:7.0.1-4) ... Processing triggers for libc-bin (2.28-4) ... Setting up libomp-7-dev (1:7.0.1-4) ... Setting up lib32gcc1 (1:8.2.0-14) ... Setting up libedit2:amd64 (3.1-20181209-1) ... Setting up libobjc4:amd64 (8.2.0-14) ... Setting up libobjc-8-dev:amd64 (8.2.0-14) ... Setting up libllvm7:amd64 (1:7.0.1-4) ... Setting up libclang1-7:amd64 (1:7.0.1-4) ... Setting up lib32stdc++6 (8.2.0-14) ... Setting up libclang-common-7-dev (1:7.0.1-4) ... Setting up clang-7 (1:7.0.1-4) ... Processing triggers for libc-bin (2.28-4) ... W: --force-yes is deprecated, use one of the options starting with --allow instead. + echo 'Replace gcc, g++ & cpp by clang' Replace gcc, g++ & cpp by clang + VERSIONS='4.6 4.7 4.8 4.9 5 6 7 8' + cd /usr/bin + for VERSION in $VERSIONS + rm -f g++-4.6 gcc-4.6 cpp-4.6 gcc + ln -s clang++-7 g++-4.6 + ln -s clang-7 gcc-4.6 + ln -s clang-7 cpp-4.6 + ln -s clang-7 gcc + echo 'gcc-4.6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-4.7 gcc-4.7 cpp-4.7 gcc + ln -s clang++-7 g++-4.7 + ln -s clang-7 gcc-4.7 + ln -s clang-7 cpp-4.7 + ln -s clang-7 gcc + echo 'gcc-4.7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-4.8 gcc-4.8 cpp-4.8 gcc + ln -s clang++-7 g++-4.8 + ln -s clang-7 gcc-4.8 + ln -s clang-7 cpp-4.8 + ln -s clang-7 gcc + echo 'gcc-4.8 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.8 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-4.9 gcc-4.9 cpp-4.9 gcc + ln -s clang++-7 g++-4.9 + ln -s clang-7 gcc-4.9 + ln -s clang-7 cpp-4.9 + ln -s clang-7 gcc + echo 'gcc-4.9 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.9 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.9 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.9 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-5 gcc-5 cpp-5 gcc + ln -s clang++-7 g++-5 + ln -s clang-7 gcc-5 + ln -s clang-7 cpp-5 + ln -s clang-7 gcc + echo 'gcc-5 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-5 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-5 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-5 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-6 gcc-6 cpp-6 gcc + ln -s clang++-7 g++-6 + ln -s clang-7 gcc-6 + ln -s clang-7 cpp-6 + ln -s clang-7 gcc + echo 'gcc-6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-7 gcc-7 cpp-7 gcc + ln -s clang++-7 g++-7 + ln -s clang-7 gcc-7 + ln -s clang-7 cpp-7 + ln -s clang-7 gcc + echo 'gcc-7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-8 gcc-8 cpp-8 gcc + ln -s clang++-7 g++-8 + ln -s clang-7 gcc-8 + ln -s clang-7 cpp-8 + ln -s clang-7 gcc + echo 'gcc-8 hold' + dpkg --set-selections + echo 'g++-8 hold' + dpkg --set-selections + cd - /build/cbmc-aruod1 + echo 'Check if gcc, g++ & cpp are actually clang' Check if gcc, g++ & cpp are actually clang + gcc --version + grep clang + cpp --version + grep clang + g++ --version + grep clang I: Finished running '/tmp/clang7'. Finished processing commands. -------------------------------------------------------------------------------- +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Hit:1 http://127.0.0.1:9999/debian sid InRelease Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: libmpfr6 libpam-modules libpam-modules-bin libpam-runtime libpam0g 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 1519 kB of archives. After this operation, 7168 B of additional disk space will be used. Get:1 http://127.0.0.1:9999/debian sid/main amd64 libpam0g amd64 1.1.8-4 [124 kB] Get:2 http://127.0.0.1:9999/debian sid/main amd64 libpam-modules-bin amd64 1.1.8-4 [106 kB] Get:3 http://127.0.0.1:9999/debian sid/main amd64 libpam-modules amd64 1.1.8-4 [305 kB] Get:4 http://127.0.0.1:9999/debian sid/main amd64 libpam-runtime all 1.1.8-4 [211 kB] Get:5 http://127.0.0.1:9999/debian sid/main amd64 libmpfr6 amd64 4.0.2~rc1-1 [773 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 1519 kB in 0s (73.1 MB/s) (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 ... 12592 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-4_amd64.deb ... Unpacking libpam0g:amd64 (1.1.8-4) over (1.1.8-3.8) ... Setting up libpam0g:amd64 (1.1.8-4) ... (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 ... 12592 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-4_amd64.deb ... Unpacking libpam-modules-bin (1.1.8-4) over (1.1.8-3.8) ... Setting up libpam-modules-bin (1.1.8-4) ... (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 ... 12592 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-4_amd64.deb ... Unpacking libpam-modules:amd64 (1.1.8-4) over (1.1.8-3.8) ... Setting up libpam-modules:amd64 (1.1.8-4) ... (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 ... 12592 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.1.8-4_all.deb ... Unpacking libpam-runtime (1.1.8-4) over (1.1.8-3.8) ... Setting up libpam-runtime (1.1.8-4) ... (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 ... 12592 files and directories currently installed.) Preparing to unpack .../libmpfr6_4.0.2~rc1-1_amd64.deb ... Unpacking libmpfr6:amd64 (4.0.2~rc1-1) over (4.0.1-2) ... Setting up libmpfr6:amd64 (4.0.2~rc1-1) ... Processing triggers for libc-bin (2.28-4) ... +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Check APT --------- Checking available source versions... Download source files with APT ------------------------------ Reading package lists... Need to get 6533 kB of source archives. Get:1 http://127.0.0.1:9999/debian sid/main cbmc 5.10-5 (dsc) [2167 B] Get:2 http://127.0.0.1:9999/debian sid/main cbmc 5.10-5 (tar) [173 kB] Get:3 http://127.0.0.1:9999/debian sid/main cbmc 5.10-5 (tar) [6345 kB] Get:4 http://127.0.0.1:9999/debian sid/main cbmc 5.10-5 (diff) [12.5 kB] Fetched 6533 kB in 1s (8734 kB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/cbmc-aruod1/cbmc-5.10' with '<>' I: NOTICE: Log filtering will replace 'build/cbmc-aruod1' with '<>' +------------------------------------------------------------------------------+ | Install build-essential | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-3c2JuX/apt_archive/sbuild-build-depends-core-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 1 entries to output Packages file. Ign:1 copy:/<>/resolver-3c2JuX/apt_archive ./ InRelease Get:2 copy:/<>/resolver-3c2JuX/apt_archive ./ Release [957 B] Ign:3 copy:/<>/resolver-3c2JuX/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-3c2JuX/apt_archive ./ Sources [349 B] Get:5 copy:/<>/resolver-3c2JuX/apt_archive ./ Packages [433 B] Fetched 1739 B in 0s (0 B/s) Reading package lists... Reading package lists... Install core build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 856 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-3c2JuX/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [856 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 856 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 12592 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper (>= 10), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison, default-jdk-headless, maven, maven-repo-helper, maven-debian-helper, libmaven-compiler-plugin-java Filtered Build-Depends: debhelper (>= 10), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison, default-jdk-headless, maven, maven-repo-helper, maven-debian-helper, libmaven-compiler-plugin-java dpkg-deb: building package 'sbuild-build-depends-cbmc-dummy' in '/<>/resolver-3c2JuX/apt_archive/sbuild-build-depends-cbmc-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-cbmc-dummy sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 2 entries to output Packages file. Ign:1 copy:/<>/resolver-3c2JuX/apt_archive ./ InRelease Get:2 copy:/<>/resolver-3c2JuX/apt_archive ./ Release [963 B] Ign:3 copy:/<>/resolver-3c2JuX/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-3c2JuX/apt_archive ./ Sources [568 B] Get:5 copy:/<>/resolver-3c2JuX/apt_archive ./ Packages [650 B] Fetched 2181 B in 0s (0 B/s) Reading package lists... Reading package lists... Install cbmc build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: ant autoconf automake autopoint autotools-dev bison bsdmainutils ca-certificates ca-certificates-java debhelper default-jdk-headless default-jre-headless dh-autoreconf dh-strip-nondeterminism dwz file flex fontconfig-config fonts-dejavu-core gettext gettext-base groff-base intltool-debian java-common java-wrappers libaopalliance-java libapache-pom-java libarchive-zip-perl libasm-java libasound2 libasound2-data libatinject-jsr330-api-java libavahi-client3 libavahi-common-data libavahi-common3 libavalon-framework-java libbatik-java libbison-dev libbsh-java libcdi-api-java libcommons-beanutils-java libcommons-cli-java libcommons-codec-java libcommons-collections3-java libcommons-compress-java libcommons-configuration-java libcommons-digester-java libcommons-io-java libcommons-lang-java libcommons-lang3-java libcommons-logging-java libcommons-parent-java libcommons-validator-java libcroco3 libcups2 libdbus-1-3 libdom4j-java libdoxia-core-java libdoxia-java libdoxia-sitetools-java libel-api-java libelf1 libexpat1 libfile-stripnondeterminism-perl libfontbox2-java libfontconfig1 libfop-java libfreetype6 libgeronimo-annotation-1.3-spec-java libgeronimo-interceptor-3.0-spec-java libglib2.0-0 libgssapi-krb5-2 libguava-java libguice-java libhawtjni-runtime-java libhttpclient-java libhttpcore-java libicu63 libitext1-java libjansi-java libjansi-native-java libjaxen-java libjaxp1.3-java libjetty9-java libjpeg62-turbo libjsp-api-java libjsr305-java libjtidy-java libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 liblog4j1.2-java libmagic-mgc libmagic1 libmaven-archiver-java libmaven-clean-plugin-java libmaven-common-artifact-filters-java libmaven-compiler-plugin-java libmaven-filtering-java libmaven-jar-plugin-java libmaven-parent-java libmaven-plugin-tools-java libmaven-reporting-api-java libmaven-reporting-exec-java libmaven-reporting-impl-java libmaven-resolver-java libmaven-resources-plugin-java libmaven-shared-incremental-java libmaven-shared-utils-java libmaven-site-plugin-java libmaven3-core-java libncurses6 libnspr4 libnss3 liboro-java libparboiled-java libpcsclite1 libpegdown-java libpipeline1 libplexus-ant-factory-java libplexus-archiver-java libplexus-bsh-factory-java libplexus-build-api-java libplexus-cipher-java libplexus-classworlds-java libplexus-compiler-java libplexus-component-annotations-java libplexus-container-default-java libplexus-container-default1.5-java libplexus-i18n-java libplexus-interpolation-java libplexus-io-java libplexus-languages-java libplexus-sec-dispatcher-java libplexus-utils2-java libplexus-velocity-java libpng16-16 libprocps7 libqdox-java libqdox2-java libservlet3.1-java libsigsegv2 libsisu-guice-java libsisu-inject-java libsisu-ioc-java libsisu-plexus-java libslf4j-java libsnappy-java libsnappy-jni libsnappy1v5 libsqlite3-0 libssl1.1 libsurefire-java libtool libuchardet0 libvelocity-tools-java libwagon-file-java libwagon-http-shaded-java libwagon-provider-api-java libwebsocket-api-java libx11-6 libx11-data libxalan2-java libxau6 libxbean-reflect-java libxcb1 libxdmcp6 libxerces2-java libxext6 libxi6 libxml-commons-external-java libxml-commons-resolver1.1-java libxml2 libxml2-utils libxmlgraphics-commons-java libxrender1 libxtst6 libxz-java lsb-base m4 man-db maven maven-debian-helper maven-repo-helper minisat openjdk-11-jdk-headless openjdk-11-jre-headless openssl po-debconf procps sensible-utils sgml-base ucf unzip velocity x11-common zlib1g-dev Suggested packages: ant-doc autoconf-archive gnu-standards autoconf-doc bison-doc wamerican | wordlist whois vacation dh-make default-jre flex-doc gettext-doc libasprintf-dev libgettextpo-dev groff libaopalliance-java-doc libasound2-plugins alsa-utils libatinject-jsr330-api-java-doc libavalon-framework-java-doc librhino-java libcommons-beanutils-java-doc libcommons-collections3-java-doc libcommons-jexl2-java libcommons-jxpath-java libcommons-vfs-java libcommons-digester-java-doc libcommons-io-java-doc libcommons-lang-java-doc libcommons-lang3-java-doc libcommons-logging-java-doc libexcalibur-logkit-java cups-common libdom4j-java-doc libmsv-java libxpp2-java libxpp3-java libdoxia-java-doc libdoxia-sitetools-java-doc krb5-doc krb5-user libcglib-java libjdom1-java libxom-java jetty9 libjsr305-java-doc libjtidy-java-doc liblcms2-utils liblog4j1.2-java-doc libmail-java libmaven-archiver-java-doc libmaven-common-artifact-filters-java-doc libmaven-reporting-impl-java-doc libmaven-shared-incremental-java-doc libmaven-shared-utils-java-doc liblogback-java pcscd libplexus-cipher-java-doc libplexus-classworlds-java-doc junit4 libecj-java libplexus-compiler-java-doc libplexus-interpolation-java-doc libplexus-sec-dispatcher-java-doc libplexus-utils2-java-doc libplexus-velocity-java-doc libqdox-java-doc junit libqdox2-java-doc testng libosgi-compendium-java libosgi-core-java libtool-doc gfortran | fortran95-compiler gcj-jdk libxalan2-java-doc libbsf-java libxsltc-java libxerces2-java-doc libxml-commons-resolver1.1-java-doc libxmlgraphics-commons-java-doc m4-doc apparmor less www-browser libmaven-javadoc-plugin-java apt-file licensecheck subversion openjdk-11-demo openjdk-11-source libnss-mdns fonts-dejavu-extra fonts-ipafont-gothic fonts-ipafont-mincho fonts-wqy-microhei | fonts-wqy-zenhei fonts-indic libmail-box-perl sgml-base-doc zip velocity-doc Recommended packages: ant-optional libfl-dev curl | wget | lynx default-jre dbus libarchive-cpio-perl icc-profiles-free libsaxon-java libglib2.0-data shared-mime-info xdg-user-dirs krb5-locales libgpm2 libcglib-java libltdl-dev libmail-sendmail-perl psmisc The following NEW packages will be installed: ant autoconf automake autopoint autotools-dev bison bsdmainutils ca-certificates ca-certificates-java debhelper default-jdk-headless default-jre-headless dh-autoreconf dh-strip-nondeterminism dwz file flex fontconfig-config fonts-dejavu-core gettext gettext-base groff-base intltool-debian java-common java-wrappers libaopalliance-java libapache-pom-java libarchive-zip-perl libasm-java libasound2 libasound2-data libatinject-jsr330-api-java libavahi-client3 libavahi-common-data libavahi-common3 libavalon-framework-java libbatik-java libbison-dev libbsh-java libcdi-api-java libcommons-beanutils-java libcommons-cli-java libcommons-codec-java libcommons-collections3-java libcommons-compress-java libcommons-configuration-java libcommons-digester-java libcommons-io-java libcommons-lang-java libcommons-lang3-java libcommons-logging-java libcommons-parent-java libcommons-validator-java libcroco3 libcups2 libdbus-1-3 libdom4j-java libdoxia-core-java libdoxia-java libdoxia-sitetools-java libel-api-java libelf1 libexpat1 libfile-stripnondeterminism-perl libfontbox2-java libfontconfig1 libfop-java libfreetype6 libgeronimo-annotation-1.3-spec-java libgeronimo-interceptor-3.0-spec-java libglib2.0-0 libgssapi-krb5-2 libguava-java libguice-java libhawtjni-runtime-java libhttpclient-java libhttpcore-java libicu63 libitext1-java libjansi-java libjansi-native-java libjaxen-java libjaxp1.3-java libjetty9-java libjpeg62-turbo libjsp-api-java libjsr305-java libjtidy-java libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 liblog4j1.2-java libmagic-mgc libmagic1 libmaven-archiver-java libmaven-clean-plugin-java libmaven-common-artifact-filters-java libmaven-compiler-plugin-java libmaven-filtering-java libmaven-jar-plugin-java libmaven-parent-java libmaven-plugin-tools-java libmaven-reporting-api-java libmaven-reporting-exec-java libmaven-reporting-impl-java libmaven-resolver-java libmaven-resources-plugin-java libmaven-shared-incremental-java libmaven-shared-utils-java libmaven-site-plugin-java libmaven3-core-java libncurses6 libnspr4 libnss3 liboro-java libparboiled-java libpcsclite1 libpegdown-java libpipeline1 libplexus-ant-factory-java libplexus-archiver-java libplexus-bsh-factory-java libplexus-build-api-java libplexus-cipher-java libplexus-classworlds-java libplexus-compiler-java libplexus-component-annotations-java libplexus-container-default-java libplexus-container-default1.5-java libplexus-i18n-java libplexus-interpolation-java libplexus-io-java libplexus-languages-java libplexus-sec-dispatcher-java libplexus-utils2-java libplexus-velocity-java libpng16-16 libprocps7 libqdox-java libqdox2-java libservlet3.1-java libsigsegv2 libsisu-guice-java libsisu-inject-java libsisu-ioc-java libsisu-plexus-java libslf4j-java libsnappy-java libsnappy-jni libsnappy1v5 libsqlite3-0 libssl1.1 libsurefire-java libtool libuchardet0 libvelocity-tools-java libwagon-file-java libwagon-http-shaded-java libwagon-provider-api-java libwebsocket-api-java libx11-6 libx11-data libxalan2-java libxau6 libxbean-reflect-java libxcb1 libxdmcp6 libxerces2-java libxext6 libxi6 libxml-commons-external-java libxml-commons-resolver1.1-java libxml2 libxml2-utils libxmlgraphics-commons-java libxrender1 libxtst6 libxz-java lsb-base m4 man-db maven maven-debian-helper maven-repo-helper minisat openjdk-11-jdk-headless openjdk-11-jre-headless openssl po-debconf procps sbuild-build-depends-cbmc-dummy sensible-utils sgml-base ucf unzip velocity x11-common zlib1g-dev 0 upgraded, 200 newly installed, 0 to remove and 0 not upgraded. Need to get 330 MB of archives. After this operation, 570 MB of additional disk space will be used. Get:1 copy:/<>/resolver-3c2JuX/apt_archive ./ sbuild-build-depends-cbmc-dummy 0.invalid.0 [944 B] Get:2 http://127.0.0.1:9999/debian sid/main amd64 bsdmainutils amd64 11.1.2+b1 [191 kB] Get:3 http://127.0.0.1:9999/debian sid/main amd64 libuchardet0 amd64 0.0.6-3 [64.9 kB] Get:4 http://127.0.0.1:9999/debian sid/main amd64 groff-base amd64 1.22.4-2 [917 kB] Get:5 http://127.0.0.1:9999/debian sid/main amd64 libpipeline1 amd64 1.5.0-2 [29.5 kB] Get:6 http://127.0.0.1:9999/debian sid/main amd64 man-db amd64 2.8.5-1 [1274 kB] Get:7 http://127.0.0.1:9999/debian sid/main amd64 libsigsegv2 amd64 2.12-2 [32.8 kB] Get:8 http://127.0.0.1:9999/debian sid/main amd64 m4 amd64 1.4.18-2 [203 kB] Get:9 http://127.0.0.1:9999/debian sid/main amd64 flex amd64 2.6.4-6.2 [456 kB] Get:10 http://127.0.0.1:9999/debian sid/main amd64 sgml-base all 1.29 [14.8 kB] Get:11 http://127.0.0.1:9999/debian sid/main amd64 libncurses6 amd64 6.1+20181013-1 [102 kB] Get:12 http://127.0.0.1:9999/debian sid/main amd64 libprocps7 amd64 2:3.3.15-2 [61.7 kB] Get:13 http://127.0.0.1:9999/debian sid/main amd64 lsb-base all 10.2018112800 [28.3 kB] Get:14 http://127.0.0.1:9999/debian sid/main amd64 procps amd64 2:3.3.15-2 [259 kB] Get:15 http://127.0.0.1:9999/debian sid/main amd64 sensible-utils all 0.0.12 [15.8 kB] Get:16 http://127.0.0.1:9999/debian sid/main amd64 libmagic-mgc amd64 1:5.34-2 [239 kB] Get:17 http://127.0.0.1:9999/debian sid/main amd64 libmagic1 amd64 1:5.34-2 [116 kB] Get:18 http://127.0.0.1:9999/debian sid/main amd64 file amd64 1:5.34-2 [65.8 kB] Get:19 http://127.0.0.1:9999/debian sid/main amd64 gettext-base amd64 0.19.8.1-9 [123 kB] Get:20 http://127.0.0.1:9999/debian sid/main amd64 ucf all 3.0038+nmu1 [69.0 kB] Get:21 http://127.0.0.1:9999/debian sid/main amd64 libssl1.1 amd64 1.1.1a-1 [1527 kB] Get:22 http://127.0.0.1:9999/debian sid/main amd64 openssl amd64 1.1.1a-1 [836 kB] Get:23 http://127.0.0.1:9999/debian sid/main amd64 ca-certificates all 20180409 [161 kB] Get:24 http://127.0.0.1:9999/debian sid/main amd64 libnspr4 amd64 2:4.20-1 [112 kB] Get:25 http://127.0.0.1:9999/debian sid/main amd64 libsqlite3-0 amd64 3.26.0+fossilbc891ac6b-1 [634 kB] Get:26 http://127.0.0.1:9999/debian sid/main amd64 libnss3 amd64 2:3.41-1 [1157 kB] Get:27 http://127.0.0.1:9999/debian sid/main amd64 ca-certificates-java all 20180516 [15.5 kB] Get:28 http://127.0.0.1:9999/debian sid/main amd64 java-common all 0.71 [14.4 kB] Get:29 http://127.0.0.1:9999/debian sid/main amd64 libavahi-common-data amd64 0.7-4+b1 [122 kB] Get:30 http://127.0.0.1:9999/debian sid/main amd64 libavahi-common3 amd64 0.7-4+b1 [54.6 kB] Get:31 http://127.0.0.1:9999/debian sid/main amd64 libdbus-1-3 amd64 1.12.12-1 [212 kB] Get:32 http://127.0.0.1:9999/debian sid/main amd64 libavahi-client3 amd64 0.7-4+b1 [58.1 kB] Get:33 http://127.0.0.1:9999/debian sid/main amd64 libkeyutils1 amd64 1.5.9-9.3 [13.0 kB] Get:34 http://127.0.0.1:9999/debian sid/main amd64 libkrb5support0 amd64 1.16.2-1 [63.3 kB] Get:35 http://127.0.0.1:9999/debian sid/main amd64 libk5crypto3 amd64 1.16.2-1 [121 kB] Get:36 http://127.0.0.1:9999/debian sid/main amd64 libkrb5-3 amd64 1.16.2-1 [320 kB] Get:37 http://127.0.0.1:9999/debian sid/main amd64 libgssapi-krb5-2 amd64 1.16.2-1 [158 kB] Get:38 http://127.0.0.1:9999/debian sid/main amd64 libcups2 amd64 2.2.10-3 [324 kB] Get:39 http://127.0.0.1:9999/debian sid/main amd64 liblcms2-2 amd64 2.9-3 [145 kB] Get:40 http://127.0.0.1:9999/debian sid/main amd64 libjpeg62-turbo amd64 1:1.5.2-2+b1 [134 kB] Get:41 http://127.0.0.1:9999/debian sid/main amd64 libexpat1 amd64 2.2.6-1 [105 kB] Get:42 http://127.0.0.1:9999/debian sid/main amd64 libpng16-16 amd64 1.6.36-2 [292 kB] Get:43 http://127.0.0.1:9999/debian sid/main amd64 libfreetype6 amd64 2.9.1-3 [379 kB] Get:44 http://127.0.0.1:9999/debian sid/main amd64 fonts-dejavu-core all 2.37-1 [1068 kB] Get:45 http://127.0.0.1:9999/debian sid/main amd64 fontconfig-config all 2.13.1-2 [280 kB] Get:46 http://127.0.0.1:9999/debian sid/main amd64 libfontconfig1 amd64 2.13.1-2 [346 kB] Get:47 http://127.0.0.1:9999/debian sid/main amd64 libasound2-data all 1.1.7-2 [56.6 kB] Get:48 http://127.0.0.1:9999/debian sid/main amd64 libasound2 amd64 1.1.7-2 [362 kB] Get:49 http://127.0.0.1:9999/debian sid/main amd64 libpcsclite1 amd64 1.8.24-1 [58.5 kB] Get:50 http://127.0.0.1:9999/debian sid/main amd64 libxau6 amd64 1:1.0.8-1+b2 [19.9 kB] Get:51 http://127.0.0.1:9999/debian sid/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:52 http://127.0.0.1:9999/debian sid/main amd64 libxcb1 amd64 1.13.1-2 [137 kB] Get:53 http://127.0.0.1:9999/debian sid/main amd64 libx11-data all 2:1.6.7-1 [298 kB] Get:54 http://127.0.0.1:9999/debian sid/main amd64 libx11-6 amd64 2:1.6.7-1 [754 kB] Get:55 http://127.0.0.1:9999/debian sid/main amd64 libxext6 amd64 2:1.3.3-1+b2 [52.5 kB] Get:56 http://127.0.0.1:9999/debian sid/main amd64 libxi6 amd64 2:1.7.9-1 [82.6 kB] Get:57 http://127.0.0.1:9999/debian sid/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:58 http://127.0.0.1:9999/debian sid/main amd64 x11-common all 1:7.7+19 [251 kB] Get:59 http://127.0.0.1:9999/debian sid/main amd64 libxtst6 amd64 2:1.2.3-1 [27.8 kB] Get:60 http://127.0.0.1:9999/debian sid/main amd64 openjdk-11-jre-headless amd64 11.0.1+13-3 [36.9 MB] Get:61 http://127.0.0.1:9999/debian sid/main amd64 default-jre-headless amd64 2:1.11-71 [10.9 kB] Get:62 http://127.0.0.1:9999/debian sid/main amd64 ant all 1.10.5-2 [2082 kB] Get:63 http://127.0.0.1:9999/debian sid/main amd64 autoconf all 2.69-11 [341 kB] Get:64 http://127.0.0.1:9999/debian sid/main amd64 autotools-dev all 20180224.1 [77.0 kB] Get:65 http://127.0.0.1:9999/debian sid/main amd64 automake all 1:1.16.1-4 [771 kB] Get:66 http://127.0.0.1:9999/debian sid/main amd64 autopoint all 0.19.8.1-9 [434 kB] Get:67 http://127.0.0.1:9999/debian sid/main amd64 libbison-dev amd64 2:3.2.4.dfsg-1 [475 kB] Get:68 http://127.0.0.1:9999/debian sid/main amd64 bison amd64 2:3.2.4.dfsg-1 [843 kB] Get:69 http://127.0.0.1:9999/debian sid/main amd64 libtool all 2.4.6-6 [547 kB] Get:70 http://127.0.0.1:9999/debian sid/main amd64 dh-autoreconf all 19 [16.9 kB] Get:71 http://127.0.0.1:9999/debian sid/main amd64 libarchive-zip-perl all 1.64-1 [96.8 kB] Get:72 http://127.0.0.1:9999/debian sid/main amd64 libfile-stripnondeterminism-perl all 1.0.0-1 [19.5 kB] Get:73 http://127.0.0.1:9999/debian sid/main amd64 dh-strip-nondeterminism all 1.0.0-1 [12.5 kB] Get:74 http://127.0.0.1:9999/debian sid/main amd64 libelf1 amd64 0.175-2 [160 kB] Get:75 http://127.0.0.1:9999/debian sid/main amd64 dwz amd64 0.12-3 [78.0 kB] Get:76 http://127.0.0.1:9999/debian sid/main amd64 libglib2.0-0 amd64 2.58.2-3 [1257 kB] Get:77 http://127.0.0.1:9999/debian sid/main amd64 libicu63 amd64 63.1-5 [8293 kB] Get:78 http://127.0.0.1:9999/debian sid/main amd64 libxml2 amd64 2.9.4+dfsg1-7+b3 [687 kB] Get:79 http://127.0.0.1:9999/debian sid/main amd64 libcroco3 amd64 0.6.12-3 [145 kB] Get:80 http://127.0.0.1:9999/debian sid/main amd64 gettext amd64 0.19.8.1-9 [1303 kB] Get:81 http://127.0.0.1:9999/debian sid/main amd64 intltool-debian all 0.35.0+20060710.4 [26.3 kB] Get:82 http://127.0.0.1:9999/debian sid/main amd64 po-debconf all 1.0.21 [248 kB] Get:83 http://127.0.0.1:9999/debian sid/main amd64 debhelper all 12 [1002 kB] Get:84 http://127.0.0.1:9999/debian sid/main amd64 openjdk-11-jdk-headless amd64 11.0.1+13-3 [217 MB] Get:85 http://127.0.0.1:9999/debian sid/main amd64 default-jdk-headless amd64 2:1.11-71 [1104 B] Get:86 http://127.0.0.1:9999/debian sid/main amd64 unzip amd64 6.0-21 [170 kB] Get:87 http://127.0.0.1:9999/debian sid/main amd64 java-wrappers all 0.3 [10.9 kB] Get:88 http://127.0.0.1:9999/debian sid/main amd64 libaopalliance-java all 20070526-6 [9048 B] Get:89 http://127.0.0.1:9999/debian sid/main amd64 libapache-pom-java all 18-1 [4676 B] Get:90 http://127.0.0.1:9999/debian sid/main amd64 libasm-java all 7.0-1 [362 kB] Get:91 http://127.0.0.1:9999/debian sid/main amd64 libatinject-jsr330-api-java all 1.0+ds1-5 [5312 B] Get:92 http://127.0.0.1:9999/debian sid/main amd64 libavalon-framework-java all 4.2.0-10 [71.6 kB] Get:93 http://127.0.0.1:9999/debian sid/main amd64 libjaxp1.3-java all 1.3.05-5 [226 kB] Get:94 http://127.0.0.1:9999/debian sid/main amd64 libxml-commons-external-java all 1.4.01-3 [240 kB] Get:95 http://127.0.0.1:9999/debian sid/main amd64 libxml-commons-resolver1.1-java all 1.2-9 [91.6 kB] Get:96 http://127.0.0.1:9999/debian sid/main amd64 libxerces2-java all 2.11.0-9 [1421 kB] Get:97 http://127.0.0.1:9999/debian sid/main amd64 libxalan2-java all 2.7.2-2 [3380 kB] Get:98 http://127.0.0.1:9999/debian sid/main amd64 libcommons-parent-java all 43-1 [10.8 kB] Get:99 http://127.0.0.1:9999/debian sid/main amd64 libcommons-io-java all 2.6-2 [213 kB] Get:100 http://127.0.0.1:9999/debian sid/main amd64 libcommons-logging-java all 1.2-2 [62.2 kB] Get:101 http://127.0.0.1:9999/debian sid/main amd64 libxmlgraphics-commons-java all 2.3-1 [616 kB] Get:102 http://127.0.0.1:9999/debian sid/main amd64 libbatik-java all 1.10-2 [3905 kB] Get:103 http://127.0.0.1:9999/debian sid/main amd64 libbsh-java all 2.0b4-19 [282 kB] Get:104 http://127.0.0.1:9999/debian sid/main amd64 libgeronimo-interceptor-3.0-spec-java all 1.0.1-4 [8484 B] Get:105 http://127.0.0.1:9999/debian sid/main amd64 libcdi-api-java all 1.2-2 [54.5 kB] Get:106 http://127.0.0.1:9999/debian sid/main amd64 libcommons-collections3-java all 3.2.2-2 [526 kB] Get:107 http://127.0.0.1:9999/debian sid/main amd64 libcommons-beanutils-java all 1.9.3-1 [231 kB] Get:108 http://127.0.0.1:9999/debian sid/main amd64 libcommons-cli-java all 1.4-1 [55.2 kB] Get:109 http://127.0.0.1:9999/debian sid/main amd64 libcommons-codec-java all 1.11-1 [271 kB] Get:110 http://127.0.0.1:9999/debian sid/main amd64 libcommons-compress-java all 1.18-1 [532 kB] Get:111 http://127.0.0.1:9999/debian sid/main amd64 libcommons-lang-java all 2.6-8 [273 kB] Get:112 http://127.0.0.1:9999/debian sid/main amd64 libcommons-configuration-java all 1.10-5 [330 kB] Get:113 http://127.0.0.1:9999/debian sid/main amd64 libcommons-digester-java all 1.8.1-5 [168 kB] Get:114 http://127.0.0.1:9999/debian sid/main amd64 libcommons-lang3-java all 3.8-2 [478 kB] Get:115 http://127.0.0.1:9999/debian sid/main amd64 libcommons-validator-java all 1:1.6-2 [178 kB] Get:116 http://127.0.0.1:9999/debian sid/main amd64 libjaxen-java all 1.1.6-4 [214 kB] Get:117 http://127.0.0.1:9999/debian sid/main amd64 libdom4j-java all 2.1.1-2 [310 kB] Get:118 http://127.0.0.1:9999/debian sid/main amd64 libhttpcore-java all 4.4.10-1 [624 kB] Get:119 http://127.0.0.1:9999/debian sid/main amd64 libhttpclient-java all 4.5.6-1 [720 kB] Get:120 http://127.0.0.1:9999/debian sid/main amd64 libplexus-utils2-java all 3.1.1-1 [249 kB] Get:121 http://127.0.0.1:9999/debian sid/main amd64 libmaven-parent-java all 31-2 [5100 B] Get:122 http://127.0.0.1:9999/debian sid/main amd64 libdoxia-core-java all 1.7-2 [169 kB] Get:123 http://127.0.0.1:9999/debian sid/main amd64 libfontbox2-java all 2.0.13-1 [1498 kB] Get:124 http://127.0.0.1:9999/debian sid/main amd64 libqdox-java all 1.12.1-3 [172 kB] Get:125 http://127.0.0.1:9999/debian sid/main amd64 libjsp-api-java all 2.3~tomcat8.5.37-1 [69.3 kB] Get:126 http://127.0.0.1:9999/debian sid/main amd64 libel-api-java all 3.0.0-2 [64.7 kB] Get:127 http://127.0.0.1:9999/debian sid/main amd64 libwebsocket-api-java all 1.0~tomcat8.5.37-1 [45.8 kB] Get:128 http://127.0.0.1:9999/debian sid/main amd64 libservlet3.1-java all 8.5.37-1 [245 kB] Get:129 http://127.0.0.1:9999/debian sid/main amd64 libfop-java all 1:2.3-2 [4210 kB] Get:130 http://127.0.0.1:9999/debian sid/main amd64 libitext1-java all 1.4-7 [1257 kB] Get:131 http://127.0.0.1:9999/debian sid/main amd64 liblog4j1.2-java all 1.2.17-8 [430 kB] Get:132 http://127.0.0.1:9999/debian sid/main amd64 libparboiled-java all 1.1.7-2 [281 kB] Get:133 http://127.0.0.1:9999/debian sid/main amd64 libpegdown-java all 1.6.0-1 [74.8 kB] Get:134 http://127.0.0.1:9999/debian sid/main amd64 libplexus-component-annotations-java all 1.7.1-7 [7536 B] Get:135 http://127.0.0.1:9999/debian sid/main amd64 libjsr305-java all 0.1~+svn49-10 [26.5 kB] Get:136 http://127.0.0.1:9999/debian sid/main amd64 libguava-java all 19.0-1 [2028 kB] Get:137 http://127.0.0.1:9999/debian sid/main amd64 libplexus-classworlds-java all 2.5.2-2 [49.2 kB] Get:138 http://127.0.0.1:9999/debian sid/main amd64 libxbean-reflect-java all 4.5-8 [133 kB] Get:139 http://127.0.0.1:9999/debian sid/main amd64 libplexus-container-default-java all 1.7.1-7 [194 kB] Get:140 http://127.0.0.1:9999/debian sid/main amd64 libdoxia-java all 1.7-2 [445 kB] Get:141 http://127.0.0.1:9999/debian sid/main amd64 libmaven-reporting-api-java all 3.0-1 [6594 B] Get:142 http://127.0.0.1:9999/debian sid/main amd64 libgeronimo-annotation-1.3-spec-java all 1.0-1 [10.6 kB] Get:143 http://127.0.0.1:9999/debian sid/main amd64 libguice-java all 4.2.1-1 [962 kB] Get:144 http://127.0.0.1:9999/debian sid/main amd64 libwagon-provider-api-java all 3.2.0-2 [49.4 kB] Get:145 http://127.0.0.1:9999/debian sid/main amd64 libmaven-resolver-java all 1.3.1-1 [549 kB] Get:146 http://127.0.0.1:9999/debian sid/main amd64 libmaven-shared-utils-java all 3.3.0-1 [149 kB] Get:147 http://127.0.0.1:9999/debian sid/main amd64 libplexus-cipher-java all 1.7-3 [15.0 kB] Get:148 http://127.0.0.1:9999/debian sid/main amd64 libplexus-interpolation-java all 1.25-1 [76.8 kB] Get:149 http://127.0.0.1:9999/debian sid/main amd64 libplexus-sec-dispatcher-java all 1.4-4 [28.1 kB] Get:150 http://127.0.0.1:9999/debian sid/main amd64 libslf4j-java all 1.7.25-3 [143 kB] Get:151 http://127.0.0.1:9999/debian sid/main amd64 libsisu-inject-java all 0.3.2-3 [345 kB] Get:152 http://127.0.0.1:9999/debian sid/main amd64 libsisu-plexus-java all 0.3.3-3 [182 kB] Get:153 http://127.0.0.1:9999/debian sid/main amd64 libmaven3-core-java all 3.6.0-1 [1465 kB] Get:154 http://127.0.0.1:9999/debian sid/main amd64 libplexus-container-default1.5-java all 1.7.1-7 [4336 B] Get:155 http://127.0.0.1:9999/debian sid/main amd64 libplexus-i18n-java all 1.0-beta-10-5 [13.9 kB] Get:156 http://127.0.0.1:9999/debian sid/main amd64 velocity all 1.7-5 [413 kB] Get:157 http://127.0.0.1:9999/debian sid/main amd64 libplexus-velocity-java all 1.2-3 [10.4 kB] Get:158 http://127.0.0.1:9999/debian sid/main amd64 liboro-java all 2.0.8a-13 [71.1 kB] Get:159 http://127.0.0.1:9999/debian sid/main amd64 libvelocity-tools-java all 2.0-7 [296 kB] Get:160 http://127.0.0.1:9999/debian sid/main amd64 libdoxia-sitetools-java all 1.7.5-1 [199 kB] Get:161 http://127.0.0.1:9999/debian sid/main amd64 libhawtjni-runtime-java all 1.15-3 [29.7 kB] Get:162 http://127.0.0.1:9999/debian sid/main amd64 libjansi-native-java all 1.8-1 [26.0 kB] Get:163 http://127.0.0.1:9999/debian sid/main amd64 libjansi-java all 1.16-1 [42.6 kB] Get:164 http://127.0.0.1:9999/debian sid/main amd64 libjetty9-java all 9.4.14-1 [2575 kB] Get:165 http://127.0.0.1:9999/debian sid/main amd64 libjtidy-java all 7+svn20110807-5 [250 kB] Get:166 http://127.0.0.1:9999/debian sid/main amd64 libplexus-io-java all 3.1.1-1 [64.6 kB] Get:167 http://127.0.0.1:9999/debian sid/main amd64 libsnappy1v5 amd64 1.1.7-1 [17.0 kB] Get:168 http://127.0.0.1:9999/debian sid/main amd64 libsnappy-jni amd64 1.1.7.2-1 [7148 B] Get:169 http://127.0.0.1:9999/debian sid/main amd64 libsnappy-java all 1.1.7.2-1 [73.7 kB] Get:170 http://127.0.0.1:9999/debian sid/main amd64 libxz-java all 1.8-2 [141 kB] Get:171 http://127.0.0.1:9999/debian sid/main amd64 libplexus-archiver-java all 3.6.0-2 [171 kB] Get:172 http://127.0.0.1:9999/debian sid/main amd64 libmaven-archiver-java all 3.2.0-2 [23.5 kB] Get:173 http://127.0.0.1:9999/debian sid/main amd64 libmaven-clean-plugin-java all 3.1.0-1 [20.5 kB] Get:174 http://127.0.0.1:9999/debian sid/main amd64 libsisu-guice-java all 4.2.0-1 [785 kB] Get:175 http://127.0.0.1:9999/debian sid/main amd64 libsisu-ioc-java all 2.3.0-11 [492 kB] Get:176 http://127.0.0.1:9999/debian sid/main amd64 libmaven-common-artifact-filters-java all 3.0.1-3 [43.7 kB] Get:177 http://127.0.0.1:9999/debian sid/main amd64 libmaven-shared-incremental-java all 1.1-3 [9524 B] Get:178 http://127.0.0.1:9999/debian sid/main amd64 libplexus-compiler-java all 2.8.5-1 [97.6 kB] Get:179 http://127.0.0.1:9999/debian sid/main amd64 libqdox2-java all 2.0~M9-2 [287 kB] Get:180 http://127.0.0.1:9999/debian sid/main amd64 libplexus-languages-java all 0.9.10-1 [34.7 kB] Get:181 http://127.0.0.1:9999/debian sid/main amd64 libmaven-compiler-plugin-java all 3.8.0-2 [51.6 kB] Get:182 http://127.0.0.1:9999/debian sid/main amd64 libplexus-build-api-java all 0.0.7-3 [10.1 kB] Get:183 http://127.0.0.1:9999/debian sid/main amd64 libmaven-filtering-java all 3.1.1-1 [44.1 kB] Get:184 http://127.0.0.1:9999/debian sid/main amd64 libmaven-jar-plugin-java all 3.1.0-1 [17.5 kB] Get:185 http://127.0.0.1:9999/debian sid/main amd64 libmaven-reporting-impl-java all 3.0.0-2 [14.5 kB] Get:186 http://127.0.0.1:9999/debian sid/main amd64 libplexus-ant-factory-java all 1.0~alpha2.1-4 [11.4 kB] Get:187 http://127.0.0.1:9999/debian sid/main amd64 libplexus-bsh-factory-java all 1.0~alpha7-4 [8086 B] Get:188 http://127.0.0.1:9999/debian sid/main amd64 libsurefire-java all 2.22.1-1 [1090 kB] Get:189 http://127.0.0.1:9999/debian sid/main amd64 libmaven-plugin-tools-java all 3.6.0-1 [198 kB] Get:190 http://127.0.0.1:9999/debian sid/main amd64 libmaven-reporting-exec-java all 1.4-2 [24.4 kB] Get:191 http://127.0.0.1:9999/debian sid/main amd64 libmaven-resources-plugin-java all 3.1.0-1 [21.9 kB] Get:192 http://127.0.0.1:9999/debian sid/main amd64 libmaven-site-plugin-java all 3.6-3 [114 kB] Get:193 http://127.0.0.1:9999/debian sid/main amd64 libwagon-file-java all 3.2.0-2 [10.6 kB] Get:194 http://127.0.0.1:9999/debian sid/main amd64 libwagon-http-shaded-java all 3.2.0-2 [1827 kB] Get:195 http://127.0.0.1:9999/debian sid/main amd64 libxml2-utils amd64 2.9.4+dfsg1-7+b3 [99.7 kB] Get:196 http://127.0.0.1:9999/debian sid/main amd64 maven all 3.6.0-1 [22.1 kB] Get:197 http://127.0.0.1:9999/debian sid/main amd64 maven-repo-helper all 1.9.3 [142 kB] Get:198 http://127.0.0.1:9999/debian sid/main amd64 maven-debian-helper all 2.3.2 [122 kB] Get:199 http://127.0.0.1:9999/debian sid/main amd64 minisat amd64 1:2.2.1-5+b3 [84.9 kB] Get:200 http://127.0.0.1:9999/debian sid/main amd64 zlib1g-dev amd64 1:1.2.11.dfsg-1 [214 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 330 MB in 17s (19.1 MB/s) Selecting previously unselected package bsdmainutils. (Reading database ... 12592 files and directories currently installed.) Preparing to unpack .../000-bsdmainutils_11.1.2+b1_amd64.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../001-libuchardet0_0.0.6-3_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../002-groff-base_1.22.4-2_amd64.deb ... Unpacking groff-base (1.22.4-2) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../003-libpipeline1_1.5.0-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.0-2) ... Selecting previously unselected package man-db. Preparing to unpack .../004-man-db_2.8.5-1_amd64.deb ... Unpacking man-db (2.8.5-1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../005-libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../006-m4_1.4.18-2_amd64.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package flex. Preparing to unpack .../007-flex_2.6.4-6.2_amd64.deb ... Unpacking flex (2.6.4-6.2) ... Selecting previously unselected package sgml-base. Preparing to unpack .../008-sgml-base_1.29_all.deb ... Unpacking sgml-base (1.29) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../009-libncurses6_6.1+20181013-1_amd64.deb ... Unpacking libncurses6:amd64 (6.1+20181013-1) ... Selecting previously unselected package libprocps7:amd64. Preparing to unpack .../010-libprocps7_2%3a3.3.15-2_amd64.deb ... Unpacking libprocps7:amd64 (2:3.3.15-2) ... Selecting previously unselected package lsb-base. Preparing to unpack .../011-lsb-base_10.2018112800_all.deb ... Unpacking lsb-base (10.2018112800) ... Selecting previously unselected package procps. Preparing to unpack .../012-procps_2%3a3.3.15-2_amd64.deb ... Unpacking procps (2:3.3.15-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../013-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../014-libmagic-mgc_1%3a5.34-2_amd64.deb ... Unpacking libmagic-mgc (1:5.34-2) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../015-libmagic1_1%3a5.34-2_amd64.deb ... Unpacking libmagic1:amd64 (1:5.34-2) ... Selecting previously unselected package file. Preparing to unpack .../016-file_1%3a5.34-2_amd64.deb ... Unpacking file (1:5.34-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../017-gettext-base_0.19.8.1-9_amd64.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package ucf. Preparing to unpack .../018-ucf_3.0038+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0038+nmu1) ... Selecting previously unselected package libssl1.1:amd64. Preparing to unpack .../019-libssl1.1_1.1.1a-1_amd64.deb ... Unpacking libssl1.1:amd64 (1.1.1a-1) ... Selecting previously unselected package openssl. Preparing to unpack .../020-openssl_1.1.1a-1_amd64.deb ... Unpacking openssl (1.1.1a-1) ... Selecting previously unselected package ca-certificates. Preparing to unpack .../021-ca-certificates_20180409_all.deb ... Unpacking ca-certificates (20180409) ... Selecting previously unselected package libnspr4:amd64. Preparing to unpack .../022-libnspr4_2%3a4.20-1_amd64.deb ... Unpacking libnspr4:amd64 (2:4.20-1) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../023-libsqlite3-0_3.26.0+fossilbc891ac6b-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.26.0+fossilbc891ac6b-1) ... Selecting previously unselected package libnss3:amd64. Preparing to unpack .../024-libnss3_2%3a3.41-1_amd64.deb ... Unpacking libnss3:amd64 (2:3.41-1) ... Selecting previously unselected package ca-certificates-java. Preparing to unpack .../025-ca-certificates-java_20180516_all.deb ... Unpacking ca-certificates-java (20180516) ... Selecting previously unselected package java-common. Preparing to unpack .../026-java-common_0.71_all.deb ... Unpacking java-common (0.71) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../027-libavahi-common-data_0.7-4+b1_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.7-4+b1) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../028-libavahi-common3_0.7-4+b1_amd64.deb ... Unpacking libavahi-common3:amd64 (0.7-4+b1) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../029-libdbus-1-3_1.12.12-1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.12.12-1) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../030-libavahi-client3_0.7-4+b1_amd64.deb ... Unpacking libavahi-client3:amd64 (0.7-4+b1) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../031-libkeyutils1_1.5.9-9.3_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-9.3) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../032-libkrb5support0_1.16.2-1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.16.2-1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../033-libk5crypto3_1.16.2-1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.16.2-1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../034-libkrb5-3_1.16.2-1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.16.2-1) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../035-libgssapi-krb5-2_1.16.2-1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.16.2-1) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../036-libcups2_2.2.10-3_amd64.deb ... Unpacking libcups2:amd64 (2.2.10-3) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../037-liblcms2-2_2.9-3_amd64.deb ... Unpacking liblcms2-2:amd64 (2.9-3) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../038-libjpeg62-turbo_1%3a1.5.2-2+b1_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:1.5.2-2+b1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../039-libexpat1_2.2.6-1_amd64.deb ... Unpacking libexpat1:amd64 (2.2.6-1) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../040-libpng16-16_1.6.36-2_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.36-2) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../041-libfreetype6_2.9.1-3_amd64.deb ... Unpacking libfreetype6:amd64 (2.9.1-3) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../042-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../043-fontconfig-config_2.13.1-2_all.deb ... Unpacking fontconfig-config (2.13.1-2) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../044-libfontconfig1_2.13.1-2_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-2) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../045-libasound2-data_1.1.7-2_all.deb ... Unpacking libasound2-data (1.1.7-2) ... Selecting previously unselected package libasound2:amd64. Preparing to unpack .../046-libasound2_1.1.7-2_amd64.deb ... Unpacking libasound2:amd64 (1.1.7-2) ... Selecting previously unselected package libpcsclite1:amd64. Preparing to unpack .../047-libpcsclite1_1.8.24-1_amd64.deb ... Unpacking libpcsclite1:amd64 (1.8.24-1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../048-libxau6_1%3a1.0.8-1+b2_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1+b2) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../049-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../050-libxcb1_1.13.1-2_amd64.deb ... Unpacking libxcb1:amd64 (1.13.1-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../051-libx11-data_2%3a1.6.7-1_all.deb ... Unpacking libx11-data (2:1.6.7-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../052-libx11-6_2%3a1.6.7-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.7-1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../053-libxext6_2%3a1.3.3-1+b2_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1+b2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../054-libxi6_2%3a1.7.9-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.9-1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../055-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../056-x11-common_1%3a7.7+19_all.deb ... Unpacking x11-common (1:7.7+19) ... Selecting previously unselected package libxtst6:amd64. Preparing to unpack .../057-libxtst6_2%3a1.2.3-1_amd64.deb ... Unpacking libxtst6:amd64 (2:1.2.3-1) ... Selecting previously unselected package openjdk-11-jre-headless:amd64. Preparing to unpack .../058-openjdk-11-jre-headless_11.0.1+13-3_amd64.deb ... Unpacking openjdk-11-jre-headless:amd64 (11.0.1+13-3) ... Selecting previously unselected package default-jre-headless. Preparing to unpack .../059-default-jre-headless_2%3a1.11-71_amd64.deb ... Unpacking default-jre-headless (2:1.11-71) ... Selecting previously unselected package ant. Preparing to unpack .../060-ant_1.10.5-2_all.deb ... Unpacking ant (1.10.5-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../061-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../062-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../063-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../064-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package libbison-dev:amd64. Preparing to unpack .../065-libbison-dev_2%3a3.2.4.dfsg-1_amd64.deb ... Unpacking libbison-dev:amd64 (2:3.2.4.dfsg-1) ... Selecting previously unselected package bison. Preparing to unpack .../066-bison_2%3a3.2.4.dfsg-1_amd64.deb ... Unpacking bison (2:3.2.4.dfsg-1) ... Selecting previously unselected package libtool. Preparing to unpack .../067-libtool_2.4.6-6_all.deb ... Unpacking libtool (2.4.6-6) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../068-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../069-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../070-libfile-stripnondeterminism-perl_1.0.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.0.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../071-dh-strip-nondeterminism_1.0.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.0.0-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../072-libelf1_0.175-2_amd64.deb ... Unpacking libelf1:amd64 (0.175-2) ... Selecting previously unselected package dwz. Preparing to unpack .../073-dwz_0.12-3_amd64.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../074-libglib2.0-0_2.58.2-3_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.58.2-3) ... Selecting previously unselected package libicu63:amd64. Preparing to unpack .../075-libicu63_63.1-5_amd64.deb ... Unpacking libicu63:amd64 (63.1-5) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../076-libxml2_2.9.4+dfsg1-7+b3_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../077-libcroco3_0.6.12-3_amd64.deb ... Unpacking libcroco3:amd64 (0.6.12-3) ... Selecting previously unselected package gettext. Preparing to unpack .../078-gettext_0.19.8.1-9_amd64.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../079-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../080-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../081-debhelper_12_all.deb ... Unpacking debhelper (12) ... Selecting previously unselected package openjdk-11-jdk-headless:amd64. Preparing to unpack .../082-openjdk-11-jdk-headless_11.0.1+13-3_amd64.deb ... Unpacking openjdk-11-jdk-headless:amd64 (11.0.1+13-3) ... Selecting previously unselected package default-jdk-headless. Preparing to unpack .../083-default-jdk-headless_2%3a1.11-71_amd64.deb ... Unpacking default-jdk-headless (2:1.11-71) ... Selecting previously unselected package unzip. Preparing to unpack .../084-unzip_6.0-21_amd64.deb ... Unpacking unzip (6.0-21) ... Selecting previously unselected package java-wrappers. Preparing to unpack .../085-java-wrappers_0.3_all.deb ... Unpacking java-wrappers (0.3) ... Selecting previously unselected package libaopalliance-java. Preparing to unpack .../086-libaopalliance-java_20070526-6_all.deb ... Unpacking libaopalliance-java (20070526-6) ... Selecting previously unselected package libapache-pom-java. Preparing to unpack .../087-libapache-pom-java_18-1_all.deb ... Unpacking libapache-pom-java (18-1) ... Selecting previously unselected package libasm-java. Preparing to unpack .../088-libasm-java_7.0-1_all.deb ... Unpacking libasm-java (7.0-1) ... Selecting previously unselected package libatinject-jsr330-api-java. Preparing to unpack .../089-libatinject-jsr330-api-java_1.0+ds1-5_all.deb ... Unpacking libatinject-jsr330-api-java (1.0+ds1-5) ... Selecting previously unselected package libavalon-framework-java. Preparing to unpack .../090-libavalon-framework-java_4.2.0-10_all.deb ... Unpacking libavalon-framework-java (4.2.0-10) ... Selecting previously unselected package libjaxp1.3-java. Preparing to unpack .../091-libjaxp1.3-java_1.3.05-5_all.deb ... Unpacking libjaxp1.3-java (1.3.05-5) ... Selecting previously unselected package libxml-commons-external-java. Preparing to unpack .../092-libxml-commons-external-java_1.4.01-3_all.deb ... Unpacking libxml-commons-external-java (1.4.01-3) ... Selecting previously unselected package libxml-commons-resolver1.1-java. Preparing to unpack .../093-libxml-commons-resolver1.1-java_1.2-9_all.deb ... Unpacking libxml-commons-resolver1.1-java (1.2-9) ... Selecting previously unselected package libxerces2-java. Preparing to unpack .../094-libxerces2-java_2.11.0-9_all.deb ... Unpacking libxerces2-java (2.11.0-9) ... Selecting previously unselected package libxalan2-java. Preparing to unpack .../095-libxalan2-java_2.7.2-2_all.deb ... Unpacking libxalan2-java (2.7.2-2) ... Selecting previously unselected package libcommons-parent-java. Preparing to unpack .../096-libcommons-parent-java_43-1_all.deb ... Unpacking libcommons-parent-java (43-1) ... Selecting previously unselected package libcommons-io-java. Preparing to unpack .../097-libcommons-io-java_2.6-2_all.deb ... Unpacking libcommons-io-java (2.6-2) ... Selecting previously unselected package libcommons-logging-java. Preparing to unpack .../098-libcommons-logging-java_1.2-2_all.deb ... Unpacking libcommons-logging-java (1.2-2) ... Selecting previously unselected package libxmlgraphics-commons-java. Preparing to unpack .../099-libxmlgraphics-commons-java_2.3-1_all.deb ... Unpacking libxmlgraphics-commons-java (2.3-1) ... Selecting previously unselected package libbatik-java. Preparing to unpack .../100-libbatik-java_1.10-2_all.deb ... Unpacking libbatik-java (1.10-2) ... Selecting previously unselected package libbsh-java. Preparing to unpack .../101-libbsh-java_2.0b4-19_all.deb ... Unpacking libbsh-java (2.0b4-19) ... Selecting previously unselected package libgeronimo-interceptor-3.0-spec-java. Preparing to unpack .../102-libgeronimo-interceptor-3.0-spec-java_1.0.1-4_all.deb ... Unpacking libgeronimo-interceptor-3.0-spec-java (1.0.1-4) ... Selecting previously unselected package libcdi-api-java. Preparing to unpack .../103-libcdi-api-java_1.2-2_all.deb ... Unpacking libcdi-api-java (1.2-2) ... Selecting previously unselected package libcommons-collections3-java. Preparing to unpack .../104-libcommons-collections3-java_3.2.2-2_all.deb ... Unpacking libcommons-collections3-java (3.2.2-2) ... Selecting previously unselected package libcommons-beanutils-java. Preparing to unpack .../105-libcommons-beanutils-java_1.9.3-1_all.deb ... Unpacking libcommons-beanutils-java (1.9.3-1) ... Selecting previously unselected package libcommons-cli-java. Preparing to unpack .../106-libcommons-cli-java_1.4-1_all.deb ... Unpacking libcommons-cli-java (1.4-1) ... Selecting previously unselected package libcommons-codec-java. Preparing to unpack .../107-libcommons-codec-java_1.11-1_all.deb ... Unpacking libcommons-codec-java (1.11-1) ... Selecting previously unselected package libcommons-compress-java. Preparing to unpack .../108-libcommons-compress-java_1.18-1_all.deb ... Unpacking libcommons-compress-java (1.18-1) ... Selecting previously unselected package libcommons-lang-java. Preparing to unpack .../109-libcommons-lang-java_2.6-8_all.deb ... Unpacking libcommons-lang-java (2.6-8) ... Selecting previously unselected package libcommons-configuration-java. Preparing to unpack .../110-libcommons-configuration-java_1.10-5_all.deb ... Unpacking libcommons-configuration-java (1.10-5) ... Selecting previously unselected package libcommons-digester-java. Preparing to unpack .../111-libcommons-digester-java_1.8.1-5_all.deb ... Unpacking libcommons-digester-java (1.8.1-5) ... Selecting previously unselected package libcommons-lang3-java. Preparing to unpack .../112-libcommons-lang3-java_3.8-2_all.deb ... Unpacking libcommons-lang3-java (3.8-2) ... Selecting previously unselected package libcommons-validator-java. Preparing to unpack .../113-libcommons-validator-java_1%3a1.6-2_all.deb ... Unpacking libcommons-validator-java (1:1.6-2) ... Selecting previously unselected package libjaxen-java. Preparing to unpack .../114-libjaxen-java_1.1.6-4_all.deb ... Unpacking libjaxen-java (1.1.6-4) ... Selecting previously unselected package libdom4j-java. Preparing to unpack .../115-libdom4j-java_2.1.1-2_all.deb ... Unpacking libdom4j-java (2.1.1-2) ... Selecting previously unselected package libhttpcore-java. Preparing to unpack .../116-libhttpcore-java_4.4.10-1_all.deb ... Unpacking libhttpcore-java (4.4.10-1) ... Selecting previously unselected package libhttpclient-java. Preparing to unpack .../117-libhttpclient-java_4.5.6-1_all.deb ... Unpacking libhttpclient-java (4.5.6-1) ... Selecting previously unselected package libplexus-utils2-java. Preparing to unpack .../118-libplexus-utils2-java_3.1.1-1_all.deb ... Unpacking libplexus-utils2-java (3.1.1-1) ... Selecting previously unselected package libmaven-parent-java. Preparing to unpack .../119-libmaven-parent-java_31-2_all.deb ... Unpacking libmaven-parent-java (31-2) ... Selecting previously unselected package libdoxia-core-java. Preparing to unpack .../120-libdoxia-core-java_1.7-2_all.deb ... Unpacking libdoxia-core-java (1.7-2) ... Selecting previously unselected package libfontbox2-java. Preparing to unpack .../121-libfontbox2-java_2.0.13-1_all.deb ... Unpacking libfontbox2-java (2.0.13-1) ... Selecting previously unselected package libqdox-java. Preparing to unpack .../122-libqdox-java_1.12.1-3_all.deb ... Unpacking libqdox-java (1.12.1-3) ... Selecting previously unselected package libjsp-api-java. Preparing to unpack .../123-libjsp-api-java_2.3~tomcat8.5.37-1_all.deb ... Unpacking libjsp-api-java (2.3~tomcat8.5.37-1) ... Selecting previously unselected package libel-api-java. Preparing to unpack .../124-libel-api-java_3.0.0-2_all.deb ... Unpacking libel-api-java (3.0.0-2) ... Selecting previously unselected package libwebsocket-api-java. Preparing to unpack .../125-libwebsocket-api-java_1.0~tomcat8.5.37-1_all.deb ... Unpacking libwebsocket-api-java (1.0~tomcat8.5.37-1) ... Selecting previously unselected package libservlet3.1-java. Preparing to unpack .../126-libservlet3.1-java_8.5.37-1_all.deb ... Unpacking libservlet3.1-java (8.5.37-1) ... Selecting previously unselected package libfop-java. Preparing to unpack .../127-libfop-java_1%3a2.3-2_all.deb ... Unpacking libfop-java (1:2.3-2) ... Selecting previously unselected package libitext1-java. Preparing to unpack .../128-libitext1-java_1.4-7_all.deb ... Unpacking libitext1-java (1.4-7) ... Selecting previously unselected package liblog4j1.2-java. Preparing to unpack .../129-liblog4j1.2-java_1.2.17-8_all.deb ... Unpacking liblog4j1.2-java (1.2.17-8) ... Selecting previously unselected package libparboiled-java. Preparing to unpack .../130-libparboiled-java_1.1.7-2_all.deb ... Unpacking libparboiled-java (1.1.7-2) ... Selecting previously unselected package libpegdown-java. Preparing to unpack .../131-libpegdown-java_1.6.0-1_all.deb ... Unpacking libpegdown-java (1.6.0-1) ... Selecting previously unselected package libplexus-component-annotations-java. Preparing to unpack .../132-libplexus-component-annotations-java_1.7.1-7_all.deb ... Unpacking libplexus-component-annotations-java (1.7.1-7) ... Selecting previously unselected package libjsr305-java. Preparing to unpack .../133-libjsr305-java_0.1~+svn49-10_all.deb ... Unpacking libjsr305-java (0.1~+svn49-10) ... Selecting previously unselected package libguava-java. Preparing to unpack .../134-libguava-java_19.0-1_all.deb ... Unpacking libguava-java (19.0-1) ... Selecting previously unselected package libplexus-classworlds-java. Preparing to unpack .../135-libplexus-classworlds-java_2.5.2-2_all.deb ... Unpacking libplexus-classworlds-java (2.5.2-2) ... Selecting previously unselected package libxbean-reflect-java. Preparing to unpack .../136-libxbean-reflect-java_4.5-8_all.deb ... Unpacking libxbean-reflect-java (4.5-8) ... Selecting previously unselected package libplexus-container-default-java. Preparing to unpack .../137-libplexus-container-default-java_1.7.1-7_all.deb ... Unpacking libplexus-container-default-java (1.7.1-7) ... Selecting previously unselected package libdoxia-java. Preparing to unpack .../138-libdoxia-java_1.7-2_all.deb ... Unpacking libdoxia-java (1.7-2) ... Selecting previously unselected package libmaven-reporting-api-java. Preparing to unpack .../139-libmaven-reporting-api-java_3.0-1_all.deb ... Unpacking libmaven-reporting-api-java (3.0-1) ... Selecting previously unselected package libgeronimo-annotation-1.3-spec-java. Preparing to unpack .../140-libgeronimo-annotation-1.3-spec-java_1.0-1_all.deb ... Unpacking libgeronimo-annotation-1.3-spec-java (1.0-1) ... Selecting previously unselected package libguice-java. Preparing to unpack .../141-libguice-java_4.2.1-1_all.deb ... Unpacking libguice-java (4.2.1-1) ... Selecting previously unselected package libwagon-provider-api-java. Preparing to unpack .../142-libwagon-provider-api-java_3.2.0-2_all.deb ... Unpacking libwagon-provider-api-java (3.2.0-2) ... Selecting previously unselected package libmaven-resolver-java. Preparing to unpack .../143-libmaven-resolver-java_1.3.1-1_all.deb ... Unpacking libmaven-resolver-java (1.3.1-1) ... Selecting previously unselected package libmaven-shared-utils-java. Preparing to unpack .../144-libmaven-shared-utils-java_3.3.0-1_all.deb ... Unpacking libmaven-shared-utils-java (3.3.0-1) ... Selecting previously unselected package libplexus-cipher-java. Preparing to unpack .../145-libplexus-cipher-java_1.7-3_all.deb ... Unpacking libplexus-cipher-java (1.7-3) ... Selecting previously unselected package libplexus-interpolation-java. Preparing to unpack .../146-libplexus-interpolation-java_1.25-1_all.deb ... Unpacking libplexus-interpolation-java (1.25-1) ... Selecting previously unselected package libplexus-sec-dispatcher-java. Preparing to unpack .../147-libplexus-sec-dispatcher-java_1.4-4_all.deb ... Unpacking libplexus-sec-dispatcher-java (1.4-4) ... Selecting previously unselected package libslf4j-java. Preparing to unpack .../148-libslf4j-java_1.7.25-3_all.deb ... Unpacking libslf4j-java (1.7.25-3) ... Selecting previously unselected package libsisu-inject-java. Preparing to unpack .../149-libsisu-inject-java_0.3.2-3_all.deb ... Unpacking libsisu-inject-java (0.3.2-3) ... Selecting previously unselected package libsisu-plexus-java. Preparing to unpack .../150-libsisu-plexus-java_0.3.3-3_all.deb ... Unpacking libsisu-plexus-java (0.3.3-3) ... Selecting previously unselected package libmaven3-core-java. Preparing to unpack .../151-libmaven3-core-java_3.6.0-1_all.deb ... Unpacking libmaven3-core-java (3.6.0-1) ... Selecting previously unselected package libplexus-container-default1.5-java. Preparing to unpack .../152-libplexus-container-default1.5-java_1.7.1-7_all.deb ... Unpacking libplexus-container-default1.5-java (1.7.1-7) ... Selecting previously unselected package libplexus-i18n-java. Preparing to unpack .../153-libplexus-i18n-java_1.0-beta-10-5_all.deb ... Unpacking libplexus-i18n-java (1.0-beta-10-5) ... Selecting previously unselected package velocity. Preparing to unpack .../154-velocity_1.7-5_all.deb ... Unpacking velocity (1.7-5) ... Selecting previously unselected package libplexus-velocity-java. Preparing to unpack .../155-libplexus-velocity-java_1.2-3_all.deb ... Unpacking libplexus-velocity-java (1.2-3) ... Selecting previously unselected package liboro-java. Preparing to unpack .../156-liboro-java_2.0.8a-13_all.deb ... Unpacking liboro-java (2.0.8a-13) ... Selecting previously unselected package libvelocity-tools-java. Preparing to unpack .../157-libvelocity-tools-java_2.0-7_all.deb ... Unpacking libvelocity-tools-java (2.0-7) ... Selecting previously unselected package libdoxia-sitetools-java. Preparing to unpack .../158-libdoxia-sitetools-java_1.7.5-1_all.deb ... Unpacking libdoxia-sitetools-java (1.7.5-1) ... Selecting previously unselected package libhawtjni-runtime-java. Preparing to unpack .../159-libhawtjni-runtime-java_1.15-3_all.deb ... Unpacking libhawtjni-runtime-java (1.15-3) ... Selecting previously unselected package libjansi-native-java. Preparing to unpack .../160-libjansi-native-java_1.8-1_all.deb ... Unpacking libjansi-native-java (1.8-1) ... Selecting previously unselected package libjansi-java. Preparing to unpack .../161-libjansi-java_1.16-1_all.deb ... Unpacking libjansi-java (1.16-1) ... Selecting previously unselected package libjetty9-java. Preparing to unpack .../162-libjetty9-java_9.4.14-1_all.deb ... Unpacking libjetty9-java (9.4.14-1) ... Selecting previously unselected package libjtidy-java. Preparing to unpack .../163-libjtidy-java_7+svn20110807-5_all.deb ... Unpacking libjtidy-java (7+svn20110807-5) ... Selecting previously unselected package libplexus-io-java. Preparing to unpack .../164-libplexus-io-java_3.1.1-1_all.deb ... Unpacking libplexus-io-java (3.1.1-1) ... Selecting previously unselected package libsnappy1v5:amd64. Preparing to unpack .../165-libsnappy1v5_1.1.7-1_amd64.deb ... Unpacking libsnappy1v5:amd64 (1.1.7-1) ... Selecting previously unselected package libsnappy-jni. Preparing to unpack .../166-libsnappy-jni_1.1.7.2-1_amd64.deb ... Unpacking libsnappy-jni (1.1.7.2-1) ... Selecting previously unselected package libsnappy-java. Preparing to unpack .../167-libsnappy-java_1.1.7.2-1_all.deb ... Unpacking libsnappy-java (1.1.7.2-1) ... Selecting previously unselected package libxz-java. Preparing to unpack .../168-libxz-java_1.8-2_all.deb ... Unpacking libxz-java (1.8-2) ... Selecting previously unselected package libplexus-archiver-java. Preparing to unpack .../169-libplexus-archiver-java_3.6.0-2_all.deb ... Unpacking libplexus-archiver-java (3.6.0-2) ... Selecting previously unselected package libmaven-archiver-java. Preparing to unpack .../170-libmaven-archiver-java_3.2.0-2_all.deb ... Unpacking libmaven-archiver-java (3.2.0-2) ... Selecting previously unselected package libmaven-clean-plugin-java. Preparing to unpack .../171-libmaven-clean-plugin-java_3.1.0-1_all.deb ... Unpacking libmaven-clean-plugin-java (3.1.0-1) ... Selecting previously unselected package libsisu-guice-java. Preparing to unpack .../172-libsisu-guice-java_4.2.0-1_all.deb ... Unpacking libsisu-guice-java (4.2.0-1) ... Selecting previously unselected package libsisu-ioc-java. Preparing to unpack .../173-libsisu-ioc-java_2.3.0-11_all.deb ... Unpacking libsisu-ioc-java (2.3.0-11) ... Selecting previously unselected package libmaven-common-artifact-filters-java. Preparing to unpack .../174-libmaven-common-artifact-filters-java_3.0.1-3_all.deb ... Unpacking libmaven-common-artifact-filters-java (3.0.1-3) ... Selecting previously unselected package libmaven-shared-incremental-java. Preparing to unpack .../175-libmaven-shared-incremental-java_1.1-3_all.deb ... Unpacking libmaven-shared-incremental-java (1.1-3) ... Selecting previously unselected package libplexus-compiler-java. Preparing to unpack .../176-libplexus-compiler-java_2.8.5-1_all.deb ... Unpacking libplexus-compiler-java (2.8.5-1) ... Selecting previously unselected package libqdox2-java. Preparing to unpack .../177-libqdox2-java_2.0~M9-2_all.deb ... Unpacking libqdox2-java (2.0~M9-2) ... Selecting previously unselected package libplexus-languages-java. Preparing to unpack .../178-libplexus-languages-java_0.9.10-1_all.deb ... Unpacking libplexus-languages-java (0.9.10-1) ... Selecting previously unselected package libmaven-compiler-plugin-java. Preparing to unpack .../179-libmaven-compiler-plugin-java_3.8.0-2_all.deb ... Unpacking libmaven-compiler-plugin-java (3.8.0-2) ... Selecting previously unselected package libplexus-build-api-java. Preparing to unpack .../180-libplexus-build-api-java_0.0.7-3_all.deb ... Unpacking libplexus-build-api-java (0.0.7-3) ... Selecting previously unselected package libmaven-filtering-java. Preparing to unpack .../181-libmaven-filtering-java_3.1.1-1_all.deb ... Unpacking libmaven-filtering-java (3.1.1-1) ... Selecting previously unselected package libmaven-jar-plugin-java. Preparing to unpack .../182-libmaven-jar-plugin-java_3.1.0-1_all.deb ... Unpacking libmaven-jar-plugin-java (3.1.0-1) ... Selecting previously unselected package libmaven-reporting-impl-java. Preparing to unpack .../183-libmaven-reporting-impl-java_3.0.0-2_all.deb ... Unpacking libmaven-reporting-impl-java (3.0.0-2) ... Selecting previously unselected package libplexus-ant-factory-java. Preparing to unpack .../184-libplexus-ant-factory-java_1.0~alpha2.1-4_all.deb ... Unpacking libplexus-ant-factory-java (1.0~alpha2.1-4) ... Selecting previously unselected package libplexus-bsh-factory-java. Preparing to unpack .../185-libplexus-bsh-factory-java_1.0~alpha7-4_all.deb ... Unpacking libplexus-bsh-factory-java (1.0~alpha7-4) ... Selecting previously unselected package libsurefire-java. Preparing to unpack .../186-libsurefire-java_2.22.1-1_all.deb ... Unpacking libsurefire-java (2.22.1-1) ... Selecting previously unselected package libmaven-plugin-tools-java. Preparing to unpack .../187-libmaven-plugin-tools-java_3.6.0-1_all.deb ... Unpacking libmaven-plugin-tools-java (3.6.0-1) ... Selecting previously unselected package libmaven-reporting-exec-java. Preparing to unpack .../188-libmaven-reporting-exec-java_1.4-2_all.deb ... Unpacking libmaven-reporting-exec-java (1.4-2) ... Selecting previously unselected package libmaven-resources-plugin-java. Preparing to unpack .../189-libmaven-resources-plugin-java_3.1.0-1_all.deb ... Unpacking libmaven-resources-plugin-java (3.1.0-1) ... Selecting previously unselected package libmaven-site-plugin-java. Preparing to unpack .../190-libmaven-site-plugin-java_3.6-3_all.deb ... Unpacking libmaven-site-plugin-java (3.6-3) ... Selecting previously unselected package libwagon-file-java. Preparing to unpack .../191-libwagon-file-java_3.2.0-2_all.deb ... Unpacking libwagon-file-java (3.2.0-2) ... Selecting previously unselected package libwagon-http-shaded-java. Preparing to unpack .../192-libwagon-http-shaded-java_3.2.0-2_all.deb ... Unpacking libwagon-http-shaded-java (3.2.0-2) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../193-libxml2-utils_2.9.4+dfsg1-7+b3_amd64.deb ... Unpacking libxml2-utils (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package maven. Preparing to unpack .../194-maven_3.6.0-1_all.deb ... Unpacking maven (3.6.0-1) ... Selecting previously unselected package maven-repo-helper. Preparing to unpack .../195-maven-repo-helper_1.9.3_all.deb ... Unpacking maven-repo-helper (1.9.3) ... Selecting previously unselected package maven-debian-helper. Preparing to unpack .../196-maven-debian-helper_2.3.2_all.deb ... Unpacking maven-debian-helper (2.3.2) ... Selecting previously unselected package minisat. Preparing to unpack .../197-minisat_1%3a2.2.1-5+b3_amd64.deb ... Unpacking minisat (1:2.2.1-5+b3) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../198-zlib1g-dev_1%3a1.2.11.dfsg-1_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-1) ... Selecting previously unselected package sbuild-build-depends-cbmc-dummy. Preparing to unpack .../199-sbuild-build-depends-cbmc-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-cbmc-dummy (0.invalid.0) ... Setting up libslf4j-java (1.7.25-3) ... Setting up libplexus-classworlds-java (2.5.2-2) ... Setting up libcommons-collections3-java (3.2.2-2) ... Setting up libexpat1:amd64 (2.2.6-1) ... Setting up libjaxp1.3-java (1.3.05-5) ... Setting up libjpeg62-turbo:amd64 (1:1.5.2-2+b1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libhawtjni-runtime-java (1.15-3) ... Setting up libhttpcore-java (4.4.10-1) ... Setting up libprocps7:amd64 (2:3.3.15-2) ... Setting up libqdox-java (1.12.1-3) ... Setting up libicu63:amd64 (63.1-5) ... Setting up libpng16-16:amd64 (1.6.36-2) ... Setting up liblcms2-2:amd64 (2.9-3) ... Setting up libpcsclite1:amd64 (1.8.24-1) ... Setting up libsigsegv2:amd64 (2.12-2) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libplexus-cipher-java (1.7-3) ... Setting up libxml-commons-external-java (1.4.01-3) ... Setting up libelf1:amd64 (0.175-2) ... Setting up libglib2.0-0:amd64 (2.58.2-3) ... No schema files found: doing nothing. Setting up libasound2-data (1.1.7-2) ... Setting up libxbean-reflect-java (4.5-8) ... Setting up unzip (6.0-21) ... Setting up java-common (0.71) ... Setting up libjsp-api-java (2.3~tomcat8.5.37-1) ... Setting up libplexus-interpolation-java (1.25-1) ... Setting up gettext-base (0.19.8.1-9) ... Setting up libpipeline1:amd64 (1.5.0-2) ... Setting up m4 (1.4.18-2) ... Setting up sgml-base (1.29) ... Setting up libplexus-component-annotations-java (1.7.1-7) ... Setting up libnspr4:amd64 (2:4.20-1) ... Setting up libxml2:amd64 (2.9.4+dfsg1-7+b3) ... Setting up libuchardet0:amd64 (0.0.6-3) ... Setting up minisat (1:2.2.1-5+b3) ... Setting up libfreetype6:amd64 (2.9.1-3) ... Setting up libmagic-mgc (1:5.34-2) ... Setting up libplexus-utils2-java (3.1.1-1) ... Setting up libasound2:amd64 (1.1.7-2) ... Setting up libmagic1:amd64 (1:5.34-2) ... Setting up lsb-base (10.2018112800) ... Setting up libwagon-provider-api-java (3.2.0-2) ... Setting up libcroco3:amd64 (0.6.12-3) ... Setting up libjsr305-java (0.1~+svn49-10) ... Setting up liboro-java (2.0.8a-13) ... Setting up liblog4j1.2-java (1.2.17-8) ... Setting up libxml-commons-resolver1.1-java (1.2-9) ... Setting up sensible-utils (0.0.12) ... Setting up libxz-java (1.8-2) ... Processing triggers for libc-bin (2.28-4) ... Setting up libgeronimo-interceptor-3.0-spec-java (1.0.1-4) ... Setting up libavalon-framework-java (4.2.0-10) ... Setting up libmaven-resolver-java (1.3.1-1) ... Setting up dwz (0.12-3) ... Setting up autotools-dev (20180224.1) ... Setting up libssl1.1:amd64 (1.1.1a-1) ... Setting up libjaxen-java (1.1.6-4) ... Setting up libsnappy1v5:amd64 (1.1.7-1) ... Setting up libjansi-native-java (1.8-1) ... Setting up libwagon-http-shaded-java (3.2.0-2) ... Setting up libapache-pom-java (18-1) ... Setting up openssl (1.1.1a-1) ... Setting up libsqlite3-0:amd64 (3.26.0+fossilbc891ac6b-1) ... Setting up libbison-dev:amd64 (2:3.2.4.dfsg-1) ... Setting up libasm-java (7.0-1) ... Setting up libitext1-java (1.4-7) ... Setting up libel-api-java (3.0.0-2) ... Setting up libatinject-jsr330-api-java (1.0+ds1-5) ... Setting up libjtidy-java (7+svn20110807-5) ... Setting up libmaven-parent-java (31-2) ... Setting up libfontbox2-java (2.0.13-1) ... Setting up bison (2:3.2.4.dfsg-1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libkeyutils1:amd64 (1.5.9-9.3) ... Setting up libbsh-java (2.0b4-19) ... Setting up bsdmainutils (11.1.2+b1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up x11-common (1:7.7+19) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults invoke-rc.d: could not determine current runlevel All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of start. Setting up ca-certificates (20180409) ... Updating certificates in /etc/ssl/certs... 133 added, 0 removed; done. Setting up libwebsocket-api-java (1.0~tomcat8.5.37-1) ... Setting up libncurses6:amd64 (6.1+20181013-1) ... Setting up libaopalliance-java (20070526-6) ... Setting up libgeronimo-annotation-1.3-spec-java (1.0-1) ... Setting up libx11-data (2:1.6.7-1) ... Setting up libxau6:amd64 (1:1.0.8-1+b2) ... Setting up autopoint (0.19.8.1-9) ... Setting up libdbus-1-3:amd64 (1.12.12-1) ... Setting up libcommons-cli-java (1.4-1) ... Setting up libavahi-common-data:amd64 (0.7-4+b1) ... Setting up libqdox2-java (2.0~M9-2) ... Setting up libplexus-sec-dispatcher-java (1.4-4) ... Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-1) ... Setting up libfile-stripnondeterminism-perl (1.0.0-1) ... Setting up libdom4j-java (2.1.1-2) ... Setting up libplexus-build-api-java (0.0.7-3) ... Setting up libparboiled-java (1.1.7-2) ... Setting up gettext (0.19.8.1-9) ... Setting up flex (2.6.4-6.2) ... Setting up libsnappy-jni (1.1.7.2-1) ... Setting up libjansi-java (1.16-1) ... Setting up libplexus-languages-java (0.9.10-1) ... Setting up groff-base (1.22.4-2) ... Setting up java-wrappers (0.3) ... Setting up libxml2-utils (2.9.4+dfsg1-7+b3) ... Setting up libguava-java (19.0-1) ... Setting up libnss3:amd64 (2:3.41-1) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.34-2) ... Setting up libkrb5support0:amd64 (1.16.2-1) ... Setting up ucf (3.0038+nmu1) ... Setting up libwagon-file-java (3.2.0-2) ... Setting up procps (2:3.3.15-2) ... update-alternatives: using /usr/bin/w.procps to provide /usr/bin/w (w) in auto mode Setting up libcommons-parent-java (43-1) ... Setting up libxerces2-java (2.11.0-9) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up libcdi-api-java (1.2-2) ... Setting up libservlet3.1-java (8.5.37-1) ... Setting up libxalan2-java (2.7.2-2) ... Setting up libplexus-container-default-java (1.7.1-7) ... Setting up libcommons-compress-java (1.18-1) ... Setting up libcommons-lang3-java (3.8-2) ... Setting up libsnappy-java (1.1.7.2-1) ... Setting up automake (1:1.16.1-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.8.5-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libsisu-guice-java (4.2.0-1) ... Setting up libavahi-common3:amd64 (0.7-4+b1) ... Setting up libcommons-codec-java (1.11-1) ... Setting up libsisu-ioc-java (2.3.0-11) ... Setting up libcommons-lang-java (2.6-8) ... Setting up libxcb1:amd64 (1.13.1-2) ... Setting up libtool (2.4.6-6) ... Setting up libk5crypto3:amd64 (1.16.2-1) ... Setting up libcommons-io-java (2.6-2) ... Setting up fontconfig-config (2.13.1-2) ... Setting up libpegdown-java (1.6.0-1) ... Setting up po-debconf (1.0.21) ... Setting up libguice-java (4.2.1-1) ... Setting up libplexus-container-default1.5-java (1.7.1-7) ... Setting up libjetty9-java (9.4.14-1) ... Setting up libx11-6:amd64 (2:1.6.7-1) ... Setting up libcommons-logging-java (1.2-2) ... Setting up libplexus-i18n-java (1.0-beta-10-5) ... Setting up libmaven-shared-utils-java (3.3.0-1) ... Setting up velocity (1.7-5) ... Setting up libplexus-bsh-factory-java (1.0~alpha7-4) ... Setting up libplexus-velocity-java (1.2-3) ... Setting up libcommons-beanutils-java (1.9.3-1) ... Setting up libsisu-inject-java (0.3.2-3) ... Setting up libhttpclient-java (4.5.6-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up libavahi-client3:amd64 (0.7-4+b1) ... Setting up libxmlgraphics-commons-java (2.3-1) ... Setting up libkrb5-3:amd64 (1.16.2-1) ... Setting up libfontconfig1:amd64 (2.13.1-2) ... Setting up libplexus-io-java (3.1.1-1) ... Setting up libcommons-configuration-java (1.10-5) ... Setting up libxext6:amd64 (2:1.3.3-1+b2) ... Setting up libdoxia-core-java (1.7-2) ... Setting up libsisu-plexus-java (0.3.3-3) ... Setting up libbatik-java (1.10-2) ... Setting up libmaven-reporting-api-java (3.0-1) ... Setting up libcommons-digester-java (1.8.1-5) ... Setting up libgssapi-krb5-2:amd64 (1.16.2-1) ... Setting up libplexus-archiver-java (3.6.0-2) ... Setting up libcommons-validator-java (1:1.6-2) ... Setting up libcups2:amd64 (2.2.10-3) ... Setting up libxi6:amd64 (2:1.7.9-1) ... Setting up libmaven3-core-java (3.6.0-1) ... Setting up libmaven-filtering-java (3.1.1-1) ... Setting up libmaven-clean-plugin-java (3.1.0-1) ... Setting up libplexus-compiler-java (2.8.5-1) ... Setting up libxtst6:amd64 (2:1.2.3-1) ... Setting up libmaven-resources-plugin-java (3.1.0-1) ... Setting up libmaven-archiver-java (3.2.0-2) ... Setting up libmaven-shared-incremental-java (1.1-3) ... Setting up libmaven-reporting-exec-java (1.4-2) ... Setting up libmaven-compiler-plugin-java (3.8.0-2) ... Setting up libmaven-common-artifact-filters-java (3.0.1-3) ... Setting up libmaven-jar-plugin-java (3.1.0-1) ... Processing triggers for sgml-base (1.29) ... Setting up libvelocity-tools-java (2.0-7) ... Setting up dh-autoreconf (19) ... Setting up openjdk-11-jre-headless:amd64 (11.0.1+13-3) ... update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/rmid to provide /usr/bin/rmid (rmid) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/java to provide /usr/bin/java (java) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/keytool to provide /usr/bin/keytool (keytool) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jjs to provide /usr/bin/jjs (jjs) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/pack200 to provide /usr/bin/pack200 (pack200) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/rmiregistry to provide /usr/bin/rmiregistry (rmiregistry) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/unpack200 to provide /usr/bin/unpack200 (unpack200) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/lib/jexec to provide /usr/bin/jexec (jexec) in auto mode Setting up openjdk-11-jdk-headless:amd64 (11.0.1+13-3) ... update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jar to provide /usr/bin/jar (jar) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jarsigner to provide /usr/bin/jarsigner (jarsigner) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/javac to provide /usr/bin/javac (javac) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/javadoc to provide /usr/bin/javadoc (javadoc) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/javap to provide /usr/bin/javap (javap) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jcmd to provide /usr/bin/jcmd (jcmd) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jdb to provide /usr/bin/jdb (jdb) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jdeprscan to provide /usr/bin/jdeprscan (jdeprscan) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jdeps to provide /usr/bin/jdeps (jdeps) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jimage to provide /usr/bin/jimage (jimage) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jinfo to provide /usr/bin/jinfo (jinfo) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jlink to provide /usr/bin/jlink (jlink) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jmap to provide /usr/bin/jmap (jmap) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jmod to provide /usr/bin/jmod (jmod) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jps to provide /usr/bin/jps (jps) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jrunscript to provide /usr/bin/jrunscript (jrunscript) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jshell to provide /usr/bin/jshell (jshell) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jstack to provide /usr/bin/jstack (jstack) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jstat to provide /usr/bin/jstat (jstat) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jstatd to provide /usr/bin/jstatd (jstatd) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/rmic to provide /usr/bin/rmic (rmic) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/serialver to provide /usr/bin/serialver (serialver) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jaotc to provide /usr/bin/jaotc (jaotc) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-amd64/bin/jhsdb to provide /usr/bin/jhsdb (jhsdb) in auto mode Setting up dh-strip-nondeterminism (1.0.0-1) ... Setting up ant (1.10.5-2) ... Setting up maven-repo-helper (1.9.3) ... Setting up libplexus-ant-factory-java (1.0~alpha2.1-4) ... Setting up default-jre-headless (2:1.11-71) ... Setting up default-jdk-headless (2:1.11-71) ... Setting up debhelper (12) ... Setting up ca-certificates-java (20180516) ... head: cannot open '/etc/ssl/certs/java/cacerts' for reading: No such file or directory Adding debian:Visa_eCommerce_Root.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2015.pem Adding debian:DigiCert_Assured_ID_Root_G3.pem Adding debian:GDCA_TrustAUTH_R5_ROOT.pem Adding debian:thawte_Primary_Root_CA.pem Adding debian:E-Tugra_Certification_Authority.pem Adding debian:Certigna.pem Adding debian:Comodo_AAA_Services_root.pem Adding debian:D-TRUST_Root_Class_3_CA_2_2009.pem Adding debian:Secure_Global_CA.pem Adding debian:CA_Disig_Root_R2.pem Adding debian:SSL.com_EV_Root_Certification_Authority_RSA_R2.pem Adding debian:DigiCert_Assured_ID_Root_G2.pem Adding debian:Microsec_e-Szigno_Root_CA_2009.pem Adding debian:TeliaSonera_Root_CA_v1.pem Adding debian:VeriSign_Universal_Root_Certification_Authority.pem Adding debian:TrustCor_RootCert_CA-2.pem Adding debian:GlobalSign_ECC_Root_CA_-_R5.pem Adding debian:OpenTrust_Root_CA_G3.pem Adding debian:TrustCor_ECA-1.pem Adding debian:T-TeleSec_GlobalRoot_Class_3.pem Adding debian:GlobalSign_Root_CA_-_R3.pem Adding debian:GeoTrust_Global_CA.pem Adding debian:QuoVadis_Root_CA_2_G3.pem Adding debian:QuoVadis_Root_CA_3_G3.pem Adding debian:CFCA_EV_ROOT.pem Adding debian:Go_Daddy_Root_Certificate_Authority_-_G2.pem Adding debian:Certplus_Class_2_Primary_CA.pem Adding debian:thawte_Primary_Root_CA_-_G3.pem Adding debian:Entrust_Root_Certification_Authority_-_EC1.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_-_G3.pem Adding debian:GeoTrust_Primary_Certification_Authority.pem Adding debian:Deutsche_Telekom_Root_CA_2.pem Adding debian:GlobalSign_Root_CA_-_R2.pem Adding debian:Amazon_Root_CA_2.pem Adding debian:AffirmTrust_Commercial.pem Adding debian:Buypass_Class_3_Root_CA.pem Adding debian:EC-ACC.pem Adding debian:D-TRUST_Root_Class_3_CA_2_EV_2009.pem Adding debian:SSL.com_Root_Certification_Authority_RSA.pem Adding debian:SecureTrust_CA.pem Adding debian:Certum_Trusted_Network_CA_2.pem Adding debian:Trustis_FPS_Root_CA.pem Adding debian:Buypass_Class_2_Root_CA.pem Adding debian:TWCA_Root_Certification_Authority.pem Adding debian:OpenTrust_Root_CA_G1.pem Adding debian:USERTrust_RSA_Certification_Authority.pem Adding debian:AffirmTrust_Premium.pem Adding debian:AffirmTrust_Networking.pem Adding debian:QuoVadis_Root_CA_3.pem Adding debian:AddTrust_External_Root.pem Adding debian:Certum_Trusted_Network_CA.pem Adding debian:Actalis_Authentication_Root_CA.pem Adding debian:Staat_der_Nederlanden_Root_CA_-_G2.pem Adding debian:QuoVadis_Root_CA.pem Adding debian:SwissSign_Silver_CA_-_G2.pem Adding debian:USERTrust_ECC_Certification_Authority.pem Adding debian:GeoTrust_Universal_CA.pem Adding debian:SecureSign_RootCA11.pem Adding debian:Amazon_Root_CA_3.pem Adding debian:Cybertrust_Global_Root.pem Adding debian:Starfield_Root_Certificate_Authority_-_G2.pem Adding debian:DigiCert_Trusted_Root_G4.pem Adding debian:DigiCert_Assured_ID_Root_CA.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2011.pem Adding debian:DigiCert_Global_Root_CA.pem Adding debian:T-TeleSec_GlobalRoot_Class_2.pem Adding debian:Staat_der_Nederlanden_Root_CA_-_G3.pem Adding debian:GlobalSign_ECC_Root_CA_-_R4.pem Adding debian:Amazon_Root_CA_1.pem Adding debian:OISTE_WISeKey_Global_Root_GB_CA.pem Adding debian:certSIGN_ROOT_CA.pem Adding debian:Global_Chambersign_Root_-_2008.pem Adding debian:Security_Communication_Root_CA.pem Adding debian:ISRG_Root_X1.pem Adding debian:AC_RAIZ_FNMT-RCM.pem Adding debian:Baltimore_CyberTrust_Root.pem Adding debian:SSL.com_EV_Root_Certification_Authority_ECC.pem Adding debian:OISTE_WISeKey_Global_Root_GA_CA.pem Adding debian:SSL.com_Root_Certification_Authority_ECC.pem Adding debian:Entrust_Root_Certification_Authority_-_G2.pem Adding debian:Amazon_Root_CA_4.pem Adding debian:Network_Solutions_Certificate_Authority.pem Adding debian:EE_Certification_Centre_Root_CA.pem Adding debian:Autoridad_de_Certificacion_Firmaprofesional_CIF_A62634068.pem Adding debian:QuoVadis_Root_CA_1_G3.pem Adding debian:COMODO_Certification_Authority.pem Adding debian:Entrust_Root_Certification_Authority.pem Warning: there was a problem reading the certificate file /etc/ssl/certs/NetLock_Arany_=Class_Gold=_F?tan?s?tv?ny.pem. Message: /etc/ssl/certs/NetLock_Arany_=Class_Gold=_F?tan?s?tv?ny.pem (No such file or directory) Adding debian:ACCVRAIZ1.pem Adding debian:AffirmTrust_Premium_ECC.pem Adding debian:DST_Root_CA_X3.pem Adding debian:XRamp_Global_CA_Root.pem Adding debian:COMODO_RSA_Certification_Authority.pem Adding debian:Certplus_Root_CA_G1.pem Adding debian:TrustCor_RootCert_CA-1.pem Adding debian:SwissSign_Gold_CA_-_G2.pem Adding debian:DigiCert_High_Assurance_EV_Root_CA.pem Adding debian:Certinomis_-_Root_CA.pem Adding debian:Staat_der_Nederlanden_EV_Root_CA.pem Adding debian:Chambers_of_Commerce_Root_-_2008.pem Adding debian:Entrust.net_Premium_2048_Secure_Server_CA.pem Adding debian:GeoTrust_Universal_CA_2.pem Adding debian:Hellenic_Academic_and_Research_Institutions_ECC_RootCA_2015.pem Adding debian:Izenpe.com.pem Adding debian:Starfield_Services_Root_Certificate_Authority_-_G2.pem Adding debian:IdenTrust_Commercial_Root_CA_1.pem Adding debian:OpenTrust_Root_CA_G2.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G4.pem Adding debian:COMODO_ECC_Certification_Authority.pem Adding debian:DigiCert_Global_Root_G2.pem Adding debian:Sonera_Class_2_Root_CA.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G2.pem Warning: there was a problem reading the certificate file /etc/ssl/certs/T?RKTRUST_Elektronik_Sertifika_Hizmet_Sa?lay?c?s?_H5.pem. Message: /etc/ssl/certs/T?RKTRUST_Elektronik_Sertifika_Hizmet_Sa?lay?c?s?_H5.pem (No such file or directory) Adding debian:TWCA_Global_Root_CA.pem Adding debian:Atos_TrustedRoot_2011.pem Adding debian:thawte_Primary_Root_CA_-_G2.pem Adding debian:Hongkong_Post_Root_CA_1.pem Adding debian:Taiwan_GRCA.pem Adding debian:DigiCert_Global_Root_G3.pem Adding debian:Starfield_Class_2_CA.pem Adding debian:QuoVadis_Root_CA_2.pem Adding debian:IdenTrust_Public_Sector_Root_CA_1.pem Adding debian:ePKI_Root_Certification_Authority.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G5.pem Adding debian:SZAFIR_ROOT_CA2.pem Adding debian:GlobalSign_Root_CA.pem Adding debian:LuxTrust_Global_Root_2.pem Adding debian:Certplus_Root_CA_G2.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G3.pem Adding debian:Go_Daddy_Class_2_CA.pem Adding debian:TUBITAK_Kamu_SM_SSL_Kok_Sertifikasi_-_Surum_1.pem Adding debian:Security_Communication_RootCA2.pem done. Setting up libfop-java (1:2.3-2) ... Setting up maven (3.6.0-1) ... update-alternatives: using /usr/share/maven/bin/mvn to provide /usr/bin/mvn (mvn) in auto mode Setting up libdoxia-java (1.7-2) ... Setting up libdoxia-sitetools-java (1.7.5-1) ... Setting up libmaven-reporting-impl-java (3.0.0-2) ... Setting up libmaven-plugin-tools-java (3.6.0-1) ... Setting up libmaven-site-plugin-java (3.6-3) ... Setting up libsurefire-java (2.22.1-1) ... Setting up maven-debian-helper (2.3.2) ... Setting up sbuild-build-depends-cbmc-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.28-4) ... Processing triggers for ca-certificates (20180409) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. done. +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.9.0-8-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.31.1-11 dpkg-dev_1.19.2 g++-8_8.2.0-14 gcc-8_8.2.0-14 libc6-dev_2.28-4 libstdc++-8-dev_8.2.0-14 libstdc++6_8.2.0-14 linux-libc-dev_4.19.13-1 Package versions: adduser_3.118 ant_1.10.5-2 apt_1.8.0~alpha3 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.1 base-passwd_3.5.45 bash_4.4.18-3.1 binutils_2.31.1-11 binutils-common_2.31.1-11 binutils-x86-64-linux-gnu_2.31.1-11 bison_2:3.2.4.dfsg-1 bsdmainutils_11.1.2+b1 bsdutils_1:2.33-0.2 build-essential_12.5 bzip2_1.0.6-9 ca-certificates_20180409 ca-certificates-java_20180516 clang-7_1:7.0.1-4 coreutils_8.30-1 cpp_4:8.2.0-2 cpp-8_8.2.0-14 dash_0.5.10.2-4 debconf_1.5.69 debhelper_12 debian-archive-keyring_2018.1 debianutils_4.8.6 default-jdk-headless_2:1.11-71 default-jre-headless_2:1.11-71 dh-autoreconf_19 dh-strip-nondeterminism_1.0.0-1 diffutils_1:3.6-1 dpkg_1.19.2 dpkg-dev_1.19.2 dwz_0.12-3 e2fsprogs_1.44.5-1 fakeroot_1.23-1 fdisk_2.33-0.2 file_1:5.34-2 findutils_4.6.0+git+20181018-1 flex_2.6.4-6.2 fontconfig-config_2.13.1-2 fonts-dejavu-core_2.37-1 g++_4:8.2.0-2 g++-8_8.2.0-14 gcc_4:8.2.0-2 gcc-8_8.2.0-14 gcc-8-base_8.2.0-14 gettext_0.19.8.1-9 gettext-base_0.19.8.1-9 gpgv_2.2.12-1 grep_3.3-1 groff-base_1.22.4-2 gzip_1.9-3 hostname_3.21 init-system-helpers_1.56+nmu1 intltool-debian_0.35.0+20060710.4 java-common_0.71 java-wrappers_0.3 lib32gcc1_1:8.2.0-14 lib32stdc++6_8.2.0-14 libacl1_2.2.52-3+b1 libaopalliance-java_20070526-6 libapache-pom-java_18-1 libapt-pkg5.0_1.8.0~alpha3 libarchive-zip-perl_1.64-1 libasan5_8.2.0-14 libasm-java_7.0-1 libasound2_1.1.7-2 libasound2-data_1.1.7-2 libatinject-jsr330-api-java_1.0+ds1-5 libatomic1_8.2.0-14 libattr1_1:2.4.47-2+b2 libaudit-common_1:2.8.4-2 libaudit1_1:2.8.4-2 libavahi-client3_0.7-4+b1 libavahi-common-data_0.7-4+b1 libavahi-common3_0.7-4+b1 libavalon-framework-java_4.2.0-10 libbatik-java_1.10-2 libbinutils_2.31.1-11 libbison-dev_2:3.2.4.dfsg-1 libblkid1_2.33-0.2 libbsd0_0.9.1-1 libbsh-java_2.0b4-19 libbz2-1.0_1.0.6-9 libc-bin_2.28-4 libc-dev-bin_2.28-4 libc6_2.28-4 libc6-dev_2.28-4 libc6-i386_2.28-4 libcap-ng0_0.7.9-1+b1 libcc1-0_8.2.0-14 libcdi-api-java_1.2-2 libclang-common-7-dev_1:7.0.1-4 libclang1-7_1:7.0.1-4 libcom-err2_1.44.5-1 libcommons-beanutils-java_1.9.3-1 libcommons-cli-java_1.4-1 libcommons-codec-java_1.11-1 libcommons-collections3-java_3.2.2-2 libcommons-compress-java_1.18-1 libcommons-configuration-java_1.10-5 libcommons-digester-java_1.8.1-5 libcommons-io-java_2.6-2 libcommons-lang-java_2.6-8 libcommons-lang3-java_3.8-2 libcommons-logging-java_1.2-2 libcommons-parent-java_43-1 libcommons-validator-java_1:1.6-2 libcroco3_0.6.12-3 libcups2_2.2.10-3 libdb5.3_5.3.28+dfsg1-0.2 libdbus-1-3_1.12.12-1 libdebconfclient0_0.246 libdom4j-java_2.1.1-2 libdoxia-core-java_1.7-2 libdoxia-java_1.7-2 libdoxia-sitetools-java_1.7.5-1 libdpkg-perl_1.19.2 libedit2_3.1-20181209-1 libel-api-java_3.0.0-2 libelf1_0.175-2 libexpat1_2.2.6-1 libext2fs2_1.44.5-1 libfakeroot_1.23-1 libfdisk1_2.33-0.2 libffi6_3.2.1-9 libfile-stripnondeterminism-perl_1.0.0-1 libfontbox2-java_2.0.13-1 libfontconfig1_2.13.1-2 libfop-java_1:2.3-2 libfreetype6_2.9.1-3 libgc1c2_1:7.6.4-0.4 libgcc-8-dev_8.2.0-14 libgcc1_1:8.2.0-14 libgcrypt20_1.8.4-4 libgdbm-compat4_1.18.1-2 libgdbm6_1.18.1-2 libgeronimo-annotation-1.3-spec-java_1.0-1 libgeronimo-interceptor-3.0-spec-java_1.0.1-4 libglib2.0-0_2.58.2-3 libgmp10_2:6.1.2+dfsg-4 libgnutls30_3.6.5-2 libgomp1_8.2.0-14 libgpg-error0_1.33-3 libgssapi-krb5-2_1.16.2-1 libguava-java_19.0-1 libguice-java_4.2.1-1 libhawtjni-runtime-java_1.15-3 libhogweed4_3.4.1~rc1-1 libhttpclient-java_4.5.6-1 libhttpcore-java_4.4.10-1 libicu63_63.1-5 libidn2-0_2.0.5-1 libisl19_0.20-2 libitext1-java_1.4-7 libitm1_8.2.0-14 libjansi-java_1.16-1 libjansi-native-java_1.8-1 libjaxen-java_1.1.6-4 libjaxp1.3-java_1.3.05-5 libjetty9-java_9.4.14-1 libjpeg62-turbo_1:1.5.2-2+b1 libjsp-api-java_2.3~tomcat8.5.37-1 libjsr305-java_0.1~+svn49-10 libjtidy-java_7+svn20110807-5 libk5crypto3_1.16.2-1 libkeyutils1_1.5.9-9.3 libkrb5-3_1.16.2-1 libkrb5support0_1.16.2-1 liblcms2-2_2.9-3 libllvm7_1:7.0.1-4 liblog4j1.2-java_1.2.17-8 liblsan0_8.2.0-14 liblz4-1_1.8.3-1 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.34-2 libmagic1_1:5.34-2 libmaven-archiver-java_3.2.0-2 libmaven-clean-plugin-java_3.1.0-1 libmaven-common-artifact-filters-java_3.0.1-3 libmaven-compiler-plugin-java_3.8.0-2 libmaven-filtering-java_3.1.1-1 libmaven-jar-plugin-java_3.1.0-1 libmaven-parent-java_31-2 libmaven-plugin-tools-java_3.6.0-1 libmaven-reporting-api-java_3.0-1 libmaven-reporting-exec-java_1.4-2 libmaven-reporting-impl-java_3.0.0-2 libmaven-resolver-java_1.3.1-1 libmaven-resources-plugin-java_3.1.0-1 libmaven-shared-incremental-java_1.1-3 libmaven-shared-utils-java_3.3.0-1 libmaven-site-plugin-java_3.6-3 libmaven3-core-java_3.6.0-1 libmount1_2.33-0.2 libmpc3_1.1.0-1 libmpfr6_4.0.2~rc1-1 libmpx2_8.2.0-14 libncurses6_6.1+20181013-1 libncursesw6_6.1+20181013-1 libnettle6_3.4.1~rc1-1 libnspr4_2:4.20-1 libnss3_2:3.41-1 libobjc-8-dev_8.2.0-14 libobjc4_8.2.0-14 libomp-7-dev_1:7.0.1-4 libomp5-7_1:7.0.1-4 liboro-java_2.0.8a-13 libp11-kit0_0.23.14-2 libpam-modules_1.1.8-4 libpam-modules-bin_1.1.8-4 libpam-runtime_1.1.8-4 libpam0g_1.1.8-4 libparboiled-java_1.1.7-2 libpcre3_2:8.39-11 libpcsclite1_1.8.24-1 libpegdown-java_1.6.0-1 libperl5.28_5.28.1-3 libpipeline1_1.5.0-2 libplexus-ant-factory-java_1.0~alpha2.1-4 libplexus-archiver-java_3.6.0-2 libplexus-bsh-factory-java_1.0~alpha7-4 libplexus-build-api-java_0.0.7-3 libplexus-cipher-java_1.7-3 libplexus-classworlds-java_2.5.2-2 libplexus-compiler-java_2.8.5-1 libplexus-component-annotations-java_1.7.1-7 libplexus-container-default-java_1.7.1-7 libplexus-container-default1.5-java_1.7.1-7 libplexus-i18n-java_1.0-beta-10-5 libplexus-interpolation-java_1.25-1 libplexus-io-java_3.1.1-1 libplexus-languages-java_0.9.10-1 libplexus-sec-dispatcher-java_1.4-4 libplexus-utils2-java_3.1.1-1 libplexus-velocity-java_1.2-3 libpng16-16_1.6.36-2 libprocps7_2:3.3.15-2 libqdox-java_1.12.1-3 libqdox2-java_2.0~M9-2 libquadmath0_8.2.0-14 libseccomp2_2.3.3-3 libselinux1_2.8-1+b1 libsemanage-common_2.8-2 libsemanage1_2.8-2 libsepol1_2.8-1 libservlet3.1-java_8.5.37-1 libsigsegv2_2.12-2 libsisu-guice-java_4.2.0-1 libsisu-inject-java_0.3.2-3 libsisu-ioc-java_2.3.0-11 libsisu-plexus-java_0.3.3-3 libslf4j-java_1.7.25-3 libsmartcols1_2.33-0.2 libsnappy-java_1.1.7.2-1 libsnappy-jni_1.1.7.2-1 libsnappy1v5_1.1.7-1 libsqlite3-0_3.26.0+fossilbc891ac6b-1 libss2_1.44.5-1 libssl1.1_1.1.1a-1 libstdc++-8-dev_8.2.0-14 libstdc++6_8.2.0-14 libsurefire-java_2.22.1-1 libsystemd0_240-2 libtasn1-6_4.13-3 libtinfo6_6.1+20181013-1 libtool_2.4.6-6 libtsan0_8.2.0-14 libubsan1_8.2.0-14 libuchardet0_0.0.6-3 libudev1_240-2 libunistring2_0.9.10-1 libuuid1_2.33-0.2 libvelocity-tools-java_2.0-7 libwagon-file-java_3.2.0-2 libwagon-http-shaded-java_3.2.0-2 libwagon-provider-api-java_3.2.0-2 libwebsocket-api-java_1.0~tomcat8.5.37-1 libx11-6_2:1.6.7-1 libx11-data_2:1.6.7-1 libxalan2-java_2.7.2-2 libxau6_1:1.0.8-1+b2 libxbean-reflect-java_4.5-8 libxcb1_1.13.1-2 libxdmcp6_1:1.1.2-3 libxerces2-java_2.11.0-9 libxext6_2:1.3.3-1+b2 libxi6_2:1.7.9-1 libxml-commons-external-java_1.4.01-3 libxml-commons-resolver1.1-java_1.2-9 libxml2_2.9.4+dfsg1-7+b3 libxml2-utils_2.9.4+dfsg1-7+b3 libxmlgraphics-commons-java_2.3-1 libxrender1_1:0.9.10-1 libxtst6_2:1.2.3-1 libxz-java_1.8-2 libzstd1_1.3.8+dfsg-3 linux-libc-dev_4.19.13-1 login_1:4.5-1.1 lsb-base_10.2018112800 m4_1.4.18-2 make_4.2.1-1.2 man-db_2.8.5-1 maven_3.6.0-1 maven-debian-helper_2.3.2 maven-repo-helper_1.9.3 mawk_1.3.3-17+b3 minisat_1:2.2.1-5+b3 mount_2.33-0.2 ncurses-base_6.1+20181013-1 ncurses-bin_6.1+20181013-1 openjdk-11-jdk-headless_11.0.1+13-3 openjdk-11-jre-headless_11.0.1+13-3 openssl_1.1.1a-1 passwd_1:4.5-1.1 patch_2.7.6-3 perl_5.28.1-3 perl-base_5.28.1-3 perl-modules-5.28_5.28.1-3 po-debconf_1.0.21 procps_2:3.3.15-2 sbuild-build-depends-cbmc-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12 sgml-base_1.29 sysvinit-utils_2.93-3 tar_1.30+dfsg-4 tzdata_2018i-1 ucf_3.0038+nmu1 unzip_6.0-21 util-linux_2.33-0.2 velocity_1.7-5 x11-common_1:7.7+19 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-1 zlib1g-dev_1:1.2.11.dfsg-1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Wed Oct 17 20:53:20 2018 UTC gpgv: using RSA key ACA6C3F4E1003986F35388043BBF839336ECA931 gpgv: issuer "mt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./cbmc_5.10-5.dsc dpkg-source: info: extracting cbmc in /<> dpkg-source: info: unpacking cbmc_5.10.orig.tar.gz dpkg-source: info: unpacking cbmc_5.10.orig-java-models-library.tar.gz dpkg-source: info: unpacking cbmc_5.10-5.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying minisat-debian dpkg-source: info: applying maven dpkg-source: info: applying maven2 dpkg-source: info: applying 32bit-fix dpkg-source: info: applying java_append_char_THOROUGH dpkg-source: info: applying float-types Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf HOME=/sbuild-nonexistent LANG=en_US.UTF-8 LC_ALL=POSIX LOGNAME=user42 PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable SCHROOT_CHROOT_NAME=sid-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1001 SCHROOT_GROUP=user42 SCHROOT_SESSION_ID=sid-amd64-sbuild-6513b3d0-e04a-4c98-831a-a372c7cf0cb2 SCHROOT_UID=1001 SCHROOT_USER=user42 SHELL=/bin/sh USER=user42 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package cbmc dpkg-buildpackage: info: source version 5.10-5 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Michael Tautschnig dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' dh_auto_clean /usr/bin/make -C src clean make[2]: Entering directory '/<>/src' /usr/bin/make -C analyses clean ; \ make[3]: Entering directory '/<>/src/analyses' rm -f ai.o ai_domain.o call_graph.o call_graph_helpers.o constant_propagator.o custom_bitvector_analysis.o dependence_graph.o dirty.o does_remove_const.o escape_analysis.o flow_insensitive_analysis.o global_may_alias.o goto_check.o goto_rw.o interval_analysis.o interval_domain.o invariant_propagation.o invariant_set.o invariant_set_domain.o is_threaded.o local_bitvector_analysis.o local_cfg.o local_may_alias.o local_safe_pointers.o locals.o natural_loops.o reaching_definitions.o static_analysis.o uncaught_exceptions_analysis.o uninitialized_domain.o \ ai.d ai_domain.d call_graph.d call_graph_helpers.d constant_propagator.d custom_bitvector_analysis.d dependence_graph.d dirty.d does_remove_const.d escape_analysis.d flow_insensitive_analysis.d global_may_alias.d goto_check.d goto_rw.d interval_analysis.d interval_domain.d invariant_propagation.d invariant_set.d invariant_set_domain.d is_threaded.d local_bitvector_analysis.d local_cfg.d local_may_alias.d local_safe_pointers.d locals.d natural_loops.d reaching_definitions.d static_analysis.d uncaught_exceptions_analysis.d uninitialized_domain.d \ \ \ analyses.a make[3]: Leaving directory '/<>/src/analyses' /usr/bin/make -C ansi-c clean ; \ make[3]: Entering directory '/<>/src/ansi-c' rm -f anonymous_member.o ansi_c_convert_type.o ansi_c_declaration.o ansi_c_entry_point.o ansi_c_internal_additions.o ansi_c_language.o ansi_c_lex.yy.o ansi_c_parse_tree.o ansi_c_parser.o ansi_c_scope.o ansi_c_typecheck.o ansi_c_y.tab.o builtin_factory.o c_misc.o c_nondet_symbol_factory.o c_preprocess.o c_qualifiers.o c_storage_spec.o c_typecast.o c_typecheck_argc_argv.o c_typecheck_base.o c_typecheck_code.o c_typecheck_expr.o c_typecheck_initializer.o c_typecheck_type.o c_typecheck_typecast.o cprover_library.o designator.o expr2c.o gcc_types.o literals/convert_character_literal.o literals/convert_float_literal.o literals/convert_integer_literal.o literals/convert_string_literal.o literals/parse_float.o literals/unescape_string.o padding.o preprocessor_line.o type2name.o \ anonymous_member.d ansi_c_convert_type.d ansi_c_declaration.d ansi_c_entry_point.d ansi_c_internal_additions.d ansi_c_language.d ansi_c_lex.yy.d ansi_c_parse_tree.d ansi_c_parser.d ansi_c_scope.d ansi_c_typecheck.d ansi_c_y.tab.d builtin_factory.d c_misc.d c_nondet_symbol_factory.d c_preprocess.d c_qualifiers.d c_storage_spec.d c_typecast.d c_typecheck_argc_argv.d c_typecheck_base.d c_typecheck_code.d c_typecheck_expr.d c_typecheck_initializer.d c_typecheck_type.d c_typecheck_typecast.d cprover_library.d designator.d expr2c.d gcc_types.d literals/convert_character_literal.d literals/convert_float_literal.d literals/convert_integer_literal.d literals/convert_string_literal.d literals/parse_float.d literals/unescape_string.d padding.d preprocessor_line.d type2name.d \ \ \ ansi-c.a ansi_c_y.tab.h ansi_c_y.tab.cpp ansi_c_lex.yy.cpp ansi_c_y.tab.cpp.output ansi_c_y.output library/converter cprover_library.inc file_converter library_check arm_builtin_headers.inc clang_builtin_headers.inc cprover_builtin_headers.inc cw_builtin_headers.inc gcc_builtin_headers_alpha.inc gcc_builtin_headers_arm.inc gcc_builtin_headers_generic.inc gcc_builtin_headers_ia32-2.inc gcc_builtin_headers_ia32-3.inc gcc_builtin_headers_ia32-4.inc gcc_builtin_headers_ia32.inc gcc_builtin_headers_math.inc gcc_builtin_headers_mem_string.inc gcc_builtin_headers_mips.inc gcc_builtin_headers_omp.inc gcc_builtin_headers_power.inc gcc_builtin_headers_tm.inc gcc_builtin_headers_types.inc gcc_builtin_headers_ubsan.inc windows_builtin_headers.inc make[3]: Leaving directory '/<>/src/ansi-c' /usr/bin/make -C assembler clean ; \ make[3]: Entering directory '/<>/src/assembler' rm -f assembler_lex.yy.o assembler_parser.o \ assembler_lex.yy.d assembler_parser.d \ \ \ assembler.a assembler_lex.yy.cpp make[3]: Leaving directory '/<>/src/assembler' /usr/bin/make -C big-int clean ; \ make[3]: Entering directory '/<>/src/big-int' rm -f \ \ bigint-func.o bigint.o \ bigint-func.d bigint.d \ test-bigint big-int.a bigint-test.o bigint-test.d make[3]: Leaving directory '/<>/src/big-int' /usr/bin/make -C cbmc clean ; \ make[3]: Entering directory '/<>/src/cbmc' rm -f all_properties.o bmc.o bmc_cover.o bv_cbmc.o cbmc_dimacs.o cbmc_languages.o cbmc_main.o cbmc_parse_options.o cbmc_solvers.o counterexample_beautification.o fault_localization.o show_vcc.o symex_bmc.o symex_coverage.o xml_interface.o \ all_properties.d bmc.d bmc_cover.d bv_cbmc.d cbmc_dimacs.d cbmc_languages.d cbmc_main.d cbmc_parse_options.d cbmc_solvers.d counterexample_beautification.d fault_localization.d show_vcc.d symex_bmc.d symex_coverage.d xml_interface.d \ \ \ cbmc make[3]: Leaving directory '/<>/src/cbmc' /usr/bin/make -C clobber clean ; \ make[3]: Entering directory '/<>/src/clobber' rm -f clobber_main.o clobber_parse_options.o \ clobber_main.d clobber_parse_options.d \ \ \ clobber make[3]: Leaving directory '/<>/src/clobber' /usr/bin/make -C cpp clean ; \ make[3]: Entering directory '/<>/src/cpp' rm -f cpp_constructor.o cpp_convert_type.o cpp_declaration.o cpp_declarator.o cpp_declarator_converter.o cpp_destructor.o cpp_enum_type.o cpp_exception_id.o cpp_id.o cpp_instantiate_template.o cpp_internal_additions.o cpp_is_pod.o cpp_language.o cpp_name.o cpp_namespace_spec.o cpp_parse_tree.o cpp_parser.o cpp_scope.o cpp_scopes.o cpp_token_buffer.o cpp_type2name.o cpp_typecheck.o cpp_typecheck_bases.o cpp_typecheck_code.o cpp_typecheck_compound_type.o cpp_typecheck_constructor.o cpp_typecheck_conversions.o cpp_typecheck_declaration.o cpp_typecheck_destructor.o cpp_typecheck_enum_type.o cpp_typecheck_expr.o cpp_typecheck_fargs.o cpp_typecheck_function.o cpp_typecheck_initializer.o cpp_typecheck_linkage_spec.o cpp_typecheck_method_bodies.o cpp_typecheck_namespace.o cpp_typecheck_resolve.o cpp_typecheck_static_assert.o cpp_typecheck_template.o cpp_typecheck_type.o cpp_typecheck_using.o cpp_typecheck_virtual_table.o cpp_util.o cprover_library.o expr2cpp.o parse.o template_map.o \ cpp_constructor.d cpp_convert_type.d cpp_declaration.d cpp_declarator.d cpp_declarator_converter.d cpp_destructor.d cpp_enum_type.d cpp_exception_id.d cpp_id.d cpp_instantiate_template.d cpp_internal_additions.d cpp_is_pod.d cpp_language.d cpp_name.d cpp_namespace_spec.d cpp_parse_tree.d cpp_parser.d cpp_scope.d cpp_scopes.d cpp_token_buffer.d cpp_type2name.d cpp_typecheck.d cpp_typecheck_bases.d cpp_typecheck_code.d cpp_typecheck_compound_type.d cpp_typecheck_constructor.d cpp_typecheck_conversions.d cpp_typecheck_declaration.d cpp_typecheck_destructor.d cpp_typecheck_enum_type.d cpp_typecheck_expr.d cpp_typecheck_fargs.d cpp_typecheck_function.d cpp_typecheck_initializer.d cpp_typecheck_linkage_spec.d cpp_typecheck_method_bodies.d cpp_typecheck_namespace.d cpp_typecheck_resolve.d cpp_typecheck_static_assert.d cpp_typecheck_template.d cpp_typecheck_type.d cpp_typecheck_using.d cpp_typecheck_virtual_table.d cpp_util.d cprover_library.d expr2cpp.d parse.d template_map.d \ \ \ cpp.a cprover_library.inc library_check make[3]: Leaving directory '/<>/src/cpp' /usr/bin/make -C goto-analyzer clean ; \ make[3]: Entering directory '/<>/src/goto-analyzer' rm -f goto_analyzer_main.o goto_analyzer_parse_options.o taint_analysis.o taint_parser.o unreachable_instructions.o static_show_domain.o static_simplifier.o static_verifier.o \ goto_analyzer_main.d goto_analyzer_parse_options.d taint_analysis.d taint_parser.d unreachable_instructions.d static_show_domain.d static_simplifier.d static_verifier.d \ \ \ goto-analyzer make[3]: Leaving directory '/<>/src/goto-analyzer' /usr/bin/make -C goto-cc clean ; \ make[3]: Entering directory '/<>/src/goto-cc' rm -f armcc_cmdline.o armcc_mode.o as86_cmdline.o as_cmdline.o as_mode.o bcc_cmdline.o compile.o cw_mode.o gcc_cmdline.o gcc_mode.o gcc_version.o goto_cc_cmdline.o goto_cc_languages.o goto_cc_main.o goto_cc_mode.o hybrid_binary.o ld_cmdline.o ld_mode.o linker_script_merge.o ms_cl_cmdline.o ms_cl_mode.o ms_link_cmdline.o ms_link_mode.o \ armcc_cmdline.d armcc_mode.d as86_cmdline.d as_cmdline.d as_mode.d bcc_cmdline.d compile.d cw_mode.d gcc_cmdline.d gcc_mode.d gcc_version.d goto_cc_cmdline.d goto_cc_languages.d goto_cc_main.d goto_cc_mode.d hybrid_binary.d ld_cmdline.d ld_mode.d linker_script_merge.d ms_cl_cmdline.d ms_cl_mode.d ms_link_cmdline.d ms_link_mode.d \ \ \ goto-cc goto-cl make[3]: Leaving directory '/<>/src/goto-cc' /usr/bin/make -C goto-diff clean ; \ make[3]: Entering directory '/<>/src/goto-diff' rm -f change_impact.o goto_diff_base.o goto_diff_languages.o goto_diff_main.o goto_diff_parse_options.o syntactic_diff.o unified_diff.o \ change_impact.d goto_diff_base.d goto_diff_languages.d goto_diff_main.d goto_diff_parse_options.d syntactic_diff.d unified_diff.d \ \ \ goto-diff make[3]: Leaving directory '/<>/src/goto-diff' /usr/bin/make -C goto-instrument clean ; \ make[3]: Entering directory '/<>/src/goto-instrument' rm -f accelerate/accelerate.o accelerate/acceleration_utils.o accelerate/all_paths_enumerator.o accelerate/cone_of_influence.o accelerate/disjunctive_polynomial_acceleration.o accelerate/enumerating_loop_acceleration.o accelerate/overflow_instrumenter.o accelerate/path.o accelerate/polynomial.o accelerate/polynomial_accelerator.o accelerate/sat_path_enumerator.o accelerate/scratch_program.o accelerate/trace_automaton.o accelerate/util.o aggressive_slicer.o alignment_checks.o branch.o call_sequences.o code_contracts.o concurrency.o count_eloc.o cover.o cover_basic_blocks.o cover_filter.o cover_instrument_branch.o cover_instrument_condition.o cover_instrument_decision.o cover_instrument_location.o cover_instrument_mcdc.o cover_instrument_other.o cover_util.o document_properties.o dot.o dump_c.o full_slicer.o function.o function_modifies.o goto_instrument_languages.o goto_instrument_main.o goto_instrument_parse_options.o goto_program2code.o havoc_loops.o horn_encoding.o interrupt.o k_induction.o loop_utils.o mmio.o model_argc_argv.o nondet_static.o nondet_volatile.o object_id.o points_to.o race_check.o reachability_slicer.o remove_function.o rw_set.o show_locations.o skip_loops.o splice_call.o stack_depth.o thread_instrumentation.o undefined_functions.o uninitialized.o unwind.o unwindset.o wmm/abstract_event.o wmm/cycle_collection.o wmm/data_dp.o wmm/event_graph.o wmm/fence.o wmm/goto2graph.o wmm/instrumenter_strategies.o wmm/pair_collection.o wmm/shared_buffers.o wmm/weak_memory.o \ accelerate/accelerate.d accelerate/acceleration_utils.d accelerate/all_paths_enumerator.d accelerate/cone_of_influence.d accelerate/disjunctive_polynomial_acceleration.d accelerate/enumerating_loop_acceleration.d accelerate/overflow_instrumenter.d accelerate/path.d accelerate/polynomial.d accelerate/polynomial_accelerator.d accelerate/sat_path_enumerator.d accelerate/scratch_program.d accelerate/trace_automaton.d accelerate/util.d aggressive_slicer.d alignment_checks.d branch.d call_sequences.d code_contracts.d concurrency.d count_eloc.d cover.d cover_basic_blocks.d cover_filter.d cover_instrument_branch.d cover_instrument_condition.d cover_instrument_decision.d cover_instrument_location.d cover_instrument_mcdc.d cover_instrument_other.d cover_util.d document_properties.d dot.d dump_c.d full_slicer.d function.d function_modifies.d goto_instrument_languages.d goto_instrument_main.d goto_instrument_parse_options.d goto_program2code.d havoc_loops.d horn_encoding.d interrupt.d k_induction.d loop_utils.d mmio.d model_argc_argv.d nondet_static.d nondet_volatile.d object_id.d points_to.d race_check.d reachability_slicer.d remove_function.d rw_set.d show_locations.d skip_loops.d splice_call.d stack_depth.d thread_instrumentation.d undefined_functions.d uninitialized.d unwind.d unwindset.d wmm/abstract_event.d wmm/cycle_collection.d wmm/data_dp.d wmm/event_graph.d wmm/fence.d wmm/goto2graph.d wmm/instrumenter_strategies.d wmm/pair_collection.d wmm/shared_buffers.d wmm/weak_memory.d \ \ \ goto-instrument goto-instrument.a make[3]: Leaving directory '/<>/src/goto-instrument' /usr/bin/make -C goto-programs clean ; \ make[3]: Entering directory '/<>/src/goto-programs' rm -f adjust_float_expressions.o builtin_functions.o class_hierarchy.o class_identifier.o compute_called_functions.o destructor.o elf_reader.o format_strings.o generate_function_bodies.o goto_asm.o goto_clean_expr.o goto_convert.o goto_convert_exceptions.o goto_convert_function_call.o goto_convert_functions.o goto_convert_side_effect.o goto_function.o goto_functions.o goto_inline_class.o goto_inline.o goto_program.o goto_program_template.o goto_trace.o graphml_witness.o initialize_goto_model.o instrument_preconditions.o interpreter.o interpreter_evaluate.o json_goto_trace.o lazy_goto_model.o link_goto_model.o link_to_library.o loop_ids.o mm_io.o osx_fat_reader.o parameter_assignments.o pointer_arithmetic.o printf_formatter.o property_checker.o read_bin_goto_object.o read_goto_binary.o rebuild_goto_start_function.o remove_asm.o remove_calls_no_body.o remove_complex.o remove_const_function_pointers.o remove_function_pointers.o remove_returns.o remove_skip.o remove_unreachable.o remove_unused_functions.o remove_vector.o remove_virtual_functions.o replace_calls.o resolve_inherited_component.o safety_checker.o set_properties.o show_goto_functions.o show_goto_functions_json.o show_goto_functions_xml.o show_properties.o show_symbol_table.o slice_global_inits.o string_abstraction.o string_instrumentation.o system_library_symbols.o vcd_goto_trace.o wp.o write_goto_binary.o xml_goto_trace.o \ adjust_float_expressions.d builtin_functions.d class_hierarchy.d class_identifier.d compute_called_functions.d destructor.d elf_reader.d format_strings.d generate_function_bodies.d goto_asm.d goto_clean_expr.d goto_convert.d goto_convert_exceptions.d goto_convert_function_call.d goto_convert_functions.d goto_convert_side_effect.d goto_function.d goto_functions.d goto_inline_class.d goto_inline.d goto_program.d goto_program_template.d goto_trace.d graphml_witness.d initialize_goto_model.d instrument_preconditions.d interpreter.d interpreter_evaluate.d json_goto_trace.d lazy_goto_model.d link_goto_model.d link_to_library.d loop_ids.d mm_io.d osx_fat_reader.d parameter_assignments.d pointer_arithmetic.d printf_formatter.d property_checker.d read_bin_goto_object.d read_goto_binary.d rebuild_goto_start_function.d remove_asm.d remove_calls_no_body.d remove_complex.d remove_const_function_pointers.d remove_function_pointers.d remove_returns.d remove_skip.d remove_unreachable.d remove_unused_functions.d remove_vector.d remove_virtual_functions.d replace_calls.d resolve_inherited_component.d safety_checker.d set_properties.d show_goto_functions.d show_goto_functions_json.d show_goto_functions_xml.d show_properties.d show_symbol_table.d slice_global_inits.d string_abstraction.d string_instrumentation.d system_library_symbols.d vcd_goto_trace.d wp.d write_goto_binary.d xml_goto_trace.d \ \ \ goto-programs.a make[3]: Leaving directory '/<>/src/goto-programs' /usr/bin/make -C goto-symex clean ; \ make[3]: Entering directory '/<>/src/goto-symex' rm -f auto_objects.o build_goto_trace.o goto_symex.o goto_symex_state.o memory_model.o memory_model_pso.o memory_model_sc.o memory_model_tso.o partial_order_concurrency.o path_storage.o postcondition.o precondition.o rewrite_union.o slice.o slice_by_trace.o symex_assign.o symex_atomic_section.o symex_builtin_functions.o symex_catch.o symex_clean_expr.o symex_dead.o symex_decl.o symex_dereference.o symex_dereference_state.o symex_function_call.o symex_goto.o symex_main.o symex_other.o symex_start_thread.o symex_target.o symex_target_equation.o symex_throw.o \ auto_objects.d build_goto_trace.d goto_symex.d goto_symex_state.d memory_model.d memory_model_pso.d memory_model_sc.d memory_model_tso.d partial_order_concurrency.d path_storage.d postcondition.d precondition.d rewrite_union.d slice.d slice_by_trace.d symex_assign.d symex_atomic_section.d symex_builtin_functions.d symex_catch.d symex_clean_expr.d symex_dead.d symex_decl.d symex_dereference.d symex_dereference_state.d symex_function_call.d symex_goto.d symex_main.d symex_other.d symex_start_thread.d symex_target.d symex_target_equation.d symex_throw.d \ \ \ goto-symex.a make[3]: Leaving directory '/<>/src/goto-symex' /usr/bin/make -C jsil clean ; \ make[3]: Entering directory '/<>/src/jsil' rm -f expr2jsil.o jsil_convert.o jsil_entry_point.o jsil_internal_additions.o jsil_language.o jsil_lex.yy.o jsil_parse_tree.o jsil_parser.o jsil_typecheck.o jsil_types.o jsil_y.tab.o \ expr2jsil.d jsil_convert.d jsil_entry_point.d jsil_internal_additions.d jsil_language.d jsil_lex.yy.d jsil_parse_tree.d jsil_parser.d jsil_typecheck.d jsil_types.d jsil_y.tab.d \ \ \ jsil.a jsil_y.tab.h jsil_y.tab.cpp jsil_lex.yy.cpp jsil_y.tab.cpp.output jsil_y.output make[3]: Leaving directory '/<>/src/jsil' /usr/bin/make -C json clean ; \ make[3]: Entering directory '/<>/src/json' rm -f json_lex.yy.o json_parser.o json_y.tab.o \ json_lex.yy.d json_parser.d json_y.tab.d \ \ \ json.a json_y.tab.h json_y.tab.cpp json_lex.yy.cpp json_y.tab.cpp.output json_y.output make[3]: Leaving directory '/<>/src/json' /usr/bin/make -C langapi clean ; \ make[3]: Entering directory '/<>/src/langapi' rm -f language_ui.o language_util.o language_file.o language.o mode.o \ language_ui.d language_util.d language_file.d language.d mode.d \ \ \ langapi.a make[3]: Leaving directory '/<>/src/langapi' /usr/bin/make -C linking clean ; \ make[3]: Entering directory '/<>/src/linking' rm -f linking.o remove_internal_symbols.o static_lifetime_init.o \ linking.d remove_internal_symbols.d static_lifetime_init.d \ \ \ linking.a make[3]: Leaving directory '/<>/src/linking' /usr/bin/make -C memory-models clean ; \ make[3]: Entering directory '/<>/src/memory-models' rm -f mm2cpp.o mm_lex.yy.o mm_parser.o mm_y.tab.o mmcc_main.o mmcc_parse_options.o \ mm2cpp.d mm_lex.yy.d mm_parser.d mm_y.tab.d mmcc_main.d mmcc_parse_options.d \ \ \ memory_models.a mm_y.tab.h mm_y.tab.cpp mm_lex.yy.cpp mm_y.tab.cpp.output mm_y.output make[3]: Leaving directory '/<>/src/memory-models' /usr/bin/make -C pointer-analysis clean ; \ make[3]: Entering directory '/<>/src/pointer-analysis' rm -f add_failed_symbols.o dereference.o dereference_callback.o goto_program_dereference.o pointer_offset_sum.o rewrite_index.o show_value_sets.o value_set.o value_set_analysis.o value_set_analysis_fi.o value_set_analysis_fivr.o value_set_analysis_fivrns.o value_set_dereference.o value_set_domain_fi.o value_set_domain_fivr.o value_set_domain_fivrns.o value_set_fi.o value_set_fivr.o value_set_fivrns.o \ add_failed_symbols.d dereference.d dereference_callback.d goto_program_dereference.d pointer_offset_sum.d rewrite_index.d show_value_sets.d value_set.d value_set_analysis.d value_set_analysis_fi.d value_set_analysis_fivr.d value_set_analysis_fivrns.d value_set_dereference.d value_set_domain_fi.d value_set_domain_fivr.d value_set_domain_fivrns.d value_set_fi.d value_set_fivr.d value_set_fivrns.d \ \ \ pointer-analysis.a make[3]: Leaving directory '/<>/src/pointer-analysis' /usr/bin/make -C solvers clean ; \ make[3]: Entering directory '/<>/src/solvers' rm -f sat/satcheck_minisat2.o flattening/arrays.o flattening/boolbv.o flattening/boolbv_abs.o flattening/boolbv_add_sub.o flattening/boolbv_array.o flattening/boolbv_array_of.o flattening/boolbv_bitwise.o flattening/boolbv_bswap.o flattening/boolbv_bv_rel.o flattening/boolbv_byte_extract.o flattening/boolbv_byte_update.o flattening/boolbv_case.o flattening/boolbv_complex.o flattening/boolbv_concatenation.o flattening/boolbv_cond.o flattening/boolbv_constant.o flattening/boolbv_constraint_select_one.o flattening/boolbv_div.o flattening/boolbv_equality.o flattening/boolbv_extractbit.o flattening/boolbv_extractbits.o flattening/boolbv_floatbv_op.o flattening/boolbv_get.o flattening/boolbv_ieee_float_rel.o flattening/boolbv_if.o flattening/boolbv_index.o flattening/boolbv_let.o flattening/boolbv_map.o flattening/boolbv_member.o flattening/boolbv_mod.o flattening/boolbv_mult.o flattening/boolbv_not.o flattening/boolbv_onehot.o flattening/boolbv_overflow.o flattening/boolbv_power.o flattening/boolbv_quantifier.o flattening/boolbv_reduction.o flattening/boolbv_replication.o flattening/boolbv_shift.o flattening/boolbv_struct.o flattening/boolbv_type.o flattening/boolbv_typecast.o flattening/boolbv_unary_minus.o flattening/boolbv_union.o flattening/boolbv_update.o flattening/boolbv_vector.o flattening/boolbv_width.o flattening/boolbv_with.o flattening/bv_endianness_map.o flattening/bv_minimize.o flattening/bv_pointers.o flattening/bv_utils.o flattening/c_bit_field_replacement_type.o flattening/equality.o flattening/flatten_byte_operators.o flattening/functions.o flattening/pointer_logic.o floatbv/float_bv.o floatbv/float_utils.o floatbv/float_approximation.o lowering/popcount.o miniBDD/miniBDD.o prop/bdd_expr.o prop/cover_goals.o prop/literal.o prop/minimize.o prop/prop.o prop/prop_conv.o qbf/qbf_quantor.o qbf/qbf_qube.o qbf/qbf_qube_core.o qbf/qbf_skizzo.o qbf/qdimacs_cnf.o qbf/qdimacs_core.o refinement/bv_refinement_loop.o refinement/refine_arithmetic.o refinement/refine_arrays.o refinement/string_builtin_function.o refinement/string_refinement.o refinement/string_refinement_util.o refinement/string_constraint.o refinement/string_constraint_generator_code_points.o refinement/string_constraint_generator_comparison.o refinement/string_constraint_generator_concat.o refinement/string_constraint_generator_constants.o refinement/string_constraint_generator_indexof.o refinement/string_constraint_generator_insert.o refinement/string_constraint_generator_float.o refinement/string_constraint_generator_format.o refinement/string_constraint_generator_main.o refinement/string_constraint_generator_testing.o refinement/string_constraint_generator_transformation.o refinement/string_constraint_generator_valueof.o refinement/string_constraint_instantiation.o sat/cnf.o sat/cnf_clause_list.o sat/dimacs_cnf.o sat/pbs_dimacs_cnf.o sat/resolution_proof.o smt2/smt2_conv.o smt2/smt2_dec.o smt2/smt2_parser.o smt2/smt2_tokenizer.o smt2/smt2irep.o \ sat/satcheck_minisat2.d flattening/arrays.d flattening/boolbv.d flattening/boolbv_abs.d flattening/boolbv_add_sub.d flattening/boolbv_array.d flattening/boolbv_array_of.d flattening/boolbv_bitwise.d flattening/boolbv_bswap.d flattening/boolbv_bv_rel.d flattening/boolbv_byte_extract.d flattening/boolbv_byte_update.d flattening/boolbv_case.d flattening/boolbv_complex.d flattening/boolbv_concatenation.d flattening/boolbv_cond.d flattening/boolbv_constant.d flattening/boolbv_constraint_select_one.d flattening/boolbv_div.d flattening/boolbv_equality.d flattening/boolbv_extractbit.d flattening/boolbv_extractbits.d flattening/boolbv_floatbv_op.d flattening/boolbv_get.d flattening/boolbv_ieee_float_rel.d flattening/boolbv_if.d flattening/boolbv_index.d flattening/boolbv_let.d flattening/boolbv_map.d flattening/boolbv_member.d flattening/boolbv_mod.d flattening/boolbv_mult.d flattening/boolbv_not.d flattening/boolbv_onehot.d flattening/boolbv_overflow.d flattening/boolbv_power.d flattening/boolbv_quantifier.d flattening/boolbv_reduction.d flattening/boolbv_replication.d flattening/boolbv_shift.d flattening/boolbv_struct.d flattening/boolbv_type.d flattening/boolbv_typecast.d flattening/boolbv_unary_minus.d flattening/boolbv_union.d flattening/boolbv_update.d flattening/boolbv_vector.d flattening/boolbv_width.d flattening/boolbv_with.d flattening/bv_endianness_map.d flattening/bv_minimize.d flattening/bv_pointers.d flattening/bv_utils.d flattening/c_bit_field_replacement_type.d flattening/equality.d flattening/flatten_byte_operators.d flattening/functions.d flattening/pointer_logic.d floatbv/float_bv.d floatbv/float_utils.d floatbv/float_approximation.d lowering/popcount.d miniBDD/miniBDD.d prop/bdd_expr.d prop/cover_goals.d prop/literal.d prop/minimize.d prop/prop.d prop/prop_conv.d qbf/qbf_quantor.d qbf/qbf_qube.d qbf/qbf_qube_core.d qbf/qbf_skizzo.d qbf/qdimacs_cnf.d qbf/qdimacs_core.d refinement/bv_refinement_loop.d refinement/refine_arithmetic.d refinement/refine_arrays.d refinement/string_builtin_function.d refinement/string_refinement.d refinement/string_refinement_util.d refinement/string_constraint.d refinement/string_constraint_generator_code_points.d refinement/string_constraint_generator_comparison.d refinement/string_constraint_generator_concat.d refinement/string_constraint_generator_constants.d refinement/string_constraint_generator_indexof.d refinement/string_constraint_generator_insert.d refinement/string_constraint_generator_float.d refinement/string_constraint_generator_format.d refinement/string_constraint_generator_main.d refinement/string_constraint_generator_testing.d refinement/string_constraint_generator_transformation.d refinement/string_constraint_generator_valueof.d refinement/string_constraint_instantiation.d sat/cnf.d sat/cnf_clause_list.d sat/dimacs_cnf.d sat/pbs_dimacs_cnf.d sat/resolution_proof.d smt2/smt2_conv.d smt2/smt2_dec.d smt2/smt2_parser.d smt2/smt2_tokenizer.d smt2/smt2irep.d \ \ \ solvers.a smt2_solver smt2/smt2_solver.o smt2/smt2_solver.d make[3]: Leaving directory '/<>/src/solvers' /usr/bin/make -C util clean ; \ make[3]: Entering directory '/<>/src/util' /bin/sh: 1: git: not found rm -f arith_tools.o array_name.o base_type.o bv_arithmetic.o byte_operators.o c_types.o cmdline.o config.o cout_message.o decision_procedure.o dstring.o endianness_map.o expr.o expr_initializer.o expr_util.o file_util.o find_macros.o find_symbols.o fixedbv.o format_constant.o format_expr.o format_number_range.o format_type.o fresh_symbol.o get_base_name.o get_module.o guard.o identifier.o ieee_float.o invariant.o irep.o irep_hash.o irep_hash_container.o irep_ids.o irep_serialization.o invariant_utils.o json.o json_expr.o json_irep.o json_stream.o lispexpr.o lispirep.o memory_info.o merge_irep.o message.o mp_arith.o namespace.o options.o parse_options.o parser.o pointer_offset_size.o pointer_predicates.o rational.o rational_tools.o ref_expr_set.o refined_string_type.o rename.o rename_symbol.o replace_expr.o replace_symbol.o run.o signal_catcher.o simplify_expr.o simplify_expr_array.o simplify_expr_boolean.o simplify_expr_floatbv.o simplify_expr_int.o simplify_expr_pointer.o simplify_expr_struct.o simplify_utils.o source_location.o ssa_expr.o std_code.o std_expr.o std_types.o string2int.o string_constant.o string_container.o string_hash.o string_utils.o symbol.o symbol_table_base.o symbol_table.o tempdir.o tempfile.o threeval.o timestamper.o type.o type_eq.o typecheck.o ui_message.o unicode.o union_find.o union_find_replace.o unwrap_nested_exception.o version.o xml.o xml_expr.o xml_irep.o \ arith_tools.d array_name.d base_type.d bv_arithmetic.d byte_operators.d c_types.d cmdline.d config.d cout_message.d decision_procedure.d dstring.d endianness_map.d expr.d expr_initializer.d expr_util.d file_util.d find_macros.d find_symbols.d fixedbv.d format_constant.d format_expr.d format_number_range.d format_type.d fresh_symbol.d get_base_name.d get_module.d guard.d identifier.d ieee_float.d invariant.d irep.d irep_hash.d irep_hash_container.d irep_ids.d irep_serialization.d invariant_utils.d json.d json_expr.d json_irep.d json_stream.d lispexpr.d lispirep.d memory_info.d merge_irep.d message.d mp_arith.d namespace.d options.d parse_options.d parser.d pointer_offset_size.d pointer_predicates.d rational.d rational_tools.d ref_expr_set.d refined_string_type.d rename.d rename_symbol.d replace_expr.d replace_symbol.d run.d signal_catcher.d simplify_expr.d simplify_expr_array.d simplify_expr_boolean.d simplify_expr_floatbv.d simplify_expr_int.d simplify_expr_pointer.d simplify_expr_struct.d simplify_utils.d source_location.d ssa_expr.d std_code.d std_expr.d std_types.d string2int.d string_constant.d string_container.d string_hash.d string_utils.d symbol.d symbol_table_base.d symbol_table.d tempdir.d tempfile.d threeval.d timestamper.d type.d type_eq.d typecheck.d ui_message.d unicode.d union_find.d union_find_replace.d unwrap_nested_exception.d version.d xml.d xml_expr.d xml_irep.d \ \ \ version.cpp util.a make[3]: Leaving directory '/<>/src/util' /usr/bin/make -C xmllang clean ; \ make[3]: Entering directory '/<>/src/xmllang' rm -f graphml.o xml_lex.yy.o xml_parse_tree.o xml_parser.o xml_y.tab.o \ graphml.d xml_lex.yy.d xml_parse_tree.d xml_parser.d xml_y.tab.d \ \ \ xmllang.a xml_y.tab.h xml_y.tab.cpp xml_lex.yy.cpp xml_y.tab.cpp.output xml_y.output make[3]: Leaving directory '/<>/src/xmllang' make[2]: Leaving directory '/<>/src' rm -f src/goto-cc/goto-gcc /usr/bin/make -C jbmc/src clean make[2]: Entering directory '/<>/jbmc/src' /usr/bin/make -C janalyzer clean ; \ make[3]: Entering directory '/<>/jbmc/src/janalyzer' rm -f janalyzer_main.o janalyzer_parse_options.o \ janalyzer_main.d janalyzer_parse_options.d \ \ \ janalyzer make[3]: Leaving directory '/<>/jbmc/src/janalyzer' /usr/bin/make -C jbmc clean ; \ make[3]: Entering directory '/<>/jbmc/src/jbmc' rm -f jbmc_main.o jbmc_parse_options.o \ jbmc_main.d jbmc_parse_options.d \ \ \ jbmc make[3]: Leaving directory '/<>/jbmc/src/jbmc' /usr/bin/make -C jdiff clean ; \ make[3]: Entering directory '/<>/jbmc/src/jdiff' rm -f jdiff_languages.o jdiff_main.o jdiff_parse_options.o java_syntactic_diff.o \ jdiff_languages.d jdiff_main.d jdiff_parse_options.d java_syntactic_diff.d \ \ \ jdiff make[3]: Leaving directory '/<>/jbmc/src/jdiff' /usr/bin/make -C java_bytecode clean ; \ make[3]: Entering directory '/<>/jbmc/src/java_bytecode' /usr/bin/make clean -C library make[4]: Entering directory '/<>/jbmc/src/java_bytecode/library' rm -rf core-models.jar if [ -d ../../../lib/java-models-library ]; then cd ../../../lib/java-models-library; mh_clean; fi rm -f converter.o \ converter.d \ \ \ converter make[4]: Leaving directory '/<>/jbmc/src/java_bytecode/library' rm -f bytecode_info.o character_refine_preprocess.o ci_lazy_methods.o ci_lazy_methods_needed.o convert_java_nondet.o expr2java.o generic_parameter_specialization_map_keys.o jar_file.o java_bytecode_convert_class.o java_bytecode_convert_method.o java_bytecode_concurrency_instrumentation.o java_bytecode_instrument.o java_bytecode_internal_additions.o java_bytecode_language.o java_bytecode_parse_tree.o java_bytecode_parser.o java_bytecode_typecheck.o java_bytecode_typecheck_code.o java_bytecode_typecheck_expr.o java_bytecode_typecheck_type.o java_class_loader.o java_class_loader_limit.o java_enum_static_init_unwind_handler.o java_entry_point.o java_local_variable_table.o java_object_factory.o java_pointer_casts.o java_qualifiers.o java_root_class.o java_static_initializers.o java_string_library_preprocess.o java_string_literals.o java_types.o java_utils.o load_method_by_regex.o mz_zip_archive.o remove_exceptions.o remove_instanceof.o remove_java_new.o replace_java_nondet.o select_pointer_type.o simple_method_stubbing.o \ bytecode_info.d character_refine_preprocess.d ci_lazy_methods.d ci_lazy_methods_needed.d convert_java_nondet.d expr2java.d generic_parameter_specialization_map_keys.d jar_file.d java_bytecode_convert_class.d java_bytecode_convert_method.d java_bytecode_concurrency_instrumentation.d java_bytecode_instrument.d java_bytecode_internal_additions.d java_bytecode_language.d java_bytecode_parse_tree.d java_bytecode_parser.d java_bytecode_typecheck.d java_bytecode_typecheck_code.d java_bytecode_typecheck_expr.d java_bytecode_typecheck_type.d java_class_loader.d java_class_loader_limit.d java_enum_static_init_unwind_handler.d java_entry_point.d java_local_variable_table.d java_object_factory.d java_pointer_casts.d java_qualifiers.d java_root_class.d java_static_initializers.d java_string_library_preprocess.d java_string_literals.d java_types.d java_utils.d load_method_by_regex.d mz_zip_archive.d remove_exceptions.d remove_instanceof.d remove_java_new.d replace_java_nondet.d select_pointer_type.d simple_method_stubbing.d \ \ \ java_bytecode.a make[3]: Leaving directory '/<>/jbmc/src/java_bytecode' /usr/bin/make -C miniz clean ; \ make[3]: Entering directory '/<>/jbmc/src/miniz' rm -f miniz.o \ miniz.d \ \ \ miniz.o make[3]: Leaving directory '/<>/jbmc/src/miniz' /usr/bin/make -C ../../src clean make[3]: Entering directory '/<>/src' /usr/bin/make -C analyses clean ; \ make[4]: Entering directory '/<>/src/analyses' rm -f ai.o ai_domain.o call_graph.o call_graph_helpers.o constant_propagator.o custom_bitvector_analysis.o dependence_graph.o dirty.o does_remove_const.o escape_analysis.o flow_insensitive_analysis.o global_may_alias.o goto_check.o goto_rw.o interval_analysis.o interval_domain.o invariant_propagation.o invariant_set.o invariant_set_domain.o is_threaded.o local_bitvector_analysis.o local_cfg.o local_may_alias.o local_safe_pointers.o locals.o natural_loops.o reaching_definitions.o static_analysis.o uncaught_exceptions_analysis.o uninitialized_domain.o \ ai.d ai_domain.d call_graph.d call_graph_helpers.d constant_propagator.d custom_bitvector_analysis.d dependence_graph.d dirty.d does_remove_const.d escape_analysis.d flow_insensitive_analysis.d global_may_alias.d goto_check.d goto_rw.d interval_analysis.d interval_domain.d invariant_propagation.d invariant_set.d invariant_set_domain.d is_threaded.d local_bitvector_analysis.d local_cfg.d local_may_alias.d local_safe_pointers.d locals.d natural_loops.d reaching_definitions.d static_analysis.d uncaught_exceptions_analysis.d uninitialized_domain.d \ \ \ analyses.a make[4]: Leaving directory '/<>/src/analyses' /usr/bin/make -C ansi-c clean ; \ make[4]: Entering directory '/<>/src/ansi-c' rm -f anonymous_member.o ansi_c_convert_type.o ansi_c_declaration.o ansi_c_entry_point.o ansi_c_internal_additions.o ansi_c_language.o ansi_c_lex.yy.o ansi_c_parse_tree.o ansi_c_parser.o ansi_c_scope.o ansi_c_typecheck.o ansi_c_y.tab.o builtin_factory.o c_misc.o c_nondet_symbol_factory.o c_preprocess.o c_qualifiers.o c_storage_spec.o c_typecast.o c_typecheck_argc_argv.o c_typecheck_base.o c_typecheck_code.o c_typecheck_expr.o c_typecheck_initializer.o c_typecheck_type.o c_typecheck_typecast.o cprover_library.o designator.o expr2c.o gcc_types.o literals/convert_character_literal.o literals/convert_float_literal.o literals/convert_integer_literal.o literals/convert_string_literal.o literals/parse_float.o literals/unescape_string.o padding.o preprocessor_line.o type2name.o \ anonymous_member.d ansi_c_convert_type.d ansi_c_declaration.d ansi_c_entry_point.d ansi_c_internal_additions.d ansi_c_language.d ansi_c_lex.yy.d ansi_c_parse_tree.d ansi_c_parser.d ansi_c_scope.d ansi_c_typecheck.d ansi_c_y.tab.d builtin_factory.d c_misc.d c_nondet_symbol_factory.d c_preprocess.d c_qualifiers.d c_storage_spec.d c_typecast.d c_typecheck_argc_argv.d c_typecheck_base.d c_typecheck_code.d c_typecheck_expr.d c_typecheck_initializer.d c_typecheck_type.d c_typecheck_typecast.d cprover_library.d designator.d expr2c.d gcc_types.d literals/convert_character_literal.d literals/convert_float_literal.d literals/convert_integer_literal.d literals/convert_string_literal.d literals/parse_float.d literals/unescape_string.d padding.d preprocessor_line.d type2name.d \ \ \ ansi-c.a ansi_c_y.tab.h ansi_c_y.tab.cpp ansi_c_lex.yy.cpp ansi_c_y.tab.cpp.output ansi_c_y.output library/converter cprover_library.inc file_converter library_check arm_builtin_headers.inc clang_builtin_headers.inc cprover_builtin_headers.inc cw_builtin_headers.inc gcc_builtin_headers_alpha.inc gcc_builtin_headers_arm.inc gcc_builtin_headers_generic.inc gcc_builtin_headers_ia32-2.inc gcc_builtin_headers_ia32-3.inc gcc_builtin_headers_ia32-4.inc gcc_builtin_headers_ia32.inc gcc_builtin_headers_math.inc gcc_builtin_headers_mem_string.inc gcc_builtin_headers_mips.inc gcc_builtin_headers_omp.inc gcc_builtin_headers_power.inc gcc_builtin_headers_tm.inc gcc_builtin_headers_types.inc gcc_builtin_headers_ubsan.inc windows_builtin_headers.inc make[4]: Leaving directory '/<>/src/ansi-c' /usr/bin/make -C assembler clean ; \ make[4]: Entering directory '/<>/src/assembler' rm -f assembler_lex.yy.o assembler_parser.o \ assembler_lex.yy.d assembler_parser.d \ \ \ assembler.a assembler_lex.yy.cpp make[4]: Leaving directory '/<>/src/assembler' /usr/bin/make -C big-int clean ; \ make[4]: Entering directory '/<>/src/big-int' rm -f \ \ bigint-func.o bigint.o \ bigint-func.d bigint.d \ test-bigint big-int.a bigint-test.o bigint-test.d make[4]: Leaving directory '/<>/src/big-int' /usr/bin/make -C cbmc clean ; \ make[4]: Entering directory '/<>/src/cbmc' rm -f all_properties.o bmc.o bmc_cover.o bv_cbmc.o cbmc_dimacs.o cbmc_languages.o cbmc_main.o cbmc_parse_options.o cbmc_solvers.o counterexample_beautification.o fault_localization.o show_vcc.o symex_bmc.o symex_coverage.o xml_interface.o \ all_properties.d bmc.d bmc_cover.d bv_cbmc.d cbmc_dimacs.d cbmc_languages.d cbmc_main.d cbmc_parse_options.d cbmc_solvers.d counterexample_beautification.d fault_localization.d show_vcc.d symex_bmc.d symex_coverage.d xml_interface.d \ \ \ cbmc make[4]: Leaving directory '/<>/src/cbmc' /usr/bin/make -C clobber clean ; \ make[4]: Entering directory '/<>/src/clobber' rm -f clobber_main.o clobber_parse_options.o \ clobber_main.d clobber_parse_options.d \ \ \ clobber make[4]: Leaving directory '/<>/src/clobber' /usr/bin/make -C cpp clean ; \ make[4]: Entering directory '/<>/src/cpp' rm -f cpp_constructor.o cpp_convert_type.o cpp_declaration.o cpp_declarator.o cpp_declarator_converter.o cpp_destructor.o cpp_enum_type.o cpp_exception_id.o cpp_id.o cpp_instantiate_template.o cpp_internal_additions.o cpp_is_pod.o cpp_language.o cpp_name.o cpp_namespace_spec.o cpp_parse_tree.o cpp_parser.o cpp_scope.o cpp_scopes.o cpp_token_buffer.o cpp_type2name.o cpp_typecheck.o cpp_typecheck_bases.o cpp_typecheck_code.o cpp_typecheck_compound_type.o cpp_typecheck_constructor.o cpp_typecheck_conversions.o cpp_typecheck_declaration.o cpp_typecheck_destructor.o cpp_typecheck_enum_type.o cpp_typecheck_expr.o cpp_typecheck_fargs.o cpp_typecheck_function.o cpp_typecheck_initializer.o cpp_typecheck_linkage_spec.o cpp_typecheck_method_bodies.o cpp_typecheck_namespace.o cpp_typecheck_resolve.o cpp_typecheck_static_assert.o cpp_typecheck_template.o cpp_typecheck_type.o cpp_typecheck_using.o cpp_typecheck_virtual_table.o cpp_util.o cprover_library.o expr2cpp.o parse.o template_map.o \ cpp_constructor.d cpp_convert_type.d cpp_declaration.d cpp_declarator.d cpp_declarator_converter.d cpp_destructor.d cpp_enum_type.d cpp_exception_id.d cpp_id.d cpp_instantiate_template.d cpp_internal_additions.d cpp_is_pod.d cpp_language.d cpp_name.d cpp_namespace_spec.d cpp_parse_tree.d cpp_parser.d cpp_scope.d cpp_scopes.d cpp_token_buffer.d cpp_type2name.d cpp_typecheck.d cpp_typecheck_bases.d cpp_typecheck_code.d cpp_typecheck_compound_type.d cpp_typecheck_constructor.d cpp_typecheck_conversions.d cpp_typecheck_declaration.d cpp_typecheck_destructor.d cpp_typecheck_enum_type.d cpp_typecheck_expr.d cpp_typecheck_fargs.d cpp_typecheck_function.d cpp_typecheck_initializer.d cpp_typecheck_linkage_spec.d cpp_typecheck_method_bodies.d cpp_typecheck_namespace.d cpp_typecheck_resolve.d cpp_typecheck_static_assert.d cpp_typecheck_template.d cpp_typecheck_type.d cpp_typecheck_using.d cpp_typecheck_virtual_table.d cpp_util.d cprover_library.d expr2cpp.d parse.d template_map.d \ \ \ cpp.a cprover_library.inc library_check make[4]: Leaving directory '/<>/src/cpp' /usr/bin/make -C goto-analyzer clean ; \ make[4]: Entering directory '/<>/src/goto-analyzer' rm -f goto_analyzer_main.o goto_analyzer_parse_options.o taint_analysis.o taint_parser.o unreachable_instructions.o static_show_domain.o static_simplifier.o static_verifier.o \ goto_analyzer_main.d goto_analyzer_parse_options.d taint_analysis.d taint_parser.d unreachable_instructions.d static_show_domain.d static_simplifier.d static_verifier.d \ \ \ goto-analyzer make[4]: Leaving directory '/<>/src/goto-analyzer' /usr/bin/make -C goto-cc clean ; \ make[4]: Entering directory '/<>/src/goto-cc' rm -f armcc_cmdline.o armcc_mode.o as86_cmdline.o as_cmdline.o as_mode.o bcc_cmdline.o compile.o cw_mode.o gcc_cmdline.o gcc_mode.o gcc_version.o goto_cc_cmdline.o goto_cc_languages.o goto_cc_main.o goto_cc_mode.o hybrid_binary.o ld_cmdline.o ld_mode.o linker_script_merge.o ms_cl_cmdline.o ms_cl_mode.o ms_link_cmdline.o ms_link_mode.o \ armcc_cmdline.d armcc_mode.d as86_cmdline.d as_cmdline.d as_mode.d bcc_cmdline.d compile.d cw_mode.d gcc_cmdline.d gcc_mode.d gcc_version.d goto_cc_cmdline.d goto_cc_languages.d goto_cc_main.d goto_cc_mode.d hybrid_binary.d ld_cmdline.d ld_mode.d linker_script_merge.d ms_cl_cmdline.d ms_cl_mode.d ms_link_cmdline.d ms_link_mode.d \ \ \ goto-cc goto-cl make[4]: Leaving directory '/<>/src/goto-cc' /usr/bin/make -C goto-diff clean ; \ make[4]: Entering directory '/<>/src/goto-diff' rm -f change_impact.o goto_diff_base.o goto_diff_languages.o goto_diff_main.o goto_diff_parse_options.o syntactic_diff.o unified_diff.o \ change_impact.d goto_diff_base.d goto_diff_languages.d goto_diff_main.d goto_diff_parse_options.d syntactic_diff.d unified_diff.d \ \ \ goto-diff make[4]: Leaving directory '/<>/src/goto-diff' /usr/bin/make -C goto-instrument clean ; \ make[4]: Entering directory '/<>/src/goto-instrument' rm -f accelerate/accelerate.o accelerate/acceleration_utils.o accelerate/all_paths_enumerator.o accelerate/cone_of_influence.o accelerate/disjunctive_polynomial_acceleration.o accelerate/enumerating_loop_acceleration.o accelerate/overflow_instrumenter.o accelerate/path.o accelerate/polynomial.o accelerate/polynomial_accelerator.o accelerate/sat_path_enumerator.o accelerate/scratch_program.o accelerate/trace_automaton.o accelerate/util.o aggressive_slicer.o alignment_checks.o branch.o call_sequences.o code_contracts.o concurrency.o count_eloc.o cover.o cover_basic_blocks.o cover_filter.o cover_instrument_branch.o cover_instrument_condition.o cover_instrument_decision.o cover_instrument_location.o cover_instrument_mcdc.o cover_instrument_other.o cover_util.o document_properties.o dot.o dump_c.o full_slicer.o function.o function_modifies.o goto_instrument_languages.o goto_instrument_main.o goto_instrument_parse_options.o goto_program2code.o havoc_loops.o horn_encoding.o interrupt.o k_induction.o loop_utils.o mmio.o model_argc_argv.o nondet_static.o nondet_volatile.o object_id.o points_to.o race_check.o reachability_slicer.o remove_function.o rw_set.o show_locations.o skip_loops.o splice_call.o stack_depth.o thread_instrumentation.o undefined_functions.o uninitialized.o unwind.o unwindset.o wmm/abstract_event.o wmm/cycle_collection.o wmm/data_dp.o wmm/event_graph.o wmm/fence.o wmm/goto2graph.o wmm/instrumenter_strategies.o wmm/pair_collection.o wmm/shared_buffers.o wmm/weak_memory.o \ accelerate/accelerate.d accelerate/acceleration_utils.d accelerate/all_paths_enumerator.d accelerate/cone_of_influence.d accelerate/disjunctive_polynomial_acceleration.d accelerate/enumerating_loop_acceleration.d accelerate/overflow_instrumenter.d accelerate/path.d accelerate/polynomial.d accelerate/polynomial_accelerator.d accelerate/sat_path_enumerator.d accelerate/scratch_program.d accelerate/trace_automaton.d accelerate/util.d aggressive_slicer.d alignment_checks.d branch.d call_sequences.d code_contracts.d concurrency.d count_eloc.d cover.d cover_basic_blocks.d cover_filter.d cover_instrument_branch.d cover_instrument_condition.d cover_instrument_decision.d cover_instrument_location.d cover_instrument_mcdc.d cover_instrument_other.d cover_util.d document_properties.d dot.d dump_c.d full_slicer.d function.d function_modifies.d goto_instrument_languages.d goto_instrument_main.d goto_instrument_parse_options.d goto_program2code.d havoc_loops.d horn_encoding.d interrupt.d k_induction.d loop_utils.d mmio.d model_argc_argv.d nondet_static.d nondet_volatile.d object_id.d points_to.d race_check.d reachability_slicer.d remove_function.d rw_set.d show_locations.d skip_loops.d splice_call.d stack_depth.d thread_instrumentation.d undefined_functions.d uninitialized.d unwind.d unwindset.d wmm/abstract_event.d wmm/cycle_collection.d wmm/data_dp.d wmm/event_graph.d wmm/fence.d wmm/goto2graph.d wmm/instrumenter_strategies.d wmm/pair_collection.d wmm/shared_buffers.d wmm/weak_memory.d \ \ \ goto-instrument goto-instrument.a make[4]: Leaving directory '/<>/src/goto-instrument' /usr/bin/make -C goto-programs clean ; \ make[4]: Entering directory '/<>/src/goto-programs' rm -f adjust_float_expressions.o builtin_functions.o class_hierarchy.o class_identifier.o compute_called_functions.o destructor.o elf_reader.o format_strings.o generate_function_bodies.o goto_asm.o goto_clean_expr.o goto_convert.o goto_convert_exceptions.o goto_convert_function_call.o goto_convert_functions.o goto_convert_side_effect.o goto_function.o goto_functions.o goto_inline_class.o goto_inline.o goto_program.o goto_program_template.o goto_trace.o graphml_witness.o initialize_goto_model.o instrument_preconditions.o interpreter.o interpreter_evaluate.o json_goto_trace.o lazy_goto_model.o link_goto_model.o link_to_library.o loop_ids.o mm_io.o osx_fat_reader.o parameter_assignments.o pointer_arithmetic.o printf_formatter.o property_checker.o read_bin_goto_object.o read_goto_binary.o rebuild_goto_start_function.o remove_asm.o remove_calls_no_body.o remove_complex.o remove_const_function_pointers.o remove_function_pointers.o remove_returns.o remove_skip.o remove_unreachable.o remove_unused_functions.o remove_vector.o remove_virtual_functions.o replace_calls.o resolve_inherited_component.o safety_checker.o set_properties.o show_goto_functions.o show_goto_functions_json.o show_goto_functions_xml.o show_properties.o show_symbol_table.o slice_global_inits.o string_abstraction.o string_instrumentation.o system_library_symbols.o vcd_goto_trace.o wp.o write_goto_binary.o xml_goto_trace.o \ adjust_float_expressions.d builtin_functions.d class_hierarchy.d class_identifier.d compute_called_functions.d destructor.d elf_reader.d format_strings.d generate_function_bodies.d goto_asm.d goto_clean_expr.d goto_convert.d goto_convert_exceptions.d goto_convert_function_call.d goto_convert_functions.d goto_convert_side_effect.d goto_function.d goto_functions.d goto_inline_class.d goto_inline.d goto_program.d goto_program_template.d goto_trace.d graphml_witness.d initialize_goto_model.d instrument_preconditions.d interpreter.d interpreter_evaluate.d json_goto_trace.d lazy_goto_model.d link_goto_model.d link_to_library.d loop_ids.d mm_io.d osx_fat_reader.d parameter_assignments.d pointer_arithmetic.d printf_formatter.d property_checker.d read_bin_goto_object.d read_goto_binary.d rebuild_goto_start_function.d remove_asm.d remove_calls_no_body.d remove_complex.d remove_const_function_pointers.d remove_function_pointers.d remove_returns.d remove_skip.d remove_unreachable.d remove_unused_functions.d remove_vector.d remove_virtual_functions.d replace_calls.d resolve_inherited_component.d safety_checker.d set_properties.d show_goto_functions.d show_goto_functions_json.d show_goto_functions_xml.d show_properties.d show_symbol_table.d slice_global_inits.d string_abstraction.d string_instrumentation.d system_library_symbols.d vcd_goto_trace.d wp.d write_goto_binary.d xml_goto_trace.d \ \ \ goto-programs.a make[4]: Leaving directory '/<>/src/goto-programs' /usr/bin/make -C goto-symex clean ; \ make[4]: Entering directory '/<>/src/goto-symex' rm -f auto_objects.o build_goto_trace.o goto_symex.o goto_symex_state.o memory_model.o memory_model_pso.o memory_model_sc.o memory_model_tso.o partial_order_concurrency.o path_storage.o postcondition.o precondition.o rewrite_union.o slice.o slice_by_trace.o symex_assign.o symex_atomic_section.o symex_builtin_functions.o symex_catch.o symex_clean_expr.o symex_dead.o symex_decl.o symex_dereference.o symex_dereference_state.o symex_function_call.o symex_goto.o symex_main.o symex_other.o symex_start_thread.o symex_target.o symex_target_equation.o symex_throw.o \ auto_objects.d build_goto_trace.d goto_symex.d goto_symex_state.d memory_model.d memory_model_pso.d memory_model_sc.d memory_model_tso.d partial_order_concurrency.d path_storage.d postcondition.d precondition.d rewrite_union.d slice.d slice_by_trace.d symex_assign.d symex_atomic_section.d symex_builtin_functions.d symex_catch.d symex_clean_expr.d symex_dead.d symex_decl.d symex_dereference.d symex_dereference_state.d symex_function_call.d symex_goto.d symex_main.d symex_other.d symex_start_thread.d symex_target.d symex_target_equation.d symex_throw.d \ \ \ goto-symex.a make[4]: Leaving directory '/<>/src/goto-symex' /usr/bin/make -C jsil clean ; \ make[4]: Entering directory '/<>/src/jsil' rm -f expr2jsil.o jsil_convert.o jsil_entry_point.o jsil_internal_additions.o jsil_language.o jsil_lex.yy.o jsil_parse_tree.o jsil_parser.o jsil_typecheck.o jsil_types.o jsil_y.tab.o \ expr2jsil.d jsil_convert.d jsil_entry_point.d jsil_internal_additions.d jsil_language.d jsil_lex.yy.d jsil_parse_tree.d jsil_parser.d jsil_typecheck.d jsil_types.d jsil_y.tab.d \ \ \ jsil.a jsil_y.tab.h jsil_y.tab.cpp jsil_lex.yy.cpp jsil_y.tab.cpp.output jsil_y.output make[4]: Leaving directory '/<>/src/jsil' /usr/bin/make -C json clean ; \ make[4]: Entering directory '/<>/src/json' rm -f json_lex.yy.o json_parser.o json_y.tab.o \ json_lex.yy.d json_parser.d json_y.tab.d \ \ \ json.a json_y.tab.h json_y.tab.cpp json_lex.yy.cpp json_y.tab.cpp.output json_y.output make[4]: Leaving directory '/<>/src/json' /usr/bin/make -C langapi clean ; \ make[4]: Entering directory '/<>/src/langapi' rm -f language_ui.o language_util.o language_file.o language.o mode.o \ language_ui.d language_util.d language_file.d language.d mode.d \ \ \ langapi.a make[4]: Leaving directory '/<>/src/langapi' /usr/bin/make -C linking clean ; \ make[4]: Entering directory '/<>/src/linking' rm -f linking.o remove_internal_symbols.o static_lifetime_init.o \ linking.d remove_internal_symbols.d static_lifetime_init.d \ \ \ linking.a make[4]: Leaving directory '/<>/src/linking' /usr/bin/make -C memory-models clean ; \ make[4]: Entering directory '/<>/src/memory-models' rm -f mm2cpp.o mm_lex.yy.o mm_parser.o mm_y.tab.o mmcc_main.o mmcc_parse_options.o \ mm2cpp.d mm_lex.yy.d mm_parser.d mm_y.tab.d mmcc_main.d mmcc_parse_options.d \ \ \ memory_models.a mm_y.tab.h mm_y.tab.cpp mm_lex.yy.cpp mm_y.tab.cpp.output mm_y.output make[4]: Leaving directory '/<>/src/memory-models' /usr/bin/make -C pointer-analysis clean ; \ make[4]: Entering directory '/<>/src/pointer-analysis' rm -f add_failed_symbols.o dereference.o dereference_callback.o goto_program_dereference.o pointer_offset_sum.o rewrite_index.o show_value_sets.o value_set.o value_set_analysis.o value_set_analysis_fi.o value_set_analysis_fivr.o value_set_analysis_fivrns.o value_set_dereference.o value_set_domain_fi.o value_set_domain_fivr.o value_set_domain_fivrns.o value_set_fi.o value_set_fivr.o value_set_fivrns.o \ add_failed_symbols.d dereference.d dereference_callback.d goto_program_dereference.d pointer_offset_sum.d rewrite_index.d show_value_sets.d value_set.d value_set_analysis.d value_set_analysis_fi.d value_set_analysis_fivr.d value_set_analysis_fivrns.d value_set_dereference.d value_set_domain_fi.d value_set_domain_fivr.d value_set_domain_fivrns.d value_set_fi.d value_set_fivr.d value_set_fivrns.d \ \ \ pointer-analysis.a make[4]: Leaving directory '/<>/src/pointer-analysis' /usr/bin/make -C solvers clean ; \ make[4]: Entering directory '/<>/src/solvers' rm -f sat/satcheck_minisat2.o flattening/arrays.o flattening/boolbv.o flattening/boolbv_abs.o flattening/boolbv_add_sub.o flattening/boolbv_array.o flattening/boolbv_array_of.o flattening/boolbv_bitwise.o flattening/boolbv_bswap.o flattening/boolbv_bv_rel.o flattening/boolbv_byte_extract.o flattening/boolbv_byte_update.o flattening/boolbv_case.o flattening/boolbv_complex.o flattening/boolbv_concatenation.o flattening/boolbv_cond.o flattening/boolbv_constant.o flattening/boolbv_constraint_select_one.o flattening/boolbv_div.o flattening/boolbv_equality.o flattening/boolbv_extractbit.o flattening/boolbv_extractbits.o flattening/boolbv_floatbv_op.o flattening/boolbv_get.o flattening/boolbv_ieee_float_rel.o flattening/boolbv_if.o flattening/boolbv_index.o flattening/boolbv_let.o flattening/boolbv_map.o flattening/boolbv_member.o flattening/boolbv_mod.o flattening/boolbv_mult.o flattening/boolbv_not.o flattening/boolbv_onehot.o flattening/boolbv_overflow.o flattening/boolbv_power.o flattening/boolbv_quantifier.o flattening/boolbv_reduction.o flattening/boolbv_replication.o flattening/boolbv_shift.o flattening/boolbv_struct.o flattening/boolbv_type.o flattening/boolbv_typecast.o flattening/boolbv_unary_minus.o flattening/boolbv_union.o flattening/boolbv_update.o flattening/boolbv_vector.o flattening/boolbv_width.o flattening/boolbv_with.o flattening/bv_endianness_map.o flattening/bv_minimize.o flattening/bv_pointers.o flattening/bv_utils.o flattening/c_bit_field_replacement_type.o flattening/equality.o flattening/flatten_byte_operators.o flattening/functions.o flattening/pointer_logic.o floatbv/float_bv.o floatbv/float_utils.o floatbv/float_approximation.o lowering/popcount.o miniBDD/miniBDD.o prop/bdd_expr.o prop/cover_goals.o prop/literal.o prop/minimize.o prop/prop.o prop/prop_conv.o qbf/qbf_quantor.o qbf/qbf_qube.o qbf/qbf_qube_core.o qbf/qbf_skizzo.o qbf/qdimacs_cnf.o qbf/qdimacs_core.o refinement/bv_refinement_loop.o refinement/refine_arithmetic.o refinement/refine_arrays.o refinement/string_builtin_function.o refinement/string_refinement.o refinement/string_refinement_util.o refinement/string_constraint.o refinement/string_constraint_generator_code_points.o refinement/string_constraint_generator_comparison.o refinement/string_constraint_generator_concat.o refinement/string_constraint_generator_constants.o refinement/string_constraint_generator_indexof.o refinement/string_constraint_generator_insert.o refinement/string_constraint_generator_float.o refinement/string_constraint_generator_format.o refinement/string_constraint_generator_main.o refinement/string_constraint_generator_testing.o refinement/string_constraint_generator_transformation.o refinement/string_constraint_generator_valueof.o refinement/string_constraint_instantiation.o sat/cnf.o sat/cnf_clause_list.o sat/dimacs_cnf.o sat/pbs_dimacs_cnf.o sat/resolution_proof.o smt2/smt2_conv.o smt2/smt2_dec.o smt2/smt2_parser.o smt2/smt2_tokenizer.o smt2/smt2irep.o \ sat/satcheck_minisat2.d flattening/arrays.d flattening/boolbv.d flattening/boolbv_abs.d flattening/boolbv_add_sub.d flattening/boolbv_array.d flattening/boolbv_array_of.d flattening/boolbv_bitwise.d flattening/boolbv_bswap.d flattening/boolbv_bv_rel.d flattening/boolbv_byte_extract.d flattening/boolbv_byte_update.d flattening/boolbv_case.d flattening/boolbv_complex.d flattening/boolbv_concatenation.d flattening/boolbv_cond.d flattening/boolbv_constant.d flattening/boolbv_constraint_select_one.d flattening/boolbv_div.d flattening/boolbv_equality.d flattening/boolbv_extractbit.d flattening/boolbv_extractbits.d flattening/boolbv_floatbv_op.d flattening/boolbv_get.d flattening/boolbv_ieee_float_rel.d flattening/boolbv_if.d flattening/boolbv_index.d flattening/boolbv_let.d flattening/boolbv_map.d flattening/boolbv_member.d flattening/boolbv_mod.d flattening/boolbv_mult.d flattening/boolbv_not.d flattening/boolbv_onehot.d flattening/boolbv_overflow.d flattening/boolbv_power.d flattening/boolbv_quantifier.d flattening/boolbv_reduction.d flattening/boolbv_replication.d flattening/boolbv_shift.d flattening/boolbv_struct.d flattening/boolbv_type.d flattening/boolbv_typecast.d flattening/boolbv_unary_minus.d flattening/boolbv_union.d flattening/boolbv_update.d flattening/boolbv_vector.d flattening/boolbv_width.d flattening/boolbv_with.d flattening/bv_endianness_map.d flattening/bv_minimize.d flattening/bv_pointers.d flattening/bv_utils.d flattening/c_bit_field_replacement_type.d flattening/equality.d flattening/flatten_byte_operators.d flattening/functions.d flattening/pointer_logic.d floatbv/float_bv.d floatbv/float_utils.d floatbv/float_approximation.d lowering/popcount.d miniBDD/miniBDD.d prop/bdd_expr.d prop/cover_goals.d prop/literal.d prop/minimize.d prop/prop.d prop/prop_conv.d qbf/qbf_quantor.d qbf/qbf_qube.d qbf/qbf_qube_core.d qbf/qbf_skizzo.d qbf/qdimacs_cnf.d qbf/qdimacs_core.d refinement/bv_refinement_loop.d refinement/refine_arithmetic.d refinement/refine_arrays.d refinement/string_builtin_function.d refinement/string_refinement.d refinement/string_refinement_util.d refinement/string_constraint.d refinement/string_constraint_generator_code_points.d refinement/string_constraint_generator_comparison.d refinement/string_constraint_generator_concat.d refinement/string_constraint_generator_constants.d refinement/string_constraint_generator_indexof.d refinement/string_constraint_generator_insert.d refinement/string_constraint_generator_float.d refinement/string_constraint_generator_format.d refinement/string_constraint_generator_main.d refinement/string_constraint_generator_testing.d refinement/string_constraint_generator_transformation.d refinement/string_constraint_generator_valueof.d refinement/string_constraint_instantiation.d sat/cnf.d sat/cnf_clause_list.d sat/dimacs_cnf.d sat/pbs_dimacs_cnf.d sat/resolution_proof.d smt2/smt2_conv.d smt2/smt2_dec.d smt2/smt2_parser.d smt2/smt2_tokenizer.d smt2/smt2irep.d \ \ \ solvers.a smt2_solver smt2/smt2_solver.o smt2/smt2_solver.d make[4]: Leaving directory '/<>/src/solvers' /usr/bin/make -C util clean ; \ make[4]: Entering directory '/<>/src/util' /bin/sh: 1: git: not found rm -f arith_tools.o array_name.o base_type.o bv_arithmetic.o byte_operators.o c_types.o cmdline.o config.o cout_message.o decision_procedure.o dstring.o endianness_map.o expr.o expr_initializer.o expr_util.o file_util.o find_macros.o find_symbols.o fixedbv.o format_constant.o format_expr.o format_number_range.o format_type.o fresh_symbol.o get_base_name.o get_module.o guard.o identifier.o ieee_float.o invariant.o irep.o irep_hash.o irep_hash_container.o irep_ids.o irep_serialization.o invariant_utils.o json.o json_expr.o json_irep.o json_stream.o lispexpr.o lispirep.o memory_info.o merge_irep.o message.o mp_arith.o namespace.o options.o parse_options.o parser.o pointer_offset_size.o pointer_predicates.o rational.o rational_tools.o ref_expr_set.o refined_string_type.o rename.o rename_symbol.o replace_expr.o replace_symbol.o run.o signal_catcher.o simplify_expr.o simplify_expr_array.o simplify_expr_boolean.o simplify_expr_floatbv.o simplify_expr_int.o simplify_expr_pointer.o simplify_expr_struct.o simplify_utils.o source_location.o ssa_expr.o std_code.o std_expr.o std_types.o string2int.o string_constant.o string_container.o string_hash.o string_utils.o symbol.o symbol_table_base.o symbol_table.o tempdir.o tempfile.o threeval.o timestamper.o type.o type_eq.o typecheck.o ui_message.o unicode.o union_find.o union_find_replace.o unwrap_nested_exception.o version.o xml.o xml_expr.o xml_irep.o \ arith_tools.d array_name.d base_type.d bv_arithmetic.d byte_operators.d c_types.d cmdline.d config.d cout_message.d decision_procedure.d dstring.d endianness_map.d expr.d expr_initializer.d expr_util.d file_util.d find_macros.d find_symbols.d fixedbv.d format_constant.d format_expr.d format_number_range.d format_type.d fresh_symbol.d get_base_name.d get_module.d guard.d identifier.d ieee_float.d invariant.d irep.d irep_hash.d irep_hash_container.d irep_ids.d irep_serialization.d invariant_utils.d json.d json_expr.d json_irep.d json_stream.d lispexpr.d lispirep.d memory_info.d merge_irep.d message.d mp_arith.d namespace.d options.d parse_options.d parser.d pointer_offset_size.d pointer_predicates.d rational.d rational_tools.d ref_expr_set.d refined_string_type.d rename.d rename_symbol.d replace_expr.d replace_symbol.d run.d signal_catcher.d simplify_expr.d simplify_expr_array.d simplify_expr_boolean.d simplify_expr_floatbv.d simplify_expr_int.d simplify_expr_pointer.d simplify_expr_struct.d simplify_utils.d source_location.d ssa_expr.d std_code.d std_expr.d std_types.d string2int.d string_constant.d string_container.d string_hash.d string_utils.d symbol.d symbol_table_base.d symbol_table.d tempdir.d tempfile.d threeval.d timestamper.d type.d type_eq.d typecheck.d ui_message.d unicode.d union_find.d union_find_replace.d unwrap_nested_exception.d version.d xml.d xml_expr.d xml_irep.d \ \ \ version.cpp util.a make[4]: Leaving directory '/<>/src/util' /usr/bin/make -C xmllang clean ; \ make[4]: Entering directory '/<>/src/xmllang' rm -f graphml.o xml_lex.yy.o xml_parse_tree.o xml_parser.o xml_y.tab.o \ graphml.d xml_lex.yy.d xml_parse_tree.d xml_parser.d xml_y.tab.d \ \ \ xmllang.a xml_y.tab.h xml_y.tab.cpp xml_lex.yy.cpp xml_y.tab.cpp.output xml_y.output make[4]: Leaving directory '/<>/src/xmllang' make[3]: Leaving directory '/<>/src' rm -rf ../dist make[2]: Leaving directory '/<>/jbmc/src' rm -f -r jbmc/lib /usr/bin/make -C regression clean make[2]: Entering directory '/<>/regression' make[3]: Entering directory '/<>/regression/acceleration' rm -f tests.log rm -f */main.out make[3]: Leaving directory '/<>/regression/acceleration' make[3]: Entering directory '/<>/regression/ansi-c' Makefile:26: warning: overriding recipe for target 'clean' ../../src/common:231: warning: ignoring old recipe for target 'clean' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/ansi-c' make[3]: Entering directory '/<>/regression/array-refinement' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/array-refinement' make[3]: Entering directory '/<>/regression/array-refinement-with-incr' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/array-refinement-with-incr' make[3]: Entering directory '/<>/regression/cbmc' find -name '*.out' -execdir rm -f '{}' \; find -name '*.smt2' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/cbmc' make[3]: Entering directory '/<>/regression/cbmc-concurrency' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/cbmc-concurrency' make[3]: Entering directory '/<>/regression/cbmc-cover' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/cbmc-cover' make[3]: Entering directory '/<>/regression/cbmc-cpp' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/cbmc-cpp' make[3]: Entering directory '/<>/regression/cbmc-from-CVS' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/cbmc-from-CVS' make[3]: Entering directory '/<>/regression/cbmc-incr' make[3]: Leaving directory '/<>/regression/cbmc-incr' make[3]: Entering directory '/<>/regression/cbmc-incr-oneloop' make[3]: Leaving directory '/<>/regression/cbmc-incr-oneloop' make[3]: Entering directory '/<>/regression/cbmc-with-incr' make[3]: Leaving directory '/<>/regression/cbmc-with-incr' make[3]: Entering directory '/<>/regression/contracts' Makefile:28: warning: overriding recipe for target 'clean' ../../src/common:231: warning: ignoring old recipe for target 'clean' make[3]: Leaving directory '/<>/regression/contracts' make[3]: Entering directory '/<>/regression/cpp' Makefile:26: warning: overriding recipe for target 'clean' ../../src/common:231: warning: ignoring old recipe for target 'clean' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/cpp' make[3]: Entering directory '/<>/regression/cpp-from-CVS' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/cpp-from-CVS' make[3]: Entering directory '/<>/regression/cpp-linter' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/cpp-linter' make[3]: Entering directory '/<>/regression/fault-localization' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/fault-localization' make[3]: Entering directory '/<>/regression/goto-analyzer' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/goto-analyzer' make[3]: Entering directory '/<>/regression/goto-analyzer-taint' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/goto-analyzer-taint' make[3]: Entering directory '/<>/regression/goto-cc-cbmc' Makefile:28: warning: overriding recipe for target 'clean' ../../src/common:231: warning: ignoring old recipe for target 'clean' make[3]: Leaving directory '/<>/regression/goto-cc-cbmc' make[3]: Entering directory '/<>/regression/goto-cc-goto-analyzer' Makefile:29: warning: overriding recipe for target 'clean' ../../src/common:231: warning: ignoring old recipe for target 'clean' make[3]: Leaving directory '/<>/regression/goto-cc-goto-analyzer' make[3]: Entering directory '/<>/regression/goto-cl' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; find -name '*.obj' -execdir rm -f '{}' \; find -name '*.exe' -execdir rm -f '{}' \; find -name '*.goto-cc-saved' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/goto-cl' make[3]: Entering directory '/<>/regression/goto-diff' find -name '*.out' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/goto-diff' make[3]: Entering directory '/<>/regression/goto-gcc' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; find -name '*.goto-cc-saved' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/goto-gcc' make[3]: Entering directory '/<>/regression/goto-instrument' Makefile:28: warning: overriding recipe for target 'clean' ../../src/common:231: warning: ignoring old recipe for target 'clean' make[3]: Leaving directory '/<>/regression/goto-instrument' make[3]: Entering directory '/<>/regression/goto-instrument-typedef' Makefile:28: warning: overriding recipe for target 'clean' ../../src/common:231: warning: ignoring old recipe for target 'clean' make[3]: Leaving directory '/<>/regression/goto-instrument-typedef' make[3]: Entering directory '/<>/regression/goto-instrument-wmm-core' make[3]: Leaving directory '/<>/regression/goto-instrument-wmm-core' make[3]: Entering directory '/<>/regression/invariants' Makefile:30: warning: overriding recipe for target 'clean' ../../src/common:231: warning: ignoring old recipe for target 'clean' find -name '*.out' -execdir rm -f '{}' \; rm -f driver driver.d driver.o rm -f tests.log make[3]: Leaving directory '/<>/regression/invariants' make[3]: Entering directory '/<>/regression/k-induction' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/k-induction' make[3]: Entering directory '/<>/regression/smt2_solver' find -name '*.out' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/smt2_solver' make[3]: Entering directory '/<>/regression/strings' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/strings' make[3]: Entering directory '/<>/regression/systemc' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/regression/systemc' make[3]: Entering directory '/<>/regression/test-script' make[3]: Leaving directory '/<>/regression/test-script' make[2]: Leaving directory '/<>/regression' /usr/bin/make -C jbmc/regression clean make[2]: Entering directory '/<>/jbmc/regression' make[3]: Entering directory '/<>/jbmc/regression/janalyzer-taint' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/jbmc/regression/janalyzer-taint' make[3]: Entering directory '/<>/jbmc/regression/jbmc' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log tests-symex-driven-loading.log make[3]: Leaving directory '/<>/jbmc/regression/jbmc' make[3]: Entering directory '/<>/jbmc/regression/jbmc-concurrency' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/jbmc/regression/jbmc-concurrency' make[3]: Entering directory '/<>/jbmc/regression/jbmc-cover' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/jbmc/regression/jbmc-cover' make[3]: Entering directory '/<>/jbmc/regression/jbmc-generics' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/jbmc/regression/jbmc-generics' make[3]: Entering directory '/<>/jbmc/regression/jbmc-inheritance' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/jbmc/regression/jbmc-inheritance' make[3]: Entering directory '/<>/jbmc/regression/jbmc-strings' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log tests-symex-driven-loading.log make[3]: Leaving directory '/<>/jbmc/regression/jbmc-strings' make[3]: Entering directory '/<>/jbmc/regression/jdiff' find -name '*.out' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/jbmc/regression/jdiff' make[3]: Entering directory '/<>/jbmc/regression/strings-smoke-tests' find -name '*.out' -execdir rm -f '{}' \; find -name '*.gb' -execdir rm -f '{}' \; rm -f tests.log make[3]: Leaving directory '/<>/jbmc/regression/strings-smoke-tests' make[2]: Leaving directory '/<>/jbmc/regression' rm -f jbmc/regression/jbmc-generics/tests-symex-driven-loading.log rm -f jbmc/regression/strings-smoke-tests/tests-symex-driven-loading.log make[1]: Leaving directory '/<>' dh_clean debian/rules build-arch dh build-arch dh_update_autotools_config -a dh_autoreconf -a debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' mkdir jbmc/lib cp -r java-models-library jbmc/lib/ make[1]: Leaving directory '/<>' debian/rules override_dh_auto_build make[1]: Entering directory '/<>' /usr/bin/make -C src \ MINISAT2=/usr/include/minisat \ LINKFLAGS=-Wl,-z,relro -Wl,-z,now -Wl,--as-needed \ LIBS=-lminisat GIT_INFO=cbmc-5.10 make[2]: Entering directory '/<>/src' ## Entering big-int /usr/bin/make -C big-int make[3]: Entering directory '/<>/src/big-int' g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -o bigint-func.o bigint-func.cc g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -o bigint.o bigint.cc g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -o bigint-test.o bigint-test.cc g++ -Wl,-z,relro -o test-bigint -Wl,--start-group bigint-func.o bigint.o bigint-test.o -Wl,--end-group -lminisat ar rcT big-int.a bigint-func.o bigint.o make[3]: Leaving directory '/<>/src/big-int' ## Entering util /usr/bin/make -C util make[3]: Entering directory '/<>/src/util' g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -I .. -o arith_tools.o arith_tools.cpp g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -I .. -o array_name.o array_name.cpp g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -I .. -o base_type.o base_type.cpp g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -I .. -o bv_arithmetic.o bv_arithmetic.cpp bv_arithmetic.cpp:90:10: error: local variable 'result' will be copied despite being returned by name [-Werror,-Wreturn-std-move] return result; ^~~~~~ bv_arithmetic.cpp:90:10: note: call 'std::move' explicitly to avoid copying return result; ^~~~~~ std::move(result) 1 error generated. make[3]: *** [../common:212: bv_arithmetic.o] Error 1 make[3]: Leaving directory '/<>/src/util' make[2]: *** [Makefile:71: util.dir] Error 2 make[2]: Leaving directory '/<>/src' make[1]: *** [debian/rules:35: override_dh_auto_build] Error 2 make[1]: Leaving directory '/<>' make: *** [debian/rules:17: build-arch] Error 2 dpkg-buildpackage: error: debian/rules build-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2019-01-09T19:34:39Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: any Build-Space: 88968 Build-Time: 6 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 50 Job: cbmc_5.10-5 Machine Architecture: amd64 Package: cbmc Package-Time: 72 Source-Version: 5.10-5 Space: 88968 Status: attempted Version: 5.10-5 -------------------------------------------------------------------------------- Finished at 2019-01-09T19:34:39Z Build needed 00:01:12, 88968k disk space E: Build failure (dpkg-buildpackage died) DC-Status: Failed 72.638461762s DC-Time-Estimation: 72.638461762 versus expected 2263 (r/m: 30.154294090295053 ; m: 72.638461762)