0s autopkgtest [17:07:57]: starting date and time: 2025-03-15 17:07:57+0000 0s autopkgtest [17:07:57]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [17:07:57]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.j3b0yu0y/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 rumur --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- lxd -r lxd-armhf-10.145.243.207 lxd-armhf-10.145.243.207:autopkgtest/ubuntu/plucky/armhf 23s autopkgtest [17:08:20]: testbed dpkg architecture: armhf 26s autopkgtest [17:08:23]: testbed apt version: 2.9.33 30s autopkgtest [17:08:27]: @@@@@@@@@@@@@@@@@@@@ test bed setup 32s autopkgtest [17:08:29]: testbed release detected to be: None 39s autopkgtest [17:08:36]: updating testbed package index (apt update) 41s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 42s Get:2 http://ftpmaster.internal/ubuntu plucky InRelease [257 kB] 42s Get:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease [126 kB] 42s Get:4 http://ftpmaster.internal/ubuntu plucky-security InRelease [126 kB] 42s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 42s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 43s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 43s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [114 kB] 43s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf c-n-f Metadata [1832 B] 43s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted armhf c-n-f Metadata [116 B] 43s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [312 kB] 43s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf c-n-f Metadata [11.1 kB] 43s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf Packages [3472 B] 43s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf c-n-f Metadata [240 B] 43s Get:15 http://ftpmaster.internal/ubuntu plucky/universe Sources [21.0 MB] 64s Get:16 http://ftpmaster.internal/ubuntu plucky/main Sources [1394 kB] 65s Get:17 http://ftpmaster.internal/ubuntu plucky/multiverse Sources [299 kB] 66s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf Packages [1378 kB] 67s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf c-n-f Metadata [29.4 kB] 67s Get:20 http://ftpmaster.internal/ubuntu plucky/restricted armhf c-n-f Metadata [108 B] 67s Get:21 http://ftpmaster.internal/ubuntu plucky/universe armhf Packages [15.1 MB] 81s Get:22 http://ftpmaster.internal/ubuntu plucky/multiverse armhf Packages [172 kB] 83s Fetched 41.0 MB in 42s (988 kB/s) 84s Reading package lists... 90s autopkgtest [17:09:27]: upgrading testbed (apt dist-upgrade and autopurge) 92s Reading package lists... 92s Building dependency tree... 92s Reading state information... 93s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 93s Starting 2 pkgProblemResolver with broken count: 0 93s Done 94s Entering ResolveByKeep 94s 94s Calculating upgrade... 95s The following packages will be upgraded: 95s libc-bin libc6 locales pinentry-curses python3-jinja2 sos strace 95s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 95s Need to get 8683 kB of archives. 95s After this operation, 23.6 kB of additional disk space will be used. 95s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6 armhf 2.41-1ubuntu2 [2932 kB] 98s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-bin armhf 2.41-1ubuntu2 [545 kB] 99s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf locales all 2.41-1ubuntu2 [4246 kB] 102s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf strace armhf 6.13+ds-1ubuntu1 [445 kB] 103s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf pinentry-curses armhf 1.3.1-2ubuntu3 [40.6 kB] 103s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 103s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf sos all 4.9.0-5 [365 kB] 104s Preconfiguring packages ... 104s Fetched 8683 kB in 9s (986 kB/s) 104s (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.) 104s Preparing to unpack .../libc6_2.41-1ubuntu2_armhf.deb ... 104s Unpacking libc6:armhf (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 105s Setting up libc6:armhf (2.41-1ubuntu2) ... 105s (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.) 105s Preparing to unpack .../libc-bin_2.41-1ubuntu2_armhf.deb ... 105s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 105s Setting up libc-bin (2.41-1ubuntu2) ... 105s (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.) 105s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 105s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 105s Preparing to unpack .../strace_6.13+ds-1ubuntu1_armhf.deb ... 105s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 105s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_armhf.deb ... 105s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 105s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 106s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 106s Preparing to unpack .../archives/sos_4.9.0-5_all.deb ... 106s Unpacking sos (4.9.0-5) over (4.9.0-4) ... 106s Setting up sos (4.9.0-5) ... 106s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 106s Setting up locales (2.41-1ubuntu2) ... 107s Generating locales (this might take a while)... 109s en_US.UTF-8... done 109s Generation complete. 109s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 109s Setting up strace (6.13+ds-1ubuntu1) ... 109s Processing triggers for man-db (2.13.0-1) ... 110s Processing triggers for systemd (257.3-1ubuntu3) ... 113s Reading package lists... 113s Building dependency tree... 113s Reading state information... 113s Starting pkgProblemResolver with broken count: 0 114s Starting 2 pkgProblemResolver with broken count: 0 114s Done 114s Solving dependencies... 114s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 116s autopkgtest [17:09:53]: rebooting testbed after setup commands that affected boot 159s autopkgtest [17:10:36]: 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 185s autopkgtest [17:11:02]: @@@@@@@@@@@@@@@@@@@@ apt-source rumur 196s Get:1 http://ftpmaster.internal/ubuntu plucky/universe rumur 2025.02.02-1 (dsc) [2051 B] 196s Get:2 http://ftpmaster.internal/ubuntu plucky/universe rumur 2025.02.02-1 (tar) [353 kB] 196s Get:3 http://ftpmaster.internal/ubuntu plucky/universe rumur 2025.02.02-1 (diff) [6464 B] 196s gpgv: Signature made Sun Feb 23 17:17:52 2025 UTC 196s gpgv: using RSA key 77C9619C49D6A2CDCDF2FFAA428304A1748DCC7A 196s gpgv: Can't check signature: No public key 196s dpkg-source: warning: cannot verify inline signature for ./rumur_2025.02.02-1.dsc: no acceptable signature found 196s autopkgtest [17:11:13]: testing package rumur version 2025.02.02-1 198s autopkgtest [17:11:15]: build not needed 201s autopkgtest [17:11:18]: test librumur-api: preparing testbed 203s Reading package lists... 203s Building dependency tree... 203s Reading state information... 204s Starting pkgProblemResolver with broken count: 0 204s Starting 2 pkgProblemResolver with broken count: 0 204s Done 205s The following NEW packages will be installed: 205s build-essential cpp cpp-14 cpp-14-arm-linux-gnueabihf 205s cpp-arm-linux-gnueabihf flex g++ g++-14 g++-14-arm-linux-gnueabihf 205s g++-arm-linux-gnueabihf gcc gcc-14 gcc-14-arm-linux-gnueabihf 205s gcc-arm-linux-gnueabihf libasan8 libc-dev-bin libc6-dev libcc1-0 205s libcrypt-dev libfl-dev libfl2 libgcc-14-dev libgmp-dev libgmpxx4ldbl 205s libgomp1 libisl23 libmpc3 libstdc++-14-dev libubsan1 linux-libc-dev m4 205s rpcsvc-proto rumur 205s 0 upgraded, 33 newly installed, 0 to remove and 0 not upgraded. 205s Need to get 51.8 MB of archives. 205s After this operation, 154 MB of additional disk space will be used. 205s Get:1 http://ftpmaster.internal/ubuntu plucky/main armhf m4 armhf 1.4.19-7 [238 kB] 205s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf flex armhf 2.6.4-8.2build1 [293 kB] 206s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-dev-bin armhf 2.41-1ubuntu2 [23.0 kB] 206s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf linux-libc-dev armhf 6.14.0-10.10 [1683 kB] 208s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf libcrypt-dev armhf 1:4.4.38-1 [120 kB] 208s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf rpcsvc-proto armhf 1.4.2-0ubuntu7 [62.2 kB] 208s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6-dev armhf 2.41-1ubuntu2 [1396 kB] 210s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf libisl23 armhf 0.27-1 [546 kB] 210s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf libmpc3 armhf 1.3.1-1build2 [47.1 kB] 210s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14-arm-linux-gnueabihf armhf 14.2.0-17ubuntu3 [9220 kB] 222s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14 armhf 14.2.0-17ubuntu3 [1030 B] 222s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-arm-linux-gnueabihf armhf 4:14.2.0-1ubuntu1 [5578 B] 222s Get:13 http://ftpmaster.internal/ubuntu plucky/main armhf cpp armhf 4:14.2.0-1ubuntu1 [22.4 kB] 222s Get:14 http://ftpmaster.internal/ubuntu plucky/main armhf libcc1-0 armhf 15-20250222-0ubuntu1 [38.9 kB] 222s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf libgomp1 armhf 15-20250222-0ubuntu1 [128 kB] 222s Get:16 http://ftpmaster.internal/ubuntu plucky/main armhf libasan8 armhf 15-20250222-0ubuntu1 [2955 kB] 226s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf libubsan1 armhf 15-20250222-0ubuntu1 [1191 kB] 228s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf libgcc-14-dev armhf 14.2.0-17ubuntu3 [897 kB] 229s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14-arm-linux-gnueabihf armhf 14.2.0-17ubuntu3 [18.0 MB] 252s Get:20 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14 armhf 14.2.0-17ubuntu3 [506 kB] 252s Get:21 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-arm-linux-gnueabihf armhf 4:14.2.0-1ubuntu1 [1218 B] 252s Get:22 http://ftpmaster.internal/ubuntu plucky/main armhf gcc armhf 4:14.2.0-1ubuntu1 [5004 B] 252s Get:23 http://ftpmaster.internal/ubuntu plucky/main armhf libstdc++-14-dev armhf 14.2.0-17ubuntu3 [2573 kB] 256s Get:24 http://ftpmaster.internal/ubuntu plucky/main armhf g++-14-arm-linux-gnueabihf armhf 14.2.0-17ubuntu3 [10.5 MB] 269s Get:25 http://ftpmaster.internal/ubuntu plucky/main armhf g++-14 armhf 14.2.0-17ubuntu3 [21.8 kB] 269s Get:26 http://ftpmaster.internal/ubuntu plucky/main armhf g++-arm-linux-gnueabihf armhf 4:14.2.0-1ubuntu1 [966 B] 269s Get:27 http://ftpmaster.internal/ubuntu plucky/main armhf g++ armhf 4:14.2.0-1ubuntu1 [1084 B] 269s Get:28 http://ftpmaster.internal/ubuntu plucky/main armhf build-essential armhf 12.10ubuntu1 [4928 B] 269s Get:29 http://ftpmaster.internal/ubuntu plucky/main armhf libfl2 armhf 2.6.4-8.2build1 [9602 B] 269s Get:30 http://ftpmaster.internal/ubuntu plucky/main armhf libfl-dev armhf 2.6.4-8.2build1 [6152 B] 269s Get:31 http://ftpmaster.internal/ubuntu plucky/main armhf libgmpxx4ldbl armhf 2:6.3.0+dfsg-3ubuntu1 [9152 B] 269s Get:32 http://ftpmaster.internal/ubuntu plucky/main armhf libgmp-dev armhf 2:6.3.0+dfsg-3ubuntu1 [290 kB] 270s Get:33 http://ftpmaster.internal/ubuntu plucky/universe armhf rumur armhf 2025.02.02-1 [1053 kB] 271s Fetched 51.8 MB in 1min 6s (785 kB/s) 271s Selecting previously unselected package m4. 271s (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.) 271s Preparing to unpack .../00-m4_1.4.19-7_armhf.deb ... 271s Unpacking m4 (1.4.19-7) ... 271s Selecting previously unselected package flex. 271s Preparing to unpack .../01-flex_2.6.4-8.2build1_armhf.deb ... 271s Unpacking flex (2.6.4-8.2build1) ... 271s Selecting previously unselected package libc-dev-bin. 271s Preparing to unpack .../02-libc-dev-bin_2.41-1ubuntu2_armhf.deb ... 271s Unpacking libc-dev-bin (2.41-1ubuntu2) ... 271s Selecting previously unselected package linux-libc-dev:armhf. 271s Preparing to unpack .../03-linux-libc-dev_6.14.0-10.10_armhf.deb ... 271s Unpacking linux-libc-dev:armhf (6.14.0-10.10) ... 271s Selecting previously unselected package libcrypt-dev:armhf. 271s Preparing to unpack .../04-libcrypt-dev_1%3a4.4.38-1_armhf.deb ... 271s Unpacking libcrypt-dev:armhf (1:4.4.38-1) ... 271s Selecting previously unselected package rpcsvc-proto. 271s Preparing to unpack .../05-rpcsvc-proto_1.4.2-0ubuntu7_armhf.deb ... 271s Unpacking rpcsvc-proto (1.4.2-0ubuntu7) ... 272s Selecting previously unselected package libc6-dev:armhf. 272s Preparing to unpack .../06-libc6-dev_2.41-1ubuntu2_armhf.deb ... 272s Unpacking libc6-dev:armhf (2.41-1ubuntu2) ... 272s Selecting previously unselected package libisl23:armhf. 272s Preparing to unpack .../07-libisl23_0.27-1_armhf.deb ... 272s Unpacking libisl23:armhf (0.27-1) ... 272s Selecting previously unselected package libmpc3:armhf. 272s Preparing to unpack .../08-libmpc3_1.3.1-1build2_armhf.deb ... 272s Unpacking libmpc3:armhf (1.3.1-1build2) ... 272s Selecting previously unselected package cpp-14-arm-linux-gnueabihf. 272s Preparing to unpack .../09-cpp-14-arm-linux-gnueabihf_14.2.0-17ubuntu3_armhf.deb ... 272s Unpacking cpp-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 272s Selecting previously unselected package cpp-14. 272s Preparing to unpack .../10-cpp-14_14.2.0-17ubuntu3_armhf.deb ... 272s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 272s Selecting previously unselected package cpp-arm-linux-gnueabihf. 272s Preparing to unpack .../11-cpp-arm-linux-gnueabihf_4%3a14.2.0-1ubuntu1_armhf.deb ... 272s Unpacking cpp-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 272s Selecting previously unselected package cpp. 272s Preparing to unpack .../12-cpp_4%3a14.2.0-1ubuntu1_armhf.deb ... 272s Unpacking cpp (4:14.2.0-1ubuntu1) ... 272s Selecting previously unselected package libcc1-0:armhf. 272s Preparing to unpack .../13-libcc1-0_15-20250222-0ubuntu1_armhf.deb ... 272s Unpacking libcc1-0:armhf (15-20250222-0ubuntu1) ... 272s Selecting previously unselected package libgomp1:armhf. 272s Preparing to unpack .../14-libgomp1_15-20250222-0ubuntu1_armhf.deb ... 272s Unpacking libgomp1:armhf (15-20250222-0ubuntu1) ... 272s Selecting previously unselected package libasan8:armhf. 272s Preparing to unpack .../15-libasan8_15-20250222-0ubuntu1_armhf.deb ... 272s Unpacking libasan8:armhf (15-20250222-0ubuntu1) ... 272s Selecting previously unselected package libubsan1:armhf. 272s Preparing to unpack .../16-libubsan1_15-20250222-0ubuntu1_armhf.deb ... 272s Unpacking libubsan1:armhf (15-20250222-0ubuntu1) ... 272s Selecting previously unselected package libgcc-14-dev:armhf. 272s Preparing to unpack .../17-libgcc-14-dev_14.2.0-17ubuntu3_armhf.deb ... 272s Unpacking libgcc-14-dev:armhf (14.2.0-17ubuntu3) ... 272s Selecting previously unselected package gcc-14-arm-linux-gnueabihf. 272s Preparing to unpack .../18-gcc-14-arm-linux-gnueabihf_14.2.0-17ubuntu3_armhf.deb ... 272s Unpacking gcc-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 273s Selecting previously unselected package gcc-14. 273s Preparing to unpack .../19-gcc-14_14.2.0-17ubuntu3_armhf.deb ... 273s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 273s Selecting previously unselected package gcc-arm-linux-gnueabihf. 273s Preparing to unpack .../20-gcc-arm-linux-gnueabihf_4%3a14.2.0-1ubuntu1_armhf.deb ... 273s Unpacking gcc-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 273s Selecting previously unselected package gcc. 273s Preparing to unpack .../21-gcc_4%3a14.2.0-1ubuntu1_armhf.deb ... 273s Unpacking gcc (4:14.2.0-1ubuntu1) ... 273s Selecting previously unselected package libstdc++-14-dev:armhf. 273s Preparing to unpack .../22-libstdc++-14-dev_14.2.0-17ubuntu3_armhf.deb ... 273s Unpacking libstdc++-14-dev:armhf (14.2.0-17ubuntu3) ... 273s Selecting previously unselected package g++-14-arm-linux-gnueabihf. 273s Preparing to unpack .../23-g++-14-arm-linux-gnueabihf_14.2.0-17ubuntu3_armhf.deb ... 273s Unpacking g++-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 273s Selecting previously unselected package g++-14. 273s Preparing to unpack .../24-g++-14_14.2.0-17ubuntu3_armhf.deb ... 273s Unpacking g++-14 (14.2.0-17ubuntu3) ... 273s Selecting previously unselected package g++-arm-linux-gnueabihf. 273s Preparing to unpack .../25-g++-arm-linux-gnueabihf_4%3a14.2.0-1ubuntu1_armhf.deb ... 273s Unpacking g++-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 273s Selecting previously unselected package g++. 273s Preparing to unpack .../26-g++_4%3a14.2.0-1ubuntu1_armhf.deb ... 273s Unpacking g++ (4:14.2.0-1ubuntu1) ... 273s Selecting previously unselected package build-essential. 273s Preparing to unpack .../27-build-essential_12.10ubuntu1_armhf.deb ... 273s Unpacking build-essential (12.10ubuntu1) ... 273s Selecting previously unselected package libfl2:armhf. 273s Preparing to unpack .../28-libfl2_2.6.4-8.2build1_armhf.deb ... 273s Unpacking libfl2:armhf (2.6.4-8.2build1) ... 273s Selecting previously unselected package libfl-dev:armhf. 273s Preparing to unpack .../29-libfl-dev_2.6.4-8.2build1_armhf.deb ... 273s Unpacking libfl-dev:armhf (2.6.4-8.2build1) ... 273s Selecting previously unselected package libgmpxx4ldbl:armhf. 273s Preparing to unpack .../30-libgmpxx4ldbl_2%3a6.3.0+dfsg-3ubuntu1_armhf.deb ... 273s Unpacking libgmpxx4ldbl:armhf (2:6.3.0+dfsg-3ubuntu1) ... 273s Selecting previously unselected package libgmp-dev:armhf. 273s Preparing to unpack .../31-libgmp-dev_2%3a6.3.0+dfsg-3ubuntu1_armhf.deb ... 273s Unpacking libgmp-dev:armhf (2:6.3.0+dfsg-3ubuntu1) ... 274s Selecting previously unselected package rumur. 274s Preparing to unpack .../32-rumur_2025.02.02-1_armhf.deb ... 274s Unpacking rumur (2025.02.02-1) ... 274s Setting up linux-libc-dev:armhf (6.14.0-10.10) ... 274s Setting up m4 (1.4.19-7) ... 274s Setting up libgomp1:armhf (15-20250222-0ubuntu1) ... 274s Setting up libgmpxx4ldbl:armhf (2:6.3.0+dfsg-3ubuntu1) ... 274s Setting up rpcsvc-proto (1.4.2-0ubuntu7) ... 274s Setting up rumur (2025.02.02-1) ... 274s Setting up libmpc3:armhf (1.3.1-1build2) ... 274s Setting up libfl2:armhf (2.6.4-8.2build1) ... 274s Setting up libubsan1:armhf (15-20250222-0ubuntu1) ... 274s Setting up libcrypt-dev:armhf (1:4.4.38-1) ... 274s Setting up libasan8:armhf (15-20250222-0ubuntu1) ... 274s Setting up libgcc-14-dev:armhf (14.2.0-17ubuntu3) ... 274s Setting up libisl23:armhf (0.27-1) ... 274s Setting up libc-dev-bin (2.41-1ubuntu2) ... 274s Setting up libcc1-0:armhf (15-20250222-0ubuntu1) ... 274s Setting up cpp-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 274s Setting up flex (2.6.4-8.2build1) ... 274s Setting up libgmp-dev:armhf (2:6.3.0+dfsg-3ubuntu1) ... 274s Setting up gcc-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 274s Setting up libfl-dev:armhf (2.6.4-8.2build1) ... 274s Setting up cpp-14 (14.2.0-17ubuntu3) ... 274s Setting up libc6-dev:armhf (2.41-1ubuntu2) ... 274s Setting up libstdc++-14-dev:armhf (14.2.0-17ubuntu3) ... 274s Setting up cpp-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 274s Setting up gcc-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 274s Setting up g++-14-arm-linux-gnueabihf (14.2.0-17ubuntu3) ... 274s Setting up gcc-14 (14.2.0-17ubuntu3) ... 274s Setting up cpp (4:14.2.0-1ubuntu1) ... 274s Setting up g++-14 (14.2.0-17ubuntu3) ... 274s Setting up g++-arm-linux-gnueabihf (4:14.2.0-1ubuntu1) ... 274s Setting up gcc (4:14.2.0-1ubuntu1) ... 274s Setting up g++ (4:14.2.0-1ubuntu1) ... 274s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 274s Setting up build-essential (12.10ubuntu1) ... 274s Processing triggers for libc-bin (2.41-1ubuntu2) ... 274s Processing triggers for man-db (2.13.0-1) ... 274s Processing triggers for install-info (7.1.1-1) ... 283s autopkgtest [17:12:40]: test librumur-api: [----------------------- 286s + mkdir -p /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/librumur-api 286s + cd /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/librumur-api 286s + cat - 286s + cat - 286s + c++ -std=c++11 main.cc -lrumur -lgmpxx -lgmp 287s + ./a.out 287s autopkgtest [17:12:44]: test librumur-api: -----------------------] 291s autopkgtest [17:12:48]: test librumur-api: - - - - - - - - - - results - - - - - - - - - - 291s librumur-api PASS 295s autopkgtest [17:12:52]: test murphi2c-header: preparing testbed 297s Reading package lists... 297s Building dependency tree... 297s Reading state information... 297s Starting pkgProblemResolver with broken count: 0 297s Starting 2 pkgProblemResolver with broken count: 0 297s Done 298s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 306s autopkgtest [17:13:03]: test murphi2c-header: [----------------------- 308s + mkdir -p /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/murphi2c-header 308s + cd /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/murphi2c-header 308s + cat - 308s + murphi2c --header --output model.h model.m 308s + cat - 308s + cc -std=c11 -o /dev/null main.c 308s + cat - 308s + c++ -std=c++11 -o /dev/null main.cc 308s autopkgtest [17:13:05]: test murphi2c-header: -----------------------] 312s autopkgtest [17:13:09]: test murphi2c-header: - - - - - - - - - - results - - - - - - - - - - 312s murphi2c-header PASS 316s autopkgtest [17:13:13]: test murphi2c-source: preparing testbed 317s Reading package lists... 318s Building dependency tree... 318s Reading state information... 318s Starting pkgProblemResolver with broken count: 0 318s Starting 2 pkgProblemResolver with broken count: 0 318s Done 319s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 327s autopkgtest [17:13:24]: test murphi2c-source: [----------------------- 328s + mkdir -p /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/murphi2c-source 328s + cd /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/murphi2c-source 328s + cat - 328s + murphi2c --output model.c model.m 328s + cc -std=c11 -o /dev/null -c model.c 329s autopkgtest [17:13:26]: test murphi2c-source: -----------------------] 333s murphi2c-source PASS 333s autopkgtest [17:13:30]: test murphi2c-source: - - - - - - - - - - results - - - - - - - - - - 336s autopkgtest [17:13:33]: test murphi2c-version: preparing testbed 338s Reading package lists... 338s Building dependency tree... 338s Reading state information... 339s Starting pkgProblemResolver with broken count: 0 339s Starting 2 pkgProblemResolver with broken count: 0 339s Done 339s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 347s autopkgtest [17:13:44]: test murphi2c-version: [----------------------- 349s + murphi2c --version 349s Murphi2C version v2025.02.02-1 349s autopkgtest [17:13:46]: test murphi2c-version: -----------------------] 353s murphi2c-version PASS 353s autopkgtest [17:13:50]: test murphi2c-version: - - - - - - - - - - results - - - - - - - - - - 357s autopkgtest [17:13:54]: test murphi2murphi-basic: preparing testbed 359s Reading package lists... 359s Building dependency tree... 359s Reading state information... 359s Starting pkgProblemResolver with broken count: 0 359s Starting 2 pkgProblemResolver with broken count: 0 359s Done 360s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 367s autopkgtest [17:14:04]: test murphi2murphi-basic: [----------------------- 369s + mkdir -p /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/murphi2murphi-basic 369s + cd /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/murphi2murphi-basic 369s + cat - 369s + murphi2murphi --output transformed.m --explicit-semicolons model.m 369s + rumur --output /dev/null transformed.m 370s autopkgtest [17:14:07]: test murphi2murphi-basic: -----------------------] 373s autopkgtest [17:14:10]: test murphi2murphi-basic: - - - - - - - - - - results - - - - - - - - - - 373s murphi2murphi-basic PASS 377s autopkgtest [17:14:14]: test murphi2murphi-version: preparing testbed 379s Reading package lists... 379s Building dependency tree... 379s Reading state information... 380s Starting pkgProblemResolver with broken count: 0 380s Starting 2 pkgProblemResolver with broken count: 0 380s Done 381s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 388s autopkgtest [17:14:25]: test murphi2murphi-version: [----------------------- 391s + murphi2murphi --version 391s Murphi2Murphi version v2025.02.02-1 391s autopkgtest [17:14:28]: test murphi2murphi-version: -----------------------] 395s autopkgtest [17:14:32]: test murphi2murphi-version: - - - - - - - - - - results - - - - - - - - - - 395s murphi2murphi-version PASS 399s autopkgtest [17:14:36]: test murphi2xml-model: preparing testbed 400s Reading package lists... 401s Building dependency tree... 401s Reading state information... 401s Starting pkgProblemResolver with broken count: 0 401s Starting 2 pkgProblemResolver with broken count: 0 401s Done 402s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 410s autopkgtest [17:14:47]: test murphi2xml-model: [----------------------- 411s + mkdir -p /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/murphi2xml-model 411s + cd /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/murphi2xml-model 411s + cat - 411s + murphi2xml --output /dev/null model.m 412s autopkgtest [17:14:49]: test murphi2xml-model: -----------------------] 416s murphi2xml-model PASS 416s autopkgtest [17:14:53]: test murphi2xml-model: - - - - - - - - - - results - - - - - - - - - - 420s autopkgtest [17:14:57]: test murphi2xml-version: preparing testbed 422s Reading package lists... 422s Building dependency tree... 422s Reading state information... 423s Starting pkgProblemResolver with broken count: 0 423s Starting 2 pkgProblemResolver with broken count: 0 423s Done 423s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 431s autopkgtest [17:15:08]: test murphi2xml-version: [----------------------- 433s + murphi2xml --version 433s Rumur version v2025.02.02-1 433s autopkgtest [17:15:10]: test murphi2xml-version: -----------------------] 437s murphi2xml-version PASS 437s autopkgtest [17:15:14]: test murphi2xml-version: - - - - - - - - - - results - - - - - - - - - - 441s autopkgtest [17:15:18]: test rumur-model: preparing testbed 443s Reading package lists... 443s Building dependency tree... 443s Reading state information... 443s Starting pkgProblemResolver with broken count: 0 443s Starting 2 pkgProblemResolver with broken count: 0 443s Done 444s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 451s autopkgtest [17:15:28]: test rumur-model: [----------------------- 453s + mkdir -p /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/rumur-model 453s + cd /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/rumur-model 453s + set +e 453s + cat - 453s + cc -std=c11 -march=native march-native-check.c -o /dev/null 453s + '[' 0 -eq 0 ']' 453s + MARCH=-march=native 453s + cat - 453s + cc -std=c11 -mcx16 mcx16-check.c -o /dev/null 453s cc: error: unrecognized command-line option ‘-mcx16’ 453s + '[' 1 -eq 0 ']' 453s + MCX16= 453s + cat - 453s + cc -std=c11 -march=native libatomic-check.c -o /dev/null 453s + '[' 0 -eq 0 ']' 453s + LIBATOMIC= 453s + set -e 453s + cat - 453s + rumur --output checker.c model.m 453s + cc -std=c11 -march=native checker.c -lpthread 453s checker.c:135:2: warning: #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. [-Wcpp] 453s 135 | #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. 453s | ^~~~~~~ 454s Memory usage: 454s 454s * The size of each state is 2 bits (rounded up to 1 bytes). 454s * The size of the hash table is 262144 slots. 454s 454s Progress Report: 454s 454s 454s ========================================================================== 454s 454s Status: 454s 454s No error found. 454s 454s State Space Explored: 454s 454s 2 states, 2 rules fired in 0s. 454s + ./a.out 454s autopkgtest [17:15:31]: test rumur-model: -----------------------] 458s autopkgtest [17:15:35]: test rumur-model: - - - - - - - - - - results - - - - - - - - - - 458s rumur-model PASS 461s autopkgtest [17:15:38]: test rumur-run-model: preparing testbed 463s Reading package lists... 463s Building dependency tree... 463s Reading state information... 464s Starting pkgProblemResolver with broken count: 0 464s Starting 2 pkgProblemResolver with broken count: 0 464s Done 465s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 472s autopkgtest [17:15:49]: test rumur-run-model: [----------------------- 474s + mkdir -p /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/rumur-run-model 474s + cd /tmp/autopkgtest.26JjNJ/autopkgtest_tmp/rumur-run-model 474s + cat - 474s + rumur-run model.m 475s Memory usage: 475s 475s * The size of each state is 2 bits (rounded up to 1 bytes). 475s * The size of the hash table is 262144 slots. 475s 475s Progress Report: 475s 475s 475s ========================================================================== 475s 475s Status: 475s 475s No error found. 475s 475s State Space Explored: 475s 475s 2 states, 2 rules fired in 0s. 475s Generating the checker... 475s Compiling the checker... 475s Running the checker... 475s autopkgtest [17:15:52]: test rumur-run-model: -----------------------] 479s rumur-run-model PASS 479s autopkgtest [17:15:56]: test rumur-run-model: - - - - - - - - - - results - - - - - - - - - - 482s autopkgtest [17:15:59]: test rumur-version: preparing testbed 484s Reading package lists... 484s Building dependency tree... 484s Reading state information... 485s Starting pkgProblemResolver with broken count: 0 485s Starting 2 pkgProblemResolver with broken count: 0 485s Done 486s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 493s autopkgtest [17:16:10]: test rumur-version: [----------------------- 495s + rumur --version 495s Rumur version v2025.02.02-1 495s autopkgtest [17:16:12]: test rumur-version: -----------------------] 499s autopkgtest [17:16:16]: test rumur-version: - - - - - - - - - - results - - - - - - - - - - 499s rumur-version PASS 503s autopkgtest [17:16:20]: @@@@@@@@@@@@@@@@@@@@ summary 503s librumur-api PASS 503s murphi2c-header PASS 503s murphi2c-source PASS 503s murphi2c-version PASS 503s murphi2murphi-basic PASS 503s murphi2murphi-version PASS 503s murphi2xml-model PASS 503s murphi2xml-version PASS 503s rumur-model PASS 503s rumur-run-model PASS 503s rumur-version PASS