0s autopkgtest [18:28:56]: starting date and time: 2025-03-15 18:28:56+0000 0s autopkgtest [18:28:56]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [18:28:56]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.xq3tdz0b/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,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com\n" >> /etc/environment' --apt-pocket=proposed=src:glibc --apt-upgrade z3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- lxd -r lxd-armhf-10.145.243.254 lxd-armhf-10.145.243.254:autopkgtest/ubuntu/plucky/armhf 24s autopkgtest [18:29:20]: testbed dpkg architecture: armhf 28s autopkgtest [18:29:24]: testbed apt version: 2.9.33 35s autopkgtest [18:29:31]: @@@@@@@@@@@@@@@@@@@@ test bed setup 37s autopkgtest [18:29:33]: testbed release detected to be: None 47s autopkgtest [18:29:43]: updating testbed package index (apt update) 49s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 49s Get:2 http://ftpmaster.internal/ubuntu plucky InRelease [257 kB] 50s Get:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease [126 kB] 50s Get:4 http://ftpmaster.internal/ubuntu plucky-security InRelease [126 kB] 50s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 50s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 50s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 50s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [114 kB] 50s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf c-n-f Metadata [1832 B] 50s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted armhf c-n-f Metadata [116 B] 50s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [312 kB] 51s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf c-n-f Metadata [11.1 kB] 51s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf Packages [3472 B] 51s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf c-n-f Metadata [240 B] 51s Get:15 http://ftpmaster.internal/ubuntu plucky/main Sources [1394 kB] 52s Get:16 http://ftpmaster.internal/ubuntu plucky/universe Sources [21.0 MB] 76s Get:17 http://ftpmaster.internal/ubuntu plucky/multiverse Sources [299 kB] 76s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf Packages [1378 kB] 78s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf c-n-f Metadata [29.4 kB] 78s Get:20 http://ftpmaster.internal/ubuntu plucky/restricted armhf c-n-f Metadata [108 B] 78s Get:21 http://ftpmaster.internal/ubuntu plucky/universe armhf Packages [15.1 MB] 96s Get:22 http://ftpmaster.internal/ubuntu plucky/multiverse armhf Packages [172 kB] 98s Fetched 41.0 MB in 48s (847 kB/s) 99s Reading package lists... 105s autopkgtest [18:30:41]: upgrading testbed (apt dist-upgrade and autopurge) 107s Reading package lists... 107s Building dependency tree... 107s Reading state information... 107s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 108s Starting 2 pkgProblemResolver with broken count: 0 108s Done 108s Entering ResolveByKeep 109s 109s Calculating upgrade... 109s The following packages will be upgraded: 109s libc-bin libc6 locales pinentry-curses python3-jinja2 sos strace 110s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 110s Need to get 8683 kB of archives. 110s After this operation, 23.6 kB of additional disk space will be used. 110s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6 armhf 2.41-1ubuntu2 [2932 kB] 113s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-bin armhf 2.41-1ubuntu2 [545 kB] 114s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf locales all 2.41-1ubuntu2 [4246 kB] 119s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf strace armhf 6.13+ds-1ubuntu1 [445 kB] 119s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf pinentry-curses armhf 1.3.1-2ubuntu3 [40.6 kB] 119s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 119s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf sos all 4.9.0-5 [365 kB] 120s Preconfiguring packages ... 120s Fetched 8683 kB in 10s (852 kB/s) 120s (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 ... 64655 files and directories currently installed.) 120s Preparing to unpack .../libc6_2.41-1ubuntu2_armhf.deb ... 120s Unpacking libc6:armhf (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 121s Setting up libc6:armhf (2.41-1ubuntu2) ... 121s (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 ... 64655 files and directories currently installed.) 121s Preparing to unpack .../libc-bin_2.41-1ubuntu2_armhf.deb ... 121s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 121s Setting up libc-bin (2.41-1ubuntu2) ... 121s (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 ... 64655 files and directories currently installed.) 121s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 121s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 121s Preparing to unpack .../strace_6.13+ds-1ubuntu1_armhf.deb ... 121s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 122s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_armhf.deb ... 122s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 122s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 122s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 122s Preparing to unpack .../archives/sos_4.9.0-5_all.deb ... 122s Unpacking sos (4.9.0-5) over (4.9.0-4) ... 122s Setting up sos (4.9.0-5) ... 123s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 123s Setting up locales (2.41-1ubuntu2) ... 123s Generating locales (this might take a while)... 125s en_US.UTF-8... done 125s Generation complete. 125s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 125s Setting up strace (6.13+ds-1ubuntu1) ... 125s Processing triggers for man-db (2.13.0-1) ... 127s Processing triggers for systemd (257.3-1ubuntu3) ... 129s Reading package lists... 129s Building dependency tree... 129s Reading state information... 130s Starting pkgProblemResolver with broken count: 0 130s Starting 2 pkgProblemResolver with broken count: 0 130s Done 130s Solving dependencies... 131s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 133s autopkgtest [18:31:09]: rebooting testbed after setup commands that affected boot 172s autopkgtest [18:31:48]: testbed running kernel: Linux 6.8.0-52-generic #53~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Wed Jan 15 18:10:51 UTC 2 196s autopkgtest [18:32:12]: @@@@@@@@@@@@@@@@@@@@ apt-source z3 230s Get:1 http://ftpmaster.internal/ubuntu plucky/universe z3 4.13.3-1 (dsc) [2704 B] 230s Get:2 http://ftpmaster.internal/ubuntu plucky/universe z3 4.13.3-1 (tar) [5584 kB] 230s Get:3 http://ftpmaster.internal/ubuntu plucky/universe z3 4.13.3-1 (diff) [10.7 kB] 230s gpgv: Signature made Tue Nov 5 07:31:05 2024 UTC 230s gpgv: using RSA key B60DB5994D39BEC4D1A95CCF7E6528DA752F1BE1 230s gpgv: Can't check signature: No public key 230s dpkg-source: warning: cannot verify inline signature for ./z3_4.13.3-1.dsc: no acceptable signature found 230s autopkgtest [18:32:46]: testing package z3 version 4.13.3-1 233s autopkgtest [18:32:49]: build not needed 237s autopkgtest [18:32:53]: test import-z3-test: preparing testbed 239s Reading package lists... 239s Building dependency tree... 239s Reading state information... 239s Starting pkgProblemResolver with broken count: 0 240s Starting 2 pkgProblemResolver with broken count: 0 240s Done 240s The following NEW packages will be installed: 240s build-essential cpp cpp-14 cpp-14-arm-linux-gnueabihf 240s cpp-arm-linux-gnueabihf g++ g++-14 g++-14-arm-linux-gnueabihf 240s g++-arm-linux-gnueabihf gcc gcc-14 gcc-14-arm-linux-gnueabihf 240s gcc-arm-linux-gnueabihf libasan8 libc-dev-bin libc6-dev libcc1-0 240s libcrypt-dev libgcc-14-dev libgomp1 libisl23 libmpc3 libpkgconf3 240s libstdc++-14-dev libubsan1 libz3-4 libz3-dev linux-libc-dev pkg-config 240s pkgconf pkgconf-bin python3-z3 rpcsvc-proto z3 241s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded. 241s Need to get 66.4 MB of archives. 241s After this operation, 181 MB of additional disk space will be used. 241s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-dev-bin armhf 2.41-1ubuntu2 [23.0 kB] 241s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf linux-libc-dev armhf 6.14.0-10.10 [1683 kB] 242s Get:3 http://ftpmaster.internal/ubuntu plucky/main armhf libcrypt-dev armhf 1:4.4.38-1 [120 kB] 242s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf rpcsvc-proto armhf 1.4.2-0ubuntu7 [62.2 kB] 242s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6-dev armhf 2.41-1ubuntu2 [1396 kB] 244s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf libisl23 armhf 0.27-1 [546 kB] 245s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf libmpc3 armhf 1.3.1-1build2 [47.1 kB] 245s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14-arm-linux-gnueabihf armhf 14.2.0-17ubuntu3 [9220 kB] 256s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14 armhf 14.2.0-17ubuntu3 [1030 B] 256s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-arm-linux-gnueabihf armhf 4:14.2.0-1ubuntu1 [5578 B] 256s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf cpp armhf 4:14.2.0-1ubuntu1 [22.4 kB] 256s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf libcc1-0 armhf 15-20250222-0ubuntu1 [38.9 kB] 256s Get:13 http://ftpmaster.internal/ubuntu plucky/main armhf libgomp1 armhf 15-20250222-0ubuntu1 [128 kB] 256s Get:14 http://ftpmaster.internal/ubuntu plucky/main armhf libasan8 armhf 15-20250222-0ubuntu1 [2955 kB] 260s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf libubsan1 armhf 15-20250222-0ubuntu1 [1191 kB] 261s Get:16 http://ftpmaster.internal/ubuntu plucky/main armhf libgcc-14-dev armhf 14.2.0-17ubuntu3 [897 kB] 262s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14-arm-linux-gnueabihf armhf 14.2.0-17ubuntu3 [18.0 MB] 282s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14 armhf 14.2.0-17ubuntu3 [506 kB] 283s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-arm-linux-gnueabihf armhf 4:14.2.0-1ubuntu1 [1218 B] 283s Get:20 http://ftpmaster.internal/ubuntu plucky/main armhf gcc armhf 4:14.2.0-1ubuntu1 [5004 B] 283s Get:21 http://ftpmaster.internal/ubuntu plucky/main armhf libstdc++-14-dev armhf 14.2.0-17ubuntu3 [2573 kB] 286s Get:22 http://ftpmaster.internal/ubuntu plucky/main armhf g++-14-arm-linux-gnueabihf armhf 14.2.0-17ubuntu3 [10.5 MB] 297s Get:23 http://ftpmaster.internal/ubuntu plucky/main armhf g++-14 armhf 14.2.0-17ubuntu3 [21.8 kB] 298s Get:24 http://ftpmaster.internal/ubuntu plucky/main armhf g++-arm-linux-gnueabihf armhf 4:14.2.0-1ubuntu1 [966 B] 298s Get:25 http://ftpmaster.internal/ubuntu plucky/main armhf g++ armhf 4:14.2.0-1ubuntu1 [1084 B] 298s Get:26 http://ftpmaster.internal/ubuntu plucky/main armhf build-essential armhf 12.10ubuntu1 [4928 B] 298s Get:27 http://ftpmaster.internal/ubuntu plucky/main armhf libpkgconf3 armhf 1.8.1-4 [26.6 kB] 298s Get:28 http://ftpmaster.internal/ubuntu plucky/main armhf pkgconf-bin armhf 1.8.1-4 [21.2 kB] 298s Get:29 http://ftpmaster.internal/ubuntu plucky/main armhf pkgconf armhf 1.8.1-4 [16.8 kB] 298s Get:30 http://ftpmaster.internal/ubuntu plucky/main armhf pkg-config armhf 1.8.1-4 [7362 B] 298s Get:31 http://ftpmaster.internal/ubuntu plucky/universe armhf libz3-4 armhf 4.13.3-1 [8119 kB] 307s Get:32 http://ftpmaster.internal/ubuntu plucky/universe armhf libz3-dev armhf 4.13.3-1 [80.2 kB] 308s Get:33 http://ftpmaster.internal/ubuntu plucky/universe armhf python3-z3 armhf 4.13.3-1 [85.0 kB] 308s Get:34 http://ftpmaster.internal/ubuntu plucky/universe armhf z3 armhf 4.13.3-1 [8134 kB] 318s Fetched 66.4 MB in 1min 17s (865 kB/s) 318s Selecting previously unselected package libc-dev-bin. 318s (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 ... 64655 files and directories currently installed.) 318s Preparing to unpack .../00-libc-dev-bin_2.41-1ubuntu2_armhf.deb ... 318s Unpacking libc-dev-bin (2.41-1ubuntu2) ... 318s Selecting previously unselected package linux-libc-dev:armhf. 318s Preparing to unpack .../01-linux-libc-dev_6.14.0-10.10_armhf.deb ... 318s Unpacking linux-libc-dev:armhf (6.14.0-10.10) ... 318s Selecting previously unselected package libcrypt-dev:armhf. 318s Preparing to unpack .../02-libcrypt-dev_1%3a4.4.38-1_armhf.deb ... 318s Unpacking libcrypt-dev:armhf (1:4.4.38-1) ... 318s Selecting previously unselected package rpcsvc-proto. 318s Preparing to unpack .../03-rpcsvc-proto_1.4.2-0ubuntu7_armhf.deb ... 318s Unpacking rpcsvc-proto (1.4.2-0ubuntu7) ... 318s Selecting previously unselected package libc6-dev:armhf. 318s Preparing to unpack .../04-libc6-dev_2.41-1ubuntu2_armhf.deb ... 318s Unpacking libc6-dev:armhf (2.41-1ubuntu2) ... 318s Selecting previously unselected package libisl23:armhf. 318s Preparing to unpack .../05-libisl23_0.27-1_armhf.deb ... 318s Unpacking libisl23:armhf (0.27-1) ... 318s Selecting previously unselected package libmpc3:armhf. 318s Preparing to unpack .../06-libmpc3_1.3.1-1build2_armhf.deb ... 318s Unpacking libmpc3:armhf (1.3.1-1build2) ... 318s Selecting previously unselected package cpp-14-arm-linux-gnueabihf. 318s Preparing to unpack .../07-cpp-14-arm-linux-gnueabihf_14.2.0-17ubuntu3_armhf.deb ... 318s Unpacking cpp-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 318s Selecting previously unselected package cpp-14. 319s Preparing to unpack .../08-cpp-14_14.2.0-17ubuntu3_armhf.deb ... 319s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 319s Selecting previously unselected package cpp-arm-linux-gnueabihf. 319s Preparing to unpack .../09-cpp-arm-linux-gnueabihf_4%3a14.2.0-1ubuntu1_armhf.deb ... 319s Unpacking cpp-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 319s Selecting previously unselected package cpp. 319s Preparing to unpack .../10-cpp_4%3a14.2.0-1ubuntu1_armhf.deb ... 319s Unpacking cpp (4:14.2.0-1ubuntu1) ... 319s Selecting previously unselected package libcc1-0:armhf. 319s Preparing to unpack .../11-libcc1-0_15-20250222-0ubuntu1_armhf.deb ... 319s Unpacking libcc1-0:armhf (15-20250222-0ubuntu1) ... 319s Selecting previously unselected package libgomp1:armhf. 319s Preparing to unpack .../12-libgomp1_15-20250222-0ubuntu1_armhf.deb ... 319s Unpacking libgomp1:armhf (15-20250222-0ubuntu1) ... 319s Selecting previously unselected package libasan8:armhf. 319s Preparing to unpack .../13-libasan8_15-20250222-0ubuntu1_armhf.deb ... 319s Unpacking libasan8:armhf (15-20250222-0ubuntu1) ... 319s Selecting previously unselected package libubsan1:armhf. 319s Preparing to unpack .../14-libubsan1_15-20250222-0ubuntu1_armhf.deb ... 319s Unpacking libubsan1:armhf (15-20250222-0ubuntu1) ... 319s Selecting previously unselected package libgcc-14-dev:armhf. 319s Preparing to unpack .../15-libgcc-14-dev_14.2.0-17ubuntu3_armhf.deb ... 319s Unpacking libgcc-14-dev:armhf (14.2.0-17ubuntu3) ... 319s Selecting previously unselected package gcc-14-arm-linux-gnueabihf. 319s Preparing to unpack .../16-gcc-14-arm-linux-gnueabihf_14.2.0-17ubuntu3_armhf.deb ... 319s Unpacking gcc-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 319s Selecting previously unselected package gcc-14. 320s Preparing to unpack .../17-gcc-14_14.2.0-17ubuntu3_armhf.deb ... 320s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 320s Selecting previously unselected package gcc-arm-linux-gnueabihf. 320s Preparing to unpack .../18-gcc-arm-linux-gnueabihf_4%3a14.2.0-1ubuntu1_armhf.deb ... 320s Unpacking gcc-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 320s Selecting previously unselected package gcc. 320s Preparing to unpack .../19-gcc_4%3a14.2.0-1ubuntu1_armhf.deb ... 320s Unpacking gcc (4:14.2.0-1ubuntu1) ... 320s Selecting previously unselected package libstdc++-14-dev:armhf. 320s Preparing to unpack .../20-libstdc++-14-dev_14.2.0-17ubuntu3_armhf.deb ... 320s Unpacking libstdc++-14-dev:armhf (14.2.0-17ubuntu3) ... 320s Selecting previously unselected package g++-14-arm-linux-gnueabihf. 320s Preparing to unpack .../21-g++-14-arm-linux-gnueabihf_14.2.0-17ubuntu3_armhf.deb ... 320s Unpacking g++-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 320s Selecting previously unselected package g++-14. 320s Preparing to unpack .../22-g++-14_14.2.0-17ubuntu3_armhf.deb ... 320s Unpacking g++-14 (14.2.0-17ubuntu3) ... 320s Selecting previously unselected package g++-arm-linux-gnueabihf. 320s Preparing to unpack .../23-g++-arm-linux-gnueabihf_4%3a14.2.0-1ubuntu1_armhf.deb ... 320s Unpacking g++-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 320s Selecting previously unselected package g++. 320s Preparing to unpack .../24-g++_4%3a14.2.0-1ubuntu1_armhf.deb ... 320s Unpacking g++ (4:14.2.0-1ubuntu1) ... 320s Selecting previously unselected package build-essential. 320s Preparing to unpack .../25-build-essential_12.10ubuntu1_armhf.deb ... 320s Unpacking build-essential (12.10ubuntu1) ... 320s Selecting previously unselected package libpkgconf3:armhf. 320s Preparing to unpack .../26-libpkgconf3_1.8.1-4_armhf.deb ... 320s Unpacking libpkgconf3:armhf (1.8.1-4) ... 320s Selecting previously unselected package pkgconf-bin. 320s Preparing to unpack .../27-pkgconf-bin_1.8.1-4_armhf.deb ... 320s Unpacking pkgconf-bin (1.8.1-4) ... 320s Selecting previously unselected package pkgconf:armhf. 320s Preparing to unpack .../28-pkgconf_1.8.1-4_armhf.deb ... 320s Unpacking pkgconf:armhf (1.8.1-4) ... 320s Selecting previously unselected package pkg-config:armhf. 320s Preparing to unpack .../29-pkg-config_1.8.1-4_armhf.deb ... 320s Unpacking pkg-config:armhf (1.8.1-4) ... 320s Selecting previously unselected package libz3-4:armhf. 321s Preparing to unpack .../30-libz3-4_4.13.3-1_armhf.deb ... 321s Unpacking libz3-4:armhf (4.13.3-1) ... 321s Selecting previously unselected package libz3-dev:armhf. 321s Preparing to unpack .../31-libz3-dev_4.13.3-1_armhf.deb ... 321s Unpacking libz3-dev:armhf (4.13.3-1) ... 321s Selecting previously unselected package python3-z3. 321s Preparing to unpack .../32-python3-z3_4.13.3-1_armhf.deb ... 321s Unpacking python3-z3 (4.13.3-1) ... 321s Selecting previously unselected package z3. 321s Preparing to unpack .../33-z3_4.13.3-1_armhf.deb ... 321s Unpacking z3 (4.13.3-1) ... 321s Setting up linux-libc-dev:armhf (6.14.0-10.10) ... 321s Setting up libgomp1:armhf (15-20250222-0ubuntu1) ... 321s Setting up z3 (4.13.3-1) ... 321s Setting up libz3-4:armhf (4.13.3-1) ... 321s Setting up libpkgconf3:armhf (1.8.1-4) ... 321s Setting up rpcsvc-proto (1.4.2-0ubuntu7) ... 321s Setting up libmpc3:armhf (1.3.1-1build2) ... 321s Setting up pkgconf-bin (1.8.1-4) ... 321s Setting up libubsan1:armhf (15-20250222-0ubuntu1) ... 321s Setting up libcrypt-dev:armhf (1:4.4.38-1) ... 321s Setting up libasan8:armhf (15-20250222-0ubuntu1) ... 321s Setting up libgcc-14-dev:armhf (14.2.0-17ubuntu3) ... 321s Setting up libisl23:armhf (0.27-1) ... 321s Setting up libc-dev-bin (2.41-1ubuntu2) ... 321s Setting up libcc1-0:armhf (15-20250222-0ubuntu1) ... 321s Setting up cpp-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 321s Setting up libz3-dev:armhf (4.13.3-1) ... 321s Setting up gcc-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 321s Setting up pkgconf:armhf (1.8.1-4) ... 321s Setting up pkg-config:armhf (1.8.1-4) ... 321s Setting up cpp-14 (14.2.0-17ubuntu3) ... 321s Setting up libc6-dev:armhf (2.41-1ubuntu2) ... 321s Setting up libstdc++-14-dev:armhf (14.2.0-17ubuntu3) ... 321s Setting up cpp-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 321s Setting up gcc-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 321s Setting up python3-z3 (4.13.3-1) ... 321s Setting up g++-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 321s Setting up gcc-14 (14.2.0-17ubuntu3) ... 321s Setting up cpp (4:14.2.0-1ubuntu1) ... 321s Setting up g++-14 (14.2.0-17ubuntu3) ... 321s Setting up g++-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 321s Setting up gcc (4:14.2.0-1ubuntu1) ... 321s Setting up g++ (4:14.2.0-1ubuntu1) ... 321s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 321s Setting up build-essential (12.10ubuntu1) ... 321s Processing triggers for man-db (2.13.0-1) ... 322s Processing triggers for libc-bin (2.41-1ubuntu2) ... 333s autopkgtest [18:34:29]: test import-z3-test: [----------------------- 335s autopkgtest [18:34:31]: test import-z3-test: -----------------------] 339s autopkgtest [18:34:35]: test import-z3-test: - - - - - - - - - - results - - - - - - - - - - 339s import-z3-test PASS (superficial) 344s autopkgtest [18:34:40]: test include-z3-test: preparing testbed 346s Reading package lists... 346s Building dependency tree... 346s Reading state information... 346s Starting pkgProblemResolver with broken count: 0 347s Starting 2 pkgProblemResolver with broken count: 0 347s Done 347s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 358s autopkgtest [18:34:54]: test include-z3-test: [----------------------- 363s autopkgtest [18:34:59]: test include-z3-test: -----------------------] 367s include-z3-test PASS (superficial) 367s autopkgtest [18:35:03]: test include-z3-test: - - - - - - - - - - results - - - - - - - - - - 370s autopkgtest [18:35:06]: test run-z3-test: preparing testbed 372s Reading package lists... 372s Building dependency tree... 372s Reading state information... 373s Starting pkgProblemResolver with broken count: 0 373s Starting 2 pkgProblemResolver with broken count: 0 373s Done 374s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 385s autopkgtest [18:35:21]: test run-z3-test: [----------------------- 387s autopkgtest [18:35:23]: test run-z3-test: -----------------------] 391s autopkgtest [18:35:27]: test run-z3-test: - - - - - - - - - - results - - - - - - - - - - 391s run-z3-test PASS (superficial) 394s autopkgtest [18:35:30]: test pkg-config-test: preparing testbed 396s Reading package lists... 396s Building dependency tree... 396s Reading state information... 397s Starting pkgProblemResolver with broken count: 0 397s Starting 2 pkgProblemResolver with broken count: 0 397s Done 398s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 409s autopkgtest [18:35:45]: test pkg-config-test: [----------------------- 412s autopkgtest [18:35:48]: test pkg-config-test: -----------------------] 416s pkg-config-test PASS (superficial) 416s autopkgtest [18:35:52]: test pkg-config-test: - - - - - - - - - - results - - - - - - - - - - 419s autopkgtest [18:35:55]: test z3-int-logic-test: preparing testbed 442s autopkgtest [18:36:18]: testbed dpkg architecture: armhf 444s autopkgtest [18:36:20]: testbed apt version: 2.9.33 447s autopkgtest [18:36:23]: @@@@@@@@@@@@@@@@@@@@ test bed setup 449s autopkgtest [18:36:25]: testbed release detected to be: plucky 456s autopkgtest [18:36:32]: updating testbed package index (apt update) 458s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 459s Get:2 http://ftpmaster.internal/ubuntu plucky InRelease [257 kB] 459s Get:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease [126 kB] 459s Get:4 http://ftpmaster.internal/ubuntu plucky-security InRelease [126 kB] 459s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 459s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 460s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 460s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [114 kB] 460s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf c-n-f Metadata [1832 B] 460s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted armhf c-n-f Metadata [116 B] 460s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [312 kB] 460s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf c-n-f Metadata [11.1 kB] 460s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf Packages [3472 B] 460s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf c-n-f Metadata [240 B] 460s Get:15 http://ftpmaster.internal/ubuntu plucky/multiverse Sources [299 kB] 460s Get:16 http://ftpmaster.internal/ubuntu plucky/universe Sources [21.0 MB] 478s Get:17 http://ftpmaster.internal/ubuntu plucky/main Sources [1394 kB] 480s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf Packages [1378 kB] 481s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf c-n-f Metadata [29.4 kB] 481s Get:20 http://ftpmaster.internal/ubuntu plucky/restricted armhf c-n-f Metadata [108 B] 481s Get:21 http://ftpmaster.internal/ubuntu plucky/universe armhf Packages [15.1 MB] 492s Get:22 http://ftpmaster.internal/ubuntu plucky/multiverse armhf Packages [172 kB] 494s Fetched 41.0 MB in 36s (1144 kB/s) 495s Reading package lists... 501s autopkgtest [18:37:17]: upgrading testbed (apt dist-upgrade and autopurge) 502s Reading package lists... 503s Building dependency tree... 503s Reading state information... 504s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 505s Starting 2 pkgProblemResolver with broken count: 0 505s Done 507s Entering ResolveByKeep 507s 508s Calculating upgrade... 509s The following packages will be upgraded: 509s libc-bin libc6 locales pinentry-curses python3-jinja2 sos strace 509s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 509s Need to get 8683 kB of archives. 509s After this operation, 23.6 kB of additional disk space will be used. 509s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6 armhf 2.41-1ubuntu2 [2932 kB] 512s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-bin armhf 2.41-1ubuntu2 [545 kB] 512s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf locales all 2.41-1ubuntu2 [4246 kB] 516s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf strace armhf 6.13+ds-1ubuntu1 [445 kB] 516s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf pinentry-curses armhf 1.3.1-2ubuntu3 [40.6 kB] 516s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 516s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf sos all 4.9.0-5 [365 kB] 517s Preconfiguring packages ... 517s Fetched 8683 kB in 7s (1187 kB/s) 517s (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 ... 64655 files and directories currently installed.) 517s Preparing to unpack .../libc6_2.41-1ubuntu2_armhf.deb ... 517s Unpacking libc6:armhf (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 518s Setting up libc6:armhf (2.41-1ubuntu2) ... 518s (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 ... 64655 files and directories currently installed.) 518s Preparing to unpack .../libc-bin_2.41-1ubuntu2_armhf.deb ... 518s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 518s Setting up libc-bin (2.41-1ubuntu2) ... 518s (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 ... 64655 files and directories currently installed.) 518s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 518s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 519s Preparing to unpack .../strace_6.13+ds-1ubuntu1_armhf.deb ... 519s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 519s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_armhf.deb ... 519s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 519s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 519s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 519s Preparing to unpack .../archives/sos_4.9.0-5_all.deb ... 520s Unpacking sos (4.9.0-5) over (4.9.0-4) ... 520s Setting up sos (4.9.0-5) ... 520s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 520s Setting up locales (2.41-1ubuntu2) ... 522s Generating locales (this might take a while)... 526s en_US.UTF-8... done 526s Generation complete. 526s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 527s Setting up strace (6.13+ds-1ubuntu1) ... 527s Processing triggers for man-db (2.13.0-1) ... 528s Processing triggers for systemd (257.3-1ubuntu3) ... 530s Reading package lists... 531s Building dependency tree... 531s Reading state information... 532s Starting pkgProblemResolver with broken count: 0 532s Starting 2 pkgProblemResolver with broken count: 0 532s Done 533s Solving dependencies... 534s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 536s autopkgtest [18:37:52]: rebooting testbed after setup commands that affected boot 598s Reading package lists... 598s Building dependency tree... 598s Reading state information... 599s Starting pkgProblemResolver with broken count: 0 599s Starting 2 pkgProblemResolver with broken count: 0 600s Done 601s The following NEW packages will be installed: 601s build-essential cpp cpp-14 cpp-14-arm-linux-gnueabihf 601s cpp-arm-linux-gnueabihf g++ g++-14 g++-14-arm-linux-gnueabihf 601s g++-arm-linux-gnueabihf gcc gcc-14 gcc-14-arm-linux-gnueabihf 601s gcc-arm-linux-gnueabihf libasan8 libc-dev-bin libc6-dev libcc1-0 601s libcrypt-dev libgcc-14-dev libgomp1 libisl23 libmpc3 libstdc++-14-dev 601s libubsan1 libz3-4 libz3-dev linux-libc-dev python3-z3 rpcsvc-proto z3 602s 0 upgraded, 30 newly installed, 0 to remove and 0 not upgraded. 602s Need to get 66.3 MB of archives. 602s After this operation, 181 MB of additional disk space will be used. 602s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-dev-bin armhf 2.41-1ubuntu2 [23.0 kB] 602s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf linux-libc-dev armhf 6.14.0-10.10 [1683 kB] 603s Get:3 http://ftpmaster.internal/ubuntu plucky/main armhf libcrypt-dev armhf 1:4.4.38-1 [120 kB] 603s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf rpcsvc-proto armhf 1.4.2-0ubuntu7 [62.2 kB] 603s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6-dev armhf 2.41-1ubuntu2 [1396 kB] 604s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf libisl23 armhf 0.27-1 [546 kB] 604s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf libmpc3 armhf 1.3.1-1build2 [47.1 kB] 604s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14-arm-linux-gnueabihf armhf 14.2.0-17ubuntu3 [9220 kB] 611s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14 armhf 14.2.0-17ubuntu3 [1030 B] 611s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-arm-linux-gnueabihf armhf 4:14.2.0-1ubuntu1 [5578 B] 611s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf cpp armhf 4:14.2.0-1ubuntu1 [22.4 kB] 611s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf libcc1-0 armhf 15-20250222-0ubuntu1 [38.9 kB] 611s Get:13 http://ftpmaster.internal/ubuntu plucky/main armhf libgomp1 armhf 15-20250222-0ubuntu1 [128 kB] 611s Get:14 http://ftpmaster.internal/ubuntu plucky/main armhf libasan8 armhf 15-20250222-0ubuntu1 [2955 kB] 613s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf libubsan1 armhf 15-20250222-0ubuntu1 [1191 kB] 614s Get:16 http://ftpmaster.internal/ubuntu plucky/main armhf libgcc-14-dev armhf 14.2.0-17ubuntu3 [897 kB] 614s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14-arm-linux-gnueabihf armhf 14.2.0-17ubuntu3 [18.0 MB] 626s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14 armhf 14.2.0-17ubuntu3 [506 kB] 626s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-arm-linux-gnueabihf armhf 4:14.2.0-1ubuntu1 [1218 B] 626s Get:20 http://ftpmaster.internal/ubuntu plucky/main armhf gcc armhf 4:14.2.0-1ubuntu1 [5004 B] 626s Get:21 http://ftpmaster.internal/ubuntu plucky/main armhf libstdc++-14-dev armhf 14.2.0-17ubuntu3 [2573 kB] 628s Get:22 http://ftpmaster.internal/ubuntu plucky/main armhf g++-14-arm-linux-gnueabihf armhf 14.2.0-17ubuntu3 [10.5 MB] 637s Get:23 http://ftpmaster.internal/ubuntu plucky/main armhf g++-14 armhf 14.2.0-17ubuntu3 [21.8 kB] 637s Get:24 http://ftpmaster.internal/ubuntu plucky/main armhf g++-arm-linux-gnueabihf armhf 4:14.2.0-1ubuntu1 [966 B] 637s Get:25 http://ftpmaster.internal/ubuntu plucky/main armhf g++ armhf 4:14.2.0-1ubuntu1 [1084 B] 637s Get:26 http://ftpmaster.internal/ubuntu plucky/main armhf build-essential armhf 12.10ubuntu1 [4928 B] 637s Get:27 http://ftpmaster.internal/ubuntu plucky/universe armhf libz3-4 armhf 4.13.3-1 [8119 kB] 642s Get:28 http://ftpmaster.internal/ubuntu plucky/universe armhf libz3-dev armhf 4.13.3-1 [80.2 kB] 642s Get:29 http://ftpmaster.internal/ubuntu plucky/universe armhf python3-z3 armhf 4.13.3-1 [85.0 kB] 642s Get:30 http://ftpmaster.internal/ubuntu plucky/universe armhf z3 armhf 4.13.3-1 [8134 kB] 649s Fetched 66.3 MB in 47s (1402 kB/s) 650s Selecting previously unselected package libc-dev-bin. 650s (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 ... 64655 files and directories currently installed.) 650s Preparing to unpack .../00-libc-dev-bin_2.41-1ubuntu2_armhf.deb ... 650s Unpacking libc-dev-bin (2.41-1ubuntu2) ... 650s Selecting previously unselected package linux-libc-dev:armhf. 650s Preparing to unpack .../01-linux-libc-dev_6.14.0-10.10_armhf.deb ... 650s Unpacking linux-libc-dev:armhf (6.14.0-10.10) ... 650s Selecting previously unselected package libcrypt-dev:armhf. 650s Preparing to unpack .../02-libcrypt-dev_1%3a4.4.38-1_armhf.deb ... 650s Unpacking libcrypt-dev:armhf (1:4.4.38-1) ... 650s Selecting previously unselected package rpcsvc-proto. 650s Preparing to unpack .../03-rpcsvc-proto_1.4.2-0ubuntu7_armhf.deb ... 650s Unpacking rpcsvc-proto (1.4.2-0ubuntu7) ... 650s Selecting previously unselected package libc6-dev:armhf. 650s Preparing to unpack .../04-libc6-dev_2.41-1ubuntu2_armhf.deb ... 650s Unpacking libc6-dev:armhf (2.41-1ubuntu2) ... 650s Selecting previously unselected package libisl23:armhf. 650s Preparing to unpack .../05-libisl23_0.27-1_armhf.deb ... 650s Unpacking libisl23:armhf (0.27-1) ... 650s Selecting previously unselected package libmpc3:armhf. 650s Preparing to unpack .../06-libmpc3_1.3.1-1build2_armhf.deb ... 650s Unpacking libmpc3:armhf (1.3.1-1build2) ... 650s Selecting previously unselected package cpp-14-arm-linux-gnueabihf. 650s Preparing to unpack .../07-cpp-14-arm-linux-gnueabihf_14.2.0-17ubuntu3_armhf.deb ... 650s Unpacking cpp-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 650s Selecting previously unselected package cpp-14. 650s Preparing to unpack .../08-cpp-14_14.2.0-17ubuntu3_armhf.deb ... 650s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 651s Selecting previously unselected package cpp-arm-linux-gnueabihf. 651s Preparing to unpack .../09-cpp-arm-linux-gnueabihf_4%3a14.2.0-1ubuntu1_armhf.deb ... 651s Unpacking cpp-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 651s Selecting previously unselected package cpp. 651s Preparing to unpack .../10-cpp_4%3a14.2.0-1ubuntu1_armhf.deb ... 651s Unpacking cpp (4:14.2.0-1ubuntu1) ... 651s Selecting previously unselected package libcc1-0:armhf. 651s Preparing to unpack .../11-libcc1-0_15-20250222-0ubuntu1_armhf.deb ... 651s Unpacking libcc1-0:armhf (15-20250222-0ubuntu1) ... 651s Selecting previously unselected package libgomp1:armhf. 651s Preparing to unpack .../12-libgomp1_15-20250222-0ubuntu1_armhf.deb ... 651s Unpacking libgomp1:armhf (15-20250222-0ubuntu1) ... 651s Selecting previously unselected package libasan8:armhf. 651s Preparing to unpack .../13-libasan8_15-20250222-0ubuntu1_armhf.deb ... 651s Unpacking libasan8:armhf (15-20250222-0ubuntu1) ... 651s Selecting previously unselected package libubsan1:armhf. 651s Preparing to unpack .../14-libubsan1_15-20250222-0ubuntu1_armhf.deb ... 651s Unpacking libubsan1:armhf (15-20250222-0ubuntu1) ... 651s Selecting previously unselected package libgcc-14-dev:armhf. 651s Preparing to unpack .../15-libgcc-14-dev_14.2.0-17ubuntu3_armhf.deb ... 651s Unpacking libgcc-14-dev:armhf (14.2.0-17ubuntu3) ... 651s Selecting previously unselected package gcc-14-arm-linux-gnueabihf. 651s Preparing to unpack .../16-gcc-14-arm-linux-gnueabihf_14.2.0-17ubuntu3_armhf.deb ... 651s Unpacking gcc-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 652s Selecting previously unselected package gcc-14. 652s Preparing to unpack .../17-gcc-14_14.2.0-17ubuntu3_armhf.deb ... 652s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 652s Selecting previously unselected package gcc-arm-linux-gnueabihf. 652s Preparing to unpack .../18-gcc-arm-linux-gnueabihf_4%3a14.2.0-1ubuntu1_armhf.deb ... 652s Unpacking gcc-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 652s Selecting previously unselected package gcc. 652s Preparing to unpack .../19-gcc_4%3a14.2.0-1ubuntu1_armhf.deb ... 652s Unpacking gcc (4:14.2.0-1ubuntu1) ... 652s Selecting previously unselected package libstdc++-14-dev:armhf. 652s Preparing to unpack .../20-libstdc++-14-dev_14.2.0-17ubuntu3_armhf.deb ... 652s Unpacking libstdc++-14-dev:armhf (14.2.0-17ubuntu3) ... 652s Selecting previously unselected package g++-14-arm-linux-gnueabihf. 652s Preparing to unpack .../21-g++-14-arm-linux-gnueabihf_14.2.0-17ubuntu3_armhf.deb ... 652s Unpacking g++-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 652s Selecting previously unselected package g++-14. 652s Preparing to unpack .../22-g++-14_14.2.0-17ubuntu3_armhf.deb ... 652s Unpacking g++-14 (14.2.0-17ubuntu3) ... 652s Selecting previously unselected package g++-arm-linux-gnueabihf. 652s Preparing to unpack .../23-g++-arm-linux-gnueabihf_4%3a14.2.0-1ubuntu1_armhf.deb ... 652s Unpacking g++-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 652s Selecting previously unselected package g++. 652s Preparing to unpack .../24-g++_4%3a14.2.0-1ubuntu1_armhf.deb ... 652s Unpacking g++ (4:14.2.0-1ubuntu1) ... 652s Selecting previously unselected package build-essential. 652s Preparing to unpack .../25-build-essential_12.10ubuntu1_armhf.deb ... 652s Unpacking build-essential (12.10ubuntu1) ... 652s Selecting previously unselected package libz3-4:armhf. 652s Preparing to unpack .../26-libz3-4_4.13.3-1_armhf.deb ... 652s Unpacking libz3-4:armhf (4.13.3-1) ... 653s Selecting previously unselected package libz3-dev:armhf. 653s Preparing to unpack .../27-libz3-dev_4.13.3-1_armhf.deb ... 653s Unpacking libz3-dev:armhf (4.13.3-1) ... 653s Selecting previously unselected package python3-z3. 653s Preparing to unpack .../28-python3-z3_4.13.3-1_armhf.deb ... 653s Unpacking python3-z3 (4.13.3-1) ... 653s Selecting previously unselected package z3. 653s Preparing to unpack .../29-z3_4.13.3-1_armhf.deb ... 653s Unpacking z3 (4.13.3-1) ... 653s Setting up linux-libc-dev:armhf (6.14.0-10.10) ... 653s Setting up libgomp1:armhf (15-20250222-0ubuntu1) ... 653s Setting up z3 (4.13.3-1) ... 653s Setting up libz3-4:armhf (4.13.3-1) ... 653s Setting up rpcsvc-proto (1.4.2-0ubuntu7) ... 653s Setting up libmpc3:armhf (1.3.1-1build2) ... 653s Setting up libubsan1:armhf (15-20250222-0ubuntu1) ... 653s Setting up libcrypt-dev:armhf (1:4.4.38-1) ... 653s Setting up libasan8:armhf (15-20250222-0ubuntu1) ... 653s Setting up libgcc-14-dev:armhf (14.2.0-17ubuntu3) ... 653s Setting up libisl23:armhf (0.27-1) ... 653s Setting up libc-dev-bin (2.41-1ubuntu2) ... 653s Setting up libcc1-0:armhf (15-20250222-0ubuntu1) ... 653s Setting up cpp-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 653s Setting up libz3-dev:armhf (4.13.3-1) ... 653s Setting up gcc-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 653s Setting up cpp-14 (14.2.0-17ubuntu3) ... 653s Setting up libc6-dev:armhf (2.41-1ubuntu2) ... 653s Setting up libstdc++-14-dev:armhf (14.2.0-17ubuntu3) ... 653s Setting up cpp-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 653s Setting up gcc-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 653s Setting up python3-z3 (4.13.3-1) ... 653s Setting up g++-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 653s Setting up gcc-14 (14.2.0-17ubuntu3) ... 653s Setting up cpp (4:14.2.0-1ubuntu1) ... 653s Setting up g++-14 (14.2.0-17ubuntu3) ... 653s Setting up g++-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 653s Setting up gcc (4:14.2.0-1ubuntu1) ... 653s Setting up g++ (4:14.2.0-1ubuntu1) ... 653s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 653s Setting up build-essential (12.10ubuntu1) ... 653s Processing triggers for man-db (2.13.0-1) ... 654s Processing triggers for libc-bin (2.41-1ubuntu2) ... 677s autopkgtest [18:40:13]: test z3-int-logic-test: [----------------------- 679s autopkgtest [18:40:15]: test z3-int-logic-test: -----------------------] 683s z3-int-logic-test PASS 683s autopkgtest [18:40:19]: test z3-int-logic-test: - - - - - - - - - - results - - - - - - - - - - 687s autopkgtest [18:40:23]: test python3-z3-int-logic-test: preparing testbed 688s Reading package lists... 689s Building dependency tree... 689s Reading state information... 690s Starting pkgProblemResolver with broken count: 0 690s Starting 2 pkgProblemResolver with broken count: 0 690s Done 692s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 703s autopkgtest [18:40:39]: test python3-z3-int-logic-test: [----------------------- 705s autopkgtest [18:40:41]: test python3-z3-int-logic-test: -----------------------] 709s python3-z3-int-logic-test PASS 709s autopkgtest [18:40:45]: test python3-z3-int-logic-test: - - - - - - - - - - results - - - - - - - - - - 713s autopkgtest [18:40:49]: @@@@@@@@@@@@@@@@@@@@ summary 713s import-z3-test PASS (superficial) 713s include-z3-test PASS (superficial) 713s run-z3-test PASS (superficial) 713s pkg-config-test PASS (superficial) 713s z3-int-logic-test PASS 713s python3-z3-int-logic-test PASS