0s autopkgtest [11:54:28]: starting date and time: 2025-07-04 11:54:28+0000 0s autopkgtest [11:54:28]: git checkout: 508d4a25 a-v-ssh wait_for_ssh: demote "ssh connection failed" to a debug message 0s autopkgtest [11:54:28]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.upxiqrrz/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:ocaml-saturn --apt-upgrade ocaml-saturn --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=ocaml-saturn/1.0.0-2ubuntu3 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-s390x-7.secgroup --name adt-questing-s390x-ocaml-saturn-20250704-115428-juju-7f2275-prod-proposed-migration-environment-2-486698e1-3723-4a00-9614-f7d48163a78e --image adt/ubuntu-questing-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 4s Creating nova instance adt-questing-s390x-ocaml-saturn-20250704-115428-juju-7f2275-prod-proposed-migration-environment-2-486698e1-3723-4a00-9614-f7d48163a78e from image adt/ubuntu-questing-s390x-server-20250704.img (UUID 50a73d22-a960-4f3d-9307-e68249d165ed)... 111s autopkgtest [11:56:19]: testbed dpkg architecture: s390x 111s autopkgtest [11:56:19]: testbed apt version: 3.1.3 112s autopkgtest [11:56:20]: @@@@@@@@@@@@@@@@@@@@ test bed setup 112s autopkgtest [11:56:20]: testbed release detected to be: None 113s autopkgtest [11:56:21]: updating testbed package index (apt update) 114s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 115s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 115s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 115s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 116s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 116s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [245 kB] 116s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [31.9 kB] 116s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main s390x Packages [45.3 kB] 116s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x Packages [195 kB] 117s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/multiverse s390x Packages [4920 B] 117s Fetched 789 kB in 3s (238 kB/s) 118s Reading package lists... 118s autopkgtest [11:56:26]: upgrading testbed (apt dist-upgrade and autopurge) 119s Reading package lists... 119s Building dependency tree... 119s Reading state information... 119s Calculating upgrade... 119s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 119s Reading package lists... 119s Building dependency tree... 119s Reading state information... 119s Solving dependencies... 119s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 122s autopkgtest [11:56:30]: testbed running kernel: Linux 6.15.0-3-generic #3-Ubuntu SMP Wed Jun 4 07:31:50 UTC 2025 122s autopkgtest [11:56:30]: @@@@@@@@@@@@@@@@@@@@ apt-source ocaml-saturn 125s Get:1 http://ftpmaster.internal/ubuntu questing-proposed/universe ocaml-saturn 1.0.0-2ubuntu3 (dsc) [2673 B] 125s Get:2 http://ftpmaster.internal/ubuntu questing-proposed/universe ocaml-saturn 1.0.0-2ubuntu3 (tar) [77.9 kB] 125s Get:3 http://ftpmaster.internal/ubuntu questing-proposed/universe ocaml-saturn 1.0.0-2ubuntu3 (diff) [4184 B] 125s gpgv: Signature made Thu Jul 3 06:06:14 2025 UTC 125s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 125s gpgv: Can't check signature: No public key 125s dpkg-source: warning: cannot verify inline signature for ./ocaml-saturn_1.0.0-2ubuntu3.dsc: no acceptable signature found 125s autopkgtest [11:56:33]: testing package ocaml-saturn version 1.0.0-2ubuntu3 125s autopkgtest [11:56:33]: build not needed 126s autopkgtest [11:56:34]: test upstream: preparing testbed 126s Reading package lists... 126s Building dependency tree... 126s Reading state information... 126s Solving dependencies... 126s The following NEW packages will be installed: 126s cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-14 gcc-14-base 126s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libalcotest-ocaml-dev libasan8 126s libastring-ocaml libastring-ocaml-dev libbackoff-ocaml-dev 126s libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcc1-0 126s libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libcontainers-ocaml-dev 126s libcsexp-ocaml libcsexp-ocaml-dev libdomain-local-await-ocaml-dev 126s libdscheck-ocaml-dev libdune-ocaml-dev libev-dev libev4t64 libfindlib-ocaml 126s libfindlib-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libgcc-14-dev 126s libgen-ocaml libgen-ocaml-dev libgomp1 libgraphics-ocaml 126s libgraphics-ocaml-dev libisl23 libitm1 libjs-of-ocaml libjs-of-ocaml-dev 126s liblogs-ocaml liblogs-ocaml-dev liblwt-log-ocaml liblwt-log-ocaml-dev 127s liblwt-ocaml liblwt-ocaml-dev libmdx-ocaml libmdx-ocaml-dev 127s libmenhir-ocaml-dev libmpc3 libmtime-ocaml libmtime-ocaml-dev 127s libmulticore-bench-ocaml-dev libmulticore-magic-dscheck-ocaml-dev 127s libmulticore-magic-ocaml libmulticore-magic-ocaml-dev libncurses-dev 127s libocaml-compiler-libs-ocaml-dev libocaml-version-ocaml 127s libocaml-version-ocaml-dev libocplib-endian-ocaml libocplib-endian-ocaml-dev 127s liboseq-ocaml-dev libounit-ocaml-dev libppx-derivers-ocaml-dev 127s libppxlib-ocaml-dev libqcheck-core-ocaml libqcheck-core-ocaml-dev 127s libqcheck-multicoretests-util-ocaml-dev libqcheck-ocaml libqcheck-ocaml-dev 127s libqcheck-ounit-ocaml libqcheck-ounit-ocaml-dev libqcheck-stm-ocaml-dev 127s libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml 127s libreactivedata-ocaml-dev libresult-ocaml libresult-ocaml-dev 127s libsaturn-ocaml-dev libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml 127s libsexplib0-ocaml-dev libstdlib-ocaml libstdlib-ocaml-dev 127s libthread-table-ocaml-dev libtyxml-ocaml libtyxml-ocaml-dev libubsan1 127s libuutf-ocaml libuutf-ocaml-dev libyojson-ocaml libyojson-ocaml-dev 127s libzstd-dev ocaml ocaml-base ocaml-dune ocaml-findlib ocaml-interp 127s 0 upgraded, 103 newly installed, 0 to remove and 0 not upgraded. 127s Need to get 249 MB of archives. 127s After this operation, 711 MB of additional disk space will be used. 127s Get:1 http://ftpmaster.internal/ubuntu questing/main s390x gcc-14-base s390x 14.3.0-1ubuntu1 [55.8 kB] 127s Get:2 http://ftpmaster.internal/ubuntu questing/main s390x libisl23 s390x 0.27-1 [704 kB] 128s Get:3 http://ftpmaster.internal/ubuntu questing/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 128s Get:4 http://ftpmaster.internal/ubuntu questing/main s390x cpp-14-s390x-linux-gnu s390x 14.3.0-1ubuntu1 [9568 kB] 142s Get:5 http://ftpmaster.internal/ubuntu questing/main s390x cpp-14 s390x 14.3.0-1ubuntu1 [1028 B] 142s Get:6 http://ftpmaster.internal/ubuntu questing/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 142s Get:7 http://ftpmaster.internal/ubuntu questing/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 142s Get:8 http://ftpmaster.internal/ubuntu questing/main s390x libcc1-0 s390x 15.1.0-8ubuntu1 [49.9 kB] 142s Get:9 http://ftpmaster.internal/ubuntu questing/main s390x libgomp1 s390x 15.1.0-8ubuntu1 [154 kB] 142s Get:10 http://ftpmaster.internal/ubuntu questing/main s390x libitm1 s390x 15.1.0-8ubuntu1 [31.1 kB] 142s Get:11 http://ftpmaster.internal/ubuntu questing/main s390x libasan8 s390x 15.1.0-8ubuntu1 [2971 kB] 147s Get:12 http://ftpmaster.internal/ubuntu questing/main s390x libubsan1 s390x 15.1.0-8ubuntu1 [1211 kB] 148s Get:13 http://ftpmaster.internal/ubuntu questing/main s390x libgcc-14-dev s390x 14.3.0-1ubuntu1 [1036 kB] 150s Get:14 http://ftpmaster.internal/ubuntu questing/main s390x gcc-14-s390x-linux-gnu s390x 14.3.0-1ubuntu1 [18.7 MB] 183s Get:15 http://ftpmaster.internal/ubuntu questing/main s390x gcc-14 s390x 14.3.0-1ubuntu1 [538 kB] 184s Get:16 http://ftpmaster.internal/ubuntu questing/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 184s Get:17 http://ftpmaster.internal/ubuntu questing/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 184s Get:18 http://ftpmaster.internal/ubuntu questing/universe s390x libstdlib-ocaml s390x 5.3.0-3 [438 kB] 185s Get:19 http://ftpmaster.internal/ubuntu questing/universe s390x ocaml-base s390x 5.3.0-3 [329 kB] 186s Get:20 http://ftpmaster.internal/ubuntu questing/universe s390x libastring-ocaml s390x 0.8.5-2build5 [200 kB] 186s Get:21 http://ftpmaster.internal/ubuntu questing/universe s390x libstdlib-ocaml-dev s390x 5.3.0-3 [7839 kB] 202s Get:22 http://ftpmaster.internal/ubuntu questing/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-3 [47.5 MB] 271s Get:23 http://ftpmaster.internal/ubuntu questing/universe s390x ocaml-interp s390x 5.3.0-3 [8365 kB] 281s Get:24 http://ftpmaster.internal/ubuntu questing/main s390x libncurses-dev s390x 6.5+20250216-2 [407 kB] 281s Get:25 http://ftpmaster.internal/ubuntu questing/main s390x libzstd-dev s390x 1.5.7+dfsg-1build1 [414 kB] 282s Get:26 http://ftpmaster.internal/ubuntu questing/universe s390x ocaml s390x 5.3.0-3 [20.6 MB] 306s Get:27 http://ftpmaster.internal/ubuntu questing/universe s390x libastring-ocaml-dev s390x 0.8.5-2build5 [168 kB] 307s Get:28 http://ftpmaster.internal/ubuntu questing/universe s390x libcmdliner-ocaml-dev s390x 1.3.0-2build3 [555 kB] 307s Get:29 http://ftpmaster.internal/ubuntu questing/universe s390x libfmt-ocaml s390x 0.10.0-1build1 [142 kB] 307s Get:30 http://ftpmaster.internal/ubuntu questing/universe s390x libfmt-ocaml-dev s390x 0.10.0-1build1 [130 kB] 308s Get:31 http://ftpmaster.internal/ubuntu questing/universe s390x libre-ocaml-dev s390x 1.12.0+really1.11.0-1build2 [1306 kB] 309s Get:32 http://ftpmaster.internal/ubuntu questing/universe s390x libuutf-ocaml s390x 1.0.4-1build2 [77.1 kB] 309s Get:33 http://ftpmaster.internal/ubuntu questing/universe s390x libuutf-ocaml-dev s390x 1.0.4-1build2 [694 kB] 310s Get:34 http://ftpmaster.internal/ubuntu questing/universe s390x libalcotest-ocaml-dev s390x 1.8.0-2build5 [1196 kB] 312s Get:35 http://ftpmaster.internal/ubuntu questing/universe s390x libbackoff-ocaml-dev s390x 0.1.1-1build2 [30.6 kB] 312s Get:36 http://ftpmaster.internal/ubuntu questing/universe s390x libcamlp-streams-ocaml s390x 5.0.1-3build6 [46.1 kB] 312s Get:37 http://ftpmaster.internal/ubuntu questing/universe s390x libcamlp-streams-ocaml-dev s390x 5.0.1-3build6 [126 kB] 312s Get:38 http://ftpmaster.internal/ubuntu questing/universe s390x libcontainers-ocaml-dev s390x 3.15+dfsg-1build2 [5875 kB] 320s Get:39 http://ftpmaster.internal/ubuntu questing/universe s390x libcsexp-ocaml s390x 1.5.2-4build4 [43.3 kB] 320s Get:40 http://ftpmaster.internal/ubuntu questing/universe s390x libcsexp-ocaml-dev s390x 1.5.2-4build4 [109 kB] 320s Get:41 http://ftpmaster.internal/ubuntu questing/universe s390x libthread-table-ocaml-dev s390x 1.0.0-1build2 [72.1 kB] 320s Get:42 http://ftpmaster.internal/ubuntu questing/universe s390x libdomain-local-await-ocaml-dev s390x 1.0.1-1build2 [59.2 kB] 320s Get:43 http://ftpmaster.internal/ubuntu questing/universe s390x liboseq-ocaml-dev s390x 0.5.1-2build2 [430 kB] 321s Get:44 http://ftpmaster.internal/ubuntu questing/universe s390x libdscheck-ocaml-dev s390x 0.5.0-2build3 [305 kB] 321s Get:45 http://ftpmaster.internal/ubuntu questing/universe s390x libdune-ocaml-dev s390x 3.17.2-1build1 [6456 kB] 329s Get:46 http://ftpmaster.internal/ubuntu questing/universe s390x libev4t64 s390x 1:4.33-2.1build1 [32.0 kB] 329s Get:47 http://ftpmaster.internal/ubuntu questing/universe s390x libfindlib-ocaml s390x 1.9.8-1build1 [225 kB] 330s Get:48 http://ftpmaster.internal/ubuntu questing/universe s390x libfindlib-ocaml-dev s390x 1.9.8-1build1 [187 kB] 330s Get:49 http://ftpmaster.internal/ubuntu questing/universe s390x libgen-ocaml s390x 1.1-1build5 [236 kB] 330s Get:50 http://ftpmaster.internal/ubuntu questing/universe s390x libgen-ocaml-dev s390x 1.1-1build5 [587 kB] 331s Get:51 http://ftpmaster.internal/ubuntu questing/universe s390x libgraphics-ocaml s390x 5.1.2-3build6 [55.2 kB] 331s Get:52 http://ftpmaster.internal/ubuntu questing/universe s390x libgraphics-ocaml-dev s390x 5.1.2-3build6 [126 kB] 332s Get:53 http://ftpmaster.internal/ubuntu questing/universe s390x libocplib-endian-ocaml s390x 1.2-4build3 [105 kB] 332s Get:54 http://ftpmaster.internal/ubuntu questing/universe s390x libreact-ocaml s390x 1.2.2-1build5 [209 kB] 332s Get:55 http://ftpmaster.internal/ubuntu questing/universe s390x libsexplib0-ocaml s390x 0.17.0-1build2 [135 kB] 333s Get:56 http://ftpmaster.internal/ubuntu questing/universe s390x liblwt-ocaml s390x 5.9.1-1build1 [1015 kB] 335s Get:57 http://ftpmaster.internal/ubuntu questing/universe s390x liblwt-log-ocaml s390x 1.1.2-4build13 [93.3 kB] 335s Get:58 http://ftpmaster.internal/ubuntu questing/universe s390x libreactivedata-ocaml s390x 0.3-4build5 [93.3 kB] 336s Get:59 http://ftpmaster.internal/ubuntu questing/universe s390x libsedlex-ocaml s390x 3.4-1build1 [299 kB] 336s Get:60 http://ftpmaster.internal/ubuntu questing/universe s390x libtyxml-ocaml s390x 4.6.0-1build6 [530 kB] 337s Get:61 http://ftpmaster.internal/ubuntu questing/universe s390x libyojson-ocaml s390x 2.2.2-1build2 [550 kB] 338s Get:62 http://ftpmaster.internal/ubuntu questing/universe s390x libjs-of-ocaml s390x 5.9.1-1build7 [6974 kB] 347s Get:63 http://ftpmaster.internal/ubuntu questing/universe s390x libev-dev s390x 1:4.33-2.1build1 [124 kB] 348s Get:64 http://ftpmaster.internal/ubuntu questing/universe s390x libocaml-compiler-libs-ocaml-dev s390x 0.17.0-1build2 [170 kB] 348s Get:65 http://ftpmaster.internal/ubuntu questing/universe s390x libocplib-endian-ocaml-dev s390x 1.2-4build3 [268 kB] 348s Get:66 http://ftpmaster.internal/ubuntu questing/universe s390x libppx-derivers-ocaml-dev s390x 1.2.1-4build5 [20.4 kB] 348s Get:67 http://ftpmaster.internal/ubuntu questing/universe s390x libsexplib0-ocaml-dev s390x 0.17.0-1build2 [356 kB] 349s Get:68 http://ftpmaster.internal/ubuntu questing/universe s390x libppxlib-ocaml-dev s390x 0.35.0-1build1 [22.8 MB] 368s Get:69 http://ftpmaster.internal/ubuntu questing/universe s390x libreact-ocaml-dev s390x 1.2.2-1build5 [168 kB] 368s Get:70 http://ftpmaster.internal/ubuntu questing/universe s390x liblwt-ocaml-dev s390x 5.9.1-1build1 [7144 kB] 373s Get:71 http://ftpmaster.internal/ubuntu questing/universe s390x liblwt-log-ocaml-dev s390x 1.1.2-4build13 [252 kB] 374s Get:72 http://ftpmaster.internal/ubuntu questing/universe s390x libmenhir-ocaml-dev s390x 20240715+ds-1build2 [896 kB] 375s Get:73 http://ftpmaster.internal/ubuntu questing/universe s390x libreactivedata-ocaml-dev s390x 0.3-4build5 [218 kB] 376s Get:74 http://ftpmaster.internal/ubuntu questing/universe s390x libsedlex-ocaml-dev s390x 3.4-1build1 [5328 kB] 383s Get:75 http://ftpmaster.internal/ubuntu questing/universe s390x libtyxml-ocaml-dev s390x 4.6.0-1build6 [2500 kB] 386s Get:76 http://ftpmaster.internal/ubuntu questing/universe s390x libyojson-ocaml-dev s390x 2.2.2-1build2 [1537 kB] 388s Get:77 http://ftpmaster.internal/ubuntu questing/universe s390x libjs-of-ocaml-dev s390x 5.9.1-1build7 [27.9 MB] 419s Get:78 http://ftpmaster.internal/ubuntu questing/universe s390x liblogs-ocaml s390x 0.8.0-1build2 [91.9 kB] 419s Get:79 http://ftpmaster.internal/ubuntu questing/universe s390x liblogs-ocaml-dev s390x 0.8.0-1build2 [104 kB] 419s Get:80 http://ftpmaster.internal/ubuntu questing/universe s390x libocaml-version-ocaml s390x 4.0.0-1build1 [64.9 kB] 419s Get:81 http://ftpmaster.internal/ubuntu questing/universe s390x libresult-ocaml s390x 1.5-4build4 [7960 B] 419s Get:82 http://ftpmaster.internal/ubuntu questing/universe s390x libmdx-ocaml s390x 2.5.0-3build4 [13.4 MB] 432s Get:83 http://ftpmaster.internal/ubuntu questing/universe s390x ocaml-findlib s390x 1.9.8-1build1 [677 kB] 432s Get:84 http://ftpmaster.internal/ubuntu questing/universe s390x libocaml-version-ocaml-dev s390x 4.0.0-1build1 [168 kB] 433s Get:85 http://ftpmaster.internal/ubuntu questing/universe s390x libresult-ocaml-dev s390x 1.5-4build4 [12.6 kB] 433s Get:86 http://ftpmaster.internal/ubuntu questing/universe s390x libmdx-ocaml-dev s390x 2.5.0-3build4 [2242 kB] 435s Get:87 http://ftpmaster.internal/ubuntu questing/universe s390x libmtime-ocaml s390x 2.1.0-2build2 [36.9 kB] 435s Get:88 http://ftpmaster.internal/ubuntu questing/universe s390x libmtime-ocaml-dev s390x 2.1.0-2build2 [45.6 kB] 435s Get:89 http://ftpmaster.internal/ubuntu questing/universe s390x libmulticore-magic-ocaml s390x 2.3.1-2build2 [3708 B] 435s Get:90 http://ftpmaster.internal/ubuntu questing/universe s390x libmulticore-magic-ocaml-dev s390x 2.3.1-2build2 [134 kB] 436s Get:91 http://ftpmaster.internal/ubuntu questing/universe s390x libmulticore-bench-ocaml-dev s390x 0.1.7-1build2 [439 kB] 436s Get:92 http://ftpmaster.internal/ubuntu questing/universe s390x libmulticore-magic-dscheck-ocaml-dev s390x 2.3.1-2build2 [42.4 kB] 436s Get:93 http://ftpmaster.internal/ubuntu questing/universe s390x libounit-ocaml-dev s390x 2.2.7-2build5 [1406 kB] 437s Get:94 http://ftpmaster.internal/ubuntu questing/universe s390x libqcheck-core-ocaml s390x 0.25-1build2 [630 kB] 438s Get:95 http://ftpmaster.internal/ubuntu questing/universe s390x libqcheck-core-ocaml-dev s390x 0.25-1build2 [1608 kB] 439s Get:96 http://ftpmaster.internal/ubuntu questing/universe s390x libqcheck-multicoretests-util-ocaml-dev s390x 0.7-3build2 [216 kB] 440s Get:97 http://ftpmaster.internal/ubuntu questing/universe s390x libqcheck-ounit-ocaml s390x 0.25-1build2 [41.8 kB] 440s Get:98 http://ftpmaster.internal/ubuntu questing/universe s390x libqcheck-ocaml s390x 0.25-1build2 [21.9 kB] 440s Get:99 http://ftpmaster.internal/ubuntu questing/universe s390x libqcheck-ounit-ocaml-dev s390x 0.25-1build2 [82.1 kB] 440s Get:100 http://ftpmaster.internal/ubuntu questing/universe s390x libqcheck-ocaml-dev s390x 0.25-1build2 [48.1 kB] 440s Get:101 http://ftpmaster.internal/ubuntu questing/universe s390x libqcheck-stm-ocaml-dev s390x 0.7-3build2 [333 kB] 440s Get:102 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x libsaturn-ocaml-dev s390x 1.0.0-2ubuntu3 [1187 kB] 441s Get:103 http://ftpmaster.internal/ubuntu questing/universe s390x ocaml-dune s390x 3.17.2-1build1 [5649 kB] 447s Fetched 249 MB in 5min 20s (777 kB/s) 447s Selecting previously unselected package gcc-14-base:s390x. 447s (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 ... 82480 files and directories currently installed.) 447s Preparing to unpack .../000-gcc-14-base_14.3.0-1ubuntu1_s390x.deb ... 447s Unpacking gcc-14-base:s390x (14.3.0-1ubuntu1) ... 447s Selecting previously unselected package libisl23:s390x. 447s Preparing to unpack .../001-libisl23_0.27-1_s390x.deb ... 447s Unpacking libisl23:s390x (0.27-1) ... 447s Selecting previously unselected package libmpc3:s390x. 447s Preparing to unpack .../002-libmpc3_1.3.1-1build2_s390x.deb ... 447s Unpacking libmpc3:s390x (1.3.1-1build2) ... 447s Selecting previously unselected package cpp-14-s390x-linux-gnu. 447s Preparing to unpack .../003-cpp-14-s390x-linux-gnu_14.3.0-1ubuntu1_s390x.deb ... 447s Unpacking cpp-14-s390x-linux-gnu (14.3.0-1ubuntu1) ... 447s Selecting previously unselected package cpp-14. 447s Preparing to unpack .../004-cpp-14_14.3.0-1ubuntu1_s390x.deb ... 447s Unpacking cpp-14 (14.3.0-1ubuntu1) ... 447s Selecting previously unselected package cpp-s390x-linux-gnu. 447s Preparing to unpack .../005-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 447s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 447s Selecting previously unselected package cpp. 447s Preparing to unpack .../006-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 447s Unpacking cpp (4:14.2.0-1ubuntu1) ... 447s Selecting previously unselected package libcc1-0:s390x. 447s Preparing to unpack .../007-libcc1-0_15.1.0-8ubuntu1_s390x.deb ... 447s Unpacking libcc1-0:s390x (15.1.0-8ubuntu1) ... 447s Selecting previously unselected package libgomp1:s390x. 447s Preparing to unpack .../008-libgomp1_15.1.0-8ubuntu1_s390x.deb ... 447s Unpacking libgomp1:s390x (15.1.0-8ubuntu1) ... 447s Selecting previously unselected package libitm1:s390x. 447s Preparing to unpack .../009-libitm1_15.1.0-8ubuntu1_s390x.deb ... 447s Unpacking libitm1:s390x (15.1.0-8ubuntu1) ... 447s Selecting previously unselected package libasan8:s390x. 447s Preparing to unpack .../010-libasan8_15.1.0-8ubuntu1_s390x.deb ... 447s Unpacking libasan8:s390x (15.1.0-8ubuntu1) ... 448s Selecting previously unselected package libubsan1:s390x. 448s Preparing to unpack .../011-libubsan1_15.1.0-8ubuntu1_s390x.deb ... 448s Unpacking libubsan1:s390x (15.1.0-8ubuntu1) ... 448s Selecting previously unselected package libgcc-14-dev:s390x. 448s Preparing to unpack .../012-libgcc-14-dev_14.3.0-1ubuntu1_s390x.deb ... 448s Unpacking libgcc-14-dev:s390x (14.3.0-1ubuntu1) ... 448s Selecting previously unselected package gcc-14-s390x-linux-gnu. 448s Preparing to unpack .../013-gcc-14-s390x-linux-gnu_14.3.0-1ubuntu1_s390x.deb ... 448s Unpacking gcc-14-s390x-linux-gnu (14.3.0-1ubuntu1) ... 448s Selecting previously unselected package gcc-14. 448s Preparing to unpack .../014-gcc-14_14.3.0-1ubuntu1_s390x.deb ... 448s Unpacking gcc-14 (14.3.0-1ubuntu1) ... 448s Selecting previously unselected package gcc-s390x-linux-gnu. 448s Preparing to unpack .../015-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 448s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 448s Selecting previously unselected package gcc. 448s Preparing to unpack .../016-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 448s Unpacking gcc (4:14.2.0-1ubuntu1) ... 448s Selecting previously unselected package libstdlib-ocaml. 448s Preparing to unpack .../017-libstdlib-ocaml_5.3.0-3_s390x.deb ... 448s Unpacking libstdlib-ocaml (5.3.0-3) ... 448s Selecting previously unselected package ocaml-base. 448s Preparing to unpack .../018-ocaml-base_5.3.0-3_s390x.deb ... 448s Unpacking ocaml-base (5.3.0-3) ... 448s Selecting previously unselected package libastring-ocaml. 448s Preparing to unpack .../019-libastring-ocaml_0.8.5-2build5_s390x.deb ... 448s Unpacking libastring-ocaml (0.8.5-2build5) ... 448s Selecting previously unselected package libstdlib-ocaml-dev. 448s Preparing to unpack .../020-libstdlib-ocaml-dev_5.3.0-3_s390x.deb ... 448s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 448s Selecting previously unselected package libcompiler-libs-ocaml-dev. 448s Preparing to unpack .../021-libcompiler-libs-ocaml-dev_5.3.0-3_s390x.deb ... 448s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 448s Selecting previously unselected package ocaml-interp. 448s Preparing to unpack .../022-ocaml-interp_5.3.0-3_s390x.deb ... 448s Unpacking ocaml-interp (5.3.0-3) ... 448s Selecting previously unselected package libncurses-dev:s390x. 448s Preparing to unpack .../023-libncurses-dev_6.5+20250216-2_s390x.deb ... 448s Unpacking libncurses-dev:s390x (6.5+20250216-2) ... 448s Selecting previously unselected package libzstd-dev:s390x. 448s Preparing to unpack .../024-libzstd-dev_1.5.7+dfsg-1build1_s390x.deb ... 448s Unpacking libzstd-dev:s390x (1.5.7+dfsg-1build1) ... 448s Selecting previously unselected package ocaml. 448s Preparing to unpack .../025-ocaml_5.3.0-3_s390x.deb ... 448s Unpacking ocaml (5.3.0-3) ... 449s Selecting previously unselected package libastring-ocaml-dev. 449s Preparing to unpack .../026-libastring-ocaml-dev_0.8.5-2build5_s390x.deb ... 449s Unpacking libastring-ocaml-dev (0.8.5-2build5) ... 449s Selecting previously unselected package libcmdliner-ocaml-dev. 449s Preparing to unpack .../027-libcmdliner-ocaml-dev_1.3.0-2build3_s390x.deb ... 449s Unpacking libcmdliner-ocaml-dev (1.3.0-2build3) ... 449s Selecting previously unselected package libfmt-ocaml. 449s Preparing to unpack .../028-libfmt-ocaml_0.10.0-1build1_s390x.deb ... 449s Unpacking libfmt-ocaml (0.10.0-1build1) ... 449s Selecting previously unselected package libfmt-ocaml-dev. 449s Preparing to unpack .../029-libfmt-ocaml-dev_0.10.0-1build1_s390x.deb ... 449s Unpacking libfmt-ocaml-dev (0.10.0-1build1) ... 449s Selecting previously unselected package libre-ocaml-dev. 449s Preparing to unpack .../030-libre-ocaml-dev_1.12.0+really1.11.0-1build2_s390x.deb ... 449s Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1build2) ... 449s Selecting previously unselected package libuutf-ocaml. 449s Preparing to unpack .../031-libuutf-ocaml_1.0.4-1build2_s390x.deb ... 449s Unpacking libuutf-ocaml (1.0.4-1build2) ... 449s Selecting previously unselected package libuutf-ocaml-dev. 449s Preparing to unpack .../032-libuutf-ocaml-dev_1.0.4-1build2_s390x.deb ... 449s Unpacking libuutf-ocaml-dev (1.0.4-1build2) ... 449s Selecting previously unselected package libalcotest-ocaml-dev. 449s Preparing to unpack .../033-libalcotest-ocaml-dev_1.8.0-2build5_s390x.deb ... 449s Unpacking libalcotest-ocaml-dev (1.8.0-2build5) ... 449s Selecting previously unselected package libbackoff-ocaml-dev. 449s Preparing to unpack .../034-libbackoff-ocaml-dev_0.1.1-1build2_s390x.deb ... 449s Unpacking libbackoff-ocaml-dev (0.1.1-1build2) ... 449s Selecting previously unselected package libcamlp-streams-ocaml. 449s Preparing to unpack .../035-libcamlp-streams-ocaml_5.0.1-3build6_s390x.deb ... 449s Unpacking libcamlp-streams-ocaml (5.0.1-3build6) ... 449s Selecting previously unselected package libcamlp-streams-ocaml-dev. 449s Preparing to unpack .../036-libcamlp-streams-ocaml-dev_5.0.1-3build6_s390x.deb ... 449s Unpacking libcamlp-streams-ocaml-dev (5.0.1-3build6) ... 449s Selecting previously unselected package libcontainers-ocaml-dev. 449s Preparing to unpack .../037-libcontainers-ocaml-dev_3.15+dfsg-1build2_s390x.deb ... 449s Unpacking libcontainers-ocaml-dev (3.15+dfsg-1build2) ... 449s Selecting previously unselected package libcsexp-ocaml. 449s Preparing to unpack .../038-libcsexp-ocaml_1.5.2-4build4_s390x.deb ... 449s Unpacking libcsexp-ocaml (1.5.2-4build4) ... 449s Selecting previously unselected package libcsexp-ocaml-dev. 449s Preparing to unpack .../039-libcsexp-ocaml-dev_1.5.2-4build4_s390x.deb ... 449s Unpacking libcsexp-ocaml-dev (1.5.2-4build4) ... 449s Selecting previously unselected package libthread-table-ocaml-dev. 449s Preparing to unpack .../040-libthread-table-ocaml-dev_1.0.0-1build2_s390x.deb ... 449s Unpacking libthread-table-ocaml-dev (1.0.0-1build2) ... 449s Selecting previously unselected package libdomain-local-await-ocaml-dev. 449s Preparing to unpack .../041-libdomain-local-await-ocaml-dev_1.0.1-1build2_s390x.deb ... 449s Unpacking libdomain-local-await-ocaml-dev (1.0.1-1build2) ... 449s Selecting previously unselected package liboseq-ocaml-dev. 449s Preparing to unpack .../042-liboseq-ocaml-dev_0.5.1-2build2_s390x.deb ... 449s Unpacking liboseq-ocaml-dev (0.5.1-2build2) ... 449s Selecting previously unselected package libdscheck-ocaml-dev. 449s Preparing to unpack .../043-libdscheck-ocaml-dev_0.5.0-2build3_s390x.deb ... 449s Unpacking libdscheck-ocaml-dev (0.5.0-2build3) ... 449s Selecting previously unselected package libdune-ocaml-dev. 449s Preparing to unpack .../044-libdune-ocaml-dev_3.17.2-1build1_s390x.deb ... 449s Unpacking libdune-ocaml-dev (3.17.2-1build1) ... 449s Selecting previously unselected package libev4t64:s390x. 449s Preparing to unpack .../045-libev4t64_1%3a4.33-2.1build1_s390x.deb ... 449s Unpacking libev4t64:s390x (1:4.33-2.1build1) ... 449s Selecting previously unselected package libfindlib-ocaml. 449s Preparing to unpack .../046-libfindlib-ocaml_1.9.8-1build1_s390x.deb ... 449s Unpacking libfindlib-ocaml (1.9.8-1build1) ... 449s Selecting previously unselected package libfindlib-ocaml-dev. 449s Preparing to unpack .../047-libfindlib-ocaml-dev_1.9.8-1build1_s390x.deb ... 449s Unpacking libfindlib-ocaml-dev (1.9.8-1build1) ... 449s Selecting previously unselected package libgen-ocaml. 449s Preparing to unpack .../048-libgen-ocaml_1.1-1build5_s390x.deb ... 449s Unpacking libgen-ocaml (1.1-1build5) ... 449s Selecting previously unselected package libgen-ocaml-dev. 449s Preparing to unpack .../049-libgen-ocaml-dev_1.1-1build5_s390x.deb ... 449s Unpacking libgen-ocaml-dev (1.1-1build5) ... 449s Selecting previously unselected package libgraphics-ocaml. 449s Preparing to unpack .../050-libgraphics-ocaml_5.1.2-3build6_s390x.deb ... 449s Unpacking libgraphics-ocaml (5.1.2-3build6) ... 449s Selecting previously unselected package libgraphics-ocaml-dev. 449s Preparing to unpack .../051-libgraphics-ocaml-dev_5.1.2-3build6_s390x.deb ... 449s Unpacking libgraphics-ocaml-dev (5.1.2-3build6) ... 449s Selecting previously unselected package libocplib-endian-ocaml. 449s Preparing to unpack .../052-libocplib-endian-ocaml_1.2-4build3_s390x.deb ... 449s Unpacking libocplib-endian-ocaml (1.2-4build3) ... 449s Selecting previously unselected package libreact-ocaml. 449s Preparing to unpack .../053-libreact-ocaml_1.2.2-1build5_s390x.deb ... 449s Unpacking libreact-ocaml (1.2.2-1build5) ... 449s Selecting previously unselected package libsexplib0-ocaml. 449s Preparing to unpack .../054-libsexplib0-ocaml_0.17.0-1build2_s390x.deb ... 449s Unpacking libsexplib0-ocaml (0.17.0-1build2) ... 449s Selecting previously unselected package liblwt-ocaml. 449s Preparing to unpack .../055-liblwt-ocaml_5.9.1-1build1_s390x.deb ... 449s Unpacking liblwt-ocaml (5.9.1-1build1) ... 449s Selecting previously unselected package liblwt-log-ocaml. 449s Preparing to unpack .../056-liblwt-log-ocaml_1.1.2-4build13_s390x.deb ... 449s Unpacking liblwt-log-ocaml (1.1.2-4build13) ... 449s Selecting previously unselected package libreactivedata-ocaml. 449s Preparing to unpack .../057-libreactivedata-ocaml_0.3-4build5_s390x.deb ... 449s Unpacking libreactivedata-ocaml (0.3-4build5) ... 449s Selecting previously unselected package libsedlex-ocaml. 449s Preparing to unpack .../058-libsedlex-ocaml_3.4-1build1_s390x.deb ... 449s Unpacking libsedlex-ocaml (3.4-1build1) ... 449s Selecting previously unselected package libtyxml-ocaml. 449s Preparing to unpack .../059-libtyxml-ocaml_4.6.0-1build6_s390x.deb ... 449s Unpacking libtyxml-ocaml (4.6.0-1build6) ... 449s Selecting previously unselected package libyojson-ocaml. 449s Preparing to unpack .../060-libyojson-ocaml_2.2.2-1build2_s390x.deb ... 449s Unpacking libyojson-ocaml (2.2.2-1build2) ... 449s Selecting previously unselected package libjs-of-ocaml. 449s Preparing to unpack .../061-libjs-of-ocaml_5.9.1-1build7_s390x.deb ... 449s Unpacking libjs-of-ocaml (5.9.1-1build7) ... 450s Selecting previously unselected package libev-dev:s390x. 450s Preparing to unpack .../062-libev-dev_1%3a4.33-2.1build1_s390x.deb ... 450s Unpacking libev-dev:s390x (1:4.33-2.1build1) ... 450s Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. 450s Preparing to unpack .../063-libocaml-compiler-libs-ocaml-dev_0.17.0-1build2_s390x.deb ... 450s Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1build2) ... 450s Selecting previously unselected package libocplib-endian-ocaml-dev. 450s Preparing to unpack .../064-libocplib-endian-ocaml-dev_1.2-4build3_s390x.deb ... 450s Unpacking libocplib-endian-ocaml-dev (1.2-4build3) ... 450s Selecting previously unselected package libppx-derivers-ocaml-dev. 450s Preparing to unpack .../065-libppx-derivers-ocaml-dev_1.2.1-4build5_s390x.deb ... 450s Unpacking libppx-derivers-ocaml-dev (1.2.1-4build5) ... 450s Selecting previously unselected package libsexplib0-ocaml-dev. 450s Preparing to unpack .../066-libsexplib0-ocaml-dev_0.17.0-1build2_s390x.deb ... 450s Unpacking libsexplib0-ocaml-dev (0.17.0-1build2) ... 450s Selecting previously unselected package libppxlib-ocaml-dev. 450s Preparing to unpack .../067-libppxlib-ocaml-dev_0.35.0-1build1_s390x.deb ... 450s Unpacking libppxlib-ocaml-dev (0.35.0-1build1) ... 450s Selecting previously unselected package libreact-ocaml-dev. 450s Preparing to unpack .../068-libreact-ocaml-dev_1.2.2-1build5_s390x.deb ... 450s Unpacking libreact-ocaml-dev (1.2.2-1build5) ... 450s Selecting previously unselected package liblwt-ocaml-dev. 450s Preparing to unpack .../069-liblwt-ocaml-dev_5.9.1-1build1_s390x.deb ... 450s Unpacking liblwt-ocaml-dev (5.9.1-1build1) ... 450s Selecting previously unselected package liblwt-log-ocaml-dev. 450s Preparing to unpack .../070-liblwt-log-ocaml-dev_1.1.2-4build13_s390x.deb ... 450s Unpacking liblwt-log-ocaml-dev (1.1.2-4build13) ... 450s Selecting previously unselected package libmenhir-ocaml-dev. 450s Preparing to unpack .../071-libmenhir-ocaml-dev_20240715+ds-1build2_s390x.deb ... 450s Unpacking libmenhir-ocaml-dev (20240715+ds-1build2) ... 450s Selecting previously unselected package libreactivedata-ocaml-dev. 450s Preparing to unpack .../072-libreactivedata-ocaml-dev_0.3-4build5_s390x.deb ... 450s Unpacking libreactivedata-ocaml-dev (0.3-4build5) ... 450s Selecting previously unselected package libsedlex-ocaml-dev. 450s Preparing to unpack .../073-libsedlex-ocaml-dev_3.4-1build1_s390x.deb ... 450s Unpacking libsedlex-ocaml-dev (3.4-1build1) ... 450s Selecting previously unselected package libtyxml-ocaml-dev. 450s Preparing to unpack .../074-libtyxml-ocaml-dev_4.6.0-1build6_s390x.deb ... 450s Unpacking libtyxml-ocaml-dev (4.6.0-1build6) ... 450s Selecting previously unselected package libyojson-ocaml-dev. 450s Preparing to unpack .../075-libyojson-ocaml-dev_2.2.2-1build2_s390x.deb ... 450s Unpacking libyojson-ocaml-dev (2.2.2-1build2) ... 450s Selecting previously unselected package libjs-of-ocaml-dev. 450s Preparing to unpack .../076-libjs-of-ocaml-dev_5.9.1-1build7_s390x.deb ... 450s Unpacking libjs-of-ocaml-dev (5.9.1-1build7) ... 450s Selecting previously unselected package liblogs-ocaml. 450s Preparing to unpack .../077-liblogs-ocaml_0.8.0-1build2_s390x.deb ... 450s Unpacking liblogs-ocaml (0.8.0-1build2) ... 450s Selecting previously unselected package liblogs-ocaml-dev. 450s Preparing to unpack .../078-liblogs-ocaml-dev_0.8.0-1build2_s390x.deb ... 450s Unpacking liblogs-ocaml-dev (0.8.0-1build2) ... 450s Selecting previously unselected package libocaml-version-ocaml. 450s Preparing to unpack .../079-libocaml-version-ocaml_4.0.0-1build1_s390x.deb ... 450s Unpacking libocaml-version-ocaml (4.0.0-1build1) ... 450s Selecting previously unselected package libresult-ocaml. 450s Preparing to unpack .../080-libresult-ocaml_1.5-4build4_s390x.deb ... 450s Unpacking libresult-ocaml (1.5-4build4) ... 450s Selecting previously unselected package libmdx-ocaml. 450s Preparing to unpack .../081-libmdx-ocaml_2.5.0-3build4_s390x.deb ... 450s Unpacking libmdx-ocaml (2.5.0-3build4) ... 451s Selecting previously unselected package ocaml-findlib. 451s Preparing to unpack .../082-ocaml-findlib_1.9.8-1build1_s390x.deb ... 451s Unpacking ocaml-findlib (1.9.8-1build1) ... 451s Selecting previously unselected package libocaml-version-ocaml-dev. 451s Preparing to unpack .../083-libocaml-version-ocaml-dev_4.0.0-1build1_s390x.deb ... 451s Unpacking libocaml-version-ocaml-dev (4.0.0-1build1) ... 451s Selecting previously unselected package libresult-ocaml-dev. 451s Preparing to unpack .../084-libresult-ocaml-dev_1.5-4build4_s390x.deb ... 451s Unpacking libresult-ocaml-dev (1.5-4build4) ... 451s Selecting previously unselected package libmdx-ocaml-dev. 451s Preparing to unpack .../085-libmdx-ocaml-dev_2.5.0-3build4_s390x.deb ... 451s Unpacking libmdx-ocaml-dev (2.5.0-3build4) ... 451s Selecting previously unselected package libmtime-ocaml. 451s Preparing to unpack .../086-libmtime-ocaml_2.1.0-2build2_s390x.deb ... 451s Unpacking libmtime-ocaml (2.1.0-2build2) ... 451s Selecting previously unselected package libmtime-ocaml-dev. 451s Preparing to unpack .../087-libmtime-ocaml-dev_2.1.0-2build2_s390x.deb ... 451s Unpacking libmtime-ocaml-dev (2.1.0-2build2) ... 451s Selecting previously unselected package libmulticore-magic-ocaml. 451s Preparing to unpack .../088-libmulticore-magic-ocaml_2.3.1-2build2_s390x.deb ... 451s Unpacking libmulticore-magic-ocaml (2.3.1-2build2) ... 451s Selecting previously unselected package libmulticore-magic-ocaml-dev. 451s Preparing to unpack .../089-libmulticore-magic-ocaml-dev_2.3.1-2build2_s390x.deb ... 451s Unpacking libmulticore-magic-ocaml-dev (2.3.1-2build2) ... 451s Selecting previously unselected package libmulticore-bench-ocaml-dev. 451s Preparing to unpack .../090-libmulticore-bench-ocaml-dev_0.1.7-1build2_s390x.deb ... 451s Unpacking libmulticore-bench-ocaml-dev (0.1.7-1build2) ... 451s Selecting previously unselected package libmulticore-magic-dscheck-ocaml-dev. 451s Preparing to unpack .../091-libmulticore-magic-dscheck-ocaml-dev_2.3.1-2build2_s390x.deb ... 451s Unpacking libmulticore-magic-dscheck-ocaml-dev (2.3.1-2build2) ... 451s Selecting previously unselected package libounit-ocaml-dev. 451s Preparing to unpack .../092-libounit-ocaml-dev_2.2.7-2build5_s390x.deb ... 451s Unpacking libounit-ocaml-dev (2.2.7-2build5) ... 451s Selecting previously unselected package libqcheck-core-ocaml. 451s Preparing to unpack .../093-libqcheck-core-ocaml_0.25-1build2_s390x.deb ... 451s Unpacking libqcheck-core-ocaml (0.25-1build2) ... 451s Selecting previously unselected package libqcheck-core-ocaml-dev. 451s Preparing to unpack .../094-libqcheck-core-ocaml-dev_0.25-1build2_s390x.deb ... 451s Unpacking libqcheck-core-ocaml-dev (0.25-1build2) ... 451s Selecting previously unselected package libqcheck-multicoretests-util-ocaml-dev. 451s Preparing to unpack .../095-libqcheck-multicoretests-util-ocaml-dev_0.7-3build2_s390x.deb ... 451s Unpacking libqcheck-multicoretests-util-ocaml-dev (0.7-3build2) ... 451s Selecting previously unselected package libqcheck-ounit-ocaml. 451s Preparing to unpack .../096-libqcheck-ounit-ocaml_0.25-1build2_s390x.deb ... 451s Unpacking libqcheck-ounit-ocaml (0.25-1build2) ... 451s Selecting previously unselected package libqcheck-ocaml. 451s Preparing to unpack .../097-libqcheck-ocaml_0.25-1build2_s390x.deb ... 451s Unpacking libqcheck-ocaml (0.25-1build2) ... 451s Selecting previously unselected package libqcheck-ounit-ocaml-dev. 451s Preparing to unpack .../098-libqcheck-ounit-ocaml-dev_0.25-1build2_s390x.deb ... 451s Unpacking libqcheck-ounit-ocaml-dev (0.25-1build2) ... 451s Selecting previously unselected package libqcheck-ocaml-dev. 451s Preparing to unpack .../099-libqcheck-ocaml-dev_0.25-1build2_s390x.deb ... 451s Unpacking libqcheck-ocaml-dev (0.25-1build2) ... 451s Selecting previously unselected package libqcheck-stm-ocaml-dev. 451s Preparing to unpack .../100-libqcheck-stm-ocaml-dev_0.7-3build2_s390x.deb ... 451s Unpacking libqcheck-stm-ocaml-dev (0.7-3build2) ... 451s Selecting previously unselected package libsaturn-ocaml-dev. 451s Preparing to unpack .../101-libsaturn-ocaml-dev_1.0.0-2ubuntu3_s390x.deb ... 451s Unpacking libsaturn-ocaml-dev (1.0.0-2ubuntu3) ... 451s Selecting previously unselected package ocaml-dune. 451s Preparing to unpack .../102-ocaml-dune_3.17.2-1build1_s390x.deb ... 451s Unpacking ocaml-dune (3.17.2-1build1) ... 451s Setting up libev4t64:s390x (1:4.33-2.1build1) ... 451s Setting up libncurses-dev:s390x (6.5+20250216-2) ... 451s Setting up libzstd-dev:s390x (1.5.7+dfsg-1build1) ... 451s Setting up gcc-14-base:s390x (14.3.0-1ubuntu1) ... 451s Setting up libgomp1:s390x (15.1.0-8ubuntu1) ... 451s Setting up ocaml-dune (3.17.2-1build1) ... 451s Setting up libstdlib-ocaml (5.3.0-3) ... 451s Setting up libmpc3:s390x (1.3.1-1build2) ... 451s Setting up ocaml-base (5.3.0-3) ... 451s Setting up libgraphics-ocaml (5.1.2-3build6) ... 451s Setting up libubsan1:s390x (15.1.0-8ubuntu1) ... 451s Setting up libsexplib0-ocaml (0.17.0-1build2) ... 451s Setting up libasan8:s390x (15.1.0-8ubuntu1) ... 451s Setting up libfmt-ocaml (0.10.0-1build1) ... 451s Setting up libreact-ocaml (1.2.2-1build5) ... 451s Setting up libev-dev:s390x (1:4.33-2.1build1) ... 451s Setting up libisl23:s390x (0.27-1) ... 451s Setting up libresult-ocaml (1.5-4build4) ... 451s Setting up libcc1-0:s390x (15.1.0-8ubuntu1) ... 451s Setting up libitm1:s390x (15.1.0-8ubuntu1) ... 451s Setting up libqcheck-core-ocaml (0.25-1build2) ... 451s Setting up libastring-ocaml (0.8.5-2build5) ... 451s Setting up libgen-ocaml (1.1-1build5) ... 451s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 451s Setting up libyojson-ocaml (2.2.2-1build2) ... 451s Setting up libcamlp-streams-ocaml (5.0.1-3build6) ... 451s Setting up libuutf-ocaml (1.0.4-1build2) ... 451s Setting up libfindlib-ocaml (1.9.8-1build1) ... 451s Setting up libocaml-version-ocaml (4.0.0-1build1) ... 451s Setting up libcsexp-ocaml (1.5.2-4build4) ... 451s Setting up libmulticore-magic-ocaml (2.3.1-2build2) ... 451s Setting up libocplib-endian-ocaml (1.2-4build3) ... 451s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 451s Setting up libsedlex-ocaml (3.4-1build1) ... 451s Setting up libreactivedata-ocaml (0.3-4build5) ... 451s Setting up ocaml-interp (5.3.0-3) ... 451s Setting up ocaml-findlib (1.9.8-1build1) ... 451s Setting up libmtime-ocaml (2.1.0-2build2) ... 451s Setting up cpp-14-s390x-linux-gnu (14.3.0-1ubuntu1) ... 451s Setting up cpp-14 (14.3.0-1ubuntu1) ... 451s Setting up libtyxml-ocaml (4.6.0-1build6) ... 451s Setting up libgcc-14-dev:s390x (14.3.0-1ubuntu1) ... 451s Setting up libqcheck-ounit-ocaml (0.25-1build2) ... 451s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 451s Setting up liblwt-ocaml (5.9.1-1build1) ... 451s Setting up liblwt-log-ocaml (1.1.2-4build13) ... 451s Setting up gcc-14-s390x-linux-gnu (14.3.0-1ubuntu1) ... 451s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 451s Setting up libqcheck-ocaml (0.25-1build2) ... 451s Setting up cpp (4:14.2.0-1ubuntu1) ... 451s Setting up libjs-of-ocaml (5.9.1-1build7) ... 451s Setting up gcc-14 (14.3.0-1ubuntu1) ... 451s Setting up liblogs-ocaml (0.8.0-1build2) ... 451s Setting up libmdx-ocaml (2.5.0-3build4) ... 451s Setting up gcc (4:14.2.0-1ubuntu1) ... 451s Setting up ocaml (5.3.0-3) ... 451s Setting up libgen-ocaml-dev (1.1-1build5) ... 451s Setting up libmtime-ocaml-dev (2.1.0-2build2) ... 451s Setting up libre-ocaml-dev (1.12.0+really1.11.0-1build2) ... 451s Setting up libmenhir-ocaml-dev (20240715+ds-1build2) ... 451s Setting up libreact-ocaml-dev (1.2.2-1build5) ... 451s Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1build2) ... 451s Setting up libcsexp-ocaml-dev (1.5.2-4build4) ... 451s Setting up libcontainers-ocaml-dev (3.15+dfsg-1build2) ... 451s Setting up libyojson-ocaml-dev (2.2.2-1build2) ... 451s Setting up libcamlp-streams-ocaml-dev (5.0.1-3build6) ... 451s Setting up libfindlib-ocaml-dev (1.9.8-1build1) ... 451s Setting up libsexplib0-ocaml-dev (0.17.0-1build2) ... 451s Setting up libthread-table-ocaml-dev (1.0.0-1build2) ... 451s Setting up libresult-ocaml-dev (1.5-4build4) ... 451s Setting up libbackoff-ocaml-dev (0.1.1-1build2) ... 451s Setting up libcmdliner-ocaml-dev (1.3.0-2build3) ... 451s Setting up libocplib-endian-ocaml-dev (1.2-4build3) ... 451s Setting up libdune-ocaml-dev (3.17.2-1build1) ... 451s Setting up libmulticore-magic-ocaml-dev (2.3.1-2build2) ... 451s Setting up libastring-ocaml-dev (0.8.5-2build5) ... 451s Setting up libppx-derivers-ocaml-dev (1.2.1-4build5) ... 451s Setting up liboseq-ocaml-dev (0.5.1-2build2) ... 451s Setting up libreactivedata-ocaml-dev (0.3-4build5) ... 451s Setting up libqcheck-core-ocaml-dev (0.25-1build2) ... 451s Setting up libgraphics-ocaml-dev (5.1.2-3build6) ... 451s Setting up libuutf-ocaml-dev (1.0.4-1build2) ... 451s Setting up libounit-ocaml-dev (2.2.7-2build5) ... 451s Setting up libocaml-version-ocaml-dev (4.0.0-1build1) ... 451s Setting up libppxlib-ocaml-dev (0.35.0-1build1) ... 451s Setting up libdscheck-ocaml-dev (0.5.0-2build3) ... 451s Setting up libfmt-ocaml-dev (0.10.0-1build1) ... 451s Setting up libdomain-local-await-ocaml-dev (1.0.1-1build2) ... 451s Setting up libsaturn-ocaml-dev (1.0.0-2ubuntu3) ... 451s Setting up libqcheck-ounit-ocaml-dev (0.25-1build2) ... 451s Setting up libtyxml-ocaml-dev (4.6.0-1build6) ... 451s Setting up libqcheck-multicoretests-util-ocaml-dev (0.7-3build2) ... 451s Setting up libmulticore-bench-ocaml-dev (0.1.7-1build2) ... 451s Setting up libqcheck-stm-ocaml-dev (0.7-3build2) ... 451s Setting up libsedlex-ocaml-dev (3.4-1build1) ... 451s Setting up libmulticore-magic-dscheck-ocaml-dev (2.3.1-2build2) ... 451s Setting up liblwt-ocaml-dev (5.9.1-1build1) ... 451s Setting up libalcotest-ocaml-dev (1.8.0-2build5) ... 451s Setting up libqcheck-ocaml-dev (0.25-1build2) ... 451s Setting up liblwt-log-ocaml-dev (1.1.2-4build13) ... 451s Setting up libjs-of-ocaml-dev (5.9.1-1build7) ... 451s Setting up liblogs-ocaml-dev (0.8.0-1build2) ... 451s Setting up libmdx-ocaml-dev (2.5.0-3build4) ... 451s Processing triggers for man-db (2.13.1-1) ... 452s Processing triggers for libc-bin (2.41-6ubuntu2) ... 453s autopkgtest [12:02:01]: test upstream: [----------------------- 465s (cd _build/default/test/spsc_queue && ./spsc_queue_dscheck.exe) 465s Testing `spsc_queue_dscheck'. 465s This run has ID `TDUJDCWM'. 465s 465s [OK] basic_safe 0 simple-test. 465s [OK] wrap-arounds_safe 0 shift-by-1. 465s [OK] wrap-arounds_safe 1 shift-by-6. 465s [OK] wrap-arounds_safe 2 shift-by-11. 465s [OK] length_safe 0 linearizes-with-1-thr. 465s [OK] of_list_exn_safe 0 of_list. 465s [OK] drop_exn safe 0 drop_exn. 465s [OK] basic_unsafe 0 simple-test. 465s [OK] wrap-arounds_unsafe 0 shift-by-1. 465s [OK] wrap-arounds_unsafe 1 shift-by-6. 465s [OK] wrap-arounds_unsafe 2 shift-by-11. 465s [OK] length_unsafe 0 linearizes-with-1-thr. 465s [OK] of_list_exn_unsafe 0 of_list. 465s [OK] drop_exn unsafe 0 drop_exn. 465s 465s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/spsc_queue/_build/_tests/spsc_queue_dscheck'. 465s Test Successful in 0.156s. 14 tests run. 465s (cd _build/default/test/bounded_stack && ./bounded_stack_dscheck.exe) 465s Testing `Stack_dscheck'. 465s This run has ID `KX2JFCWD'. 465s 465s [OK] basic 0 1-producer-1-consumer. 465s [OK] basic 1 1-producer-1-consumer-capacity. 465s [OK] basic 2 1-push-1-drop. 465s [OK] basic 3 2-producers. 465s [OK] basic 4 2-producers-capacity. 465s [OK] basic 5 2-consumers. 465s [OK] basic 6 2-domains. 465s [OK] basic 7 2-domains-more-pops. 465s [OK] basic 8 2-domains-pops_all. 465s [OK] basic 9 1-pop-1-push-all. 465s 465s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/bounded_stack/_build/_tests/Stack_dscheck'. 465s Test Successful in 0.627s. 10 tests run. 465s (cd _build/default/test/treiber_stack && ./treiber_stack_dscheck.exe) 465s Testing `Stack_dscheck'. 465s This run has ID `HRLMCFGA'. 465s 465s [OK] basic 0 1-producer-1-consumer. 465s [OK] basic 1 1-push-1-drop. 465s [OK] basic 2 2-producers. 465s [OK] basic 3 2-consumers. 465s [OK] basic 4 2-domains. 465s [OK] basic 5 2-domains-more-pops. 465s [OK] basic 6 2-domains-pops_all. 465s [OK] basic 7 1-pop-1-push-all. 465s 465s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/treiber_stack/_build/_tests/Stack_dscheck'. 465s Test Successful in 0.570s. 8 tests run. 465s (cd _build/default/test/size && ./dscheck_size.exe) 465s Testing `dscheck_size'. 465s This run has ID `HC7GTVCB'. 465s 465s [OK] basic 0 underflow and overflow. 465s [OK] basic 1 2-mem. 465s [OK] basic 2 2-add-same. 465s [OK] basic 3 2-add. 465s [OK] basic 4 2-remove-same. 465s [OK] basic 5 2-remove. 465s 465s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/size/_build/_tests/dscheck_size'. 465s Test Successful in 0.037s. 6 tests run. 469s (cd _build/default/test/skiplist && ./dscheck_skiplist.exe) 469s Testing `DSCheck_Skiplist'. 469s This run has ID `1GD2IQQE'. 469s 469s [OK] basic 0 max_height_of. 469s [OK] basic 1 2-mem. 469s [OK] basic 2 2-add-same. 469s [OK] basic 3 2-add. 469s [OK] basic 4 2-remove-same. 469s [OK] basic 5 2-remove. 469s 469s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/skiplist/_build/_tests/DSCheck_Skiplist'. 469s Test Successful in 0.043s. 6 tests run. 473s (cd _build/default/test/michael_scott_queue && ./michael_scott_queue_dscheck.exe) 473s Testing `michael_scott_queue_dscheck'. 473s This run has ID `COZPBA52'. 473s 473s [OK] basic_safe 0 1-producer-1-consumer. 473s [OK] basic_safe 1 2-domains-is_empty. 473s [OK] basic_safe 2 1-push-1-drop. 473s [OK] basic_safe 3 1-push-1-pop-of_list. 473s [OK] basic_safe 4 2-producers. 473s [OK] basic_safe 5 2-consumers. 473s [OK] basic_safe 6 2-domains. 473s [OK] basic_safe 7 2-domains-more-pops. 473s [OK] basic_unsafe 0 1-producer-1-consumer. 473s [OK] basic_unsafe 1 2-domains-is_empty. 473s [OK] basic_unsafe 2 1-push-1-drop. 473s [OK] basic_unsafe 3 1-push-1-pop-of_list. 473s [OK] basic_unsafe 4 2-producers. 473s [OK] basic_unsafe 5 2-consumers. 473s [OK] basic_unsafe 6 2-domains. 473s [OK] basic_unsafe 7 2-domains-more-pops. 473s 473s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/michael_scott_queue/_build/_tests/michael_scott_queue_dscheck'. 473s Test Successful in 3.930s. 16 tests run. 477s (cd _build/default/test/bag && ./qcheck_bag.exe) 477s qcheck random seed: 755898772 477s Testing `QCheck Bag'. 477s This run has ID `K7OQ7NRW'. 477s 477s [OK] test_sequential 0 sequential. 477s [OK] test_sequential 1 parallel. 477s 477s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/bag/_build/_tests/QCheck Bag'. 477s Test Successful in 7.818s. 2 tests run. 485s (cd _build/default/test/mpsc_queue && ./mpsc_queue_dscheck.exe) 485s Testing `dscheck_bounded_queue'. 485s This run has ID `UE50HD34'. 485s 485s [OK] basic 0 1-producer-1-consumer. 485s [OK] basic 1 2-domains-is_empty. 485s [OK] basic 2 1-push-1-drop. 485s [OK] basic 3 2-producers. 485s [OK] basic 4 2-producers-1-consumer. 485s 485s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/mpsc_queue/_build/_tests/dscheck_bounded_queue'. 485s Test Successful in 20.733s. 5 tests run. 488s (cd _build/default/test/bounded_queue && ./dscheck_bounded_queue.exe) 488s Testing `dscheck_bounded_queue'. 488s This run has ID `UHPO9P7T'. 488s 488s [OK] basic 0 1-producer-1-consumer. 488s [OK] basic 1 push-length-is_full. 488s [OK] basic 2 push-length-is_full-capacity. 488s [OK] basic 3 2-domains-is_empty. 488s [OK] basic 4 1-producer-1-consumer-capacity. 488s [OK] basic 5 1-push-1-drop. 488s [OK] basic 6 1-push-1-pop-of_list. 488s [OK] basic 7 2-producers. 488s [OK] basic 8 2-producers-capacity. 488s [OK] basic 9 2-consumers. 488s [OK] basic 10 2-domains. 488s [OK] basic 11 2-domains-more-pops. 488s 488s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/bounded_queue/_build/_tests/dscheck_bounded_queue'. 488s Test Successful in 22.587s. 12 tests run. 496s (cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe) 496s qcheck random seed: 164943335 496s Testing `Mpsc_queue'. 496s This run has ID `UK0WF31W'. 496s 496s [OK] one_consumer 0 push_head_pop_opt. 496s [OK] one_consumer 1 push_head_pop. 496s [OK] one_consumer 2 push_head_peek_opt. 496s [OK] one_consumer 3 push_head_peek. 496s [OK] one_consumer 4 pop_opt_empty. 496s [OK] one_consumer 5 pop_empty. 496s [OK] one_consumer 6 peek_opt_empty. 496s [OK] one_consumer 7 peek_empty. 496s [OK] one_consumer 8 push_head_not_empty. 496s [OK] one_consumer 9 close_push_head. 496s [OK] one_consumer 10 close_is_empty. 496s [OK] one_consumer 11 close_pop_opt. 496s [OK] one_consumer 12 pop_opt_order. 496s [OK] one_consumer 13 seq_push_pop_opt. 496s [OK] one_producer 0 push_not_empty. 496s [OK] one_producer 1 closing_prevents_pushing. 496s [OK] one_cons_one_prod 0 seq_push_pop_opt_peek_opt. 496s [OK] one_cons_one_prod 1 par_push_pop. 496s [OK] one_cons_one_prod 2 par_push_push_head. 496s 496s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/mpsc_queue/_build/_tests/Mpsc_queue'. 496s Test Successful in 10.956s. 19 tests run. 535s (cd _build/default/test/bounded_stack && ./stm_bounded_stack.exe) 535s random seed: 1011591900255571942 535s generated error fail pass / total time test name 535s [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack sequential (generating) [✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_stack sequential 535s [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack parallel [ ] 1 0 0 1 / 32 1.5s Saturn.Bounded_stack parallel [ ] 2 0 0 2 / 32 2.3s Saturn.Bounded_stack parallel [ ] 3 0 0 3 / 32 3.4s Saturn.Bounded_stack parallel [ ] 4 0 0 4 / 32 4.7s Saturn.Bounded_stack parallel [ ] 5 0 0 5 / 32 5.6s Saturn.Bounded_stack parallel [ ] 6 0 0 6 / 32 6.4s Saturn.Bounded_stack parallel [ ] 7 0 0 7 / 32 7.2s Saturn.Bounded_stack parallel [ ] 8 0 0 8 / 32 8.0s Saturn.Bounded_stack parallel [ ] 9 0 0 9 / 32 8.8s Saturn.Bounded_stack parallel [ ] 10 0 0 10 / 32 9.4s Saturn.Bounded_stack parallel [ ] 11 0 0 11 / 32 10.5s Saturn.Bounded_stack parallel [ ] 12 0 0 12 / 32 11.3s Saturn.Bounded_stack parallel [ ] 13 0 0 13 / 32 12.3s Saturn.Bounded_stack parallel [ ] 14 0 0 14 / 32 13.3s Saturn.Bounded_stack parallel [ ] 15 0 0 15 / 32 14.4s Saturn.Bounded_stack parallel [ ] 16 0 0 16 / 32 15.4s Saturn.Bounded_stack parallel [ ] 17 0 0 17 / 32 16.9s Saturn.Bounded_stack parallel [ ] 18 0 0 18 / 32 17.5s Saturn.Bounded_stack parallel [ ] 19 0 0 19 / 32 18.3s Saturn.Bounded_stack parallel [ ] 20 0 0 20 / 32 20.0s Saturn.Bounded_stack parallel [ ] 21 0 0 21 / 32 20.9s Saturn.Bounded_stack parallel [ ] 22 0 0 22 / 32 21.9s Saturn.Bounded_stack parallel [ ] 23 0 0 23 / 32 22.9s Saturn.Bounded_stack parallel [ ] 24 0 0 24 / 32 23.8s Saturn.Bounded_stack parallel [ ] 25 0 0 25 / 32 25.0s Saturn.Bounded_stack parallel [ ] 26 0 0 26 / 32 25.9s Saturn.Bounded_stack parallel [ ] 27 0 0 27 / 32 26.9s Saturn.Bounded_stack parallel [ ] 28 0 0 28 / 32 27.9s Saturn.Bounded_stack parallel [ ] 29 0 0 29 / 32 28.8s Saturn.Bounded_stack parallel [ ] 30 0 0 30 / 32 29.6s Saturn.Bounded_stack parallel [ ] 31 0 0 31 / 32 30.4s Saturn.Bounded_stack parallel [ ] 32 0 0 32 / 32 31.2s Saturn.Bounded_stack parallel [✓] 32 0 0 32 / 32 31.2s Saturn.Bounded_stack parallel 535s ================================================================================ 535s success (ran 2 tests) 535s random seed: 4498818483136970125 535s generated error fail pass / total time test name 535s [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_stack sequential 535s [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack parallel [ ] 1 0 0 1 / 32 0.9s Saturn.Bounded_stack parallel [ ] 2 0 0 2 / 32 1.8s Saturn.Bounded_stack parallel [ ] 3 0 0 3 / 32 2.7s Saturn.Bounded_stack parallel [ ] 4 0 0 4 / 32 3.3s Saturn.Bounded_stack parallel [ ] 5 0 0 5 / 32 4.0s Saturn.Bounded_stack parallel [ ] 6 0 0 6 / 32 5.2s Saturn.Bounded_stack parallel [ ] 7 0 0 7 / 32 6.3s Saturn.Bounded_stack parallel [ ] 8 0 0 8 / 32 7.2s Saturn.Bounded_stack parallel [ ] 9 0 0 9 / 32 8.0s Saturn.Bounded_stack parallel [ ] 10 0 0 10 / 32 9.0s Saturn.Bounded_stack parallel [ ] 11 0 0 11 / 32 11.2s Saturn.Bounded_stack parallel [ ] 12 0 0 12 / 32 11.9s Saturn.Bounded_stack parallel [ ] 13 0 0 13 / 32 12.9s Saturn.Bounded_stack parallel [ ] 14 0 0 14 / 32 14.8s Saturn.Bounded_stack parallel [ ] 15 0 0 15 / 32 15.7s Saturn.Bounded_stack parallel [ ] 16 0 0 16 / 32 16.7s Saturn.Bounded_stack parallel [ ] 17 0 0 17 / 32 18.4s Saturn.Bounded_stack parallel [ ] 18 0 0 18 / 32 19.4s Saturn.Bounded_stack parallel [ ] 19 0 0 19 / 32 20.2s Saturn.Bounded_stack parallel [ ] 20 0 0 20 / 32 21.0s Saturn.Bounded_stack parallel [ ] 21 0 0 21 / 32 21.7s Saturn.Bounded_stack parallel [ ] 22 0 0 22 / 32 22.5s Saturn.Bounded_stack parallel [ ] 23 0 0 23 / 32 23.5s Saturn.Bounded_stack parallel [ ] 24 0 0 24 / 32 24.3s Saturn.Bounded_stack parallel [ ] 25 0 0 25 / 32 25.5s Saturn.Bounded_stack parallel [ ] 26 0 0 26 / 32 26.4s Saturn.Bounded_stack parallel [ ] 27 0 0 27 / 32 27.2s Saturn.Bounded_stack parallel [ ] 28 0 0 28 / 32 27.9s Saturn.Bounded_stack parallel [ ] 29 0 0 29 / 32 28.5s Saturn.Bounded_stack parallel [ ] 30 0 0 30 / 32 29.2s Saturn.Bounded_stack parallel [ ] 31 0 0 31 / 32 30.2s Saturn.Bounded_stack parallel [ ] 32 0 0 32 / 32 31.0s Saturn.Bounded_stack parallel [✓] 32 0 0 32 / 32 31.0s Saturn.Bounded_stack parallel 535s ================================================================================ 535s success (ran 2 tests) 547s (cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe) 547s qcheck random seed: 659528670 547s Testing `Treiber_stack'. 547s This run has ID `AET1UM8K'. 547s 547s [OK] test_sequential 0 push. 547s [OK] test_sequential 1 push_pop_until_empty. 547s [OK] test_sequential 2 lifo. 547s [OK] one_cons_one_prod 0 parallel. 547s [OK] two_domains 0 parallel_pop_push. 547s [OK] two_domains 1 parallel_pop_push_random. 547s 547s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/treiber_stack/_build/_tests/Treiber_stack'. 547s Test Successful in 11.714s. 6 tests run. 551s (cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe) 551s random seed: 3771080901759951470 551s generated error fail pass / total time test name 551s [ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack sequential (generating) [✓] 32 0 0 32 / 32 0.0s Saturn.Treiber_stack sequential 551s [ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack parallel [ ] 1 0 0 1 / 32 1.0s Saturn.Treiber_stack parallel [ ] 2 0 0 2 / 32 2.1s Saturn.Treiber_stack parallel [ ] 3 0 0 3 / 32 3.2s Saturn.Treiber_stack parallel [ ] 4 0 0 4 / 32 4.2s Saturn.Treiber_stack parallel [ ] 5 0 0 5 / 32 4.7s Saturn.Treiber_stack parallel [ ] 6 0 0 6 / 32 5.4s Saturn.Treiber_stack parallel [ ] 7 0 0 7 / 32 6.2s Saturn.Treiber_stack parallel [ ] 8 0 0 8 / 32 7.3s Saturn.Treiber_stack parallel [ ] 9 0 0 9 / 32 8.0s Saturn.Treiber_stack parallel [ ] 10 0 0 10 / 32 8.8s Saturn.Treiber_stack parallel [ ] 11 0 0 11 / 32 9.6s Saturn.Treiber_stack parallel [ ] 12 0 0 12 / 32 10.4s Saturn.Treiber_stack parallel [ ] 13 0 0 13 / 32 11.0s Saturn.Treiber_stack parallel [ ] 14 0 0 14 / 32 12.1s Saturn.Treiber_stack parallel [ ] 15 0 0 15 / 32 12.7s Saturn.Treiber_stack parallel [ ] 16 0 0 16 / 32 13.7s Saturn.Treiber_stack parallel [ ] 17 0 0 17 / 32 14.4s Saturn.Treiber_stack parallel [ ] 18 0 0 18 / 32 15.1s Saturn.Treiber_stack parallel [ ] 19 0 0 19 / 32 15.7s Saturn.Treiber_stack parallel [ ] 20 0 0 20 / 32 16.5s Saturn.Treiber_stack parallel [ ] 21 0 0 21 / 32 17.4s Saturn.Treiber_stack parallel [ ] 22 0 0 22 / 32 18.3s Saturn.Treiber_stack parallel [ ] 23 0 0 23 / 32 19.2s Saturn.Treiber_stack parallel [ ] 24 0 0 24 / 32 19.9s Saturn.Treiber_stack parallel [ ] 25 0 0 25 / 32 20.7s Saturn.Treiber_stack parallel [ ] 26 0 0 26 / 32 21.7s Saturn.Treiber_stack parallel [ ] 27 0 0 27 / 32 22.6s Saturn.Treiber_stack parallel [ ] 28 0 0 28 / 32 23.6s Saturn.Treiber_stack parallel [ ] 29 0 0 29 / 32 24.2s Saturn.Treiber_stack parallel [ ] 30 0 0 30 / 32 24.9s Saturn.Treiber_stack parallel [ ] 31 0 0 31 / 32 25.8s Saturn.Treiber_stack parallel [ ] 32 0 0 32 / 32 26.5s Saturn.Treiber_stack parallel [✓] 32 0 0 32 / 32 26.5s Saturn.Treiber_stack parallel 551s ================================================================================ 551s success (ran 2 tests) 551s random seed: 2870523700298417458 551s generated error fail pass / total time test name 551s [ ] 0 0 0 0 / 40 0.0s Saturn.Treiber_stack sequential [✓] 40 0 0 40 / 40 0.0s Saturn.Treiber_stack sequential 551s [ ] 0 0 0 0 / 40 0.0s Saturn.Treiber_stack parallel [ ] 1 0 0 1 / 40 0.7s Saturn.Treiber_stack parallel [ ] 2 0 0 2 / 40 1.5s Saturn.Treiber_stack parallel [ ] 3 0 0 3 / 40 2.9s Saturn.Treiber_stack parallel [ ] 4 0 0 4 / 40 3.8s Saturn.Treiber_stack parallel [ ] 5 0 0 5 / 40 4.6s Saturn.Treiber_stack parallel [ ] 6 0 0 6 / 40 5.3s Saturn.Treiber_stack parallel [ ] 7 0 0 7 / 40 6.3s Saturn.Treiber_stack parallel [ ] 8 0 0 8 / 40 7.2s Saturn.Treiber_stack parallel [ ] 9 0 0 9 / 40 7.9s Saturn.Treiber_stack parallel [ ] 10 0 0 10 / 40 8.9s Saturn.Treiber_stack parallel [ ] 11 0 0 11 / 40 10.1s Saturn.Treiber_stack parallel [ ] 12 0 0 12 / 40 11.0s Saturn.Treiber_stack parallel [ ] 13 0 0 13 / 40 11.9s Saturn.Treiber_stack parallel [ ] 14 0 0 14 / 40 12.7s Saturn.Treiber_stack parallel [ ] 15 0 0 15 / 40 13.5s Saturn.Treiber_stack parallel [ ] 16 0 0 16 / 40 14.5s Saturn.Treiber_stack parallel [ ] 17 0 0 17 / 40 15.4s Saturn.Treiber_stack parallel [ ] 18 0 0 18 / 40 16.3s Saturn.Treiber_stack parallel [ ] 19 0 0 19 / 40 17.2s Saturn.Treiber_stack parallel [ ] 20 0 0 20 / 40 17.9s Saturn.Treiber_stack parallel [ ] 21 0 0 21 / 40 18.7s Saturn.Treiber_stack parallel [ ] 22 0 0 22 / 40 19.5s Saturn.Treiber_stack parallel [ ] 23 0 0 23 / 40 20.3s Saturn.Treiber_stack parallel [ ] 24 0 0 24 / 40 21.4s Saturn.Treiber_stack parallel [ ] 25 0 0 25 / 40 22.2s Saturn.Treiber_stack parallel [ ] 26 0 0 26 / 40 23.2s Saturn.Treiber_stack parallel [ ] 27 0 0 27 / 40 23.9s Saturn.Treiber_stack parallel [ ] 28 0 0 28 / 40 24.8s Saturn.Treiber_stack parallel [ ] 29 0 0 29 / 40 25.8s Saturn.Treiber_stack parallel [ ] 30 0 0 30 / 40 26.8s Saturn.Treiber_stack parallel [ ] 31 0 0 31 / 40 27.7s Saturn.Treiber_stack parallel [ ] 32 0 0 32 / 40 28.7s Saturn.Treiber_stack parallel [ ] 33 0 0 33 / 40 29.8s Saturn.Treiber_stack parallel [ ] 34 0 0 34 / 40 30.8s Saturn.Treiber_stack parallel [ ] 35 0 0 35 / 40 32.5s Saturn.Treiber_stack parallel [ ] 36 0 0 36 / 40 33.3s Saturn.Treiber_stack parallel [ ] 37 0 0 37 / 40 34.1s Saturn.Treiber_stack parallel [ ] 38 0 0 38 / 40 35.3s Saturn.Treiber_stack parallel [ ] 39 0 0 39 / 40 36.1s Saturn.Treiber_stack parallel [ ] 40 0 0 40 / 40 36.7s Saturn.Treiber_stack parallel [✓] 40 0 0 40 / 40 36.7s Saturn.Treiber_stack parallel 551s ================================================================================ 551s success (ran 2 tests) 552s (cd _build/default/test/ws_deque && ./test_ws_deque.exe) 552s test_exit: ok 552s test_push_and_pop: ok 552s test_push_and_steal: ok 552s test_concurrent_workload: ok (pushed = 100000, popped = 89259, stolen = 10741) 557s (cd _build/default/test/bag && ./stm_bag.exe) 557s random seed: 219245511201506671 557s generated error fail pass / total time test name 557s [ ] 0 0 0 0 / 32 0.0s Saturn.Bag sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Bag sequential (generating) [✓] 32 0 0 32 / 32 0.0s Saturn.Bag sequential 557s [ ] 0 0 0 0 / 32 0.0s Saturn.Bag parallel [ ] 1 0 0 1 / 32 0.8s Saturn.Bag parallel [ ] 2 0 0 2 / 32 1.6s Saturn.Bag parallel [ ] 3 0 0 3 / 32 2.3s Saturn.Bag parallel [ ] 4 0 0 4 / 32 3.3s Saturn.Bag parallel [ ] 5 0 0 5 / 32 4.2s Saturn.Bag parallel [ ] 6 0 0 6 / 32 5.3s Saturn.Bag parallel [ ] 7 0 0 7 / 32 6.0s Saturn.Bag parallel [ ] 8 0 0 8 / 32 6.2s Saturn.Bag parallel [ ] 9 0 0 9 / 32 6.5s Saturn.Bag parallel [ ] 10 0 0 10 / 32 7.2s Saturn.Bag parallel [ ] 11 0 0 11 / 32 7.9s Saturn.Bag parallel [ ] 12 0 0 12 / 32 8.9s Saturn.Bag parallel [ ] 13 0 0 13 / 32 9.8s Saturn.Bag parallel [ ] 14 0 0 14 / 32 10.7s Saturn.Bag parallel [ ] 15 0 0 15 / 32 11.5s Saturn.Bag parallel [ ] 16 0 0 16 / 32 12.3s Saturn.Bag parallel [ ] 17 0 0 17 / 32 13.1s Saturn.Bag parallel [ ] 18 0 0 18 / 32 14.1s Saturn.Bag parallel [ ] 19 0 0 19 / 32 15.2s Saturn.Bag parallel [ ] 20 0 0 20 / 32 16.3s Saturn.Bag parallel [ ] 21 0 0 21 / 32 17.2s Saturn.Bag parallel [ ] 22 0 0 22 / 32 18.2s Saturn.Bag parallel [ ] 23 0 0 23 / 32 19.3s Saturn.Bag parallel [ ] 24 0 0 24 / 32 20.3s Saturn.Bag parallel [ ] 25 0 0 25 / 32 21.4s Saturn.Bag parallel [ ] 26 0 0 26 / 32 22.4s Saturn.Bag parallel [ ] 27 0 0 27 / 32 23.6s Saturn.Bag parallel [ ] 28 0 0 28 / 32 24.4s Saturn.Bag parallel [ ] 29 0 0 29 / 32 25.2s Saturn.Bag parallel [ ] 30 0 0 30 / 32 25.8s Saturn.Bag parallel [ ] 31 0 0 31 / 32 26.5s Saturn.Bag parallel [ ] 32 0 0 32 / 32 27.3s Saturn.Bag parallel [✓] 32 0 0 32 / 32 27.3s Saturn.Bag parallel 557s ================================================================================ 557s success (ran 2 tests) 557s random seed: 377201467479730814 557s generated error fail pass / total time test name 557s [ ] 0 0 0 0 / 38 0.0s Saturn.Bag sequential [✓] 38 0 0 38 / 38 0.0s Saturn.Bag sequential 557s [ ] 0 0 0 0 / 38 0.0s Saturn.Bag parallel [ ] 1 0 0 1 / 38 0.8s Saturn.Bag parallel [ ] 2 0 0 2 / 38 1.8s Saturn.Bag parallel [ ] 3 0 0 3 / 38 2.7s Saturn.Bag parallel [ ] 4 0 0 4 / 38 3.6s Saturn.Bag parallel [ ] 5 0 0 5 / 38 4.5s Saturn.Bag parallel [ ] 6 0 0 6 / 38 4.9s Saturn.Bag parallel [ ] 7 0 0 7 / 38 5.7s Saturn.Bag parallel [ ] 8 0 0 8 / 38 6.4s Saturn.Bag parallel [ ] 9 0 0 9 / 38 7.3s Saturn.Bag parallel [ ] 10 0 0 10 / 38 8.1s Saturn.Bag parallel [ ] 11 0 0 11 / 38 8.9s Saturn.Bag parallel [ ] 12 0 0 12 / 38 9.7s Saturn.Bag parallel [ ] 13 0 0 13 / 38 10.9s Saturn.Bag parallel [ ] 14 0 0 14 / 38 11.5s Saturn.Bag parallel [ ] 15 0 0 15 / 38 12.6s Saturn.Bag parallel [ ] 16 0 0 16 / 38 13.7s Saturn.Bag parallel [ ] 17 0 0 17 / 38 14.6s Saturn.Bag parallel [ ] 18 0 0 18 / 38 15.1s Saturn.Bag parallel [ ] 19 0 0 19 / 38 15.6s Saturn.Bag parallel [ ] 20 0 0 20 / 38 16.5s Saturn.Bag parallel [ ] 21 0 0 21 / 38 17.3s Saturn.Bag parallel [ ] 22 0 0 22 / 38 17.8s Saturn.Bag parallel [ ] 23 0 0 23 / 38 18.9s Saturn.Bag parallel [ ] 24 0 0 24 / 38 19.9s Saturn.Bag parallel [ ] 25 0 0 25 / 38 20.7s Saturn.Bag parallel [ ] 26 0 0 26 / 38 21.8s Saturn.Bag parallel [ ] 27 0 0 27 / 38 22.7s Saturn.Bag parallel [ ] 28 0 0 28 / 38 23.5s Saturn.Bag parallel [ ] 29 0 0 29 / 38 24.5s Saturn.Bag parallel [ ] 30 0 0 30 / 38 25.2s Saturn.Bag parallel [ ] 31 0 0 31 / 38 26.2s Saturn.Bag parallel [ ] 32 0 0 32 / 38 27.0s Saturn.Bag parallel [ ] 33 0 0 33 / 38 28.0s Saturn.Bag parallel [ ] 34 0 0 34 / 38 28.9s Saturn.Bag parallel [ ] 35 0 0 35 / 38 29.8s Saturn.Bag parallel [ ] 36 0 0 36 / 38 30.8s Saturn.Bag parallel [ ] 37 0 0 37 / 38 31.6s Saturn.Bag parallel [ ] 38 0 0 38 / 38 32.5s Saturn.Bag parallel [✓] 38 0 0 38 / 38 32.5s Saturn.Bag parallel 557s ================================================================================ 557s success (ran 2 tests) 557s random seed: 1907010309498335373 557s generated error fail pass / total time test name 557s [ ] 0 0 0 0 / 32 0.0s Saturn.Bag sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Bag sequential 557s [ ] 0 0 0 0 / 32 0.0s Saturn.Bag parallel [ ] 1 0 0 1 / 32 0.7s Saturn.Bag parallel [ ] 2 0 0 2 / 32 1.4s Saturn.Bag parallel [ ] 3 0 0 3 / 32 2.4s Saturn.Bag parallel [ ] 4 0 0 4 / 32 3.3s Saturn.Bag parallel [ ] 5 0 0 5 / 32 4.1s Saturn.Bag parallel [ ] 6 0 0 6 / 32 5.2s Saturn.Bag parallel [ ] 7 0 0 7 / 32 6.1s Saturn.Bag parallel [ ] 8 0 0 8 / 32 7.0s Saturn.Bag parallel [ ] 9 0 0 9 / 32 8.0s Saturn.Bag parallel [ ] 10 0 0 10 / 32 9.0s Saturn.Bag parallel [ ] 11 0 0 11 / 32 10.0s Saturn.Bag parallel [ ] 12 0 0 12 / 32 11.4s Saturn.Bag parallel [ ] 13 0 0 13 / 32 12.5s Saturn.Bag parallel [ ] 14 0 0 14 / 32 13.5s Saturn.Bag parallel [ ] 15 0 0 15 / 32 15.0s Saturn.Bag parallel [ ] 16 0 0 16 / 32 15.7s Saturn.Bag parallel [ ] 17 0 0 17 / 32 16.6s Saturn.Bag parallel [ ] 18 0 0 18 / 32 17.5s Saturn.Bag parallel [ ] 19 0 0 19 / 32 18.2s Saturn.Bag parallel [ ] 20 0 0 20 / 32 19.0s Saturn.Bag parallel [ ] 21 0 0 21 / 32 19.9s Saturn.Bag parallel [ ] 22 0 0 22 / 32 20.8s Saturn.Bag parallel [ ] 23 0 0 23 / 32 21.6s Saturn.Bag parallel [ ] 24 0 0 24 / 32 22.3s Saturn.Bag parallel [ ] 25 0 0 25 / 32 23.2s Saturn.Bag parallel [ ] 26 0 0 26 / 32 23.8s Saturn.Bag parallel [ ] 27 0 0 27 / 32 24.6s Saturn.Bag parallel [ ] 28 0 0 28 / 32 25.3s Saturn.Bag parallel [ ] 29 0 0 29 / 32 25.9s Saturn.Bag parallel [ ] 30 0 0 30 / 32 26.8s Saturn.Bag parallel [ ] 31 0 0 31 / 32 27.5s Saturn.Bag parallel [ ] 32 0 0 32 / 32 28.4s Saturn.Bag parallel [✓] 32 0 0 32 / 32 28.4s Saturn.Bag parallel 557s ================================================================================ 557s success (ran 2 tests) 564s (cd _build/default/test/mpsc_queue && ./stm_mpsc_queue.exe) 564s random seed: 436047020326785446 564s generated error fail pass / total time test name 564s [ ] 0 0 0 0 / 32 0.0s Saturn.Mpsc_queue sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Mpsc_queue sequential (generating) [✓] 32 0 0 32 / 32 0.0s Saturn.Mpsc_queue sequential 564s [ ] 0 0 0 0 / 32 0.0s Saturn.Mpsc_queue parallel [ ] 1 0 0 1 / 32 1.2s Saturn.Mpsc_queue parallel [ ] 2 0 0 2 / 32 2.4s Saturn.Mpsc_queue parallel [ ] 3 0 0 3 / 32 3.5s Saturn.Mpsc_queue parallel [ ] 4 0 0 4 / 32 4.8s Saturn.Mpsc_queue parallel [ ] 5 0 0 5 / 32 6.0s Saturn.Mpsc_queue parallel [ ] 6 0 0 6 / 32 7.1s Saturn.Mpsc_queue parallel [ ] 7 0 0 7 / 32 8.2s Saturn.Mpsc_queue parallel [ ] 8 0 0 8 / 32 9.5s Saturn.Mpsc_queue parallel [ ] 9 0 0 9 / 32 10.7s Saturn.Mpsc_queue parallel [ ] 10 0 0 10 / 32 12.3s Saturn.Mpsc_queue parallel [ ] 11 0 0 11 / 32 13.7s Saturn.Mpsc_queue parallel [ ] 12 0 0 12 / 32 14.9s Saturn.Mpsc_queue parallel [ ] 13 0 0 13 / 32 16.3s Saturn.Mpsc_queue parallel [ ] 14 0 0 14 / 32 17.7s Saturn.Mpsc_queue parallel [ ] 15 0 0 15 / 32 19.1s Saturn.Mpsc_queue parallel [ ] 16 0 0 16 / 32 20.5s Saturn.Mpsc_queue parallel [ ] 17 0 0 17 / 32 22.0s Saturn.Mpsc_queue parallel [ ] 18 0 0 18 / 32 23.3s Saturn.Mpsc_queue parallel [ ] 19 0 0 19 / 32 24.6s Saturn.Mpsc_queue parallel [ ] 20 0 0 20 / 32 31.4s Saturn.Mpsc_queue parallel [ ] 21 0 0 21 / 32 32.9s Saturn.Mpsc_queue parallel [ ] 22 0 0 22 / 32 34.2s Saturn.Mpsc_queue parallel [ ] 23 0 0 23 / 32 35.9s Saturn.Mpsc_queue parallel [ ] 24 0 0 24 / 32 37.0s Saturn.Mpsc_queue parallel [ ] 25 0 0 25 / 32 38.1s Saturn.Mpsc_queue parallel [ ] 26 0 0 26 / 32 39.3s Saturn.Mpsc_queue parallel [ ] 27 0 0 27 / 32 40.7s Saturn.Mpsc_queue parallel [ ] 28 0 0 28 / 32 41.8s Saturn.Mpsc_queue parallel [ ] 29 0 0 29 / 32 43.0s Saturn.Mpsc_queue parallel [ ] 30 0 0 30 / 32 44.7s Saturn.Mpsc_queue parallel [ ] 31 0 0 31 / 32 46.1s Saturn.Mpsc_queue parallel [ ] 32 0 0 32 / 32 47.1s Saturn.Mpsc_queue parallel [✓] 32 0 0 32 / 32 47.1s Saturn.Mpsc_queue parallel 564s ================================================================================ 564s success (ran 2 tests) 564s random seed: 1314566858683410688 564s generated error fail pass / total time test name 564s [ ] 0 0 0 0 / 32 0.0s Saturn.Mpsc_queue sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Mpsc_queue sequential 564s [ ] 0 0 0 0 / 32 0.0s Saturn.Mpsc_queue parallel [ ] 1 0 0 1 / 32 1.2s Saturn.Mpsc_queue parallel [ ] 2 0 0 2 / 32 2.4s Saturn.Mpsc_queue parallel [ ] 3 0 0 3 / 32 3.5s Saturn.Mpsc_queue parallel [ ] 4 0 0 4 / 32 4.7s Saturn.Mpsc_queue parallel [ ] 5 0 0 5 / 32 5.8s Saturn.Mpsc_queue parallel [ ] 6 0 0 6 / 32 6.9s Saturn.Mpsc_queue parallel [ ] 7 0 0 7 / 32 7.9s Saturn.Mpsc_queue parallel [ ] 8 0 0 8 / 32 9.0s Saturn.Mpsc_queue parallel [ ] 9 0 0 9 / 32 10.4s Saturn.Mpsc_queue parallel [ ] 10 0 0 10 / 32 12.0s Saturn.Mpsc_queue parallel [ ] 11 0 0 11 / 32 13.2s Saturn.Mpsc_queue parallel [ ] 12 0 0 12 / 32 14.7s Saturn.Mpsc_queue parallel [ ] 13 0 0 13 / 32 16.3s Saturn.Mpsc_queue parallel [ ] 14 0 0 14 / 32 17.8s Saturn.Mpsc_queue parallel [ ] 15 0 0 15 / 32 19.3s Saturn.Mpsc_queue parallel [ ] 16 0 0 16 / 32 20.5s Saturn.Mpsc_queue parallel [ ] 17 0 0 17 / 32 21.5s Saturn.Mpsc_queue parallel [ ] 18 0 0 18 / 32 22.9s Saturn.Mpsc_queue parallel [ ] 19 0 0 19 / 32 24.1s Saturn.Mpsc_queue parallel [ ] 20 0 0 20 / 32 25.6s Saturn.Mpsc_queue parallel [ ] 21 0 0 21 / 32 26.9s Saturn.Mpsc_queue parallel [ ] 22 0 0 22 / 32 28.2s Saturn.Mpsc_queue parallel [ ] 23 0 0 23 / 32 29.1s Saturn.Mpsc_queue parallel [ ] 24 0 0 24 / 32 30.3s Saturn.Mpsc_queue parallel [ ] 25 0 0 25 / 32 31.5s Saturn.Mpsc_queue parallel [ ] 26 0 0 26 / 32 32.8s Saturn.Mpsc_queue parallel [ ] 27 0 0 27 / 32 34.6s Saturn.Mpsc_queue parallel [ ] 28 0 0 28 / 32 35.9s Saturn.Mpsc_queue parallel [ ] 29 0 0 29 / 32 37.1s Saturn.Mpsc_queue parallel [ ] 30 0 0 30 / 32 38.1s Saturn.Mpsc_queue parallel [ ] 31 0 0 31 / 32 39.4s Saturn.Mpsc_queue parallel [ ] 32 0 0 32 / 32 40.7s Saturn.Mpsc_queue parallel [✓] 32 0 0 32 / 32 40.7s Saturn.Mpsc_queue parallel 564s ================================================================================ 564s success (ran 2 tests) 579s (cd _build/default/test/ws_deque && ./qcheck_ws_deque.exe) 579s qcheck random seed: 688505071 579s Testing `Ws_deque'. 579s This run has ID `YSXVLJLP'. 579s 579s [OK] one_producer 0 pops_are_in_order. 579s [OK] one_producer 1 pop_on_empty_deque_rai... 579s [OK] one_producer_one_stealer 0 steals_are_in_order. 579s [OK] one_producer_one_stealer 1 parallel_pushes_and_st... 579s [OK] one_producer_one_stealer 2 parallel_pops_and_steals. 579s [OK] one_producer_two_stealers 0 parallel_steals. 579s 579s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/ws_deque/_build/_tests/Ws_deque'. 579s Test Successful in 14.036s. 6 tests run. 586s (cd _build/default/test/skiplist && ./stm_skiplist.exe) 586s random seed: 1966374049786773272 586s generated error fail pass / total time test name 586s [ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential (generating) [✓] 32 0 0 32 / 32 0.0s Saturn.Skiplist sequential 586s [ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist parallel [ ] 1 0 0 1 / 32 0.8s Saturn.Skiplist parallel [ ] 2 0 0 2 / 32 1.7s Saturn.Skiplist parallel [ ] 3 0 0 3 / 32 2.9s Saturn.Skiplist parallel [ ] 4 0 0 4 / 32 3.8s Saturn.Skiplist parallel [ ] 5 0 0 5 / 32 4.7s Saturn.Skiplist parallel [ ] 6 0 0 6 / 32 6.5s Saturn.Skiplist parallel [ ] 7 0 0 7 / 32 7.3s Saturn.Skiplist parallel [ ] 8 0 0 8 / 32 8.2s Saturn.Skiplist parallel [ ] 9 0 0 9 / 32 9.1s Saturn.Skiplist parallel [ ] 10 0 0 10 / 32 10.0s Saturn.Skiplist parallel [ ] 11 0 0 11 / 32 10.3s Saturn.Skiplist parallel [ ] 12 0 0 12 / 32 11.0s Saturn.Skiplist parallel [ ] 13 0 0 13 / 32 11.8s Saturn.Skiplist parallel [ ] 14 0 0 14 / 32 12.6s Saturn.Skiplist parallel [ ] 15 0 0 15 / 32 13.2s Saturn.Skiplist parallel [ ] 16 0 0 16 / 32 14.5s Saturn.Skiplist parallel [ ] 17 0 0 17 / 32 15.5s Saturn.Skiplist parallel [ ] 18 0 0 18 / 32 16.1s Saturn.Skiplist parallel [ ] 19 0 0 19 / 32 17.0s Saturn.Skiplist parallel [ ] 20 0 0 20 / 32 18.0s Saturn.Skiplist parallel [ ] 21 0 0 21 / 32 18.8s Saturn.Skiplist parallel [ ] 22 0 0 22 / 32 19.8s Saturn.Skiplist parallel [ ] 23 0 0 23 / 32 20.6s Saturn.Skiplist parallel [ ] 24 0 0 24 / 32 21.8s Saturn.Skiplist parallel [ ] 25 0 0 25 / 32 22.7s Saturn.Skiplist parallel [ ] 26 0 0 26 / 32 23.4s Saturn.Skiplist parallel [ ] 27 0 0 27 / 32 24.3s Saturn.Skiplist parallel [ ] 28 0 0 28 / 32 25.0s Saturn.Skiplist parallel [ ] 29 0 0 29 / 32 25.9s Saturn.Skiplist parallel [ ] 30 0 0 30 / 32 27.4s Saturn.Skiplist parallel [ ] 31 0 0 31 / 32 28.4s Saturn.Skiplist parallel [ ] 32 0 0 32 / 32 29.4s Saturn.Skiplist parallel [✓] 32 0 0 32 / 32 29.4s Saturn.Skiplist parallel 586s ================================================================================ 586s success (ran 2 tests) 586s random seed: 1070066719550306101 586s generated error fail pass / total time test name 586s [ ] 0 0 0 0 / 33 0.0s Saturn.Skiplist sequential [✓] 33 0 0 33 / 33 0.0s Saturn.Skiplist sequential 586s [ ] 0 0 0 0 / 33 0.0s Saturn.Skiplist parallel [ ] 1 0 0 1 / 33 0.9s Saturn.Skiplist parallel [ ] 2 0 0 2 / 33 1.6s Saturn.Skiplist parallel [ ] 3 0 0 3 / 33 2.5s Saturn.Skiplist parallel [ ] 4 0 0 4 / 33 3.0s Saturn.Skiplist parallel [ ] 5 0 0 5 / 33 3.8s Saturn.Skiplist parallel [ ] 6 0 0 6 / 33 4.8s Saturn.Skiplist parallel [ ] 7 0 0 7 / 33 5.7s Saturn.Skiplist parallel [ ] 8 0 0 8 / 33 6.5s Saturn.Skiplist parallel [ ] 9 0 0 9 / 33 7.2s Saturn.Skiplist parallel [ ] 10 0 0 10 / 33 8.0s Saturn.Skiplist parallel [ ] 11 0 0 11 / 33 9.2s Saturn.Skiplist parallel [ ] 12 0 0 12 / 33 10.2s Saturn.Skiplist parallel [ ] 13 0 0 13 / 33 11.2s Saturn.Skiplist parallel [ ] 14 0 0 14 / 33 11.7s Saturn.Skiplist parallel [ ] 15 0 0 15 / 33 12.7s Saturn.Skiplist parallel [ ] 16 0 0 16 / 33 13.7s Saturn.Skiplist parallel [ ] 17 0 0 17 / 33 14.7s Saturn.Skiplist parallel [ ] 18 0 0 18 / 33 15.4s Saturn.Skiplist parallel [ ] 19 0 0 19 / 33 16.6s Saturn.Skiplist parallel [ ] 20 0 0 20 / 33 17.4s Saturn.Skiplist parallel [ ] 21 0 0 21 / 33 18.1s Saturn.Skiplist parallel [ ] 22 0 0 22 / 33 18.9s Saturn.Skiplist parallel [ ] 23 0 0 23 / 33 19.9s Saturn.Skiplist parallel [ ] 24 0 0 24 / 33 20.9s Saturn.Skiplist parallel [ ] 25 0 0 25 / 33 21.7s Saturn.Skiplist parallel [ ] 26 0 0 26 / 33 22.5s Saturn.Skiplist parallel [ ] 27 0 0 27 / 33 23.6s Saturn.Skiplist parallel [ ] 28 0 0 28 / 33 24.5s Saturn.Skiplist parallel [ ] 29 0 0 29 / 33 25.4s Saturn.Skiplist parallel [ ] 30 0 0 30 / 33 26.1s Saturn.Skiplist parallel [ ] 31 0 0 31 / 33 27.1s Saturn.Skiplist parallel [ ] 32 0 0 32 / 33 28.2s Saturn.Skiplist parallel [ ] 33 0 0 33 / 33 29.6s Saturn.Skiplist parallel [✓] 33 0 0 33 / 33 29.6s Saturn.Skiplist parallel 586s ================================================================================ 586s success (ran 2 tests) 586s random seed: 410651675665256135 586s generated error fail pass / total time test name 586s [ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Skiplist sequential 586s [ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist parallel [ ] 1 0 0 1 / 32 1.7s Saturn.Skiplist parallel [ ] 2 0 0 2 / 32 2.8s Saturn.Skiplist parallel [ ] 3 0 0 3 / 32 3.8s Saturn.Skiplist parallel [ ] 4 0 0 4 / 32 4.7s Saturn.Skiplist parallel [ ] 5 0 0 5 / 32 5.7s Saturn.Skiplist parallel [ ] 6 0 0 6 / 32 6.7s Saturn.Skiplist parallel [ ] 7 0 0 7 / 32 7.5s Saturn.Skiplist parallel [ ] 8 0 0 8 / 32 8.3s Saturn.Skiplist parallel [ ] 9 0 0 9 / 32 8.9s Saturn.Skiplist parallel [ ] 10 0 0 10 / 32 9.6s Saturn.Skiplist parallel [ ] 11 0 0 11 / 32 10.4s Saturn.Skiplist parallel [ ] 12 0 0 12 / 32 11.1s Saturn.Skiplist parallel [ ] 13 0 0 13 / 32 12.0s Saturn.Skiplist parallel [ ] 14 0 0 14 / 32 13.3s Saturn.Skiplist parallel [ ] 15 0 0 15 / 32 14.3s Saturn.Skiplist parallel [ ] 16 0 0 16 / 32 15.4s Saturn.Skiplist parallel [ ] 17 0 0 17 / 32 17.0s Saturn.Skiplist parallel [ ] 18 0 0 18 / 32 18.3s Saturn.Skiplist parallel [ ] 19 0 0 19 / 32 19.3s Saturn.Skiplist parallel [ ] 20 0 0 20 / 32 20.3s Saturn.Skiplist parallel [ ] 21 0 0 21 / 32 21.3s Saturn.Skiplist parallel [ ] 22 0 0 22 / 32 22.3s Saturn.Skiplist parallel [ ] 23 0 0 23 / 32 23.4s Saturn.Skiplist parallel [ ] 24 0 0 24 / 32 24.8s Saturn.Skiplist parallel [ ] 25 0 0 25 / 32 25.9s Saturn.Skiplist parallel [ ] 26 0 0 26 / 32 26.9s Saturn.Skiplist parallel [ ] 27 0 0 27 / 32 27.6s Saturn.Skiplist parallel [ ] 28 0 0 28 / 32 28.3s Saturn.Skiplist parallel [ ] 29 0 0 29 / 32 29.1s Saturn.Skiplist parallel [ ] 30 0 0 30 / 32 29.9s Saturn.Skiplist parallel [ ] 31 0 0 31 / 32 30.7s Saturn.Skiplist parallel [ ] 32 0 0 32 / 32 31.6s Saturn.Skiplist parallel [✓] 32 0 0 32 / 32 31.6s Saturn.Skiplist parallel 586s ================================================================================ 586s success (ran 2 tests) 603s (cd _build/default/test/ws_deque && ./ws_deque_dscheck.exe) 603s Testing `ws_deque_dscheck'. 603s This run has ID `XS3EHGE7'. 603s 603s [OK] basic 0 1-owner-1-stealer. 603s [OK] basic 1 1-popped-n-stealers. 603s [OK] basic 2 1-popped-n-stealers-drop. 603s [OK] basic 3 1-owner-2-stealers. 603s [OK] basic 4 of_list-n-stealers. 603s 603s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/ws_deque/_build/_tests/ws_deque_dscheck'. 603s Test Successful in 24.187s. 5 tests run. 609s (cd _build/default/test/size && ./stm_size.exe) 609s random seed: 2561225400221451765 609s generated error fail pass / total time test name 609s [ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential (generating) [✓] 32 0 0 32 / 32 0.0s Saturn.Size sequential 609s [ ] 0 0 0 0 / 32 0.0s Saturn.Size parallel [ ] 1 0 0 1 / 32 0.8s Saturn.Size parallel [ ] 2 0 0 2 / 32 1.5s Saturn.Size parallel [ ] 3 0 0 3 / 32 2.6s Saturn.Size parallel [ ] 4 0 0 4 / 32 3.1s Saturn.Size parallel [ ] 5 0 0 5 / 32 3.6s Saturn.Size parallel [ ] 6 0 0 6 / 32 4.4s Saturn.Size parallel [ ] 7 0 0 7 / 32 5.3s Saturn.Size parallel [ ] 8 0 0 8 / 32 7.9s Saturn.Size parallel [ ] 9 0 0 9 / 32 9.2s Saturn.Size parallel [ ] 10 0 0 10 / 32 10.2s Saturn.Size parallel [ ] 11 0 0 11 / 32 11.1s Saturn.Size parallel [ ] 12 0 0 12 / 32 11.9s Saturn.Size parallel [ ] 13 0 0 13 / 32 12.7s Saturn.Size parallel [ ] 14 0 0 14 / 32 13.8s Saturn.Size parallel [ ] 15 0 0 15 / 32 14.7s Saturn.Size parallel [ ] 16 0 0 16 / 32 15.6s Saturn.Size parallel [ ] 17 0 0 17 / 32 16.7s Saturn.Size parallel [ ] 18 0 0 18 / 32 17.7s Saturn.Size parallel [ ] 19 0 0 19 / 32 18.5s Saturn.Size parallel [ ] 20 0 0 20 / 32 19.5s Saturn.Size parallel [ ] 21 0 0 21 / 32 20.5s Saturn.Size parallel [ ] 22 0 0 22 / 32 21.7s Saturn.Size parallel [ ] 23 0 0 23 / 32 22.7s Saturn.Size parallel [ ] 24 0 0 24 / 32 23.9s Saturn.Size parallel [ ] 25 0 0 25 / 32 25.2s Saturn.Size parallel [ ] 26 0 0 26 / 32 26.2s Saturn.Size parallel [ ] 27 0 0 27 / 32 27.3s Saturn.Size parallel [ ] 28 0 0 28 / 32 28.3s Saturn.Size parallel [ ] 29 0 0 29 / 32 29.3s Saturn.Size parallel [ ] 30 0 0 30 / 32 30.1s Saturn.Size parallel [ ] 31 0 0 31 / 32 30.9s Saturn.Size parallel [ ] 32 0 0 32 / 32 31.3s Saturn.Size parallel [✓] 32 0 0 32 / 32 31.3s Saturn.Size parallel 609s ================================================================================ 609s success (ran 2 tests) 609s random seed: 3021074142990068373 609s generated error fail pass / total time test name 609s [ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Size sequential 609s [ ] 0 0 0 0 / 32 0.0s Saturn.Size parallel [ ] 1 0 0 1 / 32 1.3s Saturn.Size parallel [ ] 2 0 0 2 / 32 2.2s Saturn.Size parallel [ ] 3 0 0 3 / 32 3.6s Saturn.Size parallel [ ] 4 0 0 4 / 32 4.5s Saturn.Size parallel [ ] 5 0 0 5 / 32 5.6s Saturn.Size parallel [ ] 6 0 0 6 / 32 6.7s Saturn.Size parallel [ ] 7 0 0 7 / 32 7.7s Saturn.Size parallel [ ] 8 0 0 8 / 32 8.6s Saturn.Size parallel [ ] 9 0 0 9 / 32 9.7s Saturn.Size parallel [ ] 10 0 0 10 / 32 10.8s Saturn.Size parallel [ ] 11 0 0 11 / 32 11.8s Saturn.Size parallel [ ] 12 0 0 12 / 32 12.9s Saturn.Size parallel [ ] 13 0 0 13 / 32 13.9s Saturn.Size parallel [ ] 14 0 0 14 / 32 14.8s Saturn.Size parallel [ ] 15 0 0 15 / 32 15.7s Saturn.Size parallel [ ] 16 0 0 16 / 32 16.7s Saturn.Size parallel [ ] 17 0 0 17 / 32 17.7s Saturn.Size parallel [ ] 18 0 0 18 / 32 18.6s Saturn.Size parallel [ ] 19 0 0 19 / 32 19.4s Saturn.Size parallel [ ] 20 0 0 20 / 32 20.3s Saturn.Size parallel [ ] 21 0 0 21 / 32 21.4s Saturn.Size parallel [ ] 22 0 0 22 / 32 23.0s Saturn.Size parallel [ ] 23 0 0 23 / 32 24.1s Saturn.Size parallel [ ] 24 0 0 24 / 32 25.2s Saturn.Size parallel [ ] 25 0 0 25 / 32 26.0s Saturn.Size parallel [ ] 26 0 0 26 / 32 26.7s Saturn.Size parallel [ ] 27 0 0 27 / 32 27.1s Saturn.Size parallel [ ] 28 0 0 28 / 32 27.8s Saturn.Size parallel [ ] 29 0 0 29 / 32 28.4s Saturn.Size parallel [ ] 30 0 0 30 / 32 29.1s Saturn.Size parallel [ ] 31 0 0 31 / 32 29.8s Saturn.Size parallel [ ] 32 0 0 32 / 32 31.0s Saturn.Size parallel [✓] 32 0 0 32 / 32 31.0s Saturn.Size parallel 609s ================================================================================ 609s success (ran 2 tests) 633s (cd _build/default/test/ws_deque && ./stm_ws_deque.exe) 633s random seed: 1151333087871195121 633s generated error fail pass / total time test name 633s [ ] 0 0 0 0 / 32 0.0s Saturn.Ws_deque sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Ws_deque sequential (generating) [✓] 32 0 0 32 / 32 0.0s Saturn.Ws_deque sequential 633s [ ] 0 0 0 0 / 32 0.0s Saturn.Ws_deque parallel [ ] 1 0 0 1 / 32 0.7s Saturn.Ws_deque parallel [ ] 2 0 0 2 / 32 1.6s Saturn.Ws_deque parallel [ ] 3 0 0 3 / 32 2.1s Saturn.Ws_deque parallel [ ] 4 0 0 4 / 32 2.6s Saturn.Ws_deque parallel [ ] 5 0 0 5 / 32 3.7s Saturn.Ws_deque parallel [ ] 6 0 0 6 / 32 4.2s Saturn.Ws_deque parallel [ ] 7 0 0 7 / 32 4.8s Saturn.Ws_deque parallel [ ] 8 0 0 8 / 32 5.3s Saturn.Ws_deque parallel [ ] 9 0 0 9 / 32 5.9s Saturn.Ws_deque parallel [ ] 10 0 0 10 / 32 6.5s Saturn.Ws_deque parallel [ ] 11 0 0 11 / 32 7.1s Saturn.Ws_deque parallel [ ] 12 0 0 12 / 32 7.6s Saturn.Ws_deque parallel [ ] 13 0 0 13 / 32 8.1s Saturn.Ws_deque parallel [ ] 14 0 0 14 / 32 8.6s Saturn.Ws_deque parallel [ ] 15 0 0 15 / 32 9.4s Saturn.Ws_deque parallel [ ] 16 0 0 16 / 32 9.9s Saturn.Ws_deque parallel [ ] 17 0 0 17 / 32 10.3s Saturn.Ws_deque parallel [ ] 18 0 0 18 / 32 11.1s Saturn.Ws_deque parallel [ ] 19 0 0 19 / 32 11.6s Saturn.Ws_deque parallel [ ] 20 0 0 20 / 32 12.3s Saturn.Ws_deque parallel [ ] 21 0 0 21 / 32 12.8s Saturn.Ws_deque parallel [ ] 22 0 0 22 / 32 13.5s Saturn.Ws_deque parallel [ ] 23 0 0 23 / 32 14.2s Saturn.Ws_deque parallel [ ] 24 0 0 24 / 32 15.0s Saturn.Ws_deque parallel [ ] 25 0 0 25 / 32 15.6s Saturn.Ws_deque parallel [ ] 26 0 0 26 / 32 16.3s Saturn.Ws_deque parallel [ ] 27 0 0 27 / 32 17.0s Saturn.Ws_deque parallel [ ] 28 0 0 28 / 32 17.7s Saturn.Ws_deque parallel [ ] 29 0 0 29 / 32 18.3s Saturn.Ws_deque parallel [ ] 30 0 0 30 / 32 18.9s Saturn.Ws_deque parallel [ ] 31 0 0 31 / 32 19.3s Saturn.Ws_deque parallel [ ] 32 0 0 32 / 32 20.1s Saturn.Ws_deque parallel [✓] 32 0 0 32 / 32 20.1s Saturn.Ws_deque parallel 633s ================================================================================ 633s success (ran 2 tests) 633s random seed: 3022353285198729489 633s generated error fail pass / total time test name 633s [ ] 0 0 0 0 / 63 0.0s Saturn.Ws_deque sequential [✓] 63 0 0 63 / 63 0.0s Saturn.Ws_deque sequential 633s [ ] 0 0 0 0 / 63 0.0s Saturn.Ws_deque parallel [ ] 1 0 0 1 / 63 0.6s Saturn.Ws_deque parallel [ ] 2 0 0 2 / 63 1.4s Saturn.Ws_deque parallel [ ] 3 0 0 3 / 63 2.1s Saturn.Ws_deque parallel [ ] 4 0 0 4 / 63 2.5s Saturn.Ws_deque parallel [ ] 5 0 0 5 / 63 3.0s Saturn.Ws_deque parallel [ ] 6 0 0 6 / 63 3.6s Saturn.Ws_deque parallel [ ] 7 0 0 7 / 63 4.0s Saturn.Ws_deque parallel [ ] 8 0 0 8 / 63 4.5s Saturn.Ws_deque parallel [ ] 9 0 0 9 / 63 5.0s Saturn.Ws_deque parallel [ ] 10 0 0 10 / 63 5.5s Saturn.Ws_deque parallel [ ] 11 0 0 11 / 63 6.0s Saturn.Ws_deque parallel [ ] 12 0 0 12 / 63 6.5s Saturn.Ws_deque parallel [ ] 13 0 0 13 / 63 7.1s Saturn.Ws_deque parallel [ ] 14 0 0 14 / 63 7.5s Saturn.Ws_deque parallel [ ] 15 0 0 15 / 63 8.0s Saturn.Ws_deque parallel [ ] 16 0 0 16 / 63 8.5s Saturn.Ws_deque parallel [ ] 17 0 0 17 / 63 9.0s Saturn.Ws_deque parallel [ ] 18 0 0 18 / 63 10.1s Saturn.Ws_deque parallel [ ] 19 0 0 19 / 63 11.2s Saturn.Ws_deque parallel [ ] 20 0 0 20 / 63 11.6s Saturn.Ws_deque parallel [ ] 21 0 0 21 / 63 12.0s Saturn.Ws_deque parallel [ ] 22 0 0 22 / 63 12.6s Saturn.Ws_deque parallel [ ] 23 0 0 23 / 63 13.0s Saturn.Ws_deque parallel [ ] 24 0 0 24 / 63 13.6s Saturn.Ws_deque parallel [ ] 25 0 0 25 / 63 14.2s Saturn.Ws_deque parallel [ ] 26 0 0 26 / 63 14.9s Saturn.Ws_deque parallel [ ] 27 0 0 27 / 63 15.3s Saturn.Ws_deque parallel [ ] 28 0 0 28 / 63 15.7s Saturn.Ws_deque parallel [ ] 29 0 0 29 / 63 16.3s Saturn.Ws_deque parallel [ ] 30 0 0 30 / 63 16.9s Saturn.Ws_deque parallel [ ] 31 0 0 31 / 63 17.3s Saturn.Ws_deque parallel [ ] 32 0 0 32 / 63 17.8s Saturn.Ws_deque parallel [ ] 33 0 0 33 / 63 18.8s Saturn.Ws_deque parallel [ ] 34 0 0 34 / 63 19.4s Saturn.Ws_deque parallel [ ] 35 0 0 35 / 63 19.8s Saturn.Ws_deque parallel [ ] 36 0 0 36 / 63 20.6s Saturn.Ws_deque parallel [ ] 37 0 0 37 / 63 21.1s Saturn.Ws_deque parallel [ ] 38 0 0 38 / 63 21.7s Saturn.Ws_deque parallel [ ] 39 0 0 39 / 63 22.3s Saturn.Ws_deque parallel [ ] 40 0 0 40 / 63 23.1s Saturn.Ws_deque parallel [ ] 41 0 0 41 / 63 23.6s Saturn.Ws_deque parallel [ ] 42 0 0 42 / 63 24.1s Saturn.Ws_deque parallel [ ] 43 0 0 43 / 63 24.6s Saturn.Ws_deque parallel [ ] 44 0 0 44 / 63 25.1s Saturn.Ws_deque parallel [ ] 45 0 0 45 / 63 25.6s Saturn.Ws_deque parallel [ ] 46 0 0 46 / 63 26.0s Saturn.Ws_deque parallel [ ] 47 0 0 47 / 63 26.5s Saturn.Ws_deque parallel [ ] 48 0 0 48 / 63 27.0s Saturn.Ws_deque parallel [ ] 49 0 0 49 / 63 27.4s Saturn.Ws_deque parallel [ ] 50 0 0 50 / 63 27.7s Saturn.Ws_deque parallel [ ] 51 0 0 51 / 63 28.2s Saturn.Ws_deque parallel [ ] 52 0 0 52 / 63 28.5s Saturn.Ws_deque parallel [ ] 53 0 0 53 / 63 29.3s Saturn.Ws_deque parallel [ ] 54 0 0 54 / 63 29.9s Saturn.Ws_deque parallel [ ] 55 0 0 55 / 63 30.4s Saturn.Ws_deque parallel [ ] 56 0 0 56 / 63 31.3s Saturn.Ws_deque parallel [ ] 57 0 0 57 / 63 32.1s Saturn.Ws_deque parallel [ ] 58 0 0 58 / 63 33.0s Saturn.Ws_deque parallel [ ] 59 0 0 59 / 63 33.7s Saturn.Ws_deque parallel [ ] 60 0 0 60 / 63 34.6s Saturn.Ws_deque parallel [ ] 61 0 0 61 / 63 35.2s Saturn.Ws_deque parallel [ ] 62 0 0 62 / 63 36.1s Saturn.Ws_deque parallel [ ] 63 0 0 63 / 63 36.6s Saturn.Ws_deque parallel [✓] 63 0 0 63 / 63 36.6s Saturn.Ws_deque parallel 633s ================================================================================ 633s success (ran 2 tests) 633s random seed: 2911128060244781821 633s generated error fail pass / total time test name 633s [ ] 0 0 0 0 / 32 0.0s Saturn.Ws_deque sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Ws_deque sequential 633s [ ] 0 0 0 0 / 32 0.0s Saturn.Ws_deque parallel [ ] 1 0 0 1 / 32 0.7s Saturn.Ws_deque parallel [ ] 2 0 0 2 / 32 1.5s Saturn.Ws_deque parallel [ ] 3 0 0 3 / 32 2.1s Saturn.Ws_deque parallel [ ] 4 0 0 4 / 32 2.6s Saturn.Ws_deque parallel [ ] 5 0 0 5 / 32 3.1s Saturn.Ws_deque parallel [ ] 6 0 0 6 / 32 3.8s Saturn.Ws_deque parallel [ ] 7 0 0 7 / 32 4.4s Saturn.Ws_deque parallel [ ] 8 0 0 8 / 32 4.8s Saturn.Ws_deque parallel [ ] 9 0 0 9 / 32 5.1s Saturn.Ws_deque parallel [ ] 10 0 0 10 / 32 5.7s Saturn.Ws_deque parallel [ ] 11 0 0 11 / 32 6.7s Saturn.Ws_deque parallel [ ] 12 0 0 12 / 32 7.4s Saturn.Ws_deque parallel [ ] 13 0 0 13 / 32 8.1s Saturn.Ws_deque parallel [ ] 14 0 0 14 / 32 8.6s Saturn.Ws_deque parallel [ ] 15 0 0 15 / 32 8.9s Saturn.Ws_deque parallel [ ] 16 0 0 16 / 32 9.3s Saturn.Ws_deque parallel [ ] 17 0 0 17 / 32 9.8s Saturn.Ws_deque parallel [ ] 18 0 0 18 / 32 10.6s Saturn.Ws_deque parallel [ ] 19 0 0 19 / 32 11.4s Saturn.Ws_deque parallel [ ] 20 0 0 20 / 32 12.0s Saturn.Ws_deque parallel [ ] 21 0 0 21 / 32 12.6s Saturn.Ws_deque parallel [ ] 22 0 0 22 / 32 13.2s Saturn.Ws_deque parallel [ ] 23 0 0 23 / 32 13.8s Saturn.Ws_deque parallel [ ] 24 0 0 24 / 32 14.2s Saturn.Ws_deque parallel [ ] 25 0 0 25 / 32 14.8s Saturn.Ws_deque parallel [ ] 26 0 0 26 / 32 15.3s Saturn.Ws_deque parallel [ ] 27 0 0 27 / 32 16.0s Saturn.Ws_deque parallel [ ] 28 0 0 28 / 32 16.7s Saturn.Ws_deque parallel [ ] 29 0 0 29 / 32 17.4s Saturn.Ws_deque parallel [ ] 30 0 0 30 / 32 18.0s Saturn.Ws_deque parallel [ ] 31 0 0 31 / 32 18.7s Saturn.Ws_deque parallel [ ] 32 0 0 32 / 32 19.5s Saturn.Ws_deque parallel [✓] 32 0 0 32 / 32 19.5s Saturn.Ws_deque parallel 633s ================================================================================ 633s success (ran 2 tests) 644s (cd _build/default/test/bounded_queue && ./qcheck_bounded_queue.exe) 644s qcheck random seed: 99218823 644s Testing `Bounded_queue'. 644s This run has ID `QS96JZ6Z'. 644s 644s [OK] test_sequential_safe 0 push. 644s [OK] test_sequential_safe 1 of_list_exn. 644s [OK] test_sequential_safe 2 of_list_exn_raise_full. 644s [OK] test_sequential_safe 3 push_capacity. 644s [OK] test_sequential_safe 4 push_pop_opt_until_empty. 644s [OK] test_sequential_safe 5 fifo. 644s [OK] test_sequential_safe 6 fifo_peek_opt. 644s [OK] one_cons_one_prod_safe 0 parallel_fifo. 644s [OK] one_cons_one_prod_safe 1 parallel_peek. 644s [OK] two_domains_safe 0 parallel_pop_opt_push. 644s [OK] two_domains_safe 1 parallel_pop_opt_push_r... 644s [OK] test_sequential_unsafe 0 push. 644s [OK] test_sequential_unsafe 1 of_list_exn. 644s [OK] test_sequential_unsafe 2 of_list_exn_raise_full. 644s [OK] test_sequential_unsafe 3 push_capacity. 644s [OK] test_sequential_unsafe 4 push_pop_opt_until_empty. 644s [OK] test_sequential_unsafe 5 fifo. 644s [OK] test_sequential_unsafe 6 fifo_peek_opt. 644s [OK] one_cons_one_prod_unsafe 0 parallel_fifo. 644s [OK] one_cons_one_prod_unsafe 1 parallel_peek. 644s [OK] two_domains_unsafe 0 parallel_pop_opt_push. 644s [OK] two_domains_unsafe 1 parallel_pop_opt_push_r... 644s 644s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/bounded_queue/_build/_tests/Bounded_queue'. 644s Test Successful in 36.308s. 22 tests run. 668s (cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe) 668s qcheck random seed: 73762758 668s Testing `Michael_scott_queue'. 668s This run has ID `JO5WD1AV'. 668s 668s [OK] test_sequential_safe 0 push. 668s [OK] test_sequential_safe 1 push_pop_opt_until_empty. 668s [OK] test_sequential_safe 2 fifo. 668s [OK] test_sequential_safe 3 fifo_peek_opt. 668s [OK] one_cons_one_prod_safe 0 parallel_fifo. 668s [OK] one_cons_one_prod_safe 1 parallel_peek. 668s [OK] two_domains_safe 0 parallel_pop_opt_push. 668s [OK] two_domains_safe 1 parallel_pop_opt_push_r... 668s [OK] test_sequential_unsafe 0 push. 668s [OK] test_sequential_unsafe 1 push_pop_opt_until_empty. 668s [OK] test_sequential_unsafe 2 fifo. 668s [OK] test_sequential_unsafe 3 fifo_peek_opt. 668s [OK] one_cons_one_prod_unsafe 0 parallel_fifo. 668s [OK] one_cons_one_prod_unsafe 1 parallel_peek. 668s [OK] two_domains_unsafe 0 parallel_pop_opt_push. 668s [OK] two_domains_unsafe 1 parallel_pop_opt_push_r... 668s 668s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/michael_scott_queue/_build/_tests/Michael_scott_queue'. 668s Test Successful in 34.447s. 16 tests run. 668s (cd _build/default/test/spsc_queue && ./test_spsc_queue.exe) 668s test_Spsc_queue_empty: ok 668s test_Spsc_queue_full: ok 668s test_Spsc_queue_parallel: ok (transferred = 100000) 668s test_Spsc_queue_unsafe_empty: ok 668s test_Spsc_queue_unsafe_full: ok 668s test_Spsc_queue_unsafe_parallel: ok (transferred = 100000) 675s (cd _build/default/test/bounded_queue && ./stm_bounded_queue.exe) 675s random seed: 645759764823836522 675s generated error fail pass / total time test name 675s [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue sequential (generating) [✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_queue sequential 675s [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue parallel [ ] 1 0 0 1 / 32 0.6s Saturn.Bounded_queue parallel [ ] 2 0 0 2 / 32 1.1s Saturn.Bounded_queue parallel [ ] 3 0 0 3 / 32 2.4s Saturn.Bounded_queue parallel [ ] 4 0 0 4 / 32 3.5s Saturn.Bounded_queue parallel [ ] 5 0 0 5 / 32 4.7s Saturn.Bounded_queue parallel [ ] 6 0 0 6 / 32 5.5s Saturn.Bounded_queue parallel [ ] 7 0 0 7 / 32 6.4s Saturn.Bounded_queue parallel [ ] 8 0 0 8 / 32 7.4s Saturn.Bounded_queue parallel [ ] 9 0 0 9 / 32 8.8s Saturn.Bounded_queue parallel [ ] 10 0 0 10 / 32 9.9s Saturn.Bounded_queue parallel [ ] 11 0 0 11 / 32 11.0s Saturn.Bounded_queue parallel [ ] 12 0 0 12 / 32 12.2s Saturn.Bounded_queue parallel [ ] 13 0 0 13 / 32 13.5s Saturn.Bounded_queue parallel [ ] 14 0 0 14 / 32 14.6s Saturn.Bounded_queue parallel [ ] 15 0 0 15 / 32 15.6s Saturn.Bounded_queue parallel [ ] 16 0 0 16 / 32 16.7s Saturn.Bounded_queue parallel [ ] 17 0 0 17 / 32 18.0s Saturn.Bounded_queue parallel [ ] 18 0 0 18 / 32 18.8s Saturn.Bounded_queue parallel [ ] 19 0 0 19 / 32 19.6s Saturn.Bounded_queue parallel [ ] 20 0 0 20 / 32 20.5s Saturn.Bounded_queue parallel [ ] 21 0 0 21 / 32 21.4s Saturn.Bounded_queue parallel [ ] 22 0 0 22 / 32 22.4s Saturn.Bounded_queue parallel [ ] 23 0 0 23 / 32 23.4s Saturn.Bounded_queue parallel [ ] 24 0 0 24 / 32 24.4s Saturn.Bounded_queue parallel [ ] 25 0 0 25 / 32 25.6s Saturn.Bounded_queue parallel [ ] 26 0 0 26 / 32 26.9s Saturn.Bounded_queue parallel [ ] 27 0 0 27 / 32 28.4s Saturn.Bounded_queue parallel [ ] 28 0 0 28 / 32 29.9s Saturn.Bounded_queue parallel [ ] 29 0 0 29 / 32 30.9s Saturn.Bounded_queue parallel [ ] 30 0 0 30 / 32 31.8s Saturn.Bounded_queue parallel [ ] 31 0 0 31 / 32 32.8s Saturn.Bounded_queue parallel [ ] 32 0 0 32 / 32 34.5s Saturn.Bounded_queue parallel [✓] 32 0 0 32 / 32 34.5s Saturn.Bounded_queue parallel 675s ================================================================================ 675s success (ran 2 tests) 675s random seed: 2879463507824070112 675s generated error fail pass / total time test name 675s [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_queue sequential 675s [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue parallel [ ] 1 0 0 1 / 32 1.4s Saturn.Bounded_queue parallel [ ] 2 0 0 2 / 32 2.7s Saturn.Bounded_queue parallel [ ] 3 0 0 3 / 32 3.8s Saturn.Bounded_queue parallel [ ] 4 0 0 4 / 32 4.7s Saturn.Bounded_queue parallel [ ] 5 0 0 5 / 32 5.8s Saturn.Bounded_queue parallel [ ] 6 0 0 6 / 32 7.0s Saturn.Bounded_queue parallel [ ] 7 0 0 7 / 32 8.2s Saturn.Bounded_queue parallel [ ] 8 0 0 8 / 32 9.0s Saturn.Bounded_queue parallel [ ] 9 0 0 9 / 32 9.8s Saturn.Bounded_queue parallel [ ] 10 0 0 10 / 32 10.6s Saturn.Bounded_queue parallel [ ] 11 0 0 11 / 32 11.6s Saturn.Bounded_queue parallel [ ] 12 0 0 12 / 32 12.4s Saturn.Bounded_queue parallel [ ] 13 0 0 13 / 32 13.5s Saturn.Bounded_queue parallel [ ] 14 0 0 14 / 32 14.4s Saturn.Bounded_queue parallel [ ] 15 0 0 15 / 32 15.7s Saturn.Bounded_queue parallel [ ] 16 0 0 16 / 32 17.2s Saturn.Bounded_queue parallel [ ] 17 0 0 17 / 32 18.2s Saturn.Bounded_queue parallel [ ] 18 0 0 18 / 32 19.2s Saturn.Bounded_queue parallel [ ] 19 0 0 19 / 32 19.8s Saturn.Bounded_queue parallel [ ] 20 0 0 20 / 32 20.6s Saturn.Bounded_queue parallel [ ] 21 0 0 21 / 32 21.6s Saturn.Bounded_queue parallel [ ] 22 0 0 22 / 32 22.6s Saturn.Bounded_queue parallel [ ] 23 0 0 23 / 32 23.6s Saturn.Bounded_queue parallel [ ] 24 0 0 24 / 32 24.5s Saturn.Bounded_queue parallel [ ] 25 0 0 25 / 32 25.5s Saturn.Bounded_queue parallel [ ] 26 0 0 26 / 32 26.2s Saturn.Bounded_queue parallel [ ] 27 0 0 27 / 32 27.1s Saturn.Bounded_queue parallel [ ] 28 0 0 28 / 32 27.9s Saturn.Bounded_queue parallel [ ] 29 0 0 29 / 32 28.7s Saturn.Bounded_queue parallel [ ] 30 0 0 30 / 32 29.7s Saturn.Bounded_queue parallel [ ] 31 0 0 31 / 32 30.8s Saturn.Bounded_queue parallel [ ] 32 0 0 32 / 32 31.7s Saturn.Bounded_queue parallel [✓] 32 0 0 32 / 32 31.7s Saturn.Bounded_queue parallel 675s ================================================================================ 675s success (ran 2 tests) 694s (cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe) 694s qcheck random seed: 210711575 694s Testing `Spsc_queues'. 694s This run has ID `YQXGEHBY'. 694s 694s [OK] Spsc_queue 0 seq_pop_opt_push. 694s [OK] Spsc_queue 1 seq_pop_push. 694s [OK] Spsc_queue 2 seq_pop_try_push. 694s [OK] Spsc_queue 3 par_pop_push. 694s [OK] Spsc_queue 4 push_full. 694s [OK] Spsc_queue 5 seq_peek_opt. 694s [OK] Spsc_queue 6 seq_peek. 694s [OK] Spsc_queue 7 par_peek_opt. 694s [OK] Spsc_queue_unsafe 0 seq_pop_opt_push. 694s [OK] Spsc_queue_unsafe 1 seq_pop_push. 694s [OK] Spsc_queue_unsafe 2 seq_pop_try_push. 694s [OK] Spsc_queue_unsafe 3 par_pop_push. 694s [OK] Spsc_queue_unsafe 4 push_full. 694s [OK] Spsc_queue_unsafe 5 seq_peek_opt. 694s [OK] Spsc_queue_unsafe 6 seq_peek. 694s [OK] Spsc_queue_unsafe 7 par_peek_opt. 694s 694s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/spsc_queue/_build/_tests/Spsc_queues'. 694s Test Successful in 25.457s. 16 tests run. 759s (cd _build/default/test/htbl && ./stm_htbl.exe) 759s random seed: 289708603182483470 759s generated error fail pass / total time test name 759s [ ] 0 0 0 0 / 32 0.0s Htbl sequential [ ] 0 0 0 0 / 32 0.0s Htbl sequential (generating) [✓] 32 0 0 32 / 32 0.0s Htbl sequential 759s [ ] 0 0 0 0 / 32 0.0s Htbl parallel [ ] 1 0 0 1 / 32 1.2s Htbl parallel [ ] 2 0 0 2 / 32 2.4s Htbl parallel [ ] 3 0 0 3 / 32 3.6s Htbl parallel [ ] 4 0 0 4 / 32 4.3s Htbl parallel [ ] 5 0 0 5 / 32 5.2s Htbl parallel [ ] 6 0 0 6 / 32 5.9s Htbl parallel [ ] 7 0 0 7 / 32 6.8s Htbl parallel [ ] 8 0 0 8 / 32 7.7s Htbl parallel [ ] 9 0 0 9 / 32 8.7s Htbl parallel [ ] 10 0 0 10 / 32 9.8s Htbl parallel [ ] 11 0 0 11 / 32 10.5s Htbl parallel [ ] 12 0 0 12 / 32 11.5s Htbl parallel [ ] 13 0 0 13 / 32 12.5s Htbl parallel [ ] 14 0 0 14 / 32 13.3s Htbl parallel [ ] 15 0 0 15 / 32 14.2s Htbl parallel [ ] 16 0 0 16 / 32 15.4s Htbl parallel [ ] 17 0 0 17 / 32 16.3s Htbl parallel [ ] 18 0 0 18 / 32 17.3s Htbl parallel [ ] 19 0 0 19 / 32 18.5s Htbl parallel [ ] 20 0 0 20 / 32 19.4s Htbl parallel [ ] 21 0 0 21 / 32 20.8s Htbl parallel [ ] 22 0 0 22 / 32 21.7s Htbl parallel [ ] 23 0 0 23 / 32 23.0s Htbl parallel [ ] 24 0 0 24 / 32 23.9s Htbl parallel [ ] 25 0 0 25 / 32 24.9s Htbl parallel [ ] 26 0 0 26 / 32 26.1s Htbl parallel [ ] 27 0 0 27 / 32 27.2s Htbl parallel [ ] 28 0 0 28 / 32 28.1s Htbl parallel [ ] 29 0 0 29 / 32 29.3s Htbl parallel [ ] 30 0 0 30 / 32 30.3s Htbl parallel [ ] 31 0 0 31 / 32 31.3s Htbl parallel [ ] 32 0 0 32 / 32 32.1s Htbl parallel [✓] 32 0 0 32 / 32 32.1s Htbl parallel 759s ================================================================================ 759s success (ran 2 tests) 759s random seed: 320591282938692155 759s generated error fail pass / total time test name 759s [ ] 0 0 0 0 / 32 0.0s Htbl sequential [✓] 32 0 0 32 / 32 0.0s Htbl sequential 759s [ ] 0 0 0 0 / 32 0.0s Htbl parallel [ ] 1 0 0 1 / 32 0.8s Htbl parallel [ ] 2 0 0 2 / 32 1.7s Htbl parallel [ ] 3 0 0 3 / 32 2.6s Htbl parallel [ ] 4 0 0 4 / 32 3.3s Htbl parallel [ ] 5 0 0 5 / 32 4.4s Htbl parallel [ ] 6 0 0 6 / 32 5.2s Htbl parallel [ ] 7 0 0 7 / 32 6.0s Htbl parallel [ ] 8 0 0 8 / 32 6.8s Htbl parallel [ ] 9 0 0 9 / 32 8.0s Htbl parallel [ ] 10 0 0 10 / 32 8.8s Htbl parallel [ ] 11 0 0 11 / 32 9.8s Htbl parallel [ ] 12 0 0 12 / 32 11.1s Htbl parallel [ ] 13 0 0 13 / 32 12.1s Htbl parallel [ ] 14 0 0 14 / 32 13.2s Htbl parallel [ ] 15 0 0 15 / 32 14.4s Htbl parallel [ ] 16 0 0 16 / 32 15.5s Htbl parallel [ ] 17 0 0 17 / 32 16.7s Htbl parallel [ ] 18 0 0 18 / 32 17.6s Htbl parallel [ ] 19 0 0 19 / 32 18.9s Htbl parallel [ ] 20 0 0 20 / 32 19.9s Htbl parallel [ ] 21 0 0 21 / 32 20.9s Htbl parallel [ ] 22 0 0 22 / 32 21.7s Htbl parallel [ ] 23 0 0 23 / 32 23.0s Htbl parallel [ ] 24 0 0 24 / 32 23.6s Htbl parallel [ ] 25 0 0 25 / 32 24.2s Htbl parallel [ ] 26 0 0 26 / 32 25.1s Htbl parallel [ ] 27 0 0 27 / 32 26.0s Htbl parallel [ ] 28 0 0 28 / 32 26.8s Htbl parallel [ ] 29 0 0 29 / 32 28.8s Htbl parallel [ ] 30 0 0 30 / 32 29.9s Htbl parallel [ ] 31 0 0 31 / 32 31.1s Htbl parallel [ ] 32 0 0 32 / 32 32.3s Htbl parallel [✓] 32 0 0 32 / 32 32.3s Htbl parallel 759s ================================================================================ 759s success (ran 2 tests) 810s (cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe) 810s random seed: 1041614246887022701 810s generated error fail pass / total time test name 810s [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential (generating) [✓] 32 0 0 32 / 32 0.0s Saturn.michael_scott_queue_safe sequential 810s [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe parallel [ ] 1 0 0 1 / 32 0.8s Saturn.michael_scott_queue_safe parallel [ ] 2 0 0 2 / 32 1.2s Saturn.michael_scott_queue_safe parallel [ ] 3 0 0 3 / 32 1.5s Saturn.michael_scott_queue_safe parallel [ ] 4 0 0 4 / 32 2.0s Saturn.michael_scott_queue_safe parallel [ ] 5 0 0 5 / 32 3.2s Saturn.michael_scott_queue_safe parallel [ ] 6 0 0 6 / 32 4.3s Saturn.michael_scott_queue_safe parallel [ ] 7 0 0 7 / 32 5.4s Saturn.michael_scott_queue_safe parallel [ ] 8 0 0 8 / 32 6.5s Saturn.michael_scott_queue_safe parallel [ ] 9 0 0 9 / 32 7.5s Saturn.michael_scott_queue_safe parallel [ ] 10 0 0 10 / 32 8.4s Saturn.michael_scott_queue_safe parallel [ ] 11 0 0 11 / 32 9.4s Saturn.michael_scott_queue_safe parallel [ ] 12 0 0 12 / 32 10.4s Saturn.michael_scott_queue_safe parallel [ ] 13 0 0 13 / 32 11.4s Saturn.michael_scott_queue_safe parallel [ ] 14 0 0 14 / 32 12.4s Saturn.michael_scott_queue_safe parallel [ ] 15 0 0 15 / 32 13.6s Saturn.michael_scott_queue_safe parallel [ ] 16 0 0 16 / 32 14.6s Saturn.michael_scott_queue_safe parallel [ ] 17 0 0 17 / 32 15.7s Saturn.michael_scott_queue_safe parallel [ ] 18 0 0 18 / 32 16.6s Saturn.michael_scott_queue_safe parallel [ ] 19 0 0 19 / 32 17.7s Saturn.michael_scott_queue_safe parallel [ ] 20 0 0 20 / 32 18.7s Saturn.michael_scott_queue_safe parallel [ ] 21 0 0 21 / 32 19.6s Saturn.michael_scott_queue_safe parallel [ ] 22 0 0 22 / 32 20.3s Saturn.michael_scott_queue_safe parallel [ ] 23 0 0 23 / 32 21.1s Saturn.michael_scott_queue_safe parallel [ ] 24 0 0 24 / 32 21.8s Saturn.michael_scott_queue_safe parallel [ ] 25 0 0 25 / 32 23.0s Saturn.michael_scott_queue_safe parallel [ ] 26 0 0 26 / 32 24.0s Saturn.michael_scott_queue_safe parallel [ ] 27 0 0 27 / 32 25.0s Saturn.michael_scott_queue_safe parallel [ ] 28 0 0 28 / 32 26.0s Saturn.michael_scott_queue_safe parallel [ ] 29 0 0 29 / 32 26.7s Saturn.michael_scott_queue_safe parallel [ ] 30 0 0 30 / 32 27.5s Saturn.michael_scott_queue_safe parallel [ ] 31 0 0 31 / 32 28.5s Saturn.michael_scott_queue_safe parallel [ ] 32 0 0 32 / 32 29.5s Saturn.michael_scott_queue_safe parallel [✓] 32 0 0 32 / 32 29.5s Saturn.michael_scott_queue_safe parallel 810s ================================================================================ 810s success (ran 2 tests) 810s random seed: 3425953786874629378 810s generated error fail pass / total time test name 810s [ ] 0 0 0 0 / 33 0.0s Saturn.michael_scott_queue_safe sequential [✓] 33 0 0 33 / 33 0.0s Saturn.michael_scott_queue_safe sequential 810s [ ] 0 0 0 0 / 33 0.0s Saturn.michael_scott_queue_safe parallel [ ] 1 0 0 1 / 33 1.1s Saturn.michael_scott_queue_safe parallel [ ] 2 0 0 2 / 33 2.2s Saturn.michael_scott_queue_safe parallel [ ] 3 0 0 3 / 33 2.6s Saturn.michael_scott_queue_safe parallel [ ] 4 0 0 4 / 33 3.3s Saturn.michael_scott_queue_safe parallel [ ] 5 0 0 5 / 33 4.3s Saturn.michael_scott_queue_safe parallel [ ] 6 0 0 6 / 33 5.3s Saturn.michael_scott_queue_safe parallel [ ] 7 0 0 7 / 33 6.1s Saturn.michael_scott_queue_safe parallel [ ] 8 0 0 8 / 33 6.9s Saturn.michael_scott_queue_safe parallel [ ] 9 0 0 9 / 33 7.9s Saturn.michael_scott_queue_safe parallel [ ] 10 0 0 10 / 33 8.7s Saturn.michael_scott_queue_safe parallel [ ] 11 0 0 11 / 33 9.7s Saturn.michael_scott_queue_safe parallel [ ] 12 0 0 12 / 33 10.7s Saturn.michael_scott_queue_safe parallel [ ] 13 0 0 13 / 33 11.8s Saturn.michael_scott_queue_safe parallel [ ] 14 0 0 14 / 33 12.7s Saturn.michael_scott_queue_safe parallel [ ] 15 0 0 15 / 33 13.7s Saturn.michael_scott_queue_safe parallel [ ] 16 0 0 16 / 33 14.6s Saturn.michael_scott_queue_safe parallel [ ] 17 0 0 17 / 33 15.4s Saturn.michael_scott_queue_safe parallel [ ] 18 0 0 18 / 33 16.6s Saturn.michael_scott_queue_safe parallel [ ] 19 0 0 19 / 33 17.1s Saturn.michael_scott_queue_safe parallel [ ] 20 0 0 20 / 33 17.7s Saturn.michael_scott_queue_safe parallel [ ] 21 0 0 21 / 33 18.9s Saturn.michael_scott_queue_safe parallel [ ] 22 0 0 22 / 33 19.6s Saturn.michael_scott_queue_safe parallel [ ] 23 0 0 23 / 33 20.7s Saturn.michael_scott_queue_safe parallel [ ] 24 0 0 24 / 33 21.5s Saturn.michael_scott_queue_safe parallel [ ] 25 0 0 25 / 33 22.4s Saturn.michael_scott_queue_safe parallel [ ] 26 0 0 26 / 33 23.6s Saturn.michael_scott_queue_safe parallel [ ] 27 0 0 27 / 33 24.1s Saturn.michael_scott_queue_safe parallel [ ] 28 0 0 28 / 33 24.8s Saturn.michael_scott_queue_safe parallel [ ] 29 0 0 29 / 33 25.8s Saturn.michael_scott_queue_safe parallel [ ] 30 0 0 30 / 33 26.9s Saturn.michael_scott_queue_safe parallel [ ] 31 0 0 31 / 33 27.8s Saturn.michael_scott_queue_safe parallel [ ] 32 0 0 32 / 33 28.6s Saturn.michael_scott_queue_safe parallel [ ] 33 0 0 33 / 33 29.5s Saturn.michael_scott_queue_safe parallel [✓] 33 0 0 33 / 33 29.5s Saturn.michael_scott_queue_safe parallel 810s ================================================================================ 810s success (ran 2 tests) 810s random seed: 3569815349234502393 810s generated error fail pass / total time test name 810s [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.michael_scott_queue_safe sequential 810s [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe parallel [ ] 1 0 0 1 / 32 0.7s Saturn.michael_scott_queue_safe parallel [ ] 2 0 0 2 / 32 1.7s Saturn.michael_scott_queue_safe parallel [ ] 3 0 0 3 / 32 2.7s Saturn.michael_scott_queue_safe parallel [ ] 4 0 0 4 / 32 3.9s Saturn.michael_scott_queue_safe parallel [ ] 5 0 0 5 / 32 4.7s Saturn.michael_scott_queue_safe parallel [ ] 6 0 0 6 / 32 5.8s Saturn.michael_scott_queue_safe parallel [ ] 7 0 0 7 / 32 6.8s Saturn.michael_scott_queue_safe parallel [ ] 8 0 0 8 / 32 7.9s Saturn.michael_scott_queue_safe parallel [ ] 9 0 0 9 / 32 8.9s Saturn.michael_scott_queue_safe parallel [ ] 10 0 0 10 / 32 10.2s Saturn.michael_scott_queue_safe parallel [ ] 11 0 0 11 / 32 11.3s Saturn.michael_scott_queue_safe parallel [ ] 12 0 0 12 / 32 12.3s Saturn.michael_scott_queue_safe parallel [ ] 13 0 0 13 / 32 13.3s Saturn.michael_scott_queue_safe parallel [ ] 14 0 0 14 / 32 14.5s Saturn.michael_scott_queue_safe parallel [ ] 15 0 0 15 / 32 15.4s Saturn.michael_scott_queue_safe parallel [ ] 16 0 0 16 / 32 16.1s Saturn.michael_scott_queue_safe parallel [ ] 17 0 0 17 / 32 17.1s Saturn.michael_scott_queue_safe parallel [ ] 18 0 0 18 / 32 18.0s Saturn.michael_scott_queue_safe parallel [ ] 19 0 0 19 / 32 19.1s Saturn.michael_scott_queue_safe parallel [ ] 20 0 0 20 / 32 20.1s Saturn.michael_scott_queue_safe parallel [ ] 21 0 0 21 / 32 21.0s Saturn.michael_scott_queue_safe parallel [ ] 22 0 0 22 / 32 21.8s Saturn.michael_scott_queue_safe parallel [ ] 23 0 0 23 / 32 22.8s Saturn.michael_scott_queue_safe parallel [ ] 24 0 0 24 / 32 23.6s Saturn.michael_scott_queue_safe parallel [ ] 25 0 0 25 / 32 24.6s Saturn.michael_scott_queue_safe parallel [ ] 26 0 0 26 / 32 25.5s Saturn.michael_scott_queue_safe parallel [ ] 27 0 0 27 / 32 26.5s Saturn.michael_scott_queue_safe parallel [ ] 28 0 0 28 / 32 27.6s Saturn.michael_scott_queue_safe parallel [ ] 29 0 0 29 / 32 28.7s Saturn.michael_scott_queue_safe parallel [ ] 30 0 0 30 / 32 29.8s Saturn.michael_scott_queue_safe parallel [ ] 31 0 0 31 / 32 30.5s Saturn.michael_scott_queue_safe parallel [ ] 32 0 0 32 / 32 31.4s Saturn.michael_scott_queue_safe parallel [✓] 32 0 0 32 / 32 31.4s Saturn.michael_scott_queue_safe parallel 810s ================================================================================ 810s success (ran 2 tests) 810s random seed: 438919164616438127 810s generated error fail pass / total time test name 810s [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_unsafe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.michael_scott_queue_unsafe sequential 810s [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_unsafe parallel [ ] 1 0 0 1 / 32 0.9s Saturn.michael_scott_queue_unsafe parallel [ ] 2 0 0 2 / 32 2.0s Saturn.michael_scott_queue_unsafe parallel [ ] 3 0 0 3 / 32 2.9s Saturn.michael_scott_queue_unsafe parallel [ ] 4 0 0 4 / 32 3.9s Saturn.michael_scott_queue_unsafe parallel [ ] 5 0 0 5 / 32 5.1s Saturn.michael_scott_queue_unsafe parallel [ ] 6 0 0 6 / 32 6.2s Saturn.michael_scott_queue_unsafe parallel [ ] 7 0 0 7 / 32 7.3s Saturn.michael_scott_queue_unsafe parallel [ ] 8 0 0 8 / 32 8.3s Saturn.michael_scott_queue_unsafe parallel [ ] 9 0 0 9 / 32 9.2s Saturn.michael_scott_queue_unsafe parallel [ ] 10 0 0 10 / 32 10.5s Saturn.michael_scott_queue_unsafe parallel [ ] 11 0 0 11 / 32 11.5s Saturn.michael_scott_queue_unsafe parallel [ ] 12 0 0 12 / 32 12.3s Saturn.michael_scott_queue_unsafe parallel [ ] 13 0 0 13 / 32 13.2s Saturn.michael_scott_queue_unsafe parallel [ ] 14 0 0 14 / 32 14.2s Saturn.michael_scott_queue_unsafe parallel [ ] 15 0 0 15 / 32 15.3s Saturn.michael_scott_queue_unsafe parallel [ ] 16 0 0 16 / 32 16.3s Saturn.michael_scott_queue_unsafe parallel [ ] 17 0 0 17 / 32 17.1s Saturn.michael_scott_queue_unsafe parallel [ ] 18 0 0 18 / 32 18.3s Saturn.michael_scott_queue_unsafe parallel [ ] 19 0 0 19 / 32 19.8s Saturn.michael_scott_queue_unsafe parallel [ ] 20 0 0 20 / 32 21.6s Saturn.michael_scott_queue_unsafe parallel [ ] 21 0 0 21 / 32 22.5s Saturn.michael_scott_queue_unsafe parallel [ ] 22 0 0 22 / 32 23.6s Saturn.michael_scott_queue_unsafe parallel [ ] 23 0 0 23 / 32 24.4s Saturn.michael_scott_queue_unsafe parallel [ ] 24 0 0 24 / 32 25.4s Saturn.michael_scott_queue_unsafe parallel [ ] 25 0 0 25 / 32 27.1s Saturn.michael_scott_queue_unsafe parallel [ ] 26 0 0 26 / 32 28.4s Saturn.michael_scott_queue_unsafe parallel [ ] 27 0 0 27 / 32 29.8s Saturn.michael_scott_queue_unsafe parallel [ ] 28 0 0 28 / 32 31.6s Saturn.michael_scott_queue_unsafe parallel [ ] 29 0 0 29 / 32 33.2s Saturn.michael_scott_queue_unsafe parallel [ ] 30 0 0 30 / 32 34.1s Saturn.michael_scott_queue_unsafe parallel [ ] 31 0 0 31 / 32 35.8s Saturn.michael_scott_queue_unsafe parallel [ ] 32 0 0 32 / 32 37.4s Saturn.michael_scott_queue_unsafe parallel [✓] 32 0 0 32 / 32 37.4s Saturn.michael_scott_queue_unsafe parallel 810s ================================================================================ 810s success (ran 2 tests) 810s random seed: 1671768691490245119 810s generated error fail pass / total time test name 810s [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_unsafe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.michael_scott_queue_unsafe sequential 810s [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_unsafe parallel [ ] 1 0 0 1 / 32 1.1s Saturn.michael_scott_queue_unsafe parallel [ ] 2 0 0 2 / 32 2.2s Saturn.michael_scott_queue_unsafe parallel [ ] 3 0 0 3 / 32 3.2s Saturn.michael_scott_queue_unsafe parallel [ ] 4 0 0 4 / 32 4.0s Saturn.michael_scott_queue_unsafe parallel [ ] 5 0 0 5 / 32 5.6s Saturn.michael_scott_queue_unsafe parallel [ ] 6 0 0 6 / 32 7.2s Saturn.michael_scott_queue_unsafe parallel [ ] 7 0 0 7 / 32 8.9s Saturn.michael_scott_queue_unsafe parallel [ ] 8 0 0 8 / 32 10.1s Saturn.michael_scott_queue_unsafe parallel [ ] 9 0 0 9 / 32 11.2s Saturn.michael_scott_queue_unsafe parallel [ ] 10 0 0 10 / 32 12.2s Saturn.michael_scott_queue_unsafe parallel [ ] 11 0 0 11 / 32 13.0s Saturn.michael_scott_queue_unsafe parallel [ ] 12 0 0 12 / 32 14.4s Saturn.michael_scott_queue_unsafe parallel [ ] 13 0 0 13 / 32 15.2s Saturn.michael_scott_queue_unsafe parallel [ ] 14 0 0 14 / 32 16.5s Saturn.michael_scott_queue_unsafe parallel [ ] 15 0 0 15 / 32 17.4s Saturn.michael_scott_queue_unsafe parallel [ ] 16 0 0 16 / 32 18.6s Saturn.michael_scott_queue_unsafe parallel [ ] 17 0 0 17 / 32 19.7s Saturn.michael_scott_queue_unsafe parallel [ ] 18 0 0 18 / 32 21.1s Saturn.michael_scott_queue_unsafe parallel [ ] 19 0 0 19 / 32 22.2s Saturn.michael_scott_queue_unsafe parallel [ ] 20 0 0 20 / 32 23.3s Saturn.michael_scott_queue_unsafe parallel [ ] 21 0 0 21 / 32 24.6s Saturn.michael_scott_queue_unsafe parallel [ ] 22 0 0 22 / 32 25.7s Saturn.michael_scott_queue_unsafe parallel [ ] 23 0 0 23 / 32 26.4s Saturn.michael_scott_queue_unsafe parallel [ ] 24 0 0 24 / 32 27.3s Saturn.michael_scott_queue_unsafe parallel [ ] 25 0 0 25 / 32 28.2s Saturn.michael_scott_queue_unsafe parallel [ ] 26 0 0 26 / 32 29.7s Saturn.michael_scott_queue_unsafe parallel [ ] 27 0 0 27 / 32 31.1s Saturn.michael_scott_queue_unsafe parallel [ ] 28 0 0 28 / 32 32.3s Saturn.michael_scott_queue_unsafe parallel [ ] 29 0 0 29 / 32 33.6s Saturn.michael_scott_queue_unsafe parallel [ ] 30 0 0 30 / 32 34.8s Saturn.michael_scott_queue_unsafe parallel [ ] 31 0 0 31 / 32 36.6s Saturn.michael_scott_queue_unsafe parallel [ ] 32 0 0 32 / 32 38.3s Saturn.michael_scott_queue_unsafe parallel [✓] 32 0 0 32 / 32 38.3s Saturn.michael_scott_queue_unsafe parallel 810s ================================================================================ 810s success (ran 2 tests) 878s File "test/htbl/dune", line 23, characters 7-19: 878s 23 | (name dscheck_htbl) 878s ^^^^^^^^^^^^ 878s (cd _build/default/test/htbl && ./dscheck_htbl.exe) 878s Testing `dscheck_htbl'. 878s This run has ID `JUUKGB5V'. 878s 878s [OK] basic_safe 0 2-mem. 878s [OK] basic_safe 1 2-add. 952s (cd _build/default/test/skiplist && ./qcheck_skiplist.exe) 952s qcheck random seed: 782334868 952s Testing `QCheck Skiplist'. 952s This run has ID `TVNPBQ0J'. 952s 952s [OK] test_sequential 0 add. 952s [OK] test_sequential 1 add_remove. 952s [OK] test_sequential 2 add_find. 952s [OK] test_sequential 3 add_remove_find. 952s [OK] tests_two_domains 0 parallel_add. 952s [OK] tests_two_domains 1 parallel_add_remove. 952s [OK] tests_two_domains 2 parallel_add_remove_same_list. 952s 952s Full test results in `/tmp/autopkgtest.g2Omwb/build.KIW/src/_build/default/test/skiplist/_build/_tests/QCheck Skiplist'. 952s Test Successful in 399.529s. 7 tests run. 954s (cd _build/default/bench && ./main.exe -brief) 954s Saturn Bounded_Queue: 954s messages over time/1 nb adder, 1 nb taker: 954s 4.49 M/s 954s messages over time/1 nb adder, 2 nb takers: 954s 0.97 M/s 954s messages over time/2 nb adders, 1 nb taker: 954s 0.94 M/s 954s messages over time/2 nb adders, 2 nb takers: 954s 1.04 M/s 954s messages over time/one domain: 954s 2.95 M/s 954s time per message/1 nb adder, 1 nb taker: 954s 445.11 ns 954s time per message/1 nb adder, 2 nb takers: 954s 3086.64 ns 954s time per message/2 nb adders, 1 nb taker: 954s 3199.33 ns 954s time per message/2 nb adders, 2 nb takers: 954s 3862.25 ns 954s time per message/one domain: 954s 339.30 ns 954s Saturn Bounded_Queue_unsafe: 954s messages over time/1 nb adder, 1 nb taker: 954s 3.19 M/s 954s messages over time/1 nb adder, 2 nb takers: 954s 12.39 M/s 954s messages over time/2 nb adders, 1 nb taker: 954s 4.73 M/s 954s messages over time/2 nb adders, 2 nb takers: 954s 4.48 M/s 954s messages over time/one domain: 954s 2.77 M/s 954s time per message/1 nb adder, 1 nb taker: 954s 626.46 ns 954s time per message/1 nb adder, 2 nb takers: 954s 242.16 ns 954s time per message/2 nb adders, 1 nb taker: 954s 633.98 ns 954s time per message/2 nb adders, 2 nb takers: 954s 892.42 ns 954s time per message/one domain: 954s 360.54 ns 954s Saturn Bounded_Stack: 954s messages over time/1 adder, 1 taker: 954s 18.95 M/s 954s messages over time/1 adder, 2 takers: 954s 1.84 M/s 954s messages over time/2 adders, 1 taker: 954s 6.56 M/s 954s messages over time/2 adders, 2 takers: 954s 2.46 M/s 954s messages over time/one domain: 954s 32.97 M/s 954s time per message/1 adder, 1 taker: 954s 105.54 ns 954s time per message/1 adder, 2 takers: 954s 1632.26 ns 954s time per message/2 adders, 1 taker: 954s 457.21 ns 954s time per message/2 adders, 2 takers: 954s 1625.54 ns 954s time per message/one domain: 954s 30.33 ns 954s Saturn Htbl: 954s operations over time/1 worker, 10% reads: 954s 17.29 M/s 954s operations over time/1 worker, 50% reads: 954s 19.43 M/s 954s operations over time/1 worker, 90% reads: 954s 28.40 M/s 954s operations over time/2 workers, 10% reads: 954s 20.43 M/s 954s operations over time/2 workers, 50% reads: 954s 20.78 M/s 954s operations over time/2 workers, 90% reads: 954s 41.79 M/s 954s operations over time/4 workers, 10% reads: 954s 1.58 M/s 954s operations over time/4 workers, 50% reads: 954s 5.26 M/s 954s operations over time/4 workers, 90% reads: 954s 7.52 M/s 954s time per operation/1 worker, 10% reads: 954s 57.84 ns 954s time per operation/1 worker, 50% reads: 954s 51.46 ns 954s time per operation/1 worker, 90% reads: 954s 35.21 ns 954s time per operation/2 workers, 10% reads: 954s 97.91 ns 954s time per operation/2 workers, 50% reads: 954s 96.24 ns 954s time per operation/2 workers, 90% reads: 954s 47.85 ns 954s time per operation/4 workers, 10% reads: 954s 2536.72 ns 954s time per operation/4 workers, 50% reads: 954s 759.99 ns 954s time per operation/4 workers, 90% reads: 954s 531.83 ns 954s Saturn Htbl_unsafe: 954s operations over time/1 worker, 10% reads: 954s 15.13 M/s 954s operations over time/1 worker, 50% reads: 954s 17.44 M/s 954s operations over time/1 worker, 90% reads: 954s 27.54 M/s 954s operations over time/2 workers, 10% reads: 954s 18.91 M/s 954s operations over time/2 workers, 50% reads: 954s 23.20 M/s 954s operations over time/2 workers, 90% reads: 954s 43.11 M/s 954s operations over time/4 workers, 10% reads: 954s 1.64 M/s 954s operations over time/4 workers, 50% reads: 954s 2.16 M/s 954s operations over time/4 workers, 90% reads: 954s 9.21 M/s 954s time per operation/1 worker, 10% reads: 954s 66.08 ns 954s time per operation/1 worker, 50% reads: 954s 57.34 ns 954s time per operation/1 worker, 90% reads: 954s 36.31 ns 954s time per operation/2 workers, 10% reads: 954s 105.78 ns 954s time per operation/2 workers, 50% reads: 954s 86.19 ns 954s time per operation/2 workers, 90% reads: 954s 46.39 ns 954s time per operation/4 workers, 10% reads: 954s 2445.25 ns 954s time per operation/4 workers, 50% reads: 954s 1852.19 ns 954s time per operation/4 workers, 90% reads: 954s 434.38 ns 954s Saturn Queue (MS): 954s messages over time/1 nb adder, 1 nb taker: 954s 42.93 M/s 954s messages over time/1 nb adder, 2 nb takers: 954s 2.81 M/s 954s messages over time/2 nb adders, 1 nb taker: 954s 2.88 M/s 954s messages over time/2 nb adders, 2 nb takers: 954s 1.96 M/s 954s messages over time/one domain: 954s 14.36 M/s 954s time per message/1 nb adder, 1 nb taker: 954s 46.59 ns 954s time per message/1 nb adder, 2 nb takers: 954s 1067.72 ns 954s time per message/2 nb adders, 1 nb taker: 954s 1040.03 ns 954s time per message/2 nb adders, 2 nb takers: 954s 2037.61 ns 954s time per message/one domain: 954s 69.65 ns 954s Saturn Queue_unsafe (MS): 954s messages over time/1 nb adder, 1 nb taker: 954s 84.65 M/s 954s messages over time/1 nb adder, 2 nb takers: 954s 2.91 M/s 954s messages over time/2 nb adders, 1 nb taker: 954s 12.66 M/s 954s messages over time/2 nb adders, 2 nb takers: 954s 4.84 M/s 954s messages over time/one domain: 954s 26.30 M/s 954s time per message/1 nb adder, 1 nb taker: 954s 23.63 ns 954s time per message/1 nb adder, 2 nb takers: 954s 1029.67 ns 954s time per message/2 nb adders, 1 nb taker: 954s 236.96 ns 954s time per message/2 nb adders, 2 nb takers: 954s 826.16 ns 954s time per message/one domain: 954s 38.02 ns 954s Saturn Single_consumer_queue: 954s messages over time/1 nb adder, 1 nb taker: 954s 3.23 M/s 954s messages over time/2 nb adders, 1 nb taker: 954s 3.04 M/s 954s messages over time/3 nb adders, 1 nb taker: 954s 6.25 M/s 954s messages over time/4 nb adders, 1 nb taker: 954s 4.08 M/s 954s messages over time/one domain: 954s 2.65 M/s 954s time per message/1 nb adder, 1 nb taker: 954s 619.30 ns 954s time per message/2 nb adders, 1 nb taker: 954s 987.93 ns 954s time per message/3 nb adders, 1 nb taker: 954s 640.14 ns 954s time per message/4 nb adders, 1 nb taker: 954s 1225.70 ns 954s time per message/one domain: 954s 377.88 ns 954s Saturn Single_prod_single_cons_queue: 954s messages over time/2 workers, capacity 1: 954s 0.42 M/s 954s messages over time/2 workers, capacity 32768: 954s 22.02 M/s 954s messages over time/2 workers, capacity 4096: 954s 29.12 M/s 954s messages over time/2 workers, capacity 512: 954s 26.30 M/s 954s messages over time/2 workers, capacity 64: 954s 26.22 M/s 954s messages over time/2 workers, capacity 8: 954s 17.51 M/s 954s time per message/2 workers, capacity 1: 954s 4789.38 ns 954s time per message/2 workers, capacity 32768: 954s 90.83 ns 954s time per message/2 workers, capacity 4096: 954s 68.69 ns 954s time per message/2 workers, capacity 512: 954s 76.05 ns 954s time per message/2 workers, capacity 64: 954s 76.29 ns 954s time per message/2 workers, capacity 8: 954s 114.22 ns 954s Saturn Single_prod_single_cons_queue_unsafe: 954s messages over time/2 workers, capacity 1: 954s 0.91 M/s 954s messages over time/2 workers, capacity 32768: 954s 41.97 M/s 954s messages over time/2 workers, capacity 4096: 954s 31.34 M/s 954s messages over time/2 workers, capacity 512: 954s 42.99 M/s 954s messages over time/2 workers, capacity 64: 954s 25.12 M/s 954s messages over time/2 workers, capacity 8: 954s 16.45 M/s 954s time per message/2 workers, capacity 1: 954s 2192.41 ns 954s time per message/2 workers, capacity 32768: 954s 47.66 ns 954s time per message/2 workers, capacity 4096: 954s 63.82 ns 954s time per message/2 workers, capacity 512: 954s 46.52 ns 954s time per message/2 workers, capacity 64: 954s 79.62 ns 954s time per message/2 workers, capacity 8: 954s 121.60 ns 954s Saturn Size: 954s operations over time/1 worker: 954s 43.86 M/s 954s operations over time/2 workers: 954s 7.58 M/s 954s operations over time/4 workers: 954s 5.62 M/s 954s time per operation/1 worker: 954s 22.80 ns 954s time per operation/2 workers: 954s 263.70 ns 954s time per operation/4 workers: 954s 711.48 ns 954s Saturn Skiplist: 954s operations over time/1 workers, 10% mem 45% add 45% rem: 954s 0.10 M/s 954s operations over time/1 workers, 50% mem 25% add 25% rem: 954s 2.45 M/s 954s operations over time/1 workers, 90% mem 5% add 5% rem: 954s 1.20 M/s 954s operations over time/2 workers, 10% mem 45% add 45% rem: 954s 1.43 M/s 954s operations over time/2 workers, 50% mem 25% add 25% rem: 954s 2.55 M/s 954s operations over time/2 workers, 90% mem 5% add 5% rem: 954s 4.21 M/s 954s operations over time/4 workers, 10% mem 45% add 45% rem: 954s 1.57 M/s 954s operations over time/4 workers, 50% mem 25% add 25% rem: 954s 2.13 M/s 954s operations over time/4 workers, 90% mem 5% add 5% rem: 954s 3.87 M/s 954s time per operation/1 workers, 10% mem 45% add 45% rem: 954s 10072.90 ns 954s time per operation/1 workers, 50% mem 25% add 25% rem: 954s 408.73 ns 954s time per operation/1 workers, 90% mem 5% add 5% rem: 954s 831.16 ns 954s time per operation/2 workers, 10% mem 45% add 45% rem: 954s 1403.46 ns 954s time per operation/2 workers, 50% mem 25% add 25% rem: 954s 784.38 ns 954s time per operation/2 workers, 90% mem 5% add 5% rem: 954s 474.56 ns 954s time per operation/4 workers, 10% mem 45% add 45% rem: 954s 2547.12 ns 954s time per operation/4 workers, 50% mem 25% add 25% rem: 954s 1875.37 ns 954s time per operation/4 workers, 90% mem 5% add 5% rem: 954s 1032.30 ns 954s Saturn Stack: 954s messages over time/1 adder, 1 taker: 954s 80.19 M/s 954s messages over time/1 adder, 2 takers: 954s 2.93 M/s 954s messages over time/2 adders, 1 taker: 954s 12.66 M/s 954s messages over time/2 adders, 2 takers: 954s 3.94 M/s 954s messages over time/one domain: 954s 29.24 M/s 954s time per message/1 adder, 1 taker: 954s 24.94 ns 954s time per message/1 adder, 2 takers: 954s 1024.71 ns 954s time per message/2 adders, 1 taker: 954s 237.02 ns 954s time per message/2 adders, 2 takers: 954s 1014.93 ns 954s time per message/one domain: 954s 34.20 ns 954s Saturn Work_stealing_deque: 954s messages over time/1 adder, 1 taker: 954s 20.63 M/s 954s messages over time/1 adder, 2 takers: 954s 6.39 M/s 954s messages over time/1 adder, 4 takers: 954s 1.80 M/s 954s messages over time/one domain (FIFO): 954s 5.93 M/s 954s messages over time/one domain (LIFO): 954s 4.28 M/s 954s spawns over time/1 worker: 954s 4.34 M/s 954s spawns over time/2 workers: 954s 6.98 M/s 954s spawns over time/4 workers: 954s 1.56 M/s 954s spawns over time/8 workers: 954s 1.79 M/s 954s time per message/1 adder, 1 taker: 954s 96.96 ns 954s time per message/1 adder, 2 takers: 954s 469.63 ns 954s time per message/1 adder, 4 takers: 954s 2780.10 ns 954s time per message/one domain (FIFO): 954s 168.77 ns 954s time per message/one domain (LIFO): 954s 233.84 ns 954s time per spawn/1 worker: 954s 230.56 ns 954s time per spawn/2 workers: 954s 286.70 ns 954s time per spawn/4 workers: 954s 2572.00 ns 954s time per spawn/8 workers: 954s 4456.84 ns 998s (cd _build/default/test/spsc_queue && ./stm_spsc_queue.exe) 998s random seed: 4263715105908466338 998s generated error fail pass / total time test name 998s [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue sequential (generating) [✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue sequential 998s [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue parallel [ ] 1 0 0 1 / 32 1.1s Saturn.Spsc_queue parallel [ ] 2 0 0 2 / 32 1.7s Saturn.Spsc_queue parallel [ ] 3 0 0 3 / 32 2.3s Saturn.Spsc_queue parallel [ ] 4 0 0 4 / 32 2.8s Saturn.Spsc_queue parallel [ ] 5 0 0 5 / 32 3.4s Saturn.Spsc_queue parallel [ ] 6 0 0 6 / 32 3.9s Saturn.Spsc_queue parallel [ ] 7 0 0 7 / 32 4.4s Saturn.Spsc_queue parallel [ ] 8 0 0 8 / 32 5.1s Saturn.Spsc_queue parallel [ ] 9 0 0 9 / 32 6.6s Saturn.Spsc_queue parallel [ ] 10 0 0 10 / 32 7.0s Saturn.Spsc_queue parallel [ ] 11 0 0 11 / 32 7.5s Saturn.Spsc_queue parallel [ ] 12 0 0 12 / 32 8.0s Saturn.Spsc_queue parallel [ ] 13 0 0 13 / 32 8.9s Saturn.Spsc_queue parallel [ ] 14 0 0 14 / 32 9.3s Saturn.Spsc_queue parallel [ ] 15 0 0 15 / 32 9.8s Saturn.Spsc_queue parallel [ ] 16 0 0 16 / 32 10.3s Saturn.Spsc_queue parallel [ ] 17 0 0 17 / 32 11.0s Saturn.Spsc_queue parallel [ ] 18 0 0 18 / 32 11.6s Saturn.Spsc_queue parallel [ ] 19 0 0 19 / 32 12.3s Saturn.Spsc_queue parallel [ ] 20 0 0 20 / 32 12.7s Saturn.Spsc_queue parallel [ ] 21 0 0 21 / 32 13.2s Saturn.Spsc_queue parallel [ ] 22 0 0 22 / 32 13.8s Saturn.Spsc_queue parallel [ ] 23 0 0 23 / 32 14.3s Saturn.Spsc_queue parallel [ ] 24 0 0 24 / 32 14.9s Saturn.Spsc_queue parallel [ ] 25 0 0 25 / 32 15.5s Saturn.Spsc_queue parallel [ ] 26 0 0 26 / 32 16.4s Saturn.Spsc_queue parallel [ ] 27 0 0 27 / 32 16.9s Saturn.Spsc_queue parallel [ ] 28 0 0 28 / 32 17.4s Saturn.Spsc_queue parallel [ ] 29 0 0 29 / 32 17.8s Saturn.Spsc_queue parallel [ ] 30 0 0 30 / 32 18.4s Saturn.Spsc_queue parallel [ ] 31 0 0 31 / 32 19.0s Saturn.Spsc_queue parallel [ ] 32 0 0 32 / 32 19.5s Saturn.Spsc_queue parallel [✓] 32 0 0 32 / 32 19.5s Saturn.Spsc_queue parallel 998s [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue parallel, negative [ ] 0 0 0 0 / 32 0.5s Saturn.Spsc_queue parallel, negative (shrinking: 0) [ ] 0 0 0 0 / 32 1.2s Saturn.Spsc_queue parallel, negative (shrinking: 1) [ ] 0 0 0 0 / 32 1.7s Saturn.Spsc_queue parallel, negative (shrinking: 2) [ ] 0 0 0 0 / 32 2.2s Saturn.Spsc_queue parallel, negative (shrinking: 3) [ ] 0 0 0 0 / 32 2.5s Saturn.Spsc_queue parallel, negative (shrinking: 4) [ ] 0 0 0 0 / 32 2.6s Saturn.Spsc_queue parallel, negative (shrinking: 5) [ ] 0 0 0 0 / 32 3.3s Saturn.Spsc_queue parallel, negative (shrinking: 6) [ ] 0 0 0 0 / 32 4.0s Saturn.Spsc_queue parallel, negative (shrinking: 8) [ ] 0 0 0 0 / 32 4.4s Saturn.Spsc_queue parallel, negative (shrinking: 9) [ ] 0 0 0 0 / 32 6.3s Saturn.Spsc_queue parallel, negative (shrinking: 11) [ ] 0 0 0 0 / 32 7.1s Saturn.Spsc_queue parallel, negative (shrinking: 12) [ ] 0 0 0 0 / 32 9.1s Saturn.Spsc_queue parallel, negative (shrinking: 13) [ ] 0 0 0 0 / 32 9.6s Saturn.Spsc_queue parallel, negative (shrinking: 14) [ ] 0 0 0 0 / 32 11.2s Saturn.Spsc_queue parallel, negative (shrinking: 15) [ ] 0 0 0 0 / 32 12.9s Saturn.Spsc_queue parallel, negative (shrinking: 16) [ ] 0 0 0 0 / 32 13.4s Saturn.Spsc_queue parallel, negative (shrinking: 17) [ ] 0 0 0 0 / 32 13.6s Saturn.Spsc_queue parallel, negative (shrinking: 18) [ ] 0 0 0 0 / 32 23.6s Saturn.Spsc_queue parallel, negative (shrinking: 18.0002) [ ] 0 0 0 0 / 32 26.3s Saturn.Spsc_queue parallel, negative (shrinking: 19) [ ] 0 0 0 0 / 32 27.3s Saturn.Spsc_queue parallel, negative (shrinking: 20) [ ] 0 0 0 0 / 32 36.9s Saturn.Spsc_queue parallel, negative (shrinking: 20.0002) [ ] 0 0 0 0 / 32 37.2s Saturn.Spsc_queue parallel, negative (shrinking: 21) [ ] 0 0 0 0 / 32 46.6s Saturn.Spsc_queue parallel, negative (shrinking: 22.0002) [ ] 0 0 0 0 / 32 47.5s Saturn.Spsc_queue parallel, negative (shrinking: 23) [ ] 0 0 0 0 / 32 47.8s Saturn.Spsc_queue parallel, negative (shrinking: 24) [ ] 0 0 0 0 / 32 56.3s Saturn.Spsc_queue parallel, negative (shrinking: 25) [ ] 0 0 0 0 / 32 66.8s Saturn.Spsc_queue parallel, negative (shrinking: 25.0002) [ ] 0 0 0 0 / 32 78.2s Saturn.Spsc_queue parallel, negative (shrinking: 25.0003) [ ] 0 0 0 0 / 32 88.2s Saturn.Spsc_queue parallel, negative (shrinking: 25.0004) [ ] 0 0 0 0 / 32 100.1s Saturn.Spsc_queue parallel, negative (shrinking: 25.0005) [ ] 0 0 0 0 / 32 112.5s Saturn.Spsc_queue parallel, negative (shrinking: 25.0006) [ ] 0 0 0 0 / 32 121.2s Saturn.Spsc_queue parallel, negative (shrinking: 25.0007) [ ] 0 0 0 0 / 32 128.5s Saturn.Spsc_queue parallel, negative (shrinking: 26) [ ] 0 0 0 0 / 32 134.0s Saturn.Spsc_queue parallel, negative (shrinking: 27) [ ] 0 0 0 0 / 32 146.8s Saturn.Spsc_queue parallel, negative (shrinking: 27.0002) [ ] 0 0 0 0 / 32 149.4s Saturn.Spsc_queue parallel, negative (shrinking: 28) [ ] 0 0 0 0 / 32 158.8s Saturn.Spsc_queue parallel, negative (shrinking: 28.0002) [ ] 0 0 0 0 / 32 167.3s Saturn.Spsc_queue parallel, negative (shrinking: 28.0003) [ ] 0 0 0 0 / 32 167.6s Saturn.Spsc_queue parallel, negative (shrinking: 29) [ ] 0 0 0 0 / 32 168.2s Saturn.Spsc_queue parallel, negative (shrinking: 30) [ ] 0 0 0 0 / 32 177.3s Saturn.Spsc_queue parallel, negative (shrinking: 30.0002) [ ] 0 0 0 0 / 32 177.7s Saturn.Spsc_queue parallel, negative (shrinking: 31) [ ] 0 0 0 0 / 32 178.9s Saturn.Spsc_queue parallel, negative (shrinking: 32) [ ] 0 0 0 0 / 32 186.5s Saturn.Spsc_queue parallel, negative (shrinking: 32.0002) [ ] 0 0 0 0 / 32 187.0s Saturn.Spsc_queue parallel, negative (shrinking: 33) [ ] 0 0 0 0 / 32 190.6s Saturn.Spsc_queue parallel, negative (shrinking: 34) [ ] 0 0 0 0 / 32 197.8s Saturn.Spsc_queue parallel, negative (shrinking: 34.0002) [ ] 0 0 0 0 / 32 205.8s Saturn.Spsc_queue parallel, negative (shrinking: 34.0003) [ ] 0 0 0 0 / 32 212.4s Saturn.Spsc_queue parallel, negative (shrinking: 34.0004) [ ] 0 0 0 0 / 32 221.6s Saturn.Spsc_queue parallel, negative (shrinking: 34.0005) [ ] 0 0 0 0 / 32 229.1s Saturn.Spsc_queue parallel, negative (shrinking: 34.0006) [ ] 0 0 0 0 / 32 236.3s Saturn.Spsc_queue parallel, negative (shrinking: 34.0007) [ ] 1 0 1 0 / 32 242.3s Saturn.Spsc_queue parallel, negative [✓] 1 0 1 0 / 32 242.3s Saturn.Spsc_queue parallel, negative 998s 998s --- Info ----------------------------------------------------------------------- 998s 998s Negative test Saturn.Spsc_queue parallel, negative failed as expected (34 shrink steps): 998s 998s | 998s | 998s .---------------------. 998s | | 998s Push 15 Push 9369 998s Pop 998s Peek 998s 998s 998s +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 998s 998s Messages for test Saturn.Spsc_queue parallel, negative: 998s 998s Results incompatible with linearized model 998s 998s | 998s | 998s .--------------------------------------------------. 998s | | 998s Push 15 : Ok (()) Push 9369 : Ok (()) 998s Pop : Ok (9369) 998s Peek : Error (Invalid_argument("option is None")) 998s 998s ================================================================================ 998s success (ran 3 tests) 998s random seed: 507958884470513094 998s generated error fail pass / total time test name 998s [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue_unsafe sequential 998s [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue_unsafe parallel [ ] 1 0 0 1 / 32 0.8s Saturn.Spsc_queue_unsafe parallel [ ] 2 0 0 2 / 32 1.4s Saturn.Spsc_queue_unsafe parallel [ ] 3 0 0 3 / 32 2.1s Saturn.Spsc_queue_unsafe parallel [ ] 4 0 0 4 / 32 2.7s Saturn.Spsc_queue_unsafe parallel [ ] 5 0 0 5 / 32 3.4s Saturn.Spsc_queue_unsafe parallel [ ] 6 0 0 6 / 32 3.8s Saturn.Spsc_queue_unsafe parallel [ ] 7 0 0 7 / 32 4.3s Saturn.Spsc_queue_unsafe parallel [ ] 8 0 0 8 / 32 4.9s Saturn.Spsc_queue_unsafe parallel [ ] 9 0 0 9 / 32 5.5s Saturn.Spsc_queue_unsafe parallel [ ] 10 0 0 10 / 32 6.1s Saturn.Spsc_queue_unsafe parallel [ ] 11 0 0 11 / 32 7.0s Saturn.Spsc_queue_unsafe parallel [ ] 12 0 0 12 / 32 7.6s Saturn.Spsc_queue_unsafe parallel [ ] 13 0 0 13 / 32 8.2s Saturn.Spsc_queue_unsafe parallel [ ] 14 0 0 14 / 32 8.9s Saturn.Spsc_queue_unsafe parallel [ ] 15 0 0 15 / 32 9.2s Saturn.Spsc_queue_unsafe parallel [ ] 16 0 0 16 / 32 9.7s Saturn.Spsc_queue_unsafe parallel [ ] 17 0 0 17 / 32 10.4s Saturn.Spsc_queue_unsafe parallel [ ] 18 0 0 18 / 32 11.2s Saturn.Spsc_queue_unsafe parallel [ ] 19 0 0 19 / 32 11.6s Saturn.Spsc_queue_unsafe parallel [ ] 20 0 0 20 / 32 12.0s Saturn.Spsc_queue_unsafe parallel [ ] 21 0 0 21 / 32 12.9s Saturn.Spsc_queue_unsafe parallel [ ] 22 0 0 22 / 32 13.3s Saturn.Spsc_queue_unsafe parallel [ ] 23 0 0 23 / 32 13.8s Saturn.Spsc_queue_unsafe parallel [ ] 24 0 0 24 / 32 14.1s Saturn.Spsc_queue_unsafe parallel [ ] 25 0 0 25 / 32 14.6s Saturn.Spsc_queue_unsafe parallel [ ] 26 0 0 26 / 32 15.1s Saturn.Spsc_queue_unsafe parallel [ ] 27 0 0 27 / 32 15.3s Saturn.Spsc_queue_unsafe parallel [ ] 29 0 0 29 / 32 15.7s Saturn.Spsc_queue_unsafe parallel [ ] 30 0 0 30 / 32 16.1s Saturn.Spsc_queue_unsafe parallel [ ] 31 0 0 31 / 32 16.5s Saturn.Spsc_queue_unsafe parallel [ ] 32 0 0 32 / 32 16.7s Saturn.Spsc_queue_unsafe parallel [✓] 32 0 0 32 / 32 16.7s Saturn.Spsc_queue_unsafe parallel 998s [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue_unsafe parallel, negative [ ] 0 0 0 0 / 32 0.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 3) [ ] 0 0 0 0 / 32 0.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 3.0002) [ ] 0 0 0 0 / 32 0.6s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 4.0002) [ ] 0 0 0 0 / 32 0.7s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 4.0006) [ ] 0 0 0 0 / 32 0.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 5.0004) [ ] 0 0 0 0 / 32 0.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 6.0002) [ ] 0 0 0 0 / 32 1.0s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 8) [ ] 0 0 0 0 / 32 1.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 8.0002) [ ] 0 0 0 0 / 32 1.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 8.0005) [ ] 1 0 1 0 / 32 1.4s Saturn.Spsc_queue_unsafe parallel, negative [✓] 1 0 1 0 / 32 1.4s Saturn.Spsc_queue_unsafe parallel, negative 998s 998s --- Info ----------------------------------------------------------------------- 998s 998s Negative test Saturn.Spsc_queue_unsafe parallel, negative failed as expected (8 shrink steps): 998s 998s | 998s Push 9 998s | 998s .---------------------. 998s | | 998s Pop Pop 998s Peek 998s 998s 998s +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 998s 998s Messages for test Saturn.Spsc_queue_unsafe parallel, negative: 998s 998s Results incompatible with linearized model 998s 998s | 998s Push 9 : Ok (()) 998s | 998s .------------------------------------. 998s | | 998s Pop : Ok (9) Pop : Ok (0) 998s Peek : Ok (0) 998s 998s ================================================================================ 998s success (ran 3 tests) 998s random seed: 1105605217492198733 998s generated error fail pass / total time test name 998s [ ] 0 0 0 0 / 64 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 64 0 0 64 / 64 0.0s Saturn.Spsc_queue_unsafe sequential 998s [ ] 0 0 0 0 / 64 0.0s Saturn.Spsc_queue_unsafe parallel [ ] 9 0 0 9 / 64 0.2s Saturn.Spsc_queue_unsafe parallel [ ] 14 0 0 14 / 64 0.3s Saturn.Spsc_queue_unsafe parallel [ ] 30 0 0 30 / 64 0.5s Saturn.Spsc_queue_unsafe parallel [ ] 33 0 0 33 / 64 0.6s Saturn.Spsc_queue_unsafe parallel [ ] 35 0 0 35 / 64 0.9s Saturn.Spsc_queue_unsafe parallel [ ] 38 0 0 38 / 64 1.1s Saturn.Spsc_queue_unsafe parallel [ ] 46 0 0 46 / 64 1.3s Saturn.Spsc_queue_unsafe parallel [ ] 53 0 0 53 / 64 1.6s Saturn.Spsc_queue_unsafe parallel [ ] 56 0 0 56 / 64 2.0s Saturn.Spsc_queue_unsafe parallel [ ] 63 0 0 63 / 64 2.3s Saturn.Spsc_queue_unsafe parallel [✓] 64 0 0 64 / 64 2.3s Saturn.Spsc_queue_unsafe parallel 998s [ ] 0 0 0 0 / 64 0.0s Saturn.Spsc_queue_unsafe parallel, negative [ ] 2 0 0 2 / 64 0.2s Saturn.Spsc_queue_unsafe parallel, negative [ ] 2 0 0 2 / 64 0.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 13.0002) [ ] 2 0 0 2 / 64 0.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 15.0002) [ ] 2 0 0 2 / 64 0.6s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 17.0002) [ ] 2 0 0 2 / 64 0.7s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 19.0002) [ ] 2 0 0 2 / 64 0.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 20.0002) [ ] 2 0 0 2 / 64 1.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 20.0003) [ ] 2 0 0 2 / 64 1.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 20.0004) [ ] 2 0 0 2 / 64 1.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 20.0005) [ ] 2 0 0 2 / 64 1.6s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0002) [ ] 2 0 0 2 / 64 1.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0003) [ ] 2 0 0 2 / 64 1.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0004) [ ] 2 0 0 2 / 64 2.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0005) [ ] 3 0 1 2 / 64 2.2s Saturn.Spsc_queue_unsafe parallel, negative [✓] 3 0 1 2 / 64 2.2s Saturn.Spsc_queue_unsafe parallel, negative 998s 998s --- Info ----------------------------------------------------------------------- 998s 998s Negative test Saturn.Spsc_queue_unsafe parallel, negative failed as expected (21 shrink steps): 998s 998s | 998s Push 5 998s | 998s .---------------------. 998s | | 998s Pop Peek 998s 998s 998s +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 998s 998s Messages for test Saturn.Spsc_queue_unsafe parallel, negative: 998s 998s Results incompatible with linearized model 998s 998s | 998s Push 5 : Ok (()) 998s | 998s .------------------------------------. 998s | | 998s Pop : Ok (5) Peek : Ok (0) 998s 998s ================================================================================ 998s success (ran 3 tests) 998s random seed: 3109105538641149992 998s generated error fail pass / total time test name 998s [ ] 0 0 0 0 / 128 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Spsc_queue_unsafe sequential 998s [ ] 0 0 0 0 / 128 0.0s Saturn.Spsc_queue_unsafe parallel [ ] 5 0 0 5 / 128 0.1s Saturn.Spsc_queue_unsafe parallel [ ] 13 0 0 13 / 128 0.3s Saturn.Spsc_queue_unsafe parallel [ ] 14 0 0 14 / 128 0.4s Saturn.Spsc_queue_unsafe parallel [ ] 22 0 0 22 / 128 0.8s Saturn.Spsc_queue_unsafe parallel [ ] 28 0 0 28 / 128 1.0s Saturn.Spsc_queue_unsafe parallel [ ] 30 0 0 30 / 128 1.2s Saturn.Spsc_queue_unsafe parallel [ ] 37 0 0 37 / 128 1.6s Saturn.Spsc_queue_unsafe parallel [ ] 45 0 0 45 / 128 1.9s Saturn.Spsc_queue_unsafe parallel [ ] 52 0 0 52 / 128 2.0s Saturn.Spsc_queue_unsafe parallel [ ] 65 0 0 65 / 128 2.1s Saturn.Spsc_queue_unsafe parallel [ ] 76 0 0 76 / 128 2.5s Saturn.Spsc_queue_unsafe parallel [ ] 82 0 0 82 / 128 2.7s Saturn.Spsc_queue_unsafe parallel [ ] 85 0 0 85 / 128 2.9s Saturn.Spsc_queue_unsafe parallel [ ] 91 0 0 91 / 128 3.1s Saturn.Spsc_queue_unsafe parallel [ ] 102 0 0 102 / 128 3.2s Saturn.Spsc_queue_unsafe parallel [ ] 114 0 0 114 / 128 3.4s Saturn.Spsc_queue_unsafe parallel [✓] 128 0 0 128 / 128 3.5s Saturn.Spsc_queue_unsafe parallel 998s [ ] 0 0 0 0 / 128 0.0s Saturn.Spsc_queue_unsafe parallel, negative [ ] 0 0 0 0 / 128 0.0s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 1) [ ] 0 0 0 0 / 128 0.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 5) [ ] 0 0 0 0 / 128 0.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 22.0002) [ ] 0 0 0 0 / 128 0.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 26.0002) [ ] 0 0 0 0 / 128 0.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 29.0002) [ ] 0 0 0 0 / 128 0.6s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 29.0005) [ ] 0 0 0 0 / 128 0.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 30.0004) [ ] 0 0 0 0 / 128 0.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 31.0003) [ ] 1 0 1 0 / 128 1.0s Saturn.Spsc_queue_unsafe parallel, negative [✓] 1 0 1 0 / 128 1.0s Saturn.Spsc_queue_unsafe parallel, negative 998s 998s --- Info ----------------------------------------------------------------------- 998s 998s Negative test Saturn.Spsc_queue_unsafe parallel, negative failed as expected (31 shrink steps): 998s 998s | 998s Push 619 998s | 998s .---------------------. 998s | | 998s Peek Drop 998s 998s 998s +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 998s 998s Messages for test Saturn.Spsc_queue_unsafe parallel, negative: 998s 998s Results incompatible with linearized model 998s 998s | 998s Push 619 : Ok (()) 998s | 998s .------------------------------------. 998s | | 998s Peek : Ok (0) Drop : Ok (()) 998s 998s ================================================================================ 998s success (ran 3 tests) 998s random seed: 3829752645381699231 998s generated error fail pass / total time test name 998s [ ] 0 0 0 0 / 256 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Spsc_queue_unsafe sequential 998s [ ] 0 0 0 0 / 256 0.0s Saturn.Spsc_queue_unsafe parallel [ ] 3 0 0 3 / 256 0.3s Saturn.Spsc_queue_unsafe parallel [ ] 12 0 0 12 / 256 0.4s Saturn.Spsc_queue_unsafe parallel [ ] 20 0 0 20 / 256 0.7s Saturn.Spsc_queue_unsafe parallel [ ] 27 0 0 27 / 256 1.0s Saturn.Spsc_queue_unsafe parallel [ ] 34 0 0 34 / 256 1.2s Saturn.Spsc_queue_unsafe parallel [ ] 36 0 0 36 / 256 1.6s Saturn.Spsc_queue_unsafe parallel [ ] 45 0 0 45 / 256 2.0s Saturn.Spsc_queue_unsafe parallel [ ] 61 0 0 61 / 256 2.2s Saturn.Spsc_queue_unsafe parallel [ ] 62 0 0 62 / 256 2.4s Saturn.Spsc_queue_unsafe parallel [ ] 64 0 0 64 / 256 2.8s Saturn.Spsc_queue_unsafe parallel [ ] 72 0 0 72 / 256 3.0s Saturn.Spsc_queue_unsafe parallel [ ] 75 0 0 75 / 256 3.2s Saturn.Spsc_queue_unsafe parallel [ ] 95 0 0 95 / 256 3.4s Saturn.Spsc_queue_unsafe parallel [ ] 98 0 0 98 / 256 3.5s Saturn.Spsc_queue_unsafe parallel [ ] 102 0 0 102 / 256 3.6s Saturn.Spsc_queue_unsafe parallel [ ] 105 0 0 105 / 256 3.7s Saturn.Spsc_queue_unsafe parallel [ ] 113 0 0 113 / 256 3.9s Saturn.Spsc_queue_unsafe parallel [ ] 119 0 0 119 / 256 4.1s Saturn.Spsc_queue_unsafe parallel [ ] 128 0 0 128 / 256 4.2s Saturn.Spsc_queue_unsafe parallel [ ] 142 0 0 142 / 256 4.6s Saturn.Spsc_queue_unsafe parallel [ ] 152 0 0 152 / 256 4.8s Saturn.Spsc_queue_unsafe parallel [ ] 167 0 0 167 / 256 5.0s Saturn.Spsc_queue_unsafe parallel [ ] 168 0 0 168 / 256 5.3s Saturn.Spsc_queue_unsafe parallel [ ] 169 0 0 169 / 256 5.5s Saturn.Spsc_queue_unsafe parallel [ ] 177 0 0 177 / 256 6.0s Saturn.Spsc_queue_unsafe parallel [ ] 183 0 0 183 / 256 6.1s Saturn.Spsc_queue_unsafe parallel [ ] 190 0 0 190 / 256 6.3s Saturn.Spsc_queue_unsafe parallel [ ] 213 0 0 213 / 256 6.4s Saturn.Spsc_queue_unsafe parallel [ ] 228 0 0 228 / 256 6.5s Saturn.Spsc_queue_unsafe parallel [ ] 231 0 0 231 / 256 6.9s Saturn.Spsc_queue_unsafe parallel [ ] 236 0 0 236 / 256 7.1s Saturn.Spsc_queue_unsafe parallel [ ] 239 0 0 239 / 256 7.6s Saturn.Spsc_queue_unsafe parallel [ ] 240 0 0 240 / 256 7.8s Saturn.Spsc_queue_unsafe parallel [ ] 245 0 0 245 / 256 7.9s Saturn.Spsc_queue_unsafe parallel [ ] 253 0 0 253 / 256 8.0s Saturn.Spsc_queue_unsafe parallel [✓] 256 0 0 256 / 256 8.0s Saturn.Spsc_queue_unsafe parallel 998s [ ] 0 0 0 0 / 256 0.0s Saturn.Spsc_queue_unsafe parallel, negative [ ] 0 0 0 0 / 256 0.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 16.0002) [ ] 0 0 0 0 / 256 0.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 18.0002) [ ] 0 0 0 0 / 256 0.7s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 19.0002) [ ] 0 0 0 0 / 256 0.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 19.0003) [ ] 0 0 0 0 / 256 1.0s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 20.0002) [ ] 0 0 0 0 / 256 1.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0002) [ ] 0 0 0 0 / 256 1.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0003) [ ] 0 0 0 0 / 256 1.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0004) [ ] 0 0 0 0 / 256 1.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0005) [ ] 0 0 0 0 / 256 1.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 22.0002) [ ] 0 0 0 0 / 256 1.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 22.0003) [ ] 0 0 0 0 / 256 2.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 22.0004) [ ] 0 0 0 0 / 256 2.6s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 22.0005) [ ] 0 0 0 0 / 256 2.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 23.0002) [ ] 0 0 0 0 / 256 3.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 23.0003) [ ] 0 0 0 0 / 256 3.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 23.0004) [ ] 0 0 0 0 / 256 3.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 23.0005) [ ] 1 0 1 0 / 256 3.8s Saturn.Spsc_queue_unsafe parallel, negative [✓] 1 0 1 0 / 256 3.8s Saturn.Spsc_queue_unsafe parallel, negative 998s 998s --- Info ----------------------------------------------------------------------- 998s 998s Negative test Saturn.Spsc_queue_unsafe parallel, negative failed as expected (23 shrink steps): 998s 998s | 998s Push 5 998s | 998s .---------------------. 998s | | 998s Drop Pop 998s 998s 998s +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 998s 998s Messages for test Saturn.Spsc_queue_unsafe parallel, negative: 998s 998s Results incompatible with linearized model 998s 998s | 998s Push 5 : Ok (()) 998s | 998s .------------------------------------. 998s | | 998s Drop : Ok (()) Pop : Ok (0) 998s 998s ================================================================================ 998s success (ran 3 tests) 998s random seed: 145202860810583692 998s generated error fail pass / total time test name 998s [ ] 0 0 0 0 / 259 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 259 0 0 259 / 259 0.0s Saturn.Spsc_queue_unsafe sequential 998s [ ] 0 0 0 0 / 259 0.0s Saturn.Spsc_queue_unsafe parallel [ ] 5 0 0 5 / 259 0.5s Saturn.Spsc_queue_unsafe parallel [ ] 8 0 0 8 / 259 0.6s Saturn.Spsc_queue_unsafe parallel [ ] 16 0 0 16 / 259 0.8s Saturn.Spsc_queue_unsafe parallel [ ] 29 0 0 29 / 259 0.9s Saturn.Spsc_queue_unsafe parallel [ ] 43 0 0 43 / 259 1.1s Saturn.Spsc_queue_unsafe parallel [ ] 46 0 0 46 / 259 1.2s Saturn.Spsc_queue_unsafe parallel [ ] 53 0 0 53 / 259 1.3s Saturn.Spsc_queue_unsafe parallel [ ] 54 0 0 54 / 259 1.5s Saturn.Spsc_queue_unsafe parallel [ ] 57 0 0 57 / 259 1.6s Saturn.Spsc_queue_unsafe parallel [ ] 66 0 0 66 / 259 2.3s Saturn.Spsc_queue_unsafe parallel [ ] 75 0 0 75 / 259 2.4s Saturn.Spsc_queue_unsafe parallel [ ] 76 0 0 76 / 259 2.7s Saturn.Spsc_queue_unsafe parallel [ ] 78 0 0 78 / 259 3.0s Saturn.Spsc_queue_unsafe parallel [ ] 84 0 0 84 / 259 3.1s Saturn.Spsc_queue_unsafe parallel [ ] 92 0 0 92 / 259 3.2s Saturn.Spsc_queue_unsafe parallel [ ] 93 0 0 93 / 259 3.5s Saturn.Spsc_queue_unsafe parallel [ ] 95 0 0 95 / 259 3.9s Saturn.Spsc_queue_unsafe parallel [ ] 100 0 0 100 / 259 4.3s Saturn.Spsc_queue_unsafe parallel [ ] 109 0 0 109 / 259 4.7s Saturn.Spsc_queue_unsafe parallel [ ] 114 0 0 114 / 259 4.9s Saturn.Spsc_queue_unsafe parallel [ ] 118 0 0 118 / 259 5.1s Saturn.Spsc_queue_unsafe parallel [ ] 121 0 0 121 / 259 5.2s Saturn.Spsc_queue_unsafe parallel [ ] 128 0 0 128 / 259 5.3s Saturn.Spsc_queue_unsafe parallel [ ] 131 0 0 131 / 259 5.5s Saturn.Spsc_queue_unsafe parallel [ ] 132 0 0 132 / 259 5.8s Saturn.Spsc_queue_unsafe parallel [ ] 145 0 0 145 / 259 5.9s Saturn.Spsc_queue_unsafe parallel [ ] 152 0 0 152 / 259 6.1s Saturn.Spsc_queue_unsafe parallel [ ] 157 0 0 157 / 259 6.2s Saturn.Spsc_queue_unsafe parallel [ ] 160 0 0 160 / 259 6.6s Saturn.Spsc_queue_unsafe parallel [ ] 163 0 0 163 / 259 6.7s Saturn.Spsc_queue_unsafe parallel [ ] 171 0 0 171 / 259 6.8s Saturn.Spsc_queue_unsafe parallel [ ] 173 0 0 173 / 259 6.9s Saturn.Spsc_queue_unsafe parallel [ ] 184 0 0 184 / 259 7.0s Saturn.Spsc_queue_unsafe parallel [ ] 187 0 0 187 / 259 7.2s Saturn.Spsc_queue_unsafe parallel [ ] 191 0 0 191 / 259 7.3s Saturn.Spsc_queue_unsafe parallel [ ] 193 0 0 193 / 259 7.5s Saturn.Spsc_queue_unsafe parallel [ ] 195 0 0 195 / 259 7.6s Saturn.Spsc_queue_unsafe parallel [ ] 202 0 0 202 / 259 7.7s Saturn.Spsc_queue_unsafe parallel [ ] 204 0 0 204 / 259 7.9s Saturn.Spsc_queue_unsafe parallel [ ] 210 0 0 210 / 259 8.4s Saturn.Spsc_queue_unsafe parallel [ ] 211 0 0 211 / 259 8.6s Saturn.Spsc_queue_unsafe parallel [ ] 223 0 0 223 / 259 8.8s Saturn.Spsc_queue_unsafe parallel [ ] 227 0 0 227 / 259 8.9s Saturn.Spsc_queue_unsafe parallel [ ] 228 0 0 228 / 259 9.4s Saturn.Spsc_queue_unsafe parallel [ ] 231 0 0 231 / 259 9.5s Saturn.Spsc_queue_unsafe parallel [ ] 240 0 0 240 / 259 9.6s Saturn.Spsc_queue_unsafe parallel [ ] 246 0 0 246 / 259 10.1s Saturn.Spsc_queue_unsafe parallel [ ] 251 0 0 251 / 259 10.3s Saturn.Spsc_queue_unsafe parallel [✓] 259 0 0 259 / 259 10.3s Saturn.Spsc_queue_unsafe parallel 998s [ ] 0 0 0 0 / 259 0.0s Saturn.Spsc_queue_unsafe parallel, negative [ ] 0 0 0 0 / 259 0.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 17) [ ] 0 0 0 0 / 259 0.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 18.0002) [ ] 0 0 0 0 / 259 0.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 20.0002) [ ] 0 0 0 0 / 259 0.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 22.0002) [ ] 0 0 0 0 / 259 0.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 24.0002) [ ] 0 0 0 0 / 259 1.0s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 25.0002) [ ] 0 0 0 0 / 259 1.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 25.0003) [ ] 0 0 0 0 / 259 1.7s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 27.0002) [ ] 0 0 0 0 / 259 2.0s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 29.0002) [ ] 0 0 0 0 / 259 2.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 31.0002) [ ] 0 0 0 0 / 259 2.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 32) [ ] 0 0 0 0 / 259 2.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 32.0002) [ ] 0 0 0 0 / 259 3.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 32.0003) [ ] 0 0 0 0 / 259 3.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 32.0004) [ ] 0 0 0 0 / 259 3.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 32.0005) [ ] 1 0 1 0 / 259 3.9s Saturn.Spsc_queue_unsafe parallel, negative [✓] 1 0 1 0 / 259 3.9s Saturn.Spsc_queue_unsafe parallel, negative 998s 998s --- Info ----------------------------------------------------------------------- 998s 998s Negative test Saturn.Spsc_queue_unsafe parallel, negative failed as expected (32 shrink steps): 998s 998s | 998s Push 1 998s | 998s .---------------------. 998s | | 998s Drop Pop 998s 998s 998s +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 998s 998s Messages for test Saturn.Spsc_queue_unsafe parallel, negative: 998s 998s Results incompatible with linearized model 998s 998s | 998s Push 1 : Ok (()) 998s | 998s .------------------------------------. 998s | | 998s Drop : Ok (()) Pop : Ok (1) 998s 998s ================================================================================ 998s success (ran 3 tests) 998s random seed: 2754722302000160794 998s generated error fail pass / total time test name 998s [ ] 0 0 0 0 / 95 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 95 0 0 95 / 95 0.0s Saturn.Spsc_queue_unsafe sequential 998s [ ] 0 0 0 0 / 95 0.0s Saturn.Spsc_queue_unsafe parallel [ ] 8 0 0 8 / 95 0.2s Saturn.Spsc_queue_unsafe parallel [ ] 9 0 0 9 / 95 0.5s Saturn.Spsc_queue_unsafe parallel [ ] 15 0 0 15 / 95 0.6s Saturn.Spsc_queue_unsafe parallel [ ] 31 0 0 31 / 95 0.7s Saturn.Spsc_queue_unsafe parallel [ ] 36 0 0 36 / 95 1.1s Saturn.Spsc_queue_unsafe parallel [ ] 38 0 0 38 / 95 1.5s Saturn.Spsc_queue_unsafe parallel [ ] 40 0 0 40 / 95 1.9s Saturn.Spsc_queue_unsafe parallel [ ] 49 0 0 49 / 95 2.0s Saturn.Spsc_queue_unsafe parallel [ ] 55 0 0 55 / 95 2.1s Saturn.Spsc_queue_unsafe parallel [ ] 57 0 0 57 / 95 2.3s Saturn.Spsc_queue_unsafe parallel [ ] 62 0 0 62 / 95 2.5s Saturn.Spsc_queue_unsafe parallel [ ] 65 0 0 65 / 95 2.7s Saturn.Spsc_queue_unsafe parallel [ ] 82 0 0 82 / 95 3.0s Saturn.Spsc_queue_unsafe parallel [ ] 91 0 0 91 / 95 3.1s Saturn.Spsc_queue_unsafe parallel [✓] 95 0 0 95 / 95 3.1s Saturn.Spsc_queue_unsafe parallel 998s [ ] 0 0 0 0 / 95 0.0s Saturn.Spsc_queue_unsafe parallel, negative [ ] 0 0 0 0 / 95 0.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 17) [ ] 0 0 0 0 / 95 0.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 22.0002) [ ] 0 0 0 0 / 95 0.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 25.0003) [ ] 0 0 0 0 / 95 0.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 27.0003) [ ] 0 0 0 0 / 95 0.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 27.0006) [ ] 0 0 0 0 / 95 0.7s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 28) [ ] 0 0 0 0 / 95 0.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 28.0004) [ ] 0 0 0 0 / 95 0.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 28.0007) [✓] 1 0 1 0 / 95 1.0s Saturn.Spsc_queue_unsafe parallel, negative 998s 998s --- Info ----------------------------------------------------------------------- 998s 998s Negative test Saturn.Spsc_queue_unsafe parallel, negative failed as expected (28 shrink steps): 998s 998s | 998s Push 8 998s | 998s .---------------------. 998s | | 998s Drop Drop 998s Peek 998s 998s 998s +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 998s 998s Messages for test Saturn.Spsc_queue_unsafe parallel, negative: 998s 998s Results incompatible with linearized model 998s 998s | 998s Push 8 : Ok (()) 998s | 998s .------------------------------------. 998s | | 998s Drop : Ok (()) Drop : Ok (()) 998s Peek : Ok (0) 998s 998s ================================================================================ 998s success (ran 3 tests) 998s random seed: 3591511398606995342 998s generated error fail pass / total time test name 998s [ ] 0 0 0 0 / 40 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 40 0 0 40 / 40 0.0s Saturn.Spsc_queue_unsafe sequential 998s [ ] 0 0 0 0 / 40 0.0s Saturn.Spsc_queue_unsafe parallel [ ] 8 0 0 8 / 40 0.1s Saturn.Spsc_queue_unsafe parallel [ ] 9 0 0 9 / 40 0.3s Saturn.Spsc_queue_unsafe parallel [ ] 32 0 0 32 / 40 0.4s Saturn.Spsc_queue_unsafe parallel [✓] 40 0 0 40 / 40 0.5s Saturn.Spsc_queue_unsafe parallel 998s [ ] 0 0 0 0 / 40 0.0s Saturn.Spsc_queue_unsafe parallel, negative [ ] 3 0 0 3 / 40 0.0s Saturn.Spsc_queue_unsafe parallel, negative [ ] 3 0 0 3 / 40 0.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 14.0002) [ ] 3 0 0 3 / 40 0.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 18.0002) [ ] 3 0 0 3 / 40 0.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 20.0002) [ ] 3 0 0 3 / 40 0.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0003) [ ] 3 0 0 3 / 40 1.0s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 22.0002) [ ] 3 0 0 3 / 40 1.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 23.0003) [ ] 3 0 0 3 / 40 1.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 23.0005) [ ] 4 0 1 3 / 40 1.4s Saturn.Spsc_queue_unsafe parallel, negative [✓] 4 0 1 3 / 40 1.4s Saturn.Spsc_queue_unsafe parallel, negative 998s 998s --- Info ----------------------------------------------------------------------- 998s 998s Negative test Saturn.Spsc_queue_unsafe parallel, negative failed as expected (23 shrink steps): 998s 998s | 998s Push 45 998s | 998s .---------------------. 998s | | 998s Pop Drop 998s 998s 998s +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 998s 998s Messages for test Saturn.Spsc_queue_unsafe parallel, negative: 998s 998s Results incompatible with linearized model 998s 998s | 998s Push 45 : Ok (()) 998s | 998s .------------------------------------. 998s | | 998s Pop : Ok (45) Drop : Ok (()) 998s 998s ================================================================================ 998s success (ran 3 tests) 998s random seed: 1672396423942038959 998s generated error fail pass / total time test name 998s [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue_unsafe sequential 998s [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue_unsafe parallel [ ] 12 0 0 12 / 32 0.2s Saturn.Spsc_queue_unsafe parallel [ ] 19 0 0 19 / 32 0.4s Saturn.Spsc_queue_unsafe parallel [ ] 31 0 0 31 / 32 0.5s Saturn.Spsc_queue_unsafe parallel [✓] 32 0 0 32 / 32 0.6s Saturn.Spsc_queue_unsafe parallel 998s [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue_unsafe parallel, negative [ ] 1 0 0 1 / 32 0.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 1) [ ] 1 0 0 1 / 32 0.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 3) [ ] 1 0 0 1 / 32 0.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 5) [ ] 1 0 0 1 / 32 0.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 15.0001) [ ] 1 0 0 1 / 32 0.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 20.0002) [ ] 1 0 0 1 / 32 0.7s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 20.0004) [ ] 1 0 0 1 / 32 0.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0002) [ ] 1 0 0 1 / 32 1.0s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 21.0004) [ ] 1 0 0 1 / 32 1.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 22.0002) [ ] 1 0 0 1 / 32 1.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 22.0006) [ ] 1 0 0 1 / 32 1.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 23.0004) [ ] 1 0 0 1 / 32 1.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking: 23.0007) [✓] 2 0 1 1 / 32 1.6s Saturn.Spsc_queue_unsafe parallel, negative 998s 998s --- Info ----------------------------------------------------------------------- 998s 998s Negative test Saturn.Spsc_queue_unsafe parallel, negative failed as expected (23 shrink steps): 998s 998s | 998s Push 4 998s | 998s .---------------------. 998s | | 998s Peek Pop 998s Pop 998s Drop 998s Drop 998s 998s 998s +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 998s 998s Messages for test Saturn.Spsc_queue_unsafe parallel, negative: 998s 998s Results incompatible with linearized model 998s 998s | 998s Push 4 : Ok (()) 998s | 998s .-----------------------------------------------. 998s | | 998s Peek : Ok (0) Pop : Ok (4) 998s Pop : Error (Saturn__Spsc_queue_unsafe.Empty) 998s Drop : Error (Saturn__Spsc_queue_unsafe.Empty) 998s Drop : Error (Saturn__Spsc_queue_unsafe.Empty) 998s 998s ================================================================================ 998s success (ran 3 tests) 999s autopkgtest [12:11:07]: test upstream: -----------------------] 999s autopkgtest [12:11:07]: test upstream: - - - - - - - - - - results - - - - - - - - - - 999s upstream FAIL non-zero exit status 1 1000s autopkgtest [12:11:08]: @@@@@@@@@@@@@@@@@@@@ summary 1000s upstream FAIL non-zero exit status 1