0s autopkgtest [06:38:26]: starting date and time: 2024-07-13 06:38:26+0000 0s autopkgtest [06:38:26]: git checkout: fd3bed09 nova: allow more retries for quota issues 0s autopkgtest [06:38:26]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.l3gc9qal/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\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.39-3.1ubuntu3 -- lxd -r lxd-armhf-10.145.243.27 lxd-armhf-10.145.243.27:autopkgtest/ubuntu/oracular/armhf 63s autopkgtest [06:39:29]: testbed dpkg architecture: armhf 65s autopkgtest [06:39:31]: testbed apt version: 2.9.6 65s autopkgtest [06:39:31]: @@@@@@@@@@@@@@@@@@@@ test bed setup 74s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 74s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [46.9 kB] 74s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 74s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [353 kB] 74s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B] 74s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf Packages [76.2 kB] 74s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf c-n-f Metadata [1428 B] 74s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf Packages [1368 B] 74s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted armhf c-n-f Metadata [120 B] 74s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf Packages [337 kB] 74s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe armhf c-n-f Metadata [6916 B] 74s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf Packages [1448 B] 74s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse armhf c-n-f Metadata [120 B] 76s Fetched 961 kB in 1s (1120 kB/s) 76s Reading package lists... 94s tee: /proc/self/fd/2: Permission denied 116s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 116s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 116s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 116s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 118s Reading package lists... 118s Reading package lists... 118s Building dependency tree... 118s Reading state information... 119s Calculating upgrade... 119s The following packages will be upgraded: 119s libc-bin libc6 locales 119s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 119s Need to get 7572 kB of archives. 119s After this operation, 17.4 kB of additional disk space will be used. 119s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc6 armhf 2.39-3.1ubuntu3 [2825 kB] 120s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc-bin armhf 2.39-3.1ubuntu3 [527 kB] 120s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf locales all 2.39-3.1ubuntu3 [4220 kB] 120s Preconfiguring packages ... 120s Fetched 7572 kB in 1s (9625 kB/s) 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 ... 58436 files and directories currently installed.) 121s Preparing to unpack .../libc6_2.39-3.1ubuntu3_armhf.deb ... 121s Unpacking libc6:armhf (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 121s Setting up libc6:armhf (2.39-3.1ubuntu3) ... 121s Error: Could not restart systemd, systemd binary not working 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 ... 58436 files and directories currently installed.) 121s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_armhf.deb ... 121s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 121s Setting up libc-bin (2.39-3.1ubuntu3) ... 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 ... 58436 files and directories currently installed.) 121s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 122s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 122s Setting up locales (2.39-3.1ubuntu3) ... 123s Generating locales (this might take a while)... 125s en_US.UTF-8... done 125s Generation complete. 125s Processing triggers for systemd (256-1ubuntu1) ... 126s Processing triggers for man-db (2.12.1-2) ... 127s Reading package lists... 128s Building dependency tree... 128s Reading state information... 128s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 131s autopkgtest [06:40:36]: rebooting testbed after setup commands that affected boot 201s autopkgtest [06:41:47]: testbed running kernel: Linux 6.5.0-41-generic #41~22.04.2-Ubuntu SMP PREEMPT_DYNAMIC Mon Jun 3 16:28:24 UTC 2 230s autopkgtest [06:42:16]: @@@@@@@@@@@@@@@@@@@@ apt-source rumur 241s Get:1 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (dsc) [1998 B] 241s Get:2 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (tar) [318 kB] 241s Get:3 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (diff) [5196 B] 241s gpgv: Signature made Mon Jan 29 08:19:09 2024 UTC 241s gpgv: using RSA key FDDD0CFF3864277630A2186C9164FA1D17BD5D36 241s gpgv: Can't check signature: No public key 241s dpkg-source: warning: cannot verify inline signature for ./rumur_2023.11.27-1.dsc: no acceptable signature found 241s autopkgtest [06:42:27]: testing package rumur version 2023.11.27-1 243s autopkgtest [06:42:29]: build not needed 246s autopkgtest [06:42:32]: test librumur-api: preparing testbed 258s Reading package lists... 258s Building dependency tree... 258s Reading state information... 259s Starting pkgProblemResolver with broken count: 0 259s Starting 2 pkgProblemResolver with broken count: 0 259s Done 260s The following additional packages will be installed: 260s build-essential cpp cpp-13 cpp-13-arm-linux-gnueabihf 260s cpp-arm-linux-gnueabihf flex g++ g++-13 g++-13-arm-linux-gnueabihf 260s g++-arm-linux-gnueabihf gcc gcc-13 gcc-13-arm-linux-gnueabihf gcc-13-base 260s gcc-arm-linux-gnueabihf libasan8 libatomic1 libc-dev-bin libc6-dev libcc1-0 260s libcrypt-dev libfl-dev libfl2 libgcc-13-dev libgmp-dev libgmpxx4ldbl 260s libgomp1 libisl23 libmpc3 libstdc++-13-dev libubsan1 linux-libc-dev m4 260s rpcsvc-proto rumur 260s Suggested packages: 260s cpp-doc gcc-13-locales cpp-13-doc bison flex-doc gcc-13-doc gcc-multilib 260s manpages-dev autoconf automake libtool gdb gcc-doc gdb-arm-linux-gnueabihf 260s libc-devtools glibc-doc gmp-doc libgmp10-doc libmpfr-dev libstdc++-13-doc 260s m4-doc 260s Recommended packages: 260s manpages manpages-dev 260s The following NEW packages will be installed: 260s autopkgtest-satdep build-essential cpp cpp-13 cpp-13-arm-linux-gnueabihf 260s cpp-arm-linux-gnueabihf flex g++ g++-13 g++-13-arm-linux-gnueabihf 260s g++-arm-linux-gnueabihf gcc gcc-13 gcc-13-arm-linux-gnueabihf gcc-13-base 260s gcc-arm-linux-gnueabihf libasan8 libatomic1 libc-dev-bin libc6-dev libcc1-0 260s libcrypt-dev libfl-dev libfl2 libgcc-13-dev libgmp-dev libgmpxx4ldbl 260s libgomp1 libisl23 libmpc3 libstdc++-13-dev libubsan1 linux-libc-dev m4 260s rpcsvc-proto rumur 260s 0 upgraded, 36 newly installed, 0 to remove and 0 not upgraded. 260s Need to get 49.2 MB/49.2 MB of archives. 260s After this operation, 147 MB of additional disk space will be used. 260s Get:1 /tmp/autopkgtest.Thk1ws/1-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 260s Get:2 http://ftpmaster.internal/ubuntu oracular/main armhf m4 armhf 1.4.19-4build1 [235 kB] 260s Get:3 http://ftpmaster.internal/ubuntu oracular/main armhf flex armhf 2.6.4-8.2build1 [293 kB] 260s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc-dev-bin armhf 2.39-3.1ubuntu3 [19.1 kB] 260s Get:5 http://ftpmaster.internal/ubuntu oracular/main armhf linux-libc-dev armhf 6.8.0-31.31 [1557 kB] 261s Get:6 http://ftpmaster.internal/ubuntu oracular/main armhf libcrypt-dev armhf 1:4.4.36-4build1 [120 kB] 261s Get:7 http://ftpmaster.internal/ubuntu oracular/main armhf rpcsvc-proto armhf 1.4.2-0ubuntu7 [62.2 kB] 261s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/main armhf libc6-dev armhf 2.39-3.1ubuntu3 [1350 kB] 261s Get:9 http://ftpmaster.internal/ubuntu oracular/main armhf gcc-13-base armhf 13.2.0-23ubuntu4 [48.9 kB] 261s Get:10 http://ftpmaster.internal/ubuntu oracular/main armhf libisl23 armhf 0.26-3build1 [544 kB] 261s Get:11 http://ftpmaster.internal/ubuntu oracular/main armhf libmpc3 armhf 1.3.1-1build1 [46.7 kB] 261s Get:12 http://ftpmaster.internal/ubuntu oracular/main armhf cpp-13-arm-linux-gnueabihf armhf 13.2.0-23ubuntu4 [8759 kB] 261s Get:13 http://ftpmaster.internal/ubuntu oracular/main armhf cpp-13 armhf 13.2.0-23ubuntu4 [1034 B] 261s Get:14 http://ftpmaster.internal/ubuntu oracular/main armhf cpp-arm-linux-gnueabihf armhf 4:13.2.0-7ubuntu1 [5320 B] 261s Get:15 http://ftpmaster.internal/ubuntu oracular/main armhf cpp armhf 4:13.2.0-7ubuntu1 [22.4 kB] 261s Get:16 http://ftpmaster.internal/ubuntu oracular/main armhf libcc1-0 armhf 14.1.0-1ubuntu1 [43.3 kB] 261s Get:17 http://ftpmaster.internal/ubuntu oracular/main armhf libgomp1 armhf 14.1.0-1ubuntu1 [125 kB] 261s Get:18 http://ftpmaster.internal/ubuntu oracular/main armhf libatomic1 armhf 14.1.0-1ubuntu1 [7816 B] 261s Get:19 http://ftpmaster.internal/ubuntu oracular/main armhf libasan8 armhf 14.1.0-1ubuntu1 [2913 kB] 261s Get:20 http://ftpmaster.internal/ubuntu oracular/main armhf libubsan1 armhf 14.1.0-1ubuntu1 [1154 kB] 261s Get:21 http://ftpmaster.internal/ubuntu oracular/main armhf libgcc-13-dev armhf 13.2.0-23ubuntu4 [899 kB] 261s Get:22 http://ftpmaster.internal/ubuntu oracular/main armhf gcc-13-arm-linux-gnueabihf armhf 13.2.0-23ubuntu4 [16.9 MB] 261s Get:23 http://ftpmaster.internal/ubuntu oracular/main armhf gcc-13 armhf 13.2.0-23ubuntu4 [453 kB] 261s Get:24 http://ftpmaster.internal/ubuntu oracular/main armhf gcc-arm-linux-gnueabihf armhf 4:13.2.0-7ubuntu1 [1220 B] 261s Get:25 http://ftpmaster.internal/ubuntu oracular/main armhf gcc armhf 4:13.2.0-7ubuntu1 [5022 B] 261s Get:26 http://ftpmaster.internal/ubuntu oracular/main armhf libstdc++-13-dev armhf 13.2.0-23ubuntu4 [2456 kB] 261s Get:27 http://ftpmaster.internal/ubuntu oracular/main armhf g++-13-arm-linux-gnueabihf armhf 13.2.0-23ubuntu4 [9941 kB] 262s Get:28 http://ftpmaster.internal/ubuntu oracular/main armhf g++-13 armhf 13.2.0-23ubuntu4 [14.5 kB] 262s Get:29 http://ftpmaster.internal/ubuntu oracular/main armhf g++-arm-linux-gnueabihf armhf 4:13.2.0-7ubuntu1 [966 B] 262s Get:30 http://ftpmaster.internal/ubuntu oracular/main armhf g++ armhf 4:13.2.0-7ubuntu1 [1090 B] 262s Get:31 http://ftpmaster.internal/ubuntu oracular/main armhf build-essential armhf 12.10ubuntu1 [4928 B] 262s Get:32 http://ftpmaster.internal/ubuntu oracular/main armhf libfl2 armhf 2.6.4-8.2build1 [9602 B] 262s Get:33 http://ftpmaster.internal/ubuntu oracular/main armhf libfl-dev armhf 2.6.4-8.2build1 [6152 B] 262s Get:34 http://ftpmaster.internal/ubuntu oracular/main armhf libgmpxx4ldbl armhf 2:6.3.0+dfsg-2ubuntu6 [9064 B] 262s Get:35 http://ftpmaster.internal/ubuntu oracular/main armhf libgmp-dev armhf 2:6.3.0+dfsg-2ubuntu6 [289 kB] 262s Get:36 http://ftpmaster.internal/ubuntu oracular/universe armhf rumur armhf 2023.11.27-1 [945 kB] 262s Fetched 49.2 MB in 2s (26.3 MB/s) 262s Selecting previously unselected package m4. 262s (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 ... 58436 files and directories currently installed.) 262s Preparing to unpack .../00-m4_1.4.19-4build1_armhf.deb ... 262s Unpacking m4 (1.4.19-4build1) ... 262s Selecting previously unselected package flex. 262s Preparing to unpack .../01-flex_2.6.4-8.2build1_armhf.deb ... 262s Unpacking flex (2.6.4-8.2build1) ... 262s Selecting previously unselected package libc-dev-bin. 262s Preparing to unpack .../02-libc-dev-bin_2.39-3.1ubuntu3_armhf.deb ... 262s Unpacking libc-dev-bin (2.39-3.1ubuntu3) ... 262s Selecting previously unselected package linux-libc-dev:armhf. 262s Preparing to unpack .../03-linux-libc-dev_6.8.0-31.31_armhf.deb ... 262s Unpacking linux-libc-dev:armhf (6.8.0-31.31) ... 263s Selecting previously unselected package libcrypt-dev:armhf. 263s Preparing to unpack .../04-libcrypt-dev_1%3a4.4.36-4build1_armhf.deb ... 263s Unpacking libcrypt-dev:armhf (1:4.4.36-4build1) ... 263s Selecting previously unselected package rpcsvc-proto. 263s Preparing to unpack .../05-rpcsvc-proto_1.4.2-0ubuntu7_armhf.deb ... 263s Unpacking rpcsvc-proto (1.4.2-0ubuntu7) ... 263s Selecting previously unselected package libc6-dev:armhf. 263s Preparing to unpack .../06-libc6-dev_2.39-3.1ubuntu3_armhf.deb ... 263s Unpacking libc6-dev:armhf (2.39-3.1ubuntu3) ... 263s Selecting previously unselected package gcc-13-base:armhf. 263s Preparing to unpack .../07-gcc-13-base_13.2.0-23ubuntu4_armhf.deb ... 263s Unpacking gcc-13-base:armhf (13.2.0-23ubuntu4) ... 263s Selecting previously unselected package libisl23:armhf. 263s Preparing to unpack .../08-libisl23_0.26-3build1_armhf.deb ... 263s Unpacking libisl23:armhf (0.26-3build1) ... 263s Selecting previously unselected package libmpc3:armhf. 263s Preparing to unpack .../09-libmpc3_1.3.1-1build1_armhf.deb ... 263s Unpacking libmpc3:armhf (1.3.1-1build1) ... 263s Selecting previously unselected package cpp-13-arm-linux-gnueabihf. 263s Preparing to unpack .../10-cpp-13-arm-linux-gnueabihf_13.2.0-23ubuntu4_armhf.deb ... 263s Unpacking cpp-13-arm-linux-gnueabihf (13.2.0-23ubuntu4) ... 263s Selecting previously unselected package cpp-13. 263s Preparing to unpack .../11-cpp-13_13.2.0-23ubuntu4_armhf.deb ... 263s Unpacking cpp-13 (13.2.0-23ubuntu4) ... 263s Selecting previously unselected package cpp-arm-linux-gnueabihf. 263s Preparing to unpack .../12-cpp-arm-linux-gnueabihf_4%3a13.2.0-7ubuntu1_armhf.deb ... 263s Unpacking cpp-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 263s Selecting previously unselected package cpp. 263s Preparing to unpack .../13-cpp_4%3a13.2.0-7ubuntu1_armhf.deb ... 263s Unpacking cpp (4:13.2.0-7ubuntu1) ... 263s Selecting previously unselected package libcc1-0:armhf. 263s Preparing to unpack .../14-libcc1-0_14.1.0-1ubuntu1_armhf.deb ... 263s Unpacking libcc1-0:armhf (14.1.0-1ubuntu1) ... 263s Selecting previously unselected package libgomp1:armhf. 263s Preparing to unpack .../15-libgomp1_14.1.0-1ubuntu1_armhf.deb ... 263s Unpacking libgomp1:armhf (14.1.0-1ubuntu1) ... 263s Selecting previously unselected package libatomic1:armhf. 263s Preparing to unpack .../16-libatomic1_14.1.0-1ubuntu1_armhf.deb ... 263s Unpacking libatomic1:armhf (14.1.0-1ubuntu1) ... 263s Selecting previously unselected package libasan8:armhf. 263s Preparing to unpack .../17-libasan8_14.1.0-1ubuntu1_armhf.deb ... 263s Unpacking libasan8:armhf (14.1.0-1ubuntu1) ... 264s Selecting previously unselected package libubsan1:armhf. 264s Preparing to unpack .../18-libubsan1_14.1.0-1ubuntu1_armhf.deb ... 264s Unpacking libubsan1:armhf (14.1.0-1ubuntu1) ... 264s Selecting previously unselected package libgcc-13-dev:armhf. 264s Preparing to unpack .../19-libgcc-13-dev_13.2.0-23ubuntu4_armhf.deb ... 264s Unpacking libgcc-13-dev:armhf (13.2.0-23ubuntu4) ... 264s Selecting previously unselected package gcc-13-arm-linux-gnueabihf. 264s Preparing to unpack .../20-gcc-13-arm-linux-gnueabihf_13.2.0-23ubuntu4_armhf.deb ... 264s Unpacking gcc-13-arm-linux-gnueabihf (13.2.0-23ubuntu4) ... 264s Selecting previously unselected package gcc-13. 264s Preparing to unpack .../21-gcc-13_13.2.0-23ubuntu4_armhf.deb ... 264s Unpacking gcc-13 (13.2.0-23ubuntu4) ... 264s Selecting previously unselected package gcc-arm-linux-gnueabihf. 264s Preparing to unpack .../22-gcc-arm-linux-gnueabihf_4%3a13.2.0-7ubuntu1_armhf.deb ... 264s Unpacking gcc-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 264s Selecting previously unselected package gcc. 264s Preparing to unpack .../23-gcc_4%3a13.2.0-7ubuntu1_armhf.deb ... 264s Unpacking gcc (4:13.2.0-7ubuntu1) ... 264s Selecting previously unselected package libstdc++-13-dev:armhf. 264s Preparing to unpack .../24-libstdc++-13-dev_13.2.0-23ubuntu4_armhf.deb ... 264s Unpacking libstdc++-13-dev:armhf (13.2.0-23ubuntu4) ... 265s Selecting previously unselected package g++-13-arm-linux-gnueabihf. 265s Preparing to unpack .../25-g++-13-arm-linux-gnueabihf_13.2.0-23ubuntu4_armhf.deb ... 265s Unpacking g++-13-arm-linux-gnueabihf (13.2.0-23ubuntu4) ... 265s Selecting previously unselected package g++-13. 265s Preparing to unpack .../26-g++-13_13.2.0-23ubuntu4_armhf.deb ... 265s Unpacking g++-13 (13.2.0-23ubuntu4) ... 265s Selecting previously unselected package g++-arm-linux-gnueabihf. 265s Preparing to unpack .../27-g++-arm-linux-gnueabihf_4%3a13.2.0-7ubuntu1_armhf.deb ... 265s Unpacking g++-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 265s Selecting previously unselected package g++. 265s Preparing to unpack .../28-g++_4%3a13.2.0-7ubuntu1_armhf.deb ... 265s Unpacking g++ (4:13.2.0-7ubuntu1) ... 265s Selecting previously unselected package build-essential. 265s Preparing to unpack .../29-build-essential_12.10ubuntu1_armhf.deb ... 265s Unpacking build-essential (12.10ubuntu1) ... 266s Selecting previously unselected package libfl2:armhf. 266s Preparing to unpack .../30-libfl2_2.6.4-8.2build1_armhf.deb ... 266s Unpacking libfl2:armhf (2.6.4-8.2build1) ... 266s Selecting previously unselected package libfl-dev:armhf. 266s Preparing to unpack .../31-libfl-dev_2.6.4-8.2build1_armhf.deb ... 266s Unpacking libfl-dev:armhf (2.6.4-8.2build1) ... 266s Selecting previously unselected package libgmpxx4ldbl:armhf. 266s Preparing to unpack .../32-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6_armhf.deb ... 266s Unpacking libgmpxx4ldbl:armhf (2:6.3.0+dfsg-2ubuntu6) ... 266s Selecting previously unselected package libgmp-dev:armhf. 266s Preparing to unpack .../33-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6_armhf.deb ... 266s Unpacking libgmp-dev:armhf (2:6.3.0+dfsg-2ubuntu6) ... 266s Selecting previously unselected package rumur. 266s Preparing to unpack .../34-rumur_2023.11.27-1_armhf.deb ... 266s Unpacking rumur (2023.11.27-1) ... 266s Selecting previously unselected package autopkgtest-satdep. 266s Preparing to unpack .../35-1-autopkgtest-satdep.deb ... 266s Unpacking autopkgtest-satdep (0) ... 266s Setting up linux-libc-dev:armhf (6.8.0-31.31) ... 266s Setting up m4 (1.4.19-4build1) ... 266s Setting up libgomp1:armhf (14.1.0-1ubuntu1) ... 266s Setting up libgmpxx4ldbl:armhf (2:6.3.0+dfsg-2ubuntu6) ... 266s Setting up rpcsvc-proto (1.4.2-0ubuntu7) ... 266s Setting up gcc-13-base:armhf (13.2.0-23ubuntu4) ... 266s Setting up rumur (2023.11.27-1) ... 266s Setting up libmpc3:armhf (1.3.1-1build1) ... 266s Setting up libatomic1:armhf (14.1.0-1ubuntu1) ... 266s Setting up libfl2:armhf (2.6.4-8.2build1) ... 266s Setting up libubsan1:armhf (14.1.0-1ubuntu1) ... 266s Setting up libcrypt-dev:armhf (1:4.4.36-4build1) ... 266s Setting up libasan8:armhf (14.1.0-1ubuntu1) ... 266s Setting up libisl23:armhf (0.26-3build1) ... 266s Setting up libc-dev-bin (2.39-3.1ubuntu3) ... 266s Setting up libcc1-0:armhf (14.1.0-1ubuntu1) ... 266s Setting up flex (2.6.4-8.2build1) ... 266s Setting up libgmp-dev:armhf (2:6.3.0+dfsg-2ubuntu6) ... 266s Setting up cpp-13-arm-linux-gnueabihf (13.2.0-23ubuntu4) ... 266s Setting up libfl-dev:armhf (2.6.4-8.2build1) ... 266s Setting up libgcc-13-dev:armhf (13.2.0-23ubuntu4) ... 266s Setting up libc6-dev:armhf (2.39-3.1ubuntu3) ... 266s Setting up cpp-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 266s Setting up libstdc++-13-dev:armhf (13.2.0-23ubuntu4) ... 266s Setting up cpp-13 (13.2.0-23ubuntu4) ... 266s Setting up gcc-13-arm-linux-gnueabihf (13.2.0-23ubuntu4) ... 266s Setting up gcc-13 (13.2.0-23ubuntu4) ... 266s Setting up cpp (4:13.2.0-7ubuntu1) ... 266s Setting up gcc-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 266s Setting up g++-13-arm-linux-gnueabihf (13.2.0-23ubuntu4) ... 266s Setting up g++-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... 266s Setting up g++-13 (13.2.0-23ubuntu4) ... 266s Setting up gcc (4:13.2.0-7ubuntu1) ... 266s Setting up g++ (4:13.2.0-7ubuntu1) ... 266s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 266s Setting up build-essential (12.10ubuntu1) ... 266s Setting up autopkgtest-satdep (0) ... 266s Processing triggers for man-db (2.12.1-2) ... 266s Processing triggers for install-info (7.1-3build2) ... 266s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 279s (Reading database ... 61354 files and directories currently installed.) 279s Removing autopkgtest-satdep (0) ... 285s autopkgtest [06:43:11]: test librumur-api: [----------------------- 288s + mkdir -p /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/librumur-api 288s + cd /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/librumur-api 288s + cat - 288s + cat - 288s + c++ -std=c++11 main.cc -lrumur -lgmpxx -lgmp 289s + ./a.out 290s autopkgtest [06:43:16]: test librumur-api: -----------------------] 294s autopkgtest [06:43:20]: test librumur-api: - - - - - - - - - - results - - - - - - - - - - 294s librumur-api PASS 298s autopkgtest [06:43:24]: test murphi2c-header: preparing testbed 313s Reading package lists... 313s Building dependency tree... 313s Reading state information... 314s Starting pkgProblemResolver with broken count: 0 314s Starting 2 pkgProblemResolver with broken count: 0 314s Done 315s The following NEW packages will be installed: 315s autopkgtest-satdep 315s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 315s Need to get 0 B/744 B of archives. 315s After this operation, 0 B of additional disk space will be used. 315s Get:1 /tmp/autopkgtest.Thk1ws/2-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 315s Selecting previously unselected package autopkgtest-satdep. 315s (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 ... 61354 files and directories currently installed.) 315s Preparing to unpack .../2-autopkgtest-satdep.deb ... 315s Unpacking autopkgtest-satdep (0) ... 315s Setting up autopkgtest-satdep (0) ... 326s (Reading database ... 61354 files and directories currently installed.) 326s Removing autopkgtest-satdep (0) ... 332s autopkgtest [06:43:58]: test murphi2c-header: [----------------------- 334s + mkdir -p /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/murphi2c-header 334s + cd /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/murphi2c-header 334s + cat - 334s + murphi2c --header --output model.h model.m 334s + cat - 334s + cc -std=c11 -o /dev/null main.c 334s + cat - 334s + c++ -std=c++11 -o /dev/null main.cc 335s autopkgtest [06:44:01]: test murphi2c-header: -----------------------] 339s autopkgtest [06:44:05]: test murphi2c-header: - - - - - - - - - - results - - - - - - - - - - 339s murphi2c-header PASS 344s autopkgtest [06:44:10]: test murphi2c-source: preparing testbed 354s Reading package lists... 355s Building dependency tree... 355s Reading state information... 355s Starting pkgProblemResolver with broken count: 0 355s Starting 2 pkgProblemResolver with broken count: 0 355s Done 356s The following NEW packages will be installed: 356s autopkgtest-satdep 356s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 356s Need to get 0 B/748 B of archives. 356s After this operation, 0 B of additional disk space will be used. 356s Get:1 /tmp/autopkgtest.Thk1ws/3-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [748 B] 357s Selecting previously unselected package autopkgtest-satdep. 357s (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 ... 61354 files and directories currently installed.) 357s Preparing to unpack .../3-autopkgtest-satdep.deb ... 357s Unpacking autopkgtest-satdep (0) ... 357s Setting up autopkgtest-satdep (0) ... 367s (Reading database ... 61354 files and directories currently installed.) 367s Removing autopkgtest-satdep (0) ... 373s autopkgtest [06:44:39]: test murphi2c-source: [----------------------- 375s + mkdir -p /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/murphi2c-source 375s + cd /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/murphi2c-source 375s + cat - 375s + murphi2c --output model.c model.m 375s + cc -std=c11 -o /dev/null -c model.c 376s autopkgtest [06:44:42]: test murphi2c-source: -----------------------] 380s autopkgtest [06:44:46]: test murphi2c-source: - - - - - - - - - - results - - - - - - - - - - 380s murphi2c-source PASS 384s autopkgtest [06:44:50]: test murphi2c-version: preparing testbed 394s Reading package lists... 394s Building dependency tree... 394s Reading state information... 395s Starting pkgProblemResolver with broken count: 0 395s Starting 2 pkgProblemResolver with broken count: 0 395s Done 396s The following NEW packages will be installed: 396s autopkgtest-satdep 396s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 396s Need to get 0 B/744 B of archives. 396s After this operation, 0 B of additional disk space will be used. 396s Get:1 /tmp/autopkgtest.Thk1ws/4-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 396s Selecting previously unselected package autopkgtest-satdep. 396s (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 ... 61354 files and directories currently installed.) 396s Preparing to unpack .../4-autopkgtest-satdep.deb ... 396s Unpacking autopkgtest-satdep (0) ... 396s Setting up autopkgtest-satdep (0) ... 407s (Reading database ... 61354 files and directories currently installed.) 407s Removing autopkgtest-satdep (0) ... 413s autopkgtest [06:45:19]: test murphi2c-version: [----------------------- 415s + murphi2c --version 415s Murphi2C version v2023.11.27-1 416s autopkgtest [06:45:22]: test murphi2c-version: -----------------------] 420s autopkgtest [06:45:26]: test murphi2c-version: - - - - - - - - - - results - - - - - - - - - - 420s murphi2c-version PASS 424s autopkgtest [06:45:30]: test murphi2murphi-basic: preparing testbed 435s Reading package lists... 435s Building dependency tree... 435s Reading state information... 436s Starting pkgProblemResolver with broken count: 0 436s Starting 2 pkgProblemResolver with broken count: 0 436s Done 437s The following NEW packages will be installed: 437s autopkgtest-satdep 437s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 437s Need to get 0 B/744 B of archives. 437s After this operation, 0 B of additional disk space will be used. 437s Get:1 /tmp/autopkgtest.Thk1ws/5-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 437s Selecting previously unselected package autopkgtest-satdep. 437s (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 ... 61354 files and directories currently installed.) 437s Preparing to unpack .../5-autopkgtest-satdep.deb ... 437s Unpacking autopkgtest-satdep (0) ... 437s Setting up autopkgtest-satdep (0) ... 448s (Reading database ... 61354 files and directories currently installed.) 448s Removing autopkgtest-satdep (0) ... 454s autopkgtest [06:46:00]: test murphi2murphi-basic: [----------------------- 456s + mkdir -p /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/murphi2murphi-basic 456s + cd /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/murphi2murphi-basic 456s + cat - 456s + murphi2murphi --output transformed.m --explicit-semicolons model.m 456s + rumur --output /dev/null transformed.m 457s autopkgtest [06:46:03]: test murphi2murphi-basic: -----------------------] 461s autopkgtest [06:46:07]: test murphi2murphi-basic: - - - - - - - - - - results - - - - - - - - - - 461s murphi2murphi-basic PASS 465s autopkgtest [06:46:11]: test murphi2murphi-version: preparing testbed 476s Reading package lists... 476s Building dependency tree... 476s Reading state information... 477s Starting pkgProblemResolver with broken count: 0 477s Starting 2 pkgProblemResolver with broken count: 0 477s Done 478s The following NEW packages will be installed: 478s autopkgtest-satdep 478s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 478s Need to get 0 B/744 B of archives. 478s After this operation, 0 B of additional disk space will be used. 478s Get:1 /tmp/autopkgtest.Thk1ws/6-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 478s Selecting previously unselected package autopkgtest-satdep. 479s (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 ... 61354 files and directories currently installed.) 479s Preparing to unpack .../6-autopkgtest-satdep.deb ... 479s Unpacking autopkgtest-satdep (0) ... 479s Setting up autopkgtest-satdep (0) ... 488s (Reading database ... 61354 files and directories currently installed.) 488s Removing autopkgtest-satdep (0) ... 494s autopkgtest [06:46:40]: test murphi2murphi-version: [----------------------- 496s + murphi2murphi --version 496s Murphi2Murphi version v2023.11.27-1 497s autopkgtest [06:46:43]: test murphi2murphi-version: -----------------------] 501s autopkgtest [06:46:47]: test murphi2murphi-version: - - - - - - - - - - results - - - - - - - - - - 501s murphi2murphi-version PASS 505s autopkgtest [06:46:51]: test murphi2xml-model: preparing testbed 515s Reading package lists... 515s Building dependency tree... 515s Reading state information... 516s Starting pkgProblemResolver with broken count: 0 516s Starting 2 pkgProblemResolver with broken count: 0 516s Done 518s The following NEW packages will be installed: 518s autopkgtest-satdep 518s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 518s Need to get 0 B/744 B of archives. 518s After this operation, 0 B of additional disk space will be used. 518s Get:1 /tmp/autopkgtest.Thk1ws/7-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 519s Selecting previously unselected package autopkgtest-satdep. 519s (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 ... 61354 files and directories currently installed.) 519s Preparing to unpack .../7-autopkgtest-satdep.deb ... 519s Unpacking autopkgtest-satdep (0) ... 519s Setting up autopkgtest-satdep (0) ... 530s (Reading database ... 61354 files and directories currently installed.) 530s Removing autopkgtest-satdep (0) ... 536s autopkgtest [06:47:22]: test murphi2xml-model: [----------------------- 538s + mkdir -p /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/murphi2xml-model 538s + cd /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/murphi2xml-model 538s + cat - 538s + murphi2xml --output /dev/null model.m 538s autopkgtest [06:47:24]: test murphi2xml-model: -----------------------] 542s murphi2xml-model PASS 542s autopkgtest [06:47:28]: test murphi2xml-model: - - - - - - - - - - results - - - - - - - - - - 546s autopkgtest [06:47:32]: test murphi2xml-version: preparing testbed 557s Reading package lists... 557s Building dependency tree... 557s Reading state information... 558s Starting pkgProblemResolver with broken count: 0 558s Starting 2 pkgProblemResolver with broken count: 0 558s Done 560s The following NEW packages will be installed: 560s autopkgtest-satdep 560s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 560s Need to get 0 B/744 B of archives. 560s After this operation, 0 B of additional disk space will be used. 560s Get:1 /tmp/autopkgtest.Thk1ws/8-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 560s Selecting previously unselected package autopkgtest-satdep. 561s (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 ... 61354 files and directories currently installed.) 561s Preparing to unpack .../8-autopkgtest-satdep.deb ... 561s Unpacking autopkgtest-satdep (0) ... 561s Setting up autopkgtest-satdep (0) ... 573s (Reading database ... 61354 files and directories currently installed.) 573s Removing autopkgtest-satdep (0) ... 580s autopkgtest [06:48:06]: test murphi2xml-version: [----------------------- 583s + murphi2xml --version 583s Rumur version v2023.11.27-1 584s autopkgtest [06:48:10]: test murphi2xml-version: -----------------------] 589s murphi2xml-version PASS 589s autopkgtest [06:48:15]: test murphi2xml-version: - - - - - - - - - - results - - - - - - - - - - 593s autopkgtest [06:48:19]: test rumur-model: preparing testbed 606s Reading package lists... 606s Building dependency tree... 606s Reading state information... 607s Starting pkgProblemResolver with broken count: 0 607s Starting 2 pkgProblemResolver with broken count: 0 607s Done 608s The following NEW packages will be installed: 608s autopkgtest-satdep 608s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 608s Need to get 0 B/744 B of archives. 608s After this operation, 0 B of additional disk space will be used. 608s Get:1 /tmp/autopkgtest.Thk1ws/9-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 611s Selecting previously unselected package autopkgtest-satdep. 611s (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 ... 61354 files and directories currently installed.) 611s Preparing to unpack .../9-autopkgtest-satdep.deb ... 611s Unpacking autopkgtest-satdep (0) ... 611s Setting up autopkgtest-satdep (0) ... 633s (Reading database ... 61354 files and directories currently installed.) 633s Removing autopkgtest-satdep (0) ... 641s autopkgtest [06:49:07]: test rumur-model: [----------------------- 645s + mkdir -p /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/rumur-model 645s + cd /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/rumur-model 645s + set +e 645s + cat - 645s + cc -std=c11 -mcx16 mcx16-check.c -o /dev/null 645s cc: error: unrecognized command-line option ‘-mcx16’ 645s + '[' 1 -eq 0 ']' 645s + MCX16= 645s + cat - 645s + cc -std=c11 libatomic-check.c -o /dev/null 646s + '[' 0 -eq 0 ']' 646s + LIBATOMIC= 646s + set -e 646s + cat - 646s + rumur --output checker.c model.m 646s + cc -std=c11 checker.c -lpthread 646s checker.c:135:2: warning: #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. [-Wcpp] 646s 135 | #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. 646s | ^~~~~~~ 647s + ./a.out 647s Memory usage: 647s 647s * The size of each state is 2 bits (rounded up to 1 bytes). 647s * The size of the hash table is 262144 slots. 647s 647s Progress Report: 647s 647s 647s ========================================================================== 647s 647s Status: 647s 647s No error found. 647s 647s State Space Explored: 647s 647s 2 states, 2 rules fired in 0s. 647s autopkgtest [06:49:13]: test rumur-model: -----------------------] 651s rumur-model PASS 651s autopkgtest [06:49:17]: test rumur-model: - - - - - - - - - - results - - - - - - - - - - 655s autopkgtest [06:49:21]: test rumur-run-model: preparing testbed 668s Reading package lists... 669s Building dependency tree... 669s Reading state information... 669s Starting pkgProblemResolver with broken count: 0 669s Starting 2 pkgProblemResolver with broken count: 0 669s Done 671s The following NEW packages will be installed: 671s autopkgtest-satdep 671s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 671s Need to get 0 B/744 B of archives. 671s After this operation, 0 B of additional disk space will be used. 671s Get:1 /tmp/autopkgtest.Thk1ws/10-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 671s Selecting previously unselected package autopkgtest-satdep. 671s (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 ... 61354 files and directories currently installed.) 671s Preparing to unpack .../10-autopkgtest-satdep.deb ... 671s Unpacking autopkgtest-satdep (0) ... 671s Setting up autopkgtest-satdep (0) ... 683s (Reading database ... 61354 files and directories currently installed.) 683s Removing autopkgtest-satdep (0) ... 689s autopkgtest [06:49:55]: test rumur-run-model: [----------------------- 691s + mkdir -p /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/rumur-run-model 691s + cd /tmp/autopkgtest.Thk1ws/autopkgtest_tmp/rumur-run-model 691s + cat - 691s + rumur-run model.m 692s Memory usage: 692s 692s * The size of each state is 2 bits (rounded up to 1 bytes). 692s * The size of the hash table is 262144 slots. 692s 692s Progress Report: 692s 692s 692s ========================================================================== 692s 692s Status: 692s 692s No error found. 692s 692s State Space Explored: 692s 692s 2 states, 2 rules fired in 0s. 692s Generating the checker... 692s Compiling the checker... 692s Running the checker... 693s autopkgtest [06:49:59]: test rumur-run-model: -----------------------] 697s autopkgtest [06:50:03]: test rumur-run-model: - - - - - - - - - - results - - - - - - - - - - 697s rumur-run-model PASS 701s autopkgtest [06:50:07]: test rumur-version: preparing testbed 713s Reading package lists... 713s Building dependency tree... 713s Reading state information... 714s Starting pkgProblemResolver with broken count: 0 714s Starting 2 pkgProblemResolver with broken count: 0 714s Done 715s The following NEW packages will be installed: 715s autopkgtest-satdep 715s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 715s Need to get 0 B/744 B of archives. 715s After this operation, 0 B of additional disk space will be used. 715s Get:1 /tmp/autopkgtest.Thk1ws/11-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 716s Selecting previously unselected package autopkgtest-satdep. 716s (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 ... 61354 files and directories currently installed.) 716s Preparing to unpack .../11-autopkgtest-satdep.deb ... 716s Unpacking autopkgtest-satdep (0) ... 716s Setting up autopkgtest-satdep (0) ... 727s (Reading database ... 61354 files and directories currently installed.) 727s Removing autopkgtest-satdep (0) ... 733s autopkgtest [06:50:39]: test rumur-version: [----------------------- 737s + rumur --version 737s Rumur version v2023.11.27-1 738s autopkgtest [06:50:44]: test rumur-version: -----------------------] 742s rumur-version PASSautopkgtest [06:50:48]: test rumur-version: - - - - - - - - - - results - - - - - - - - - - 742s 746s autopkgtest [06:50:52]: @@@@@@@@@@@@@@@@@@@@ summary 746s librumur-api PASS 746s murphi2c-header PASS 746s murphi2c-source PASS 746s murphi2c-version PASS 746s murphi2murphi-basic PASS 746s murphi2murphi-version PASS 746s murphi2xml-model PASS 746s murphi2xml-version PASS 746s rumur-model PASS 746s rumur-run-model PASS 746s rumur-version PASS