0s autopkgtest [16:26:35]: starting date and time: 2025-03-15 16:26:35+0000 0s autopkgtest [16:26:35]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [16:26:35]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.yldvav_x/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade rumur --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-arm64-6.secgroup --name adt-plucky-arm64-rumur-20250315-162635-juju-7f2275-prod-proposed-migration-environment-2-fb85cb17-bdf7-43ae-ba5e-5d76aebd70a8 --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_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'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 165s autopkgtest [16:29:20]: testbed dpkg architecture: arm64 165s autopkgtest [16:29:20]: testbed apt version: 2.9.33 165s autopkgtest [16:29:20]: @@@@@@@@@@@@@@@@@@@@ test bed setup 165s autopkgtest [16:29:20]: testbed release detected to be: None 166s autopkgtest [16:29:21]: updating testbed package index (apt update) 167s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 167s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 167s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 167s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 167s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 168s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 168s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 168s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [111 kB] 168s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 c-n-f Metadata [1856 B] 168s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 c-n-f Metadata [116 B] 168s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [324 kB] 169s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 c-n-f Metadata [14.7 kB] 169s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [4948 B] 169s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 c-n-f Metadata [268 B] 169s Fetched 1078 kB in 2s (572 kB/s) 170s Reading package lists... 171s Reading package lists... 171s Building dependency tree... 171s Reading state information... 171s Calculating upgrade... 172s Calculating upgrade... 172s The following packages will be upgraded: 172s pinentry-curses python3-jinja2 strace 172s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 172s Need to get 647 kB of archives. 172s After this operation, 11.3 kB of additional disk space will be used. 172s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 strace arm64 6.13+ds-1ubuntu1 [499 kB] 173s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 pinentry-curses arm64 1.3.1-2ubuntu3 [39.2 kB] 173s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 174s Fetched 647 kB in 1s (596 kB/s) 174s (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 ... 117701 files and directories currently installed.) 174s Preparing to unpack .../strace_6.13+ds-1ubuntu1_arm64.deb ... 174s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 174s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_arm64.deb ... 174s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 174s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 174s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 174s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 174s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 174s Setting up strace (6.13+ds-1ubuntu1) ... 174s Processing triggers for man-db (2.13.0-1) ... 175s Reading package lists... 176s Building dependency tree... 176s Reading state information... 176s Solving dependencies... 176s The following packages will be REMOVED: 176s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 176s libunwind8* linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 176s linux-image-6.11.0-8-generic* linux-modules-6.11.0-8-generic* 176s linux-tools-6.11.0-8* linux-tools-6.11.0-8-generic* 177s 0 upgraded, 0 newly installed, 11 to remove and 5 not upgraded. 177s After this operation, 267 MB disk space will be freed. 177s (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 ... 117701 files and directories currently installed.) 177s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 177s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 177s Removing libpython3.12t64:arm64 (3.12.9-1) ... 177s Removing libpython3.12-stdlib:arm64 (3.12.9-1) ... 177s Removing libnsl2:arm64 (1.3.0-3build3) ... 177s Removing libpython3.12-minimal:arm64 (3.12.9-1) ... 177s Removing libunwind8:arm64 (1.6.2-3.1) ... 177s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 178s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 179s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 179s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.14.0-10-generic 179s I: /boot/initrd.img.old is now a symlink to initrd.img-6.14.0-10-generic 179s /etc/kernel/postrm.d/initramfs-tools: 179s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 180s /etc/kernel/postrm.d/zz-flash-kernel: 180s flash-kernel: Kernel 6.11.0-8-generic has been removed. 180s flash-kernel: A higher version (6.14.0-10-generic) is still installed, no reflashing required. 180s /etc/kernel/postrm.d/zz-update-grub: 180s Sourcing file `/etc/default/grub' 180s Sourcing file `/etc/default/grub.d/50-cloudimg-settings.cfg' 180s Generating grub configuration file ... 180s Found linux image: /boot/vmlinuz-6.14.0-10-generic 180s Found initrd image: /boot/initrd.img-6.14.0-10-generic 180s Warning: os-prober will not be executed to detect other bootable partitions. 180s Systems on them will not be added to the GRUB boot configuration. 180s Check GRUB_DISABLE_OS_PROBER documentation entry. 180s Adding boot menu entry for UEFI Firmware Settings ... 180s done 181s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 181s Processing triggers for libc-bin (2.41-1ubuntu1) ... 181s (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 ... 81650 files and directories currently installed.) 181s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 181s Purging configuration files for libpython3.12-minimal:arm64 (3.12.9-1) ... 181s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 181s autopkgtest [16:29:36]: upgrading testbed (apt dist-upgrade and autopurge) 181s Reading package lists... 182s Building dependency tree... 182s Reading state information... 182s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 182s Starting 2 pkgProblemResolver with broken count: 0 182s Done 183s Entering ResolveByKeep 183s 184s Calculating upgrade... 184s The following packages will be upgraded: 184s libc-bin libc-dev-bin libc6 libc6-dev locales 184s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 184s Need to get 9530 kB of archives. 184s After this operation, 0 B of additional disk space will be used. 184s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu2 [1750 kB] 186s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu2 [24.0 kB] 186s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu2 [2910 kB] 190s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu2 [600 kB] 191s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu2 [4246 kB] 196s Preconfiguring packages ... 196s Fetched 9530 kB in 11s (845 kB/s) 196s (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 ... 81647 files and directories currently installed.) 196s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_arm64.deb ... 196s Unpacking libc6-dev:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 196s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_arm64.deb ... 196s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 196s Preparing to unpack .../libc6_2.41-1ubuntu2_arm64.deb ... 196s Unpacking libc6:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 196s Setting up libc6:arm64 (2.41-1ubuntu2) ... 197s (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 ... 81647 files and directories currently installed.) 197s Preparing to unpack .../libc-bin_2.41-1ubuntu2_arm64.deb ... 197s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 197s Setting up libc-bin (2.41-1ubuntu2) ... 197s (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 ... 81647 files and directories currently installed.) 197s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 197s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 197s Setting up locales (2.41-1ubuntu2) ... 198s Generating locales (this might take a while)... 200s en_US.UTF-8... done 200s Generation complete. 200s Setting up libc-dev-bin (2.41-1ubuntu2) ... 200s Setting up libc6-dev:arm64 (2.41-1ubuntu2) ... 200s Processing triggers for man-db (2.13.0-1) ... 201s Processing triggers for systemd (257.3-1ubuntu3) ... 201s Reading package lists... 202s Building dependency tree... 202s Reading state information... 202s Starting pkgProblemResolver with broken count: 0 202s Starting 2 pkgProblemResolver with broken count: 0 202s Done 203s Solving dependencies... 203s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 203s autopkgtest [16:29:58]: rebooting testbed after setup commands that affected boot 227s autopkgtest [16:30:22]: testbed running kernel: Linux 6.14.0-10-generic #10-Ubuntu SMP PREEMPT_DYNAMIC Wed Mar 12 15:45:31 UTC 2025 230s autopkgtest [16:30:25]: @@@@@@@@@@@@@@@@@@@@ apt-source rumur 233s Get:1 http://ftpmaster.internal/ubuntu plucky/universe rumur 2025.02.02-1 (dsc) [2051 B] 233s Get:2 http://ftpmaster.internal/ubuntu plucky/universe rumur 2025.02.02-1 (tar) [353 kB] 233s Get:3 http://ftpmaster.internal/ubuntu plucky/universe rumur 2025.02.02-1 (diff) [6464 B] 233s gpgv: Signature made Sun Feb 23 17:17:52 2025 UTC 233s gpgv: using RSA key 77C9619C49D6A2CDCDF2FFAA428304A1748DCC7A 233s gpgv: Can't check signature: No public key 233s dpkg-source: warning: cannot verify inline signature for ./rumur_2025.02.02-1.dsc: no acceptable signature found 233s autopkgtest [16:30:28]: testing package rumur version 2025.02.02-1 234s autopkgtest [16:30:29]: build not needed 234s autopkgtest [16:30:29]: test librumur-api: preparing testbed 235s Reading package lists... 235s Building dependency tree... 235s Reading state information... 235s Starting pkgProblemResolver with broken count: 0 235s Starting 2 pkgProblemResolver with broken count: 0 235s Done 236s The following NEW packages will be installed: 236s build-essential cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu 236s flex g++ g++-14 g++-14-aarch64-linux-gnu g++-aarch64-linux-gnu gcc gcc-14 236s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0 libfl-dev 236s libfl2 libgcc-14-dev libgmp-dev libgmpxx4ldbl libgomp1 libhwasan0 libisl23 236s libitm1 liblsan0 libmpc3 libstdc++-14-dev libtsan2 libubsan1 m4 rumur 236s 0 upgraded, 32 newly installed, 0 to remove and 0 not upgraded. 236s Need to get 62.1 MB of archives. 236s After this operation, 218 MB of additional disk space will be used. 236s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 m4 arm64 1.4.19-7 [244 kB] 237s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 flex arm64 2.6.4-8.2build1 [291 kB] 237s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 238s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 238s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 250s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 250s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 250s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 250s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250222-0ubuntu1 [44.2 kB] 250s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250222-0ubuntu1 [146 kB] 250s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250222-0ubuntu1 [28.0 kB] 250s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250222-0ubuntu1 [2924 kB] 253s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250222-0ubuntu1 [1319 kB] 255s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250222-0ubuntu1 [2694 kB] 257s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250222-0ubuntu1 [1178 kB] 258s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250222-0ubuntu1 [1642 kB] 260s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 263s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 285s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 286s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 286s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 286s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libstdc++-14-dev arm64 14.2.0-17ubuntu3 [2499 kB] 288s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [12.1 MB] 301s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-14 arm64 14.2.0-17ubuntu3 [21.8 kB] 301s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 g++-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [956 B] 301s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 g++ arm64 4:14.2.0-1ubuntu1 [1080 B] 301s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 build-essential arm64 12.10ubuntu1 [4932 B] 301s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 libfl2 arm64 2.6.4-8.2build1 [9618 B] 301s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 libfl-dev arm64 2.6.4-8.2build1 [6286 B] 301s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-3ubuntu1 [10.1 kB] 301s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-3ubuntu1 [335 kB] 302s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 rumur arm64 2025.02.02-1 [1153 kB] 303s Fetched 62.1 MB in 1min 7s (933 kB/s) 303s Selecting previously unselected package m4. 304s (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 ... 81647 files and directories currently installed.) 304s Preparing to unpack .../00-m4_1.4.19-7_arm64.deb ... 304s Unpacking m4 (1.4.19-7) ... 304s Selecting previously unselected package flex. 304s Preparing to unpack .../01-flex_2.6.4-8.2build1_arm64.deb ... 304s Unpacking flex (2.6.4-8.2build1) ... 304s Selecting previously unselected package libisl23:arm64. 304s Preparing to unpack .../02-libisl23_0.27-1_arm64.deb ... 304s Unpacking libisl23:arm64 (0.27-1) ... 304s Selecting previously unselected package libmpc3:arm64. 304s Preparing to unpack .../03-libmpc3_1.3.1-1build2_arm64.deb ... 304s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 304s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 304s Preparing to unpack .../04-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 304s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 304s Selecting previously unselected package cpp-14. 304s Preparing to unpack .../05-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 304s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 304s Selecting previously unselected package cpp-aarch64-linux-gnu. 304s Preparing to unpack .../06-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 304s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 304s Selecting previously unselected package cpp. 304s Preparing to unpack .../07-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 304s Unpacking cpp (4:14.2.0-1ubuntu1) ... 304s Selecting previously unselected package libcc1-0:arm64. 304s Preparing to unpack .../08-libcc1-0_15-20250222-0ubuntu1_arm64.deb ... 304s Unpacking libcc1-0:arm64 (15-20250222-0ubuntu1) ... 304s Selecting previously unselected package libgomp1:arm64. 304s Preparing to unpack .../09-libgomp1_15-20250222-0ubuntu1_arm64.deb ... 304s Unpacking libgomp1:arm64 (15-20250222-0ubuntu1) ... 304s Selecting previously unselected package libitm1:arm64. 304s Preparing to unpack .../10-libitm1_15-20250222-0ubuntu1_arm64.deb ... 304s Unpacking libitm1:arm64 (15-20250222-0ubuntu1) ... 304s Selecting previously unselected package libasan8:arm64. 304s Preparing to unpack .../11-libasan8_15-20250222-0ubuntu1_arm64.deb ... 304s Unpacking libasan8:arm64 (15-20250222-0ubuntu1) ... 304s Selecting previously unselected package liblsan0:arm64. 304s Preparing to unpack .../12-liblsan0_15-20250222-0ubuntu1_arm64.deb ... 304s Unpacking liblsan0:arm64 (15-20250222-0ubuntu1) ... 304s Selecting previously unselected package libtsan2:arm64. 304s Preparing to unpack .../13-libtsan2_15-20250222-0ubuntu1_arm64.deb ... 304s Unpacking libtsan2:arm64 (15-20250222-0ubuntu1) ... 305s Selecting previously unselected package libubsan1:arm64. 305s Preparing to unpack .../14-libubsan1_15-20250222-0ubuntu1_arm64.deb ... 305s Unpacking libubsan1:arm64 (15-20250222-0ubuntu1) ... 305s Selecting previously unselected package libhwasan0:arm64. 305s Preparing to unpack .../15-libhwasan0_15-20250222-0ubuntu1_arm64.deb ... 305s Unpacking libhwasan0:arm64 (15-20250222-0ubuntu1) ... 305s Selecting previously unselected package libgcc-14-dev:arm64. 305s Preparing to unpack .../16-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 305s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 305s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 305s Preparing to unpack .../17-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 305s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 305s Selecting previously unselected package gcc-14. 305s Preparing to unpack .../18-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 305s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 305s Selecting previously unselected package gcc-aarch64-linux-gnu. 305s Preparing to unpack .../19-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 305s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 305s Selecting previously unselected package gcc. 305s Preparing to unpack .../20-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 305s Unpacking gcc (4:14.2.0-1ubuntu1) ... 305s Selecting previously unselected package libstdc++-14-dev:arm64. 305s Preparing to unpack .../21-libstdc++-14-dev_14.2.0-17ubuntu3_arm64.deb ... 305s Unpacking libstdc++-14-dev:arm64 (14.2.0-17ubuntu3) ... 305s Selecting previously unselected package g++-14-aarch64-linux-gnu. 305s Preparing to unpack .../22-g++-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 305s Unpacking g++-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 306s Selecting previously unselected package g++-14. 306s Preparing to unpack .../23-g++-14_14.2.0-17ubuntu3_arm64.deb ... 306s Unpacking g++-14 (14.2.0-17ubuntu3) ... 306s Selecting previously unselected package g++-aarch64-linux-gnu. 306s Preparing to unpack .../24-g++-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 306s Unpacking g++-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 306s Selecting previously unselected package g++. 306s Preparing to unpack .../25-g++_4%3a14.2.0-1ubuntu1_arm64.deb ... 306s Unpacking g++ (4:14.2.0-1ubuntu1) ... 306s Selecting previously unselected package build-essential. 306s Preparing to unpack .../26-build-essential_12.10ubuntu1_arm64.deb ... 306s Unpacking build-essential (12.10ubuntu1) ... 306s Selecting previously unselected package libfl2:arm64. 306s Preparing to unpack .../27-libfl2_2.6.4-8.2build1_arm64.deb ... 306s Unpacking libfl2:arm64 (2.6.4-8.2build1) ... 306s Selecting previously unselected package libfl-dev:arm64. 306s Preparing to unpack .../28-libfl-dev_2.6.4-8.2build1_arm64.deb ... 306s Unpacking libfl-dev:arm64 (2.6.4-8.2build1) ... 306s Selecting previously unselected package libgmpxx4ldbl:arm64. 306s Preparing to unpack .../29-libgmpxx4ldbl_2%3a6.3.0+dfsg-3ubuntu1_arm64.deb ... 306s Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 306s Selecting previously unselected package libgmp-dev:arm64. 306s Preparing to unpack .../30-libgmp-dev_2%3a6.3.0+dfsg-3ubuntu1_arm64.deb ... 306s Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 306s Selecting previously unselected package rumur. 306s Preparing to unpack .../31-rumur_2025.02.02-1_arm64.deb ... 306s Unpacking rumur (2025.02.02-1) ... 306s Setting up m4 (1.4.19-7) ... 306s Setting up libgomp1:arm64 (15-20250222-0ubuntu1) ... 306s Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 306s Setting up rumur (2025.02.02-1) ... 306s Setting up libmpc3:arm64 (1.3.1-1build2) ... 306s Setting up libfl2:arm64 (2.6.4-8.2build1) ... 306s Setting up libubsan1:arm64 (15-20250222-0ubuntu1) ... 306s Setting up libhwasan0:arm64 (15-20250222-0ubuntu1) ... 306s Setting up libasan8:arm64 (15-20250222-0ubuntu1) ... 306s Setting up libtsan2:arm64 (15-20250222-0ubuntu1) ... 306s Setting up libisl23:arm64 (0.27-1) ... 306s Setting up libcc1-0:arm64 (15-20250222-0ubuntu1) ... 306s Setting up liblsan0:arm64 (15-20250222-0ubuntu1) ... 306s Setting up libitm1:arm64 (15-20250222-0ubuntu1) ... 306s Setting up flex (2.6.4-8.2build1) ... 306s Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 306s Setting up libfl-dev:arm64 (2.6.4-8.2build1) ... 306s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 306s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 306s Setting up libstdc++-14-dev:arm64 (14.2.0-17ubuntu3) ... 306s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 306s Setting up cpp-14 (14.2.0-17ubuntu3) ... 306s Setting up cpp (4:14.2.0-1ubuntu1) ... 306s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 306s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 306s Setting up g++-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 306s Setting up gcc-14 (14.2.0-17ubuntu3) ... 306s Setting up g++-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 306s Setting up g++-14 (14.2.0-17ubuntu3) ... 306s Setting up gcc (4:14.2.0-1ubuntu1) ... 306s Setting up g++ (4:14.2.0-1ubuntu1) ... 306s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 306s Setting up build-essential (12.10ubuntu1) ... 306s Processing triggers for libc-bin (2.41-1ubuntu2) ... 306s Processing triggers for man-db (2.13.0-1) ... 307s Processing triggers for install-info (7.1.1-1) ... 309s autopkgtest [16:31:44]: test librumur-api: [----------------------- 309s + mkdir -p /tmp/autopkgtest.UkErvp/autopkgtest_tmp/librumur-api 309s + cd /tmp/autopkgtest.UkErvp/autopkgtest_tmp/librumur-api 309s + cat - 309s + cat - 309s + c++ -std=c++11 main.cc -lrumur -lgmpxx -lgmp 310s + ./a.out 310s autopkgtest [16:31:45]: test librumur-api: -----------------------] 311s librumur-api PASS 311s autopkgtest [16:31:46]: test librumur-api: - - - - - - - - - - results - - - - - - - - - - 311s autopkgtest [16:31:46]: test murphi2c-header: preparing testbed 311s Reading package lists... 312s Building dependency tree... 312s Reading state information... 312s Starting pkgProblemResolver with broken count: 0 312s Starting 2 pkgProblemResolver with broken count: 0 312s Done 313s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 314s autopkgtest [16:31:49]: test murphi2c-header: [----------------------- 314s + mkdir -p /tmp/autopkgtest.UkErvp/autopkgtest_tmp/murphi2c-header 314s + cd /tmp/autopkgtest.UkErvp/autopkgtest_tmp/murphi2c-header 314s + cat - 314s + murphi2c --header --output model.h model.m 314s + cat - 314s + cc -std=c11 -o /dev/null main.c 314s + cat - 314s + c++ -std=c++11 -o /dev/null main.cc 315s autopkgtest [16:31:50]: test murphi2c-header: -----------------------] 315s murphi2c-header PASS 315s autopkgtest [16:31:50]: test murphi2c-header: - - - - - - - - - - results - - - - - - - - - - 316s autopkgtest [16:31:51]: test murphi2c-source: preparing testbed 316s Reading package lists... 316s Building dependency tree... 316s Reading state information... 316s Starting pkgProblemResolver with broken count: 0 317s Starting 2 pkgProblemResolver with broken count: 0 317s Done 317s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 318s autopkgtest [16:31:53]: test murphi2c-source: [----------------------- 318s + mkdir -p /tmp/autopkgtest.UkErvp/autopkgtest_tmp/murphi2c-source 318s + cd /tmp/autopkgtest.UkErvp/autopkgtest_tmp/murphi2c-source 318s + cat - 318s + murphi2c --output model.c model.m 318s + cc -std=c11 -o /dev/null -c model.c 319s autopkgtest [16:31:54]: test murphi2c-source: -----------------------] 319s autopkgtest [16:31:54]: test murphi2c-source: - - - - - - - - - - results - - - - - - - - - - 319s murphi2c-source PASS 320s autopkgtest [16:31:55]: test murphi2c-version: preparing testbed 320s Reading package lists... 320s Building dependency tree... 320s Reading state information... 321s Starting pkgProblemResolver with broken count: 0 321s Starting 2 pkgProblemResolver with broken count: 0 321s Done 322s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 322s autopkgtest [16:31:57]: test murphi2c-version: [----------------------- 323s + murphi2c --version 323s Murphi2C version v2025.02.02-1 323s autopkgtest [16:31:58]: test murphi2c-version: -----------------------] 323s autopkgtest [16:31:58]: test murphi2c-version: - - - - - - - - - - results - - - - - - - - - - 323s murphi2c-version PASS 324s autopkgtest [16:31:59]: test murphi2murphi-basic: preparing testbed 324s Reading package lists... 325s Building dependency tree... 325s Reading state information... 325s Starting pkgProblemResolver with broken count: 0 326s Starting 2 pkgProblemResolver with broken count: 0 326s Done 326s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 327s autopkgtest [16:32:02]: test murphi2murphi-basic: [----------------------- 328s + mkdir -p /tmp/autopkgtest.UkErvp/autopkgtest_tmp/murphi2murphi-basic 328s + cd /tmp/autopkgtest.UkErvp/autopkgtest_tmp/murphi2murphi-basic 328s + cat - 328s + murphi2murphi --output transformed.m --explicit-semicolons model.m 328s + rumur --output /dev/null transformed.m 328s autopkgtest [16:32:03]: test murphi2murphi-basic: -----------------------] 328s autopkgtest [16:32:03]: test murphi2murphi-basic: - - - - - - - - - - results - - - - - - - - - - 328s murphi2murphi-basic PASS 329s autopkgtest [16:32:04]: test murphi2murphi-version: preparing testbed 329s Reading package lists... 330s Building dependency tree... 330s Reading state information... 330s Starting pkgProblemResolver with broken count: 0 330s Starting 2 pkgProblemResolver with broken count: 0 330s Done 331s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 332s autopkgtest [16:32:07]: test murphi2murphi-version: [----------------------- 332s + murphi2murphi --version 332s Murphi2Murphi version v2025.02.02-1 332s autopkgtest [16:32:07]: test murphi2murphi-version: -----------------------] 333s murphi2murphi-version PASS 333s autopkgtest [16:32:08]: test murphi2murphi-version: - - - - - - - - - - results - - - - - - - - - - 333s autopkgtest [16:32:08]: test murphi2xml-model: preparing testbed 333s Reading package lists... 334s Building dependency tree... 334s Reading state information... 334s Starting pkgProblemResolver with broken count: 0 334s Starting 2 pkgProblemResolver with broken count: 0 334s Done 335s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 336s autopkgtest [16:32:11]: test murphi2xml-model: [----------------------- 336s + mkdir -p /tmp/autopkgtest.UkErvp/autopkgtest_tmp/murphi2xml-model 336s + cd /tmp/autopkgtest.UkErvp/autopkgtest_tmp/murphi2xml-model 336s + cat - 336s + murphi2xml --output /dev/null model.m 336s autopkgtest [16:32:11]: test murphi2xml-model: -----------------------] 337s murphi2xml-model PASS 337s autopkgtest [16:32:12]: test murphi2xml-model: - - - - - - - - - - results - - - - - - - - - - 337s autopkgtest [16:32:12]: test murphi2xml-version: preparing testbed 338s Reading package lists... 338s Building dependency tree... 338s Reading state information... 338s Starting pkgProblemResolver with broken count: 0 338s Starting 2 pkgProblemResolver with broken count: 0 338s Done 339s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 340s autopkgtest [16:32:15]: test murphi2xml-version: [----------------------- 341s + murphi2xml --version 341s Rumur version v2025.02.02-1 341s autopkgtest [16:32:16]: test murphi2xml-version: -----------------------] 341s murphi2xml-version PASS 341s autopkgtest [16:32:16]: test murphi2xml-version: - - - - - - - - - - results - - - - - - - - - - 342s autopkgtest [16:32:17]: test rumur-model: preparing testbed 342s Reading package lists... 342s Building dependency tree... 343s Reading state information... 343s Starting pkgProblemResolver with broken count: 0 343s Starting 2 pkgProblemResolver with broken count: 0 343s Done 344s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 345s autopkgtest [16:32:20]: test rumur-model: [----------------------- 345s + mkdir -p /tmp/autopkgtest.UkErvp/autopkgtest_tmp/rumur-model 345s + cd /tmp/autopkgtest.UkErvp/autopkgtest_tmp/rumur-model 345s + set +e 345s + cat - 345s + cc -std=c11 -march=native march-native-check.c -o /dev/null 345s + '[' 0 -eq 0 ']' 345s + MARCH=-march=native 345s + cat - 345s + cc -std=c11 -mcx16 mcx16-check.c -o /dev/null 345s cc: error: unrecognized command-line option ‘-mcx16’ 345s + '[' 1 -eq 0 ']' 345s + MCX16= 345s + cat - 345s + cc -std=c11 -march=native libatomic-check.c -o /dev/null 345s + '[' 0 -eq 0 ']' 345s + LIBATOMIC= 345s + set -e 345s + cat - 345s + rumur --output checker.c model.m 345s + cc -std=c11 -march=native checker.c -lpthread 345s checker.c:135:2: warning: #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. [-Wcpp] 345s 135 | #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. 345s | ^~~~~~~ 345s + ./a.out 345s Memory usage: 345s 345s * The size of each state is 2 bits (rounded up to 1 bytes). 345s * The size of the hash table is 65536 slots. 345s 345s Progress Report: 345s 345s 345s ========================================================================== 345s 345s Status: 345s 345s No error found. 345s 345s State Space Explored: 345s 345s 2 states, 2 rules fired in 0s. 346s autopkgtest [16:32:21]: test rumur-model: -----------------------] 346s rumur-model PASS 346s autopkgtest [16:32:21]: test rumur-model: - - - - - - - - - - results - - - - - - - - - - 347s autopkgtest [16:32:22]: test rumur-run-model: preparing testbed 347s Reading package lists... 347s Building dependency tree... 347s Reading state information... 348s Starting pkgProblemResolver with broken count: 0 348s Starting 2 pkgProblemResolver with broken count: 0 348s Done 348s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 349s autopkgtest [16:32:24]: test rumur-run-model: [----------------------- 350s + mkdir -p /tmp/autopkgtest.UkErvp/autopkgtest_tmp/rumur-run-model 350s + cd /tmp/autopkgtest.UkErvp/autopkgtest_tmp/rumur-run-model 350s + cat - 350s + rumur-run model.m 351s Memory usage: 351s 351s * The size of each state is 2 bits (rounded up to 1 bytes). 351s * The size of the hash table is 65536 slots. 351s 351s Progress Report: 351s 351s 351s ========================================================================== 351s 351s Status: 351s 351s No error found. 351s 351s State Space Explored: 351s 351s 2 states, 2 rules fired in 0s. 351s Generating the checker... 351s Compiling the checker... 351s Running the checker... 351s autopkgtest [16:32:26]: test rumur-run-model: -----------------------] 352s autopkgtest [16:32:27]: test rumur-run-model: - - - - - - - - - - results - - - - - - - - - - 352s rumur-run-model PASS 352s autopkgtest [16:32:27]: test rumur-version: preparing testbed 352s Reading package lists... 352s Building dependency tree... 352s Reading state information... 353s Starting pkgProblemResolver with broken count: 0 353s Starting 2 pkgProblemResolver with broken count: 0 353s Done 354s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 355s autopkgtest [16:32:30]: test rumur-version: [----------------------- 355s Rumur version v2025.02.02-1 355s + rumur --version 355s autopkgtest [16:32:30]: test rumur-version: -----------------------] 356s autopkgtest [16:32:31]: test rumur-version: - - - - - - - - - - results - - - - - - - - - - 356s rumur-version PASS 356s autopkgtest [16:32:31]: @@@@@@@@@@@@@@@@@@@@ summary 356s librumur-api PASS 356s murphi2c-header PASS 356s murphi2c-source PASS 356s murphi2c-version PASS 356s murphi2murphi-basic PASS 356s murphi2murphi-version PASS 356s murphi2xml-model PASS 356s murphi2xml-version PASS 356s rumur-model PASS 356s rumur-run-model PASS 356s rumur-version PASS 362s nova [W] Using flock in prodstack6-arm64 362s Creating nova instance adt-plucky-arm64-rumur-20250315-162635-juju-7f2275-prod-proposed-migration-environment-2-fb85cb17-bdf7-43ae-ba5e-5d76aebd70a8 from image adt/ubuntu-plucky-arm64-server-20250315.img (UUID bd6e766c-b51f-4b53-86d6-23aa4d18f524)... 362s nova [W] Timed out waiting for 2ec2d168-75c0-42bd-9a48-e2889b0d0607 to get deleted.