0s autopkgtest [04:39:18]: starting date and time: 2024-07-13 04:39:18+0000
  0s autopkgtest [04:39:18]: git checkout: fd3bed09 nova: allow more retries for quota issues
  0s autopkgtest [04:39:18]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.mdwlzkn2/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@bos01-s390x-8.secgroup --name adt-oracular-s390x-rumur-20240713-043918-juju-7f2275-prod-proposed-migration-environment-3-3bf7ca87-e7ed-48e5-9cf6-f981a92e2d67 --image adt/ubuntu-oracular-s390x-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://us.ports.ubuntu.com/ubuntu-ports/
116s autopkgtest [04:41:14]: testbed dpkg architecture: s390x
116s autopkgtest [04:41:14]: testbed apt version: 2.9.6
116s autopkgtest [04:41:14]: @@@@@@@@@@@@@@@@@@@@ test bed setup
117s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB]
117s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [361 kB]
118s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [46.9 kB]
118s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [3860 B]
118s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B]
118s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x Packages [92.7 kB]
118s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x c-n-f Metadata [2112 B]
118s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted s390x Packages [1368 B]
118s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted s390x c-n-f Metadata [120 B]
118s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe s390x Packages [405 kB]
118s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe s390x c-n-f Metadata [8372 B]
118s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse s390x Packages [2092 B]
118s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse s390x c-n-f Metadata [120 B]
118s Fetched 1058 kB in 1s (1414 kB/s)
118s Reading package lists...
120s Reading package lists...
121s Building dependency tree...
121s Reading state information...
121s Calculating upgrade...
121s The following packages will be upgraded:
121s   binutils binutils-common binutils-s390x-linux-gnu gir1.2-glib-2.0
121s   inetutils-telnet libbinutils libc-bin libc-dev-bin libc-devtools libc6
121s   libc6-dev libctf-nobfd0 libctf0 libglib2.0-0t64 libglib2.0-data
121s   libnghttp2-14 libnss3 libsframe1 libssl3t64 locales openssh-client
121s   openssh-server openssh-sftp-server openssl telnet
121s 25 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
121s Need to get 20.4 MB of archives.
121s After this operation, 383 kB of additional disk space will be used.
121s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libc-devtools s390x 2.39-3.1ubuntu3 [30.7 kB]
121s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libc6-dev s390x 2.39-3.1ubuntu3 [1626 kB]
122s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libc-dev-bin s390x 2.39-3.1ubuntu3 [20.2 kB]
122s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libc6 s390x 2.39-3.1ubuntu3 [2841 kB]
122s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libc-bin s390x 2.39-3.1ubuntu3 [654 kB]
122s Get:6 http://ftpmaster.internal/ubuntu oracular/main s390x libssl3t64 s390x 3.2.2-1ubuntu1 [1837 kB]
122s Get:7 http://ftpmaster.internal/ubuntu oracular/main s390x openssh-sftp-server s390x 1:9.6p1-3ubuntu17 [38.2 kB]
122s Get:8 http://ftpmaster.internal/ubuntu oracular/main s390x openssh-server s390x 1:9.6p1-3ubuntu17 [525 kB]
122s Get:9 http://ftpmaster.internal/ubuntu oracular/main s390x openssh-client s390x 1:9.6p1-3ubuntu17 [928 kB]
122s Get:10 http://ftpmaster.internal/ubuntu oracular/main s390x gir1.2-glib-2.0 s390x 2.80.4-1ubuntu1 [180 kB]
122s Get:11 http://ftpmaster.internal/ubuntu oracular/main s390x libglib2.0-0t64 s390x 2.80.4-1ubuntu1 [1551 kB]
122s Get:12 http://ftpmaster.internal/ubuntu oracular/main s390x libglib2.0-data all 2.80.4-1ubuntu1 [49.3 kB]
122s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x locales all 2.39-3.1ubuntu3 [4220 kB]
122s Get:14 http://ftpmaster.internal/ubuntu oracular/main s390x openssl s390x 3.2.2-1ubuntu1 [1125 kB]
122s Get:15 http://ftpmaster.internal/ubuntu oracular/main s390x inetutils-telnet s390x 2:2.5-5ubuntu1 [110 kB]
122s Get:16 http://ftpmaster.internal/ubuntu oracular/main s390x libnghttp2-14 s390x 1.62.1-2 [76.9 kB]
122s Get:17 http://ftpmaster.internal/ubuntu oracular/main s390x telnet all 0.17+2.5-5ubuntu1 [3688 B]
122s Get:18 http://ftpmaster.internal/ubuntu oracular/main s390x libctf0 s390x 2.42.50.20240710-1ubuntu1 [100 kB]
122s Get:19 http://ftpmaster.internal/ubuntu oracular/main s390x libctf-nobfd0 s390x 2.42.50.20240710-1ubuntu1 [101 kB]
122s Get:20 http://ftpmaster.internal/ubuntu oracular/main s390x binutils-s390x-linux-gnu s390x 2.42.50.20240710-1ubuntu1 [2289 kB]
123s Get:21 http://ftpmaster.internal/ubuntu oracular/main s390x libbinutils s390x 2.42.50.20240710-1ubuntu1 [471 kB]
123s Get:22 http://ftpmaster.internal/ubuntu oracular/main s390x binutils s390x 2.42.50.20240710-1ubuntu1 [3062 B]
123s Get:23 http://ftpmaster.internal/ubuntu oracular/main s390x binutils-common s390x 2.42.50.20240710-1ubuntu1 [220 kB]
123s Get:24 http://ftpmaster.internal/ubuntu oracular/main s390x libsframe1 s390x 2.42.50.20240710-1ubuntu1 [13.8 kB]
123s Get:25 http://ftpmaster.internal/ubuntu oracular/main s390x libnss3 s390x 2:3.102-1 [1408 kB]
123s Preconfiguring packages ...
123s Fetched 20.4 MB in 2s (12.2 MB/s)
123s (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 ... 54721 files and directories currently installed.)
123s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_s390x.deb ...
123s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
123s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_s390x.deb ...
123s Unpacking libc6-dev:s390x (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
123s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_s390x.deb ...
123s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
123s Preparing to unpack .../libc6_2.39-3.1ubuntu3_s390x.deb ...
123s Unpacking libc6:s390x (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
124s Setting up libc6:s390x (2.39-3.1ubuntu3) ...
124s Error: Could not restart systemd, systemd binary not working
124s (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 ... 54721 files and directories currently installed.)
124s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_s390x.deb ...
124s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
124s Setting up libc-bin (2.39-3.1ubuntu3) ...
124s (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 ... 54721 files and directories currently installed.)
124s Preparing to unpack .../libssl3t64_3.2.2-1ubuntu1_s390x.deb ...
124s Unpacking libssl3t64:s390x (3.2.2-1ubuntu1) over (3.2.1-3ubuntu1) ...
124s Setting up libssl3t64:s390x (3.2.2-1ubuntu1) ...
124s (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 ... 54721 files and directories currently installed.)
124s Preparing to unpack .../00-openssh-sftp-server_1%3a9.6p1-3ubuntu17_s390x.deb ...
124s Unpacking openssh-sftp-server (1:9.6p1-3ubuntu17) over (1:9.6p1-3ubuntu15) ...
124s Preparing to unpack .../01-openssh-server_1%3a9.6p1-3ubuntu17_s390x.deb ...
124s Unpacking openssh-server (1:9.6p1-3ubuntu17) over (1:9.6p1-3ubuntu15) ...
124s Preparing to unpack .../02-openssh-client_1%3a9.6p1-3ubuntu17_s390x.deb ...
124s Unpacking openssh-client (1:9.6p1-3ubuntu17) over (1:9.6p1-3ubuntu15) ...
124s Preparing to unpack .../03-gir1.2-glib-2.0_2.80.4-1ubuntu1_s390x.deb ...
124s Unpacking gir1.2-glib-2.0:s390x (2.80.4-1ubuntu1) over (2.80.3-1ubuntu1) ...
124s Preparing to unpack .../04-libglib2.0-0t64_2.80.4-1ubuntu1_s390x.deb ...
124s Unpacking libglib2.0-0t64:s390x (2.80.4-1ubuntu1) over (2.80.3-1ubuntu1) ...
124s Preparing to unpack .../05-libglib2.0-data_2.80.4-1ubuntu1_all.deb ...
124s Unpacking libglib2.0-data (2.80.4-1ubuntu1) over (2.80.3-1ubuntu1) ...
124s Preparing to unpack .../06-locales_2.39-3.1ubuntu3_all.deb ...
124s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ...
124s Preparing to unpack .../07-openssl_3.2.2-1ubuntu1_s390x.deb ...
124s Unpacking openssl (3.2.2-1ubuntu1) over (3.2.1-3ubuntu1) ...
125s Preparing to unpack .../08-inetutils-telnet_2%3a2.5-5ubuntu1_s390x.deb ...
125s Unpacking inetutils-telnet (2:2.5-5ubuntu1) over (2:2.5-3ubuntu4) ...
125s Preparing to unpack .../09-libnghttp2-14_1.62.1-2_s390x.deb ...
125s Unpacking libnghttp2-14:s390x (1.62.1-2) over (1.62.1-1) ...
125s Preparing to unpack .../10-telnet_0.17+2.5-5ubuntu1_all.deb ...
125s Unpacking telnet (0.17+2.5-5ubuntu1) over (0.17+2.5-3ubuntu4) ...
125s Preparing to unpack .../11-libctf0_2.42.50.20240710-1ubuntu1_s390x.deb ...
125s Unpacking libctf0:s390x (2.42.50.20240710-1ubuntu1) over (2.42.50.20240625-1ubuntu1) ...
125s Preparing to unpack .../12-libctf-nobfd0_2.42.50.20240710-1ubuntu1_s390x.deb ...
125s Unpacking libctf-nobfd0:s390x (2.42.50.20240710-1ubuntu1) over (2.42.50.20240625-1ubuntu1) ...
125s Preparing to unpack .../13-binutils-s390x-linux-gnu_2.42.50.20240710-1ubuntu1_s390x.deb ...
125s Unpacking binutils-s390x-linux-gnu (2.42.50.20240710-1ubuntu1) over (2.42.50.20240625-1ubuntu1) ...
125s Preparing to unpack .../14-libbinutils_2.42.50.20240710-1ubuntu1_s390x.deb ...
125s Unpacking libbinutils:s390x (2.42.50.20240710-1ubuntu1) over (2.42.50.20240625-1ubuntu1) ...
125s Preparing to unpack .../15-binutils_2.42.50.20240710-1ubuntu1_s390x.deb ...
125s Unpacking binutils (2.42.50.20240710-1ubuntu1) over (2.42.50.20240625-1ubuntu1) ...
125s Preparing to unpack .../16-binutils-common_2.42.50.20240710-1ubuntu1_s390x.deb ...
125s Unpacking binutils-common:s390x (2.42.50.20240710-1ubuntu1) over (2.42.50.20240625-1ubuntu1) ...
125s Preparing to unpack .../17-libsframe1_2.42.50.20240710-1ubuntu1_s390x.deb ...
125s Unpacking libsframe1:s390x (2.42.50.20240710-1ubuntu1) over (2.42.50.20240625-1ubuntu1) ...
125s Preparing to unpack .../18-libnss3_2%3a3.102-1_s390x.deb ...
125s Unpacking libnss3:s390x (2:3.102-1) over (2:3.101-1) ...
125s Setting up openssh-client (1:9.6p1-3ubuntu17) ...
125s Setting up binutils-common:s390x (2.42.50.20240710-1ubuntu1) ...
125s Setting up libnghttp2-14:s390x (1.62.1-2) ...
125s Setting up inetutils-telnet (2:2.5-5ubuntu1) ...
125s Setting up libctf-nobfd0:s390x (2.42.50.20240710-1ubuntu1) ...
125s Setting up libnss3:s390x (2:3.102-1) ...
125s Setting up locales (2.39-3.1ubuntu3) ...
125s Generating locales (this might take a while)...
127s   en_US.UTF-8... done
127s Generation complete.
127s Setting up libsframe1:s390x (2.42.50.20240710-1ubuntu1) ...
127s Setting up libglib2.0-0t64:s390x (2.80.4-1ubuntu1) ...
127s No schema files found: doing nothing.
127s Setting up libglib2.0-data (2.80.4-1ubuntu1) ...
127s Setting up gir1.2-glib-2.0:s390x (2.80.4-1ubuntu1) ...
127s Setting up libbinutils:s390x (2.42.50.20240710-1ubuntu1) ...
127s Setting up libc-dev-bin (2.39-3.1ubuntu3) ...
127s Setting up openssl (3.2.2-1ubuntu1) ...
127s Installing new version of config file /etc/ssl/openssl.cnf ...
127s Setting up libc-devtools (2.39-3.1ubuntu3) ...
127s Setting up libctf0:s390x (2.42.50.20240710-1ubuntu1) ...
127s Setting up openssh-sftp-server (1:9.6p1-3ubuntu17) ...
127s Setting up binutils-s390x-linux-gnu (2.42.50.20240710-1ubuntu1) ...
127s Setting up telnet (0.17+2.5-5ubuntu1) ...
127s Setting up openssh-server (1:9.6p1-3ubuntu17) ...
127s Installing new version of config file /etc/pam.d/sshd ...
128s Setting up binutils (2.42.50.20240710-1ubuntu1) ...
128s Setting up libc6-dev:s390x (2.39-3.1ubuntu3) ...
128s Processing triggers for ufw (0.36.2-6) ...
128s Processing triggers for systemd (256-1ubuntu1) ...
129s Processing triggers for man-db (2.12.1-2) ...
130s Processing triggers for libc-bin (2.39-3.1ubuntu3) ...
130s Reading package lists...
130s Building dependency tree...
130s Reading state information...
131s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
131s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease
131s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease
131s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease
131s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease
132s Reading package lists...
132s Reading package lists...
132s Building dependency tree...
132s Reading state information...
133s Calculating upgrade...
133s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
133s Reading package lists...
133s Building dependency tree...
133s Reading state information...
133s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
133s autopkgtest [04:41:31]: rebooting testbed after setup commands that affected boot
137s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds...
159s autopkgtest [04:41:57]: testbed running kernel: Linux 6.8.0-31-generic #31-Ubuntu SMP Sat Apr 20 00:14:26 UTC 2024
161s autopkgtest [04:41:59]: @@@@@@@@@@@@@@@@@@@@ apt-source rumur
163s Get:1 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (dsc) [1998 B]
163s Get:2 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (tar) [318 kB]
163s Get:3 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (diff) [5196 B]
163s gpgv: Signature made Mon Jan 29 08:19:09 2024 UTC
163s gpgv:                using RSA key FDDD0CFF3864277630A2186C9164FA1D17BD5D36
163s gpgv: Can't check signature: No public key
163s dpkg-source: warning: cannot verify inline signature for ./rumur_2023.11.27-1.dsc: no acceptable signature found
163s autopkgtest [04:42:01]: testing package rumur version 2023.11.27-1
163s autopkgtest [04:42:01]: build not needed
164s autopkgtest [04:42:02]: test librumur-api: preparing testbed
165s Reading package lists...
165s Building dependency tree...
165s Reading state information...
165s Starting pkgProblemResolver with broken count: 0
165s Starting 2 pkgProblemResolver with broken count: 0
165s Done
166s The following additional packages will be installed:
166s   build-essential cpp cpp-13 cpp-13-s390x-linux-gnu cpp-s390x-linux-gnu flex
166s   g++ g++-13 g++-13-s390x-linux-gnu g++-s390x-linux-gnu gcc gcc-13 gcc-13-base
166s   gcc-13-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libatomic1 libcc1-0
166s   libfl-dev libfl2 libgcc-13-dev libgmp-dev libgmpxx4ldbl libgomp1 libisl23
166s   libitm1 libmpc3 libstdc++-13-dev libubsan1 m4 rumur
166s Suggested packages:
166s   cpp-doc gcc-13-locales cpp-13-doc bison flex-doc g++-multilib
166s   g++-13-multilib gcc-13-doc gcc-multilib manpages-dev autoconf automake
166s   libtool gdb gcc-doc gcc-13-multilib gdb-s390x-linux-gnu gmp-doc libgmp10-doc
166s   libmpfr-dev libstdc++-13-doc m4-doc
166s The following NEW packages will be installed:
166s   autopkgtest-satdep build-essential cpp cpp-13 cpp-13-s390x-linux-gnu
166s   cpp-s390x-linux-gnu flex g++ g++-13 g++-13-s390x-linux-gnu
166s   g++-s390x-linux-gnu gcc gcc-13 gcc-13-base gcc-13-s390x-linux-gnu
166s   gcc-s390x-linux-gnu libasan8 libatomic1 libcc1-0 libfl-dev libfl2
166s   libgcc-13-dev libgmp-dev libgmpxx4ldbl libgomp1 libisl23 libitm1 libmpc3
166s   libstdc++-13-dev libubsan1 m4 rumur
166s 0 upgraded, 32 newly installed, 0 to remove and 0 not upgraded.
166s Need to get 51.7 MB/51.7 MB of archives.
166s After this operation, 172 MB of additional disk space will be used.
166s Get:1 /tmp/autopkgtest.55d57E/1-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
166s Get:2 http://ftpmaster.internal/ubuntu oracular/main s390x m4 s390x 1.4.19-4build1 [256 kB]
166s Get:3 http://ftpmaster.internal/ubuntu oracular/main s390x flex s390x 2.6.4-8.2build1 [311 kB]
166s Get:4 http://ftpmaster.internal/ubuntu oracular/main s390x gcc-13-base s390x 13.2.0-23ubuntu4 [48.9 kB]
166s Get:5 http://ftpmaster.internal/ubuntu oracular/main s390x libisl23 s390x 0.26-3build1 [713 kB]
166s Get:6 http://ftpmaster.internal/ubuntu oracular/main s390x libmpc3 s390x 1.3.1-1build1 [58.4 kB]
166s Get:7 http://ftpmaster.internal/ubuntu oracular/main s390x cpp-13-s390x-linux-gnu s390x 13.2.0-23ubuntu4 [9939 kB]
167s Get:8 http://ftpmaster.internal/ubuntu oracular/main s390x cpp-13 s390x 13.2.0-23ubuntu4 [1030 B]
167s Get:9 http://ftpmaster.internal/ubuntu oracular/main s390x cpp-s390x-linux-gnu s390x 4:13.2.0-7ubuntu1 [5308 B]
167s Get:10 http://ftpmaster.internal/ubuntu oracular/main s390x cpp s390x 4:13.2.0-7ubuntu1 [22.4 kB]
167s Get:11 http://ftpmaster.internal/ubuntu oracular/main s390x libcc1-0 s390x 14.1.0-1ubuntu1 [50.7 kB]
167s Get:12 http://ftpmaster.internal/ubuntu oracular/main s390x libgomp1 s390x 14.1.0-1ubuntu1 [151 kB]
167s Get:13 http://ftpmaster.internal/ubuntu oracular/main s390x libitm1 s390x 14.1.0-1ubuntu1 [31.1 kB]
167s Get:14 http://ftpmaster.internal/ubuntu oracular/main s390x libatomic1 s390x 14.1.0-1ubuntu1 [9378 B]
167s Get:15 http://ftpmaster.internal/ubuntu oracular/main s390x libasan8 s390x 14.1.0-1ubuntu1 [3003 kB]
167s Get:16 http://ftpmaster.internal/ubuntu oracular/main s390x libubsan1 s390x 14.1.0-1ubuntu1 [1189 kB]
167s Get:17 http://ftpmaster.internal/ubuntu oracular/main s390x libgcc-13-dev s390x 13.2.0-23ubuntu4 [1004 kB]
167s Get:18 http://ftpmaster.internal/ubuntu oracular/main s390x gcc-13-s390x-linux-gnu s390x 13.2.0-23ubuntu4 [19.1 MB]
168s Get:19 http://ftpmaster.internal/ubuntu oracular/main s390x gcc-13 s390x 13.2.0-23ubuntu4 [472 kB]
168s Get:20 http://ftpmaster.internal/ubuntu oracular/main s390x gcc-s390x-linux-gnu s390x 4:13.2.0-7ubuntu1 [1208 B]
168s Get:21 http://ftpmaster.internal/ubuntu oracular/main s390x gcc s390x 4:13.2.0-7ubuntu1 [5014 B]
168s Get:22 http://ftpmaster.internal/ubuntu oracular/main s390x libstdc++-13-dev s390x 13.2.0-23ubuntu4 [2494 kB]
168s Get:23 http://ftpmaster.internal/ubuntu oracular/main s390x g++-13-s390x-linux-gnu s390x 13.2.0-23ubuntu4 [11.3 MB]
168s Get:24 http://ftpmaster.internal/ubuntu oracular/main s390x g++-13 s390x 13.2.0-23ubuntu4 [14.5 kB]
168s Get:25 http://ftpmaster.internal/ubuntu oracular/main s390x g++-s390x-linux-gnu s390x 4:13.2.0-7ubuntu1 [956 B]
168s Get:26 http://ftpmaster.internal/ubuntu oracular/main s390x g++ s390x 4:13.2.0-7ubuntu1 [1096 B]
168s Get:27 http://ftpmaster.internal/ubuntu oracular/main s390x build-essential s390x 12.10ubuntu1 [4930 B]
168s Get:28 http://ftpmaster.internal/ubuntu oracular/main s390x libfl2 s390x 2.6.4-8.2build1 [9714 B]
168s Get:29 http://ftpmaster.internal/ubuntu oracular/main s390x libfl-dev s390x 2.6.4-8.2build1 [6270 B]
168s Get:30 http://ftpmaster.internal/ubuntu oracular/main s390x libgmpxx4ldbl s390x 2:6.3.0+dfsg-2ubuntu6 [10.0 kB]
168s Get:31 http://ftpmaster.internal/ubuntu oracular/main s390x libgmp-dev s390x 2:6.3.0+dfsg-2ubuntu6 [422 kB]
168s Get:32 http://ftpmaster.internal/ubuntu oracular/universe s390x rumur s390x 2023.11.27-1 [1042 kB]
169s Fetched 51.7 MB in 3s (19.7 MB/s)
169s Selecting previously unselected package m4.
169s (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 ... 54720 files and directories currently installed.)
169s Preparing to unpack .../00-m4_1.4.19-4build1_s390x.deb ...
169s Unpacking m4 (1.4.19-4build1) ...
169s Selecting previously unselected package flex.
169s Preparing to unpack .../01-flex_2.6.4-8.2build1_s390x.deb ...
169s Unpacking flex (2.6.4-8.2build1) ...
169s Selecting previously unselected package gcc-13-base:s390x.
169s Preparing to unpack .../02-gcc-13-base_13.2.0-23ubuntu4_s390x.deb ...
169s Unpacking gcc-13-base:s390x (13.2.0-23ubuntu4) ...
169s Selecting previously unselected package libisl23:s390x.
169s Preparing to unpack .../03-libisl23_0.26-3build1_s390x.deb ...
169s Unpacking libisl23:s390x (0.26-3build1) ...
169s Selecting previously unselected package libmpc3:s390x.
169s Preparing to unpack .../04-libmpc3_1.3.1-1build1_s390x.deb ...
169s Unpacking libmpc3:s390x (1.3.1-1build1) ...
169s Selecting previously unselected package cpp-13-s390x-linux-gnu.
169s Preparing to unpack .../05-cpp-13-s390x-linux-gnu_13.2.0-23ubuntu4_s390x.deb ...
169s Unpacking cpp-13-s390x-linux-gnu (13.2.0-23ubuntu4) ...
169s Selecting previously unselected package cpp-13.
169s Preparing to unpack .../06-cpp-13_13.2.0-23ubuntu4_s390x.deb ...
169s Unpacking cpp-13 (13.2.0-23ubuntu4) ...
169s Selecting previously unselected package cpp-s390x-linux-gnu.
169s Preparing to unpack .../07-cpp-s390x-linux-gnu_4%3a13.2.0-7ubuntu1_s390x.deb ...
169s Unpacking cpp-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
169s Selecting previously unselected package cpp.
169s Preparing to unpack .../08-cpp_4%3a13.2.0-7ubuntu1_s390x.deb ...
169s Unpacking cpp (4:13.2.0-7ubuntu1) ...
169s Selecting previously unselected package libcc1-0:s390x.
169s Preparing to unpack .../09-libcc1-0_14.1.0-1ubuntu1_s390x.deb ...
169s Unpacking libcc1-0:s390x (14.1.0-1ubuntu1) ...
169s Selecting previously unselected package libgomp1:s390x.
169s Preparing to unpack .../10-libgomp1_14.1.0-1ubuntu1_s390x.deb ...
169s Unpacking libgomp1:s390x (14.1.0-1ubuntu1) ...
169s Selecting previously unselected package libitm1:s390x.
169s Preparing to unpack .../11-libitm1_14.1.0-1ubuntu1_s390x.deb ...
169s Unpacking libitm1:s390x (14.1.0-1ubuntu1) ...
169s Selecting previously unselected package libatomic1:s390x.
169s Preparing to unpack .../12-libatomic1_14.1.0-1ubuntu1_s390x.deb ...
169s Unpacking libatomic1:s390x (14.1.0-1ubuntu1) ...
169s Selecting previously unselected package libasan8:s390x.
169s Preparing to unpack .../13-libasan8_14.1.0-1ubuntu1_s390x.deb ...
169s Unpacking libasan8:s390x (14.1.0-1ubuntu1) ...
169s Selecting previously unselected package libubsan1:s390x.
169s Preparing to unpack .../14-libubsan1_14.1.0-1ubuntu1_s390x.deb ...
169s Unpacking libubsan1:s390x (14.1.0-1ubuntu1) ...
169s Selecting previously unselected package libgcc-13-dev:s390x.
169s Preparing to unpack .../15-libgcc-13-dev_13.2.0-23ubuntu4_s390x.deb ...
169s Unpacking libgcc-13-dev:s390x (13.2.0-23ubuntu4) ...
169s Selecting previously unselected package gcc-13-s390x-linux-gnu.
169s Preparing to unpack .../16-gcc-13-s390x-linux-gnu_13.2.0-23ubuntu4_s390x.deb ...
169s Unpacking gcc-13-s390x-linux-gnu (13.2.0-23ubuntu4) ...
170s Selecting previously unselected package gcc-13.
170s Preparing to unpack .../17-gcc-13_13.2.0-23ubuntu4_s390x.deb ...
170s Unpacking gcc-13 (13.2.0-23ubuntu4) ...
170s Selecting previously unselected package gcc-s390x-linux-gnu.
170s Preparing to unpack .../18-gcc-s390x-linux-gnu_4%3a13.2.0-7ubuntu1_s390x.deb ...
170s Unpacking gcc-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
170s Selecting previously unselected package gcc.
170s Preparing to unpack .../19-gcc_4%3a13.2.0-7ubuntu1_s390x.deb ...
170s Unpacking gcc (4:13.2.0-7ubuntu1) ...
170s Selecting previously unselected package libstdc++-13-dev:s390x.
170s Preparing to unpack .../20-libstdc++-13-dev_13.2.0-23ubuntu4_s390x.deb ...
170s Unpacking libstdc++-13-dev:s390x (13.2.0-23ubuntu4) ...
170s Selecting previously unselected package g++-13-s390x-linux-gnu.
170s Preparing to unpack .../21-g++-13-s390x-linux-gnu_13.2.0-23ubuntu4_s390x.deb ...
170s Unpacking g++-13-s390x-linux-gnu (13.2.0-23ubuntu4) ...
170s Selecting previously unselected package g++-13.
170s Preparing to unpack .../22-g++-13_13.2.0-23ubuntu4_s390x.deb ...
170s Unpacking g++-13 (13.2.0-23ubuntu4) ...
170s Selecting previously unselected package g++-s390x-linux-gnu.
170s Preparing to unpack .../23-g++-s390x-linux-gnu_4%3a13.2.0-7ubuntu1_s390x.deb ...
170s Unpacking g++-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
170s Selecting previously unselected package g++.
170s Preparing to unpack .../24-g++_4%3a13.2.0-7ubuntu1_s390x.deb ...
170s Unpacking g++ (4:13.2.0-7ubuntu1) ...
170s Selecting previously unselected package build-essential.
170s Preparing to unpack .../25-build-essential_12.10ubuntu1_s390x.deb ...
170s Unpacking build-essential (12.10ubuntu1) ...
170s Selecting previously unselected package libfl2:s390x.
170s Preparing to unpack .../26-libfl2_2.6.4-8.2build1_s390x.deb ...
170s Unpacking libfl2:s390x (2.6.4-8.2build1) ...
170s Selecting previously unselected package libfl-dev:s390x.
170s Preparing to unpack .../27-libfl-dev_2.6.4-8.2build1_s390x.deb ...
170s Unpacking libfl-dev:s390x (2.6.4-8.2build1) ...
170s Selecting previously unselected package libgmpxx4ldbl:s390x.
170s Preparing to unpack .../28-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6_s390x.deb ...
170s Unpacking libgmpxx4ldbl:s390x (2:6.3.0+dfsg-2ubuntu6) ...
170s Selecting previously unselected package libgmp-dev:s390x.
170s Preparing to unpack .../29-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6_s390x.deb ...
170s Unpacking libgmp-dev:s390x (2:6.3.0+dfsg-2ubuntu6) ...
171s Selecting previously unselected package rumur.
171s Preparing to unpack .../30-rumur_2023.11.27-1_s390x.deb ...
171s Unpacking rumur (2023.11.27-1) ...
171s Selecting previously unselected package autopkgtest-satdep.
171s Preparing to unpack .../31-1-autopkgtest-satdep.deb ...
171s Unpacking autopkgtest-satdep (0) ...
171s Setting up m4 (1.4.19-4build1) ...
171s Setting up libgomp1:s390x (14.1.0-1ubuntu1) ...
171s Setting up libgmpxx4ldbl:s390x (2:6.3.0+dfsg-2ubuntu6) ...
171s Setting up gcc-13-base:s390x (13.2.0-23ubuntu4) ...
171s Setting up rumur (2023.11.27-1) ...
171s Setting up libmpc3:s390x (1.3.1-1build1) ...
171s Setting up libatomic1:s390x (14.1.0-1ubuntu1) ...
171s Setting up libfl2:s390x (2.6.4-8.2build1) ...
171s Setting up libubsan1:s390x (14.1.0-1ubuntu1) ...
171s Setting up libasan8:s390x (14.1.0-1ubuntu1) ...
171s Setting up libisl23:s390x (0.26-3build1) ...
171s Setting up libcc1-0:s390x (14.1.0-1ubuntu1) ...
171s Setting up libitm1:s390x (14.1.0-1ubuntu1) ...
171s Setting up flex (2.6.4-8.2build1) ...
171s Setting up libgmp-dev:s390x (2:6.3.0+dfsg-2ubuntu6) ...
171s Setting up libfl-dev:s390x (2.6.4-8.2build1) ...
171s Setting up cpp-13-s390x-linux-gnu (13.2.0-23ubuntu4) ...
171s Setting up libgcc-13-dev:s390x (13.2.0-23ubuntu4) ...
171s Setting up libstdc++-13-dev:s390x (13.2.0-23ubuntu4) ...
171s Setting up cpp-13 (13.2.0-23ubuntu4) ...
171s Setting up cpp-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
171s Setting up gcc-13-s390x-linux-gnu (13.2.0-23ubuntu4) ...
171s Setting up gcc-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
171s Setting up g++-13-s390x-linux-gnu (13.2.0-23ubuntu4) ...
171s Setting up gcc-13 (13.2.0-23ubuntu4) ...
171s Setting up cpp (4:13.2.0-7ubuntu1) ...
171s Setting up g++-13 (13.2.0-23ubuntu4) ...
171s Setting up g++-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
171s Setting up gcc (4:13.2.0-7ubuntu1) ...
171s Setting up g++ (4:13.2.0-7ubuntu1) ...
171s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode
171s Setting up build-essential (12.10ubuntu1) ...
171s Setting up autopkgtest-satdep (0) ...
171s Processing triggers for man-db (2.12.1-2) ...
171s Processing triggers for install-info (7.1-3build2) ...
171s Processing triggers for libc-bin (2.39-3.1ubuntu3) ...
173s (Reading database ... 56047 files and directories currently installed.)
173s Removing autopkgtest-satdep (0) ...
174s autopkgtest [04:42:12]: test librumur-api: [-----------------------
174s + mkdir -p /tmp/autopkgtest.55d57E/autopkgtest_tmp/librumur-api
174s + cd /tmp/autopkgtest.55d57E/autopkgtest_tmp/librumur-api
174s + cat -
174s + cat -
174s + c++ -std=c++11 main.cc -lrumur -lgmpxx -lgmp
175s + ./a.out
175s autopkgtest [04:42:13]: test librumur-api: -----------------------]
176s autopkgtest [04:42:14]: test librumur-api:  - - - - - - - - - - results - - - - - - - - - -
176s librumur-api         PASS
176s autopkgtest [04:42:14]: test murphi2c-header: preparing testbed
177s Reading package lists...
178s Building dependency tree...
178s Reading state information...
178s Starting pkgProblemResolver with broken count: 0
178s Starting 2 pkgProblemResolver with broken count: 0
178s Done
178s The following NEW packages will be installed:
178s   autopkgtest-satdep
178s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
178s Need to get 0 B/744 B of archives.
178s After this operation, 0 B of additional disk space will be used.
178s Get:1 /tmp/autopkgtest.55d57E/2-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
178s Selecting previously unselected package autopkgtest-satdep.
178s (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 ... 56047 files and directories currently installed.)
178s Preparing to unpack .../2-autopkgtest-satdep.deb ...
178s Unpacking autopkgtest-satdep (0) ...
178s Setting up autopkgtest-satdep (0) ...
180s (Reading database ... 56047 files and directories currently installed.)
180s Removing autopkgtest-satdep (0) ...
180s autopkgtest [04:42:18]: test murphi2c-header: [-----------------------
181s + mkdir -p /tmp/autopkgtest.55d57E/autopkgtest_tmp/murphi2c-header
181s + cd /tmp/autopkgtest.55d57E/autopkgtest_tmp/murphi2c-header
181s + cat -
181s + murphi2c --header --output model.h model.m
181s + cat -
181s + cc -std=c11 -o /dev/null main.c
181s + cat -
181s + c++ -std=c++11 -o /dev/null main.cc
181s autopkgtest [04:42:19]: test murphi2c-header: -----------------------]
182s autopkgtest [04:42:20]: test murphi2c-header:  - - - - - - - - - - results - - - - - - - - - -
182s murphi2c-header      PASS
182s autopkgtest [04:42:20]: test murphi2c-source: preparing testbed
183s Reading package lists...
183s Building dependency tree...
183s Reading state information...
183s Starting pkgProblemResolver with broken count: 0
183s Starting 2 pkgProblemResolver with broken count: 0
183s Done
184s The following NEW packages will be installed:
184s   autopkgtest-satdep
184s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
184s Need to get 0 B/744 B of archives.
184s After this operation, 0 B of additional disk space will be used.
184s Get:1 /tmp/autopkgtest.55d57E/3-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
184s Selecting previously unselected package autopkgtest-satdep.
184s (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 ... 56047 files and directories currently installed.)
184s Preparing to unpack .../3-autopkgtest-satdep.deb ...
184s Unpacking autopkgtest-satdep (0) ...
184s Setting up autopkgtest-satdep (0) ...
186s (Reading database ... 56047 files and directories currently installed.)
186s Removing autopkgtest-satdep (0) ...
187s autopkgtest [04:42:25]: test murphi2c-source: [-----------------------
187s + mkdir -p /tmp/autopkgtest.55d57E/autopkgtest_tmp/murphi2c-source
187s + cd /tmp/autopkgtest.55d57E/autopkgtest_tmp/murphi2c-source
187s + cat -
187s + murphi2c --output model.c model.m
187s + cc -std=c11 -o /dev/null -c model.c
187s autopkgtest [04:42:25]: test murphi2c-source: -----------------------]
188s murphi2c-source      PASS
188s autopkgtest [04:42:26]: test murphi2c-source:  - - - - - - - - - - results - - - - - - - - - -
188s autopkgtest [04:42:26]: test murphi2c-version: preparing testbed
189s Reading package lists...
190s Building dependency tree...
190s Reading state information...
190s Starting pkgProblemResolver with broken count: 0
190s Starting 2 pkgProblemResolver with broken count: 0
190s Done
190s The following NEW packages will be installed:
190s   autopkgtest-satdep
190s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
190s Need to get 0 B/744 B of archives.
190s After this operation, 0 B of additional disk space will be used.
190s Get:1 /tmp/autopkgtest.55d57E/4-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
190s Selecting previously unselected package autopkgtest-satdep.
190s (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 ... 56047 files and directories currently installed.)
190s Preparing to unpack .../4-autopkgtest-satdep.deb ...
190s Unpacking autopkgtest-satdep (0) ...
190s Setting up autopkgtest-satdep (0) ...
192s (Reading database ... 56047 files and directories currently installed.)
192s Removing autopkgtest-satdep (0) ...
193s autopkgtest [04:42:31]: test murphi2c-version: [-----------------------
193s Murphi2C version v2023.11.27-1
193s + murphi2c --version
194s autopkgtest [04:42:32]: test murphi2c-version: -----------------------]
194s autopkgtest [04:42:32]: test murphi2c-version:  - - - - - - - - - - results - - - - - - - - - -
194s murphi2c-version     PASS
194s autopkgtest [04:42:32]: test murphi2murphi-basic: preparing testbed
196s Reading package lists...
196s Building dependency tree...
196s Reading state information...
196s Starting pkgProblemResolver with broken count: 0
196s Starting 2 pkgProblemResolver with broken count: 0
196s Done
196s The following NEW packages will be installed:
196s   autopkgtest-satdep
196s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
196s Need to get 0 B/744 B of archives.
196s After this operation, 0 B of additional disk space will be used.
196s Get:1 /tmp/autopkgtest.55d57E/5-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
196s Selecting previously unselected package autopkgtest-satdep.
197s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 56047 files and directories currently installed.)
197s Preparing to unpack .../5-autopkgtest-satdep.deb ...
197s Unpacking autopkgtest-satdep (0) ...
197s Setting up autopkgtest-satdep (0) ...
198s (Reading database ... 56047 files and directories currently installed.)
198s Removing autopkgtest-satdep (0) ...
199s autopkgtest [04:42:37]: test murphi2murphi-basic: [-----------------------
199s + mkdir -p /tmp/autopkgtest.55d57E/autopkgtest_tmp/murphi2murphi-basic
199s + cd /tmp/autopkgtest.55d57E/autopkgtest_tmp/murphi2murphi-basic
199s + cat -
199s + murphi2murphi --output transformed.m --explicit-semicolons model.m
199s + rumur --output /dev/null transformed.m
199s autopkgtest [04:42:37]: test murphi2murphi-basic: -----------------------]
200s murphi2murphi-basic  PASS
200s autopkgtest [04:42:38]: test murphi2murphi-basic:  - - - - - - - - - - results - - - - - - - - - -
200s autopkgtest [04:42:38]: test murphi2murphi-version: preparing testbed
201s Reading package lists...
202s Building dependency tree...
202s Reading state information...
202s Starting pkgProblemResolver with broken count: 0
202s Starting 2 pkgProblemResolver with broken count: 0
202s Done
202s The following NEW packages will be installed:
202s   autopkgtest-satdep
202s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
202s Need to get 0 B/744 B of archives.
202s After this operation, 0 B of additional disk space will be used.
202s Get:1 /tmp/autopkgtest.55d57E/6-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
203s Selecting previously unselected package autopkgtest-satdep.
203s (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 ... 56047 files and directories currently installed.)
203s Preparing to unpack .../6-autopkgtest-satdep.deb ...
203s Unpacking autopkgtest-satdep (0) ...
203s Setting up autopkgtest-satdep (0) ...
205s (Reading database ... 56047 files and directories currently installed.)
205s Removing autopkgtest-satdep (0) ...
206s autopkgtest [04:42:44]: test murphi2murphi-version: [-----------------------
206s Murphi2Murphi version v2023.11.27-1
206s + murphi2murphi --version
206s autopkgtest [04:42:44]: test murphi2murphi-version: -----------------------]
207s murphi2murphi-version PASS
207s autopkgtest [04:42:45]: test murphi2murphi-version:  - - - - - - - - - - results - - - - - - - - - -
207s autopkgtest [04:42:45]: test murphi2xml-model: preparing testbed
208s Reading package lists...
208s Building dependency tree...
208s Reading state information...
209s Starting pkgProblemResolver with broken count: 0
209s Starting 2 pkgProblemResolver with broken count: 0
209s Done
209s The following NEW packages will be installed:
209s   autopkgtest-satdep
209s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
209s Need to get 0 B/744 B of archives.
209s After this operation, 0 B of additional disk space will be used.
209s Get:1 /tmp/autopkgtest.55d57E/7-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
209s Selecting previously unselected package autopkgtest-satdep.
209s (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 ... 56047 files and directories currently installed.)
209s Preparing to unpack .../7-autopkgtest-satdep.deb ...
209s Unpacking autopkgtest-satdep (0) ...
209s Setting up autopkgtest-satdep (0) ...
211s (Reading database ... 56047 files and directories currently installed.)
211s Removing autopkgtest-satdep (0) ...
212s autopkgtest [04:42:50]: test murphi2xml-model: [-----------------------
212s + mkdir -p /tmp/autopkgtest.55d57E/autopkgtest_tmp/murphi2xml-model
212s + cd /tmp/autopkgtest.55d57E/autopkgtest_tmp/murphi2xml-model
212s + cat -
212s + murphi2xml --output /dev/null model.m
212s autopkgtest [04:42:50]: test murphi2xml-model: -----------------------]
213s murphi2xml-model     PASS
213s autopkgtest [04:42:51]: test murphi2xml-model:  - - - - - - - - - - results - - - - - - - - - -
213s autopkgtest [04:42:51]: test murphi2xml-version: preparing testbed
214s Reading package lists...
215s Building dependency tree...
215s Reading state information...
215s Starting pkgProblemResolver with broken count: 0
215s Starting 2 pkgProblemResolver with broken count: 0
215s Done
215s The following NEW packages will be installed:
215s   autopkgtest-satdep
215s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
215s Need to get 0 B/744 B of archives.
215s After this operation, 0 B of additional disk space will be used.
215s Get:1 /tmp/autopkgtest.55d57E/8-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
215s Selecting previously unselected package autopkgtest-satdep.
215s (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 ... 56047 files and directories currently installed.)
215s Preparing to unpack .../8-autopkgtest-satdep.deb ...
215s Unpacking autopkgtest-satdep (0) ...
215s Setting up autopkgtest-satdep (0) ...
217s (Reading database ... 56047 files and directories currently installed.)
217s Removing autopkgtest-satdep (0) ...
218s autopkgtest [04:42:56]: test murphi2xml-version: [-----------------------
218s Rumur version v2023.11.27-1
218s + murphi2xml --version
218s autopkgtest [04:42:56]: test murphi2xml-version: -----------------------]
219s murphi2xml-version   PASS
219s autopkgtest [04:42:57]: test murphi2xml-version:  - - - - - - - - - - results - - - - - - - - - -
219s autopkgtest [04:42:57]: test rumur-model: preparing testbed
220s Reading package lists...
220s Building dependency tree...
220s Reading state information...
221s Starting pkgProblemResolver with broken count: 0
221s Starting 2 pkgProblemResolver with broken count: 0
221s Done
221s The following NEW packages will be installed:
221s   autopkgtest-satdep
221s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
221s Need to get 0 B/744 B of archives.
221s After this operation, 0 B of additional disk space will be used.
221s Get:1 /tmp/autopkgtest.55d57E/9-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
221s Selecting previously unselected package autopkgtest-satdep.
221s (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 ... 56047 files and directories currently installed.)
221s Preparing to unpack .../9-autopkgtest-satdep.deb ...
221s Unpacking autopkgtest-satdep (0) ...
221s Setting up autopkgtest-satdep (0) ...
223s (Reading database ... 56047 files and directories currently installed.)
223s Removing autopkgtest-satdep (0) ...
224s autopkgtest [04:43:02]: test rumur-model: [-----------------------
224s + mkdir -p /tmp/autopkgtest.55d57E/autopkgtest_tmp/rumur-model
224s + cd /tmp/autopkgtest.55d57E/autopkgtest_tmp/rumur-model
224s + set +e
224s + cat -
224s + cc -std=c11 -mcx16 mcx16-check.c -o /dev/null
224s cc: error: unrecognized command-line option ‘-mcx16’
224s + '[' 1 -eq 0 ']'
224s + MCX16=
224s + cat -
224s + cc -std=c11 libatomic-check.c -o /dev/null
224s /usr/bin/ld: /tmp/cccko8cl.o: in function `main':
224s libatomic-check.c:(.text+0x74): undefined reference to `__sync_val_compare_and_swap_16'
224s collect2: error: ld returned 1 exit status
224s + '[' 1 -eq 0 ']'
224s + LIBATOMIC=-latomic
224s + set -e
224s + cat -
224s + rumur --output checker.c model.m
224s + cc -std=c11 checker.c -latomic -lpthread
224s checker.c:135:2: warning: #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. [-Wcpp]
224s   135 | #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program.
224s       |  ^~~~~~~
224s + ./a.out
224s Memory usage:
224s 
224s 	* The size of each state is 2 bits (rounded up to 1 bytes).
224s 	* The size of the hash table is 65536 slots.
224s 
224s Progress Report:
224s 
224s 
224s ==========================================================================
224s 
224s Status:
224s 
224s 	No error found.
224s 
224s State Space Explored:
224s 
224s 	2 states, 2 rules fired in 0s.
224s autopkgtest [04:43:02]: test rumur-model: -----------------------]
225s rumur-model          PASS
225s autopkgtest [04:43:03]: test rumur-model:  - - - - - - - - - - results - - - - - - - - - -
225s autopkgtest [04:43:03]: test rumur-run-model: preparing testbed
226s Reading package lists...
226s Building dependency tree...
226s Reading state information...
227s Starting pkgProblemResolver with broken count: 0
227s Starting 2 pkgProblemResolver with broken count: 0
227s Done
227s The following NEW packages will be installed:
227s   autopkgtest-satdep
227s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
227s Need to get 0 B/744 B of archives.
227s After this operation, 0 B of additional disk space will be used.
227s Get:1 /tmp/autopkgtest.55d57E/10-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
227s Selecting previously unselected package autopkgtest-satdep.
227s (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 ... 56047 files and directories currently installed.)
227s Preparing to unpack .../10-autopkgtest-satdep.deb ...
227s Unpacking autopkgtest-satdep (0) ...
227s Setting up autopkgtest-satdep (0) ...
229s (Reading database ... 56047 files and directories currently installed.)
229s Removing autopkgtest-satdep (0) ...
230s autopkgtest [04:43:08]: test rumur-run-model: [-----------------------
230s + mkdir -p /tmp/autopkgtest.55d57E/autopkgtest_tmp/rumur-run-model
230s + cd /tmp/autopkgtest.55d57E/autopkgtest_tmp/rumur-run-model
230s + cat -
230s + rumur-run model.m
231s Memory usage:
231s 
231s 	* The size of each state is 2 bits (rounded up to 1 bytes).
231s 	* The size of the hash table is 65536 slots.
231s 
231s Progress Report:
231s 
231s 
231s ==========================================================================
231s 
231s Status:
231s 
231s 	No error found.
231s 
231s State Space Explored:
231s 
231s 	2 states, 2 rules fired in 0s.
231s Generating the checker...
231s Compiling the checker...
231s Running the checker...
231s autopkgtest [04:43:09]: test rumur-run-model: -----------------------]
231s rumur-run-model      PASS
231s autopkgtest [04:43:09]: test rumur-run-model:  - - - - - - - - - - results - - - - - - - - - -
232s autopkgtest [04:43:10]: test rumur-version: preparing testbed
233s Reading package lists...
233s Building dependency tree...
233s Reading state information...
234s Starting pkgProblemResolver with broken count: 0
234s Starting 2 pkgProblemResolver with broken count: 0
234s Done
234s The following NEW packages will be installed:
234s   autopkgtest-satdep
234s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
234s Need to get 0 B/744 B of archives.
234s After this operation, 0 B of additional disk space will be used.
234s Get:1 /tmp/autopkgtest.55d57E/11-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [744 B]
235s Selecting previously unselected package autopkgtest-satdep.
235s (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 ... 56047 files and directories currently installed.)
235s Preparing to unpack .../11-autopkgtest-satdep.deb ...
235s Unpacking autopkgtest-satdep (0) ...
235s Setting up autopkgtest-satdep (0) ...
237s (Reading database ... 56047 files and directories currently installed.)
237s Removing autopkgtest-satdep (0) ...
237s autopkgtest [04:43:15]: test rumur-version: [-----------------------
238s Rumur version v2023.11.27-1
238s + rumur --version
238s autopkgtest [04:43:16]: test rumur-version: -----------------------]
238s rumur-version        PASS
238s autopkgtest [04:43:16]: test rumur-version:  - - - - - - - - - - results - - - - - - - - - -
239s autopkgtest [04:43:17]: @@@@@@@@@@@@@@@@@@@@ summary
239s librumur-api         PASS
239s murphi2c-header      PASS
239s murphi2c-source      PASS
239s murphi2c-version     PASS
239s murphi2murphi-basic  PASS
239s murphi2murphi-version PASS
239s murphi2xml-model     PASS
239s murphi2xml-version   PASS
239s rumur-model          PASS
239s rumur-run-model      PASS
239s rumur-version        PASS
251s nova [W] Using flock in scalingstack-bos01-s390x
251s Creating nova instance adt-oracular-s390x-rumur-20240713-043918-juju-7f2275-prod-proposed-migration-environment-3-3bf7ca87-e7ed-48e5-9cf6-f981a92e2d67 from image adt/ubuntu-oracular-s390x-server-20240711.img (UUID cd7d8501-1120-4d80-87a5-5946a33c5d4a)...