0s autopkgtest [15:22:30]: starting date and time: 2025-01-09 15:22:30+0000 0s autopkgtest [15:22:30]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [15:22:30]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.6a93gu9p/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:ocaml-dune,src:ocplib-simplex --apt-upgrade ocaml-dscheck --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=ocaml-dune/3.17.1-2 ocplib-simplex/0.5.1-4' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-arm64-13.secgroup --name adt-plucky-arm64-ocaml-dscheck-20250109-152230-juju-7f2275-prod-proposed-migration-environment-20-ba87cf9b-17a9-4226-9a81-27945f347f43 --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --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,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 136s autopkgtest [15:24:46]: testbed dpkg architecture: arm64 136s autopkgtest [15:24:46]: testbed apt version: 2.9.18 136s autopkgtest [15:24:46]: @@@@@@@@@@@@@@@@@@@@ test bed setup 137s autopkgtest [15:24:47]: testbed release detected to be: None 137s autopkgtest [15:24:47]: updating testbed package index (apt update) 138s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB] 138s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 138s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 138s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 138s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.6 kB] 138s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [126 kB] 138s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [9708 B] 138s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [790 kB] 138s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [243 kB] 138s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [57.8 kB] 138s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [977 kB] 138s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [11.7 kB] 139s Fetched 2305 kB in 1s (2418 kB/s) 140s Reading package lists... 140s Reading package lists... 141s Building dependency tree... 141s Reading state information... 141s Calculating upgrade... 142s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 142s Reading package lists... 142s Building dependency tree... 142s Reading state information... 143s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 143s autopkgtest [15:24:53]: upgrading testbed (apt dist-upgrade and autopurge) 143s Reading package lists... 143s Building dependency tree... 143s Reading state information... 144s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 144s Starting 2 pkgProblemResolver with broken count: 0 144s Done 145s Entering ResolveByKeep 145s 146s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 146s Reading package lists... 146s Building dependency tree... 146s Reading state information... 147s Starting pkgProblemResolver with broken count: 0 147s Starting 2 pkgProblemResolver with broken count: 0 147s Done 147s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 150s autopkgtest [15:25:00]: testbed running kernel: Linux 6.11.0-8-generic #8-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 16 14:19:41 UTC 2024 150s autopkgtest [15:25:00]: @@@@@@@@@@@@@@@@@@@@ apt-source ocaml-dscheck 152s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ocaml-dscheck 0.5.0-2 (dsc) [2214 B] 152s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ocaml-dscheck 0.5.0-2 (tar) [27.0 kB] 152s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ocaml-dscheck 0.5.0-2 (diff) [2760 B] 152s gpgv: Signature made Sat Oct 26 12:15:41 2024 UTC 152s gpgv: using RSA key 96A58F182BB8F9B81C5F2733854F07BE082DF14F 152s gpgv: Can't check signature: No public key 152s dpkg-source: warning: cannot verify inline signature for ./ocaml-dscheck_0.5.0-2.dsc: no acceptable signature found 152s autopkgtest [15:25:02]: testing package ocaml-dscheck version 0.5.0-2 153s autopkgtest [15:25:03]: build not needed 153s autopkgtest [15:25:03]: test upstream: preparing testbed 153s Reading package lists... 153s Building dependency tree... 153s Reading state information... 154s Starting pkgProblemResolver with broken count: 0 154s Starting 2 pkgProblemResolver with broken count: 0 154s Done 155s The following NEW packages will be installed: 155s cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-14 155s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libalcotest-ocaml-dev 155s libasan8 libastring-ocaml libastring-ocaml-dev libcc1-0 155s libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libcontainers-ocaml-dev 155s libdscheck-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libgcc-14-dev libgomp1 155s libhwasan0 libisl23 libitm1 liblsan0 libmpc3 libncurses-dev 155s liboseq-ocaml-dev libre-ocaml-dev libstdlib-ocaml libstdlib-ocaml-dev 155s libtsan2 libubsan1 libuutf-ocaml libuutf-ocaml-dev libzstd-dev ocaml 155s ocaml-base ocaml-dune ocaml-interp 155s 0 upgraded, 40 newly installed, 0 to remove and 0 not upgraded. 155s Need to get 154 MB of archives. 155s After this operation, 462 MB of additional disk space will be used. 155s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 155s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 155s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-12ubuntu1 [10.6 MB] 157s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-12ubuntu1 [1032 B] 157s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.1.0-2ubuntu1 [5452 B] 157s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.1.0-2ubuntu1 [22.5 kB] 157s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 14.2.0-12ubuntu1 [49.6 kB] 157s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 14.2.0-12ubuntu1 [145 kB] 157s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 14.2.0-12ubuntu1 [27.7 kB] 157s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 14.2.0-12ubuntu1 [2896 kB] 157s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 14.2.0-12ubuntu1 [1283 kB] 157s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 14.2.0-12ubuntu1 [2687 kB] 157s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 14.2.0-12ubuntu1 [1152 kB] 157s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 14.2.0-12ubuntu1 [1598 kB] 157s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-12ubuntu1 [2596 kB] 157s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-12ubuntu1 [20.9 MB] 158s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-12ubuntu1 [522 kB] 158s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.1.0-2ubuntu1 [1200 B] 158s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.1.0-2ubuntu1 [4994 B] 158s Get:20 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB] 158s Get:21 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB] 158s Get:22 http://ftpmaster.internal/ubuntu plucky/universe arm64 libastring-ocaml arm64 0.8.5-2build3 [204 kB] 158s Get:23 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB] 159s Get:24 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB] 160s Get:25 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB] 160s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5-2 [385 kB] 160s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-1 [352 kB] 160s Get:28 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB] 160s Get:29 http://ftpmaster.internal/ubuntu plucky/universe arm64 libastring-ocaml-dev arm64 0.8.5-2build3 [175 kB] 160s Get:30 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcmdliner-ocaml-dev arm64 1.3.0-2build1 [575 kB] 160s Get:31 http://ftpmaster.internal/ubuntu plucky/universe arm64 libfmt-ocaml arm64 0.9.0-3build3 [145 kB] 160s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 libfmt-ocaml-dev arm64 0.9.0-3build3 [136 kB] 161s Get:33 http://ftpmaster.internal/ubuntu plucky/universe arm64 libre-ocaml-dev arm64 1.12.0+really1.11.0-1 [1326 kB] 161s Get:34 http://ftpmaster.internal/ubuntu plucky/universe arm64 libuutf-ocaml arm64 1.0.3-1build4 [82.1 kB] 161s Get:35 http://ftpmaster.internal/ubuntu plucky/universe arm64 libuutf-ocaml-dev arm64 1.0.3-1build4 [754 kB] 161s Get:36 http://ftpmaster.internal/ubuntu plucky/universe arm64 libalcotest-ocaml-dev arm64 1.8.0-1build3 [1207 kB] 161s Get:37 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcontainers-ocaml-dev arm64 3.14+dfsg-2 [6019 kB] 161s Get:38 http://ftpmaster.internal/ubuntu plucky/universe arm64 liboseq-ocaml-dev arm64 0.5.1-2 [445 kB] 161s Get:39 http://ftpmaster.internal/ubuntu plucky/universe arm64 libdscheck-ocaml-dev arm64 0.5.0-2 [311 kB] 161s Get:40 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 ocaml-dune arm64 3.17.1-2 [6437 kB] 161s Fetched 154 MB in 6s (24.9 MB/s) 161s Selecting previously unselected package libisl23:arm64. 162s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 80185 files and directories currently installed.) 162s Preparing to unpack .../00-libisl23_0.27-1_arm64.deb ... 162s Unpacking libisl23:arm64 (0.27-1) ... 162s Selecting previously unselected package libmpc3:arm64. 162s Preparing to unpack .../01-libmpc3_1.3.1-1build2_arm64.deb ... 162s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 162s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 162s Preparing to unpack .../02-cpp-14-aarch64-linux-gnu_14.2.0-12ubuntu1_arm64.deb ... 162s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-12ubuntu1) ... 162s Selecting previously unselected package cpp-14. 162s Preparing to unpack .../03-cpp-14_14.2.0-12ubuntu1_arm64.deb ... 162s Unpacking cpp-14 (14.2.0-12ubuntu1) ... 162s Selecting previously unselected package cpp-aarch64-linux-gnu. 162s Preparing to unpack .../04-cpp-aarch64-linux-gnu_4%3a14.1.0-2ubuntu1_arm64.deb ... 162s Unpacking cpp-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ... 162s Selecting previously unselected package cpp. 162s Preparing to unpack .../05-cpp_4%3a14.1.0-2ubuntu1_arm64.deb ... 162s Unpacking cpp (4:14.1.0-2ubuntu1) ... 162s Selecting previously unselected package libcc1-0:arm64. 162s Preparing to unpack .../06-libcc1-0_14.2.0-12ubuntu1_arm64.deb ... 162s Unpacking libcc1-0:arm64 (14.2.0-12ubuntu1) ... 162s Selecting previously unselected package libgomp1:arm64. 162s Preparing to unpack .../07-libgomp1_14.2.0-12ubuntu1_arm64.deb ... 162s Unpacking libgomp1:arm64 (14.2.0-12ubuntu1) ... 162s Selecting previously unselected package libitm1:arm64. 162s Preparing to unpack .../08-libitm1_14.2.0-12ubuntu1_arm64.deb ... 162s Unpacking libitm1:arm64 (14.2.0-12ubuntu1) ... 162s Selecting previously unselected package libasan8:arm64. 162s Preparing to unpack .../09-libasan8_14.2.0-12ubuntu1_arm64.deb ... 162s Unpacking libasan8:arm64 (14.2.0-12ubuntu1) ... 162s Selecting previously unselected package liblsan0:arm64. 162s Preparing to unpack .../10-liblsan0_14.2.0-12ubuntu1_arm64.deb ... 162s Unpacking liblsan0:arm64 (14.2.0-12ubuntu1) ... 163s Selecting previously unselected package libtsan2:arm64. 163s Preparing to unpack .../11-libtsan2_14.2.0-12ubuntu1_arm64.deb ... 163s Unpacking libtsan2:arm64 (14.2.0-12ubuntu1) ... 163s Selecting previously unselected package libubsan1:arm64. 163s Preparing to unpack .../12-libubsan1_14.2.0-12ubuntu1_arm64.deb ... 163s Unpacking libubsan1:arm64 (14.2.0-12ubuntu1) ... 163s Selecting previously unselected package libhwasan0:arm64. 163s Preparing to unpack .../13-libhwasan0_14.2.0-12ubuntu1_arm64.deb ... 163s Unpacking libhwasan0:arm64 (14.2.0-12ubuntu1) ... 163s Selecting previously unselected package libgcc-14-dev:arm64. 163s Preparing to unpack .../14-libgcc-14-dev_14.2.0-12ubuntu1_arm64.deb ... 163s Unpacking libgcc-14-dev:arm64 (14.2.0-12ubuntu1) ... 163s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 163s Preparing to unpack .../15-gcc-14-aarch64-linux-gnu_14.2.0-12ubuntu1_arm64.deb ... 163s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-12ubuntu1) ... 163s Selecting previously unselected package gcc-14. 163s Preparing to unpack .../16-gcc-14_14.2.0-12ubuntu1_arm64.deb ... 163s Unpacking gcc-14 (14.2.0-12ubuntu1) ... 163s Selecting previously unselected package gcc-aarch64-linux-gnu. 163s Preparing to unpack .../17-gcc-aarch64-linux-gnu_4%3a14.1.0-2ubuntu1_arm64.deb ... 163s Unpacking gcc-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ... 163s Selecting previously unselected package gcc. 163s Preparing to unpack .../18-gcc_4%3a14.1.0-2ubuntu1_arm64.deb ... 163s Unpacking gcc (4:14.1.0-2ubuntu1) ... 163s Selecting previously unselected package libstdlib-ocaml. 163s Preparing to unpack .../19-libstdlib-ocaml_5.2.0-3_arm64.deb ... 163s Unpacking libstdlib-ocaml (5.2.0-3) ... 164s Selecting previously unselected package ocaml-base. 164s Preparing to unpack .../20-ocaml-base_5.2.0-3_arm64.deb ... 164s Unpacking ocaml-base (5.2.0-3) ... 164s Selecting previously unselected package libastring-ocaml. 164s Preparing to unpack .../21-libastring-ocaml_0.8.5-2build3_arm64.deb ... 164s Unpacking libastring-ocaml (0.8.5-2build3) ... 164s Selecting previously unselected package libstdlib-ocaml-dev. 164s Preparing to unpack .../22-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ... 164s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 164s Selecting previously unselected package libcompiler-libs-ocaml-dev. 164s Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ... 164s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 164s Selecting previously unselected package ocaml-interp. 164s Preparing to unpack .../24-ocaml-interp_5.2.0-3_arm64.deb ... 164s Unpacking ocaml-interp (5.2.0-3) ... 165s Selecting previously unselected package libncurses-dev:arm64. 165s Preparing to unpack .../25-libncurses-dev_6.5-2_arm64.deb ... 165s Unpacking libncurses-dev:arm64 (6.5-2) ... 165s Selecting previously unselected package libzstd-dev:arm64. 165s Preparing to unpack .../26-libzstd-dev_1.5.6+dfsg-1_arm64.deb ... 165s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-1) ... 165s Selecting previously unselected package ocaml. 165s Preparing to unpack .../27-ocaml_5.2.0-3_arm64.deb ... 165s Unpacking ocaml (5.2.0-3) ... 165s Selecting previously unselected package libastring-ocaml-dev. 165s Preparing to unpack .../28-libastring-ocaml-dev_0.8.5-2build3_arm64.deb ... 165s Unpacking libastring-ocaml-dev (0.8.5-2build3) ... 165s Selecting previously unselected package libcmdliner-ocaml-dev. 165s Preparing to unpack .../29-libcmdliner-ocaml-dev_1.3.0-2build1_arm64.deb ... 165s Unpacking libcmdliner-ocaml-dev (1.3.0-2build1) ... 165s Selecting previously unselected package libfmt-ocaml. 165s Preparing to unpack .../30-libfmt-ocaml_0.9.0-3build3_arm64.deb ... 165s Unpacking libfmt-ocaml (0.9.0-3build3) ... 166s Selecting previously unselected package libfmt-ocaml-dev. 166s Preparing to unpack .../31-libfmt-ocaml-dev_0.9.0-3build3_arm64.deb ... 166s Unpacking libfmt-ocaml-dev (0.9.0-3build3) ... 166s Selecting previously unselected package libre-ocaml-dev. 166s Preparing to unpack .../32-libre-ocaml-dev_1.12.0+really1.11.0-1_arm64.deb ... 166s Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1) ... 166s Selecting previously unselected package libuutf-ocaml. 166s Preparing to unpack .../33-libuutf-ocaml_1.0.3-1build4_arm64.deb ... 166s Unpacking libuutf-ocaml (1.0.3-1build4) ... 166s Selecting previously unselected package libuutf-ocaml-dev. 166s Preparing to unpack .../34-libuutf-ocaml-dev_1.0.3-1build4_arm64.deb ... 166s Unpacking libuutf-ocaml-dev (1.0.3-1build4) ... 166s Selecting previously unselected package libalcotest-ocaml-dev. 166s Preparing to unpack .../35-libalcotest-ocaml-dev_1.8.0-1build3_arm64.deb ... 166s Unpacking libalcotest-ocaml-dev (1.8.0-1build3) ... 166s Selecting previously unselected package libcontainers-ocaml-dev. 166s Preparing to unpack .../36-libcontainers-ocaml-dev_3.14+dfsg-2_arm64.deb ... 166s Unpacking libcontainers-ocaml-dev (3.14+dfsg-2) ... 166s Selecting previously unselected package liboseq-ocaml-dev. 166s Preparing to unpack .../37-liboseq-ocaml-dev_0.5.1-2_arm64.deb ... 166s Unpacking liboseq-ocaml-dev (0.5.1-2) ... 166s Selecting previously unselected package libdscheck-ocaml-dev. 166s Preparing to unpack .../38-libdscheck-ocaml-dev_0.5.0-2_arm64.deb ... 166s Unpacking libdscheck-ocaml-dev (0.5.0-2) ... 166s Selecting previously unselected package ocaml-dune. 166s Preparing to unpack .../39-ocaml-dune_3.17.1-2_arm64.deb ... 166s Unpacking ocaml-dune (3.17.1-2) ... 166s Setting up libncurses-dev:arm64 (6.5-2) ... 166s Setting up libzstd-dev:arm64 (1.5.6+dfsg-1) ... 166s Setting up libgomp1:arm64 (14.2.0-12ubuntu1) ... 166s Setting up ocaml-dune (3.17.1-2) ... 166s Setting up libstdlib-ocaml (5.2.0-3) ... 166s Setting up libmpc3:arm64 (1.3.1-1build2) ... 166s Setting up ocaml-base (5.2.0-3) ... 166s Setting up libubsan1:arm64 (14.2.0-12ubuntu1) ... 166s Setting up libhwasan0:arm64 (14.2.0-12ubuntu1) ... 166s Setting up libasan8:arm64 (14.2.0-12ubuntu1) ... 166s Setting up libfmt-ocaml (0.9.0-3build3) ... 166s Setting up libtsan2:arm64 (14.2.0-12ubuntu1) ... 166s Setting up libisl23:arm64 (0.27-1) ... 166s Setting up libcc1-0:arm64 (14.2.0-12ubuntu1) ... 166s Setting up liblsan0:arm64 (14.2.0-12ubuntu1) ... 166s Setting up libitm1:arm64 (14.2.0-12ubuntu1) ... 166s Setting up libastring-ocaml (0.8.5-2build3) ... 166s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 166s Setting up libuutf-ocaml (1.0.3-1build4) ... 166s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 166s Setting up ocaml-interp (5.2.0-3) ... 166s Setting up cpp-14-aarch64-linux-gnu (14.2.0-12ubuntu1) ... 166s Setting up libgcc-14-dev:arm64 (14.2.0-12ubuntu1) ... 166s Setting up cpp-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ... 166s Setting up cpp-14 (14.2.0-12ubuntu1) ... 166s Setting up cpp (4:14.1.0-2ubuntu1) ... 166s Setting up gcc-14-aarch64-linux-gnu (14.2.0-12ubuntu1) ... 166s Setting up gcc-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ... 166s Setting up gcc-14 (14.2.0-12ubuntu1) ... 166s Setting up gcc (4:14.1.0-2ubuntu1) ... 166s Setting up ocaml (5.2.0-3) ... 166s Setting up libre-ocaml-dev (1.12.0+really1.11.0-1) ... 166s Setting up libcontainers-ocaml-dev (3.14+dfsg-2) ... 166s Setting up libcmdliner-ocaml-dev (1.3.0-2build1) ... 166s Setting up libastring-ocaml-dev (0.8.5-2build3) ... 166s Setting up liboseq-ocaml-dev (0.5.1-2) ... 166s Setting up libuutf-ocaml-dev (1.0.3-1build4) ... 166s Setting up libdscheck-ocaml-dev (0.5.0-2) ... 166s Setting up libfmt-ocaml-dev (0.9.0-3build3) ... 166s Setting up libalcotest-ocaml-dev (1.8.0-1build3) ... 166s Processing triggers for man-db (2.13.0-1) ... 168s Processing triggers for libc-bin (2.40-4ubuntu1) ... 169s autopkgtest [15:25:19]: test upstream: [----------------------- 171s (cd _build/default/tests && ./test_conditional_nested.exe) 171s 171s explored 8 interleavings and 35 states 171s (cd _build/default/tests && ./test_hb.exe) 171s 171s explored 5 interleavings and 21 states 171s traces: 5 171s (cd _build/default/tests && ./test_trace.exe) 171s 171s sequence 1 171s ---------------------------------------- 171s P0 P1 171s ---------------------------------------- 171s start 171s fetch_and_add a 171s start 171s fetch_and_add a 171s fetch_and_add b 171s ---------------------------------------- 171s 171s sequence 2 171s ---------------------------------------- 171s P0 P1 171s ---------------------------------------- 171s start 171s start 171s fetch_and_add a 171s fetch_and_add a 171s fetch_and_add b 171s ---------------------------------------- 171s 171s explored 2 interleavings and 9 states 171s ---- 171s (1,a,w),(0,a,w),(1,b,w) 171s (0,a,w),(1,a,w),(1,b,w) 171s ---- 171s (cd _build/default/tests && ./test_naive_counter.exe) 171s Testing `dscheck'. 171s This run has ID `6I3ZO0B9'. 171s 171s [OK] counter 0 naive. 171s [OK] counter 1 safe. 171s 171s Full test results in `/tmp/autopkgtest.7aTXio/build.sAk/src/_build/default/tests/_build/_tests/dscheck'. 171s Test Successful in 0.000s. 2 tests run. 171s (cd _build/default/tests && ./test_list.exe) 171s Testing `dscheck'. 171s This run has ID `53VJXWUB'. 171s 171s [OK] list 0 naive-1-domain. 171s [OK] list 1 naive-2-domains. 171s [OK] list 2 naive-8-domains. 171s [OK] list 3 safe. 171s 171s Full test results in `/tmp/autopkgtest.7aTXio/build.sAk/src/_build/default/tests/_build/_tests/dscheck'. 171s Test Successful in 0.034s. 4 tests run. 171s (cd _build/default/tests && ./test_conditional_ssb.exe) 171s 171s explored 7 interleavings and 65 states 171s (cd _build/default/tests && ./test_michael_scott_queue.exe) 171s Testing `michael_scott_queue_dscheck'. 171s This run has ID `MGUDY650'. 171s 171s [OK] basic 0 1-producer-1-consumer. 171s 171s Full test results in `/tmp/autopkgtest.7aTXio/build.sAk/src/_build/default/tests/_build/_tests/michael_scott_queue_dscheck'. 171s Test Successful in 0.004s. 1 test run. 171s autopkgtest [15:25:21]: test upstream: -----------------------] 172s upstream PASS 172s autopkgtest [15:25:22]: test upstream: - - - - - - - - - - results - - - - - - - - - - 172s autopkgtest [15:25:22]: @@@@@@@@@@@@@@@@@@@@ summary 172s upstream PASS 203s nova [W] Using flock in prodstack6-arm64 203s Creating nova instance adt-plucky-arm64-ocaml-dscheck-20250109-152230-juju-7f2275-prod-proposed-migration-environment-20-ba87cf9b-17a9-4226-9a81-27945f347f43 from image adt/ubuntu-plucky-arm64-server-20250109.img (UUID 8868f3bf-dba6-4a93-8f44-a25914eee44e)... 203s nova [W] Timed out waiting for 380eca86-bb69-4c33-b3f1-e49e1ef361ea to get deleted.