0s autopkgtest [00:36:16]: starting date and time: 2024-07-13 00:36:16+0000 0s autopkgtest [00:36:16]: git checkout: fd3bed09 nova: allow more retries for quota issues 0s autopkgtest [00:36:16]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.820r8k1_/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-2@bos02-ppc64el-9.secgroup --name adt-oracular-ppc64el-rumur-20240713-003616-juju-7f2275-prod-proposed-migration-environment-2-04ffb704-fd21-4919-822a-75704867bf15 --image adt/ubuntu-oracular-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 100s autopkgtest [00:37:56]: testbed dpkg architecture: ppc64el 100s autopkgtest [00:37:56]: testbed apt version: 2.9.6 100s autopkgtest [00:37:56]: @@@@@@@@@@@@@@@@@@@@ test bed setup 101s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 101s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [343 kB] 101s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [47.1 kB] 101s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 101s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B] 101s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el Packages [88.0 kB] 101s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el c-n-f Metadata [2116 B] 101s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el Packages [1368 B] 101s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el c-n-f Metadata [120 B] 101s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el Packages [411 kB] 101s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el c-n-f Metadata [8952 B] 101s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el Packages [1448 B] 101s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el c-n-f Metadata [120 B] 103s Fetched 1040 kB in 1s (1389 kB/s) 103s Reading package lists... 105s Reading package lists... 105s Building dependency tree... 105s Reading state information... 106s Calculating upgrade... 106s The following packages will be upgraded: 106s libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales 106s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 106s Need to get 10.1 MB of archives. 106s After this operation, 1843 kB disk space will be freed. 106s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-devtools ppc64el 2.39-3.1ubuntu3 [29.5 kB] 106s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6-dev ppc64el 2.39-3.1ubuntu3 [1982 kB] 106s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-dev-bin ppc64el 2.39-3.1ubuntu3 [21.0 kB] 106s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6 ppc64el 2.39-3.1ubuntu3 [3174 kB] 107s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-bin ppc64el 2.39-3.1ubuntu3 [720 kB] 107s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el locales all 2.39-3.1ubuntu3 [4220 kB] 107s Preconfiguring packages ... 107s Fetched 10.1 MB in 1s (7760 kB/s) 107s (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 ... 72754 files and directories currently installed.) 107s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_ppc64el.deb ... 107s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 107s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_ppc64el.deb ... 107s Unpacking libc6-dev:ppc64el (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 108s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_ppc64el.deb ... 108s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 108s Preparing to unpack .../libc6_2.39-3.1ubuntu3_ppc64el.deb ... 108s Unpacking libc6:ppc64el (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 108s Setting up libc6:ppc64el (2.39-3.1ubuntu3) ... 108s Error: Could not restart systemd, systemd binary not working 108s (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 ... 72754 files and directories currently installed.) 108s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_ppc64el.deb ... 108s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 108s Setting up libc-bin (2.39-3.1ubuntu3) ... 108s (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 ... 72754 files and directories currently installed.) 108s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 108s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 109s Setting up locales (2.39-3.1ubuntu3) ... 109s Generating locales (this might take a while)... 110s en_US.UTF-8... done 110s Generation complete. 110s Setting up libc-dev-bin (2.39-3.1ubuntu3) ... 110s Setting up libc-devtools (2.39-3.1ubuntu3) ... 110s Setting up libc6-dev:ppc64el (2.39-3.1ubuntu3) ... 110s Processing triggers for man-db (2.12.1-2) ... 111s Processing triggers for systemd (256-1ubuntu1) ... 112s Reading package lists... 112s Building dependency tree... 112s Reading state information... 112s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 113s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 113s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 113s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 113s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 114s Reading package lists... 114s Reading package lists... 114s Building dependency tree... 114s Reading state information... 114s Calculating upgrade... 114s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 115s Reading package lists... 115s Building dependency tree... 115s Reading state information... 115s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 118s autopkgtest [00:38:14]: testbed running kernel: Linux 6.8.0-31-generic #31-Ubuntu SMP Sat Apr 20 00:05:55 UTC 2024 118s autopkgtest [00:38:14]: @@@@@@@@@@@@@@@@@@@@ apt-source rumur 120s Get:1 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (dsc) [1998 B] 120s Get:2 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (tar) [318 kB] 120s Get:3 http://ftpmaster.internal/ubuntu oracular/universe rumur 2023.11.27-1 (diff) [5196 B] 120s gpgv: Signature made Mon Jan 29 08:19:09 2024 UTC 120s gpgv: using RSA key FDDD0CFF3864277630A2186C9164FA1D17BD5D36 120s gpgv: Can't check signature: No public key 120s dpkg-source: warning: cannot verify inline signature for ./rumur_2023.11.27-1.dsc: no acceptable signature found 120s autopkgtest [00:38:16]: testing package rumur version 2023.11.27-1 120s autopkgtest [00:38:16]: build not needed 121s autopkgtest [00:38:17]: test librumur-api: preparing testbed 122s Reading package lists... 122s Building dependency tree... 122s Reading state information... 122s Starting pkgProblemResolver with broken count: 0 122s Starting 2 pkgProblemResolver with broken count: 0 122s Done 123s The following additional packages will be installed: 123s build-essential cpp cpp-13 cpp-13-powerpc64le-linux-gnu 123s cpp-powerpc64le-linux-gnu flex g++ g++-13 g++-13-powerpc64le-linux-gnu 123s g++-powerpc64le-linux-gnu gcc gcc-13 gcc-13-base 123s gcc-13-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu libasan8 libatomic1 123s libcc1-0 libfl-dev libfl2 libgcc-13-dev libgmp-dev libgmpxx4ldbl libgomp1 123s libisl23 libitm1 liblsan0 libmpc3 libquadmath0 libstdc++-13-dev libtsan2 123s libubsan1 m4 rumur 123s Suggested packages: 123s cpp-doc gcc-13-locales cpp-13-doc bison flex-doc gcc-13-doc gcc-multilib 123s manpages-dev autoconf automake libtool gdb gcc-doc gdb-powerpc64le-linux-gnu 123s gmp-doc libgmp10-doc libmpfr-dev libstdc++-13-doc m4-doc 123s The following NEW packages will be installed: 123s autopkgtest-satdep build-essential cpp cpp-13 cpp-13-powerpc64le-linux-gnu 123s cpp-powerpc64le-linux-gnu flex g++ g++-13 g++-13-powerpc64le-linux-gnu 123s g++-powerpc64le-linux-gnu gcc gcc-13 gcc-13-base 123s gcc-13-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu libasan8 libatomic1 123s libcc1-0 libfl-dev libfl2 libgcc-13-dev libgmp-dev libgmpxx4ldbl libgomp1 123s libisl23 libitm1 liblsan0 libmpc3 libquadmath0 libstdc++-13-dev libtsan2 123s libubsan1 m4 rumur 123s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. 123s Need to get 59.8 MB/59.8 MB of archives. 123s After this operation, 229 MB of additional disk space will be used. 123s Get:1 /tmp/autopkgtest.xXZzlC/1-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [752 B] 123s Get:2 http://ftpmaster.internal/ubuntu oracular/main ppc64el m4 ppc64el 1.4.19-4build1 [278 kB] 123s Get:3 http://ftpmaster.internal/ubuntu oracular/main ppc64el flex ppc64el 2.6.4-8.2build1 [303 kB] 123s Get:4 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-13-base ppc64el 13.2.0-23ubuntu4 [49.0 kB] 123s Get:5 http://ftpmaster.internal/ubuntu oracular/main ppc64el libisl23 ppc64el 0.26-3build1 [886 kB] 123s Get:6 http://ftpmaster.internal/ubuntu oracular/main ppc64el libmpc3 ppc64el 1.3.1-1build1 [62.1 kB] 123s Get:7 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp-13-powerpc64le-linux-gnu ppc64el 13.2.0-23ubuntu4 [10.7 MB] 124s Get:8 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp-13 ppc64el 13.2.0-23ubuntu4 [1038 B] 124s Get:9 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:13.2.0-7ubuntu1 [5330 B] 124s Get:10 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp ppc64el 4:13.2.0-7ubuntu1 [22.5 kB] 124s Get:11 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcc1-0 ppc64el 14.1.0-1ubuntu1 [48.1 kB] 124s Get:12 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgomp1 ppc64el 14.1.0-1ubuntu1 [161 kB] 124s Get:13 http://ftpmaster.internal/ubuntu oracular/main ppc64el libitm1 ppc64el 14.1.0-1ubuntu1 [32.4 kB] 124s Get:14 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatomic1 ppc64el 14.1.0-1ubuntu1 [10.7 kB] 124s Get:15 http://ftpmaster.internal/ubuntu oracular/main ppc64el libasan8 ppc64el 14.1.0-1ubuntu1 [2971 kB] 124s Get:16 http://ftpmaster.internal/ubuntu oracular/main ppc64el liblsan0 ppc64el 14.1.0-1ubuntu1 [1328 kB] 124s Get:17 http://ftpmaster.internal/ubuntu oracular/main ppc64el libtsan2 ppc64el 14.1.0-1ubuntu1 [2708 kB] 124s Get:18 http://ftpmaster.internal/ubuntu oracular/main ppc64el libubsan1 ppc64el 14.1.0-1ubuntu1 [1196 kB] 124s Get:19 http://ftpmaster.internal/ubuntu oracular/main ppc64el libquadmath0 ppc64el 14.1.0-1ubuntu1 [158 kB] 124s Get:20 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgcc-13-dev ppc64el 13.2.0-23ubuntu4 [1580 kB] 124s Get:21 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-13-powerpc64le-linux-gnu ppc64el 13.2.0-23ubuntu4 [20.6 MB] 125s Get:22 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-13 ppc64el 13.2.0-23ubuntu4 [482 kB] 125s Get:23 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:13.2.0-7ubuntu1 [1224 B] 125s Get:24 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc ppc64el 4:13.2.0-7ubuntu1 [5022 B] 125s Get:25 http://ftpmaster.internal/ubuntu oracular/main ppc64el libstdc++-13-dev ppc64el 13.2.0-23ubuntu4 [2512 kB] 125s Get:26 http://ftpmaster.internal/ubuntu oracular/main ppc64el g++-13-powerpc64le-linux-gnu ppc64el 13.2.0-23ubuntu4 [12.2 MB] 126s Get:27 http://ftpmaster.internal/ubuntu oracular/main ppc64el g++-13 ppc64el 13.2.0-23ubuntu4 [14.5 kB] 126s Get:28 http://ftpmaster.internal/ubuntu oracular/main ppc64el g++-powerpc64le-linux-gnu ppc64el 4:13.2.0-7ubuntu1 [968 B] 126s Get:29 http://ftpmaster.internal/ubuntu oracular/main ppc64el g++ ppc64el 4:13.2.0-7ubuntu1 [1086 B] 126s Get:30 http://ftpmaster.internal/ubuntu oracular/main ppc64el build-essential ppc64el 12.10ubuntu1 [4936 B] 126s Get:31 http://ftpmaster.internal/ubuntu oracular/main ppc64el libfl2 ppc64el 2.6.4-8.2build1 [9720 B] 126s Get:32 http://ftpmaster.internal/ubuntu oracular/main ppc64el libfl-dev ppc64el 2.6.4-8.2build1 [6296 B] 126s Get:33 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgmpxx4ldbl ppc64el 2:6.3.0+dfsg-2ubuntu6 [10.3 kB] 126s Get:34 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgmp-dev ppc64el 2:6.3.0+dfsg-2ubuntu6 [372 kB] 126s Get:35 http://ftpmaster.internal/ubuntu oracular/universe ppc64el rumur ppc64el 2023.11.27-1 [1088 kB] 126s Fetched 59.8 MB in 3s (20.1 MB/s) 126s Selecting previously unselected package m4. 126s (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 ... 72754 files and directories currently installed.) 126s Preparing to unpack .../00-m4_1.4.19-4build1_ppc64el.deb ... 126s Unpacking m4 (1.4.19-4build1) ... 126s Selecting previously unselected package flex. 126s Preparing to unpack .../01-flex_2.6.4-8.2build1_ppc64el.deb ... 126s Unpacking flex (2.6.4-8.2build1) ... 126s Selecting previously unselected package gcc-13-base:ppc64el. 126s Preparing to unpack .../02-gcc-13-base_13.2.0-23ubuntu4_ppc64el.deb ... 126s Unpacking gcc-13-base:ppc64el (13.2.0-23ubuntu4) ... 126s Selecting previously unselected package libisl23:ppc64el. 126s Preparing to unpack .../03-libisl23_0.26-3build1_ppc64el.deb ... 126s Unpacking libisl23:ppc64el (0.26-3build1) ... 126s Selecting previously unselected package libmpc3:ppc64el. 126s Preparing to unpack .../04-libmpc3_1.3.1-1build1_ppc64el.deb ... 126s Unpacking libmpc3:ppc64el (1.3.1-1build1) ... 126s Selecting previously unselected package cpp-13-powerpc64le-linux-gnu. 126s Preparing to unpack .../05-cpp-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4_ppc64el.deb ... 126s Unpacking cpp-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ... 126s Selecting previously unselected package cpp-13. 126s Preparing to unpack .../06-cpp-13_13.2.0-23ubuntu4_ppc64el.deb ... 126s Unpacking cpp-13 (13.2.0-23ubuntu4) ... 126s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 126s Preparing to unpack .../07-cpp-powerpc64le-linux-gnu_4%3a13.2.0-7ubuntu1_ppc64el.deb ... 126s Unpacking cpp-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ... 126s Selecting previously unselected package cpp. 126s Preparing to unpack .../08-cpp_4%3a13.2.0-7ubuntu1_ppc64el.deb ... 126s Unpacking cpp (4:13.2.0-7ubuntu1) ... 126s Selecting previously unselected package libcc1-0:ppc64el. 126s Preparing to unpack .../09-libcc1-0_14.1.0-1ubuntu1_ppc64el.deb ... 126s Unpacking libcc1-0:ppc64el (14.1.0-1ubuntu1) ... 126s Selecting previously unselected package libgomp1:ppc64el. 126s Preparing to unpack .../10-libgomp1_14.1.0-1ubuntu1_ppc64el.deb ... 126s Unpacking libgomp1:ppc64el (14.1.0-1ubuntu1) ... 126s Selecting previously unselected package libitm1:ppc64el. 126s Preparing to unpack .../11-libitm1_14.1.0-1ubuntu1_ppc64el.deb ... 126s Unpacking libitm1:ppc64el (14.1.0-1ubuntu1) ... 126s Selecting previously unselected package libatomic1:ppc64el. 126s Preparing to unpack .../12-libatomic1_14.1.0-1ubuntu1_ppc64el.deb ... 126s Unpacking libatomic1:ppc64el (14.1.0-1ubuntu1) ... 126s Selecting previously unselected package libasan8:ppc64el. 126s Preparing to unpack .../13-libasan8_14.1.0-1ubuntu1_ppc64el.deb ... 126s Unpacking libasan8:ppc64el (14.1.0-1ubuntu1) ... 126s Selecting previously unselected package liblsan0:ppc64el. 126s Preparing to unpack .../14-liblsan0_14.1.0-1ubuntu1_ppc64el.deb ... 126s Unpacking liblsan0:ppc64el (14.1.0-1ubuntu1) ... 126s Selecting previously unselected package libtsan2:ppc64el. 126s Preparing to unpack .../15-libtsan2_14.1.0-1ubuntu1_ppc64el.deb ... 126s Unpacking libtsan2:ppc64el (14.1.0-1ubuntu1) ... 127s Selecting previously unselected package libubsan1:ppc64el. 127s Preparing to unpack .../16-libubsan1_14.1.0-1ubuntu1_ppc64el.deb ... 127s Unpacking libubsan1:ppc64el (14.1.0-1ubuntu1) ... 127s Selecting previously unselected package libquadmath0:ppc64el. 127s Preparing to unpack .../17-libquadmath0_14.1.0-1ubuntu1_ppc64el.deb ... 127s Unpacking libquadmath0:ppc64el (14.1.0-1ubuntu1) ... 127s Selecting previously unselected package libgcc-13-dev:ppc64el. 127s Preparing to unpack .../18-libgcc-13-dev_13.2.0-23ubuntu4_ppc64el.deb ... 127s Unpacking libgcc-13-dev:ppc64el (13.2.0-23ubuntu4) ... 127s Selecting previously unselected package gcc-13-powerpc64le-linux-gnu. 127s Preparing to unpack .../19-gcc-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4_ppc64el.deb ... 127s Unpacking gcc-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ... 127s Selecting previously unselected package gcc-13. 127s Preparing to unpack .../20-gcc-13_13.2.0-23ubuntu4_ppc64el.deb ... 127s Unpacking gcc-13 (13.2.0-23ubuntu4) ... 127s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 127s Preparing to unpack .../21-gcc-powerpc64le-linux-gnu_4%3a13.2.0-7ubuntu1_ppc64el.deb ... 127s Unpacking gcc-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ... 127s Selecting previously unselected package gcc. 127s Preparing to unpack .../22-gcc_4%3a13.2.0-7ubuntu1_ppc64el.deb ... 127s Unpacking gcc (4:13.2.0-7ubuntu1) ... 127s Selecting previously unselected package libstdc++-13-dev:ppc64el. 127s Preparing to unpack .../23-libstdc++-13-dev_13.2.0-23ubuntu4_ppc64el.deb ... 127s Unpacking libstdc++-13-dev:ppc64el (13.2.0-23ubuntu4) ... 128s Selecting previously unselected package g++-13-powerpc64le-linux-gnu. 128s Preparing to unpack .../24-g++-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4_ppc64el.deb ... 128s Unpacking g++-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ... 128s Selecting previously unselected package g++-13. 128s Preparing to unpack .../25-g++-13_13.2.0-23ubuntu4_ppc64el.deb ... 128s Unpacking g++-13 (13.2.0-23ubuntu4) ... 128s Selecting previously unselected package g++-powerpc64le-linux-gnu. 128s Preparing to unpack .../26-g++-powerpc64le-linux-gnu_4%3a13.2.0-7ubuntu1_ppc64el.deb ... 128s Unpacking g++-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ... 128s Selecting previously unselected package g++. 128s Preparing to unpack .../27-g++_4%3a13.2.0-7ubuntu1_ppc64el.deb ... 128s Unpacking g++ (4:13.2.0-7ubuntu1) ... 128s Selecting previously unselected package build-essential. 128s Preparing to unpack .../28-build-essential_12.10ubuntu1_ppc64el.deb ... 128s Unpacking build-essential (12.10ubuntu1) ... 128s Selecting previously unselected package libfl2:ppc64el. 128s Preparing to unpack .../29-libfl2_2.6.4-8.2build1_ppc64el.deb ... 128s Unpacking libfl2:ppc64el (2.6.4-8.2build1) ... 128s Selecting previously unselected package libfl-dev:ppc64el. 128s Preparing to unpack .../30-libfl-dev_2.6.4-8.2build1_ppc64el.deb ... 128s Unpacking libfl-dev:ppc64el (2.6.4-8.2build1) ... 128s Selecting previously unselected package libgmpxx4ldbl:ppc64el. 128s Preparing to unpack .../31-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6_ppc64el.deb ... 128s Unpacking libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu6) ... 128s Selecting previously unselected package libgmp-dev:ppc64el. 128s Preparing to unpack .../32-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6_ppc64el.deb ... 128s Unpacking libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu6) ... 128s Selecting previously unselected package rumur. 128s Preparing to unpack .../33-rumur_2023.11.27-1_ppc64el.deb ... 128s Unpacking rumur (2023.11.27-1) ... 128s Selecting previously unselected package autopkgtest-satdep. 128s Preparing to unpack .../34-1-autopkgtest-satdep.deb ... 128s Unpacking autopkgtest-satdep (0) ... 128s Setting up m4 (1.4.19-4build1) ... 128s Setting up libgomp1:ppc64el (14.1.0-1ubuntu1) ... 128s Setting up libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu6) ... 128s Setting up gcc-13-base:ppc64el (13.2.0-23ubuntu4) ... 128s Setting up libquadmath0:ppc64el (14.1.0-1ubuntu1) ... 128s Setting up rumur (2023.11.27-1) ... 128s Setting up libmpc3:ppc64el (1.3.1-1build1) ... 128s Setting up libatomic1:ppc64el (14.1.0-1ubuntu1) ... 128s Setting up libfl2:ppc64el (2.6.4-8.2build1) ... 128s Setting up libubsan1:ppc64el (14.1.0-1ubuntu1) ... 128s Setting up libasan8:ppc64el (14.1.0-1ubuntu1) ... 128s Setting up libtsan2:ppc64el (14.1.0-1ubuntu1) ... 128s Setting up libisl23:ppc64el (0.26-3build1) ... 128s Setting up cpp-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ... 128s Setting up libcc1-0:ppc64el (14.1.0-1ubuntu1) ... 128s Setting up liblsan0:ppc64el (14.1.0-1ubuntu1) ... 128s Setting up libitm1:ppc64el (14.1.0-1ubuntu1) ... 128s Setting up cpp-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ... 128s Setting up flex (2.6.4-8.2build1) ... 128s Setting up libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu6) ... 128s Setting up cpp-13 (13.2.0-23ubuntu4) ... 128s Setting up libfl-dev:ppc64el (2.6.4-8.2build1) ... 128s Setting up libgcc-13-dev:ppc64el (13.2.0-23ubuntu4) ... 128s Setting up cpp (4:13.2.0-7ubuntu1) ... 128s Setting up libstdc++-13-dev:ppc64el (13.2.0-23ubuntu4) ... 128s Setting up gcc-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ... 128s Setting up gcc-13 (13.2.0-23ubuntu4) ... 128s Setting up g++-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ... 128s Setting up gcc-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ... 128s Setting up g++-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ... 128s Setting up g++-13 (13.2.0-23ubuntu4) ... 128s Setting up gcc (4:13.2.0-7ubuntu1) ... 128s Setting up g++ (4:13.2.0-7ubuntu1) ... 128s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 128s Setting up build-essential (12.10ubuntu1) ... 128s Setting up autopkgtest-satdep (0) ... 128s Processing triggers for man-db (2.12.1-2) ... 129s Processing triggers for install-info (7.1-3build2) ... 129s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 131s (Reading database ... 74130 files and directories currently installed.) 131s Removing autopkgtest-satdep (0) ... 131s autopkgtest [00:38:27]: test librumur-api: [----------------------- 132s + mkdir -p /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/librumur-api 132s + cd /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/librumur-api 132s + cat - 132s + cat - 132s + c++ -std=c++11 main.cc -lrumur -lgmpxx -lgmp 133s + ./a.out 133s autopkgtest [00:38:29]: test librumur-api: -----------------------] 133s autopkgtest [00:38:29]: test librumur-api: - - - - - - - - - - results - - - - - - - - - - 133s librumur-api PASS 134s autopkgtest [00:38:30]: test murphi2c-header: preparing testbed 135s Reading package lists... 135s Building dependency tree... 135s Reading state information... 136s Starting pkgProblemResolver with broken count: 0 136s Starting 2 pkgProblemResolver with broken count: 0 136s Done 136s The following NEW packages will be installed: 136s autopkgtest-satdep 136s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 136s Need to get 0 B/748 B of archives. 136s After this operation, 0 B of additional disk space will be used. 136s Get:1 /tmp/autopkgtest.xXZzlC/2-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [748 B] 136s Selecting previously unselected package autopkgtest-satdep. 136s (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 ... 74130 files and directories currently installed.) 136s Preparing to unpack .../2-autopkgtest-satdep.deb ... 136s Unpacking autopkgtest-satdep (0) ... 136s Setting up autopkgtest-satdep (0) ... 138s (Reading database ... 74130 files and directories currently installed.) 138s Removing autopkgtest-satdep (0) ... 138s autopkgtest [00:38:34]: test murphi2c-header: [----------------------- 139s + mkdir -p /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/murphi2c-header 139s + cd /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/murphi2c-header 139s + cat - 139s + murphi2c --header --output model.h model.m 139s + cat - 139s + cc -std=c11 -o /dev/null main.c 139s + cat - 139s + c++ -std=c++11 -o /dev/null main.cc 139s autopkgtest [00:38:35]: test murphi2c-header: -----------------------] 139s autopkgtest [00:38:35]: test murphi2c-header: - - - - - - - - - - results - - - - - - - - - - 139s murphi2c-header PASS 140s autopkgtest [00:38:36]: test murphi2c-source: preparing testbed 141s Reading package lists... 141s Building dependency tree... 141s Reading state information... 141s Starting pkgProblemResolver with broken count: 0 141s Starting 2 pkgProblemResolver with broken count: 0 141s Done 142s The following NEW packages will be installed: 142s autopkgtest-satdep 142s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 142s Need to get 0 B/752 B of archives. 142s After this operation, 0 B of additional disk space will be used. 142s Get:1 /tmp/autopkgtest.xXZzlC/3-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [752 B] 142s Selecting previously unselected package autopkgtest-satdep. 142s (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 ... 74130 files and directories currently installed.) 142s Preparing to unpack .../3-autopkgtest-satdep.deb ... 142s Unpacking autopkgtest-satdep (0) ... 142s Setting up autopkgtest-satdep (0) ... 143s (Reading database ... 74130 files and directories currently installed.) 143s Removing autopkgtest-satdep (0) ... 144s autopkgtest [00:38:40]: test murphi2c-source: [----------------------- 144s + mkdir -p /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/murphi2c-source 144s + cd /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/murphi2c-source 144s + cat - 144s + murphi2c --output model.c model.m 144s + cc -std=c11 -o /dev/null -c model.c 145s autopkgtest [00:38:41]: test murphi2c-source: -----------------------] 145s autopkgtest [00:38:41]: test murphi2c-source: - - - - - - - - - - results - - - - - - - - - - 145s murphi2c-source PASS 145s autopkgtest [00:38:41]: test murphi2c-version: preparing testbed 147s Reading package lists... 147s Building dependency tree... 147s Reading state information... 147s Starting pkgProblemResolver with broken count: 0 147s Starting 2 pkgProblemResolver with broken count: 0 147s Done 147s The following NEW packages will be installed: 147s autopkgtest-satdep 147s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 147s Need to get 0 B/748 B of archives. 147s After this operation, 0 B of additional disk space will be used. 147s Get:1 /tmp/autopkgtest.xXZzlC/4-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [748 B] 148s Selecting previously unselected package autopkgtest-satdep. 148s (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 ... 74130 files and directories currently installed.) 148s Preparing to unpack .../4-autopkgtest-satdep.deb ... 148s Unpacking autopkgtest-satdep (0) ... 148s Setting up autopkgtest-satdep (0) ... 149s (Reading database ... 74130 files and directories currently installed.) 149s Removing autopkgtest-satdep (0) ... 150s autopkgtest [00:38:46]: test murphi2c-version: [----------------------- 150s Murphi2C version v2023.11.27-1 150s + murphi2c --version 150s autopkgtest [00:38:46]: test murphi2c-version: -----------------------] 151s murphi2c-version PASS 151s autopkgtest [00:38:47]: test murphi2c-version: - - - - - - - - - - results - - - - - - - - - - 151s autopkgtest [00:38:47]: test murphi2murphi-basic: preparing testbed 152s Reading package lists... 153s Building dependency tree... 153s Reading state information... 153s Starting pkgProblemResolver with broken count: 0 153s Starting 2 pkgProblemResolver with broken count: 0 153s Done 153s The following NEW packages will be installed: 153s autopkgtest-satdep 153s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 153s Need to get 0 B/748 B of archives. 153s After this operation, 0 B of additional disk space will be used. 153s Get:1 /tmp/autopkgtest.xXZzlC/5-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [748 B] 153s Selecting previously unselected package autopkgtest-satdep. 153s (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 ... 74130 files and directories currently installed.) 153s Preparing to unpack .../5-autopkgtest-satdep.deb ... 153s Unpacking autopkgtest-satdep (0) ... 153s Setting up autopkgtest-satdep (0) ... 155s (Reading database ... 74130 files and directories currently installed.) 155s Removing autopkgtest-satdep (0) ... 155s autopkgtest [00:38:51]: test murphi2murphi-basic: [----------------------- 156s + mkdir -p /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/murphi2murphi-basic 156s + cd /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/murphi2murphi-basic 156s + cat - 156s + murphi2murphi --output transformed.m --explicit-semicolons model.m 156s + rumur --output /dev/null transformed.m 156s autopkgtest [00:38:52]: test murphi2murphi-basic: -----------------------] 156s murphi2murphi-basic PASS 156s autopkgtest [00:38:52]: test murphi2murphi-basic: - - - - - - - - - - results - - - - - - - - - - 157s autopkgtest [00:38:53]: test murphi2murphi-version: preparing testbed 158s Reading package lists... 158s Building dependency tree... 158s Reading state information... 158s Starting pkgProblemResolver with broken count: 0 158s Starting 2 pkgProblemResolver with broken count: 0 158s Done 159s The following NEW packages will be installed: 159s autopkgtest-satdep 159s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 159s Need to get 0 B/744 B of archives. 159s After this operation, 0 B of additional disk space will be used. 159s Get:1 /tmp/autopkgtest.xXZzlC/6-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [744 B] 159s Selecting previously unselected package autopkgtest-satdep. 159s (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 ... 74130 files and directories currently installed.) 159s Preparing to unpack .../6-autopkgtest-satdep.deb ... 159s Unpacking autopkgtest-satdep (0) ... 159s Setting up autopkgtest-satdep (0) ... 160s (Reading database ... 74130 files and directories currently installed.) 160s Removing autopkgtest-satdep (0) ... 161s autopkgtest [00:38:57]: test murphi2murphi-version: [----------------------- 161s + murphi2murphi --version 161s Murphi2Murphi version v2023.11.27-1 162s autopkgtest [00:38:58]: test murphi2murphi-version: -----------------------] 162s autopkgtest [00:38:58]: test murphi2murphi-version: - - - - - - - - - - results - - - - - - - - - - 162s murphi2murphi-version PASS 162s autopkgtest [00:38:58]: test murphi2xml-model: preparing testbed 163s Reading package lists... 164s Building dependency tree... 164s Reading state information... 164s Starting pkgProblemResolver with broken count: 0 164s Starting 2 pkgProblemResolver with broken count: 0 164s Done 164s The following NEW packages will be installed: 164s autopkgtest-satdep 164s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 164s Need to get 0 B/748 B of archives. 164s After this operation, 0 B of additional disk space will be used. 164s Get:1 /tmp/autopkgtest.xXZzlC/7-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [748 B] 164s Selecting previously unselected package autopkgtest-satdep. 164s (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 ... 74130 files and directories currently installed.) 164s Preparing to unpack .../7-autopkgtest-satdep.deb ... 164s Unpacking autopkgtest-satdep (0) ... 164s Setting up autopkgtest-satdep (0) ... 166s (Reading database ... 74130 files and directories currently installed.) 166s Removing autopkgtest-satdep (0) ... 167s autopkgtest [00:39:03]: test murphi2xml-model: [----------------------- 167s + mkdir -p /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/murphi2xml-model 167s + cd /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/murphi2xml-model 167s + cat - 167s + murphi2xml --output /dev/null model.m 167s autopkgtest [00:39:03]: test murphi2xml-model: -----------------------] 168s murphi2xml-model PASS 168s autopkgtest [00:39:04]: test murphi2xml-model: - - - - - - - - - - results - - - - - - - - - - 168s autopkgtest [00:39:04]: test murphi2xml-version: preparing testbed 170s Reading package lists... 170s Building dependency tree... 170s Reading state information... 170s Starting pkgProblemResolver with broken count: 0 170s Starting 2 pkgProblemResolver with broken count: 0 170s Done 170s The following NEW packages will be installed: 170s autopkgtest-satdep 170s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 170s Need to get 0 B/752 B of archives. 170s After this operation, 0 B of additional disk space will be used. 170s Get:1 /tmp/autopkgtest.xXZzlC/8-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [752 B] 171s Selecting previously unselected package autopkgtest-satdep. 171s (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 ... 74130 files and directories currently installed.) 171s Preparing to unpack .../8-autopkgtest-satdep.deb ... 171s Unpacking autopkgtest-satdep (0) ... 171s Setting up autopkgtest-satdep (0) ... 173s (Reading database ... 74130 files and directories currently installed.) 173s Removing autopkgtest-satdep (0) ... 173s autopkgtest [00:39:09]: test murphi2xml-version: [----------------------- 174s Rumur version v2023.11.27-1 174s + murphi2xml --version 174s autopkgtest [00:39:10]: test murphi2xml-version: -----------------------] 174s autopkgtest [00:39:10]: test murphi2xml-version: - - - - - - - - - - results - - - - - - - - - - 174s murphi2xml-version PASS 175s autopkgtest [00:39:11]: test rumur-model: preparing testbed 176s Reading package lists... 177s Building dependency tree... 177s Reading state information... 177s Starting pkgProblemResolver with broken count: 0 177s Starting 2 pkgProblemResolver with broken count: 0 177s Done 177s The following NEW packages will be installed: 177s autopkgtest-satdep 177s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 177s Need to get 0 B/748 B of archives. 177s After this operation, 0 B of additional disk space will be used. 177s Get:1 /tmp/autopkgtest.xXZzlC/9-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [748 B] 177s Selecting previously unselected package autopkgtest-satdep. 177s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 74130 files and directories currently installed.) 177s Preparing to unpack .../9-autopkgtest-satdep.deb ... 177s Unpacking autopkgtest-satdep (0) ... 177s Setting up autopkgtest-satdep (0) ... 179s (Reading database ... 74130 files and directories currently installed.) 179s Removing autopkgtest-satdep (0) ... 180s autopkgtest [00:39:16]: test rumur-model: [----------------------- 180s + mkdir -p /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/rumur-model 180s + cd /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/rumur-model 180s + set +e 180s + cat - 180s + cc -std=c11 -mcx16 mcx16-check.c -o /dev/null 180s cc: error: unrecognized command-line option ‘-mcx16’ 180s + '[' 1 -eq 0 ']' 180s + MCX16= 180s + cat - 180s + cc -std=c11 libatomic-check.c -o /dev/null 180s + '[' 0 -eq 0 ']' 180s + LIBATOMIC= 180s + set -e 180s + cat - 180s + rumur --output checker.c model.m 180s + cc -std=c11 checker.c -lpthread 180s checker.c:135:2: warning: #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. [-Wcpp] 180s 135 | #warning you are compiling without optimizations enabled. I would suggest -march=native -O3 -fwhole-program. 180s | ^~~~~~~ 181s + ./a.out 181s Memory usage: 181s 181s * The size of each state is 2 bits (rounded up to 1 bytes). 181s * The size of the hash table is 65536 slots. 181s 181s Progress Report: 181s 181s 181s ========================================================================== 181s 181s Status: 181s 181s No error found. 181s 181s State Space Explored: 181s 181s 2 states, 2 rules fired in 0s. 181s autopkgtest [00:39:17]: test rumur-model: -----------------------] 181s autopkgtest [00:39:17]: test rumur-model: - - - - - - - - - - results - - - - - - - - - - 181s rumur-model PASS 182s autopkgtest [00:39:18]: test rumur-run-model: preparing testbed 183s Reading package lists... 183s Building dependency tree... 183s Reading state information... 184s Starting pkgProblemResolver with broken count: 0 184s Starting 2 pkgProblemResolver with broken count: 0 184s 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/748 B of archives. 184s After this operation, 0 B of additional disk space will be used. 184s Get:1 /tmp/autopkgtest.xXZzlC/10-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [748 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 ... 74130 files and directories currently installed.) 184s Preparing to unpack .../10-autopkgtest-satdep.deb ... 184s Unpacking autopkgtest-satdep (0) ... 184s Setting up autopkgtest-satdep (0) ... 186s (Reading database ... 74130 files and directories currently installed.) 186s Removing autopkgtest-satdep (0) ... 187s autopkgtest [00:39:23]: test rumur-run-model: [----------------------- 187s + mkdir -p /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/rumur-run-model 187s + cd /tmp/autopkgtest.xXZzlC/autopkgtest_tmp/rumur-run-model 187s + cat - 187s + rumur-run model.m 188s Memory usage: 188s 188s * The size of each state is 2 bits (rounded up to 1 bytes). 188s * The size of the hash table is 65536 slots. 188s 188s Progress Report: 188s 188s 188s ========================================================================== 188s 188s Status: 188s 188s No error found. 188s 188s State Space Explored: 188s 188s 2 states, 2 rules fired in 0s. 188s Generating the checker... 188s Compiling the checker... 188s Running the checker... 188s autopkgtest [00:39:24]: test rumur-run-model: -----------------------] 189s autopkgtest [00:39:25]: test rumur-run-model: - - - - - - - - - - results - - - - - - - - - - 189s rumur-run-model PASS 189s autopkgtest [00:39:25]: test rumur-version: preparing testbed 191s Reading package lists... 191s Building dependency tree... 191s Reading state information... 191s Starting pkgProblemResolver with broken count: 0 191s Starting 2 pkgProblemResolver with broken count: 0 191s Done 191s The following NEW packages will be installed: 191s autopkgtest-satdep 191s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 191s Need to get 0 B/752 B of archives. 191s After this operation, 0 B of additional disk space will be used. 191s Get:1 /tmp/autopkgtest.xXZzlC/11-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [752 B] 192s Selecting previously unselected package autopkgtest-satdep. 192s (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 ... 74130 files and directories currently installed.) 192s Preparing to unpack .../11-autopkgtest-satdep.deb ... 192s Unpacking autopkgtest-satdep (0) ... 192s Setting up autopkgtest-satdep (0) ... 193s (Reading database ... 74130 files and directories currently installed.) 193s Removing autopkgtest-satdep (0) ... 194s autopkgtest [00:39:30]: test rumur-version: [----------------------- 194s + rumur --version 194s Rumur version v2023.11.27-1 194s autopkgtest [00:39:30]: test rumur-version: -----------------------] 195s autopkgtest [00:39:31]: test rumur-version: - - - - - - - - - - results - - - - - - - - - - 195s rumur-version PASS 195s autopkgtest [00:39:31]: @@@@@@@@@@@@@@@@@@@@ summary 195s librumur-api PASS 195s murphi2c-header PASS 195s murphi2c-source PASS 195s murphi2c-version PASS 195s murphi2murphi-basic PASS 195s murphi2murphi-version PASS 195s murphi2xml-model PASS 195s murphi2xml-version PASS 195s rumur-model PASS 195s rumur-run-model PASS 195s rumur-version PASS 207s nova [W] Using flock in scalingstack-bos02-ppc64el 207s Creating nova instance adt-oracular-ppc64el-rumur-20240713-003616-juju-7f2275-prod-proposed-migration-environment-2-04ffb704-fd21-4919-822a-75704867bf15 from image adt/ubuntu-oracular-ppc64el-server-20240713.img (UUID b28bdc0e-67ab-46b9-adc7-daedcc93171c)...