2026-01-15 12:39.44: New job: test ocaml-multicore/picos https://github.com/ocaml-multicore/picos.git#refs/heads/experimental-htbl (a369da6b1252df6ee1eb09282e7bbf18d7a88849) (openbsd-amd64:openbsd-77-amd64-4.14_opam-2.5)
Base: openbsd-77-amd64-ocaml-4.14
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/picos.git" -b "experimental-htbl" && cd "picos" && git reset --hard a369da6b
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM openbsd-77-amd64-ocaml-4.14
# openbsd-77-amd64-4.14_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
RUN doas ln -f /usr/bin/opam-2.5 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
RUN cd ~/opam-repository && (git cat-file -e 513e85b5a99db7912c4e7ed5e9675a808b7107a6 || git fetch origin master) && git reset -q --hard 513e85b5a99db7912c4e7ed5e9675a808b7107a6 && 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 /home/opam/src/./
RUN opam pin add -yn picos_std.dev '/home/opam/src/./' && \
opam pin add -yn picos_mux.dev '/home/opam/src/./' && \
opam pin add -yn picos_meta.dev '/home/opam/src/./' && \
opam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
opam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
opam pin add -yn picos_io.dev '/home/opam/src/./' && \
opam pin add -yn picos_aux.dev '/home/opam/src/./' && \
opam pin add -yn picos.dev '/home/opam/src/./'
RUN echo '(lang dune 3.0)' > '/home/opam/src/./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.1.0 cohttp.6.2.1 cohttp-lwt.6.2.1 cohttp-lwt-unix.6.2.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-npm.1 conf-pkg-config.4 containers.3.17 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.2.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.10.0 lwt.6.0.0 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.dev 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.91 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.1 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.5 --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 . /home/opam/src
RUN cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2026-01-15 12:39.44: Using cache hint "ocaml-multicore/picos-openbsd-77-amd64-ocaml-4.14-openbsd-77-amd64-4.14_opam-2.5-a49f003d0fc82fb92e1f84d30e23776b"
2026-01-15 12:39.44: Using OBuilder spec:
((from openbsd-77-amd64-ocaml-4.14)
(comment openbsd-77-amd64-4.14_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(run (shell "doas ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 513e85b5a99db7912c4e7ed5e9675a808b7107a6 || git fetch origin master) && git reset -q --hard 513e85b5a99db7912c4e7ed5e9675a808b7107a6 && 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 /home/opam/src/./))
(run (network host)
(shell "opam pin add -yn picos_std.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_mux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_meta.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_aux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos.dev '/home/opam/src/./'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > '/home/opam/src/./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.1.0 cohttp.6.2.1 cohttp-lwt.6.2.1 cohttp-lwt-unix.6.2.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-npm.1 conf-pkg-config.4 containers.3.17 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.2.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.10.0 lwt.6.0.0 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.dev 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.91 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.1 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.5 --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 /home/opam/src))
(run (shell "cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2026-01-15 12:39.44: Waiting for resource in pool OCluster
2026-01-15 12:39.44: Waiting for worker…
2026-01-15 12:40.02: Got resource from pool OCluster
Building on oregano
All commits already cached
HEAD is now at a369da6 Experimental more incremental resize approach
(from openbsd-77-amd64-ocaml-4.14)
2026-01-15 12:40.02 ---> using "00579f8dea230f94ca5972e50ed0dc70167d1c0e96cfe76e645642677774f17f" from cache
/: (comment openbsd-77-amd64-4.14_opam-2.5)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (run (shell "doas ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-01-15 12:40.02 ---> using "da141ce924dbdf0e0442253d076446a1e9daf01a696ee1da60c117d1744ba343" from cache
/: (run (shell "opam init --reinit -ni"))
No configuration file found, using 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.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from file:///home/opam/opam-repository
2026-01-15 12:40.02 ---> using "b47c7195b64a0fbbfb2ac6be89bc5d4169c21972d78277da851cf2b727db2a25" from cache
/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
OpenBSD 7.7
The OCaml toplevel, version 4.14.2
2.5.0
2026-01-15 12:40.02 ---> using "e55220d038fe41141e2145e0c421187821ce842a2e5f51ea535be80bbba79f5e" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 513e85b5a99db7912c4e7ed5e9675a808b7107a6 || git fetch origin master) && git reset -q --hard 513e85b5a99db7912c4e7ed5e9675a808b7107a6 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
93a7bce43a..513e85b5a9 master -> origin/master
513e85b5a9 Merge pull request #29217 from c-cube/release-containers-v3.17
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from 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.4.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)
2026-01-15 12:40.02 ---> using "2889173e72642414548f128d5cfc88cdd50030f47b9e07bc0a2b4f5e0e1beff4" from cache
/: (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 /home/opam/src/./))
2026-01-15 12:40.02 ---> using "0875059fa5ade36decf95e2d0a17d53cdc2562b5a66626e5fc2d838daf00e25c" from cache
/: (run (network host)
(shell "opam pin add -yn picos_std.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_mux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_meta.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_aux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos.dev '/home/opam/src/./'"))
[picos_std.dev] synchronised (file:///home/opam/src)
picos_std is now pinned to file:///home/opam/src (version dev)
[picos_mux.dev] synchronised (file:///home/opam/src)
picos_mux is now pinned to file:///home/opam/src (version dev)
[picos_meta.dev] synchronised (file:///home/opam/src)
picos_meta is now pinned to file:///home/opam/src (version dev)
[picos_lwt.dev] synchronised (file:///home/opam/src)
picos_lwt is now pinned to file:///home/opam/src (version dev)
[picos_io_cohttp.dev] synchronised (file:///home/opam/src)
picos_io_cohttp is now pinned to file:///home/opam/src (version dev)
[picos_io.dev] synchronised (file:///home/opam/src)
picos_io is now pinned to file:///home/opam/src (version dev)
[picos_aux.dev] synchronised (file:///home/opam/src)
picos_aux is now pinned to file:///home/opam/src (version dev)
[picos.dev] synchronised (file:///home/opam/src)
[WARNING] Failed checks on picos package definition from source at file:///home/opam/src:
warning 74: Field 'pin-depends' contains packages that are neither in 'depends' nor in 'depopts': "multicore-magic"
The following additional pinnings are required by picos.dev:
- multicore-magic.dev at git+https://github.com/ocaml-multicore/multicore-magic#ff3a1060e71b6117ec90e1e985a8618ea845a6e0
Pin and install them? [Y/n] y
[multicore-magic.dev] synchronised (no changes)
multicore-magic is now pinned to git+https://github.com/ocaml-multicore/multicore-magic#ff3a1060e71b6117ec90e1e985a8618ea845a6e0 (version dev)
picos is now pinned to file:///home/opam/src (version dev)
2026-01-15 12:40.02 ---> using "e4bd58d8b85d772835ac9e1d51781b3ab9940098d884d4c32cab132fa27dc6ab" from cache
/: (run (network host)
(shell "echo '(lang dune 3.0)' > '/home/opam/src/./dune-project'"))
2026-01-15 12:40.02 ---> using "2ce50fc3e11c1d5010d7fc4396466d253fbb2298a2f88f4c5652e926be2b6301" from cache
/: (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.1.0 cohttp.6.2.1 cohttp-lwt.6.2.1 cohttp-lwt-unix.6.2.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-npm.1 conf-pkg-config.4 containers.3.17 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.2.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.10.0 lwt.6.0.0 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.dev 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.91 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.1 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.5 --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"))
[WARNING] Unknown update command for bsd, skipping system update
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[picos_aux.dev] synchronised (file:///home/opam/src)
[picos.dev] synchronised (file:///home/opam/src)
[picos_io.dev] synchronised (file:///home/opam/src)
[picos_io_cohttp.dev] synchronised (file:///home/opam/src)
[picos_lwt.dev] synchronised (file:///home/opam/src)
[picos_meta.dev] synchronised (file:///home/opam/src)
[picos_mux.dev] synchronised (file:///home/opam/src)
[picos_std.dev] synchronised (file:///home/opam/src)
[multicore-magic.dev] synchronised (no changes)
[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:
gmp node
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/doas "pkg_add" "-I" "gmp" "node"
- quirks-7.103 signed on 2025-10-13T22:55:16Z
- --- +node-22.15.1v0 -------------------
- You may wish to add /usr/local/lib/node_modules/npm/man to /etc/man.conf
- --- +openssl-3.3.3p0v0 -------------------
- You may wish to add /usr/local/lib/eopenssl33/man to /etc/man.conf
# To update the current shell environment, run: eval $(opam env)
2026-01-15 12:40.02 ---> using "722912b04ff7f026d12bca4ea40864fb11792912a0ab2f1105b1c0f0dd21886d" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[multicore-magic.dev] synchronised (no changes)
[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 97 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.1.0
- install cohttp 6.2.1
- install cohttp-lwt 6.2.1
- install cohttp-lwt-unix 6.2.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-npm 1
- install conf-pkg-config 4
- install containers 3.17
- 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.2.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.10.0
- install lwt 6.0.0
- 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 dev (pinned)
- 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.91
- 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.1
- 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 asn1-combinators.0.3.2 (cached)
-> retrieved angstrom.0.16.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved backoff.0.1.1 (cached)
-> retrieved alcotest.1.9.1 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved base.v0.16.4 (cached)
-> retrieved ca-certs.1.0.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-gmp-powm-sec.4 (cached)
-> retrieved containers.3.17 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved cppo.1.8.0 (cached)
-> installed conf-gmp-powm-sec.4
-> retrieved conduit.8.0.0, conduit-lwt.8.0.0, conduit-lwt-unix.8.0.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-npm.1
-> retrieved cohttp.6.2.1, cohttp-lwt.6.2.1, cohttp-lwt-unix.6.2.1, http.6.2.1 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain-name.0.5.0 (cached)
-> retrieved digestif.1.3.0 (cached)
-> retrieved dscheck.0.5.0 (cached)
-> retrieved domain_shims.0.1.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 ipaddr.5.6.1, ipaddr-sexp.5.6.1, macaddr.5.6.1 (cached)
-> retrieved kdf.1.0.0 (cached)
-> retrieved logs.0.10.0 (cached)
-> retrieved lwt.6.0.0 (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 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 dune.3.20.2, dune-configurator.3.20.2 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved multicore-magic-dscheck.2.3.1 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-version.4.0.3 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ohex.0.2.0 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved multicore-magic.dev (no changes)
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved qcheck-core.0.91 (cached)
-> installed cmdliner.2.1.0
-> retrieved re.1.14.0 (cached)
-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10 (cached)
-> retrieved result.1.5 (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved seq.base (cached)
-> retrieved psq.0.2.1 (cached)
-> retrieved sexplib0.v0.16.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved sedlex.3.7 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved tsort.2.2.0 (cached)
-> retrieved thread-local-storage.0.2 (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 zarith.1.14 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed ocamlbuild.0.16.1
-> installed seq.base
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed zarith.1.14
-> installed topkg.1.1.1
-> 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 domain_shims.0.1.0
-> installed cppo.1.8.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.2.1
-> installed macaddr.5.6.1
-> installed bigstringaf.0.10.0
-> installed digestif.1.3.0
-> installed ipaddr.5.6.1
-> installed magic-mime.1.3.1
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed containers.3.17
-> installed multicore-magic.dev
-> installed mirage-crypto.2.0.2
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-syntax-shims.1.0.0
-> installed kdf.1.0.0
-> installed ocaml-version.4.0.3
-> 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.91
-> installed lwt.6.0.0
-> installed re.1.14.0
-> installed qcheck-multicoretests-util.0.10
-> installed result.1.5
-> installed qcheck-stm.0.10
-> installed sexplib0.v0.16.0
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed alcotest.1.9.1
-> installed base.v0.16.4
-> 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 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 sedlex.3.7
-> installed ppx_sexp_conv.v0.16.0
-> installed ipaddr-sexp.5.6.1
-> installed uri-sexp.4.4.0
-> installed js_of_ocaml-compiler.6.2.0
-> installed logs.0.10.0
-> installed cohttp.6.2.1
-> installed bos.0.2.1
-> installed conduit.8.0.0
-> installed cohttp-lwt.6.2.1
-> installed conduit-lwt.8.0.0
-> installed mdx.2.5.1
-> installed mirage-crypto-rng.2.0.2
-> installed mirage-crypto-pk.2.0.2
-> installed js_of_ocaml.6.2.0
-> 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.2.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-15 12:40.02 ---> using "aa481df2bb583be77dc0dc75becf3312700beda4f1709f8341724bbdac3d0e16" from cache
/: (copy (src .) (dst /home/opam/src))
2026-01-15 12:40.43 ---> saved as "1c46b2a1c897b440da76e1eae0692496d3ce775f141851ec9eff5995fd6c5b6f"
/: (run (shell "cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test && ./test_mpscq.exe)
random seed: 542007199664397785
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: 575208878908254863
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: 3501358425681699629
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: 4141644673071079085
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: 957446348205274698
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: 4431349584605461344
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_mpmcq.exe)
random seed: 1980969777200260290
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
[ ] 6 0 0 6 / 32 0.1s Mpmcq concurrent
[ ] 17 0 0 17 / 32 0.2s Mpmcq concurrent
[ ] 29 0 0 29 / 32 0.3s Mpmcq concurrent
[✓] 32 0 0 32 / 32 0.4s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 213338695399121494
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
[ ] 15 0 0 15 / 64 0.1s Mpmcq concurrent
[ ] 28 0 0 28 / 64 0.2s Mpmcq concurrent
[ ] 31 0 0 31 / 64 0.3s Mpmcq concurrent
[ ] 40 0 0 40 / 64 0.5s Mpmcq concurrent
[ ] 48 0 0 48 / 64 0.6s Mpmcq concurrent
[ ] 56 0 0 56 / 64 0.8s Mpmcq concurrent
[ ] 62 0 0 62 / 64 1.0s Mpmcq concurrent
[✓] 64 0 0 64 / 64 1.0s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 2950779540759479788
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
[ ] 1 0 0 1 / 128 0.1s Mpmcq concurrent
[ ] 9 0 0 9 / 128 0.2s Mpmcq concurrent
[ ] 17 0 0 17 / 128 0.3s Mpmcq concurrent
[ ] 26 0 0 26 / 128 0.4s Mpmcq concurrent
[ ] 38 0 0 38 / 128 0.6s Mpmcq concurrent
[ ] 51 0 0 51 / 128 0.7s Mpmcq concurrent
[ ] 61 0 0 61 / 128 0.8s Mpmcq concurrent
[ ] 70 0 0 70 / 128 0.9s Mpmcq concurrent
[ ] 74 0 0 74 / 128 1.0s Mpmcq concurrent
[ ] 92 0 0 92 / 128 1.1s Mpmcq concurrent
[ ] 101 0 0 101 / 128 1.3s Mpmcq concurrent
[ ] 104 0 0 104 / 128 1.4s Mpmcq concurrent
[ ] 114 0 0 114 / 128 1.6s Mpmcq concurrent
[ ] 123 0 0 123 / 128 1.8s Mpmcq concurrent
[✓] 128 0 0 128 / 128 1.8s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 4284236364576356679
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
[ ] 9 0 0 9 / 256 0.1s Mpmcq concurrent
[ ] 17 0 0 17 / 256 0.3s Mpmcq concurrent
[ ] 27 0 0 27 / 256 0.4s Mpmcq concurrent
[ ] 36 0 0 36 / 256 0.6s Mpmcq concurrent
[ ] 42 0 0 42 / 256 0.7s Mpmcq concurrent
[ ] 50 0 0 50 / 256 0.8s Mpmcq concurrent
[ ] 60 0 0 60 / 256 0.9s Mpmcq concurrent
[ ] 71 0 0 71 / 256 1.0s Mpmcq concurrent
[ ] 80 0 0 80 / 256 1.1s Mpmcq concurrent
[ ] 91 0 0 91 / 256 1.2s Mpmcq concurrent
[ ] 98 0 0 98 / 256 1.3s Mpmcq concurrent
[ ] 113 0 0 113 / 256 1.5s Mpmcq concurrent
[ ] 119 0 0 119 / 256 1.6s Mpmcq concurrent
[ ] 124 0 0 124 / 256 1.7s Mpmcq concurrent
[ ] 129 0 0 129 / 256 1.8s Mpmcq concurrent
[ ] 136 0 0 136 / 256 2.0s Mpmcq concurrent
[ ] 146 0 0 146 / 256 2.1s Mpmcq concurrent
[ ] 150 0 0 150 / 256 2.3s Mpmcq concurrent
[ ] 155 0 0 155 / 256 2.4s Mpmcq concurrent
[ ] 161 0 0 161 / 256 2.5s Mpmcq concurrent
[ ] 164 0 0 164 / 256 2.6s Mpmcq concurrent
[ ] 168 0 0 168 / 256 2.8s Mpmcq concurrent
[ ] 172 0 0 172 / 256 2.9s Mpmcq concurrent
[ ] 177 0 0 177 / 256 3.0s Mpmcq concurrent
[ ] 180 0 0 180 / 256 3.1s Mpmcq concurrent
[ ] 190 0 0 190 / 256 3.3s Mpmcq concurrent
[ ] 201 0 0 201 / 256 3.4s Mpmcq concurrent
[ ] 210 0 0 210 / 256 3.5s Mpmcq concurrent
[ ] 218 0 0 218 / 256 3.7s Mpmcq concurrent
[ ] 221 0 0 221 / 256 3.8s Mpmcq concurrent
[ ] 223 0 0 223 / 256 4.0s Mpmcq concurrent
[ ] 231 0 0 231 / 256 4.3s Mpmcq concurrent
[ ] 234 0 0 234 / 256 4.5s Mpmcq concurrent
[ ] 244 0 0 244 / 256 4.6s Mpmcq concurrent
[ ] 251 0 0 251 / 256 4.7s Mpmcq concurrent
[ ] 253 0 0 253 / 256 4.9s Mpmcq concurrent
[✓] 256 0 0 256 / 256 4.9s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 1542402369384585340
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Mpmcq sequential
[✓] 512 0 0 512 / 512 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 512 0.0s Mpmcq concurrent
[ ] 11 0 0 11 / 512 0.1s Mpmcq concurrent
[ ] 14 0 0 14 / 512 0.3s Mpmcq concurrent
[ ] 22 0 0 22 / 512 0.4s Mpmcq concurrent
[ ] 23 0 0 23 / 512 0.5s Mpmcq concurrent
[ ] 24 0 0 24 / 512 0.7s Mpmcq concurrent
[ ] 30 0 0 30 / 512 0.8s Mpmcq concurrent
[ ] 36 0 0 36 / 512 0.9s Mpmcq concurrent
[ ] 41 0 0 41 / 512 1.0s Mpmcq concurrent
[ ] 48 0 0 48 / 512 1.1s Mpmcq concurrent
[ ] 51 0 0 51 / 512 1.2s Mpmcq concurrent
[ ] 57 0 0 57 / 512 1.4s Mpmcq concurrent
[ ] 62 0 0 62 / 512 1.5s Mpmcq concurrent
[ ] 65 0 0 65 / 512 1.7s Mpmcq concurrent
[ ] 68 0 0 68 / 512 1.9s Mpmcq concurrent
[ ] 71 0 0 71 / 512 2.0s Mpmcq concurrent
[ ] 75 0 0 75 / 512 2.1s Mpmcq concurrent
[ ] 79 0 0 79 / 512 2.3s Mpmcq concurrent
[ ] 86 0 0 86 / 512 2.7s Mpmcq concurrent
[ ] 93 0 0 93 / 512 2.8s Mpmcq concurrent
[ ] 97 0 0 97 / 512 3.0s Mpmcq concurrent
[ ] 101 0 0 101 / 512 3.1s Mpmcq concurrent
[ ] 107 0 0 107 / 512 3.3s Mpmcq concurrent
[ ] 119 0 0 119 / 512 3.4s Mpmcq concurrent
[ ] 123 0 0 123 / 512 3.5s Mpmcq concurrent
[ ] 132 0 0 132 / 512 3.6s Mpmcq concurrent
[ ] 136 0 0 136 / 512 3.7s Mpmcq concurrent
[ ] 142 0 0 142 / 512 3.8s Mpmcq concurrent
[ ] 146 0 0 146 / 512 4.0s Mpmcq concurrent
[ ] 153 0 0 153 / 512 4.1s Mpmcq concurrent
[ ] 155 0 0 155 / 512 4.2s Mpmcq concurrent
[ ] 157 0 0 157 / 512 4.3s Mpmcq concurrent
[ ] 162 0 0 162 / 512 4.4s Mpmcq concurrent
[ ] 170 0 0 170 / 512 4.5s Mpmcq concurrent
[ ] 181 0 0 181 / 512 4.7s Mpmcq concurrent
[ ] 189 0 0 189 / 512 4.8s Mpmcq concurrent
[ ] 199 0 0 199 / 512 5.0s Mpmcq concurrent
[ ] 202 0 0 202 / 512 5.1s Mpmcq concurrent
[ ] 206 0 0 206 / 512 5.2s Mpmcq concurrent
[ ] 215 0 0 215 / 512 5.4s Mpmcq concurrent
[ ] 217 0 0 217 / 512 5.5s Mpmcq concurrent
[ ] 224 0 0 224 / 512 5.6s Mpmcq concurrent
[ ] 230 0 0 230 / 512 5.7s Mpmcq concurrent
[ ] 244 0 0 244 / 512 5.9s Mpmcq concurrent
[ ] 249 0 0 249 / 512 6.0s Mpmcq concurrent
[ ] 258 0 0 258 / 512 6.2s Mpmcq concurrent
[ ] 272 0 0 272 / 512 6.4s Mpmcq concurrent
[ ] 277 0 0 277 / 512 6.6s Mpmcq concurrent
[ ] 283 0 0 283 / 512 6.7s Mpmcq concurrent
[ ] 285 0 0 285 / 512 6.8s Mpmcq concurrent
[ ] 294 0 0 294 / 512 7.0s Mpmcq concurrent
[ ] 302 0 0 302 / 512 7.1s Mpmcq concurrent
[ ] 307 0 0 307 / 512 7.2s Mpmcq concurrent
[ ] 313 0 0 313 / 512 7.3s Mpmcq concurrent
[ ] 319 0 0 319 / 512 7.5s Mpmcq concurrent
[ ] 338 0 0 338 / 512 7.6s Mpmcq concurrent
[ ] 345 0 0 345 / 512 7.7s Mpmcq concurrent
[ ] 351 0 0 351 / 512 7.9s Mpmcq concurrent
[ ] 353 0 0 353 / 512 8.0s Mpmcq concurrent
[ ] 358 0 0 358 / 512 8.1s Mpmcq concurrent
[ ] 367 0 0 367 / 512 8.2s Mpmcq concurrent
[ ] 376 0 0 376 / 512 8.4s Mpmcq concurrent
[ ] 379 0 0 379 / 512 8.5s Mpmcq concurrent
[ ] 395 0 0 395 / 512 8.8s Mpmcq concurrent
[ ] 400 0 0 400 / 512 8.9s Mpmcq concurrent
[ ] 406 0 0 406 / 512 9.1s Mpmcq concurrent
[ ] 413 0 0 413 / 512 9.2s Mpmcq concurrent
[ ] 427 0 0 427 / 512 9.3s Mpmcq concurrent
[ ] 436 0 0 436 / 512 9.4s Mpmcq concurrent
[ ] 446 0 0 446 / 512 9.6s Mpmcq concurrent
[ ] 451 0 0 451 / 512 9.7s Mpmcq concurrent
[ ] 458 0 0 458 / 512 9.8s Mpmcq concurrent
[ ] 461 0 0 461 / 512 9.9s Mpmcq concurrent
[ ] 464 0 0 464 / 512 10.1s Mpmcq concurrent
[ ] 466 0 0 466 / 512 10.3s Mpmcq concurrent
[ ] 474 0 0 474 / 512 10.4s Mpmcq concurrent
[ ] 482 0 0 482 / 512 10.5s Mpmcq concurrent
[ ] 489 0 0 489 / 512 10.7s Mpmcq concurrent
[ ] 491 0 0 491 / 512 10.9s Mpmcq concurrent
[ ] 497 0 0 497 / 512 11.0s Mpmcq concurrent
[ ] 503 0 0 503 / 512 11.1s Mpmcq concurrent
[ ] 509 0 0 509 / 512 11.2s Mpmcq concurrent
[ ] 511 0 0 511 / 512 11.3s Mpmcq concurrent
[✓] 512 0 0 512 / 512 11.4s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 3133005723032448104
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
[ ] 6 0 0 6 / 32 0.2s Mpmcq concurrent
[ ] 10 0 0 10 / 32 0.3s Mpmcq concurrent
[ ] 15 0 0 15 / 32 0.4s Mpmcq concurrent
[ ] 19 0 0 19 / 32 0.6s Mpmcq concurrent
[ ] 25 0 0 25 / 32 0.7s Mpmcq concurrent
[ ] 28 0 0 28 / 32 0.8s Mpmcq concurrent
[✓] 32 0 0 32 / 32 0.9s Mpmcq concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_htbl.exe)
random seed: 4159703353520683013
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
[ ] 1 0 0 1 / 32 0.1s Htbl concurrent
[ ] 8 0 0 8 / 32 0.2s Htbl concurrent
[ ] 10 0 0 10 / 32 0.3s Htbl concurrent
[ ] 15 0 0 15 / 32 0.6s Htbl concurrent
[ ] 18 0 0 18 / 32 0.8s Htbl concurrent
[ ] 24 0 0 24 / 32 0.9s Htbl concurrent
[ ] 27 0 0 27 / 32 1.1s Htbl concurrent
[ ] 30 0 0 30 / 32 1.2s Htbl concurrent
[✓] 32 0 0 32 / 32 1.3s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 3633064988481875201
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
[ ] 4 0 0 4 / 64 0.1s Htbl concurrent
[ ] 8 0 0 8 / 64 0.2s Htbl concurrent
[ ] 12 0 0 12 / 64 0.4s Htbl concurrent
[ ] 15 0 0 15 / 64 0.5s Htbl concurrent
[ ] 17 0 0 17 / 64 0.6s Htbl concurrent
[ ] 19 0 0 19 / 64 0.8s Htbl concurrent
[ ] 22 0 0 22 / 64 0.9s Htbl concurrent
[ ] 27 0 0 27 / 64 1.1s Htbl concurrent
[ ] 35 0 0 35 / 64 1.3s Htbl concurrent
[ ] 39 0 0 39 / 64 1.4s Htbl concurrent
[ ] 49 0 0 49 / 64 1.5s Htbl concurrent
[ ] 56 0 0 56 / 64 1.6s Htbl concurrent
[ ] 64 0 0 64 / 64 1.8s Htbl concurrent
[✓] 64 0 0 64 / 64 1.8s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2008168980139249117
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
[ ] 2 0 0 2 / 128 0.2s Htbl concurrent
[ ] 7 0 0 7 / 128 0.3s Htbl concurrent
[ ] 10 0 0 10 / 128 0.7s Htbl concurrent
[ ] 15 0 0 15 / 128 0.8s Htbl concurrent
[ ] 27 0 0 27 / 128 0.9s Htbl concurrent
[ ] 29 0 0 29 / 128 1.0s Htbl concurrent
[ ] 32 0 0 32 / 128 1.2s Htbl concurrent
[ ] 45 0 0 45 / 128 1.3s Htbl concurrent
[ ] 46 0 0 46 / 128 1.6s Htbl concurrent
[ ] 51 0 0 51 / 128 1.7s Htbl concurrent
[ ] 57 0 0 57 / 128 1.9s Htbl concurrent
[ ] 61 0 0 61 / 128 2.1s Htbl concurrent
[ ] 66 0 0 66 / 128 2.2s Htbl concurrent
[ ] 70 0 0 70 / 128 2.3s Htbl concurrent
[ ] 74 0 0 74 / 128 2.5s Htbl concurrent
[ ] 82 0 0 82 / 128 2.6s Htbl concurrent
[ ] 85 0 0 85 / 128 2.8s Htbl concurrent
[ ] 92 0 0 92 / 128 3.0s Htbl concurrent
[ ] 95 0 0 95 / 128 3.2s Htbl concurrent
[ ] 101 0 0 101 / 128 3.3s Htbl concurrent
[ ] 104 0 0 104 / 128 3.4s Htbl concurrent
[ ] 109 0 0 109 / 128 3.5s Htbl concurrent
[ ] 112 0 0 112 / 128 3.7s Htbl concurrent
[ ] 118 0 0 118 / 128 3.8s Htbl concurrent
[ ] 120 0 0 120 / 128 4.0s Htbl concurrent
[✓] 128 0 0 128 / 128 4.0s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 4586068258444390570
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
[ ] 8 0 0 8 / 256 0.2s Htbl concurrent
[ ] 13 0 0 13 / 256 0.5s Htbl concurrent
[ ] 17 0 0 17 / 256 0.6s Htbl concurrent
[ ] 21 0 0 21 / 256 0.7s Htbl concurrent
[ ] 24 0 0 24 / 256 0.8s Htbl concurrent
[ ] 29 0 0 29 / 256 1.0s Htbl concurrent
[ ] 36 0 0 36 / 256 1.1s Htbl concurrent
[ ] 42 0 0 42 / 256 1.2s Htbl concurrent
[ ] 46 0 0 46 / 256 1.3s Htbl concurrent
[ ] 55 0 0 55 / 256 1.4s Htbl concurrent
[ ] 57 0 0 57 / 256 1.6s Htbl concurrent
[ ] 62 0 0 62 / 256 1.7s Htbl concurrent
[ ] 66 0 0 66 / 256 1.8s Htbl concurrent
[ ] 71 0 0 71 / 256 1.9s Htbl concurrent
[ ] 76 0 0 76 / 256 2.0s Htbl concurrent
[ ] 83 0 0 83 / 256 2.2s Htbl concurrent
[ ] 87 0 0 87 / 256 2.4s Htbl concurrent
[ ] 95 0 0 95 / 256 2.5s Htbl concurrent
[ ] 106 0 0 106 / 256 2.6s Htbl concurrent
[ ] 113 0 0 113 / 256 2.8s Htbl concurrent
[ ] 118 0 0 118 / 256 2.9s Htbl concurrent
[ ] 123 0 0 123 / 256 3.0s Htbl concurrent
[ ] 126 0 0 126 / 256 3.1s Htbl concurrent (collecting)
[ ] 127 0 0 127 / 256 3.3s Htbl concurrent
[ ] 131 0 0 131 / 256 3.4s Htbl concurrent
[ ] 133 0 0 133 / 256 3.6s Htbl concurrent
[ ] 134 0 0 134 / 256 3.7s Htbl concurrent
[ ] 136 0 0 136 / 256 3.8s Htbl concurrent
[ ] 137 0 0 137 / 256 4.0s Htbl concurrent
[ ] 139 0 0 139 / 256 4.2s Htbl concurrent
[ ] 143 0 0 143 / 256 4.3s Htbl concurrent
[ ] 154 0 0 154 / 256 4.4s Htbl concurrent
[ ] 166 0 0 166 / 256 4.6s Htbl concurrent
[ ] 172 0 0 172 / 256 4.7s Htbl concurrent
[ ] 178 0 0 178 / 256 4.8s Htbl concurrent
[ ] 181 0 0 181 / 256 4.9s Htbl concurrent
[ ] 188 0 0 188 / 256 5.1s Htbl concurrent
[ ] 191 0 0 191 / 256 5.4s Htbl concurrent
[ ] 194 0 0 194 / 256 5.6s Htbl concurrent
[ ] 199 0 0 199 / 256 5.8s Htbl concurrent
[ ] 202 0 0 202 / 256 5.9s Htbl concurrent
[ ] 209 0 0 209 / 256 6.0s Htbl concurrent
[ ] 214 0 0 214 / 256 6.1s Htbl concurrent
[ ] 217 0 0 217 / 256 6.3s Htbl concurrent
[ ] 220 0 0 220 / 256 6.4s Htbl concurrent
[ ] 225 0 0 225 / 256 6.5s Htbl concurrent
[ ] 231 0 0 231 / 256 6.7s Htbl concurrent
[ ] 236 0 0 236 / 256 6.8s Htbl concurrent
[ ] 242 0 0 242 / 256 7.0s Htbl concurrent
[ ] 249 0 0 249 / 256 7.1s Htbl concurrent
[ ] 256 0 0 256 / 256 7.4s Htbl concurrent
[✓] 256 0 0 256 / 256 7.4s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2034165736730721722
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Htbl sequential
[✓] 512 0 0 512 / 512 0.0s Htbl sequential
[ ] 0 0 0 0 / 512 0.0s Htbl concurrent
[ ] 7 0 0 7 / 512 0.1s Htbl concurrent
[ ] 14 0 0 14 / 512 0.3s Htbl concurrent
[ ] 18 0 0 18 / 512 0.5s Htbl concurrent
[ ] 21 0 0 21 / 512 0.7s Htbl concurrent
[ ] 24 0 0 24 / 512 0.8s Htbl concurrent
[ ] 26 0 0 26 / 512 0.9s Htbl concurrent
[ ] 30 0 0 30 / 512 1.0s Htbl concurrent
[ ] 40 0 0 40 / 512 1.1s Htbl concurrent
[ ] 48 0 0 48 / 512 1.2s Htbl concurrent
[ ] 49 0 0 49 / 512 1.3s Htbl concurrent
[ ] 55 0 0 55 / 512 1.7s Htbl concurrent
[ ] 59 0 0 59 / 512 1.8s Htbl concurrent
[ ] 64 0 0 64 / 512 2.0s Htbl concurrent
[ ] 68 0 0 68 / 512 2.1s Htbl concurrent
[ ] 71 0 0 71 / 512 2.2s Htbl concurrent
[ ] 78 0 0 78 / 512 2.4s Htbl concurrent
[ ] 80 0 0 80 / 512 2.6s Htbl concurrent
[ ] 87 0 0 87 / 512 2.7s Htbl concurrent
[ ] 94 0 0 94 / 512 2.8s Htbl concurrent
[ ] 101 0 0 101 / 512 3.0s Htbl concurrent
[ ] 106 0 0 106 / 512 3.1s Htbl concurrent
[ ] 111 0 0 111 / 512 3.2s Htbl concurrent
[ ] 113 0 0 113 / 512 3.3s Htbl concurrent
[ ] 119 0 0 119 / 512 3.5s Htbl concurrent
[ ] 129 0 0 129 / 512 3.6s Htbl concurrent
[ ] 131 0 0 131 / 512 3.8s Htbl concurrent
[ ] 132 0 0 132 / 512 3.9s Htbl concurrent
[ ] 141 0 0 141 / 512 4.1s Htbl concurrent
[ ] 145 0 0 145 / 512 4.2s Htbl concurrent
[ ] 154 0 0 154 / 512 4.3s Htbl concurrent
[ ] 167 0 0 167 / 512 4.4s Htbl concurrent
[ ] 184 0 0 184 / 512 4.5s Htbl concurrent
[ ] 190 0 0 190 / 512 4.6s Htbl concurrent
[ ] 201 0 0 201 / 512 4.7s Htbl concurrent
[ ] 206 0 0 206 / 512 4.8s Htbl concurrent
[ ] 208 0 0 208 / 512 5.0s Htbl concurrent
[ ] 219 0 0 219 / 512 5.1s Htbl concurrent
[ ] 227 0 0 227 / 512 5.2s Htbl concurrent
[ ] 232 0 0 232 / 512 5.4s Htbl concurrent
[ ] 233 0 0 233 / 512 5.5s Htbl concurrent
[ ] 234 0 0 234 / 512 5.7s Htbl concurrent
[ ] 238 0 0 238 / 512 5.8s Htbl concurrent
[ ] 239 0 0 239 / 512 5.9s Htbl concurrent
[ ] 243 0 0 243 / 512 6.0s Htbl concurrent
[ ] 246 0 0 246 / 512 6.2s Htbl concurrent
[ ] 251 0 0 251 / 512 6.3s Htbl concurrent
[ ] 253 0 0 253 / 512 6.5s Htbl concurrent
[ ] 259 0 0 259 / 512 6.7s Htbl concurrent
[ ] 260 0 0 260 / 512 6.8s Htbl concurrent
[ ] 265 0 0 265 / 512 7.0s Htbl concurrent
[ ] 271 0 0 271 / 512 7.2s Htbl concurrent
[ ] 279 0 0 279 / 512 7.3s Htbl concurrent
[ ] 282 0 0 282 / 512 7.4s Htbl concurrent
[ ] 285 0 0 285 / 512 7.6s Htbl concurrent
[ ] 297 0 0 297 / 512 7.7s Htbl concurrent
[ ] 309 0 0 309 / 512 7.9s Htbl concurrent
[ ] 319 0 0 319 / 512 8.1s Htbl concurrent
[ ] 325 0 0 325 / 512 8.2s Htbl concurrent
[ ] 327 0 0 327 / 512 8.3s Htbl concurrent
[ ] 332 0 0 332 / 512 8.5s Htbl concurrent
[ ] 336 0 0 336 / 512 8.7s Htbl concurrent
[ ] 340 0 0 340 / 512 8.8s Htbl concurrent
[ ] 343 0 0 343 / 512 8.9s Htbl concurrent
[ ] 350 0 0 350 / 512 9.1s Htbl concurrent
[ ] 356 0 0 356 / 512 9.2s Htbl concurrent
[ ] 363 0 0 363 / 512 9.3s Htbl concurrent
[ ] 366 0 0 366 / 512 9.4s Htbl concurrent
[ ] 372 0 0 372 / 512 9.5s Htbl concurrent
[ ] 378 0 0 378 / 512 9.6s Htbl concurrent
[ ] 383 0 0 383 / 512 9.7s Htbl concurrent
[ ] 386 0 0 386 / 512 9.8s Htbl concurrent
[ ] 392 0 0 392 / 512 10.0s Htbl concurrent
[ ] 398 0 0 398 / 512 10.1s Htbl concurrent
[ ] 407 0 0 407 / 512 10.2s Htbl concurrent
[ ] 412 0 0 412 / 512 10.4s Htbl concurrent
[ ] 416 0 0 416 / 512 10.5s Htbl concurrent
[ ] 420 0 0 420 / 512 10.6s Htbl concurrent
[ ] 424 0 0 424 / 512 10.7s Htbl concurrent
[ ] 428 0 0 428 / 512 10.9s Htbl concurrent
[ ] 430 0 0 430 / 512 11.0s Htbl concurrent
[ ] 435 0 0 435 / 512 11.1s Htbl concurrent
[ ] 444 0 0 444 / 512 11.2s Htbl concurrent
[ ] 446 0 0 446 / 512 11.4s Htbl concurrent
[ ] 448 0 0 448 / 512 11.6s Htbl concurrent
[ ] 449 0 0 449 / 512 12.5s Htbl concurrent
[ ] 453 0 0 453 / 512 12.7s Htbl concurrent
[ ] 456 0 0 456 / 512 12.9s Htbl concurrent
[ ] 469 0 0 469 / 512 13.0s Htbl concurrent
[ ] 475 0 0 475 / 512 13.1s Htbl concurrent
[ ] 479 0 0 479 / 512 13.2s Htbl concurrent
[ ] 481 0 0 481 / 512 13.3s Htbl concurrent
[ ] 495 0 0 495 / 512 13.4s Htbl concurrent
[ ] 501 0 0 501 / 512 13.6s Htbl concurrent
[ ] 505 0 0 505 / 512 13.8s Htbl concurrent
[ ] 509 0 0 509 / 512 13.9s Htbl concurrent
[ ] 512 0 0 512 / 512 14.1s Htbl concurrent
[✓] 512 0 0 512 / 512 14.1s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2441212935938747224
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
[ ] 3 0 0 3 / 32 0.1s Htbl concurrent
[ ] 9 0 0 9 / 32 0.2s Htbl concurrent
[ ] 17 0 0 17 / 32 0.4s Htbl concurrent
[ ] 20 0 0 20 / 32 0.7s Htbl concurrent
[ ] 23 0 0 23 / 32 0.8s Htbl concurrent
[ ] 25 0 0 25 / 32 1.1s Htbl concurrent
[ ] 28 0 0 28 / 32 1.3s Htbl concurrent
[ ] 29 0 0 29 / 32 1.4s Htbl concurrent
[ ] 32 0 0 32 / 32 1.5s Htbl concurrent
[✓] 32 0 0 32 / 32 1.5s Htbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_finally.exe)
Testing `Picos_finally'.
This run has ID `RPEFGUQH'.
[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.002s. 2 tests run.
(cd _build/default/test && ./test_picos.exe)
Testing `Picos'.
This run has ID `6AS57RGT'.
[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.400s. 7 tests run.
(cd _build/default/test && ./test_io.exe)
Testing `Picos_io'.
This run has ID `U0D8F6JQ'.
[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.472s. 6 tests run.
(cd _build/default/test && ./test_ihtbl.exe)
random seed: 1510241814066629154
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Ihtbl sequential
[✓] 32 0 0 32 / 32 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 32 0.0s Ihtbl concurrent
[ ] 17 0 0 17 / 32 0.1s Ihtbl concurrent
[ ] 29 0 0 29 / 32 0.4s Ihtbl concurrent
[ ] 30 0 0 30 / 32 0.6s Ihtbl concurrent
[✓] 32 0 0 32 / 32 0.7s Ihtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 838616109079820762
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Ihtbl sequential
[✓] 64 0 0 64 / 64 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 64 0.0s Ihtbl concurrent
[ ] 8 0 0 8 / 64 0.1s Ihtbl concurrent
[ ] 16 0 0 16 / 64 0.3s Ihtbl concurrent
[ ] 18 0 0 18 / 64 0.4s Ihtbl concurrent
[ ] 22 0 0 22 / 64 0.5s Ihtbl concurrent
[ ] 25 0 0 25 / 64 0.6s Ihtbl concurrent
[ ] 28 0 0 28 / 64 0.8s Ihtbl concurrent
[ ] 37 0 0 37 / 64 0.9s Ihtbl concurrent
[ ] 49 0 0 49 / 64 1.1s Ihtbl concurrent
[✓] 64 0 0 64 / 64 1.2s Ihtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 311181515056637871
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Ihtbl sequential
[✓] 128 0 0 128 / 128 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 128 0.0s Ihtbl concurrent
[ ] 3 0 0 3 / 128 0.1s Ihtbl concurrent
[ ] 4 0 0 4 / 128 0.2s Ihtbl concurrent
[ ] 11 0 0 11 / 128 0.3s Ihtbl concurrent
[ ] 14 0 0 14 / 128 0.5s Ihtbl concurrent
[ ] 17 0 0 17 / 128 0.6s Ihtbl concurrent
[ ] 20 0 0 20 / 128 0.7s Ihtbl concurrent
[ ] 30 0 0 30 / 128 0.8s Ihtbl concurrent
[ ] 31 0 0 31 / 128 1.0s Ihtbl concurrent
[ ] 33 0 0 33 / 128 1.2s Ihtbl concurrent
[ ] 35 0 0 35 / 128 1.3s Ihtbl concurrent
[ ] 43 0 0 43 / 128 1.5s Ihtbl concurrent
[ ] 49 0 0 49 / 128 1.8s Ihtbl concurrent
[ ] 55 0 0 55 / 128 1.9s Ihtbl concurrent
[ ] 64 0 0 64 / 128 2.0s Ihtbl concurrent
[ ] 65 0 0 65 / 128 2.2s Ihtbl concurrent
[ ] 68 0 0 68 / 128 2.3s Ihtbl concurrent
[ ] 72 0 0 72 / 128 2.7s Ihtbl concurrent
[ ] 80 0 0 80 / 128 2.8s Ihtbl concurrent
[ ] 88 0 0 88 / 128 3.0s Ihtbl concurrent
[ ] 97 0 0 97 / 128 3.1s Ihtbl concurrent
[ ] 98 0 0 98 / 128 3.2s Ihtbl concurrent
[ ] 99 0 0 99 / 128 3.5s Ihtbl concurrent
[ ] 104 0 0 104 / 128 3.9s Ihtbl concurrent
[ ] 108 0 0 108 / 128 4.1s Ihtbl concurrent
[ ] 112 0 0 112 / 128 4.2s Ihtbl concurrent
[ ] 116 0 0 116 / 128 4.3s Ihtbl concurrent
[ ] 117 0 0 117 / 128 4.5s Ihtbl concurrent
[ ] 122 0 0 122 / 128 4.6s Ihtbl concurrent
[✓] 128 0 0 128 / 128 4.7s Ihtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2042834982799141789
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Ihtbl sequential
[✓] 256 0 0 256 / 256 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 256 0.0s Ihtbl concurrent
[ ] 3 0 0 3 / 256 0.2s Ihtbl concurrent
[ ] 6 0 0 6 / 256 0.3s Ihtbl concurrent
[ ] 9 0 0 9 / 256 0.4s Ihtbl concurrent
[ ] 18 0 0 18 / 256 0.5s Ihtbl concurrent
[ ] 23 0 0 23 / 256 0.6s Ihtbl concurrent
[ ] 35 0 0 35 / 256 0.8s Ihtbl concurrent
[ ] 38 0 0 38 / 256 0.9s Ihtbl concurrent
[ ] 45 0 0 45 / 256 1.0s Ihtbl concurrent
[ ] 53 0 0 53 / 256 1.1s Ihtbl concurrent
[ ] 58 0 0 58 / 256 1.4s Ihtbl concurrent
[ ] 59 0 0 59 / 256 1.7s Ihtbl concurrent
[ ] 67 0 0 67 / 256 1.9s Ihtbl concurrent
[ ] 70 0 0 70 / 256 2.0s Ihtbl concurrent
[ ] 73 0 0 73 / 256 2.2s Ihtbl concurrent
[ ] 76 0 0 76 / 256 2.3s Ihtbl concurrent
[ ] 79 0 0 79 / 256 2.4s Ihtbl concurrent
[ ] 86 0 0 86 / 256 2.6s Ihtbl concurrent
[ ] 96 0 0 96 / 256 2.7s Ihtbl concurrent
[ ] 103 0 0 103 / 256 2.8s Ihtbl concurrent
[ ] 107 0 0 107 / 256 2.9s Ihtbl concurrent
[ ] 114 0 0 114 / 256 3.3s Ihtbl concurrent
[ ] 118 0 0 118 / 256 3.5s Ihtbl concurrent
[ ] 122 0 0 122 / 256 3.6s Ihtbl concurrent
[ ] 127 0 0 127 / 256 3.7s Ihtbl concurrent
[ ] 131 0 0 131 / 256 3.8s Ihtbl concurrent
[ ] 134 0 0 134 / 256 4.0s Ihtbl concurrent
[ ] 137 0 0 137 / 256 4.1s Ihtbl concurrent
[ ] 144 0 0 144 / 256 4.4s Ihtbl concurrent
[ ] 147 0 0 147 / 256 4.5s Ihtbl concurrent
[ ] 149 0 0 149 / 256 4.6s Ihtbl concurrent
[ ] 150 0 0 150 / 256 4.7s Ihtbl concurrent
[ ] 157 0 0 157 / 256 4.8s Ihtbl concurrent
[ ] 164 0 0 164 / 256 5.4s Ihtbl concurrent
[ ] 167 0 0 167 / 256 5.6s Ihtbl concurrent
[ ] 174 0 0 174 / 256 5.7s Ihtbl concurrent
[ ] 176 0 0 176 / 256 6.1s Ihtbl concurrent
[ ] 177 0 0 177 / 256 6.2s Ihtbl concurrent
[ ] 183 0 0 183 / 256 6.3s Ihtbl concurrent
[ ] 191 0 0 191 / 256 6.4s Ihtbl concurrent
[ ] 194 0 0 194 / 256 6.5s Ihtbl concurrent
[ ] 202 0 0 202 / 256 6.7s Ihtbl concurrent
[ ] 203 0 0 203 / 256 6.8s Ihtbl concurrent
[ ] 207 0 0 207 / 256 7.0s Ihtbl concurrent
[ ] 208 0 0 208 / 256 7.2s Ihtbl concurrent
[ ] 220 0 0 220 / 256 7.3s Ihtbl concurrent
[ ] 224 0 0 224 / 256 7.5s Ihtbl concurrent
[ ] 231 0 0 231 / 256 7.6s Ihtbl concurrent
[ ] 236 0 0 236 / 256 7.9s Ihtbl concurrent
[ ] 238 0 0 238 / 256 8.0s Ihtbl concurrent
[ ] 243 0 0 243 / 256 8.1s Ihtbl concurrent
[ ] 244 0 0 244 / 256 8.2s Ihtbl concurrent
[ ] 246 0 0 246 / 256 8.4s Ihtbl concurrent
[ ] 247 0 0 247 / 256 8.6s Ihtbl concurrent
[ ] 252 0 0 252 / 256 8.8s Ihtbl concurrent
[✓] 256 0 0 256 / 256 8.8s Ihtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 653257772967336676
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Ihtbl sequential
[✓] 512 0 0 512 / 512 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 512 0.0s Ihtbl concurrent
[ ] 4 0 0 4 / 512 0.1s Ihtbl concurrent
[ ] 10 0 0 10 / 512 0.3s Ihtbl concurrent
[ ] 17 0 0 17 / 512 0.4s Ihtbl concurrent
[ ] 18 0 0 18 / 512 0.5s Ihtbl concurrent
[ ] 21 0 0 21 / 512 0.6s Ihtbl concurrent
[ ] 27 0 0 27 / 512 0.7s Ihtbl concurrent
[ ] 29 0 0 29 / 512 0.9s Ihtbl concurrent
[ ] 33 0 0 33 / 512 1.1s Ihtbl concurrent
[ ] 40 0 0 40 / 512 1.2s Ihtbl concurrent
[ ] 46 0 0 46 / 512 1.3s Ihtbl concurrent
[ ] 48 0 0 48 / 512 1.5s Ihtbl concurrent
[ ] 55 0 0 55 / 512 1.6s Ihtbl concurrent
[ ] 59 0 0 59 / 512 1.8s Ihtbl concurrent
[ ] 67 0 0 67 / 512 1.9s Ihtbl concurrent
[ ] 73 0 0 73 / 512 2.1s Ihtbl concurrent
[ ] 80 0 0 80 / 512 2.2s Ihtbl concurrent
[ ] 86 0 0 86 / 512 2.3s Ihtbl concurrent
[ ] 89 0 0 89 / 512 2.5s Ihtbl concurrent
[ ] 91 0 0 91 / 512 2.6s Ihtbl concurrent
[ ] 92 0 0 92 / 512 2.8s Ihtbl concurrent
[ ] 95 0 0 95 / 512 3.0s Ihtbl concurrent
[ ] 101 0 0 101 / 512 3.1s Ihtbl concurrent
[ ] 105 0 0 105 / 512 3.3s Ihtbl concurrent
[ ] 111 0 0 111 / 512 3.4s Ihtbl concurrent
[ ] 115 0 0 115 / 512 3.5s Ihtbl concurrent
[ ] 118 0 0 118 / 512 3.7s Ihtbl concurrent
[ ] 125 0 0 125 / 512 3.8s Ihtbl concurrent
[ ] 127 0 0 127 / 512 3.9s Ihtbl concurrent
[ ] 142 0 0 142 / 512 4.1s Ihtbl concurrent
[ ] 146 0 0 146 / 512 4.2s Ihtbl concurrent
[ ] 149 0 0 149 / 512 4.4s Ihtbl concurrent
[ ] 152 0 0 152 / 512 4.5s Ihtbl concurrent
[ ] 155 0 0 155 / 512 4.6s Ihtbl concurrent
[ ] 156 0 0 156 / 512 4.7s Ihtbl concurrent
[ ] 160 0 0 160 / 512 4.8s Ihtbl concurrent
[ ] 163 0 0 163 / 512 4.9s Ihtbl concurrent
[ ] 168 0 0 168 / 512 5.0s Ihtbl concurrent
[ ] 174 0 0 174 / 512 5.1s Ihtbl concurrent
[ ] 182 0 0 182 / 512 5.3s Ihtbl concurrent
[ ] 187 0 0 187 / 512 5.4s Ihtbl concurrent
[ ] 193 0 0 193 / 512 5.7s Ihtbl concurrent
[ ] 198 0 0 198 / 512 5.8s Ihtbl concurrent
[ ] 205 0 0 205 / 512 6.0s Ihtbl concurrent
[ ] 209 0 0 209 / 512 6.3s Ihtbl concurrent
[ ] 217 0 0 217 / 512 6.4s Ihtbl concurrent
[ ] 222 0 0 222 / 512 6.6s Ihtbl concurrent
[ ] 227 0 0 227 / 512 6.7s Ihtbl concurrent
[ ] 230 0 0 230 / 512 6.9s Ihtbl concurrent
[ ] 240 0 0 240 / 512 7.0s Ihtbl concurrent
[ ] 245 0 0 245 / 512 7.1s Ihtbl concurrent
[ ] 249 0 0 249 / 512 7.2s Ihtbl concurrent
[ ] 253 0 0 253 / 512 7.5s Ihtbl concurrent
[ ] 255 0 0 255 / 512 7.7s Ihtbl concurrent
[ ] 257 0 0 257 / 512 7.8s Ihtbl concurrent
[ ] 261 0 0 261 / 512 7.9s Ihtbl concurrent
[ ] 264 0 0 264 / 512 8.1s Ihtbl concurrent
[ ] 265 0 0 265 / 512 8.2s Ihtbl concurrent
[ ] 271 0 0 271 / 512 8.4s Ihtbl concurrent
[ ] 276 0 0 276 / 512 8.5s Ihtbl concurrent
[ ] 281 0 0 281 / 512 8.9s Ihtbl concurrent
[ ] 283 0 0 283 / 512 9.0s Ihtbl concurrent
[ ] 290 0 0 290 / 512 9.1s Ihtbl concurrent
[ ] 291 0 0 291 / 512 9.4s Ihtbl concurrent
[ ] 296 0 0 296 / 512 9.8s Ihtbl concurrent
[ ] 299 0 0 299 / 512 9.9s Ihtbl concurrent
[ ] 309 0 0 309 / 512 10.0s Ihtbl concurrent
[ ] 316 0 0 316 / 512 10.1s Ihtbl concurrent
[ ] 323 0 0 323 / 512 10.2s Ihtbl concurrent
[ ] 326 0 0 326 / 512 10.3s Ihtbl concurrent
[ ] 348 0 0 348 / 512 10.4s Ihtbl concurrent
[ ] 353 0 0 353 / 512 11.5s Ihtbl concurrent
[ ] 357 0 0 357 / 512 11.6s Ihtbl concurrent
[ ] 358 0 0 358 / 512 11.7s Ihtbl concurrent
[ ] 360 0 0 360 / 512 11.9s Ihtbl concurrent
[ ] 368 0 0 368 / 512 12.0s Ihtbl concurrent
[ ] 375 0 0 375 / 512 12.3s Ihtbl concurrent
[ ] 385 0 0 385 / 512 12.4s Ihtbl concurrent
[ ] 393 0 0 393 / 512 12.5s Ihtbl concurrent
[ ] 398 0 0 398 / 512 12.6s Ihtbl concurrent
[ ] 402 0 0 402 / 512 12.8s Ihtbl concurrent
[ ] 404 0 0 404 / 512 12.9s Ihtbl concurrent
[ ] 407 0 0 407 / 512 13.0s Ihtbl concurrent
[ ] 410 0 0 410 / 512 13.2s Ihtbl concurrent
[ ] 422 0 0 422 / 512 13.3s Ihtbl concurrent
[ ] 426 0 0 426 / 512 13.4s Ihtbl concurrent
[ ] 435 0 0 435 / 512 13.5s Ihtbl concurrent
[ ] 436 0 0 436 / 512 13.7s Ihtbl concurrent
[ ] 437 0 0 437 / 512 13.8s Ihtbl concurrent
[ ] 440 0 0 440 / 512 13.9s Ihtbl concurrent
[ ] 444 0 0 444 / 512 14.1s Ihtbl concurrent
[ ] 448 0 0 448 / 512 14.2s Ihtbl concurrent
[ ] 453 0 0 453 / 512 14.4s Ihtbl concurrent
[ ] 458 0 0 458 / 512 14.5s Ihtbl concurrent
[ ] 466 0 0 466 / 512 14.7s Ihtbl concurrent
[ ] 468 0 0 468 / 512 14.8s Ihtbl concurrent
[ ] 473 0 0 473 / 512 14.9s Ihtbl concurrent
[ ] 480 0 0 480 / 512 15.0s Ihtbl concurrent
[ ] 487 0 0 487 / 512 15.1s Ihtbl concurrent
[ ] 490 0 0 490 / 512 15.6s Ihtbl concurrent
[ ] 492 0 0 492 / 512 15.9s Ihtbl concurrent
[ ] 494 0 0 494 / 512 16.0s Ihtbl concurrent
[ ] 498 0 0 498 / 512 16.4s Ihtbl concurrent
[ ] 505 0 0 505 / 512 16.5s Ihtbl concurrent
[ ] 511 0 0 511 / 512 16.6s Ihtbl concurrent
[✓] 512 0 0 512 / 512 16.6s Ihtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2485024633195618660
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Ihtbl sequential
[✓] 32 0 0 32 / 32 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 32 0.0s Ihtbl concurrent
[ ] 2 0 0 2 / 32 0.2s Ihtbl concurrent
[ ] 9 0 0 9 / 32 0.3s Ihtbl concurrent
[ ] 17 0 0 17 / 32 0.5s Ihtbl concurrent
[ ] 26 0 0 26 / 32 0.8s Ihtbl concurrent
[ ] 31 0 0 31 / 32 1.2s Ihtbl concurrent
[✓] 32 0 0 32 / 32 1.2s Ihtbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_io_with_lwt.exe)
Testing `Picos_io_with_lwt'.
This run has ID `5CAWXJPN'.
[OK] Unix 0 system.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_io_with_lwt'.
Test Successful in 2.023s. 1 test run.
(cd _build/default/test && ./test_server_and_client.exe)
Using blocking sockets and threads on OCaml 4:
Recursive server running
Server listening
Client B running
Client A running
Server accepting
Client B connected
Client A connected
Client Server accepted client
B wrote 100
Server accepting
Client A wrote 100
Server read 100
Server accepted client
Server wrote 50
Server accepting
Server read 100
Server wrote 50
Client A read 50
Client B read 50
Server and Client test: OK
(cd _build/default/test && ./test_select.exe)
Testing `Picos_select'.
This run has ID `LPP2WG9Y'.
[OK] Intr 0
Full test results in `~/src/_build/default/test/_build/_tests/Picos_select'.
Test Successful in 4.637s. 1 test run.
(cd _build/default/example && ./guards.exe)
Testing with scheduler: threads
Ran guarded case statement examples.
(cd _build/default/test && ./test_lock.exe)
random seed: 558098519730695765
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
[ ] 20 0 0 20 / 32 0.1s Lock concurrent
[✓] 32 0 0 32 / 32 0.2s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 4297999319084606063
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
[ ] 5 0 0 5 / 64 0.1s Lock concurrent
[ ] 13 0 0 13 / 64 0.2s Lock concurrent
[ ] 20 0 0 20 / 64 0.4s Lock concurrent
[ ] 29 0 0 29 / 64 0.5s Lock concurrent
[ ] 31 0 0 31 / 64 0.6s Lock concurrent
[ ] 40 0 0 40 / 64 0.8s Lock concurrent
[ ] 53 0 0 53 / 64 0.9s Lock concurrent
[ ] 56 0 0 56 / 64 1.0s Lock concurrent
[✓] 64 0 0 64 / 64 1.1s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 242267292868862905
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
[ ] 7 0 0 7 / 128 0.1s Lock concurrent
[ ] 9 0 0 9 / 128 0.3s Lock concurrent
[ ] 17 0 0 17 / 128 0.5s Lock concurrent
[ ] 30 0 0 30 / 128 0.6s Lock concurrent
[ ] 34 0 0 34 / 128 0.8s Lock concurrent
[ ] 50 0 0 50 / 128 1.0s Lock concurrent
[ ] 62 0 0 62 / 128 1.1s Lock concurrent
[ ] 73 0 0 73 / 128 1.2s Lock concurrent
[ ] 79 0 0 79 / 128 1.3s Lock concurrent
[ ] 86 0 0 86 / 128 1.4s Lock concurrent
[ ] 91 0 0 91 / 128 1.6s Lock concurrent
[ ] 100 0 0 100 / 128 1.7s Lock concurrent
[ ] 102 0 0 102 / 128 1.8s Lock concurrent
[ ] 109 0 0 109 / 128 2.0s Lock concurrent
[ ] 112 0 0 112 / 128 2.2s Lock concurrent
[ ] 125 0 0 125 / 128 2.3s Lock concurrent
[✓] 128 0 0 128 / 128 2.3s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 1774127795867490887
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
[ ] 5 0 0 5 / 256 0.2s Lock concurrent
[ ] 7 0 0 7 / 256 0.3s Lock concurrent
[ ] 15 0 0 15 / 256 0.4s Lock concurrent
[ ] 24 0 0 24 / 256 0.6s Lock concurrent
[ ] 35 0 0 35 / 256 0.9s Lock concurrent
[ ] 36 0 0 36 / 256 1.0s Lock concurrent
[ ] 42 0 0 42 / 256 1.2s Lock concurrent
[ ] 53 0 0 53 / 256 1.3s Lock concurrent
[ ] 60 0 0 60 / 256 1.6s Lock concurrent
[ ] 71 0 0 71 / 256 1.8s Lock concurrent
[ ] 83 0 0 83 / 256 1.9s Lock concurrent
[ ] 90 0 0 90 / 256 2.1s Lock concurrent
[ ] 105 0 0 105 / 256 2.2s Lock concurrent
[ ] 108 0 0 108 / 256 2.3s Lock concurrent
[ ] 121 0 0 121 / 256 2.4s Lock concurrent
[ ] 123 0 0 123 / 256 2.6s Lock concurrent
[ ] 128 0 0 128 / 256 2.7s Lock concurrent
[ ] 138 0 0 138 / 256 2.8s Lock concurrent
[ ] 151 0 0 151 / 256 2.9s Lock concurrent
[ ] 157 0 0 157 / 256 3.1s Lock concurrent
[ ] 159 0 0 159 / 256 3.2s Lock concurrent
[ ] 178 0 0 178 / 256 3.5s Lock concurrent
[ ] 188 0 0 188 / 256 3.6s Lock concurrent
[ ] 190 0 0 190 / 256 3.8s Lock concurrent
[ ] 210 0 0 210 / 256 3.9s Lock concurrent
[ ] 226 0 0 226 / 256 4.0s Lock concurrent
[ ] 252 0 0 252 / 256 4.1s Lock concurrent
[ ] 253 0 0 253 / 256 4.2s Lock concurrent
[✓] 256 0 0 256 / 256 4.2s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 3096367601640448940
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Lock sequential
[✓] 512 0 0 512 / 512 0.0s Lock sequential
[ ] 0 0 0 0 / 512 0.0s Lock concurrent
[ ] 15 0 0 15 / 512 0.1s Lock concurrent
[ ] 25 0 0 25 / 512 0.3s Lock concurrent
[ ] 37 0 0 37 / 512 0.4s Lock concurrent
[ ] 53 0 0 53 / 512 0.5s Lock concurrent
[ ] 65 0 0 65 / 512 0.6s Lock concurrent
[ ] 73 0 0 73 / 512 0.7s Lock concurrent
[ ] 78 0 0 78 / 512 0.9s Lock concurrent
[ ] 85 0 0 85 / 512 1.1s Lock concurrent
[ ] 90 0 0 90 / 512 1.2s Lock concurrent
[ ] 103 0 0 103 / 512 1.3s Lock concurrent
[ ] 116 0 0 116 / 512 1.5s Lock concurrent
[ ] 122 0 0 122 / 512 1.6s Lock concurrent
[ ] 139 0 0 139 / 512 1.7s Lock concurrent
[ ] 151 0 0 151 / 512 1.8s Lock concurrent
[ ] 168 0 0 168 / 512 1.9s Lock concurrent
[ ] 173 0 0 173 / 512 2.0s Lock concurrent
[ ] 182 0 0 182 / 512 2.2s Lock concurrent
[ ] 183 0 0 183 / 512 2.3s Lock concurrent
[ ] 191 0 0 191 / 512 2.4s Lock concurrent
[ ] 204 0 0 204 / 512 2.6s Lock concurrent
[ ] 212 0 0 212 / 512 2.7s Lock concurrent
[ ] 225 0 0 225 / 512 2.8s Lock concurrent
[ ] 227 0 0 227 / 512 2.9s Lock concurrent
[ ] 228 0 0 228 / 512 3.0s Lock concurrent
[ ] 238 0 0 238 / 512 3.1s Lock concurrent
[ ] 251 0 0 251 / 512 3.3s Lock concurrent
[ ] 260 0 0 260 / 512 3.4s Lock concurrent
[ ] 268 0 0 268 / 512 3.6s Lock concurrent
[ ] 279 0 0 279 / 512 3.7s Lock concurrent
[ ] 290 0 0 290 / 512 3.8s Lock concurrent
[ ] 307 0 0 307 / 512 4.0s Lock concurrent
[ ] 323 0 0 323 / 512 4.1s Lock concurrent
[ ] 333 0 0 333 / 512 4.2s Lock concurrent
[ ] 345 0 0 345 / 512 4.3s Lock concurrent
[ ] 360 0 0 360 / 512 4.5s Lock concurrent
[ ] 373 0 0 373 / 512 4.6s Lock concurrent
[ ] 381 0 0 381 / 512 4.7s Lock concurrent
[ ] 391 0 0 391 / 512 4.9s Lock concurrent
[ ] 397 0 0 397 / 512 5.0s Lock concurrent
[ ] 405 0 0 405 / 512 5.1s Lock concurrent
[ ] 417 0 0 417 / 512 5.3s Lock concurrent
[ ] 421 0 0 421 / 512 5.4s Lock concurrent
[ ] 437 0 0 437 / 512 5.5s Lock concurrent
[ ] 450 0 0 450 / 512 5.6s Lock concurrent
[ ] 453 0 0 453 / 512 5.7s Lock concurrent
[ ] 464 0 0 464 / 512 5.9s Lock concurrent
[ ] 467 0 0 467 / 512 6.0s Lock concurrent
[ ] 484 0 0 484 / 512 6.1s Lock concurrent
[ ] 485 0 0 485 / 512 6.2s Lock concurrent
[ ] 492 0 0 492 / 512 6.4s Lock concurrent
[ ] 503 0 0 503 / 512 6.5s Lock concurrent
[✓] 512 0 0 512 / 512 6.6s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 3653401179640342578
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
[ ] 16 0 0 16 / 32 0.1s Lock concurrent
[ ] 27 0 0 27 / 32 0.2s Lock concurrent
[✓] 32 0 0 32 / 32 0.3s Lock concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_mutex.exe)
random seed: 1238109741111941190
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
[ ] 4 0 0 4 / 32 0.1s Mutex concurrent
[ ] 6 0 0 6 / 32 0.2s Mutex concurrent
[ ] 16 0 0 16 / 32 0.4s Mutex concurrent
[ ] 30 0 0 30 / 32 0.5s Mutex concurrent
[✓] 32 0 0 32 / 32 0.5s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 3470145466429909206
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
[ ] 13 0 0 13 / 64 0.1s Mutex concurrent
[ ] 26 0 0 26 / 64 0.2s Mutex concurrent
[ ] 32 0 0 32 / 64 0.3s Mutex concurrent
[ ] 36 0 0 36 / 64 0.5s Mutex concurrent
[ ] 54 0 0 54 / 64 0.6s Mutex concurrent
[✓] 64 0 0 64 / 64 0.7s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 830856683029290301
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
[ ] 9 0 0 9 / 128 0.2s Mutex concurrent
[ ] 20 0 0 20 / 128 0.4s Mutex concurrent
[ ] 24 0 0 24 / 128 0.5s Mutex concurrent
[ ] 32 0 0 32 / 128 0.6s Mutex concurrent
[ ] 35 0 0 35 / 128 0.8s Mutex concurrent
[ ] 41 0 0 41 / 128 0.9s Mutex concurrent
[ ] 54 0 0 54 / 128 1.0s Mutex concurrent
[ ] 56 0 0 56 / 128 1.2s Mutex concurrent
[ ] 74 0 0 74 / 128 1.3s Mutex concurrent
[ ] 76 0 0 76 / 128 1.5s Mutex concurrent
[ ] 77 0 0 77 / 128 1.7s Mutex concurrent
[ ] 83 0 0 83 / 128 1.8s Mutex concurrent
[ ] 88 0 0 88 / 128 2.0s Mutex concurrent
[ ] 102 0 0 102 / 128 2.1s Mutex concurrent
[ ] 109 0 0 109 / 128 2.2s Mutex concurrent
[ ] 111 0 0 111 / 128 2.4s Mutex concurrent
[ ] 117 0 0 117 / 128 2.5s Mutex concurrent
[ ] 123 0 0 123 / 128 2.6s Mutex concurrent
[ ] 127 0 0 127 / 128 2.7s Mutex concurrent
[✓] 128 0 0 128 / 128 2.7s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 4235083699561111503
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
[ ] 8 0 0 8 / 256 0.2s Mutex concurrent
[ ] 16 0 0 16 / 256 0.3s Mutex concurrent
[ ] 22 0 0 22 / 256 0.5s Mutex concurrent
[ ] 29 0 0 29 / 256 0.6s Mutex concurrent
[ ] 30 0 0 30 / 256 0.8s Mutex concurrent
[ ] 41 0 0 41 / 256 0.9s Mutex concurrent
[ ] 51 0 0 51 / 256 1.0s Mutex concurrent
[ ] 58 0 0 58 / 256 1.1s Mutex concurrent
[ ] 64 0 0 64 / 256 1.3s Mutex concurrent
[ ] 67 0 0 67 / 256 1.4s Mutex concurrent
[ ] 70 0 0 70 / 256 1.6s Mutex concurrent
[ ] 72 0 0 72 / 256 1.7s Mutex concurrent
[ ] 83 0 0 83 / 256 1.9s Mutex concurrent
[ ] 101 0 0 101 / 256 2.0s Mutex concurrent
[ ] 111 0 0 111 / 256 2.1s Mutex concurrent
[ ] 126 0 0 126 / 256 2.2s Mutex concurrent
[ ] 133 0 0 133 / 256 2.4s Mutex concurrent
[ ] 141 0 0 141 / 256 2.5s Mutex concurrent
[ ] 155 0 0 155 / 256 2.7s Mutex concurrent
[ ] 159 0 0 159 / 256 2.8s Mutex concurrent
[ ] 162 0 0 162 / 256 3.0s Mutex concurrent
[ ] 177 0 0 177 / 256 3.1s Mutex concurrent
[ ] 183 0 0 183 / 256 3.2s Mutex concurrent
[ ] 189 0 0 189 / 256 3.3s Mutex concurrent
[ ] 201 0 0 201 / 256 3.5s Mutex concurrent
[ ] 206 0 0 206 / 256 3.6s Mutex concurrent
[ ] 210 0 0 210 / 256 3.7s Mutex concurrent
[ ] 217 0 0 217 / 256 3.9s Mutex concurrent
[ ] 226 0 0 226 / 256 4.0s Mutex concurrent
[ ] 229 0 0 229 / 256 4.1s Mutex concurrent
[ ] 238 0 0 238 / 256 4.3s Mutex concurrent
[ ] 249 0 0 249 / 256 4.4s Mutex concurrent
[ ] 252 0 0 252 / 256 4.5s Mutex concurrent
[✓] 256 0 0 256 / 256 4.6s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 1772425572323928032
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Mutex sequential
[✓] 512 0 0 512 / 512 0.0s Mutex sequential
[ ] 0 0 0 0 / 512 0.0s Mutex concurrent
[ ] 13 0 0 13 / 512 0.1s Mutex concurrent
[ ] 15 0 0 15 / 512 0.2s Mutex concurrent
[ ] 22 0 0 22 / 512 0.3s Mutex concurrent
[ ] 27 0 0 27 / 512 0.4s Mutex concurrent
[ ] 39 0 0 39 / 512 0.5s Mutex concurrent
[ ] 45 0 0 45 / 512 0.6s Mutex concurrent
[ ] 56 0 0 56 / 512 0.8s Mutex concurrent
[ ] 63 0 0 63 / 512 0.9s Mutex concurrent
[ ] 73 0 0 73 / 512 1.0s Mutex concurrent
[ ] 88 0 0 88 / 512 1.1s Mutex concurrent
[ ] 100 0 0 100 / 512 1.2s Mutex concurrent
[ ] 110 0 0 110 / 512 1.3s Mutex concurrent
[ ] 120 0 0 120 / 512 1.4s Mutex concurrent
[ ] 129 0 0 129 / 512 1.5s Mutex concurrent
[ ] 136 0 0 136 / 512 1.7s Mutex concurrent
[ ] 137 0 0 137 / 512 1.8s Mutex concurrent
[ ] 141 0 0 141 / 512 1.9s Mutex concurrent
[ ] 145 0 0 145 / 512 2.1s Mutex concurrent
[ ] 152 0 0 152 / 512 2.2s Mutex concurrent
[ ] 160 0 0 160 / 512 2.3s Mutex concurrent
[ ] 170 0 0 170 / 512 2.4s Mutex concurrent
[ ] 184 0 0 184 / 512 2.6s Mutex concurrent
[ ] 189 0 0 189 / 512 2.7s Mutex concurrent
[ ] 197 0 0 197 / 512 2.8s Mutex concurrent
[ ] 210 0 0 210 / 512 3.0s Mutex concurrent
[ ] 214 0 0 214 / 512 3.1s Mutex concurrent
[ ] 221 0 0 221 / 512 3.2s Mutex concurrent
[ ] 237 0 0 237 / 512 3.3s Mutex concurrent
[ ] 245 0 0 245 / 512 3.4s Mutex concurrent
[ ] 257 0 0 257 / 512 3.5s Mutex concurrent
[ ] 263 0 0 263 / 512 3.6s Mutex concurrent
[ ] 272 0 0 272 / 512 3.8s Mutex concurrent
[ ] 280 0 0 280 / 512 3.9s Mutex concurrent
[ ] 291 0 0 291 / 512 4.0s Mutex concurrent
[ ] 300 0 0 300 / 512 4.2s Mutex concurrent
[ ] 306 0 0 306 / 512 4.3s Mutex concurrent
[ ] 318 0 0 318 / 512 4.5s Mutex concurrent
[ ] 331 0 0 331 / 512 4.6s Mutex concurrent
[ ] 342 0 0 342 / 512 4.8s Mutex concurrent
[ ] 348 0 0 348 / 512 4.9s Mutex concurrent
[ ] 360 0 0 360 / 512 5.1s Mutex concurrent
[ ] 366 0 0 366 / 512 5.3s Mutex concurrent
[ ] 372 0 0 372 / 512 5.4s Mutex concurrent
[ ] 383 0 0 383 / 512 5.5s Mutex concurrent
[ ] 395 0 0 395 / 512 5.6s Mutex concurrent
[ ] 400 0 0 400 / 512 5.8s Mutex concurrent
[ ] 401 0 0 401 / 512 5.9s Mutex concurrent
[ ] 414 0 0 414 / 512 6.0s Mutex concurrent
[ ] 424 0 0 424 / 512 6.1s Mutex concurrent
[ ] 432 0 0 432 / 512 6.2s Mutex concurrent
[ ] 464 0 0 464 / 512 6.3s Mutex concurrent
[ ] 483 0 0 483 / 512 6.4s Mutex concurrent
[ ] 507 0 0 507 / 512 6.5s Mutex concurrent
[✓] 512 0 0 512 / 512 6.5s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 1372560291496324045
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
[ ] 23 0 0 23 / 32 0.1s Mutex concurrent
[✓] 32 0 0 32 / 32 0.2s Mutex concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 0)
Testing `Picos_sync'.
This run has ID `97J72C5M'.
[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.011s. 1 test run.
(cd _build/default/test && ./test_structured.exe)
Testing `Picos_structured'.
This run has ID `WUY1N095'.
[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.667s. 14 tests run.
(cd _build/default/test && /usr/local/bin/node test_js_of_ocaml.bc.js)
Hello, from js_of_ocaml with Picos!
(cd _build/default/test && ./test_io_cohttp.exe)
Uri: //127.0.0.1:19804/hello-io-cohttp
Method: POST
host: 127.0.0.1:19804
user-agent: ocaml-cohttp/v6.2.1
content-length: 17
Body: It's-a-Me, Picos!
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 1)
Testing `Picos_sync'.
This run has ID `QLXORQWW'.
[SKIP] Mutex and Condition 0 basics.
[OK] 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.002s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Picos Computation')
Picos Computation:
attach detach pairs over time/1 worker:
8.72 M/s
attach detach pairs over time/trivial:
30.38 M/s
time per attach detach pair/1 worker:
114.68 ns
time per attach detach pair/trivial:
32.91 ns
(cd _build/default/test && ./test_sem.exe)
random seed: 362243502267204653
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
[ ] 16 0 0 16 / 32 0.1s Sem concurrent
[ ] 22 0 0 22 / 32 0.2s Sem concurrent
[✓] 32 0 0 32 / 32 0.3s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 52799653678207616
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
[ ] 7 0 0 7 / 64 0.1s Sem concurrent
[ ] 14 0 0 14 / 64 0.2s Sem concurrent
[ ] 21 0 0 21 / 64 0.3s Sem concurrent
[ ] 23 0 0 23 / 64 0.4s Sem concurrent
[ ] 44 0 0 44 / 64 0.6s Sem concurrent
[ ] 64 0 0 64 / 64 0.7s Sem concurrent
[✓] 64 0 0 64 / 64 0.7s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 1778229665479934590
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
[ ] 15 0 0 15 / 128 0.1s Sem concurrent
[ ] 25 0 0 25 / 128 0.2s Sem concurrent
[ ] 52 0 0 52 / 128 0.4s Sem concurrent
[ ] 66 0 0 66 / 128 0.5s Sem concurrent
[ ] 73 0 0 73 / 128 0.6s Sem concurrent
[ ] 76 0 0 76 / 128 0.7s Sem concurrent
[ ] 82 0 0 82 / 128 0.9s Sem concurrent
[ ] 85 0 0 85 / 128 1.1s Sem concurrent
[ ] 100 0 0 100 / 128 1.2s Sem concurrent
[ ] 111 0 0 111 / 128 1.4s Sem concurrent
[ ] 122 0 0 122 / 128 1.5s Sem concurrent
[✓] 128 0 0 128 / 128 1.5s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 4171288804111830349
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
[ ] 8 0 0 8 / 256 0.1s Sem concurrent
[ ] 21 0 0 21 / 256 0.3s Sem concurrent
[ ] 24 0 0 24 / 256 0.5s Sem concurrent
[ ] 45 0 0 45 / 256 0.7s Sem concurrent
[ ] 50 0 0 50 / 256 0.9s Sem concurrent
[ ] 62 0 0 62 / 256 1.0s Sem concurrent
[ ] 72 0 0 72 / 256 1.1s Sem concurrent
[ ] 90 0 0 90 / 256 1.2s Sem concurrent
[ ] 97 0 0 97 / 256 1.4s Sem concurrent
[ ] 103 0 0 103 / 256 1.5s Sem concurrent
[ ] 107 0 0 107 / 256 1.6s Sem concurrent
[ ] 114 0 0 114 / 256 1.8s Sem concurrent
[ ] 123 0 0 123 / 256 1.9s Sem concurrent
[ ] 135 0 0 135 / 256 2.1s Sem concurrent
[ ] 153 0 0 153 / 256 2.2s Sem concurrent
[ ] 167 0 0 167 / 256 2.4s Sem concurrent
[ ] 173 0 0 173 / 256 2.5s Sem concurrent
[ ] 179 0 0 179 / 256 2.6s Sem concurrent
[ ] 181 0 0 181 / 256 2.7s Sem concurrent
[ ] 183 0 0 183 / 256 2.9s Sem concurrent
[ ] 197 0 0 197 / 256 3.0s Sem concurrent
[ ] 201 0 0 201 / 256 3.2s Sem concurrent
[ ] 207 0 0 207 / 256 3.3s Sem concurrent
[ ] 218 0 0 218 / 256 3.4s Sem concurrent
[ ] 227 0 0 227 / 256 3.5s Sem concurrent
[ ] 236 0 0 236 / 256 3.7s Sem concurrent
[ ] 247 0 0 247 / 256 3.8s Sem concurrent
[ ] 248 0 0 248 / 256 3.9s Sem concurrent
[✓] 256 0 0 256 / 256 3.9s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 858951999767438700
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Sem sequential
[✓] 512 0 0 512 / 512 0.0s Sem sequential
[ ] 0 0 0 0 / 512 0.0s Sem concurrent
[ ] 6 0 0 6 / 512 0.1s Sem concurrent
[ ] 15 0 0 15 / 512 0.2s Sem concurrent
[ ] 26 0 0 26 / 512 0.4s Sem concurrent
[ ] 30 0 0 30 / 512 0.6s Sem concurrent
[ ] 35 0 0 35 / 512 0.7s Sem concurrent
[ ] 48 0 0 48 / 512 0.9s Sem concurrent
[ ] 56 0 0 56 / 512 1.0s Sem concurrent
[ ] 63 0 0 63 / 512 1.1s Sem concurrent
[ ] 70 0 0 70 / 512 1.2s Sem concurrent
[ ] 75 0 0 75 / 512 1.3s Sem concurrent
[ ] 82 0 0 82 / 512 1.4s Sem concurrent
[ ] 86 0 0 86 / 512 1.5s Sem concurrent
[ ] 98 0 0 98 / 512 1.7s Sem concurrent
[ ] 112 0 0 112 / 512 1.9s Sem concurrent
[ ] 124 0 0 124 / 512 2.0s Sem concurrent
[ ] 133 0 0 133 / 512 2.1s Sem concurrent
[ ] 146 0 0 146 / 512 2.3s Sem concurrent
[ ] 157 0 0 157 / 512 2.4s Sem concurrent
[ ] 163 0 0 163 / 512 2.5s Sem concurrent
[ ] 168 0 0 168 / 512 2.6s Sem concurrent
[ ] 170 0 0 170 / 512 2.7s Sem concurrent
[ ] 183 0 0 183 / 512 2.9s Sem concurrent
[ ] 189 0 0 189 / 512 3.0s Sem concurrent
[ ] 196 0 0 196 / 512 3.1s Sem concurrent
[ ] 207 0 0 207 / 512 3.3s Sem concurrent
[ ] 219 0 0 219 / 512 3.4s Sem concurrent
[ ] 223 0 0 223 / 512 3.5s Sem concurrent
[ ] 237 0 0 237 / 512 3.7s Sem concurrent
[ ] 244 0 0 244 / 512 3.8s Sem concurrent
[ ] 259 0 0 259 / 512 3.9s Sem concurrent
[ ] 264 0 0 264 / 512 4.1s Sem concurrent
[ ] 283 0 0 283 / 512 4.2s Sem concurrent
[ ] 290 0 0 290 / 512 4.3s Sem concurrent
[ ] 292 0 0 292 / 512 4.4s Sem concurrent
[ ] 302 0 0 302 / 512 4.6s Sem concurrent
[ ] 311 0 0 311 / 512 4.7s Sem concurrent
[ ] 327 0 0 327 / 512 4.8s Sem concurrent
[ ] 347 0 0 347 / 512 5.0s Sem concurrent
[ ] 361 0 0 361 / 512 5.1s Sem concurrent
[ ] 363 0 0 363 / 512 5.2s Sem concurrent
[ ] 378 0 0 378 / 512 5.3s Sem concurrent
[ ] 404 0 0 404 / 512 5.4s Sem concurrent
[ ] 407 0 0 407 / 512 5.6s Sem concurrent
[ ] 423 0 0 423 / 512 5.7s Sem concurrent
[ ] 439 0 0 439 / 512 5.9s Sem concurrent
[ ] 453 0 0 453 / 512 6.0s Sem concurrent
[ ] 457 0 0 457 / 512 6.1s Sem concurrent
[ ] 463 0 0 463 / 512 6.4s Sem concurrent
[ ] 470 0 0 470 / 512 6.5s Sem concurrent
[ ] 474 0 0 474 / 512 6.8s Sem concurrent
[ ] 477 0 0 477 / 512 6.9s Sem concurrent
[ ] 481 0 0 481 / 512 7.1s Sem concurrent
[ ] 489 0 0 489 / 512 7.6s Sem concurrent
[ ] 498 0 0 498 / 512 7.7s Sem concurrent
[ ] 505 0 0 505 / 512 8.1s Sem concurrent
[ ] 507 0 0 507 / 512 8.4s Sem concurrent
[✓] 512 0 0 512 / 512 8.4s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 3340683680521885813
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
[ ] 12 0 0 12 / 32 0.8s Sem concurrent
[ ] 18 0 0 18 / 32 0.9s Sem concurrent
[ ] 25 0 0 25 / 32 1.0s Sem concurrent
[ ] 32 0 0 32 / 32 1.5s Sem concurrent
[✓] 32 0 0 32 / 32 1.5s Sem concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/bench && ./main.exe -brief 'Picos Current')
Picos Current:
ops over time/1 worker:
135.71 M/s
time per op/1 worker:
7.37 ns
(cd _build/default/bench && ./main.exe -brief 'Picos FLS (excluding Current)')
Picos FLS (excluding Current):
gets over time/1 worker:
294.94 M/s
sets over time/1 worker:
154.97 M/s
time per get/1 worker:
3.39 ns
time per set/1 worker:
6.45 ns
(cd _build/default/bench && ./main.exe -brief 'Picos TLS')
Picos TLS:
gets over time/1 worker:
181.32 M/s
sets over time/1 worker:
91.92 M/s
time per get/1 worker:
5.51 ns
time per set/1 worker:
10.88 ns
(cd _build/default/bench && ./main.exe -brief 'Picos DLS')
Picos DLS:
gets over time/1 worker:
383.05 M/s
sets over time/1 worker:
153.91 M/s
time per get/1 worker:
2.61 ns
time per set/1 worker:
6.50 ns
(cd _build/default/bench && ./main.exe -brief 'Yield with Picos_std_sync')
Yield with Picos_std_sync:
locked yields over time/1 fiber with Lock:
0.03 M/s
locked yields over time/1 fiber with Rwlock:
0.03 M/s
locked yields over time/1 fiber with Sem:
0.03 M/s
locked yields over time/1 fiber with Sem 2:
0.03 M/s
locked yields over time/1 fiber with Sem 3:
0.03 M/s
locked yields over time/1 fiber with Sem 4:
0.03 M/s
locked yields over time/256 fibers with Lock:
0.02 M/s
locked yields over time/256 fibers with Rwlock:
0.02 M/s
locked yields over time/256 fibers with Sem:
0.02 M/s
locked yields over time/256 fibers with Sem 2:
0.02 M/s
locked yields over time/256 fibers with Sem 3:
0.02 M/s
locked yields over time/256 fibers with Sem 4:
0.02 M/s
locked yields over time/2 fibers with Lock:
0.03 M/s
locked yields over time/2 fibers with Rwlock:
0.03 M/s
locked yields over time/2 fibers with Sem:
0.03 M/s
locked yields over time/2 fibers with Sem 2:
0.03 M/s
locked yields over time/2 fibers with Sem 3:
0.03 M/s
locked yields over time/2 fibers with Sem 4:
0.03 M/s
locked yields over time/3 fibers with Lock:
0.03 M/s
locked yields over time/3 fibers with Rwlock:
0.03 M/s
locked yields over time/3 fibers with Sem:
0.03 M/s
locked yields over time/3 fibers with Sem 2:
0.03 M/s
locked yields over time/3 fibers with Sem 3:
0.03 M/s
locked yields over time/3 fibers with Sem 4:
0.03 M/s
locked yields over time/4 fibers with Lock:
0.03 M/s
locked yields over time/4 fibers with Rwlock:
0.03 M/s
locked yields over time/4 fibers with Sem:
0.03 M/s
locked yields over time/4 fibers with Sem 2:
0.03 M/s
locked yields over time/4 fibers with Sem 3:
0.03 M/s
locked yields over time/4 fibers with Sem 4:
0.03 M/s
locked yields over time/8 fibers with Lock:
0.03 M/s
locked yields over time/8 fibers with Rwlock:
0.03 M/s
locked yields over time/8 fibers with Sem:
0.03 M/s
locked yields over time/8 fibers with Sem 2:
0.03 M/s
locked yields over time/8 fibers with Sem 3:
0.03 M/s
locked yields over time/8 fibers with Sem 4:
0.03 M/s
time per locked yield/1 fiber with Lock:
37198.72 ns
time per locked yield/1 fiber with Rwlock:
36861.76 ns
time per locked yield/1 fiber with Sem:
37524.42 ns
time per locked yield/1 fiber with Sem 2:
37205.78 ns
time per locked yield/1 fiber with Sem 3:
36696.82 ns
time per locked yield/1 fiber with Sem 4:
37144.90 ns
time per locked yield/256 fibers with Lock:
57227.41 ns
time per locked yield/256 fibers with Rwlock:
57460.81 ns
time per locked yield/256 fibers with Sem:
57932.30 ns
time per locked yield/256 fibers with Sem 2:
48798.69 ns
time per locked yield/256 fibers with Sem 3:
47295.52 ns
time per locked yield/256 fibers with Sem 4:
43165.27 ns
time per locked yield/2 fibers with Lock:
37893.11 ns
time per locked yield/2 fibers with Rwlock:
37022.42 ns
time per locked yield/2 fibers with Sem:
37434.00 ns
time per locked yield/2 fibers with Sem 2:
37637.53 ns
time per locked yield/2 fibers with Sem 3:
38231.57 ns
time per locked yield/2 fibers with Sem 4:
37221.82 ns
time per locked yield/3 fibers with Lock:
37464.57 ns
time per locked yield/3 fibers with Rwlock:
37362.54 ns
time per locked yield/3 fibers with Sem:
38560.07 ns
time per locked yield/3 fibers with Sem 2:
36983.59 ns
time per locked yield/3 fibers with Sem 3:
37247.73 ns
time per locked yield/3 fibers with Sem 4:
37652.01 ns
time per locked yield/4 fibers with Lock:
37173.24 ns
time per locked yield/4 fibers with Rwlock:
37412.75 ns
time per locked yield/4 fibers with Sem:
37967.28 ns
time per locked yield/4 fibers with Sem 2:
37644.62 ns
time per locked yield/4 fibers with Sem 3:
37261.60 ns
time per locked yield/4 fibers with Sem 4:
37019.55 ns
time per locked yield/8 fibers with Lock:
37593.82 ns
time per locked yield/8 fibers with Rwlock:
37581.38 ns
time per locked yield/8 fibers with Sem:
37766.97 ns
time per locked yield/8 fibers with Sem 2:
37652.56 ns
time per locked yield/8 fibers with Sem 3:
37771.92 ns
time per locked yield/8 fibers with Sem 4:
37645.44 ns
(cd _build/default/bench && ./main.exe -brief 'Picos Spawn')
Picos Spawn:
(cd _build/default/bench && ./main.exe -brief 'Picos Yield')
Picos Yield:
time per yield/100 fibers:
19467.41 ns
time per yield/10 fibers:
20500.92 ns
time per yield/1 fiber:
37222.39 ns
yields over time/100 fibers:
0.05 M/s
yields over time/10 fibers:
0.05 M/s
yields over time/1 fiber:
0.03 M/s
(cd _build/default/bench && ./main.exe -brief 'Picos Cancel_after with Picos_select')
Picos Cancel_after with Picos_select:
async round-trips over time/1 worker:
0.29 M/s
round-trips over time/1 worker:
0.02 M/s
time per async round-trip/1 worker:
3432.17 ns
time per round-trip/1 worker:
62337.05 ns
(cd _build/default/bench && ./main.exe -brief 'Ref with Picos_std_sync')
Ref with Picos_std_sync:
ops over time/cas int with Lock:
71.22 M/s
ops over time/cas int with Rwlock:
48.23 M/s
ops over time/cas int with Sem:
71.06 M/s
ops over time/get with Lock:
102.93 M/s
ops over time/get with Rwlock:
102.92 M/s
ops over time/get with Sem:
106.45 M/s
ops over time/incr with Lock:
97.99 M/s
ops over time/incr with Rwlock:
59.25 M/s
ops over time/incr with Sem:
99.70 M/s
ops over time/push & pop with Lock:
68.42 M/s
ops over time/push & pop with Rwlock:
46.05 M/s
ops over time/push & pop with Sem:
71.86 M/s
ops over time/swap with Lock:
73.33 M/s
ops over time/swap with Rwlock:
47.65 M/s
ops over time/swap with Sem:
75.73 M/s
ops over time/xchg int with Lock:
73.60 M/s
ops over time/xchg int with Rwlock:
49.03 M/s
ops over time/xchg int with Sem:
73.24 M/s
time per op/cas int with Lock:
14.04 ns
time per op/cas int with Rwlock:
20.73 ns
time per op/cas int with Sem:
14.07 ns
time per op/get with Lock:
9.72 ns
time per op/get with Rwlock:
9.72 ns
time per op/get with Sem:
9.39 ns
time per op/incr with Lock:
10.20 ns
time per op/incr with Rwlock:
16.88 ns
time per op/incr with Sem:
10.03 ns
time per op/push & pop with Lock:
14.62 ns
time per op/push & pop with Rwlock:
21.72 ns
time per op/push & pop with Sem:
13.92 ns
time per op/swap with Lock:
13.64 ns
time per op/swap with Rwlock:
20.98 ns
time per op/swap with Sem:
13.20 ns
time per op/xchg int with Lock:
13.59 ns
time per op/xchg int with Rwlock:
20.39 ns
time per op/xchg int with Sem:
13.65 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpmcq)
Picos_mpmcq:
messages over time/one domain:
26.79 M/s
time per message/one domain:
37.33 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpscq)
Picos_mpscq:
messages over time/one domain:
30.27 M/s
time per message/one domain:
33.03 ns
(cd _build/default/bench && ./main.exe -brief Picos_htbl)
Picos_htbl:
operations over time/1 worker, 10% reads:
16.38 M/s
operations over time/1 worker, 50% reads:
18.54 M/s
operations over time/1 worker, 90% reads:
23.86 M/s
time per operation/1 worker, 10% reads:
61.06 ns
time per operation/1 worker, 50% reads:
53.95 ns
time per operation/1 worker, 90% reads:
41.91 ns
(cd _build/default/bench && ./main.exe -brief 'Hashtbl with Picos_std_sync')
Hashtbl with Picos_std_sync:
operations over time/1 worker, 10% reads with Lock:
17.05 M/s
operations over time/1 worker, 10% reads with Rwlock:
15.48 M/s
operations over time/1 worker, 10% reads with Sem:
16.66 M/s
operations over time/1 worker, 100% reads with Lock:
20.83 M/s
operations over time/1 worker, 100% reads with Rwlock:
21.08 M/s
operations over time/1 worker, 100% reads with Sem:
20.09 M/s
operations over time/1 worker, 50% reads with Lock:
17.46 M/s
operations over time/1 worker, 50% reads with Rwlock:
16.46 M/s
operations over time/1 worker, 50% reads with Sem:
17.69 M/s
operations over time/1 worker, 90% reads with Lock:
19.45 M/s
operations over time/1 worker, 90% reads with Rwlock:
19.74 M/s
operations over time/1 worker, 90% reads with Sem:
19.94 M/s
operations over time/1 worker, 95% reads with Lock:
20.62 M/s
operations over time/1 worker, 95% reads with Rwlock:
20.47 M/s
operations over time/1 worker, 95% reads with Sem:
20.49 M/s
time per operation/1 worker, 10% reads with Lock:
58.64 ns
time per operation/1 worker, 10% reads with Rwlock:
64.59 ns
time per operation/1 worker, 10% reads with Sem:
60.01 ns
time per operation/1 worker, 100% reads with Lock:
48.02 ns
time per operation/1 worker, 100% reads with Rwlock:
47.43 ns
time per operation/1 worker, 100% reads with Sem:
49.79 ns
time per operation/1 worker, 50% reads with Lock:
57.26 ns
time per operation/1 worker, 50% reads with Rwlock:
60.74 ns
time per operation/1 worker, 50% reads with Sem:
56.54 ns
time per operation/1 worker, 90% reads with Lock:
51.42 ns
time per operation/1 worker, 90% reads with Rwlock:
50.65 ns
time per operation/1 worker, 90% reads with Sem:
50.16 ns
time per operation/1 worker, 95% reads with Lock:
48.51 ns
time per operation/1 worker, 95% reads with Rwlock:
48.84 ns
time per operation/1 worker, 95% reads with Sem:
48.80 ns
(cd _build/default/bench && ./main.exe -brief Picos_stdio)
Picos_stdio:
blocking reads over time/1 worker:
0.02 M/s
non-blocking reads over time/1 worker:
0.18 M/s
time per blocking read/1 worker:
47175.97 ns
time per non-blocking read/1 worker:
5681.67 ns
(cd _build/default/bench && ./main.exe -brief 'Picos_sync Stream')
Picos_sync Stream:
messages over time/one domain:
20.72 M/s
time per message/one domain:
48.26 ns
(cd _build/default/bench && ./main.exe -brief Fib)
Fib:
(cd _build/default/bench && ./main.exe -brief 'Picos binaries')
Picos binaries:
binary size/picos:
71.37 kB
binary size/picos.domain:
5.51 kB
binary size/picos.thread:
2.90 kB
binary size/picos_aux.htbl:
50.22 kB
binary size/picos_aux.mpmcq:
14.40 kB
binary size/picos_aux.mpscq:
16.02 kB
binary size/picos_aux.rc:
15.19 kB
binary size/picos_io:
83.29 kB
binary size/picos_io.fd:
7.99 kB
binary size/picos_io.select:
56.78 kB
binary size/picos_io_cohttp:
39.98 kB
binary size/picos_mux.thread:
20.22 kB
binary size/picos_std.awaitable:
29.29 kB
binary size/picos_std.event:
20.26 kB
binary size/picos_std.finally:
16.18 kB
binary size/picos_std.structured:
73.38 kB
binary size/picos_std.sync:
161.59 kB
(cd _build/default/bench && ./main.exe -brief 'Bounded_q with Picos_std_sync')
Bounded_q with Picos_std_sync:
messages over time/one domain with Lock:
17.97 M/s
time per message/one domain with Lock:
55.64 ns
(cd _build/default/bench && ./main.exe -brief 'Memory usage')
Memory usage:
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 2)
Testing `Picos_sync'.
This run has ID `Z89M5DUL'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[OK] 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 11.205s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `CURZ36A2'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[OK] 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.011s. 1 test run.
(cd _build/default/test && ./test_rwlock.exe)
random seed: 2308948305298065517
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Rwlock sequential
[✓] 32 0 0 32 / 32 0.0s Rwlock sequential
[ ] 0 0 0 0 / 32 0.0s Rwlock concurrent
[ ] 14 0 0 14 / 32 0.1s Rwlock concurrent
[✓] 32 0 0 32 / 32 0.2s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 3353326351160620254
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Rwlock sequential
[✓] 64 0 0 64 / 64 0.0s Rwlock sequential
[ ] 0 0 0 0 / 64 0.0s Rwlock concurrent
[ ] 18 0 0 18 / 64 0.1s Rwlock concurrent
[ ] 26 0 0 26 / 64 0.2s Rwlock concurrent
[ ] 39 0 0 39 / 64 0.3s Rwlock concurrent
[ ] 47 0 0 47 / 64 0.4s Rwlock concurrent
[ ] 63 0 0 63 / 64 0.5s Rwlock concurrent
[✓] 64 0 0 64 / 64 0.5s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 3656730969918285182
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Rwlock sequential
[✓] 128 0 0 128 / 128 0.0s Rwlock sequential
[ ] 0 0 0 0 / 128 0.0s Rwlock concurrent
[ ] 14 0 0 14 / 128 0.1s Rwlock concurrent
[ ] 27 0 0 27 / 128 0.2s Rwlock concurrent
[ ] 37 0 0 37 / 128 0.3s Rwlock concurrent
[ ] 57 0 0 57 / 128 0.4s Rwlock concurrent
[ ] 70 0 0 70 / 128 0.6s Rwlock concurrent
[ ] 79 0 0 79 / 128 0.7s Rwlock concurrent
[ ] 91 0 0 91 / 128 0.8s Rwlock concurrent
[ ] 94 0 0 94 / 128 0.9s Rwlock concurrent
[ ] 117 0 0 117 / 128 1.1s Rwlock concurrent
[✓] 128 0 0 128 / 128 1.2s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 1254140272958297386
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Rwlock sequential
[✓] 256 0 0 256 / 256 0.0s Rwlock sequential
[ ] 0 0 0 0 / 256 0.0s Rwlock concurrent
[ ] 11 0 0 11 / 256 0.1s Rwlock concurrent
[ ] 23 0 0 23 / 256 0.2s Rwlock concurrent
[ ] 29 0 0 29 / 256 0.3s Rwlock concurrent
[ ] 33 0 0 33 / 256 0.5s Rwlock concurrent
[ ] 40 0 0 40 / 256 0.6s Rwlock concurrent
[ ] 48 0 0 48 / 256 0.8s Rwlock concurrent
[ ] 58 0 0 58 / 256 0.9s Rwlock concurrent
[ ] 68 0 0 68 / 256 1.0s Rwlock concurrent
[ ] 77 0 0 77 / 256 1.1s Rwlock concurrent
[ ] 86 0 0 86 / 256 1.2s Rwlock concurrent
[ ] 94 0 0 94 / 256 1.3s Rwlock concurrent
[ ] 101 0 0 101 / 256 1.4s Rwlock concurrent
[ ] 113 0 0 113 / 256 1.6s Rwlock concurrent
[ ] 121 0 0 121 / 256 1.7s Rwlock concurrent
[ ] 138 0 0 138 / 256 1.8s Rwlock concurrent
[ ] 148 0 0 148 / 256 1.9s Rwlock concurrent
[ ] 152 0 0 152 / 256 2.0s Rwlock concurrent
[ ] 154 0 0 154 / 256 2.1s Rwlock concurrent
[ ] 162 0 0 162 / 256 2.2s Rwlock concurrent
[ ] 174 0 0 174 / 256 2.3s Rwlock concurrent
[ ] 181 0 0 181 / 256 2.5s Rwlock concurrent
[ ] 187 0 0 187 / 256 2.6s Rwlock concurrent
[ ] 201 0 0 201 / 256 2.7s Rwlock concurrent
[ ] 208 0 0 208 / 256 2.8s Rwlock concurrent
[ ] 212 0 0 212 / 256 2.9s Rwlock concurrent
[ ] 218 0 0 218 / 256 3.1s Rwlock concurrent
[ ] 222 0 0 222 / 256 3.2s Rwlock concurrent
[ ] 228 0 0 228 / 256 3.3s Rwlock concurrent
[ ] 244 0 0 244 / 256 3.4s Rwlock concurrent
[ ] 255 0 0 255 / 256 3.6s Rwlock concurrent
[✓] 256 0 0 256 / 256 3.6s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 2002685714795116057
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Rwlock sequential
[✓] 512 0 0 512 / 512 0.0s Rwlock sequential
[ ] 0 0 0 0 / 512 0.0s Rwlock concurrent
[ ] 12 0 0 12 / 512 0.1s Rwlock concurrent
[ ] 25 0 0 25 / 512 0.2s Rwlock concurrent
[ ] 29 0 0 29 / 512 0.3s Rwlock concurrent
[ ] 51 0 0 51 / 512 0.4s Rwlock concurrent
[ ] 54 0 0 54 / 512 0.5s Rwlock concurrent
[ ] 63 0 0 63 / 512 0.7s Rwlock concurrent
[ ] 73 0 0 73 / 512 0.8s Rwlock concurrent
[ ] 84 0 0 84 / 512 0.9s Rwlock concurrent
[ ] 108 0 0 108 / 512 1.0s Rwlock concurrent
[ ] 125 0 0 125 / 512 1.1s Rwlock concurrent
[ ] 129 0 0 129 / 512 1.2s Rwlock concurrent
[ ] 131 0 0 131 / 512 1.3s Rwlock concurrent
[ ] 143 0 0 143 / 512 1.5s Rwlock concurrent
[ ] 162 0 0 162 / 512 1.6s Rwlock concurrent
[ ] 164 0 0 164 / 512 1.7s Rwlock concurrent
[ ] 165 0 0 165 / 512 1.9s Rwlock concurrent
[ ] 167 0 0 167 / 512 2.2s Rwlock concurrent
[ ] 168 0 0 168 / 512 2.4s Rwlock concurrent
[ ] 171 0 0 171 / 512 2.6s Rwlock concurrent
[ ] 189 0 0 189 / 512 2.7s Rwlock concurrent
[ ] 192 0 0 192 / 512 3.0s Rwlock concurrent
[ ] 196 0 0 196 / 512 3.3s Rwlock concurrent
[ ] 201 0 0 201 / 512 3.6s Rwlock concurrent
[ ] 206 0 0 206 / 512 3.7s Rwlock concurrent
[ ] 210 0 0 210 / 512 3.8s Rwlock concurrent
[ ] 219 0 0 219 / 512 3.9s Rwlock concurrent
[ ] 224 0 0 224 / 512 4.0s Rwlock concurrent
[ ] 226 0 0 226 / 512 4.3s Rwlock concurrent
[ ] 235 0 0 235 / 512 4.4s Rwlock concurrent
[ ] 245 0 0 245 / 512 4.5s Rwlock concurrent
[ ] 251 0 0 251 / 512 4.8s Rwlock concurrent
[ ] 255 0 0 255 / 512 5.1s Rwlock concurrent
[ ] 262 0 0 262 / 512 5.2s Rwlock concurrent
[ ] 265 0 0 265 / 512 5.3s Rwlock concurrent
[ ] 271 0 0 271 / 512 5.6s Rwlock concurrent
[ ] 273 0 0 273 / 512 5.8s Rwlock concurrent
[ ] 277 0 0 277 / 512 6.3s Rwlock concurrent
[ ] 278 0 0 278 / 512 7.4s Rwlock concurrent
[ ] 279 0 0 279 / 512 9.4s Rwlock concurrent
[ ] 280 0 0 280 / 512 9.6s Rwlock concurrent
[ ] 283 0 0 283 / 512 9.8s Rwlock concurrent
[ ] 284 0 0 284 / 512 9.9s Rwlock concurrent
[ ] 286 0 0 286 / 512 11.3s Rwlock concurrent
[ ] 287 0 0 287 / 512 11.7s Rwlock concurrent
[ ] 292 0 0 292 / 512 11.8s Rwlock concurrent
[ ] 296 0 0 296 / 512 12.0s Rwlock concurrent
[ ] 297 0 0 297 / 512 13.1s Rwlock concurrent
[ ] 301 0 0 301 / 512 13.4s Rwlock concurrent
[ ] 308 0 0 308 / 512 13.5s Rwlock concurrent
[ ] 310 0 0 310 / 512 13.6s Rwlock concurrent
[ ] 321 0 0 321 / 512 13.7s Rwlock concurrent
[ ] 328 0 0 328 / 512 13.9s Rwlock concurrent
[ ] 344 0 0 344 / 512 14.0s Rwlock concurrent
[ ] 348 0 0 348 / 512 14.4s Rwlock concurrent
[ ] 354 0 0 354 / 512 14.6s Rwlock concurrent
[ ] 355 0 0 355 / 512 15.0s Rwlock concurrent
[ ] 362 0 0 362 / 512 15.1s Rwlock concurrent
[ ] 368 0 0 368 / 512 15.3s Rwlock concurrent
[ ] 375 0 0 375 / 512 15.4s Rwlock concurrent
[ ] 388 0 0 388 / 512 15.5s Rwlock concurrent
[ ] 395 0 0 395 / 512 15.6s Rwlock concurrent
[ ] 407 0 0 407 / 512 15.7s Rwlock concurrent
[ ] 412 0 0 412 / 512 16.1s Rwlock concurrent
[ ] 424 0 0 424 / 512 16.2s Rwlock concurrent
[ ] 430 0 0 430 / 512 16.4s Rwlock concurrent
[ ] 432 0 0 432 / 512 16.5s Rwlock concurrent
[ ] 433 0 0 433 / 512 16.6s Rwlock concurrent
[ ] 435 0 0 435 / 512 16.8s Rwlock concurrent
[ ] 442 0 0 442 / 512 16.9s Rwlock concurrent
[ ] 445 0 0 445 / 512 17.3s Rwlock concurrent
[ ] 453 0 0 453 / 512 17.4s Rwlock concurrent
[ ] 456 0 0 456 / 512 17.7s Rwlock concurrent
[ ] 469 0 0 469 / 512 17.9s Rwlock concurrent
[ ] 472 0 0 472 / 512 18.0s Rwlock concurrent
[ ] 477 0 0 477 / 512 18.3s Rwlock concurrent
[ ] 479 0 0 479 / 512 18.8s Rwlock concurrent
[ ] 481 0 0 481 / 512 18.9s Rwlock concurrent
[ ] 483 0 0 483 / 512 19.2s Rwlock concurrent
[ ] 498 0 0 498 / 512 19.3s Rwlock concurrent
[ ] 505 0 0 505 / 512 19.6s Rwlock concurrent
[ ] 510 0 0 510 / 512 19.7s Rwlock concurrent
[✓] 512 0 0 512 / 512 19.7s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 1512924997362045678
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Rwlock sequential
[✓] 32 0 0 32 / 32 0.0s Rwlock sequential
[ ] 0 0 0 0 / 32 0.0s Rwlock concurrent
[ ] 15 0 0 15 / 32 0.2s Rwlock concurrent
[ ] 22 0 0 22 / 32 0.5s Rwlock concurrent
[ ] 23 0 0 23 / 32 0.8s Rwlock concurrent
[ ] 31 0 0 31 / 32 1.0s Rwlock concurrent
[✓] 32 0 0 32 / 32 1.0s Rwlock concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `DI1P47N6'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[OK] 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 7.705s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `EMCVIF6H'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `MEJVVS39'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `ZW8V1Z6S'.
[SKIP] 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.
[OK] 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.009s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `CR1UJRGI'.
[SKIP] 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.
[OK] 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 6.179s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `HZT1WWDA'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `DQSJUKTP'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 4)
Testing `Picos_sync'.
This run has ID `CF48IUZT'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 5)
Testing `Picos_sync'.
This run has ID `JN9BX9CX'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 6)
Testing `Picos_sync'.
This run has ID `C9JCFK2F'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 0)
Testing `Picos_sync'.
This run has ID `IO9NLPRZ'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 1)
Testing `Picos_sync'.
This run has ID `58DCJ57W'.
[SKIP] 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.
[OK] 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.018s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 0)
Testing `Picos_sync'.
This run has ID `3S0KH2SD'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 1)
Testing `Picos_sync'.
This run has ID `X774RL7Z'.
[SKIP] 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.
[OK] 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.017s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 2)
Testing `Picos_sync'.
This run has ID `E3RKOXXD'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 3)
Testing `Picos_sync'.
This run has ID `D3G3Y7XW'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 0)
Testing `Picos_sync'.
This run has ID `CR2Y97U0'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 1)
Testing `Picos_sync'.
This run has ID `Y0R1BE8N'.
[SKIP] 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.
[OK] 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.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Event$ 0)
Testing `Picos_sync'.
This run has ID `BY4U5P96'.
[SKIP] 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.
[OK] 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.107s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 0)
Testing `Picos_sync'.
This run has ID `M5C6BL4S'.
[SKIP] 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.
[OK] 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.004s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 1)
Testing `Picos_sync'.
This run has ID `NAI5X6EK'.
[SKIP] 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.
[OK] 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.005s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Non-cancelable ops$' 0)
Testing `Picos_sync'.
This run has ID `J18JGI3F'.
[SKIP] 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.
[OK] Non-cancelable ops 0 are not canceled.
Full test results in `~/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/test && ./test_schedulers.exe)
Testing with scheduler: threads
Fairness of 100 fibers performing at least 10000 yields:
sd: 0.001270 -- ideally 0
mean: 1.003147 -- ideally 1
median: 1.003150 -- ideally 1
Testing `Picos schedulers'.
This run has ID `KV818TJM'.
[OK] Trivial main returns 0
[OK] Scheduler completes main computation 0
[OK] Current 0
[OK] Cancel_after 0 basic.
[OK] Cancel_after 1 long timeout.
[OK] Operation on canceled fiber raises 0
[OK] Cross scheduler wakeup 0
[OK] Fatal exception terminates scheduler 0
Full test results in `~/src/_build/default/test/_build/_tests/Picos schedulers'.
Test Successful in 20.870s. 8 tests run.
Thread 208 killed on uncaught exception Failure("fatal")
Raised at Dune__exe__Test_schedulers.test_fatal.fatal_exn_handler in file "test/test_schedulers.ml", line 110, characters 6-15
Called from Thread.create.(fun) in file "thread.ml", line 49, characters 8-14
Thread 207 killed on uncaught exception Failure("fatal")
Raised at Dune__exe__Test_schedulers.test_fatal.fatal_exn_handler in file "test/test_schedulers.ml", line 110, characters 6-15
Called from Thread.create.(fun) in file "thread.ml", line 49, characters 8-14
2026-01-15 12:43.03 ---> saved as "06472fdf0ecd3b204468b5dcc5522f6734940f44df76c0184c7ea452d340a260"
Job succeeded
2026-01-15 12:43.03: Job succeeded