0s autopkgtest [02:12:47]: starting date and time: 2026-02-05 02:12:47+0000 0s autopkgtest [02:12:47]: git checkout: 508d4a25 a-v-ssh wait_for_ssh: demote "ssh connection failed" to a debug message 0s autopkgtest [02:12:47]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.43p1yfqw/out --timeout-copy=6000 --setup-commands 'ln -s /dev/null /etc/systemd/system/bluetooth.service; printf "http_proxy=http://squid.internal:3128\nhttps_proxy=http://squid.internal:3128\nno_proxy=127.0.0.1,127.0.1.1,localhost,localdomain,internal,login.ubuntu.com,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com\n" >> /etc/environment' --apt-pocket=proposed=src:glibc --apt-upgrade cbmc --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.42-2ubuntu5 -- lxd -r lxd-armhf-10.145.243.28 lxd-armhf-10.145.243.28:autopkgtest/ubuntu/resolute/armhf 25s autopkgtest [02:13:12]: testbed dpkg architecture: armhf 27s autopkgtest [02:13:14]: testbed apt version: 3.1.14 31s autopkgtest [02:13:18]: @@@@@@@@@@@@@@@@@@@@ test bed setup 33s autopkgtest [02:13:20]: testbed release detected to be: None 41s autopkgtest [02:13:28]: updating testbed package index (apt update) 43s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 44s Get:2 http://ftpmaster.internal/ubuntu resolute InRelease [124 kB] 44s Get:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease [124 kB] 45s Get:4 http://ftpmaster.internal/ubuntu resolute-security InRelease [124 kB] 45s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [227 kB] 45s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5260 B] 45s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1719 kB] 46s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [35.4 kB] 46s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf Packages [250 kB] 46s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/universe armhf Packages [1364 kB] 46s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse armhf Packages [9664 B] 46s Get:12 http://ftpmaster.internal/ubuntu resolute/multiverse Sources [310 kB] 46s Get:13 http://ftpmaster.internal/ubuntu resolute/main Sources [1413 kB] 46s Get:14 http://ftpmaster.internal/ubuntu resolute/universe Sources [21.3 MB] 47s Get:15 http://ftpmaster.internal/ubuntu resolute/main armhf Packages [1374 kB] 47s Get:16 http://ftpmaster.internal/ubuntu resolute/universe armhf Packages [15.3 MB] 48s Get:17 http://ftpmaster.internal/ubuntu resolute/multiverse armhf Packages [176 kB] 50s Fetched 44.0 MB in 7s (6068 kB/s) 51s Reading package lists... 57s autopkgtest [02:13:44]: upgrading testbed (apt dist-upgrade and autopurge) 59s Reading package lists... 59s Building dependency tree... 59s Reading state information... 60s Calculating upgrade... 60s The following packages will be upgraded: 60s libc-bin libc-gconv-modules-extra libc6 libmd0 locales pollinate 60s python3-linkify-it python3-referencing sed 60s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 60s Need to get 8120 kB of archives. 60s After this operation, 0 B of additional disk space will be used. 60s Get:1 http://ftpmaster.internal/ubuntu resolute/main armhf sed armhf 4.9-2build3 [191 kB] 61s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf libc-gconv-modules-extra armhf 2.42-2ubuntu5 [1417 kB] 61s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf libc6 armhf 2.42-2ubuntu5 [1632 kB] 61s Get:4 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf libc-bin armhf 2.42-2ubuntu5 [545 kB] 61s Get:5 http://ftpmaster.internal/ubuntu resolute/main armhf libmd0 armhf 1.1.0-2build4 [23.4 kB] 61s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf locales all 2.42-2ubuntu5 [4255 kB] 61s Get:7 http://ftpmaster.internal/ubuntu resolute/main armhf python3-linkify-it all 2.0.3-1ubuntu3 [19.4 kB] 61s Get:8 http://ftpmaster.internal/ubuntu resolute/main armhf pollinate all 4.33-4ubuntu5 [14.0 kB] 61s Get:9 http://ftpmaster.internal/ubuntu resolute/main armhf python3-referencing all 0.36.2-1ubuntu2 [22.2 kB] 62s Preconfiguring packages ... 62s Fetched 8120 kB in 1s (8207 kB/s) 62s (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 ... 68395 files and directories currently installed.) 62s Preparing to unpack .../sed_4.9-2build3_armhf.deb ... 62s Unpacking sed (4.9-2build3) over (4.9-2build2) ... 62s Setting up sed (4.9-2build3) ... 62s (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 ... 68395 files and directories currently installed.) 62s Preparing to unpack .../libc-gconv-modules-extra_2.42-2ubuntu5_armhf.deb ... 62s Unpacking libc-gconv-modules-extra:armhf (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 62s Setting up libc-gconv-modules-extra:armhf (2.42-2ubuntu5) ... 62s (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 ... 68395 files and directories currently installed.) 62s Preparing to unpack .../libc6_2.42-2ubuntu5_armhf.deb ... 62s readlink: /usr/lib/libeatmydata: No such file or directory 62s Unpacking libc6:armhf (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 62s Setting up libc6:armhf (2.42-2ubuntu5) ... 63s (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 ... 68395 files and directories currently installed.) 63s Preparing to unpack .../libc-bin_2.42-2ubuntu5_armhf.deb ... 63s Unpacking libc-bin (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 63s Setting up libc-bin (2.42-2ubuntu5) ... 63s (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 ... 68395 files and directories currently installed.) 63s Preparing to unpack .../libmd0_1.1.0-2build4_armhf.deb ... 63s Unpacking libmd0:armhf (1.1.0-2build4) over (1.1.0-2build3) ... 63s Setting up libmd0:armhf (1.1.0-2build4) ... 63s (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 ... 68395 files and directories currently installed.) 63s Preparing to unpack .../locales_2.42-2ubuntu5_all.deb ... 63s Unpacking locales (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 63s Preparing to unpack .../python3-linkify-it_2.0.3-1ubuntu3_all.deb ... 63s Unpacking python3-linkify-it (2.0.3-1ubuntu3) over (2.0.3-1ubuntu2) ... 63s Preparing to unpack .../pollinate_4.33-4ubuntu5_all.deb ... 63s Unpacking pollinate (4.33-4ubuntu5) over (4.33-4ubuntu4) ... 64s Preparing to unpack .../python3-referencing_0.36.2-1ubuntu2_all.deb ... 64s Unpacking python3-referencing (0.36.2-1ubuntu2) over (0.36.2-1ubuntu1) ... 64s Setting up locales (2.42-2ubuntu5) ... 65s Generating locales (this might take a while)... 66s en_US.UTF-8... done 66s Generation complete. 66s Setting up pollinate (4.33-4ubuntu5) ... 67s apparmor_parser: Unable to replace "pollinate". apparmor_parser: Access denied. You need policy admin privileges to manage profiles. 67s 67s Setting up python3-linkify-it (2.0.3-1ubuntu3) ... 67s Setting up python3-referencing (0.36.2-1ubuntu2) ... 67s Processing triggers for systemd (259-1ubuntu3) ... 68s Processing triggers for man-db (2.13.1-1) ... 69s Processing triggers for install-info (7.2-5) ... 69s Processing triggers for libc-bin (2.42-2ubuntu5) ... 71s Reading package lists... 71s Building dependency tree... 71s Reading state information... 71s Solving dependencies... 72s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 74s autopkgtest [02:14:01]: rebooting testbed after setup commands that affected boot 116s autopkgtest [02:14:43]: testbed running kernel: Linux 6.8.0-87-generic #88~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Tue Oct 14 14:00:09 UTC 2 141s autopkgtest [02:15:08]: @@@@@@@@@@@@@@@@@@@@ apt-source cbmc 159s Get:1 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (dsc) [3144 B] 159s Get:2 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [14.6 kB] 159s Get:3 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [299 kB] 159s Get:4 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [9147 kB] 159s Get:5 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (diff) [16.5 kB] 159s gpgv: Signature made Wed Apr 30 12:58:58 2025 UTC 159s gpgv: using RSA key ACA6C3F4E1003986F35388043BBF839336ECA931 159s gpgv: issuer "mt@debian.org" 159s gpgv: Can't check signature: No public key 159s dpkg-source: warning: cannot verify inline signature for ./cbmc_6.6.0-4.dsc: no acceptable signature found 162s autopkgtest [02:15:29]: testing package cbmc version 6.6.0-4 164s autopkgtest [02:15:31]: build not needed 171s autopkgtest [02:15:38]: test failing-assert1: preparing testbed 173s Reading package lists... 174s Building dependency tree... 174s Reading state information... 174s Solving dependencies... 174s The following NEW packages will be installed: 174s cbmc cpp cpp-15 cpp-15-arm-linux-gnueabihf cpp-arm-linux-gnueabihf gcc 174s gcc-15 gcc-15-arm-linux-gnueabihf gcc-arm-linux-gnueabihf libasan8 174s libc-dev-bin libc6-dev libcc1-0 libcrypt-dev libgcc-15-dev libgomp1 libisl23 174s libmpc3 libubsan1 linux-libc-dev minisat rpcsvc-proto 174s 0 upgraded, 22 newly installed, 0 to remove and 0 not upgraded. 174s Need to get 57.5 MB of archives. 174s After this operation, 161 MB of additional disk space will be used. 174s Get:1 http://ftpmaster.internal/ubuntu resolute/main armhf libisl23 armhf 0.27-1build1 [553 kB] 175s Get:2 http://ftpmaster.internal/ubuntu resolute/main armhf libmpc3 armhf 1.3.1-2 [47.0 kB] 175s Get:3 http://ftpmaster.internal/ubuntu resolute/main armhf cpp-15-arm-linux-gnueabihf armhf 15.2.0-12ubuntu1 [10.1 MB] 176s Get:4 http://ftpmaster.internal/ubuntu resolute/main armhf cpp-15 armhf 15.2.0-12ubuntu1 [1032 B] 176s Get:5 http://ftpmaster.internal/ubuntu resolute/main armhf cpp-arm-linux-gnueabihf armhf 4:15.2.0-4ubuntu1 [5756 B] 176s Get:6 http://ftpmaster.internal/ubuntu resolute/main armhf cpp armhf 4:15.2.0-4ubuntu1 [22.4 kB] 176s Get:7 http://ftpmaster.internal/ubuntu resolute/main armhf libcc1-0 armhf 15.2.0-12ubuntu1 [43.5 kB] 176s Get:8 http://ftpmaster.internal/ubuntu resolute/main armhf libgomp1 armhf 15.2.0-12ubuntu1 [129 kB] 176s Get:9 http://ftpmaster.internal/ubuntu resolute/main armhf libasan8 armhf 15.2.0-12ubuntu1 [2949 kB] 177s Get:10 http://ftpmaster.internal/ubuntu resolute/main armhf libubsan1 armhf 15.2.0-12ubuntu1 [1187 kB] 177s Get:11 http://ftpmaster.internal/ubuntu resolute/main armhf libgcc-15-dev armhf 15.2.0-12ubuntu1 [898 kB] 177s Get:12 http://ftpmaster.internal/ubuntu resolute/main armhf gcc-15-arm-linux-gnueabihf armhf 15.2.0-12ubuntu1 [19.5 MB] 178s Get:13 http://ftpmaster.internal/ubuntu resolute/main armhf gcc-15 armhf 15.2.0-12ubuntu1 [499 kB] 178s Get:14 http://ftpmaster.internal/ubuntu resolute/main armhf gcc-arm-linux-gnueabihf armhf 4:15.2.0-4ubuntu1 [1220 B] 178s Get:15 http://ftpmaster.internal/ubuntu resolute/main armhf gcc armhf 4:15.2.0-4ubuntu1 [5022 B] 178s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf libc-dev-bin armhf 2.42-2ubuntu5 [21.8 kB] 178s Get:17 http://ftpmaster.internal/ubuntu resolute/main armhf linux-libc-dev armhf 6.18.0-9.9 [1819 kB] 178s Get:18 http://ftpmaster.internal/ubuntu resolute/main armhf libcrypt-dev armhf 1:4.5.1-1 [128 kB] 178s Get:19 http://ftpmaster.internal/ubuntu resolute/main armhf rpcsvc-proto armhf 1.4.3-1build1 [62.6 kB] 178s Get:20 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf libc6-dev armhf 2.42-2ubuntu5 [1416 kB] 178s Get:21 http://ftpmaster.internal/ubuntu resolute/universe armhf minisat armhf 1:2.2.1-8build2 [82.3 kB] 178s Get:22 http://ftpmaster.internal/ubuntu resolute/universe armhf cbmc armhf 6.6.0-4 [18.1 MB] 179s Fetched 57.5 MB in 4s (14.6 MB/s) 179s Selecting previously unselected package libisl23:armhf. 179s (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 ... 68395 files and directories currently installed.) 179s Preparing to unpack .../00-libisl23_0.27-1build1_armhf.deb ... 179s Unpacking libisl23:armhf (0.27-1build1) ... 179s Selecting previously unselected package libmpc3:armhf. 179s Preparing to unpack .../01-libmpc3_1.3.1-2_armhf.deb ... 179s Unpacking libmpc3:armhf (1.3.1-2) ... 179s Selecting previously unselected package cpp-15-arm-linux-gnueabihf. 179s Preparing to unpack .../02-cpp-15-arm-linux-gnueabihf_15.2.0-12ubuntu1_armhf.deb ... 179s Unpacking cpp-15-arm-linux-gnueabihf (15.2.0-12ubuntu1) ... 179s Selecting previously unselected package cpp-15. 179s Preparing to unpack .../03-cpp-15_15.2.0-12ubuntu1_armhf.deb ... 179s Unpacking cpp-15 (15.2.0-12ubuntu1) ... 179s Selecting previously unselected package cpp-arm-linux-gnueabihf. 179s Preparing to unpack .../04-cpp-arm-linux-gnueabihf_4%3a15.2.0-4ubuntu1_armhf.deb ... 179s Unpacking cpp-arm-linux-gnueabihf (4:15.2.0-4ubuntu1) ... 179s Selecting previously unselected package cpp. 179s Preparing to unpack .../05-cpp_4%3a15.2.0-4ubuntu1_armhf.deb ... 179s Unpacking cpp (4:15.2.0-4ubuntu1) ... 179s Selecting previously unselected package libcc1-0:armhf. 179s Preparing to unpack .../06-libcc1-0_15.2.0-12ubuntu1_armhf.deb ... 179s Unpacking libcc1-0:armhf (15.2.0-12ubuntu1) ... 179s Selecting previously unselected package libgomp1:armhf. 179s Preparing to unpack .../07-libgomp1_15.2.0-12ubuntu1_armhf.deb ... 179s Unpacking libgomp1:armhf (15.2.0-12ubuntu1) ... 179s Selecting previously unselected package libasan8:armhf. 179s Preparing to unpack .../08-libasan8_15.2.0-12ubuntu1_armhf.deb ... 179s Unpacking libasan8:armhf (15.2.0-12ubuntu1) ... 179s Selecting previously unselected package libubsan1:armhf. 179s Preparing to unpack .../09-libubsan1_15.2.0-12ubuntu1_armhf.deb ... 179s Unpacking libubsan1:armhf (15.2.0-12ubuntu1) ... 179s Selecting previously unselected package libgcc-15-dev:armhf. 179s Preparing to unpack .../10-libgcc-15-dev_15.2.0-12ubuntu1_armhf.deb ... 179s Unpacking libgcc-15-dev:armhf (15.2.0-12ubuntu1) ... 179s Selecting previously unselected package gcc-15-arm-linux-gnueabihf. 179s Preparing to unpack .../11-gcc-15-arm-linux-gnueabihf_15.2.0-12ubuntu1_armhf.deb ... 179s Unpacking gcc-15-arm-linux-gnueabihf (15.2.0-12ubuntu1) ... 180s Selecting previously unselected package gcc-15. 180s Preparing to unpack .../12-gcc-15_15.2.0-12ubuntu1_armhf.deb ... 180s Unpacking gcc-15 (15.2.0-12ubuntu1) ... 180s Selecting previously unselected package gcc-arm-linux-gnueabihf. 180s Preparing to unpack .../13-gcc-arm-linux-gnueabihf_4%3a15.2.0-4ubuntu1_armhf.deb ... 180s Unpacking gcc-arm-linux-gnueabihf (4:15.2.0-4ubuntu1) ... 180s Selecting previously unselected package gcc. 180s Preparing to unpack .../14-gcc_4%3a15.2.0-4ubuntu1_armhf.deb ... 180s Unpacking gcc (4:15.2.0-4ubuntu1) ... 180s Selecting previously unselected package libc-dev-bin. 180s Preparing to unpack .../15-libc-dev-bin_2.42-2ubuntu5_armhf.deb ... 180s Unpacking libc-dev-bin (2.42-2ubuntu5) ... 180s Selecting previously unselected package linux-libc-dev:armhf. 180s Preparing to unpack .../16-linux-libc-dev_6.18.0-9.9_armhf.deb ... 180s Unpacking linux-libc-dev:armhf (6.18.0-9.9) ... 180s Selecting previously unselected package libcrypt-dev:armhf. 180s Preparing to unpack .../17-libcrypt-dev_1%3a4.5.1-1_armhf.deb ... 180s Unpacking libcrypt-dev:armhf (1:4.5.1-1) ... 180s Selecting previously unselected package rpcsvc-proto. 180s Preparing to unpack .../18-rpcsvc-proto_1.4.3-1build1_armhf.deb ... 180s Unpacking rpcsvc-proto (1.4.3-1build1) ... 180s Selecting previously unselected package libc6-dev:armhf. 180s Preparing to unpack .../19-libc6-dev_2.42-2ubuntu5_armhf.deb ... 180s Unpacking libc6-dev:armhf (2.42-2ubuntu5) ... 180s Selecting previously unselected package minisat. 180s Preparing to unpack .../20-minisat_1%3a2.2.1-8build2_armhf.deb ... 180s Unpacking minisat (1:2.2.1-8build2) ... 180s Selecting previously unselected package cbmc. 180s Preparing to unpack .../21-cbmc_6.6.0-4_armhf.deb ... 180s Unpacking cbmc (6.6.0-4) ... 181s Setting up linux-libc-dev:armhf (6.18.0-9.9) ... 181s Setting up libgomp1:armhf (15.2.0-12ubuntu1) ... 181s Setting up rpcsvc-proto (1.4.3-1build1) ... 181s Setting up libmpc3:armhf (1.3.1-2) ... 181s Setting up libubsan1:armhf (15.2.0-12ubuntu1) ... 181s Setting up libcrypt-dev:armhf (1:4.5.1-1) ... 181s Setting up minisat (1:2.2.1-8build2) ... 181s Setting up libasan8:armhf (15.2.0-12ubuntu1) ... 181s Setting up libisl23:armhf (0.27-1build1) ... 181s Setting up libc-dev-bin (2.42-2ubuntu5) ... 181s Setting up cpp-15-arm-linux-gnueabihf (15.2.0-12ubuntu1) ... 181s Setting up libcc1-0:armhf (15.2.0-12ubuntu1) ... 181s Setting up cpp-arm-linux-gnueabihf (4:15.2.0-4ubuntu1) ... 181s Setting up libgcc-15-dev:armhf (15.2.0-12ubuntu1) ... 181s Setting up gcc-15-arm-linux-gnueabihf (15.2.0-12ubuntu1) ... 181s Setting up cpp-15 (15.2.0-12ubuntu1) ... 181s Setting up cpp (4:15.2.0-4ubuntu1) ... 181s Setting up libc6-dev:armhf (2.42-2ubuntu5) ... 181s Setting up gcc-arm-linux-gnueabihf (4:15.2.0-4ubuntu1) ... 181s Setting up gcc-15 (15.2.0-12ubuntu1) ... 181s Setting up gcc (4:15.2.0-4ubuntu1) ... 181s Setting up cbmc (6.6.0-4) ... 181s Processing triggers for man-db (2.13.1-1) ... 182s Processing triggers for libc-bin (2.42-2ubuntu5) ... 190s autopkgtest [02:15:57]: test failing-assert1: [----------------------- 192s Runtime decision procedure: 0.00118825s 192s autopkgtest [02:15:59]: test failing-assert1: -----------------------] 196s autopkgtest [02:16:03]: test failing-assert1: - - - - - - - - - - results - - - - - - - - - - 196s failing-assert1 PASS 200s autopkgtest [02:16:07]: @@@@@@@@@@@@@@@@@@@@ summary 200s failing-assert1 PASS