0s autopkgtest [01:21:33]: starting date and time: 2026-02-05 01:21:33+0000 0s autopkgtest [01:21:33]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [01:21:33]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.lcpy5w7u/out --timeout-copy=6000 --needs-internet=try --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc,src:chiark-tcl --apt-upgrade cbmc --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=glibc/2.42-2ubuntu5 chiark-tcl/1.3.7build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-cpu2-ram4-disk20-arm64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@sto01-arm64-16.secgroup --name adt-resolute-arm64-cbmc-20260205-012132-juju-7f2275-prod-proposed-migration-environment-15-d9934817-20ee-4b57-853c-b5574b5ddd49 --image adt/ubuntu-resolute-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-autopkgtest-workers-arm64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 4s Creating nova instance adt-resolute-arm64-cbmc-20260205-012132-juju-7f2275-prod-proposed-migration-environment-15-d9934817-20ee-4b57-853c-b5574b5ddd49 from image adt/ubuntu-resolute-arm64-server-20260204.img (UUID f58d981d-b271-4157-b9b1-fd704695563c)... 60s autopkgtest [01:22:33]: testbed dpkg architecture: arm64 61s autopkgtest [01:22:34]: testbed apt version: 3.1.14 61s autopkgtest [01:22:34]: @@@@@@@@@@@@@@@@@@@@ test bed setup 61s autopkgtest [01:22:34]: testbed release detected to be: None 62s autopkgtest [01:22:35]: updating testbed package index (apt update) 63s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 63s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 63s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 63s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 63s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1768 kB] 63s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5260 B] 63s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [35.4 kB] 63s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [228 kB] 63s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [262 kB] 63s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 c-n-f Metadata [7248 B] 63s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 Packages [52.9 kB] 63s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 c-n-f Metadata [328 B] 63s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [1540 kB] 63s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 c-n-f Metadata [40.2 kB] 63s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [26.0 kB] 63s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 c-n-f Metadata [776 B] 67s Fetched 4091 kB in 1s (3012 kB/s) 68s Reading package lists... 69s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 69s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 69s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 69s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 70s Reading package lists... 70s Reading package lists... 71s Building dependency tree... 71s Reading state information... 71s Calculating upgrade... 71s The following packages will be upgraded: 71s libc-bin libc-gconv-modules-extra libc6 locales python3-linkify-it 72s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 72s Need to get 7881 kB of archives. 72s After this operation, 0 B of additional disk space will be used. 72s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libc-gconv-modules-extra arm64 2.42-2ubuntu5 [1413 kB] 72s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libc6 arm64 2.42-2ubuntu5 [1594 kB] 73s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libc-bin arm64 2.42-2ubuntu5 [599 kB] 73s Get:4 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 locales all 2.42-2ubuntu5 [4255 kB] 74s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 python3-linkify-it all 2.0.3-1ubuntu3 [19.4 kB] 74s dpkg-preconfigure: unable to re-open stdin: No such file or directory 74s Fetched 7881 kB in 2s (3551 kB/s) 74s (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 ... 89360 files and directories currently installed.) 74s Preparing to unpack .../libc-gconv-modules-extra_2.42-2ubuntu5_arm64.deb ... 74s Unpacking libc-gconv-modules-extra:arm64 (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 74s Setting up libc-gconv-modules-extra:arm64 (2.42-2ubuntu5) ... 74s (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 ... 89360 files and directories currently installed.) 74s Preparing to unpack .../libc6_2.42-2ubuntu5_arm64.deb ... 75s Unpacking libc6:arm64 (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 75s Setting up libc6:arm64 (2.42-2ubuntu5) ... 75s (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 ... 89360 files and directories currently installed.) 75s Preparing to unpack .../libc-bin_2.42-2ubuntu5_arm64.deb ... 75s Unpacking libc-bin (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 75s Setting up libc-bin (2.42-2ubuntu5) ... 75s (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 ... 89360 files and directories currently installed.) 75s Preparing to unpack .../locales_2.42-2ubuntu5_all.deb ... 75s Unpacking locales (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 76s Preparing to unpack .../python3-linkify-it_2.0.3-1ubuntu3_all.deb ... 76s Unpacking python3-linkify-it (2.0.3-1ubuntu3) over (2.0.3-1ubuntu2) ... 76s Setting up locales (2.42-2ubuntu5) ... 76s Generating locales (this might take a while)... 78s en_US.UTF-8... done 78s Generation complete. 78s Setting up python3-linkify-it (2.0.3-1ubuntu3) ... 78s Processing triggers for man-db (2.13.1-1) ... 79s Processing triggers for systemd (259-1ubuntu3) ... 80s autopkgtest [01:22:53]: upgrading testbed (apt dist-upgrade and autopurge) 81s Reading package lists... 81s Building dependency tree... 81s Reading state information... 81s Calculating upgrade... 82s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 82s Reading package lists... 82s Building dependency tree... 82s Reading state information... 82s Solving dependencies... 83s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 85s autopkgtest [01:22:58]: testbed running kernel: Linux 6.18.0-9-generic #9-Ubuntu SMP PREEMPT_DYNAMIC Mon Jan 12 16:41:39 UTC 2026 86s autopkgtest [01:22:59]: @@@@@@@@@@@@@@@@@@@@ apt-source cbmc 89s Get:1 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (dsc) [3144 B] 89s Get:2 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [14.6 kB] 89s Get:3 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [299 kB] 89s Get:4 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [9147 kB] 89s Get:5 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (diff) [16.5 kB] 89s gpgv: Signature made Wed Apr 30 12:58:58 2025 UTC 89s gpgv: using RSA key ACA6C3F4E1003986F35388043BBF839336ECA931 89s gpgv: issuer "mt@debian.org" 89s gpgv: Can't check signature: No public key 89s dpkg-source: warning: cannot verify inline signature for ./cbmc_6.6.0-4.dsc: no acceptable signature found 91s autopkgtest [01:23:04]: testing package cbmc version 6.6.0-4 91s autopkgtest [01:23:04]: build not needed 96s autopkgtest [01:23:09]: test failing-assert1: preparing testbed 96s Reading package lists... 96s Building dependency tree... 96s Reading state information... 96s Solving dependencies... 97s The following NEW packages will be installed: 97s cbmc cpp cpp-15 cpp-15-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-15 97s gcc-15-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libc-dev-bin 97s libc6-dev libcc1-0 libcrypt-dev libgcc-15-dev libgomp1 libhwasan0 libisl23 97s libitm1 liblsan0 libmpc3 libtsan2 libubsan1 linux-libc-dev minisat 97s rpcsvc-proto 97s 0 upgraded, 26 newly installed, 0 to remove and 0 not upgraded. 97s Need to get 73.0 MB of archives. 97s After this operation, 262 MB of additional disk space will be used. 97s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 libisl23 arm64 0.27-1build1 [676 kB] 97s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libmpc3 arm64 1.3.1-2 [55.6 kB] 97s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15-aarch64-linux-gnu arm64 15.2.0-12ubuntu1 [11.7 MB] 97s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15 arm64 15.2.0-12ubuntu1 [1030 B] 97s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [5736 B] 97s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp arm64 4:15.2.0-4ubuntu1 [22.4 kB] 97s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libcc1-0 arm64 15.2.0-12ubuntu1 [49.0 kB] 97s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libgomp1 arm64 15.2.0-12ubuntu1 [147 kB] 97s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 libitm1 arm64 15.2.0-12ubuntu1 [27.8 kB] 97s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 libasan8 arm64 15.2.0-12ubuntu1 [2920 kB] 97s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 liblsan0 arm64 15.2.0-12ubuntu1 [1316 kB] 98s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 libtsan2 arm64 15.2.0-12ubuntu1 [2688 kB] 98s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 libubsan1 arm64 15.2.0-12ubuntu1 [1175 kB] 98s Get:14 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwasan0 arm64 15.2.0-12ubuntu1 [1638 kB] 98s Get:15 http://ftpmaster.internal/ubuntu resolute/main arm64 libgcc-15-dev arm64 15.2.0-12ubuntu1 [2600 kB] 98s Get:16 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15-aarch64-linux-gnu arm64 15.2.0-12ubuntu1 [23.1 MB] 98s Get:17 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15 arm64 15.2.0-12ubuntu1 [519 kB] 98s Get:18 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [1206 B] 98s Get:19 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc arm64 4:15.2.0-4ubuntu1 [5016 B] 98s Get:20 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libc-dev-bin arm64 2.42-2ubuntu5 [22.5 kB] 98s Get:21 http://ftpmaster.internal/ubuntu resolute/main arm64 linux-libc-dev arm64 6.18.0-9.9 [1834 kB] 98s Get:22 http://ftpmaster.internal/ubuntu resolute/main arm64 libcrypt-dev arm64 1:4.5.1-1 [123 kB] 98s Get:23 http://ftpmaster.internal/ubuntu resolute/main arm64 rpcsvc-proto arm64 1.4.3-1build1 [65.6 kB] 99s Get:24 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libc6-dev arm64 2.42-2ubuntu5 [1765 kB] 99s Get:25 http://ftpmaster.internal/ubuntu resolute/universe arm64 minisat arm64 1:2.2.1-8build2 [90.9 kB] 99s Get:26 http://ftpmaster.internal/ubuntu resolute/universe arm64 cbmc arm64 6.6.0-4 [20.4 MB] 100s Fetched 73.0 MB in 2s (32.0 MB/s) 100s Selecting previously unselected package libisl23:arm64. 100s (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 ... 89360 files and directories currently installed.) 100s Preparing to unpack .../00-libisl23_0.27-1build1_arm64.deb ... 100s Unpacking libisl23:arm64 (0.27-1build1) ... 100s Selecting previously unselected package libmpc3:arm64. 100s Preparing to unpack .../01-libmpc3_1.3.1-2_arm64.deb ... 100s Unpacking libmpc3:arm64 (1.3.1-2) ... 100s Selecting previously unselected package cpp-15-aarch64-linux-gnu. 100s Preparing to unpack .../02-cpp-15-aarch64-linux-gnu_15.2.0-12ubuntu1_arm64.deb ... 100s Unpacking cpp-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 100s Selecting previously unselected package cpp-15. 100s Preparing to unpack .../03-cpp-15_15.2.0-12ubuntu1_arm64.deb ... 100s Unpacking cpp-15 (15.2.0-12ubuntu1) ... 100s Selecting previously unselected package cpp-aarch64-linux-gnu. 100s Preparing to unpack .../04-cpp-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 100s Unpacking cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 100s Selecting previously unselected package cpp. 100s Preparing to unpack .../05-cpp_4%3a15.2.0-4ubuntu1_arm64.deb ... 100s Unpacking cpp (4:15.2.0-4ubuntu1) ... 100s Selecting previously unselected package libcc1-0:arm64. 100s Preparing to unpack .../06-libcc1-0_15.2.0-12ubuntu1_arm64.deb ... 100s Unpacking libcc1-0:arm64 (15.2.0-12ubuntu1) ... 100s Selecting previously unselected package libgomp1:arm64. 100s Preparing to unpack .../07-libgomp1_15.2.0-12ubuntu1_arm64.deb ... 100s Unpacking libgomp1:arm64 (15.2.0-12ubuntu1) ... 100s Selecting previously unselected package libitm1:arm64. 100s Preparing to unpack .../08-libitm1_15.2.0-12ubuntu1_arm64.deb ... 100s Unpacking libitm1:arm64 (15.2.0-12ubuntu1) ... 100s Selecting previously unselected package libasan8:arm64. 100s Preparing to unpack .../09-libasan8_15.2.0-12ubuntu1_arm64.deb ... 100s Unpacking libasan8:arm64 (15.2.0-12ubuntu1) ... 100s Selecting previously unselected package liblsan0:arm64. 100s Preparing to unpack .../10-liblsan0_15.2.0-12ubuntu1_arm64.deb ... 100s Unpacking liblsan0:arm64 (15.2.0-12ubuntu1) ... 100s Selecting previously unselected package libtsan2:arm64. 100s Preparing to unpack .../11-libtsan2_15.2.0-12ubuntu1_arm64.deb ... 100s Unpacking libtsan2:arm64 (15.2.0-12ubuntu1) ... 101s Selecting previously unselected package libubsan1:arm64. 101s Preparing to unpack .../12-libubsan1_15.2.0-12ubuntu1_arm64.deb ... 101s Unpacking libubsan1:arm64 (15.2.0-12ubuntu1) ... 101s Selecting previously unselected package libhwasan0:arm64. 101s Preparing to unpack .../13-libhwasan0_15.2.0-12ubuntu1_arm64.deb ... 101s Unpacking libhwasan0:arm64 (15.2.0-12ubuntu1) ... 101s Selecting previously unselected package libgcc-15-dev:arm64. 101s Preparing to unpack .../14-libgcc-15-dev_15.2.0-12ubuntu1_arm64.deb ... 101s Unpacking libgcc-15-dev:arm64 (15.2.0-12ubuntu1) ... 101s Selecting previously unselected package gcc-15-aarch64-linux-gnu. 101s Preparing to unpack .../15-gcc-15-aarch64-linux-gnu_15.2.0-12ubuntu1_arm64.deb ... 101s Unpacking gcc-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 101s Selecting previously unselected package gcc-15. 101s Preparing to unpack .../16-gcc-15_15.2.0-12ubuntu1_arm64.deb ... 101s Unpacking gcc-15 (15.2.0-12ubuntu1) ... 101s Selecting previously unselected package gcc-aarch64-linux-gnu. 101s Preparing to unpack .../17-gcc-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 101s Unpacking gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 101s Selecting previously unselected package gcc. 101s Preparing to unpack .../18-gcc_4%3a15.2.0-4ubuntu1_arm64.deb ... 101s Unpacking gcc (4:15.2.0-4ubuntu1) ... 101s Selecting previously unselected package libc-dev-bin. 101s Preparing to unpack .../19-libc-dev-bin_2.42-2ubuntu5_arm64.deb ... 101s Unpacking libc-dev-bin (2.42-2ubuntu5) ... 101s Selecting previously unselected package linux-libc-dev:arm64. 101s Preparing to unpack .../20-linux-libc-dev_6.18.0-9.9_arm64.deb ... 101s Unpacking linux-libc-dev:arm64 (6.18.0-9.9) ... 102s Selecting previously unselected package libcrypt-dev:arm64. 102s Preparing to unpack .../21-libcrypt-dev_1%3a4.5.1-1_arm64.deb ... 102s Unpacking libcrypt-dev:arm64 (1:4.5.1-1) ... 102s Selecting previously unselected package rpcsvc-proto. 102s Preparing to unpack .../22-rpcsvc-proto_1.4.3-1build1_arm64.deb ... 102s Unpacking rpcsvc-proto (1.4.3-1build1) ... 102s Selecting previously unselected package libc6-dev:arm64. 102s Preparing to unpack .../23-libc6-dev_2.42-2ubuntu5_arm64.deb ... 102s Unpacking libc6-dev:arm64 (2.42-2ubuntu5) ... 102s Selecting previously unselected package minisat. 102s Preparing to unpack .../24-minisat_1%3a2.2.1-8build2_arm64.deb ... 102s Unpacking minisat (1:2.2.1-8build2) ... 102s Selecting previously unselected package cbmc. 102s Preparing to unpack .../25-cbmc_6.6.0-4_arm64.deb ... 102s Unpacking cbmc (6.6.0-4) ... 102s Setting up linux-libc-dev:arm64 (6.18.0-9.9) ... 102s Setting up libgomp1:arm64 (15.2.0-12ubuntu1) ... 102s Setting up rpcsvc-proto (1.4.3-1build1) ... 102s Setting up libmpc3:arm64 (1.3.1-2) ... 102s Setting up libubsan1:arm64 (15.2.0-12ubuntu1) ... 102s Setting up libhwasan0:arm64 (15.2.0-12ubuntu1) ... 102s Setting up libcrypt-dev:arm64 (1:4.5.1-1) ... 102s Setting up minisat (1:2.2.1-8build2) ... 102s Setting up libasan8:arm64 (15.2.0-12ubuntu1) ... 102s Setting up libtsan2:arm64 (15.2.0-12ubuntu1) ... 102s Setting up libisl23:arm64 (0.27-1build1) ... 102s Setting up libc-dev-bin (2.42-2ubuntu5) ... 102s Setting up libcc1-0:arm64 (15.2.0-12ubuntu1) ... 102s Setting up liblsan0:arm64 (15.2.0-12ubuntu1) ... 102s Setting up libitm1:arm64 (15.2.0-12ubuntu1) ... 102s Setting up cpp-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 102s Setting up libgcc-15-dev:arm64 (15.2.0-12ubuntu1) ... 102s Setting up cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 102s Setting up cpp-15 (15.2.0-12ubuntu1) ... 102s Setting up cpp (4:15.2.0-4ubuntu1) ... 102s Setting up libc6-dev:arm64 (2.42-2ubuntu5) ... 102s Setting up gcc-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 102s Setting up gcc-15 (15.2.0-12ubuntu1) ... 102s Setting up gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 102s Setting up gcc (4:15.2.0-4ubuntu1) ... 102s Setting up cbmc (6.6.0-4) ... 102s Processing triggers for man-db (2.13.1-1) ... 103s Processing triggers for libc-bin (2.42-2ubuntu5) ... 104s autopkgtest [01:23:17]: test failing-assert1: [----------------------- 104s Runtime decision procedure: 0.00220976s 104s autopkgtest [01:23:17]: test failing-assert1: -----------------------] 105s failing-assert1 PASS 105s autopkgtest [01:23:18]: test failing-assert1: - - - - - - - - - - results - - - - - - - - - - 105s autopkgtest [01:23:18]: @@@@@@@@@@@@@@@@@@@@ summary 105s failing-assert1 PASS