2025-11-02 17:12.00: New job: test ocaml-multicore/picos https://github.com/ocaml-multicore/picos.git#refs/heads/adaptive-bo-mpmcq (9e8a7fc96ee7ab8406372a205515f57e8ccca201) (linux-riscv64:debian-13-4.14_riscv64_opam-2.4)
Base: ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/picos.git" -b "adaptive-bo-mpmcq" && cd "picos" && git reset --hard 9e8a7fc9
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4
# debian-13-4.14_riscv64_opam-2.4
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 60c74a29f5d280ca9330c57b890e2e8c0fbc444c || git fetch origin master) && git reset -q --hard 60c74a29f5d280ca9330c57b890e2e8c0fbc444c && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam ./
RUN opam pin add -yn picos_std.dev './' && \
opam pin add -yn picos_mux.dev './' && \
opam pin add -yn picos_meta.dev './' && \
opam pin add -yn picos_lwt.dev './' && \
opam pin add -yn picos_io_cohttp.dev './' && \
opam pin add -yn picos_io.dev './' && \
opam pin add -yn picos_aux.dev './' && \
opam pin add -yn picos.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.0.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.1 ipaddr.5.6.1 ipaddr-sexp.5.6.1 js_of_ocaml.6.2.0 js_of_ocaml-compiler.6.2.0 kdf.1.0.0 logs.0.9.0 lwt.5.9.2 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.26 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.0 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-11-02 17:12.00: Using cache hint "ocaml-multicore/picos-ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4-debian-13-4.14_riscv64_opam-2.4-3fb6f3b42da28334fcf7f3a4e7b41e04"
2025-11-02 17:12.00: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4)
(comment debian-13-4.14_riscv64_opam-2.4)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 60c74a29f5d280ca9330c57b890e2e8c0fbc444c || git fetch origin master) && git reset -q --hard 60c74a29f5d280ca9330c57b890e2e8c0fbc444c && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst ./))
(run (network host)
(shell "opam pin add -yn picos_std.dev './' && \
\nopam pin add -yn picos_mux.dev './' && \
\nopam pin add -yn picos_meta.dev './' && \
\nopam pin add -yn picos_lwt.dev './' && \
\nopam pin add -yn picos_io_cohttp.dev './' && \
\nopam pin add -yn picos_io.dev './' && \
\nopam pin add -yn picos_aux.dev './' && \
\nopam pin add -yn picos.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.0.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.1 ipaddr.5.6.1 ipaddr-sexp.5.6.1 js_of_ocaml.6.2.0 js_of_ocaml-compiler.6.2.0 kdf.1.0.0 logs.0.9.0 lwt.5.9.2 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.26 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.0 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 zarith.1.14")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2025-11-02 17:12.00: Waiting for resource in pool OCluster
2025-11-02 17:12.01: Waiting for worker…
2025-11-02 17:19.29: Got resource from pool OCluster
Building on riscv-bm-02.sw.ci.dev
All commits already cached
HEAD is now at 9e8a7fc Use adaptive backoff in mpmcq
(from ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4)
2025-11-02 17:19.30 ---> using "55ae748f998e54835d3967fc6571b603b5ee1c5ff4e316d4c116f7c103a9c488" from cache
/: (comment debian-13-4.14_riscv64_opam-2.4)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (workdir /src)
/src: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
2025-11-02 17:19.30 ---> using "c00b7fb0f14ee1c4f7d61067bbfa694b3be6391e35e49cc0aaf32d7c4e3d53f8" from cache
/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-11-02 17:19.30 ---> using "855a2ad17f6bcf2293c394a91ad81b4660f67f6158dd85f342100a047bf5312e" from cache
/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.10.113-scw1
The OCaml toplevel, version 4.14.2
2.4.1
2025-11-02 17:19.30 ---> using "a4ce8f05afc8d1524197ee77c40d77385ba3c1dd7324a7828030078cefe93e49" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2025-11-02 17:19.30 ---> using "b44f2387602157265122ccd9b42a9e7ae7bea0745aff65db47cf7ea002fcfa4d" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 60c74a29f5d280ca9330c57b890e2e8c0fbc444c || git fetch origin master) && git reset -q --hard 60c74a29f5d280ca9330c57b890e2e8c0fbc444c && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
1abfcdbf14..8a528d6bb4 master -> origin/master
60c74a29f5 Merge pull request #28709 from hannesm/release-domain-name-v0.5.0
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.3.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-11-02 17:19.30 ---> using "14ef32c7bdb1f20fed42a8e423a75d7aa4b92cc309e16b5397945f264f0f88ca" from cache
/src: (copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst ./))
2025-11-02 17:19.30 ---> using "8f490e9970033c57d598ab56c653d27300cec400f4046ec5633e353d8d87c745" from cache
/src: (run (network host)
(shell "opam pin add -yn picos_std.dev './' && \
\nopam pin add -yn picos_mux.dev './' && \
\nopam pin add -yn picos_meta.dev './' && \
\nopam pin add -yn picos_lwt.dev './' && \
\nopam pin add -yn picos_io_cohttp.dev './' && \
\nopam pin add -yn picos_io.dev './' && \
\nopam pin add -yn picos_aux.dev './' && \
\nopam pin add -yn picos.dev './'"))
[picos_std.dev] synchronised (file:///src)
picos_std is now pinned to file:///src (version dev)
[picos_mux.dev] synchronised (file:///src)
picos_mux is now pinned to file:///src (version dev)
[picos_meta.dev] synchronised (file:///src)
picos_meta is now pinned to file:///src (version dev)
[picos_lwt.dev] synchronised (file:///src)
picos_lwt is now pinned to file:///src (version dev)
[picos_io_cohttp.dev] synchronised (file:///src)
picos_io_cohttp is now pinned to file:///src (version dev)
[picos_io.dev] synchronised (file:///src)
picos_io is now pinned to file:///src (version dev)
[picos_aux.dev] synchronised (file:///src)
picos_aux is now pinned to file:///src (version dev)
[picos.dev] synchronised (file:///src)
picos is now pinned to file:///src (version dev)
2025-11-02 17:19.30 ---> using "4906c325e1438bd2cb4dab19c63a81c7da9e2bef14332533b82e19d132dfb82b" from cache
/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-11-02 17:19.30 ---> using "f59654f20cfdb18510e3d24a4eb450c790a5e452366c7deacb9950e7e960d4b0" from cache
/src: (env DEPS "alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.0.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.1 ipaddr.5.6.1 ipaddr-sexp.5.6.1 js_of_ocaml.6.2.0 js_of_ocaml-compiler.6.2.0 kdf.1.0.0 logs.0.9.0 lwt.5.9.2 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.26 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.0 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 zarith.1.14")
/src: (env CI true)
/src: (env OCAMLCI true)
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main riscv64 Packages [64.6 kB]
- Fetched 155 kB in 0s (329 kB/s)
- Reading package lists...
-
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[picos.dev] synchronised (file:///src)
[picos_aux.dev] synchronised (file:///src)
[picos_io.dev] synchronised (file:///src)
[picos_io_cohttp.dev] synchronised (file:///src)
[picos_lwt.dev] synchronised (file:///src)
[picos_meta.dev] synchronised (file:///src)
[picos_mux.dev] synchronised (file:///src)
[picos_std.dev] synchronised (file:///src)
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl:riscv64.
- (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 ... 20700 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_riscv64.deb ...
- Unpacking libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:riscv64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_riscv64.deb ...
- Unpacking libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:riscv64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_riscv64.deb ...
- Unpacking libpkgconf3:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:riscv64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:riscv64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_riscv64.deb ...
- Unpacking pkg-config:riscv64 (1.8.1-4) ...
- Setting up libpkgconf3:riscv64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:riscv64 (1.8.1-4) ...
- Setting up pkg-config:riscv64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
2025-11-02 17:19.30 ---> using "7fc051908f3040b95d9792a36e59564c71eab217115d308a1ffa999b18e29995" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 96 packages
- install alcotest 1.9.1
- install angstrom 0.16.1
- install asn1-combinators 0.3.2
- install astring 0.8.5
- install backoff 0.1.1
- install base v0.16.4
- install base-bytes base
- install base64 3.5.2
- install bigstringaf 0.10.0
- install bos 0.2.1
- install ca-certs 1.0.1
- install camlp-streams 5.0.1
- install cmdliner 2.0.0
- install cohttp 6.1.1
- install cohttp-lwt 6.1.1
- install cohttp-lwt-unix 6.1.1
- install conduit 8.0.0
- install conduit-lwt 8.0.0
- install conduit-lwt-unix 8.0.0
- install conf-gmp 5
- install conf-gmp-powm-sec 4
- install conf-pkg-config 4
- install containers 3.16
- install cppo 1.8.0
- install csexp 1.5.2
- install digestif 1.3.0
- install domain-local-await 1.0.1
- install domain-name 0.5.0
- install domain_shims 0.1.0
- install dscheck 0.5.0
- install dune 3.20.2
- install dune-configurator 3.20.2
- install duration 0.2.1
- install either 1.0.0
- install eqaf 0.10
- install fmt 0.11.0
- install fpath 0.7.3
- install gen 1.1
- install gmap 0.3.0
- install http 6.1.1
- install ipaddr 5.6.1
- install ipaddr-sexp 5.6.1
- install js_of_ocaml 6.2.0
- install js_of_ocaml-compiler 6.2.0
- install kdf 1.0.0
- install logs 0.9.0
- install lwt 5.9.2
- install macaddr 5.6.1
- install magic-mime 1.3.1
- install mdx 2.5.1
- install menhir 20250912
- install menhirCST 20250912
- install menhirLib 20250912
- install menhirSdk 20250912
- install mirage-crypto 2.0.2
- install mirage-crypto-ec 2.0.2
- install mirage-crypto-pk 2.0.2
- install mirage-crypto-rng 2.0.2
- install mtime 2.1.0
- install multicore-bench 0.1.7
- install multicore-magic 2.3.1
- install multicore-magic-dscheck 2.3.1
- install ocaml-compiler-libs v0.12.4
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 4.0.3
- install ocamlbuild 0.16.1
- install ocamlfind 1.9.8
- install ocplib-endian 1.2
- install ohex 0.2.0
- install oseq 0.5.1
- install ppx_derivers 1.2.1
- install ppx_sexp_conv v0.16.0
- install ppxlib 0.35.0
- install psq 0.2.1
- install ptime 1.2.0
- install qcheck-core 0.26
- install qcheck-multicoretests-util 0.10
- install qcheck-stm 0.10
- install re 1.14.0
- install result 1.5
- install rresult 0.7.0
- install sedlex 3.7
- install seq base
- install sexplib0 v0.16.0
- install stdlib-shims 0.3.0
- install stringext 1.6.0
- install thread-local-storage 0.2
- install thread-table 1.0.0
- install topkg 1.1.0
- install tsort 2.2.0
- install uri 4.4.0
- install uri-sexp 4.4.0
- install uutf 1.0.4
- install x509 1.0.6
- install yojson 3.0.0
- install zarith 1.14
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.9.1 (cached)
-> retrieved angstrom.0.16.1 (cached)
-> retrieved asn1-combinators.0.3.2 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved backoff.0.1.1 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved base.v0.16.4 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved ca-certs.1.0.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.2.0.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-gmp-powm-sec.4 (cached)
-> retrieved cohttp.6.1.1, cohttp-lwt.6.1.1, cohttp-lwt-unix.6.1.1, http.6.1.1 (cached)
-> retrieved conduit.8.0.0, conduit-lwt.8.0.0, conduit-lwt-unix.8.0.0 (cached)
-> retrieved containers.3.16 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-gmp-powm-sec.4
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain-name.0.5.0 (cached)
-> retrieved domain_shims.0.1.0 (cached)
-> retrieved dscheck.0.5.0 (cached)
-> retrieved duration.0.2.1 (cached)
-> retrieved either.1.0.0 (cached)
-> retrieved eqaf.0.10 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved gmap.0.3.0 (cached)
-> retrieved digestif.1.3.0 (cached)
-> retrieved ipaddr.5.6.1, ipaddr-sexp.5.6.1, macaddr.5.6.1 (cached)
-> retrieved kdf.1.0.0 (cached)
-> retrieved logs.0.9.0 (cached)
-> retrieved lwt.5.9.2 (cached)
-> retrieved magic-mime.1.3.1 (cached)
-> retrieved mdx.2.5.1 (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached)
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0 (cached)
-> retrieved mirage-crypto.2.0.2, mirage-crypto-ec.2.0.2, mirage-crypto-pk.2.0.2, mirage-crypto-rng.2.0.2 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved multicore-bench.0.1.7 (cached)
-> retrieved multicore-magic.2.3.1, multicore-magic-dscheck.2.3.1 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> installed cmdliner.2.0.0
-> retrieved ocaml-version.4.0.3 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ohex.0.2.0 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
-> retrieved psq.0.2.1 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved qcheck-core.0.26 (cached)
-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved result.1.5 (cached)
-> retrieved seq.base (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved sedlex.3.7 (cached)
-> retrieved sexplib0.v0.16.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved thread-local-storage.0.2 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved tsort.2.2.0 (cached)
-> retrieved topkg.1.1.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved uri.4.4.0, uri-sexp.4.4.0 (cached)
-> retrieved x509.1.0.6 (cached)
-> retrieved yojson.3.0.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed seq.base
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.0
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed mtime.2.1.0
-> installed ptime.1.2.0
-> installed fpath.0.7.3
-> installed rresult.0.7.0
-> installed uutf.1.0.4
-> installed dune.3.20.2
-> installed base64.3.5.2
-> installed backoff.0.1.1
-> installed camlp-streams.5.0.1
-> installed asn1-combinators.0.3.2
-> installed csexp.1.5.2
-> installed domain-name.0.5.0
-> installed cppo.1.8.0
-> installed domain_shims.0.1.0
-> installed duration.0.2.1
-> installed either.1.0.0
-> installed eqaf.0.10
-> installed gmap.0.3.0
-> installed gen.1.1
-> installed dune-configurator.3.20.2
-> installed http.6.1.1
-> installed macaddr.5.6.1
-> installed bigstringaf.0.10.0
-> installed ipaddr.5.6.1
-> installed digestif.1.3.0
-> installed menhirCST.20250912
-> installed magic-mime.1.3.1
-> installed menhirSdk.20250912
-> installed menhirLib.20250912
-> installed multicore-magic.2.3.1
-> installed containers.3.16
-> installed ocaml-compiler-libs.v0.12.4
-> installed mirage-crypto.2.0.2
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.4.0.3
-> installed kdf.1.0.0
-> installed angstrom.0.16.1
-> installed ocplib-endian.1.2
-> installed ohex.0.2.0
-> installed oseq.0.5.1
-> installed ppx_derivers.1.2.1
-> installed psq.0.2.1
-> installed qcheck-core.0.26
-> installed re.1.14.0
-> installed qcheck-multicoretests-util.0.10
-> installed result.1.5
-> installed qcheck-stm.0.10
-> installed lwt.5.9.2
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.16.0
-> installed stringext.1.6.0
-> installed alcotest.1.9.1
-> installed menhir.20250912
-> installed thread-local-storage.0.2
-> installed thread-table.1.0.0
-> installed tsort.2.2.0
-> installed domain-local-await.1.0.1
-> installed dscheck.0.5.0
-> installed base.v0.16.4
-> installed uri.4.4.0
-> installed multicore-magic-dscheck.2.3.1
-> installed yojson.3.0.0
-> installed multicore-bench.0.1.7
-> installed ppxlib.0.35.0
-> installed ppx_sexp_conv.v0.16.0
-> installed sedlex.3.7
-> installed uri-sexp.4.4.0
-> installed ipaddr-sexp.5.6.1
-> installed js_of_ocaml-compiler.6.2.0
-> installed logs.0.9.0
-> installed bos.0.2.1
-> installed cohttp.6.1.1
-> installed conduit.8.0.0
-> installed mdx.2.5.1
-> installed cohttp-lwt.6.1.1
-> installed mirage-crypto-rng.2.0.2
-> installed conduit-lwt.8.0.0
-> installed mirage-crypto-pk.2.0.2
-> installed mirage-crypto-ec.2.0.2
-> installed x509.1.0.6
-> installed ca-certs.1.0.1
-> installed conduit-lwt-unix.8.0.0
-> installed cohttp-lwt-unix.6.1.1
-> installed js_of_ocaml.6.2.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-11-02 17:19.30 ---> using "2f22efd5f0ce3342b72855fa4f333db41e9090778fc52acc48cfb817360cccd0" from cache
/src: (copy (src .) (dst /src))
2025-11-02 17:19.31 ---> saved as "7173cfffcd9d28b188f2c3933767650f5a4a75f90678ccde070cb9c18e480d53"
/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test && ./test_mpscq.exe)
random seed: 1566908031974111310
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpscq sequential
[✓] 32 0 0 32 / 32 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 4504203312162474345
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Mpscq sequential
[✓] 64 0 0 64 / 64 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 2179276000386982150
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Mpscq sequential
[✓] 128 0 0 128 / 128 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 2183323250040077638
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Mpscq sequential
[✓] 256 0 0 256 / 256 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 3129618452307877445
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Mpscq sequential
[✓] 512 0 0 512 / 512 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 3765180178508879692
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpscq sequential
[✓] 32 0 0 32 / 32 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test && ./test_htbl.exe)
random seed: 596675946573200133
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Htbl sequential
[✓] 32 0 0 32 / 32 0.0s Htbl sequential
[ ] 0 0 0 0 / 32 0.0s Htbl concurrent
[ ] 5 0 0 5 / 32 0.1s Htbl concurrent
[ ] 8 0 0 8 / 32 1.0s Htbl concurrent
[ ] 10 0 0 10 / 32 1.2s Htbl concurrent
[ ] 14 0 0 14 / 32 1.3s Htbl concurrent
[ ] 18 0 0 18 / 32 1.8s Htbl concurrent
[ ] 22 0 0 22 / 32 2.0s Htbl concurrent
[ ] 26 0 0 26 / 32 2.7s Htbl concurrent
[ ] 30 0 0 30 / 32 4.0s Htbl concurrent
[✓] 32 0 0 32 / 32 4.1s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2826971501283715886
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Htbl sequential
[✓] 64 0 0 64 / 64 0.0s Htbl sequential
[ ] 0 0 0 0 / 64 0.0s Htbl concurrent
[ ] 2 0 0 2 / 64 0.2s Htbl concurrent
[ ] 9 0 0 9 / 64 0.4s Htbl concurrent
[ ] 11 0 0 11 / 64 0.5s Htbl concurrent
[ ] 15 0 0 15 / 64 1.4s Htbl concurrent
[ ] 20 0 0 20 / 64 1.5s Htbl concurrent
[ ] 21 0 0 21 / 64 2.2s Htbl concurrent
[ ] 28 0 0 28 / 64 2.3s Htbl concurrent
[ ] 31 0 0 31 / 64 3.2s Htbl concurrent
[ ] 32 0 0 32 / 64 3.4s Htbl concurrent
[ ] 41 0 0 41 / 64 4.1s Htbl concurrent
[ ] 45 0 0 45 / 64 4.2s Htbl concurrent
[ ] 48 0 0 48 / 64 4.3s Htbl concurrent
[ ] 51 0 0 51 / 64 5.1s Htbl concurrent
[ ] 60 0 0 60 / 64 5.2s Htbl concurrent
[ ] 64 0 0 64 / 64 5.3s Htbl concurrent
[✓] 64 0 0 64 / 64 5.3s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 616380243154939323
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Htbl sequential
[✓] 128 0 0 128 / 128 0.0s Htbl sequential
[ ] 0 0 0 0 / 128 0.0s Htbl concurrent
[ ] 4 0 0 4 / 128 0.1s Htbl concurrent
[ ] 7 0 0 7 / 128 0.3s Htbl concurrent
[ ] 12 0 0 12 / 128 0.5s Htbl concurrent
[ ] 13 0 0 13 / 128 1.0s Htbl concurrent
[ ] 17 0 0 17 / 128 1.2s Htbl concurrent
[ ] 27 0 0 27 / 128 1.9s Htbl concurrent
[ ] 34 0 0 34 / 128 2.2s Htbl concurrent
[ ] 39 0 0 39 / 128 2.3s Htbl concurrent
[ ] 46 0 0 46 / 128 2.5s Htbl concurrent
[ ] 53 0 0 53 / 128 3.2s Htbl concurrent
[ ] 54 0 0 54 / 128 3.9s Htbl concurrent
[ ] 57 0 0 57 / 128 4.5s Htbl concurrent
[ ] 61 0 0 61 / 128 5.0s Htbl concurrent
[ ] 64 0 0 64 / 128 5.1s Htbl concurrent
[ ] 71 0 0 71 / 128 5.3s Htbl concurrent
[ ] 75 0 0 75 / 128 5.4s Htbl concurrent
[ ] 77 0 0 77 / 128 5.7s Htbl concurrent
[ ] 89 0 0 89 / 128 6.0s Htbl concurrent
[ ] 90 0 0 90 / 128 6.3s Htbl concurrent
[ ] 92 0 0 92 / 128 7.0s Htbl concurrent
[ ] 97 0 0 97 / 128 7.2s Htbl concurrent
[ ] 104 0 0 104 / 128 7.3s Htbl concurrent
[ ] 110 0 0 110 / 128 7.5s Htbl concurrent
[ ] 117 0 0 117 / 128 7.8s Htbl concurrent
[ ] 119 0 0 119 / 128 7.9s Htbl concurrent
[ ] 123 0 0 123 / 128 8.0s Htbl concurrent
[ ] 126 0 0 126 / 128 9.1s Htbl concurrent
[✓] 128 0 0 128 / 128 9.1s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 389457537828935549
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Htbl sequential
[✓] 256 0 0 256 / 256 0.0s Htbl sequential
[ ] 0 0 0 0 / 256 0.0s Htbl concurrent
[ ] 3 0 0 3 / 256 0.1s Htbl concurrent
[ ] 4 0 0 4 / 256 0.9s Htbl concurrent
[ ] 9 0 0 9 / 256 1.7s Htbl concurrent
[ ] 19 0 0 19 / 256 1.9s Htbl concurrent
[ ] 24 0 0 24 / 256 2.4s Htbl concurrent
[ ] 25 0 0 25 / 256 2.6s Htbl concurrent
[ ] 28 0 0 28 / 256 3.4s Htbl concurrent
[ ] 35 0 0 35 / 256 3.5s Htbl concurrent
[ ] 42 0 0 42 / 256 3.6s Htbl concurrent
[ ] 47 0 0 47 / 256 4.1s Htbl concurrent
[ ] 48 0 0 48 / 256 4.4s Htbl concurrent
[ ] 50 0 0 50 / 256 5.1s Htbl concurrent
[ ] 52 0 0 52 / 256 5.2s Htbl concurrent
[ ] 53 0 0 53 / 256 5.4s Htbl concurrent
[ ] 56 0 0 56 / 256 5.5s Htbl concurrent
[ ] 58 0 0 58 / 256 6.5s Htbl concurrent
[ ] 64 0 0 64 / 256 6.9s Htbl concurrent
[ ] 71 0 0 71 / 256 7.1s Htbl concurrent
[ ] 75 0 0 75 / 256 7.7s Htbl concurrent
[ ] 76 0 0 76 / 256 7.9s Htbl concurrent
[ ] 82 0 0 82 / 256 8.2s Htbl concurrent
[ ] 85 0 0 85 / 256 8.9s Htbl concurrent
[ ] 91 0 0 91 / 256 9.2s Htbl concurrent
[ ] 95 0 0 95 / 256 9.7s Htbl concurrent
[ ] 101 0 0 101 / 256 9.8s Htbl concurrent
[ ] 103 0 0 103 / 256 10.2s Htbl concurrent
[ ] 106 0 0 106 / 256 10.6s Htbl concurrent
[ ] 109 0 0 109 / 256 10.7s Htbl concurrent
[ ] 111 0 0 111 / 256 10.8s Htbl concurrent
[ ] 119 0 0 119 / 256 11.0s Htbl concurrent
[ ] 123 0 0 123 / 256 11.4s Htbl concurrent
[ ] 127 0 0 127 / 256 12.1s Htbl concurrent
[ ] 131 0 0 131 / 256 12.4s Htbl concurrent
[ ] 134 0 0 134 / 256 13.0s Htbl concurrent
[ ] 139 0 0 139 / 256 13.4s Htbl concurrent
[ ] 142 0 0 142 / 256 13.6s Htbl concurrent
[ ] 146 0 0 146 / 256 14.0s Htbl concurrent
[ ] 150 0 0 150 / 256 14.1s Htbl concurrent
[ ] 157 0 0 157 / 256 14.2s Htbl concurrent
[ ] 163 0 0 163 / 256 14.4s Htbl concurrent
[ ] 165 0 0 165 / 256 14.6s Htbl concurrent
[ ] 167 0 0 167 / 256 14.8s Htbl concurrent
[ ] 168 0 0 168 / 256 15.1s Htbl concurrent
[ ] 169 0 0 169 / 256 15.7s Htbl concurrent
[ ] 170 0 0 170 / 256 15.8s Htbl concurrent
[ ] 183 0 0 183 / 256 16.0s Htbl concurrent
[ ] 186 0 0 186 / 256 16.1s Htbl concurrent
[ ] 188 0 0 188 / 256 16.4s Htbl concurrent
[ ] 192 0 0 192 / 256 16.8s Htbl concurrent
[ ] 195 0 0 195 / 256 17.6s Htbl concurrent
[ ] 198 0 0 198 / 256 17.7s Htbl concurrent
[ ] 199 0 0 199 / 256 18.4s Htbl concurrent
[ ] 200 0 0 200 / 256 19.5s Htbl concurrent
[ ] 203 0 0 203 / 256 19.6s Htbl concurrent
[ ] 205 0 0 205 / 256 19.8s Htbl concurrent
[ ] 213 0 0 213 / 256 20.2s Htbl concurrent
[ ] 215 0 0 215 / 256 20.7s Htbl concurrent
[ ] 221 0 0 221 / 256 21.1s Htbl concurrent
[ ] 232 0 0 232 / 256 21.6s Htbl concurrent
[ ] 237 0 0 237 / 256 21.8s Htbl concurrent
[ ] 238 0 0 238 / 256 22.0s Htbl concurrent
[ ] 247 0 0 247 / 256 22.2s Htbl concurrent
[ ] 250 0 0 250 / 256 22.3s Htbl concurrent
[ ] 253 0 0 253 / 256 23.0s Htbl concurrent
[✓] 256 0 0 256 / 256 23.1s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2234304369103370368
generated error fail pass / total time test name
[ ] 0 0 0 0 / 211 0.0s Htbl sequential
[✓] 211 0 0 211 / 211 0.0s Htbl sequential
[ ] 0 0 0 0 / 211 0.0s Htbl concurrent
[ ] 11 0 0 11 / 211 0.2s Htbl concurrent
[ ] 13 0 0 13 / 211 0.4s Htbl concurrent
[ ] 21 0 0 21 / 211 0.5s Htbl concurrent
[ ] 23 0 0 23 / 211 0.7s Htbl concurrent
[ ] 24 0 0 24 / 211 1.0s Htbl concurrent
[ ] 32 0 0 32 / 211 1.1s Htbl concurrent
[ ] 36 0 0 36 / 211 1.2s Htbl concurrent
[ ] 41 0 0 41 / 211 1.9s Htbl concurrent
[ ] 49 0 0 49 / 211 2.0s Htbl concurrent
[ ] 51 0 0 51 / 211 2.7s Htbl concurrent
[ ] 52 0 0 52 / 211 3.0s Htbl concurrent
[ ] 58 0 0 58 / 211 3.2s Htbl concurrent
[ ] 62 0 0 62 / 211 3.3s Htbl concurrent
[ ] 63 0 0 63 / 211 3.7s Htbl concurrent
[ ] 72 0 0 72 / 211 3.8s Htbl concurrent
[ ] 75 0 0 75 / 211 3.9s Htbl concurrent
[ ] 79 0 0 79 / 211 4.0s Htbl concurrent
[ ] 84 0 0 84 / 211 4.1s Htbl concurrent
[ ] 95 0 0 95 / 211 4.3s Htbl concurrent
[ ] 100 0 0 100 / 211 4.4s Htbl concurrent
[ ] 104 0 0 104 / 211 5.0s Htbl concurrent
[ ] 116 0 0 116 / 211 5.1s Htbl concurrent
[ ] 117 0 0 117 / 211 5.6s Htbl concurrent
[ ] 122 0 0 122 / 211 6.0s Htbl concurrent
[ ] 130 0 0 130 / 211 6.7s Htbl concurrent
[ ] 131 0 0 131 / 211 6.8s Htbl concurrent
[ ] 136 0 0 136 / 211 7.1s Htbl concurrent
[ ] 140 0 0 140 / 211 7.7s Htbl concurrent
[ ] 150 0 0 150 / 211 7.8s Htbl concurrent
[ ] 151 0 0 151 / 211 8.0s Htbl concurrent
[ ] 155 0 0 155 / 211 8.3s Htbl concurrent
[ ] 161 0 0 161 / 211 8.4s Htbl concurrent
[ ] 164 0 0 164 / 211 8.5s Htbl concurrent
[ ] 168 0 0 168 / 211 8.6s Htbl concurrent
[ ] 171 0 0 171 / 211 9.2s Htbl concurrent
[ ] 173 0 0 173 / 211 9.4s Htbl concurrent
[ ] 176 0 0 176 / 211 9.5s Htbl concurrent
[ ] 178 0 0 178 / 211 9.6s Htbl concurrent
[ ] 181 0 0 181 / 211 9.8s Htbl concurrent
[ ] 182 0 0 182 / 211 10.5s Htbl concurrent
[ ] 183 0 0 183 / 211 11.3s Htbl concurrent
[ ] 187 0 0 187 / 211 11.5s Htbl concurrent
[ ] 188 0 0 188 / 211 11.6s Htbl concurrent
[ ] 190 0 0 190 / 211 12.2s Htbl concurrent
[ ] 191 0 0 191 / 211 12.7s Htbl concurrent
[ ] 193 0 0 193 / 211 13.4s Htbl concurrent
[ ] 198 0 0 198 / 211 13.5s Htbl concurrent
[ ] 200 0 0 200 / 211 13.9s Htbl concurrent
[ ] 210 0 0 210 / 211 14.1s Htbl concurrent
[ ] 211 0 0 211 / 211 14.7s Htbl concurrent
[✓] 211 0 0 211 / 211 14.7s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 3319564481841945454
generated error fail pass / total time test name
[ ] 0 0 0 0 / 44 0.0s Htbl sequential
[✓] 44 0 0 44 / 44 0.0s Htbl sequential
[ ] 0 0 0 0 / 44 0.0s Htbl concurrent
[ ] 11 0 0 11 / 44 0.1s Htbl concurrent
[ ] 12 0 0 12 / 44 0.5s Htbl concurrent
[ ] 15 0 0 15 / 44 0.6s Htbl concurrent
[ ] 18 0 0 18 / 44 1.1s Htbl concurrent
[ ] 23 0 0 23 / 44 1.6s Htbl concurrent
[ ] 26 0 0 26 / 44 1.7s Htbl concurrent
[ ] 27 0 0 27 / 44 2.3s Htbl concurrent
[ ] 28 0 0 28 / 44 2.5s Htbl concurrent
[ ] 30 0 0 30 / 44 2.6s Htbl concurrent
[ ] 33 0 0 33 / 44 3.1s Htbl concurrent
[ ] 37 0 0 37 / 44 4.1s Htbl concurrent
[ ] 38 0 0 38 / 44 4.3s Htbl concurrent
[ ] 42 0 0 42 / 44 4.7s Htbl concurrent
[✓] 44 0 0 44 / 44 4.7s Htbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_mpmcq.exe)
random seed: 2595087292254730833
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpmcq sequential
[✓] 32 0 0 32 / 32 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 32 0.0s Mpmcq concurrent
[ ] 5 0 0 5 / 32 0.2s Mpmcq concurrent
[ ] 12 0 0 12 / 32 0.3s Mpmcq concurrent
[ ] 14 0 0 14 / 32 0.4s Mpmcq concurrent
[ ] 24 0 0 24 / 32 0.5s Mpmcq concurrent
[ ] 25 0 0 25 / 32 1.0s Mpmcq concurrent
[ ] 29 0 0 29 / 32 2.1s Mpmcq concurrent
[ ] 32 0 0 32 / 32 2.3s Mpmcq concurrent
[✓] 32 0 0 32 / 32 2.3s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 2119846523337733145
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Mpmcq sequential
[✓] 64 0 0 64 / 64 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 64 0.0s Mpmcq concurrent
[ ] 3 0 0 3 / 64 0.4s Mpmcq concurrent
[ ] 11 0 0 11 / 64 0.5s Mpmcq concurrent
[ ] 14 0 0 14 / 64 0.6s Mpmcq concurrent
[ ] 19 0 0 19 / 64 1.4s Mpmcq concurrent
[ ] 21 0 0 21 / 64 2.2s Mpmcq concurrent
[ ] 22 0 0 22 / 64 2.4s Mpmcq concurrent
[ ] 23 0 0 23 / 64 2.9s Mpmcq concurrent
[ ] 26 0 0 26 / 64 3.7s Mpmcq concurrent
[ ] 32 0 0 32 / 64 3.8s Mpmcq concurrent
[ ] 33 0 0 33 / 64 4.1s Mpmcq concurrent
[ ] 34 0 0 34 / 64 4.4s Mpmcq concurrent
[ ] 35 0 0 35 / 64 5.3s Mpmcq concurrent
[ ] 38 0 0 38 / 64 6.3s Mpmcq concurrent
[ ] 42 0 0 42 / 64 6.4s Mpmcq concurrent
[ ] 47 0 0 47 / 64 6.5s Mpmcq concurrent
[ ] 48 0 0 48 / 64 7.0s Mpmcq concurrent
[ ] 50 0 0 50 / 64 7.5s Mpmcq concurrent
[ ] 52 0 0 52 / 64 8.4s Mpmcq concurrent
[ ] 55 0 0 55 / 64 9.0s Mpmcq concurrent
[ ] 56 0 0 56 / 64 9.1s Mpmcq concurrent
[ ] 62 0 0 62 / 64 9.2s Mpmcq concurrent
[✓] 64 0 0 64 / 64 9.2s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 1356003790513207624
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Mpmcq sequential
[✓] 128 0 0 128 / 128 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 128 0.0s Mpmcq concurrent
[ ] 3 0 0 3 / 128 0.4s Mpmcq concurrent
[ ] 8 0 0 8 / 128 0.7s Mpmcq concurrent
[ ] 12 0 0 12 / 128 1.1s Mpmcq concurrent
[ ] 19 0 0 19 / 128 1.3s Mpmcq concurrent
[ ] 21 0 0 21 / 128 1.6s Mpmcq concurrent
[ ] 23 0 0 23 / 128 1.7s Mpmcq concurrent
[ ] 25 0 0 25 / 128 1.8s Mpmcq concurrent
[ ] 31 0 0 31 / 128 2.9s Mpmcq concurrent
[ ] 32 0 0 32 / 128 3.0s Mpmcq concurrent
[ ] 33 0 0 33 / 128 3.1s Mpmcq concurrent
[ ] 34 0 0 34 / 128 3.4s Mpmcq concurrent
[ ] 41 0 0 41 / 128 3.6s Mpmcq concurrent
[ ] 48 0 0 48 / 128 4.1s Mpmcq concurrent
[ ] 52 0 0 52 / 128 4.2s Mpmcq concurrent
[ ] 57 0 0 57 / 128 5.1s Mpmcq concurrent
[ ] 59 0 0 59 / 128 5.4s Mpmcq concurrent
[ ] 61 0 0 61 / 128 5.9s Mpmcq concurrent
[ ] 65 0 0 65 / 128 6.1s Mpmcq concurrent
[ ] 68 0 0 68 / 128 6.5s Mpmcq concurrent
[ ] 69 0 0 69 / 128 6.8s Mpmcq concurrent
[ ] 71 0 0 71 / 128 7.0s Mpmcq concurrent
[ ] 72 0 0 72 / 128 7.9s Mpmcq concurrent
[ ] 74 0 0 74 / 128 8.5s Mpmcq concurrent
[ ] 76 0 0 76 / 128 9.0s Mpmcq concurrent
[ ] 81 0 0 81 / 128 9.7s Mpmcq concurrent
[ ] 89 0 0 89 / 128 10.2s Mpmcq concurrent
[ ] 90 0 0 90 / 128 10.4s Mpmcq concurrent
[ ] 92 0 0 92 / 128 10.6s Mpmcq concurrent
[ ] 98 0 0 98 / 128 10.8s Mpmcq concurrent
[ ] 104 0 0 104 / 128 11.2s Mpmcq concurrent
[ ] 108 0 0 108 / 128 11.8s Mpmcq concurrent
[ ] 111 0 0 111 / 128 11.9s Mpmcq concurrent
[ ] 112 0 0 112 / 128 12.0s Mpmcq concurrent
[ ] 121 0 0 121 / 128 12.1s Mpmcq concurrent
[ ] 127 0 0 127 / 128 12.5s Mpmcq concurrent
[✓] 128 0 0 128 / 128 12.5s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 2153700075191007684
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Mpmcq sequential
[✓] 256 0 0 256 / 256 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 256 0.0s Mpmcq concurrent
[ ] 7 0 0 7 / 256 0.2s Mpmcq concurrent
[ ] 8 0 0 8 / 256 0.4s Mpmcq concurrent
[ ] 11 0 0 11 / 256 0.6s Mpmcq concurrent
[ ] 15 0 0 15 / 256 1.5s Mpmcq concurrent
[ ] 22 0 0 22 / 256 1.6s Mpmcq concurrent
[ ] 25 0 0 25 / 256 2.0s Mpmcq concurrent
[ ] 30 0 0 30 / 256 2.1s Mpmcq concurrent
[ ] 34 0 0 34 / 256 2.3s Mpmcq concurrent
[ ] 37 0 0 37 / 256 2.5s Mpmcq concurrent
[ ] 38 0 0 38 / 256 2.6s Mpmcq concurrent
[ ] 41 0 0 41 / 256 2.7s Mpmcq concurrent
[ ] 43 0 0 43 / 256 2.9s Mpmcq concurrent
[ ] 45 0 0 45 / 256 3.4s Mpmcq concurrent
[ ] 48 0 0 48 / 256 3.5s Mpmcq concurrent
[ ] 52 0 0 52 / 256 4.3s Mpmcq concurrent
[ ] 58 0 0 58 / 256 4.4s Mpmcq concurrent
[ ] 65 0 0 65 / 256 4.7s Mpmcq concurrent
[ ] 68 0 0 68 / 256 4.8s Mpmcq concurrent
[ ] 69 0 0 69 / 256 5.1s Mpmcq concurrent
[ ] 72 0 0 72 / 256 6.1s Mpmcq concurrent
[ ] 77 0 0 77 / 256 6.2s Mpmcq concurrent
[ ] 80 0 0 80 / 256 7.2s Mpmcq concurrent
[ ] 83 0 0 83 / 256 7.7s Mpmcq concurrent
[ ] 87 0 0 87 / 256 8.0s Mpmcq concurrent
[ ] 90 0 0 90 / 256 9.2s Mpmcq concurrent
[ ] 96 0 0 96 / 256 9.5s Mpmcq concurrent
[ ] 98 0 0 98 / 256 9.6s Mpmcq concurrent
[ ] 106 0 0 106 / 256 9.7s Mpmcq concurrent
[ ] 107 0 0 107 / 256 9.9s Mpmcq concurrent
[ ] 110 0 0 110 / 256 10.5s Mpmcq concurrent
[ ] 112 0 0 112 / 256 10.6s Mpmcq concurrent
[ ] 113 0 0 113 / 256 10.8s Mpmcq concurrent
[ ] 115 0 0 115 / 256 11.1s Mpmcq concurrent
[ ] 119 0 0 119 / 256 11.2s Mpmcq concurrent
[ ] 127 0 0 127 / 256 11.8s Mpmcq concurrent
[ ] 134 0 0 134 / 256 12.0s Mpmcq concurrent
[ ] 144 0 0 144 / 256 12.1s Mpmcq concurrent
[ ] 145 0 0 145 / 256 12.9s Mpmcq concurrent
[ ] 152 0 0 152 / 256 14.0s Mpmcq concurrent
[ ] 156 0 0 156 / 256 14.3s Mpmcq concurrent
[ ] 159 0 0 159 / 256 14.5s Mpmcq concurrent
[ ] 163 0 0 163 / 256 14.6s Mpmcq concurrent
[ ] 164 0 0 164 / 256 14.7s Mpmcq concurrent
[ ] 165 0 0 165 / 256 15.3s Mpmcq concurrent
[ ] 166 0 0 166 / 256 15.5s Mpmcq concurrent
[ ] 167 0 0 167 / 256 16.5s Mpmcq concurrent
[ ] 169 0 0 169 / 256 17.1s Mpmcq concurrent
[ ] 170 0 0 170 / 256 18.0s Mpmcq concurrent
[ ] 173 0 0 173 / 256 18.6s Mpmcq concurrent
[ ] 178 0 0 178 / 256 19.2s Mpmcq concurrent
[ ] 179 0 0 179 / 256 19.6s Mpmcq concurrent
[ ] 181 0 0 181 / 256 19.8s Mpmcq concurrent
[ ] 184 0 0 184 / 256 20.9s Mpmcq concurrent
[ ] 188 0 0 188 / 256 21.0s Mpmcq concurrent
[ ] 192 0 0 192 / 256 22.0s Mpmcq concurrent
[ ] 199 0 0 199 / 256 22.1s Mpmcq concurrent
[ ] 202 0 0 202 / 256 22.4s Mpmcq concurrent
[ ] 205 0 0 205 / 256 22.5s Mpmcq concurrent
[ ] 210 0 0 210 / 256 22.7s Mpmcq concurrent
[ ] 211 0 0 211 / 256 23.0s Mpmcq concurrent
[ ] 213 0 0 213 / 256 23.2s Mpmcq concurrent
[ ] 216 0 0 216 / 256 23.4s Mpmcq concurrent
[ ] 219 0 0 219 / 256 23.8s Mpmcq concurrent
[ ] 225 0 0 225 / 256 23.9s Mpmcq concurrent
[ ] 235 0 0 235 / 256 24.0s Mpmcq concurrent
[ ] 242 0 0 242 / 256 24.1s Mpmcq concurrent
[ ] 245 0 0 245 / 256 24.6s Mpmcq concurrent
[ ] 246 0 0 246 / 256 24.8s Mpmcq concurrent
[ ] 253 0 0 253 / 256 25.3s Mpmcq concurrent
[ ] 254 0 0 254 / 256 25.6s Mpmcq concurrent
[ ] 256 0 0 256 / 256 26.0s Mpmcq concurrent
[✓] 256 0 0 256 / 256 26.0s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 716168530957353119
generated error fail pass / total time test name
[ ] 0 0 0 0 / 96 0.0s Mpmcq sequential
[✓] 96 0 0 96 / 96 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 96 0.0s Mpmcq concurrent
[ ] 2 0 0 2 / 96 0.4s Mpmcq concurrent
[ ] 7 0 0 7 / 96 0.5s Mpmcq concurrent
[ ] 8 0 0 8 / 96 0.7s Mpmcq concurrent
[ ] 9 0 0 9 / 96 2.0s Mpmcq concurrent
[ ] 10 0 0 10 / 96 2.2s Mpmcq concurrent
[ ] 13 0 0 13 / 96 2.7s Mpmcq concurrent
[ ] 16 0 0 16 / 96 2.9s Mpmcq concurrent
[ ] 18 0 0 18 / 96 3.0s Mpmcq concurrent
[ ] 21 0 0 21 / 96 3.1s Mpmcq concurrent
[ ] 23 0 0 23 / 96 3.3s Mpmcq concurrent
[ ] 26 0 0 26 / 96 3.4s Mpmcq concurrent
[ ] 27 0 0 27 / 96 4.2s Mpmcq concurrent
[ ] 29 0 0 29 / 96 5.2s Mpmcq concurrent
[ ] 32 0 0 32 / 96 6.0s Mpmcq concurrent
[ ] 33 0 0 33 / 96 7.0s Mpmcq concurrent
[ ] 35 0 0 35 / 96 7.4s Mpmcq concurrent
[ ] 42 0 0 42 / 96 7.6s Mpmcq concurrent
[ ] 50 0 0 50 / 96 7.7s Mpmcq concurrent
[ ] 57 0 0 57 / 96 7.9s Mpmcq concurrent
[ ] 65 0 0 65 / 96 8.1s Mpmcq concurrent
[ ] 68 0 0 68 / 96 8.5s Mpmcq concurrent
[ ] 70 0 0 70 / 96 8.8s Mpmcq concurrent
[ ] 77 0 0 77 / 96 8.9s Mpmcq concurrent
[ ] 80 0 0 80 / 96 9.3s Mpmcq concurrent
[ ] 94 0 0 94 / 96 9.6s Mpmcq concurrent
[✓] 96 0 0 96 / 96 9.6s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 1815333996601540472
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpmcq sequential
[✓] 32 0 0 32 / 32 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 32 0.0s Mpmcq concurrent
[ ] 4 0 0 4 / 32 0.1s Mpmcq concurrent
[ ] 5 0 0 5 / 32 0.4s Mpmcq concurrent
[ ] 6 0 0 6 / 32 0.9s Mpmcq concurrent
[ ] 9 0 0 9 / 32 1.3s Mpmcq concurrent
[ ] 10 0 0 10 / 32 1.6s Mpmcq concurrent
[ ] 11 0 0 11 / 32 1.8s Mpmcq concurrent
[ ] 15 0 0 15 / 32 2.0s Mpmcq concurrent
[ ] 17 0 0 17 / 32 3.3s Mpmcq concurrent
[ ] 20 0 0 20 / 32 3.5s Mpmcq concurrent
[ ] 30 0 0 30 / 32 3.8s Mpmcq concurrent
[✓] 32 0 0 32 / 32 3.8s Mpmcq concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_finally.exe)
Testing `Picos_finally'.
This run has ID `SD2L9E7K'.
[OK] move 0 is lazy.
[OK] borrow 0 returns resource.
Full test results in `/src/_build/default/test/_build/_tests/Picos_finally'.
Test Successful in 0.003s. 2 tests run.
(cd _build/default/test && ./test_picos.exe)
Testing `Picos'.
This run has ID `X5VQ8RCA'.
[OK] Trigger 0 basics.
[OK] Computation 0 basics.
[OK] Computation 1 tx.
[OK] Computation 2 signals in order.
[OK] Fiber.FLS 0 basics.
[OK] Cancel 0
[OK] Cancel after 0
Full test results in `/src/_build/default/test/_build/_tests/Picos'.
Test Successful in 0.893s. 7 tests run.
(cd _build/default/test && ./test_io.exe)
Testing `Picos_io'.
This run has ID `1NC5M957'.
[OK] Unix 0 openfile and read.
[OK] Unix 1 sleepf.
[OK] Unix 2 select empty timeout.
[OK] Unix 3 select empty ∞.
[OK] Unix 4 select.
[OK] Unix 5 system.
Full test results in `/src/_build/default/test/_build/_tests/Picos_io'.
Test Successful in 0.447s. 6 tests run.
(cd _build/default/test && ./test_io_with_lwt.exe)
Testing `Picos_io_with_lwt'.
This run has ID `RM3IC5PU'.
[OK] Unix 0 system.
Full test results in `/src/_build/default/test/_build/_tests/Picos_io_with_lwt'.
Test Successful in 2.110s. 1 test run.
(cd _build/default/test && ./test_select.exe)
Testing `Picos_select'.
This run has ID `FCK1OOB6'.
[OK] Intr 0
Full test results in `/src/_build/default/test/_build/_tests/Picos_select'.
Test Successful in 4.917s. 1 test run.
(cd _build/default/test && ./test_server_and_client.exe)
Using non-blocking sockets and threads on OCaml 4:
Looping server running
Server listening
Client B running
Client B connected
Client B wrote 100
Server accepting
Server accepted client
Client A running
Client A connected
Client A wrote 100
Server accepting
Server accepted client
Server read 100
Client B read 50
Server wrote 50
Server accepting
Server read 100
Client A read 50
Server wrote 50
Server and Client test: OK
(cd _build/default/example && ./guards.exe)
Testing with scheduler: threads
Ran guarded case statement examples.
(cd _build/default/test && ./test_lock.exe)
random seed: 768459942038313505
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lock sequential
[✓] 32 0 0 32 / 32 0.0s Lock sequential
[ ] 0 0 0 0 / 32 0.0s Lock concurrent
[ ] 2 0 0 2 / 32 0.1s Lock concurrent
[ ] 6 0 0 6 / 32 0.3s Lock concurrent
[ ] 9 0 0 9 / 32 1.1s Lock concurrent
[ ] 11 0 0 11 / 32 1.7s Lock concurrent
[ ] 14 0 0 14 / 32 1.9s Lock concurrent
[ ] 15 0 0 15 / 32 2.0s Lock concurrent
[ ] 17 0 0 17 / 32 2.2s Lock concurrent
[ ] 18 0 0 18 / 32 2.8s Lock concurrent
[ ] 19 0 0 19 / 32 2.9s Lock concurrent
[ ] 23 0 0 23 / 32 3.3s Lock concurrent
[ ] 28 0 0 28 / 32 3.4s Lock concurrent
[ ] 31 0 0 31 / 32 3.5s Lock concurrent
[✓] 32 0 0 32 / 32 3.5s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 1048961589588967315
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Lock sequential
[✓] 64 0 0 64 / 64 0.0s Lock sequential
[ ] 0 0 0 0 / 64 0.0s Lock concurrent
[ ] 3 0 0 3 / 64 0.2s Lock concurrent
[ ] 16 0 0 16 / 64 0.3s Lock concurrent
[ ] 23 0 0 23 / 64 0.5s Lock concurrent
[ ] 26 0 0 26 / 64 0.6s Lock concurrent
[ ] 28 0 0 28 / 64 1.1s Lock concurrent
[ ] 32 0 0 32 / 64 1.3s Lock concurrent
[ ] 38 0 0 38 / 64 1.8s Lock concurrent
[ ] 40 0 0 40 / 64 2.0s Lock concurrent
[ ] 44 0 0 44 / 64 2.2s Lock concurrent
[ ] 53 0 0 53 / 64 2.3s Lock concurrent
[ ] 56 0 0 56 / 64 2.4s Lock concurrent
[ ] 59 0 0 59 / 64 2.5s Lock concurrent
[✓] 64 0 0 64 / 64 2.5s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 166771453132248287
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Lock sequential
[✓] 128 0 0 128 / 128 0.0s Lock sequential
[ ] 0 0 0 0 / 128 0.0s Lock concurrent
[ ] 2 0 0 2 / 128 0.1s Lock concurrent
[ ] 4 0 0 4 / 128 0.7s Lock concurrent
[ ] 6 0 0 6 / 128 0.9s Lock concurrent
[ ] 7 0 0 7 / 128 1.5s Lock concurrent
[ ] 10 0 0 10 / 128 1.8s Lock concurrent
[ ] 11 0 0 11 / 128 1.9s Lock concurrent
[ ] 13 0 0 13 / 128 2.2s Lock concurrent
[ ] 18 0 0 18 / 128 2.6s Lock concurrent
[ ] 24 0 0 24 / 128 3.4s Lock concurrent
[ ] 27 0 0 27 / 128 3.5s Lock concurrent
[ ] 31 0 0 31 / 128 3.6s Lock concurrent
[ ] 35 0 0 35 / 128 3.7s Lock concurrent
[ ] 40 0 0 40 / 128 3.8s Lock concurrent
[ ] 41 0 0 41 / 128 4.3s Lock concurrent
[ ] 43 0 0 43 / 128 4.5s Lock concurrent
[ ] 44 0 0 44 / 128 4.8s Lock concurrent
[ ] 47 0 0 47 / 128 5.0s Lock concurrent
[ ] 56 0 0 56 / 128 5.2s Lock concurrent
[ ] 59 0 0 59 / 128 5.3s Lock concurrent
[ ] 63 0 0 63 / 128 5.5s Lock concurrent
[ ] 69 0 0 69 / 128 5.8s Lock concurrent
[ ] 70 0 0 70 / 128 6.3s Lock concurrent
[ ] 72 0 0 72 / 128 6.5s Lock concurrent
[ ] 78 0 0 78 / 128 6.6s Lock concurrent
[ ] 82 0 0 82 / 128 6.7s Lock concurrent
[ ] 87 0 0 87 / 128 6.8s Lock concurrent
[ ] 88 0 0 88 / 128 7.4s Lock concurrent
[ ] 92 0 0 92 / 128 7.5s Lock concurrent
[ ] 96 0 0 96 / 128 7.6s Lock concurrent
[ ] 100 0 0 100 / 128 7.9s Lock concurrent
[ ] 105 0 0 105 / 128 8.0s Lock concurrent
[ ] 107 0 0 107 / 128 8.6s Lock concurrent
[ ] 110 0 0 110 / 128 8.7s Lock concurrent
[ ] 111 0 0 111 / 128 9.2s Lock concurrent
[ ] 126 0 0 126 / 128 9.4s Lock concurrent
[✓] 128 0 0 128 / 128 9.4s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 4268403644700042909
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Lock sequential
[✓] 256 0 0 256 / 256 0.0s Lock sequential
[ ] 0 0 0 0 / 256 0.0s Lock concurrent
[ ] 1 0 0 1 / 256 0.2s Lock concurrent
[ ] 3 0 0 3 / 256 0.9s Lock concurrent
[ ] 7 0 0 7 / 256 1.0s Lock concurrent
[ ] 9 0 0 9 / 256 1.1s Lock concurrent
[ ] 14 0 0 14 / 256 1.2s Lock concurrent
[ ] 17 0 0 17 / 256 1.5s Lock concurrent
[ ] 20 0 0 20 / 256 1.7s Lock concurrent
[ ] 22 0 0 22 / 256 1.9s Lock concurrent
[ ] 23 0 0 23 / 256 2.2s Lock concurrent
[ ] 25 0 0 25 / 256 2.3s Lock concurrent
[ ] 29 0 0 29 / 256 2.6s Lock concurrent
[ ] 33 0 0 33 / 256 2.8s Lock concurrent
[ ] 38 0 0 38 / 256 2.9s Lock concurrent
[ ] 39 0 0 39 / 256 3.0s Lock concurrent
[ ] 42 0 0 42 / 256 3.2s Lock concurrent
[ ] 44 0 0 44 / 256 3.5s Lock concurrent
[ ] 47 0 0 47 / 256 3.6s Lock concurrent
[ ] 60 0 0 60 / 256 3.8s Lock concurrent
[ ] 63 0 0 63 / 256 3.9s Lock concurrent
[ ] 65 0 0 65 / 256 4.2s Lock concurrent
[ ] 67 0 0 67 / 256 4.5s Lock concurrent
[ ] 72 0 0 72 / 256 4.6s Lock concurrent
[ ] 77 0 0 77 / 256 4.7s Lock concurrent
[ ] 82 0 0 82 / 256 4.9s Lock concurrent
[ ] 86 0 0 86 / 256 5.0s Lock concurrent
[ ] 90 0 0 90 / 256 5.1s Lock concurrent
[ ] 96 0 0 96 / 256 5.4s Lock concurrent
[ ] 101 0 0 101 / 256 5.7s Lock concurrent
[ ] 102 0 0 102 / 256 6.0s Lock concurrent
[ ] 105 0 0 105 / 256 6.3s Lock concurrent
[ ] 109 0 0 109 / 256 6.4s Lock concurrent
[ ] 113 0 0 113 / 256 6.6s Lock concurrent
[ ] 114 0 0 114 / 256 7.1s Lock concurrent
[ ] 117 0 0 117 / 256 7.5s Lock concurrent
[ ] 123 0 0 123 / 256 7.6s Lock concurrent
[ ] 127 0 0 127 / 256 7.7s Lock concurrent
[ ] 128 0 0 128 / 256 8.3s Lock concurrent
[ ] 132 0 0 132 / 256 8.4s Lock concurrent
[ ] 136 0 0 136 / 256 8.6s Lock concurrent
[ ] 140 0 0 140 / 256 9.2s Lock concurrent
[ ] 145 0 0 145 / 256 9.8s Lock concurrent
[ ] 149 0 0 149 / 256 10.0s Lock concurrent
[ ] 152 0 0 152 / 256 10.1s Lock concurrent
[ ] 161 0 0 161 / 256 10.2s Lock concurrent
[ ] 167 0 0 167 / 256 10.3s Lock concurrent
[ ] 171 0 0 171 / 256 10.4s Lock concurrent
[ ] 174 0 0 174 / 256 10.5s Lock concurrent
[ ] 176 0 0 176 / 256 11.2s Lock concurrent
[ ] 182 0 0 182 / 256 11.4s Lock concurrent
[ ] 187 0 0 187 / 256 11.8s Lock concurrent
[ ] 188 0 0 188 / 256 11.9s Lock concurrent
[ ] 195 0 0 195 / 256 12.0s Lock concurrent
[ ] 197 0 0 197 / 256 12.2s Lock concurrent
[ ] 198 0 0 198 / 256 12.4s Lock concurrent
[ ] 201 0 0 201 / 256 12.6s Lock concurrent
[ ] 205 0 0 205 / 256 12.8s Lock concurrent
[ ] 209 0 0 209 / 256 12.9s Lock concurrent
[ ] 211 0 0 211 / 256 13.4s Lock concurrent
[ ] 214 0 0 214 / 256 13.8s Lock concurrent
[ ] 218 0 0 218 / 256 14.4s Lock concurrent
[ ] 222 0 0 222 / 256 15.0s Lock concurrent
[ ] 224 0 0 224 / 256 15.1s Lock concurrent
[ ] 225 0 0 225 / 256 15.4s Lock concurrent
[ ] 229 0 0 229 / 256 15.7s Lock concurrent
[ ] 231 0 0 231 / 256 16.4s Lock concurrent
[ ] 240 0 0 240 / 256 16.5s Lock concurrent
[ ] 249 0 0 249 / 256 16.9s Lock concurrent
[ ] 251 0 0 251 / 256 17.4s Lock concurrent
[ ] 253 0 0 253 / 256 17.6s Lock concurrent
[ ] 256 0 0 256 / 256 17.8s Lock concurrent
[✓] 256 0 0 256 / 256 17.8s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 3411666161069186501
generated error fail pass / total time test name
[ ] 0 0 0 0 / 385 0.0s Lock sequential
[✓] 385 0 0 385 / 385 0.0s Lock sequential
[ ] 0 0 0 0 / 385 0.0s Lock concurrent
[ ] 1 0 0 1 / 385 0.3s Lock concurrent
[ ] 2 0 0 2 / 385 0.4s Lock concurrent
[ ] 5 0 0 5 / 385 0.7s Lock concurrent
[ ] 10 0 0 10 / 385 1.0s Lock concurrent
[ ] 12 0 0 12 / 385 1.2s Lock concurrent
[ ] 19 0 0 19 / 385 1.3s Lock concurrent
[ ] 24 0 0 24 / 385 1.4s Lock concurrent
[ ] 27 0 0 27 / 385 1.6s Lock concurrent
[ ] 29 0 0 29 / 385 1.7s Lock concurrent
[ ] 31 0 0 31 / 385 1.8s Lock concurrent
[ ] 32 0 0 32 / 385 2.4s Lock concurrent
[ ] 35 0 0 35 / 385 2.5s Lock concurrent
[ ] 44 0 0 44 / 385 2.8s Lock concurrent
[ ] 51 0 0 51 / 385 2.9s Lock concurrent
[ ] 56 0 0 56 / 385 3.1s Lock concurrent
[ ] 71 0 0 71 / 385 3.2s Lock concurrent
[ ] 76 0 0 76 / 385 3.3s Lock concurrent
[ ] 79 0 0 79 / 385 3.5s Lock concurrent
[ ] 86 0 0 86 / 385 3.7s Lock concurrent
[ ] 91 0 0 91 / 385 3.8s Lock concurrent
[ ] 95 0 0 95 / 385 3.9s Lock concurrent
[ ] 98 0 0 98 / 385 4.0s Lock concurrent
[ ] 103 0 0 103 / 385 4.2s Lock concurrent
[ ] 106 0 0 106 / 385 4.7s Lock concurrent
[ ] 115 0 0 115 / 385 5.4s Lock concurrent
[ ] 117 0 0 117 / 385 5.7s Lock concurrent
[ ] 127 0 0 127 / 385 6.3s Lock concurrent
[ ] 130 0 0 130 / 385 6.5s Lock concurrent
[ ] 132 0 0 132 / 385 6.7s Lock concurrent
[ ] 133 0 0 133 / 385 7.0s Lock concurrent
[ ] 136 0 0 136 / 385 7.3s Lock concurrent
[ ] 140 0 0 140 / 385 7.4s Lock concurrent
[ ] 143 0 0 143 / 385 7.5s Lock concurrent
[ ] 147 0 0 147 / 385 7.7s Lock concurrent
[ ] 148 0 0 148 / 385 7.9s Lock concurrent
[ ] 150 0 0 150 / 385 8.1s Lock concurrent
[ ] 151 0 0 151 / 385 8.3s Lock concurrent
[ ] 154 0 0 154 / 385 8.6s Lock concurrent
[ ] 162 0 0 162 / 385 8.7s Lock concurrent
[ ] 174 0 0 174 / 385 9.4s Lock concurrent
[ ] 175 0 0 175 / 385 9.7s Lock concurrent
[ ] 179 0 0 179 / 385 9.8s Lock concurrent
[ ] 185 0 0 185 / 385 9.9s Lock concurrent
[ ] 186 0 0 186 / 385 10.2s Lock concurrent
[ ] 187 0 0 187 / 385 10.3s Lock concurrent
[ ] 192 0 0 192 / 385 10.5s Lock concurrent
[ ] 197 0 0 197 / 385 10.7s Lock concurrent
[ ] 199 0 0 199 / 385 11.0s Lock concurrent
[ ] 200 0 0 200 / 385 11.3s Lock concurrent
[ ] 203 0 0 203 / 385 11.5s Lock concurrent
[ ] 207 0 0 207 / 385 11.6s Lock concurrent
[ ] 209 0 0 209 / 385 11.8s Lock concurrent
[ ] 212 0 0 212 / 385 12.4s Lock concurrent
[ ] 217 0 0 217 / 385 12.5s Lock concurrent
[ ] 222 0 0 222 / 385 12.7s Lock concurrent
[ ] 228 0 0 228 / 385 13.0s Lock concurrent
[ ] 230 0 0 230 / 385 13.1s Lock concurrent
[ ] 231 0 0 231 / 385 13.3s Lock concurrent
[ ] 232 0 0 232 / 385 13.4s Lock concurrent
[ ] 235 0 0 235 / 385 13.6s Lock concurrent
[ ] 237 0 0 237 / 385 13.9s Lock concurrent
[ ] 241 0 0 241 / 385 14.1s Lock concurrent
[ ] 244 0 0 244 / 385 14.3s Lock concurrent
[ ] 248 0 0 248 / 385 14.4s Lock concurrent
[ ] 249 0 0 249 / 385 14.9s Lock concurrent
[ ] 259 0 0 259 / 385 15.1s Lock concurrent
[ ] 264 0 0 264 / 385 15.2s Lock concurrent
[ ] 266 0 0 266 / 385 15.8s Lock concurrent
[ ] 270 0 0 270 / 385 15.9s Lock concurrent
[ ] 276 0 0 276 / 385 16.0s Lock concurrent
[ ] 277 0 0 277 / 385 16.3s Lock concurrent
[ ] 282 0 0 282 / 385 16.4s Lock concurrent
[ ] 287 0 0 287 / 385 16.5s Lock concurrent
[ ] 289 0 0 289 / 385 17.1s Lock concurrent
[ ] 292 0 0 292 / 385 17.8s Lock concurrent
[ ] 298 0 0 298 / 385 18.4s Lock concurrent
[ ] 301 0 0 301 / 385 18.5s Lock concurrent
[ ] 305 0 0 305 / 385 19.2s Lock concurrent
[ ] 311 0 0 311 / 385 19.9s Lock concurrent
[ ] 314 0 0 314 / 385 20.2s Lock concurrent
[ ] 317 0 0 317 / 385 20.3s Lock concurrent
[ ] 320 0 0 320 / 385 20.4s Lock concurrent
[ ] 321 0 0 321 / 385 20.6s Lock concurrent
[ ] 322 0 0 322 / 385 21.1s Lock concurrent
[ ] 325 0 0 325 / 385 21.7s Lock concurrent
[ ] 333 0 0 333 / 385 21.9s Lock concurrent
[ ] 336 0 0 336 / 385 22.2s Lock concurrent
[ ] 338 0 0 338 / 385 22.7s Lock concurrent
[ ] 339 0 0 339 / 385 22.9s Lock concurrent
[ ] 342 0 0 342 / 385 23.0s Lock concurrent
[ ] 344 0 0 344 / 385 23.1s Lock concurrent
[ ] 348 0 0 348 / 385 23.3s Lock concurrent
[ ] 350 0 0 350 / 385 23.5s Lock concurrent
[ ] 353 0 0 353 / 385 23.7s Lock concurrent
[ ] 358 0 0 358 / 385 24.0s Lock concurrent
[ ] 361 0 0 361 / 385 24.6s Lock concurrent
[ ] 366 0 0 366 / 385 24.9s Lock concurrent
[ ] 370 0 0 370 / 385 25.0s Lock concurrent
[ ] 382 0 0 382 / 385 25.1s Lock concurrent
[ ] 384 0 0 384 / 385 25.2s Lock concurrent
[✓] 385 0 0 385 / 385 25.3s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 1564113667830248674
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lock sequential
[✓] 32 0 0 32 / 32 0.0s Lock sequential
[ ] 0 0 0 0 / 32 0.0s Lock concurrent
[ ] 8 0 0 8 / 32 0.7s Lock concurrent
[ ] 12 0 0 12 / 32 0.8s Lock concurrent
[ ] 16 0 0 16 / 32 0.9s Lock concurrent
[ ] 18 0 0 18 / 32 1.4s Lock concurrent
[ ] 24 0 0 24 / 32 1.7s Lock concurrent
[ ] 28 0 0 28 / 32 2.3s Lock concurrent
[ ] 30 0 0 30 / 32 2.5s Lock concurrent
[✓] 32 0 0 32 / 32 2.5s Lock concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_structured.exe)
Testing `Picos_structured'.
This run has ID `Z1FW1DKB'.
[OK] Bundle 0 fork after terminate.
[OK] Bundle 1 fork after escape.
[OK] Bundle 2 exception in child terminates.
[OK] Bundle 3 cancelation awaits children.
[OK] Bundle 4 block raises when forbidden.
[OK] Bundle 5 block raises Sys_error when fiber finishes.
[OK] Bundle 6 termination nests.
[OK] Bundle 7 promise cancelation does not terminate.
[OK] Bundle 8 error in promise terminates.
[OK] Bundle 9 can wait promises.
[OK] Bundle 10 can select promises.
[OK] Run 0 any and all errors.
[OK] Run 1 any and all returns.
[OK] Run 2 race any.
Full test results in `/src/_build/default/test/_build/_tests/Picos_structured'.
Test Successful in 0.654s. 14 tests run.
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 0)
Testing `Picos_sync'.
This run has ID `XIISFSBC'.
[OK] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.026s. 1 test run.
(cd _build/default/test && ./test_sem.exe)
random seed: 4423529101543709669
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Sem sequential
[✓] 32 0 0 32 / 32 0.0s Sem sequential
[ ] 0 0 0 0 / 32 0.0s Sem concurrent
[ ] 6 0 0 6 / 32 0.1s Sem concurrent
[ ] 8 0 0 8 / 32 0.6s Sem concurrent
[ ] 9 0 0 9 / 32 1.3s Sem concurrent
[ ] 14 0 0 14 / 32 1.4s Sem concurrent
[ ] 16 0 0 16 / 32 1.7s Sem concurrent
[ ] 19 0 0 19 / 32 1.8s Sem concurrent
[ ] 21 0 0 21 / 32 1.9s Sem concurrent
[ ] 24 0 0 24 / 32 2.0s Sem concurrent
[ ] 26 0 0 26 / 32 2.2s Sem concurrent
[ ] 28 0 0 28 / 32 2.3s Sem concurrent
[ ] 29 0 0 29 / 32 2.5s Sem concurrent
[ ] 30 0 0 30 / 32 2.6s Sem concurrent
[✓] 32 0 0 32 / 32 2.7s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 1015076978473142911
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Sem sequential
[✓] 64 0 0 64 / 64 0.0s Sem sequential
[ ] 0 0 0 0 / 64 0.0s Sem concurrent
[ ] 2 0 0 2 / 64 0.1s Sem concurrent
[ ] 7 0 0 7 / 64 0.4s Sem concurrent
[ ] 14 0 0 14 / 64 1.0s Sem concurrent
[ ] 16 0 0 16 / 64 1.2s Sem concurrent
[ ] 20 0 0 20 / 64 1.5s Sem concurrent
[ ] 21 0 0 21 / 64 1.8s Sem concurrent
[ ] 23 0 0 23 / 64 1.9s Sem concurrent
[ ] 25 0 0 25 / 64 2.5s Sem concurrent
[ ] 30 0 0 30 / 64 2.6s Sem concurrent
[ ] 32 0 0 32 / 64 2.7s Sem concurrent
[ ] 33 0 0 33 / 64 2.9s Sem concurrent
[ ] 36 0 0 36 / 64 3.0s Sem concurrent
[ ] 46 0 0 46 / 64 3.1s Sem concurrent
[ ] 47 0 0 47 / 64 3.7s Sem concurrent
[ ] 48 0 0 48 / 64 3.8s Sem concurrent
[ ] 56 0 0 56 / 64 4.1s Sem concurrent
[ ] 57 0 0 57 / 64 4.6s Sem concurrent
[ ] 63 0 0 63 / 64 4.8s Sem concurrent
[ ] 64 0 0 64 / 64 5.1s Sem concurrent
[✓] 64 0 0 64 / 64 5.1s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 919043759016210588
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Sem sequential
[✓] 128 0 0 128 / 128 0.0s Sem sequential
[ ] 0 0 0 0 / 128 0.0s Sem concurrent
[ ] 1 0 0 1 / 128 0.4s Sem concurrent
[ ] 3 0 0 3 / 128 0.5s Sem concurrent
[ ] 8 0 0 8 / 128 0.9s Sem concurrent
[ ] 13 0 0 13 / 128 1.2s Sem concurrent
[ ] 21 0 0 21 / 128 1.9s Sem concurrent
[ ] 24 0 0 24 / 128 2.5s Sem concurrent
[ ] 28 0 0 28 / 128 3.0s Sem concurrent
[ ] 30 0 0 30 / 128 3.2s Sem concurrent
[ ] 34 0 0 34 / 128 3.3s Sem concurrent
[ ] 37 0 0 37 / 128 3.6s Sem concurrent
[ ] 44 0 0 44 / 128 3.7s Sem concurrent
[ ] 51 0 0 51 / 128 3.8s Sem concurrent
[ ] 55 0 0 55 / 128 3.9s Sem concurrent
[ ] 56 0 0 56 / 128 4.5s Sem concurrent
[ ] 59 0 0 59 / 128 4.9s Sem concurrent
[ ] 63 0 0 63 / 128 5.6s Sem concurrent
[ ] 66 0 0 66 / 128 5.8s Sem concurrent
[ ] 70 0 0 70 / 128 6.2s Sem concurrent
[ ] 76 0 0 76 / 128 6.3s Sem concurrent
[ ] 79 0 0 79 / 128 6.4s Sem concurrent
[ ] 83 0 0 83 / 128 6.5s Sem concurrent
[ ] 87 0 0 87 / 128 6.7s Sem concurrent
[ ] 89 0 0 89 / 128 7.4s Sem concurrent
[ ] 93 0 0 93 / 128 8.0s Sem concurrent
[ ] 94 0 0 94 / 128 8.1s Sem concurrent
[ ] 102 0 0 102 / 128 8.4s Sem concurrent
[ ] 104 0 0 104 / 128 8.7s Sem concurrent
[ ] 105 0 0 105 / 128 9.0s Sem concurrent
[ ] 109 0 0 109 / 128 9.1s Sem concurrent
[ ] 113 0 0 113 / 128 9.2s Sem concurrent
[ ] 117 0 0 117 / 128 9.3s Sem concurrent
[ ] 123 0 0 123 / 128 9.9s Sem concurrent
[ ] 126 0 0 126 / 128 10.5s Sem concurrent
[ ] 127 0 0 127 / 128 10.7s Sem concurrent
[✓] 128 0 0 128 / 128 10.7s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 2747456454950689283
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Sem sequential
[✓] 256 0 0 256 / 256 0.0s Sem sequential
[ ] 0 0 0 0 / 256 0.0s Sem concurrent
[ ] 4 0 0 4 / 256 0.1s Sem concurrent
[ ] 12 0 0 12 / 256 0.2s Sem concurrent
[ ] 17 0 0 17 / 256 0.4s Sem concurrent
[ ] 21 0 0 21 / 256 0.5s Sem concurrent
[ ] 22 0 0 22 / 256 0.7s Sem concurrent
[ ] 25 0 0 25 / 256 0.8s Sem concurrent
[ ] 28 0 0 28 / 256 1.0s Sem concurrent
[ ] 31 0 0 31 / 256 1.2s Sem concurrent
[ ] 35 0 0 35 / 256 1.4s Sem concurrent
[ ] 36 0 0 36 / 256 1.6s Sem concurrent
[ ] 39 0 0 39 / 256 1.8s Sem concurrent
[ ] 43 0 0 43 / 256 1.9s Sem concurrent
[ ] 45 0 0 45 / 256 2.5s Sem concurrent
[ ] 46 0 0 46 / 256 2.7s Sem concurrent
[ ] 51 0 0 51 / 256 2.8s Sem concurrent
[ ] 53 0 0 53 / 256 2.9s Sem concurrent
[ ] 55 0 0 55 / 256 3.6s Sem concurrent
[ ] 59 0 0 59 / 256 3.8s Sem concurrent
[ ] 65 0 0 65 / 256 3.9s Sem concurrent
[ ] 66 0 0 66 / 256 4.2s Sem concurrent
[ ] 71 0 0 71 / 256 4.3s Sem concurrent
[ ] 74 0 0 74 / 256 4.4s Sem concurrent
[ ] 77 0 0 77 / 256 4.5s Sem concurrent
[ ] 90 0 0 90 / 256 5.1s Sem concurrent
[ ] 92 0 0 92 / 256 5.3s Sem concurrent
[ ] 95 0 0 95 / 256 5.6s Sem concurrent
[ ] 101 0 0 101 / 256 6.0s Sem concurrent
[ ] 103 0 0 103 / 256 6.5s Sem concurrent
[ ] 105 0 0 105 / 256 6.8s Sem concurrent
[ ] 107 0 0 107 / 256 6.9s Sem concurrent
[ ] 112 0 0 112 / 256 7.2s Sem concurrent
[ ] 116 0 0 116 / 256 7.3s Sem concurrent
[ ] 118 0 0 118 / 256 7.4s Sem concurrent
[ ] 120 0 0 120 / 256 7.6s Sem concurrent
[ ] 127 0 0 127 / 256 8.2s Sem concurrent
[ ] 131 0 0 131 / 256 8.5s Sem concurrent
[ ] 134 0 0 134 / 256 8.6s Sem concurrent
[ ] 138 0 0 138 / 256 8.7s Sem concurrent
[ ] 139 0 0 139 / 256 8.9s Sem concurrent
[ ] 143 0 0 143 / 256 9.3s Sem concurrent
[ ] 146 0 0 146 / 256 9.4s Sem concurrent
[ ] 150 0 0 150 / 256 9.6s Sem concurrent
[ ] 153 0 0 153 / 256 9.7s Sem concurrent
[ ] 160 0 0 160 / 256 10.0s Sem concurrent
[ ] 161 0 0 161 / 256 10.6s Sem concurrent
[ ] 162 0 0 162 / 256 10.9s Sem concurrent
[ ] 163 0 0 163 / 256 11.0s Sem concurrent
[ ] 166 0 0 166 / 256 11.2s Sem concurrent
[ ] 171 0 0 171 / 256 11.3s Sem concurrent
[ ] 173 0 0 173 / 256 11.6s Sem concurrent
[ ] 189 0 0 189 / 256 11.8s Sem concurrent
[ ] 194 0 0 194 / 256 12.0s Sem concurrent
[ ] 195 0 0 195 / 256 12.5s Sem concurrent
[ ] 199 0 0 199 / 256 12.9s Sem concurrent
[ ] 202 0 0 202 / 256 13.0s Sem concurrent
[ ] 206 0 0 206 / 256 13.4s Sem concurrent
[ ] 209 0 0 209 / 256 13.5s Sem concurrent
[ ] 213 0 0 213 / 256 14.2s Sem concurrent
[ ] 215 0 0 215 / 256 14.5s Sem concurrent
[ ] 217 0 0 217 / 256 14.6s Sem concurrent
[ ] 219 0 0 219 / 256 14.7s Sem concurrent
[ ] 221 0 0 221 / 256 14.9s Sem concurrent
[ ] 224 0 0 224 / 256 15.1s Sem concurrent
[ ] 229 0 0 229 / 256 15.2s Sem concurrent
[ ] 230 0 0 230 / 256 15.5s Sem concurrent
[ ] 237 0 0 237 / 256 15.6s Sem concurrent
[ ] 238 0 0 238 / 256 16.1s Sem concurrent
[ ] 240 0 0 240 / 256 16.3s Sem concurrent
[ ] 242 0 0 242 / 256 16.5s Sem concurrent
[ ] 245 0 0 245 / 256 16.6s Sem concurrent
[ ] 248 0 0 248 / 256 17.2s Sem concurrent
[ ] 250 0 0 250 / 256 17.8s Sem concurrent
[ ] 254 0 0 254 / 256 18.2s Sem concurrent
[ ] 256 0 0 256 / 256 18.3s Sem concurrent
[✓] 256 0 0 256 / 256 18.3s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 2443180033438982794
generated error fail pass / total time test name
[ ] 0 0 0 0 / 301 0.0s Sem sequential
[✓] 301 0 0 301 / 301 0.0s Sem sequential
[ ] 0 0 0 0 / 301 0.0s Sem concurrent
[ ] 1 0 0 1 / 301 0.5s Sem concurrent
[ ] 9 0 0 9 / 301 0.7s Sem concurrent
[ ] 17 0 0 17 / 301 0.8s Sem concurrent
[ ] 18 0 0 18 / 301 1.1s Sem concurrent
[ ] 21 0 0 21 / 301 1.4s Sem concurrent
[ ] 23 0 0 23 / 301 1.7s Sem concurrent
[ ] 25 0 0 25 / 301 1.8s Sem concurrent
[ ] 28 0 0 28 / 301 1.9s Sem concurrent
[ ] 31 0 0 31 / 301 2.0s Sem concurrent
[ ] 34 0 0 34 / 301 2.6s Sem concurrent
[ ] 38 0 0 38 / 301 2.7s Sem concurrent
[ ] 42 0 0 42 / 301 3.0s Sem concurrent
[ ] 44 0 0 44 / 301 3.1s Sem concurrent
[ ] 49 0 0 49 / 301 3.2s Sem concurrent
[ ] 52 0 0 52 / 301 3.5s Sem concurrent
[ ] 54 0 0 54 / 301 3.6s Sem concurrent
[ ] 60 0 0 60 / 301 3.9s Sem concurrent
[ ] 64 0 0 64 / 301 4.0s Sem concurrent
[ ] 67 0 0 67 / 301 4.1s Sem concurrent
[ ] 70 0 0 70 / 301 4.3s Sem concurrent
[ ] 72 0 0 72 / 301 4.6s Sem concurrent
[ ] 81 0 0 81 / 301 4.9s Sem concurrent
[ ] 89 0 0 89 / 301 5.1s Sem concurrent
[ ] 92 0 0 92 / 301 5.2s Sem concurrent
[ ] 93 0 0 93 / 301 5.8s Sem concurrent
[ ] 96 0 0 96 / 301 5.9s Sem concurrent
[ ] 99 0 0 99 / 301 6.0s Sem concurrent
[ ] 103 0 0 103 / 301 6.3s Sem concurrent
[ ] 109 0 0 109 / 301 6.9s Sem concurrent
[ ] 112 0 0 112 / 301 7.6s Sem concurrent
[ ] 114 0 0 114 / 301 7.7s Sem concurrent
[ ] 117 0 0 117 / 301 8.0s Sem concurrent
[ ] 126 0 0 126 / 301 8.2s Sem concurrent
[ ] 129 0 0 129 / 301 8.3s Sem concurrent
[ ] 133 0 0 133 / 301 8.6s Sem concurrent
[ ] 137 0 0 137 / 301 8.8s Sem concurrent
[ ] 141 0 0 141 / 301 8.9s Sem concurrent
[ ] 142 0 0 142 / 301 9.2s Sem concurrent
[ ] 143 0 0 143 / 301 9.4s Sem concurrent
[ ] 151 0 0 151 / 301 9.7s Sem concurrent
[ ] 154 0 0 154 / 301 9.8s Sem concurrent
[ ] 155 0 0 155 / 301 10.0s Sem concurrent
[ ] 161 0 0 161 / 301 10.2s Sem concurrent
[ ] 164 0 0 164 / 301 10.6s Sem concurrent
[ ] 170 0 0 170 / 301 10.8s Sem concurrent
[ ] 175 0 0 175 / 301 10.9s Sem concurrent
[ ] 177 0 0 177 / 301 11.0s Sem concurrent
[ ] 181 0 0 181 / 301 11.1s Sem concurrent
[ ] 185 0 0 185 / 301 11.3s Sem concurrent
[ ] 188 0 0 188 / 301 11.8s Sem concurrent
[ ] 189 0 0 189 / 301 11.9s Sem concurrent
[ ] 205 0 0 205 / 301 12.3s Sem concurrent
[ ] 206 0 0 206 / 301 12.5s Sem concurrent
[ ] 209 0 0 209 / 301 12.7s Sem concurrent
[ ] 212 0 0 212 / 301 12.8s Sem concurrent
[ ] 213 0 0 213 / 301 13.4s Sem concurrent
[ ] 218 0 0 218 / 301 13.5s Sem concurrent
[ ] 220 0 0 220 / 301 13.6s Sem concurrent
[ ] 221 0 0 221 / 301 13.9s Sem concurrent
[ ] 228 0 0 228 / 301 14.0s Sem concurrent
[ ] 231 0 0 231 / 301 14.2s Sem concurrent
[ ] 232 0 0 232 / 301 14.3s Sem concurrent
[ ] 234 0 0 234 / 301 14.6s Sem concurrent
[ ] 236 0 0 236 / 301 14.7s Sem concurrent
[ ] 240 0 0 240 / 301 15.0s Sem concurrent
[ ] 241 0 0 241 / 301 15.1s Sem concurrent
[ ] 249 0 0 249 / 301 15.3s Sem concurrent
[ ] 255 0 0 255 / 301 15.4s Sem concurrent
[ ] 272 0 0 272 / 301 15.5s Sem concurrent
[ ] 276 0 0 276 / 301 15.9s Sem concurrent
[ ] 277 0 0 277 / 301 16.2s Sem concurrent
[ ] 279 0 0 279 / 301 16.5s Sem concurrent
[ ] 285 0 0 285 / 301 16.6s Sem concurrent
[ ] 289 0 0 289 / 301 16.9s Sem concurrent
[ ] 293 0 0 293 / 301 17.0s Sem concurrent
[ ] 299 0 0 299 / 301 17.1s Sem concurrent
[✓] 301 0 0 301 / 301 17.1s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 409491216730666639
generated error fail pass / total time test name
[ ] 0 0 0 0 / 87 0.0s Sem sequential
[✓] 87 0 0 87 / 87 0.0s Sem sequential
[ ] 0 0 0 0 / 87 0.0s Sem concurrent
[ ] 4 0 0 4 / 87 0.1s Sem concurrent
[ ] 6 0 0 6 / 87 0.3s Sem concurrent
[ ] 7 0 0 7 / 87 0.5s Sem concurrent
[ ] 10 0 0 10 / 87 0.6s Sem concurrent
[ ] 15 0 0 15 / 87 0.7s Sem concurrent
[ ] 17 0 0 17 / 87 0.9s Sem concurrent
[ ] 19 0 0 19 / 87 1.2s Sem concurrent
[ ] 29 0 0 29 / 87 1.5s Sem concurrent
[ ] 33 0 0 33 / 87 1.7s Sem concurrent
[ ] 39 0 0 39 / 87 1.8s Sem concurrent
[ ] 41 0 0 41 / 87 2.1s Sem concurrent
[ ] 46 0 0 46 / 87 2.7s Sem concurrent
[ ] 51 0 0 51 / 87 2.8s Sem concurrent
[ ] 52 0 0 52 / 87 3.0s Sem concurrent
[ ] 56 0 0 56 / 87 3.3s Sem concurrent
[ ] 57 0 0 57 / 87 3.6s Sem concurrent
[ ] 59 0 0 59 / 87 3.7s Sem concurrent
[ ] 63 0 0 63 / 87 4.0s Sem concurrent
[ ] 66 0 0 66 / 87 4.2s Sem concurrent
[ ] 68 0 0 68 / 87 4.5s Sem concurrent
[✓] 87 0 0 87 / 87 4.6s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 3854641498557140120
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Sem sequential
[✓] 32 0 0 32 / 32 0.0s Sem sequential
[ ] 0 0 0 0 / 32 0.0s Sem concurrent
[ ] 6 0 0 6 / 32 0.1s Sem concurrent
[ ] 7 0 0 7 / 32 0.6s Sem concurrent
[ ] 12 0 0 12 / 32 0.7s Sem concurrent
[ ] 19 0 0 19 / 32 1.4s Sem concurrent
[ ] 20 0 0 20 / 32 1.6s Sem concurrent
[ ] 22 0 0 22 / 32 2.2s Sem concurrent
[ ] 24 0 0 24 / 32 2.7s Sem concurrent
[ ] 28 0 0 28 / 32 2.8s Sem concurrent
[ ] 32 0 0 32 / 32 2.9s Sem concurrent
[✓] 32 0 0 32 / 32 2.9s Sem concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_mutex.exe)
random seed: 3439137676692932846
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mutex sequential
[✓] 32 0 0 32 / 32 0.0s Mutex sequential
[ ] 0 0 0 0 / 32 0.0s Mutex concurrent
[ ] 1 0 0 1 / 32 0.3s Mutex concurrent
[ ] 3 0 0 3 /2 0.5s Mutex concurrent
[ ] 7 0 0 7 / 32 0.6s Mutex concurrent
[ ] 9 0 0 9 / 32 0.8s Mutex concurrent
[ ] 13 0 0 13 / 32 1.2s Mutex concurrent
[ ] 18 0 0 18 / 32 1.6s Mutex concurrent
[ ] 23 0 0 23 / 32 1.7s Mutex concurrent
[ ] 25 0 0 25 / 32 2.3s Mutex concurrent
[ ] 29 0 0 29 / 32 2.4s Mutex concurrent
[✓] 32 0 0 32 / 32 2.5s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 3646728068482644281
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Mutex sequential
[✓] 64 0 0 64 / 64 0.0s Mutex sequential
[ ] 0 0 0 0 / 64 0.0s Mutex concurrent
[ ] 6 0 0 6 / 64 0.2s Mutex concurrent
[ ] 11 0 0 11 / 64 0.4s Mutex concurrent
[ ] 15 0 0 15 / 64 0.5s Mutex concurrent
[ ] 18 0 0 18 / 64 1.1s Mutex concurrent
[ ] 22 0 0 22 / 64 1.2s Mutex concurrent
[ ] 29 0 0 29 / 64 1.4s Mutex concurrent
[ ] 30 0 0 30 / 64 1.7s Mutex concurrent
[ ] 34 0 0 34 / 64 1.8s Mutex concurrent
[ ] 35 0 0 35 / 64 2.1s Mutex concurrent
[ ] 39 0 0 39 / 64 2.2s Mutex concurrent
[ ] 40 0 0 40 / 64 2.5s Mutex concurrent
[ ] 43 0 0 43 / 64 2.7s Mutex concurrent
[ ] 44 0 0 44 / 64 2.8s Mutex concurrent
[ ] 46 0 0 46 / 64 2.9s Mutex concurrent
[ ] 49 0 0 49 / 64 3.3s Mutex concurrent
[ ] 52 0 0 52 / 64 3.4s Mutex concurrent
[ ] 55 0 0 55 / 64 3.6s Mutex concurrent
[ ] 63 0 0 63 / 64 3.9s Mutex concurrent
[✓] 64 0 0 64 / 64 3.9s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 3398062565499704807
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Mutex sequential
[✓] 128 0 0 128 / 128 0.0s Mutex sequential
[ ] 0 0 0 0 / 128 0.0s Mutex concurrent
[ ] 6 0 0 6 / 128 0.1s Mutex concurrent
[ ] 29 0 0 29 / 128 0.2s Mutex concurrent
[ ] 30 0 0 30 / 128 0.8s Mutex concurrent
[ ] 32 0 0 32 / 128 0.9s Mutex concurrent
[ ] 41 0 0 41 / 128 1.0s Mutex concurrent
[ ] 47 0 0 47 / 128 1.3s Mutex concurrent
[ ] 49 0 0 49 / 128 1.4s Mutex concurrent
[ ] 62 0 0 62 / 128 1.5s Mutex concurrent
[ ] 68 0 0 68 / 128 1.9s Mutex concurrent
[ ] 70 0 0 70 / 128 2.0s Mutex concurrent
[ ] 73 0 0 73 / 128 2.3s Mutex concurrent
[ ] 74 0 0 74 / 128 2.5s Mutex concurrent
[ ] 76 0 0 76 / 128 2.8s Mutex concurrent
[ ] 80 0 0 80 / 128 3.0s Mutex concurrent
[ ] 93 0 0 93 / 128 3.1s Mutex concurrent
[ ] 96 0 0 96 / 128 3.8s Mutex concurrent
[ ] 100 0 0 100 / 128 4.4s Mutex concurrent
[ ] 105 0 0 105 / 128 4.5s Mutex concurrent
[ ] 106 0 0 106 / 128 5.1s Mutex concurrent
[ ] 110 0 0 110 / 128 5.2s Mutex concurrent
[ ] 111 0 0 111 / 128 5.5s Mutex concurrent
[ ] 115 0 0 115 / 128 5.6s Mutex concurrent
[ ] 117 0 0 117 / 128 5.8s Mutex concurrent
[ ] 119 0 0 119 / 128 6.3s Mutex concurrent
[ ] 123 0 0 123 / 128 6.4s Mutex concurrent
[ ] 126 0 0 126 / 128 7.1s Mutex concurrent
[ ] 127 0 0 127 / 128 7.7s Mutex concurrent
[✓] 128 0 0 128 / 128 7.7s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 3114879026863732611
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Mutex sequential
[✓] 256 0 0 256 / 256 0.0s Mutex sequential
[ ] 0 0 0 0 / 256 0.0s Mutex concurrent
[ ] 4 0 0 4 / 256 0.2s Mutex concurrent
[ ] 7 0 0 7 / 256 0.5s Mutex concurrent
[ ] 11 0 0 11 / 256 0.6s Mutex concurrent
[ ] 15 0 0 15 / 256 0.8s Mutex concurrent
[ ] 19 0 0 19 / 256 1.0s Mutex concurrent
[ ] 25 0 0 25 / 256 1.6s Mutex concurrent
[ ] 27 0 0 27 / 256 2.0s Mutex concurrent
[ ] 29 0 0 29 / 256 2.1s Mutex concurrent
[ ] 32 0 0 32 / 256 2.3s Mutex concurrent
[ ] 35 0 0 35 / 256 2.4s Mutex concurrent
[ ] 38 0 0 38 / 256 2.6s Mutex concurrent
[ ] 42 0 0 42 / 256 2.7s Mutex concurrent
[ ] 44 0 0 44 / 256 3.0s Mutex concurrent
[ ] 48 0 0 48 / 256 3.6s Mutex concurrent
[ ] 49 0 0 49 / 256 3.9s Mutex concurrent
[ ] 52 0 0 52 / 256 4.0s Mutex concurrent
[ ] 53 0 0 53 / 256 4.6s Mutex concurrent
[ ] 58 0 0 58 / 256 4.7s Mutex concurrent
[ ] 63 0 0 63 / 256 4.8s Mutex concurrent
[ ] 69 0 0 69 / 256 5.0s Mutex concurrent
[ ] 70 0 0 70 / 256 5.3s Mutex concurrent
[ ] 75 0 0 75 / 256 6.0s Mutex concurrent
[ ] 81 0 0 81 / 256 6.1s Mutex concurrent
[ ] 86 0 0 86 / 256 6.2s Mutex concurrent
[ ] 90 0 0 90 / 256 6.3s Mutex concurrent
[ ] 96 0 0 96 / 256 7.0s Mutex concurrent
[ ] 97 0 0 97 / 256 7.1s Mutex concurrent
[ ] 102 0 0 102 / 256 7.5s Mutex concurrent
[ ] 103 0 0 103 / 256 7.6s Mutex concurrent
[ ] 106 0 0 106 / 256 7.8s Mutex concurrent
[ ] 109 0 0 109 / 256 7.9s Mutex concurrent
[ ] 112 0 0 112 / 256 8.1s Mutex concurrent
[ ] 115 0 0 115 / 256 8.2s Mutex concurrent
[ ] 117 0 0 117 / 256 8.3s Mutex concurrent
[ ] 119 0 0 119 / 256 8.6s Mutex concurrent
[ ] 123 0 0 123 / 256 8.7s Mutex concurrent
[ ] 125 0 0 125 / 256 9.3s Mutex concurrent
[ ] 127 0 0 127 / 256 9.4s Mutex concurrent
[ ] 136 0 0 136 / 256 9.6s Mutex concurrent
[ ] 137 0 0 137 / 256 10.1s Mutex concurrent
[ ] 139 0 0 139 / 256 10.5s Mutex concurrent
[ ] 142 0 0 142 / 256 10.8s Mutex concurrent
[ ] 145 0 0 145 / 256 10.9s Mutex concurrent
[ ] 147 0 0 147 / 256 11.1s Mutex concurrent
[ ] 150 0 0 150 / 256 11.3s Mutex concurrent
[ ] 158 0 0 158 / 256 11.6s Mutex concurrent
[ ] 168 0 0 168 / 256 11.8s Mutex concurrent
[ ] 176 0 0 176 / 256 11.9s Mutex concurrent
[ ] 177 0 0 177 / 256 12.1s Mutex concurrent
[ ] 184 0 0 184 / 256 12.2s Mutex concurrent
[ ] 188 0 0 188 / 256 12.4s Mutex concurrent
[ ] 189 0 0 189 / 256 12.5s Mutex concurrent
[ ] 192 0 0 192 / 256 12.6s Mutex concurrent
[ ] 195 0 0 195 / 256 12.7s Mutex concurrent
[ ] 200 0 0 200 / 256 12.9s Mutex concurrent
[ ] 204 0 0 204 / 256 13.0s Mutex concurrent
[ ] 209 0 0 209 / 256 13.1s Mutex concurrent
[ ] 210 0 0 210 / 256 13.2s Mutex concurrent
[ ] 212 0 0 212 / 256 13.6s Mutex concurrent
[ ] 216 0 0 216 / 256 13.7s Mutex concurrent
[ ] 219 0 0 219 / 256 14.1s Mutex concurrent
[ ] 230 0 0 230 / 256 14.2s Mutex concurrent
[ ] 234 0 0 234 / 256 14.5s Mutex concurrent
[ ] 239 0 0 239 / 256 15.1s Mutex concurrent
[ ] 241 0 0 241 / 256 15.7s Mutex concurrent
[ ] 245 0 0 245 / 256 15.8s Mutex concurrent
[ ] 251 0 0 251 / 256 15.9s Mutex concurrent
[ ] 253 0 0 253 / 256 16.0s Mutex concurrent
[ ] 256 0 0 256 / 256 16.1s Mutex concurrent
[✓] 256 0 0 256 / 256 16.1s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 2891642372032493094
generated error fail pass / total time test name
[ ] 0 0 0 0 / 471 0.0s Mutex sequential
[✓] 471 0 0 471 / 471 0.0s Mutex sequential
[ ] 0 0 0 0 / 471 0.0s Mutex concurrent
[ ] 3 0 0 3 / 471 0.6s Mutex concurrent
[ ] 7 0 0 7 / 471 0.9s Mutex concurrent
[ ] 11 0 0 11 / 471 1.1s Mutex concurrent
[ ] 15 0 0 15 / 471 1.3s Mutex concurrent
[ ] 18 0 0 18 / 471 1.7s Mutex concurrent
[ ] 19 0 0 19 / 471 2.2s Mutex concurrent
[ ] 21 0 0 21 / 471 2.8s Mutex concurrent
[ ] 28 0 0 28 / 471 2.9s Mutex concurrent
[ ] 30 0 0 30 / 471 3.4s Mutex concurrent
[ ] 34 0 0 34 / 471 3.6s Mutex concurrent
[ ] 44 0 0 44 / 471 3.7s Mutex concurrent
[ ] 45 0 0 45 / 471 4.2s Mutex concurrent
[ ] 50 0 0 50 / 471 4.3s Mutex concurrent
[ ] 52 0 0 52 / 471 4.7s Mutex concurrent
[ ] 54 0 0 54 / 471 4.8s Mutex concurrent
[ ] 55 0 0 55 / 471 5.4s Mutex concurrent
[ ] 57 0 0 57 / 471 5.5s Mutex concurrent
[ ] 60 0 0 60 / 471 5.6s Mutex concurrent
[ ] 63 0 0 63 / 471 5.7s Mutex concurrent
[ ] 73 0 0 73 / 471 5.8s Mutex concurrent
[ ] 75 0 0 75 / 471 6.0s Mutex concurrent
[ ] 82 0 0 82 / 471 6.1s Mutex concurrent
[ ] 85 0 0 85 / 471 6.3s Mutex concurrent
[ ] 89 0 0 89 / 471 6.6s Mutex concurrent
[ ] 94 0 0 94 / 471 6.8s Mutex concurrent
[ ] 95 0 0 95 / 471 7.3s Mutex concurrent
[ ] 98 0 0 98 / 471 7.9s Mutex concurrent
[ ] 100 0 0 100 / 471 8.0s Mutex concurrent
[ ] 107 0 0 107 / 471 8.1s Mutex concurrent
[ ] 109 0 0 109 / 471 8.7s Mutex concurrent
[ ] 112 0 0 112 / 471 8.8s Mutex concurrent
[ ] 115 0 0 115 / 471 8.9s Mutex concurrent
[ ] 121 0 0 121 / 471 9.6s Mutex concurrent
[ ] 125 0 0 125 / 471 9.7s Mutex concurrent
[ ] 130 0 0 130 / 471 9.8s Mutex concurrent
[ ] 134 0 0 134 / 471 9.9s Mutex concurrent
[ ] 138 0 0 138 / 471 10.0s Mutex concurrent
[ ] 140 0 0 140 / 471 10.2s Mutex concurrent
[ ] 143 0 0 143 / 471 10.5s Mutex concurrent
[ ] 149 0 0 149 / 471 10.6s Mutex concurrent
[ ] 153 0 0 153 / 471 10.7s Mutex concurrent
[ ] 155 0 0 155 / 471 11.0s Mutex concurrent
[ ] 159 0 0 159 / 471 11.6s Mutex concurrent
[ ] 162 0 0 162 / 471 11.7s Mutex concurrent
[ ] 166 0 0 166 / 471 11.8s Mutex concurrent
[ ] 171 0 0 171 / 471 12.0s Mutex concurrent
[ ] 173 0 0 173 / 471 12.3s Mutex concurrent
[ ] 177 0 0 177 / 471 12.5s Mutex concurrent
[ ] 183 0 0 183 / 471 12.6s Mutex concurrent
[ ] 189 0 0 189 / 471 12.8s Mutex concurrent
[ ] 192 0 0 192 / 471 13.4s Mutex concurrent
[ ] 198 0 0 198 / 471 13.5s Mutex concurrent
[ ] 205 0 0 205 / 471 13.8s Mutex concurrent
[ ] 207 0 0 207 / 471 13.9s Mutex concurrent
[ ] 216 0 0 216 / 471 14.0s Mutex concurrent
[ ] 220 0 0 220 / 471 14.1s Mutex concurrent
[ ] 224 0 0 224 / 471 14.7s Mutex concurrent
[ ] 235 0 0 235 / 471 14.9s Mutex concurrent
[ ] 238 0 0 238 / 471 15.0s Mutex concurrent
[ ] 241 0 0 241 / 471 15.3s Mutex concurrent
[ ] 244 0 0 244 / 471 15.9s Mutex concurrent
[ ] 246 0 0 246 / 471 16.2s Mutex concurrent
[ ] 248 0 0 248 / 471 16.4s Mutex concurrent
[ ] 259 0 0 259 / 471 16.5s Mutex concurrent
[ ] 268 0 0 268 / 471 16.6s Mutex concurrent
[ ] 272 0 0 272 / 471 16.8s Mutex concurrent
[ ] 276 0 0 276 / 471 17.4s Mutex concurrent
[ ] 277 0 0 277 / 471 17.7s Mutex concurrent
[ ] 282 0 0 282 / 471 17.9s Mutex concurrent
[ ] 284 0 0 284 / 471 18.0s Mutex concurrent
[ ] 290 0 0 290 / 471 18.1s Mutex concurrent
[ ] 293 0 0 293 / 471 18.2s Mutex concurrent
[ ] 298 0 0 298 / 471 18.3s Mutex concurrent
[ ] 300 0 0 300 / 471 18.4s Mutex concurrent
[ ] 307 0 0 307 / 471 18.6s Mutex concurrent
[ ] 313 0 0 313 / 471 18.7s Mutex concurrent
[ ] 316 0 0 316 / 471 19.4s Mutex concurrent
[ ] 319 0 0 319 / 471 19.5s Mutex concurrent
[ ] 321 0 0 321 / 471 19.7s Mutex concurrent
[ ] 322 0 0 322 / 471 20.0s Mutex concurrent
[ ] 326 0 0 326 / 471 20.2s Mutex concurrent
[ ] 327 0 0 327 / 471 20.7s Mutex concurrent
[ ] 332 0 0 332 / 471 20.8s Mutex concurrent
[ ] 340 0 0 340 / 471 21.6s Mutex concurrent
[ ] 345 0 0 345 / 471 21.7s Mutex concurrent
[ ] 346 0 0 346 / 471 21.9s Mutex concurrent
[ ] 355 0 0 355 / 471 22.5s Mutex concurrent
[ ] 356 0 0 356 / 471 23.0s Mutex concurrent
[ ] 357 0 0 357 / 471 23.3s Mutex concurrent
[ ] 362 0 0 362 / 471 23.4s Mutex concurrent
[ ] 365 0 0 365 / 471 23.5s Mutex concurrent
[ ] 369 0 0 369 / 471 23.7s Mutex concurrent
[ ] 370 0 0 370 / 471 23.8s Mutex concurrent
[ ] 376 0 0 376 / 471 23.9s Mutex concurrent
[ ] 381 0 0 381 / 471 24.2s Mutex concurrent
[ ] 387 0 0 387 / 471 24.3s Mutex concurrent
[ ] 389 0 0 389 / 471 24.6s Mutex concurrent
[ ] 391 0 0 391 / 471 24.9s Mutex concurrent
[ ] 394 0 0 394 / 471 25.0s Mutex concurrent
[ ] 398 0 0 398 / 471 25.1s Mutex concurrent
[ ] 399 0 0 399 / 471 25.4s Mutex concurrent
[ ] 401 0 0 401 / 471 25.6s Mutex concurrent
[ ] 407 0 0 407 / 471 26.0s Mutex concurrent
[ ] 410 0 0 410 / 471 26.5s Mutex concurrent
[ ] 418 0 0 418 / 471 26.6s Mutex concurrent
[ ] 420 0 0 420 / 471 26.8s Mutex concurrent
[ ] 422 0 0 422 / 471 27.0s Mutex concurrent
[ ] 425 0 0 425 / 471 27.1s Mutex concurrent
[ ] 429 0 0 429 / 471 27.2s Mutex concurrent
[ ] 430 0 0 430 / 471 27.3s Mutex concurrent
[ ] 440 0 0 440 / 471 27.7s Mutex concurrent
[ ] 442 0 0 442 / 471 28.3s Mutex concurrent
[ ] 445 0 0 445 / 471 28.8s Mutex concurrent
[ ] 448 0 0 448 / 471 29.0s Mutex concurrent
[ ] 449 0 0 449 / 471 29.5s Mutex concurrent
[ ] 454 0 0 454 / 471 30.1s Mutex concurrent
[ ] 456 0 0 456 / 471 30.2s Mutex concurrent
[ ] 460 0 0 460 / 471 30.4s Mutex concurrent
[ ] 461 0 0 461 / 471 30.8s Mutex concurrent
[ ] 464 0 0 464 / 471 31.5s Mutex concurrent
[ ] 466 0 0 466 / 471 31.7s Mutex concurrent
[ ] 470 0 0 470 / 471 31.8s Mutex concurrent
[✓] 471 0 0 471 / 471 31.9s Mutex concurrent
================================================================================
success (ran 2 tests)
2025-11-02 17:22.06: Cancelling: Auto-cancelling job because it is no longer needed
Job cancelled