4s autopkgtest [18:11:41]: starting date and time: 2024-07-12 18:11:41+0000
  4s autopkgtest [18:11:41]: git checkout: fd3bed09 nova: allow more retries for quota issues
  4s autopkgtest [18:11:41]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.o0252b44/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.39-3.1ubuntu3 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-3@lcy02-73.secgroup --name adt-oracular-amd64-rumur-20240712-181127-juju-7f2275-prod-proposed-migration-environment-3-6ae4f766-8fd8-4330-8efb-7cd00c47a838 --image adt/ubuntu-oracular-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-3 --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'"'"'' --mirror=http://ftpmaster.internal/ubuntu/
137s autopkgtest [18:13:54]: testbed dpkg architecture: amd64
154s autopkgtest [18:14:11]: testbed apt version: 2.9.6
154s autopkgtest [18:14:11]: @@@@@@@@@@@@@@@@@@@@ test bed setup
154s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB]
154s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B]
154s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [48.0 kB]
154s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [327 kB]
154s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B]
154s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 Packages [99.8 kB]
154s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main i386 Packages [71.2 kB]
154s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 c-n-f Metadata [2104 B]
154s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted i386 Packages [6244 B]
154s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 Packages [34.9 kB]
154s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 c-n-f Metadata [368 B]
154s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/universe i386 Packages [218 kB]
154s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 Packages [361 kB]
154s Get:14 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 c-n-f Metadata [9228 B]
154s Get:15 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse i386 Packages [3052 B]
154s Get:16 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 Packages [7644 B]
154s Get:17 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 c-n-f Metadata [276 B]
156s Fetched 1325 kB in 0s (5388 kB/s)
156s Reading package lists...
161s Reading package lists...
161s Building dependency tree...
161s Reading state information...
161s Calculating upgrade...
162s The following packages will be upgraded:
162s   libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales
162s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
162s Need to get 10.3 MB of archives.
162s After this operation, 34.8 kB of additional disk space will be used.
162s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-devtools amd64 2.39-3.1ubuntu3 [29.3 kB]
162s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6-dev amd64 2.39-3.1ubuntu3 [2120 kB]
162s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-dev-bin amd64 2.39-3.1ubuntu3 [20.4 kB]
162s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6 amd64 2.39-3.1ubuntu3 [3262 kB]
162s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-bin amd64 2.39-3.1ubuntu3 [680 kB]
162s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 locales all 2.39-3.1ubuntu3 [4220 kB]
162s Preconfiguring packages ...
162s Fetched 10.3 MB in 0s (56.7 MB/s)
162s (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 ... 74486 files and directories currently installed.)
162s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_amd64.deb ...
162s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
162s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_amd64.deb ...
162s Unpacking libc6-dev:amd64 (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
163s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_amd64.deb ...
163s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
163s Preparing to unpack .../libc6_2.39-3.1ubuntu3_amd64.deb ...
163s Unpacking libc6:amd64 (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
163s Setting up libc6:amd64 (2.39-3.1ubuntu3) ...
163s Error: Could not restart systemd, systemd binary not working
163s (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 ... 74486 files and directories currently installed.)
163s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_amd64.deb ...
163s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
163s Setting up libc-bin (2.39-3.1ubuntu3) ...
163s (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 ... 74486 files and directories currently installed.)
163s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ...
163s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
164s Setting up locales (2.39-3.1ubuntu3) ...
164s Generating locales (this might take a while)...
166s   en_US.UTF-8... done
166s Generation complete.
166s Setting up libc-dev-bin (2.39-3.1ubuntu3) ...
166s Setting up libc-devtools (2.39-3.1ubuntu3) ...
166s Setting up libc6-dev:amd64 (2.39-3.1ubuntu3) ...
166s Processing triggers for man-db (2.12.1-2) ...
167s Processing triggers for systemd (256-1ubuntu1) ...
168s Reading package lists...
168s Building dependency tree...
168s Reading state information...
168s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
189s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease
189s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease
189s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease
189s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease
190s Reading package lists...
190s Reading package lists...
190s Building dependency tree...
190s Reading state information...
191s Calculating upgrade...
191s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
191s Reading package lists...
191s Building dependency tree...
191s Reading state information...
191s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
218s autopkgtest [18:15:15]: testbed running kernel: Linux 6.8.0-31-generic #31-Ubuntu SMP PREEMPT_DYNAMIC Sat Apr 20 00:40:06 UTC 2024
218s autopkgtest [18:15:15]: @@@@@@@@@@@@@@@@@@@@ apt-source rumur
242s Get:1 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (dsc) [1998 B]
242s Get:2 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (tar) [318 kB]
242s Get:3 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (diff) [5196 B]
242s gpgv: Signature made Mon Jan 29 08:19:09 2024 UTC
242s gpgv:                using RSA key FDDD0CFF3864277630A2186C9164FA1D17BD5D36
242s gpgv: Can't check signature: No public key
242s dpkg-source: warning: cannot verify inline signature for ./rumur_2023.11.27-1.dsc: no acceptable signature found
242s autopkgtest [18:15:39]: testing package rumur version 2023.11.27-1
245s autopkgtest [18:15:42]: build not needed
245s autopkgtest [18:15:42]: test librumur-api: preparing testbed
275s Reading package lists...
276s Building dependency tree...
276s Reading state information...
276s Starting pkgProblemResolver with broken count: 0
276s Starting 2 pkgProblemResolver with broken count: 0
276s Done
276s The following additional packages will be installed:
276s   build-essential cpp cpp-13 cpp-13-x86-64-linux-gnu cpp-x86-64-linux-gnu flex
276s   g++ g++-13 g++-13-x86-64-linux-gnu g++-x86-64-linux-gnu gcc gcc-13
276s   gcc-13-base gcc-13-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1
276s   libcc1-0 libfl-dev libfl2 libgcc-13-dev libgmp-dev libgmpxx4ldbl libgomp1
276s   libhwasan0 libisl23 libitm1 liblsan0 libmpc3 libquadmath0 libstdc++-13-dev
276s   libtsan2 libubsan1 m4 rumur
276s Suggested packages:
276s   cpp-doc gcc-13-locales cpp-13-doc bison flex-doc g++-multilib
276s   g++-13-multilib gcc-13-doc gcc-multilib manpages-dev autoconf automake
276s   libtool gdb gcc-doc gcc-13-multilib gdb-x86-64-linux-gnu gmp-doc
276s   libgmp10-doc libmpfr-dev libstdc++-13-doc m4-doc
276s The following NEW packages will be installed:
276s   autopkgtest-satdep build-essential cpp cpp-13 cpp-13-x86-64-linux-gnu
276s   cpp-x86-64-linux-gnu flex g++ g++-13 g++-13-x86-64-linux-gnu
276s   g++-x86-64-linux-gnu gcc gcc-13 gcc-13-base gcc-13-x86-64-linux-gnu
276s   gcc-x86-64-linux-gnu libasan8 libatomic1 libcc1-0 libfl-dev libfl2
276s   libgcc-13-dev libgmp-dev libgmpxx4ldbl libgomp1 libhwasan0 libisl23 libitm1
276s   liblsan0 libmpc3 libquadmath0 libstdc++-13-dev libtsan2 libubsan1 m4 rumur
276s 0 upgraded, 36 newly installed, 0 to remove and 0 not upgraded.
276s Need to get 64.2 MB/64.2 MB of archives.
276s After this operation, 232 MB of additional disk space will be used.
276s Get:1 /tmp/autopkgtest.pZAhXD/1-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [744 B]
276s Get:2 http://ftpmaster.internal/ubuntu oracular/main amd64 m4 amd64 1.4.19-4build1 [244 kB]
277s Get:3 http://ftpmaster.internal/ubuntu oracular/main amd64 flex amd64 2.6.4-8.2build1 [301 kB]
277s Get:4 http://ftpmaster.internal/ubuntu oracular/main amd64 gcc-13-base amd64 13.2.0-23ubuntu4 [49.0 kB]
277s Get:5 http://ftpmaster.internal/ubuntu oracular/main amd64 libisl23 amd64 0.26-3build1 [680 kB]
277s Get:6 http://ftpmaster.internal/ubuntu oracular/main amd64 libmpc3 amd64 1.3.1-1build1 [54.5 kB]
277s Get:7 http://ftpmaster.internal/ubuntu oracular/main amd64 cpp-13-x86-64-linux-gnu amd64 13.2.0-23ubuntu4 [11.2 MB]
277s Get:8 http://ftpmaster.internal/ubuntu oracular/main amd64 cpp-13 amd64 13.2.0-23ubuntu4 [1032 B]
277s Get:9 http://ftpmaster.internal/ubuntu oracular/main amd64 cpp-x86-64-linux-gnu amd64 4:13.2.0-7ubuntu1 [5326 B]
277s Get:10 http://ftpmaster.internal/ubuntu oracular/main amd64 cpp amd64 4:13.2.0-7ubuntu1 [22.4 kB]
277s Get:11 http://ftpmaster.internal/ubuntu oracular/main amd64 libcc1-0 amd64 14.1.0-1ubuntu1 [48.0 kB]
277s Get:12 http://ftpmaster.internal/ubuntu oracular/main amd64 libgomp1 amd64 14.1.0-1ubuntu1 [148 kB]
277s Get:13 http://ftpmaster.internal/ubuntu oracular/main amd64 libitm1 amd64 14.1.0-1ubuntu1 [29.1 kB]
277s Get:14 http://ftpmaster.internal/ubuntu oracular/main amd64 libatomic1 amd64 14.1.0-1ubuntu1 [10.4 kB]
277s Get:15 http://ftpmaster.internal/ubuntu oracular/main amd64 libasan8 amd64 14.1.0-1ubuntu1 [3025 kB]
277s Get:16 http://ftpmaster.internal/ubuntu oracular/main amd64 liblsan0 amd64 14.1.0-1ubuntu1 [1313 kB]
277s Get:17 http://ftpmaster.internal/ubuntu oracular/main amd64 libtsan2 amd64 14.1.0-1ubuntu1 [2736 kB]
277s Get:18 http://ftpmaster.internal/ubuntu oracular/main amd64 libubsan1 amd64 14.1.0-1ubuntu1 [1174 kB]
277s Get:19 http://ftpmaster.internal/ubuntu oracular/main amd64 libhwasan0 amd64 14.1.0-1ubuntu1 [1632 kB]
277s Get:20 http://ftpmaster.internal/ubuntu oracular/main amd64 libquadmath0 amd64 14.1.0-1ubuntu1 [153 kB]
277s Get:21 http://ftpmaster.internal/ubuntu oracular/main amd64 libgcc-13-dev amd64 13.2.0-23ubuntu4 [2688 kB]
277s Get:22 http://ftpmaster.internal/ubuntu oracular/main amd64 gcc-13-x86-64-linux-gnu amd64 13.2.0-23ubuntu4 [21.9 MB]
277s Get:23 http://ftpmaster.internal/ubuntu oracular/main amd64 gcc-13 amd64 13.2.0-23ubuntu4 [482 kB]
277s Get:24 http://ftpmaster.internal/ubuntu oracular/main amd64 gcc-x86-64-linux-gnu amd64 4:13.2.0-7ubuntu1 [1212 B]
277s Get:25 http://ftpmaster.internal/ubuntu oracular/main amd64 gcc amd64 4:13.2.0-7ubuntu1 [5018 B]
277s Get:26 http://ftpmaster.internal/ubuntu oracular/main amd64 libstdc++-13-dev amd64 13.2.0-23ubuntu4 [2399 kB]
277s Get:27 http://ftpmaster.internal/ubuntu oracular/main amd64 g++-13-x86-64-linux-gnu amd64 13.2.0-23ubuntu4 [12.5 MB]
277s Get:28 http://ftpmaster.internal/ubuntu oracular/main amd64 g++-13 amd64 13.2.0-23ubuntu4 [14.5 kB]
277s Get:29 http://ftpmaster.internal/ubuntu oracular/main amd64 g++-x86-64-linux-gnu amd64 4:13.2.0-7ubuntu1 [964 B]
277s Get:30 http://ftpmaster.internal/ubuntu oracular/main amd64 g++ amd64 4:13.2.0-7ubuntu1 [1100 B]
277s Get:31 http://ftpmaster.internal/ubuntu oracular/main amd64 build-essential amd64 12.10ubuntu1 [4928 B]
277s Get:32 http://ftpmaster.internal/ubuntu oracular/main amd64 libfl2 amd64 2.6.4-8.2build1 [9768 B]
277s Get:33 http://ftpmaster.internal/ubuntu oracular/main amd64 libfl-dev amd64 2.6.4-8.2build1 [6250 B]
277s Get:34 http://ftpmaster.internal/ubuntu oracular/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-2ubuntu6 [9884 B]
277s Get:35 http://ftpmaster.internal/ubuntu oracular/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-2ubuntu6 [340 kB]
277s Get:36 http://ftpmaster.internal/ubuntu oracular/universe amd64 rumur amd64 2023.11.27-1 [1050 kB]
278s Fetched 64.2 MB in 1s (96.0 MB/s)
278s Selecting previously unselected package m4.
278s (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 ... 74486 files and directories currently installed.)
278s Preparing to unpack .../00-m4_1.4.19-4build1_amd64.deb ...
278s Unpacking m4 (1.4.19-4build1) ...
278s Selecting previously unselected package flex.
278s Preparing to unpack .../01-flex_2.6.4-8.2build1_amd64.deb ...
278s Unpacking flex (2.6.4-8.2build1) ...
278s Selecting previously unselected package gcc-13-base:amd64.
278s Preparing to unpack .../02-gcc-13-base_13.2.0-23ubuntu4_amd64.deb ...
278s Unpacking gcc-13-base:amd64 (13.2.0-23ubuntu4) ...
278s Selecting previously unselected package libisl23:amd64.
278s Preparing to unpack .../03-libisl23_0.26-3build1_amd64.deb ...
278s Unpacking libisl23:amd64 (0.26-3build1) ...
278s Selecting previously unselected package libmpc3:amd64.
278s Preparing to unpack .../04-libmpc3_1.3.1-1build1_amd64.deb ...
278s Unpacking libmpc3:amd64 (1.3.1-1build1) ...
278s Selecting previously unselected package cpp-13-x86-64-linux-gnu.
278s Preparing to unpack .../05-cpp-13-x86-64-linux-gnu_13.2.0-23ubuntu4_amd64.deb ...
278s Unpacking cpp-13-x86-64-linux-gnu (13.2.0-23ubuntu4) ...
278s Selecting previously unselected package cpp-13.
278s Preparing to unpack .../06-cpp-13_13.2.0-23ubuntu4_amd64.deb ...
278s Unpacking cpp-13 (13.2.0-23ubuntu4) ...
278s Selecting previously unselected package cpp-x86-64-linux-gnu.
278s Preparing to unpack .../07-cpp-x86-64-linux-gnu_4%3a13.2.0-7ubuntu1_amd64.deb ...
278s Unpacking cpp-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ...
278s Selecting previously unselected package cpp.
278s Preparing to unpack .../08-cpp_4%3a13.2.0-7ubuntu1_amd64.deb ...
278s Unpacking cpp (4:13.2.0-7ubuntu1) ...
278s Selecting previously unselected package libcc1-0:amd64.
278s Preparing to unpack .../09-libcc1-0_14.1.0-1ubuntu1_amd64.deb ...
278s Unpacking libcc1-0:amd64 (14.1.0-1ubuntu1) ...
278s Selecting previously unselected package libgomp1:amd64.
278s Preparing to unpack .../10-libgomp1_14.1.0-1ubuntu1_amd64.deb ...
278s Unpacking libgomp1:amd64 (14.1.0-1ubuntu1) ...
278s Selecting previously unselected package libitm1:amd64.
278s Preparing to unpack .../11-libitm1_14.1.0-1ubuntu1_amd64.deb ...
278s Unpacking libitm1:amd64 (14.1.0-1ubuntu1) ...
278s Selecting previously unselected package libatomic1:amd64.
278s Preparing to unpack .../12-libatomic1_14.1.0-1ubuntu1_amd64.deb ...
278s Unpacking libatomic1:amd64 (14.1.0-1ubuntu1) ...
278s Selecting previously unselected package libasan8:amd64.
278s Preparing to unpack .../13-libasan8_14.1.0-1ubuntu1_amd64.deb ...
278s Unpacking libasan8:amd64 (14.1.0-1ubuntu1) ...
278s Selecting previously unselected package liblsan0:amd64.
278s Preparing to unpack .../14-liblsan0_14.1.0-1ubuntu1_amd64.deb ...
278s Unpacking liblsan0:amd64 (14.1.0-1ubuntu1) ...
278s Selecting previously unselected package libtsan2:amd64.
278s Preparing to unpack .../15-libtsan2_14.1.0-1ubuntu1_amd64.deb ...
278s Unpacking libtsan2:amd64 (14.1.0-1ubuntu1) ...
278s Selecting previously unselected package libubsan1:amd64.
278s Preparing to unpack .../16-libubsan1_14.1.0-1ubuntu1_amd64.deb ...
278s Unpacking libubsan1:amd64 (14.1.0-1ubuntu1) ...
278s Selecting previously unselected package libhwasan0:amd64.
278s Preparing to unpack .../17-libhwasan0_14.1.0-1ubuntu1_amd64.deb ...
278s Unpacking libhwasan0:amd64 (14.1.0-1ubuntu1) ...
278s Selecting previously unselected package libquadmath0:amd64.
278s Preparing to unpack .../18-libquadmath0_14.1.0-1ubuntu1_amd64.deb ...
278s Unpacking libquadmath0:amd64 (14.1.0-1ubuntu1) ...
278s Selecting previously unselected package libgcc-13-dev:amd64.
278s Preparing to unpack .../19-libgcc-13-dev_13.2.0-23ubuntu4_amd64.deb ...
278s Unpacking libgcc-13-dev:amd64 (13.2.0-23ubuntu4) ...
279s Selecting previously unselected package gcc-13-x86-64-linux-gnu.
279s Preparing to unpack .../20-gcc-13-x86-64-linux-gnu_13.2.0-23ubuntu4_amd64.deb ...
279s Unpacking gcc-13-x86-64-linux-gnu (13.2.0-23ubuntu4) ...
279s Selecting previously unselected package gcc-13.
279s Preparing to unpack .../21-gcc-13_13.2.0-23ubuntu4_amd64.deb ...
279s Unpacking gcc-13 (13.2.0-23ubuntu4) ...
279s Selecting previously unselected package gcc-x86-64-linux-gnu.
279s Preparing to unpack .../22-gcc-x86-64-linux-gnu_4%3a13.2.0-7ubuntu1_amd64.deb ...
279s Unpacking gcc-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ...
279s Selecting previously unselected package gcc.
279s Preparing to unpack .../23-gcc_4%3a13.2.0-7ubuntu1_amd64.deb ...
279s Unpacking gcc (4:13.2.0-7ubuntu1) ...
279s Selecting previously unselected package libstdc++-13-dev:amd64.
279s Preparing to unpack .../24-libstdc++-13-dev_13.2.0-23ubuntu4_amd64.deb ...
279s Unpacking libstdc++-13-dev:amd64 (13.2.0-23ubuntu4) ...
279s Selecting previously unselected package g++-13-x86-64-linux-gnu.
279s Preparing to unpack .../25-g++-13-x86-64-linux-gnu_13.2.0-23ubuntu4_amd64.deb ...
279s Unpacking g++-13-x86-64-linux-gnu (13.2.0-23ubuntu4) ...
279s Selecting previously unselected package g++-13.
279s Preparing to unpack .../26-g++-13_13.2.0-23ubuntu4_amd64.deb ...
279s Unpacking g++-13 (13.2.0-23ubuntu4) ...
279s Selecting previously unselected package g++-x86-64-linux-gnu.
279s Preparing to unpack .../27-g++-x86-64-linux-gnu_4%3a13.2.0-7ubuntu1_amd64.deb ...
279s Unpacking g++-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ...
279s Selecting previously unselected package g++.
279s Preparing to unpack .../28-g++_4%3a13.2.0-7ubuntu1_amd64.deb ...
279s Unpacking g++ (4:13.2.0-7ubuntu1) ...
279s Selecting previously unselected package build-essential.
279s Preparing to unpack .../29-build-essential_12.10ubuntu1_amd64.deb ...
279s Unpacking build-essential (12.10ubuntu1) ...
280s Selecting previously unselected package libfl2:amd64.
280s Preparing to unpack .../30-libfl2_2.6.4-8.2build1_amd64.deb ...
280s Unpacking libfl2:amd64 (2.6.4-8.2build1) ...
280s Selecting previously unselected package libfl-dev:amd64.
280s Preparing to unpack .../31-libfl-dev_2.6.4-8.2build1_amd64.deb ...
280s Unpacking libfl-dev:amd64 (2.6.4-8.2build1) ...
280s Selecting previously unselected package libgmpxx4ldbl:amd64.
280s Preparing to unpack .../32-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6_amd64.deb ...
280s Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu6) ...
280s Selecting previously unselected package libgmp-dev:amd64.
280s Preparing to unpack .../33-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6_amd64.deb ...
280s Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu6) ...
280s Selecting previously unselected package rumur.
280s Preparing to unpack .../34-rumur_2023.11.27-1_amd64.deb ...
280s Unpacking rumur (2023.11.27-1) ...
280s Selecting previously unselected package autopkgtest-satdep.
280s Preparing to unpack .../35-1-autopkgtest-satdep.deb ...
280s Unpacking autopkgtest-satdep (0) ...
280s Setting up m4 (1.4.19-4build1) ...
280s Setting up libgomp1:amd64 (14.1.0-1ubuntu1) ...
280s Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu6) ...
280s Setting up gcc-13-base:amd64 (13.2.0-23ubuntu4) ...
280s Setting up libquadmath0:amd64 (14.1.0-1ubuntu1) ...
280s Setting up rumur (2023.11.27-1) ...
280s Setting up libmpc3:amd64 (1.3.1-1build1) ...
280s Setting up libatomic1:amd64 (14.1.0-1ubuntu1) ...
280s Setting up libfl2:amd64 (2.6.4-8.2build1) ...
280s Setting up libubsan1:amd64 (14.1.0-1ubuntu1) ...
280s Setting up libhwasan0:amd64 (14.1.0-1ubuntu1) ...
280s Setting up libasan8:amd64 (14.1.0-1ubuntu1) ...
280s Setting up libtsan2:amd64 (14.1.0-1ubuntu1) ...
280s Setting up libisl23:amd64 (0.26-3build1) ...
280s Setting up libcc1-0:amd64 (14.1.0-1ubuntu1) ...
280s Setting up liblsan0:amd64 (14.1.0-1ubuntu1) ...
280s Setting up libitm1:amd64 (14.1.0-1ubuntu1) ...
280s Setting up flex (2.6.4-8.2build1) ...
280s Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu6) ...
280s Setting up cpp-13-x86-64-linux-gnu (13.2.0-23ubuntu4) ...
280s Setting up libfl-dev:amd64 (2.6.4-8.2build1) ...
280s Setting up libgcc-13-dev:amd64 (13.2.0-23ubuntu4) ...
280s Setting up libstdc++-13-dev:amd64 (13.2.0-23ubuntu4) ...
280s Setting up cpp-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ...
280s Setting up cpp-13 (13.2.0-23ubuntu4) ...
280s Setting up gcc-13-x86-64-linux-gnu (13.2.0-23ubuntu4) ...
280s Setting up gcc-13 (13.2.0-23ubuntu4) ...
280s Setting up cpp (4:13.2.0-7ubuntu1) ...
280s Setting up g++-13-x86-64-linux-gnu (13.2.0-23ubuntu4) ...
280s Setting up gcc-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ...
280s Setting up gcc (4:13.2.0-7ubuntu1) ...
280s Setting up g++-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ...
280s Setting up g++-13 (13.2.0-23ubuntu4) ...
280s Setting up g++ (4:13.2.0-7ubuntu1) ...
280s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode
280s Setting up build-essential (12.10ubuntu1) ...
280s Setting up autopkgtest-satdep (0) ...
280s Processing triggers for man-db (2.12.1-2) ...
280s Processing triggers for install-info (7.1-3build2) ...
280s Processing triggers for libc-bin (2.39-3.1ubuntu3) ...
283s (Reading database ... 75950 files and directories currently installed.)
283s Removing autopkgtest-satdep (0) ...
283s autopkgtest [18:16:20]: test librumur-api: [-----------------------
283s + mkdir -p /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/librumur-api
283s + cd /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/librumur-api
283s + cat -
283s + cat -
283s + c++ -std=c++11 main.cc -lrumur -lgmpxx -lgmp
284s + ./a.out
285s autopkgtest [18:16:22]: test librumur-api: -----------------------]
307s autopkgtest [18:16:44]: test librumur-api:  - - - - - - - - - - results - - - - - - - - - -
307s librumur-api         PASS
317s autopkgtest [18:16:54]: test murphi2c-header: preparing testbed
347s Reading package lists...
347s Building dependency tree...
347s Reading state information...
347s Starting pkgProblemResolver with broken count: 0
347s Starting 2 pkgProblemResolver with broken count: 0
347s Done
348s The following NEW packages will be installed:
348s   autopkgtest-satdep
348s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
348s Need to get 0 B/744 B of archives.
348s After this operation, 0 B of additional disk space will be used.
348s Get:1 /tmp/autopkgtest.pZAhXD/2-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [744 B]
348s Selecting previously unselected package autopkgtest-satdep.
348s (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 ... 75950 files and directories currently installed.)
348s Preparing to unpack .../2-autopkgtest-satdep.deb ...
348s Unpacking autopkgtest-satdep (0) ...
348s Setting up autopkgtest-satdep (0) ...
356s (Reading database ... 75950 files and directories currently installed.)
356s Removing autopkgtest-satdep (0) ...
364s autopkgtest [18:17:41]: test murphi2c-header: [-----------------------
364s + mkdir -p /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/murphi2c-header
364s + cd /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/murphi2c-header
364s + cat -
364s + murphi2c --header --output model.h model.m
364s + cat -
364s + cc -std=c11 -o /dev/null main.c
364s + cat -
364s + c++ -std=c++11 -o /dev/null main.cc
364s autopkgtest [18:17:41]: test murphi2c-header: -----------------------]
407s murphi2c-header      PASS
407s autopkgtest [18:18:24]: test murphi2c-header:  - - - - - - - - - - results - - - - - - - - - -
413s autopkgtest [18:18:30]: test murphi2c-source: preparing testbed
435s Reading package lists...
436s Building dependency tree...
436s Reading state information...
436s Starting pkgProblemResolver with broken count: 0
436s Starting 2 pkgProblemResolver with broken count: 0
436s Done
436s The following NEW packages will be installed:
436s   autopkgtest-satdep
436s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
436s Need to get 0 B/748 B of archives.
436s After this operation, 0 B of additional disk space will be used.
436s Get:1 /tmp/autopkgtest.pZAhXD/3-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [748 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 ... 75950 files and directories currently installed.)
437s Preparing to unpack .../3-autopkgtest-satdep.deb ...
437s Unpacking autopkgtest-satdep (0) ...
437s Setting up autopkgtest-satdep (0) ...
439s (Reading database ... 75950 files and directories currently installed.)
439s Removing autopkgtest-satdep (0) ...
440s autopkgtest [18:18:57]: test murphi2c-source: [-----------------------
440s + mkdir -p /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/murphi2c-source
440s + cd /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/murphi2c-source
440s + cat -
440s + murphi2c --output model.c model.m
440s + cc -std=c11 -o /dev/null -c model.c
441s autopkgtest [18:18:58]: test murphi2c-source: -----------------------]
441s murphi2c-source      PASS
441s autopkgtest [18:18:58]: test murphi2c-source:  - - - - - - - - - - results - - - - - - - - - -
441s autopkgtest [18:18:58]: test murphi2c-version: preparing testbed
442s Reading package lists...
442s Building dependency tree...
442s Reading state information...
442s Starting pkgProblemResolver with broken count: 0
442s Starting 2 pkgProblemResolver with broken count: 0
442s Done
443s The following NEW packages will be installed:
443s   autopkgtest-satdep
443s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
443s Need to get 0 B/744 B of archives.
443s After this operation, 0 B of additional disk space will be used.
443s Get:1 /tmp/autopkgtest.pZAhXD/4-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [744 B]
443s Selecting previously unselected package autopkgtest-satdep.
443s (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 ... 75950 files and directories currently installed.)
443s Preparing to unpack .../4-autopkgtest-satdep.deb ...
443s Unpacking autopkgtest-satdep (0) ...
443s Setting up autopkgtest-satdep (0) ...
476s (Reading database ... 75950 files and directories currently installed.)
476s Removing autopkgtest-satdep (0) ...
496s autopkgtest [18:19:53]: test murphi2c-version: [-----------------------
496s + murphi2c --version
496s Murphi2C version v2023.11.27-1
496s autopkgtest [18:19:53]: test murphi2c-version: -----------------------]
557s autopkgtest [18:20:54]: test murphi2c-version:  - - - - - - - - - - results - - - - - - - - - -
557s murphi2c-version     PASS
558s autopkgtest [18:20:55]: test murphi2murphi-basic: preparing testbed
592s Reading package lists...
592s Building dependency tree...
592s Reading state information...
593s Starting pkgProblemResolver with broken count: 0
593s Starting 2 pkgProblemResolver with broken count: 0
593s Done
593s The following NEW packages will be installed:
593s   autopkgtest-satdep
593s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
593s Need to get 0 B/744 B of archives.
593s After this operation, 0 B of additional disk space will be used.
593s Get:1 /tmp/autopkgtest.pZAhXD/5-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [744 B]
593s Selecting previously unselected package autopkgtest-satdep.
593s (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 ... 75950 files and directories currently installed.)
593s Preparing to unpack .../5-autopkgtest-satdep.deb ...
593s Unpacking autopkgtest-satdep (0) ...
594s Setting up autopkgtest-satdep (0) ...
610s (Reading database ... 75950 files and directories currently installed.)
610s Removing autopkgtest-satdep (0) ...
614s autopkgtest [18:21:51]: test murphi2murphi-basic: [-----------------------
614s + mkdir -p /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/murphi2murphi-basic
614s + cd /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/murphi2murphi-basic
614s + cat -
614s + murphi2murphi --output transformed.m --explicit-semicolons model.m
614s + rumur --output /dev/null transformed.m
614s autopkgtest [18:21:51]: test murphi2murphi-basic: -----------------------]
616s autopkgtest [18:21:53]: test murphi2murphi-basic:  - - - - - - - - - - results - - - - - - - - - -
616s murphi2murphi-basic  PASS
622s autopkgtest [18:21:59]: test murphi2murphi-version: preparing testbed
681s Reading package lists...
681s Building dependency tree...
681s Reading state information...
682s Starting pkgProblemResolver with broken count: 0
682s Starting 2 pkgProblemResolver with broken count: 0
682s Done
682s The following NEW packages will be installed:
682s   autopkgtest-satdep
682s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
682s Need to get 0 B/744 B of archives.
682s After this operation, 0 B of additional disk space will be used.
682s Get:1 /tmp/autopkgtest.pZAhXD/6-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [744 B]
682s Selecting previously unselected package autopkgtest-satdep.
682s (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 ... 75950 files and directories currently installed.)
682s Preparing to unpack .../6-autopkgtest-satdep.deb ...
682s Unpacking autopkgtest-satdep (0) ...
683s Setting up autopkgtest-satdep (0) ...
692s (Reading database ... 75950 files and directories currently installed.)
692s Removing autopkgtest-satdep (0) ...
696s autopkgtest [18:23:13]: test murphi2murphi-version: [-----------------------
696s + murphi2murphi --version
696s Murphi2Murphi version v2023.11.27-1
697s autopkgtest [18:23:14]: test murphi2murphi-version: -----------------------]
697s autopkgtest [18:23:14]: test murphi2murphi-version:  - - - - - - - - - - results - - - - - - - - - -
697s murphi2murphi-version PASS
697s autopkgtest [18:23:14]: test murphi2xml-model: preparing testbed
698s Reading package lists...
698s Building dependency tree...
698s Reading state information...
698s Starting pkgProblemResolver with broken count: 0
698s Starting 2 pkgProblemResolver with broken count: 0
698s Done
699s The following NEW packages will be installed:
699s   autopkgtest-satdep
699s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
699s Need to get 0 B/744 B of archives.
699s After this operation, 0 B of additional disk space will be used.
699s Get:1 /tmp/autopkgtest.pZAhXD/7-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [744 B]
699s Selecting previously unselected package autopkgtest-satdep.
699s (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 ... 75950 files and directories currently installed.)
699s Preparing to unpack .../7-autopkgtest-satdep.deb ...
699s Unpacking autopkgtest-satdep (0) ...
699s Setting up autopkgtest-satdep (0) ...
711s (Reading database ... 75950 files and directories currently installed.)
711s Removing autopkgtest-satdep (0) ...
712s autopkgtest [18:23:29]: test murphi2xml-model: [-----------------------
712s + mkdir -p /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/murphi2xml-model
712s + cd /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/murphi2xml-model
712s + cat -
712s + murphi2xml --output /dev/null model.m
713s autopkgtest [18:23:30]: test murphi2xml-model: -----------------------]
713s autopkgtest [18:23:30]: test murphi2xml-model:  - - - - - - - - - - results - - - - - - - - - -
713s murphi2xml-model     PASS
714s autopkgtest [18:23:31]: test murphi2xml-version: preparing testbed
722s Reading package lists...
722s Building dependency tree...
722s Reading state information...
722s Starting pkgProblemResolver with broken count: 0
722s Starting 2 pkgProblemResolver with broken count: 0
722s Done
723s The following NEW packages will be installed:
723s   autopkgtest-satdep
723s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
723s Need to get 0 B/744 B of archives.
723s After this operation, 0 B of additional disk space will be used.
723s Get:1 /tmp/autopkgtest.pZAhXD/8-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [744 B]
723s Selecting previously unselected package autopkgtest-satdep.
723s (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 ... 75950 files and directories currently installed.)
723s Preparing to unpack .../8-autopkgtest-satdep.deb ...
723s Unpacking autopkgtest-satdep (0) ...
723s Setting up autopkgtest-satdep (0) ...
734s (Reading database ... 75950 files and directories currently installed.)
734s Removing autopkgtest-satdep (0) ...
741s autopkgtest [18:23:58]: test murphi2xml-version: [-----------------------
741s + murphi2xml --version
741s Rumur version v2023.11.27-1
741s autopkgtest [18:23:58]: test murphi2xml-version: -----------------------]
744s autopkgtest [18:24:01]: test murphi2xml-version:  - - - - - - - - - - results - - - - - - - - - -
744s murphi2xml-version   PASS
747s autopkgtest [18:24:04]: test rumur-model: preparing testbed
752s Reading package lists...
752s Building dependency tree...
752s Reading state information...
752s Starting pkgProblemResolver with broken count: 0
752s Starting 2 pkgProblemResolver with broken count: 0
752s Done
753s The following NEW packages will be installed:
753s   autopkgtest-satdep
753s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
753s Need to get 0 B/744 B of archives.
753s After this operation, 0 B of additional disk space will be used.
753s Get:1 /tmp/autopkgtest.pZAhXD/9-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [744 B]
753s Selecting previously unselected package autopkgtest-satdep.
753s (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 ... 75950 files and directories currently installed.)
753s Preparing to unpack .../9-autopkgtest-satdep.deb ...
753s Unpacking autopkgtest-satdep (0) ...
753s Setting up autopkgtest-satdep (0) ...
759s (Reading database ... 75950 files and directories currently installed.)
759s Removing autopkgtest-satdep (0) ...
771s autopkgtest [18:24:28]: test rumur-model: [-----------------------
772s + mkdir -p /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/rumur-model
772s + cd /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/rumur-model
772s + set +e
772s + cat -
772s + cc -std=c11 -mcx16 mcx16-check.c -o /dev/null
772s + '[' 0 -eq 0 ']'
772s + MCX16=-mcx16
772s + cat -
772s + cc -std=c11 -mcx16 libatomic-check.c -o /dev/null
772s + '[' 0 -eq 0 ']'
772s + LIBATOMIC=
772s + set -e
772s + cat -
772s + rumur --output checker.c model.m
772s + cc -std=c11 -mcx16 checker.c -lpthread
773s checker.c:133:2: warning: #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program -mcx16. [-Wcpp]
773s   133 | #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program -mcx16.
773s       |  ^~~~~~~
773s + ./a.out
773s Memory usage:
773s 
773s 	* The size of each state is 2 bits (rounded up to 1 bytes).
773s 	* The size of the hash table is 65536 slots.
773s 
773s Progress Report:
773s 
773s 
773s ==========================================================================
773s 
773s Status:
773s 
773s 	No error found.
773s 
773s State Space Explored:
773s 
773s 	2 states, 2 rules fired in 0s.
773s autopkgtest [18:24:30]: test rumur-model: -----------------------]
773s rumur-model          PASS
773s autopkgtest [18:24:30]: test rumur-model:  - - - - - - - - - - results - - - - - - - - - -
773s autopkgtest [18:24:30]: test rumur-run-model: preparing testbed
780s Reading package lists...
780s Building dependency tree...
780s Reading state information...
781s Starting pkgProblemResolver with broken count: 0
781s Starting 2 pkgProblemResolver with broken count: 0
781s Done
781s The following NEW packages will be installed:
781s   autopkgtest-satdep
781s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
781s Need to get 0 B/744 B of archives.
781s After this operation, 0 B of additional disk space will be used.
781s Get:1 /tmp/autopkgtest.pZAhXD/10-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [744 B]
781s Selecting previously unselected package autopkgtest-satdep.
781s (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 ... 75950 files and directories currently installed.)
781s Preparing to unpack .../10-autopkgtest-satdep.deb ...
781s Unpacking autopkgtest-satdep (0) ...
782s Setting up autopkgtest-satdep (0) ...
788s (Reading database ... 75950 files and directories currently installed.)
788s Removing autopkgtest-satdep (0) ...
789s autopkgtest [18:24:46]: test rumur-run-model: [-----------------------
789s + mkdir -p /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/rumur-run-model
789s + cd /tmp/autopkgtest.pZAhXD/autopkgtest_tmp/rumur-run-model
789s + cat -
789s + rumur-run model.m
790s Memory usage:
790s 
790s 	* The size of each state is 2 bits (rounded up to 1 bytes).
790s 	* The size of the hash table is 131072 slots.
790s 
790s Progress Report:
790s 
790s 
790s ==========================================================================
790s 
790s Status:
790s 
790s 	No error found.
790s 
790s State Space Explored:
790s 
790s 	2 states, 2 rules fired in 0s.
790s Generating the checker...
790s Compiling the checker...
790s Running the checker...
790s autopkgtest [18:24:47]: test rumur-run-model: -----------------------]
791s rumur-run-model      PASS
791s autopkgtest [18:24:48]: test rumur-run-model:  - - - - - - - - - - results - - - - - - - - - -
792s autopkgtest [18:24:49]: test rumur-version: preparing testbed
822s Reading package lists...
822s Building dependency tree...
822s Reading state information...
822s Starting pkgProblemResolver with broken count: 0
822s Starting 2 pkgProblemResolver with broken count: 0
822s Done
823s The following NEW packages will be installed:
823s   autopkgtest-satdep
823s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
823s Need to get 0 B/748 B of archives.
823s After this operation, 0 B of additional disk space will be used.
823s Get:1 /tmp/autopkgtest.pZAhXD/11-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [748 B]
823s Selecting previously unselected package autopkgtest-satdep.
823s (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 ... 75950 files and directories currently installed.)
823s Preparing to unpack .../11-autopkgtest-satdep.deb ...
823s Unpacking autopkgtest-satdep (0) ...
823s Setting up autopkgtest-satdep (0) ...
828s (Reading database ... 75950 files and directories currently installed.)
828s Removing autopkgtest-satdep (0) ...
828s autopkgtest [18:25:25]: test rumur-version: [-----------------------
828s + rumur --version
828s Rumur version v2023.11.27-1
828s autopkgtest [18:25:25]: test rumur-version: -----------------------]
829s autopkgtest [18:25:26]: test rumur-version:  - - - - - - - - - - results - - - - - - - - - -
829s rumur-version        PASS
829s autopkgtest [18:25:26]: @@@@@@@@@@@@@@@@@@@@ summary
829s librumur-api         PASS
829s murphi2c-header      PASS
829s murphi2c-source      PASS
829s murphi2c-version     PASS
829s murphi2murphi-basic  PASS
829s murphi2murphi-version PASS
829s murphi2xml-model     PASS
829s murphi2xml-version   PASS
829s rumur-model          PASS
829s rumur-run-model      PASS
829s rumur-version        PASS
875s nova [W] Skipping flock for amd64
875s Creating nova instance adt-oracular-amd64-rumur-20240712-181127-juju-7f2275-prod-proposed-migration-environment-3-6ae4f766-8fd8-4330-8efb-7cd00c47a838 from image adt/ubuntu-oracular-amd64-server-20240712.img (UUID 9132249a-6053-4497-bc26-981612ca03ad)...