0s autopkgtest [03:19:01]: starting date and time: 2026-02-08 03:19:01+0000 0s autopkgtest [03:19:01]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [03:19:01]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.35e7e3r1/out --timeout-copy=6000 --needs-internet=try --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --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 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-cpu2-ram4-disk20-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@sto01-s390x-2.secgroup --name adt-resolute-s390x-cbmc-20260208-031901-juju-7f2275-prod-proposed-migration-environment-15-c6610007-d9c3-49e8-af01-ec704b357764 --image adt/ubuntu-resolute-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-autopkgtest-workers-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 3s Creating nova instance adt-resolute-s390x-cbmc-20260208-031901-juju-7f2275-prod-proposed-migration-environment-15-c6610007-d9c3-49e8-af01-ec704b357764 from image adt/ubuntu-resolute-s390x-server-20260208.img (UUID bf8d2066-816d-4293-b7d1-06f39d3d29cb)... 194s autopkgtest [03:22:15]: testbed dpkg architecture: s390x 195s autopkgtest [03:22:16]: testbed apt version: 3.1.15 196s autopkgtest [03:22:17]: @@@@@@@@@@@@@@@@@@@@ test bed setup 196s autopkgtest [03:22:17]: testbed release detected to be: None 198s autopkgtest [03:22:19]: updating testbed package index (apt update) 199s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 199s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 199s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 199s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 200s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1638 kB] 207s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [182 kB] 207s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [31.5 kB] 207s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x Packages [203 kB] 207s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/universe s390x Packages [1438 kB] 210s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse s390x Packages [8452 B] 210s Fetched 3625 kB in 12s (306 kB/s) 216s Reading package lists... 218s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 218s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 218s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 218s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 224s Reading package lists... 224s Reading package lists... 225s Building dependency tree... 225s Reading state information... 227s Calculating upgrade... 228s The following packages will be upgraded: 228s libc-bin libc-gconv-modules-extra libc6 locales 228s 4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 228s Need to get 7922 kB of archives. 228s After this operation, 0 B of additional disk space will be used. 228s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x libc-gconv-modules-extra s390x 2.42-2ubuntu5 [1369 kB] 235s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x libc6 s390x 2.42-2ubuntu5 [1623 kB] 241s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x libc-bin s390x 2.42-2ubuntu5 [674 kB] 243s Get:4 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x locales all 2.42-2ubuntu5 [4255 kB] 253s dpkg-preconfigure: unable to re-open stdin: No such file or directory 254s Fetched 7922 kB in 23s (339 kB/s) 256s (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 ... 88711 files and directories currently installed.) 256s Preparing to unpack .../libc-gconv-modules-extra_2.42-2ubuntu5_s390x.deb ... 256s Unpacking libc-gconv-modules-extra:s390x (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 258s Setting up libc-gconv-modules-extra:s390x (2.42-2ubuntu5) ... 259s (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 ... 88711 files and directories currently installed.) 259s Preparing to unpack .../libc6_2.42-2ubuntu5_s390x.deb ... 260s Unpacking libc6:s390x (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 261s Setting up libc6:s390x (2.42-2ubuntu5) ... 263s (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 ... 88711 files and directories currently installed.) 263s Preparing to unpack .../libc-bin_2.42-2ubuntu5_s390x.deb ... 263s Unpacking libc-bin (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 265s Setting up libc-bin (2.42-2ubuntu5) ... 266s (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 ... 88711 files and directories currently installed.) 266s Preparing to unpack .../locales_2.42-2ubuntu5_all.deb ... 267s Unpacking locales (2.42-2ubuntu5) over (2.42-2ubuntu4) ... 268s Setting up locales (2.42-2ubuntu5) ... 273s Generating locales (this might take a while)... 280s en_US.UTF-8... done 280s Generation complete. 280s Processing triggers for systemd (259-1ubuntu3) ... 284s Processing triggers for man-db (2.13.1-1build1) ... 300s autopkgtest [03:24:01]: upgrading testbed (apt dist-upgrade and autopurge) 301s Reading package lists... 302s Building dependency tree... 302s Reading state information... 302s Calculating upgrade... 303s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 303s Reading package lists... 305s Building dependency tree... 305s Reading state information... 305s Solving dependencies... 306s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 310s autopkgtest [03:24:11]: testbed running kernel: Linux 6.19.0-3-generic #3-Ubuntu SMP Fri Jan 23 19:02:49 UTC 2026 311s autopkgtest [03:24:12]: @@@@@@@@@@@@@@@@@@@@ apt-source cbmc 337s Get:1 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (dsc) [3144 B] 337s Get:2 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [14.6 kB] 337s Get:3 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [299 kB] 337s Get:4 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (tar) [9147 kB] 337s Get:5 http://ftpmaster.internal/ubuntu resolute/universe cbmc 6.6.0-4 (diff) [16.5 kB] 337s gpgv: Signature made Wed Apr 30 12:58:58 2025 UTC 337s gpgv: using RSA key ACA6C3F4E1003986F35388043BBF839336ECA931 337s gpgv: issuer "mt@debian.org" 337s gpgv: Can't check signature: No public key 337s dpkg-source: warning: cannot verify inline signature for ./cbmc_6.6.0-4.dsc: no acceptable signature found 347s autopkgtest [03:24:48]: testing package cbmc version 6.6.0-4 348s autopkgtest [03:24:49]: build not needed 361s autopkgtest [03:25:02]: test failing-assert1: preparing testbed 362s Reading package lists... 364s Building dependency tree... 364s Reading state information... 364s Solving dependencies... 365s The following NEW packages will be installed: 365s cbmc cpp cpp-15 cpp-15-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-15 365s gcc-15-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libc-dev-bin libc6-dev 365s libcc1-0 libcrypt-dev libgcc-15-dev libgomp1 libisl23 libitm1 liblsan0 365s libmpc3 libtsan2 libubsan1 linux-libc-dev minisat rpcsvc-proto 366s 0 upgraded, 25 newly installed, 0 to remove and 0 not upgraded. 366s Need to get 67.8 MB of archives. 366s After this operation, 227 MB of additional disk space will be used. 366s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x libisl23 s390x 0.27-1build1 [702 kB] 367s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x libmpc3 s390x 1.3.1-2 [57.4 kB] 367s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15-s390x-linux-gnu s390x 15.2.0-12ubuntu1 [10.2 MB] 387s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-15 s390x 15.2.0-12ubuntu1 [1028 B] 387s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x cpp-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [5746 B] 387s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x cpp s390x 4:15.2.0-4ubuntu1 [22.4 kB] 387s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x libcc1-0 s390x 15.2.0-12ubuntu1 [50.0 kB] 387s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x libgomp1 s390x 15.2.0-12ubuntu1 [154 kB] 387s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x libitm1 s390x 15.2.0-12ubuntu1 [30.9 kB] 387s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x libasan8 s390x 15.2.0-12ubuntu1 [2968 kB] 401s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x liblsan0 s390x 15.2.0-12ubuntu1 [1354 kB] 404s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x libtsan2 s390x 15.2.0-12ubuntu1 [2685 kB] 409s Get:13 http://ftpmaster.internal/ubuntu resolute/main s390x libubsan1 s390x 15.2.0-12ubuntu1 [1211 kB] 412s Get:14 http://ftpmaster.internal/ubuntu resolute/main s390x libgcc-15-dev s390x 15.2.0-12ubuntu1 [1294 kB] 414s Get:15 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15-s390x-linux-gnu s390x 15.2.0-12ubuntu1 [19.9 MB] 458s Get:16 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-15 s390x 15.2.0-12ubuntu1 [519 kB] 459s Get:17 http://ftpmaster.internal/ubuntu resolute/main s390x gcc-s390x-linux-gnu s390x 4:15.2.0-4ubuntu1 [1208 B] 459s Get:18 http://ftpmaster.internal/ubuntu resolute/main s390x gcc s390x 4:15.2.0-4ubuntu1 [5018 B] 459s Get:19 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x libc-dev-bin s390x 2.42-2ubuntu5 [22.9 kB] 459s Get:20 http://ftpmaster.internal/ubuntu resolute/main s390x linux-libc-dev s390x 6.19.0-3.3 [1839 kB] 463s Get:21 http://ftpmaster.internal/ubuntu resolute/main s390x libcrypt-dev s390x 1:4.5.1-1 [127 kB] 463s Get:22 http://ftpmaster.internal/ubuntu resolute/main s390x rpcsvc-proto s390x 1.4.3-1build1 [67.1 kB] 463s Get:23 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x libc6-dev s390x 2.42-2ubuntu5 [1696 kB] 466s Get:24 http://ftpmaster.internal/ubuntu resolute/universe s390x minisat s390x 1:2.2.1-8build2 [92.6 kB] 466s Get:25 http://ftpmaster.internal/ubuntu resolute/universe s390x cbmc s390x 6.6.0-4 [22.8 MB] 514s Fetched 67.8 MB in 2min 26s (464 kB/s) 514s Selecting previously unselected package libisl23:s390x. 514s (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 ... 88711 files and directories currently installed.) 514s Preparing to unpack .../00-libisl23_0.27-1build1_s390x.deb ... 514s Unpacking libisl23:s390x (0.27-1build1) ... 514s Selecting previously unselected package libmpc3:s390x. 515s Preparing to unpack .../01-libmpc3_1.3.1-2_s390x.deb ... 515s Unpacking libmpc3:s390x (1.3.1-2) ... 515s Selecting previously unselected package cpp-15-s390x-linux-gnu. 515s Preparing to unpack .../02-cpp-15-s390x-linux-gnu_15.2.0-12ubuntu1_s390x.deb ... 515s Unpacking cpp-15-s390x-linux-gnu (15.2.0-12ubuntu1) ... 516s Selecting previously unselected package cpp-15. 516s Preparing to unpack .../03-cpp-15_15.2.0-12ubuntu1_s390x.deb ... 516s Unpacking cpp-15 (15.2.0-12ubuntu1) ... 516s Selecting previously unselected package cpp-s390x-linux-gnu. 516s Preparing to unpack .../04-cpp-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 516s Unpacking cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 517s Selecting previously unselected package cpp. 517s Preparing to unpack .../05-cpp_4%3a15.2.0-4ubuntu1_s390x.deb ... 517s Unpacking cpp (4:15.2.0-4ubuntu1) ... 517s Selecting previously unselected package libcc1-0:s390x. 517s Preparing to unpack .../06-libcc1-0_15.2.0-12ubuntu1_s390x.deb ... 517s Unpacking libcc1-0:s390x (15.2.0-12ubuntu1) ... 517s Selecting previously unselected package libgomp1:s390x. 517s Preparing to unpack .../07-libgomp1_15.2.0-12ubuntu1_s390x.deb ... 517s Unpacking libgomp1:s390x (15.2.0-12ubuntu1) ... 517s Selecting previously unselected package libitm1:s390x. 517s Preparing to unpack .../08-libitm1_15.2.0-12ubuntu1_s390x.deb ... 517s Unpacking libitm1:s390x (15.2.0-12ubuntu1) ... 517s Selecting previously unselected package libasan8:s390x. 517s Preparing to unpack .../09-libasan8_15.2.0-12ubuntu1_s390x.deb ... 517s Unpacking libasan8:s390x (15.2.0-12ubuntu1) ... 518s Selecting previously unselected package liblsan0:s390x. 518s Preparing to unpack .../10-liblsan0_15.2.0-12ubuntu1_s390x.deb ... 518s Unpacking liblsan0:s390x (15.2.0-12ubuntu1) ... 519s Selecting previously unselected package libtsan2:s390x. 519s Preparing to unpack .../11-libtsan2_15.2.0-12ubuntu1_s390x.deb ... 519s Unpacking libtsan2:s390x (15.2.0-12ubuntu1) ... 520s Selecting previously unselected package libubsan1:s390x. 520s Preparing to unpack .../12-libubsan1_15.2.0-12ubuntu1_s390x.deb ... 520s Unpacking libubsan1:s390x (15.2.0-12ubuntu1) ... 520s Selecting previously unselected package libgcc-15-dev:s390x. 520s Preparing to unpack .../13-libgcc-15-dev_15.2.0-12ubuntu1_s390x.deb ... 520s Unpacking libgcc-15-dev:s390x (15.2.0-12ubuntu1) ... 521s Selecting previously unselected package gcc-15-s390x-linux-gnu. 521s Preparing to unpack .../14-gcc-15-s390x-linux-gnu_15.2.0-12ubuntu1_s390x.deb ... 521s Unpacking gcc-15-s390x-linux-gnu (15.2.0-12ubuntu1) ... 525s Selecting previously unselected package gcc-15. 525s Preparing to unpack .../15-gcc-15_15.2.0-12ubuntu1_s390x.deb ... 525s Unpacking gcc-15 (15.2.0-12ubuntu1) ... 525s Selecting previously unselected package gcc-s390x-linux-gnu. 525s Preparing to unpack .../16-gcc-s390x-linux-gnu_4%3a15.2.0-4ubuntu1_s390x.deb ... 525s Unpacking gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 525s Selecting previously unselected package gcc. 525s Preparing to unpack .../17-gcc_4%3a15.2.0-4ubuntu1_s390x.deb ... 525s Unpacking gcc (4:15.2.0-4ubuntu1) ... 526s Selecting previously unselected package libc-dev-bin. 526s Preparing to unpack .../18-libc-dev-bin_2.42-2ubuntu5_s390x.deb ... 526s Unpacking libc-dev-bin (2.42-2ubuntu5) ... 526s Selecting previously unselected package linux-libc-dev:s390x. 526s Preparing to unpack .../19-linux-libc-dev_6.19.0-3.3_s390x.deb ... 526s Unpacking linux-libc-dev:s390x (6.19.0-3.3) ... 527s Selecting previously unselected package libcrypt-dev:s390x. 527s Preparing to unpack .../20-libcrypt-dev_1%3a4.5.1-1_s390x.deb ... 527s Unpacking libcrypt-dev:s390x (1:4.5.1-1) ... 527s Selecting previously unselected package rpcsvc-proto. 527s Preparing to unpack .../21-rpcsvc-proto_1.4.3-1build1_s390x.deb ... 527s Unpacking rpcsvc-proto (1.4.3-1build1) ... 527s Selecting previously unselected package libc6-dev:s390x. 527s Preparing to unpack .../22-libc6-dev_2.42-2ubuntu5_s390x.deb ... 528s Unpacking libc6-dev:s390x (2.42-2ubuntu5) ... 528s Selecting previously unselected package minisat. 528s Preparing to unpack .../23-minisat_1%3a2.2.1-8build2_s390x.deb ... 528s Unpacking minisat (1:2.2.1-8build2) ... 529s Selecting previously unselected package cbmc. 529s Preparing to unpack .../24-cbmc_6.6.0-4_s390x.deb ... 529s Unpacking cbmc (6.6.0-4) ... 532s Setting up linux-libc-dev:s390x (6.19.0-3.3) ... 532s Setting up libgomp1:s390x (15.2.0-12ubuntu1) ... 532s Setting up rpcsvc-proto (1.4.3-1build1) ... 532s Setting up libmpc3:s390x (1.3.1-2) ... 532s Setting up libubsan1:s390x (15.2.0-12ubuntu1) ... 532s Setting up libcrypt-dev:s390x (1:4.5.1-1) ... 532s Setting up minisat (1:2.2.1-8build2) ... 532s Setting up libasan8:s390x (15.2.0-12ubuntu1) ... 532s Setting up libtsan2:s390x (15.2.0-12ubuntu1) ... 532s Setting up libisl23:s390x (0.27-1build1) ... 532s Setting up libc-dev-bin (2.42-2ubuntu5) ... 532s Setting up libcc1-0:s390x (15.2.0-12ubuntu1) ... 532s Setting up liblsan0:s390x (15.2.0-12ubuntu1) ... 532s Setting up libitm1:s390x (15.2.0-12ubuntu1) ... 532s Setting up libgcc-15-dev:s390x (15.2.0-12ubuntu1) ... 532s Setting up cpp-15-s390x-linux-gnu (15.2.0-12ubuntu1) ... 532s Setting up libc6-dev:s390x (2.42-2ubuntu5) ... 532s Setting up gcc-15-s390x-linux-gnu (15.2.0-12ubuntu1) ... 532s Setting up cpp-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 532s Setting up gcc-s390x-linux-gnu (4:15.2.0-4ubuntu1) ... 532s Setting up cpp-15 (15.2.0-12ubuntu1) ... 532s Setting up cpp (4:15.2.0-4ubuntu1) ... 532s Setting up gcc-15 (15.2.0-12ubuntu1) ... 532s Setting up gcc (4:15.2.0-4ubuntu1) ... 532s Setting up cbmc (6.6.0-4) ... 532s Processing triggers for man-db (2.13.1-1build1) ... 538s Processing triggers for libc-bin (2.42-2ubuntu5) ... 541s autopkgtest [03:28:02]: test failing-assert1: [----------------------- 542s Runtime decision procedure: 0.000141368s 543s autopkgtest [03:28:04]: test failing-assert1: -----------------------] 545s autopkgtest [03:28:06]: test failing-assert1: - - - - - - - - - - results - - - - - - - - - - 545s failing-assert1 PASS 546s autopkgtest [03:28:07]: @@@@@@@@@@@@@@@@@@@@ summary 546s failing-assert1 PASS