2026-01-19 15:27.28: New job: test ocaml-multicore/picos https://github.com/ocaml-multicore/picos.git#refs/heads/experimental-htbl (8669f5e4ecc26287e3f90b6a1a3eaf8e307d829c) (linux-riscv64:debian-13-5.4_riscv64_opam-2.5)
Base: ocaml/opam:debian-13-ocaml-5.4@sha256:6082f9b8a06961c7f76bc19fb1c8f26d2236d8d4d3fc8bee22908374b54b5fed
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/picos.git" -b "experimental-htbl" && cd "picos" && git reset --hard 8669f5e4
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:6082f9b8a06961c7f76bc19fb1c8f26d2236d8d4d3fc8bee22908374b54b5fed
# debian-13-5.4_riscv64_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 873cb18c37b308713d11ad3894c4bb78d73fb3e7 || git fetch origin master) && git reset -q --hard 873cb18c37b308713d11ad3894c4bb78d73fb3e7 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam ./
RUN opam pin add -yn picos_std.dev './' && \
opam pin add -yn picos_mux.dev './' && \
opam pin add -yn picos_meta.dev './' && \
opam pin add -yn picos_lwt.dev './' && \
opam pin add -yn picos_io_cohttp.dev './' && \
opam pin add -yn picos_io.dev './' && \
opam pin add -yn picos_aux.dev './' && \
opam pin add -yn picos.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.3 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.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-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.21.0 dune-configurator.3.21.0 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.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocaml_intrinsics_kernel.v0.17.1 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.17.1 ppxlib.0.37.0 ppxlib_jane.v0.17.4 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.17.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 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2026-01-19 15:27.28: Using cache hint "ocaml-multicore/picos-ocaml/opam:debian-13-ocaml-5.4@sha256:6082f9b8a06961c7f76bc19fb1c8f26d2236d8d4d3fc8bee22908374b54b5fed-debian-13-5.4_riscv64_opam-2.5-19f295cacb16299a60529f3f2f3e284d"
2026-01-19 15:27.28: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:6082f9b8a06961c7f76bc19fb1c8f26d2236d8d4d3fc8bee22908374b54b5fed)
(comment debian-13-5.4_riscv64_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo 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"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 873cb18c37b308713d11ad3894c4bb78d73fb3e7 || git fetch origin master) && git reset -q --hard 873cb18c37b308713d11ad3894c4bb78d73fb3e7 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst ./))
(run (network host)
(shell "opam pin add -yn picos_std.dev './' && \
\nopam pin add -yn picos_mux.dev './' && \
\nopam pin add -yn picos_meta.dev './' && \
\nopam pin add -yn picos_lwt.dev './' && \
\nopam pin add -yn picos_io_cohttp.dev './' && \
\nopam pin add -yn picos_io.dev './' && \
\nopam pin add -yn picos_aux.dev './' && \
\nopam pin add -yn picos.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.3 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.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-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.21.0 dune-configurator.3.21.0 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.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocaml_intrinsics_kernel.v0.17.1 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.17.1 ppxlib.0.37.0 ppxlib_jane.v0.17.4 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.17.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 /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2026-01-19 15:27.28: Waiting for resource in pool OCluster
2026-01-19 15:27.28: Waiting for worker…
2026-01-19 15:33.07: Got resource from pool OCluster
Building on riscv-bm-04.sw.ci.dev
HEAD is now at a5c1af8 Experimental more incremental resize approach
HEAD is now at 8669f5e Experimental more incremental resize approach
(from ocaml/opam:debian-13-ocaml-5.4@sha256:6082f9b8a06961c7f76bc19fb1c8f26d2236d8d4d3fc8bee22908374b54b5fed)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:6082f9b8a06961c7f76bc19fb1c8f26d2236d8d4d3fc8bee22908374b54b5fed' locally
docker.io/ocaml/opam@sha256:6082f9b8a06961c7f76bc19fb1c8f26d2236d8d4d3fc8bee22908374b54b5fed: Pulling from ocaml/opam
aaf3ef12aa0c: Already exists
a34acde99ba4: Already exists
4293ae448ba9: Already exists
72d1df5950c6: Already exists
22502c1a8adc: Already exists
b2bf4abe4dd0: Already exists
8f17f09baf89: Already exists
6a4f174a3c4f: Already exists
1a0138d62f52: Already exists
76aa171569db: Already exists
5e607c57fa10: Already exists
ff6fc947f462: Already exists
aff935c2599f: Already exists
26f7966e40f3: Already exists
626fa36de9ad: Already exists
8735944aca80: Already exists
a6abb4978a3d: Already exists
408672e1d804: Already exists
8cfa50ef517c: Already exists
8681f5d4967e: Already exists
8f286f90917f: Already exists
6c5ee43c4f55: Already exists
4f4fb700ef54: Already exists
57a911dc2123: Already exists
7a2b42fa2014: Already exists
2b0d233bf499: Already exists
e252534f56b8: Already exists
a73321b29080: Already exists
8b2af40b3f81: Already exists
3fa514be847f: Already exists
0e40e791ed5f: Already exists
1f05844481c1: Already exists
984de9c75519: Already exists
3bd5877a7c8d: Already exists
b351fa832479: Already exists
76339ec42270: Already exists
4aef5176a1c1: Already exists
9c61627241b4: Already exists
1f42b8230038: Already exists
f890ce5e02aa: Already exists
d37dd929f794: Already exists
7c8b03539c3b: Pulling fs layer
71a411cfe0f8: Pulling fs layer
3d55c25a0882: Pulling fs layer
bedaefcf3d63: Pulling fs layer
d5b57655f943: Pulling fs layer
1514a87a5d59: Pulling fs layer
f341a178edd4: Pulling fs layer
bedaefcf3d63: Waiting
1514a87a5d59: Waiting
f341a178edd4: Waiting
d5b57655f943: Waiting
3d55c25a0882: Verifying Checksum
3d55c25a0882: Download complete
7c8b03539c3b: Verifying Checksum
7c8b03539c3b: Download complete
71a411cfe0f8: Verifying Checksum
71a411cfe0f8: Download complete
7c8b03539c3b: Pull complete
d5b57655f943: Verifying Checksum
d5b57655f943: Download complete
1514a87a5d59: Verifying Checksum
1514a87a5d59: Download complete
f341a178edd4: Verifying Checksum
f341a178edd4: Download complete
71a411cfe0f8: Pull complete
3d55c25a0882: Pull complete
bedaefcf3d63: Verifying Checksum
bedaefcf3d63: Download complete
bedaefcf3d63: Pull complete
d5b57655f943: Pull complete
1514a87a5d59: Pull complete
f341a178edd4: Pull complete
Digest: sha256:6082f9b8a06961c7f76bc19fb1c8f26d2236d8d4d3fc8bee22908374b54b5fed
Status: Downloaded newer image for ocaml/opam@sha256:6082f9b8a06961c7f76bc19fb1c8f26d2236d8d4d3fc8bee22908374b54b5fed
2026-01-19 15:33.09 ---> using "14a3aafbd053f90f80456868928e361883d2c7f606038c39984bee02944df3c5" from cache
/: (comment debian-13-5.4_riscv64_opam-2.5)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (workdir /src)
/src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-01-19 15:33.09 ---> using "1069d6d00ae181c67648d4359800b423774ffc2670961d6a9657135373dd2300" from cache
/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-01-19 15:33.09 ---> using "4d1ec418290fd875e93a91b34e099cba10e49134936226ada46bab1c825bcce8" from cache
/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.10.113-scw1
The OCaml toplevel, version 5.4.0
2.5.0
2026-01-19 15:33.09 ---> using "241b65d4b95f11d4d2c19cb104bbad73e9444306dd2a7ff3e60fb4b19eabe6b1" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2026-01-19 15:33.09 ---> using "a44e6d4f266c7a67e8afe18f31e2098a8039a70ab804709f07c75e6ac33bcd3e" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 873cb18c37b308713d11ad3894c4bb78d73fb3e7 || git fetch origin master) && git reset -q --hard 873cb18c37b308713d11ad3894c4bb78d73fb3e7 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
a6b2f19780..882924392d master -> origin/master
873cb18c37 Merge pull request #29216 from shonfeder/release-dune-3.21.0
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository
Already up-to-date.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2026-01-19 15:33.09 ---> using "814301570a263910f70a56efc278bb25dd1612f2cf48655d7c81cb70ddce28a7" from cache
/src: (copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst ./))
2026-01-19 15:33.11 ---> saved as "42f610c9973d91e8f1baae8a8d9e6a38c8f68e8eb2a2340f1c1188f216312dd3"
/src: (run (network host)
(shell "opam pin add -yn picos_std.dev './' && \
\nopam pin add -yn picos_mux.dev './' && \
\nopam pin add -yn picos_meta.dev './' && \
\nopam pin add -yn picos_lwt.dev './' && \
\nopam pin add -yn picos_io_cohttp.dev './' && \
\nopam pin add -yn picos_io.dev './' && \
\nopam pin add -yn picos_aux.dev './' && \
\nopam pin add -yn picos.dev './'"))
[picos_std.dev] synchronised (file:///src)
picos_std is now pinned to file:///src (version dev)
[picos_mux.dev] synchronised (file:///src)
picos_mux is now pinned to file:///src (version dev)
[picos_meta.dev] synchronised (file:///src)
picos_meta is now pinned to file:///src (version dev)
[picos_lwt.dev] synchronised (file:///src)
picos_lwt is now pinned to file:///src (version dev)
[picos_io_cohttp.dev] synchronised (file:///src)
picos_io_cohttp is now pinned to file:///src (version dev)
[picos_io.dev] synchronised (file:///src)
picos_io is now pinned to file:///src (version dev)
[picos_aux.dev] synchronised (file:///src)
picos_aux is now pinned to file:///src (version dev)
[picos.dev] synchronised (file:///src)
[WARNING] Failed checks on picos package definition from source at file:///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:///src (version dev)
2026-01-19 15:34.06 ---> saved as "43f70a20f5085a108e2b5bbac07248d5745cba3b262a8d8a250ff22e3c40c9e7"
/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-01-19 15:34.07 ---> saved as "04622a8a6d1f9d63bb3a91a70b8c4c615952993310817b78f69645ee9670c7a4"
/src: (env DEPS "alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.3 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.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-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.21.0 dune-configurator.3.21.0 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.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocaml_intrinsics_kernel.v0.17.1 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.17.1 ppxlib.0.37.0 ppxlib_jane.v0.17.4 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.17.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")
/src: (env CI true)
/src: (env OCAMLCI true)
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.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"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main riscv64 Packages [88.5 kB]
- Fetched 179 kB in 0s (382 kB/s)
- Reading package lists...
-
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[picos.dev] synchronised (file:///src)
[picos_aux.dev] synchronised (file:///src)
[picos_io.dev] synchronised (file:///src)
[picos_io_cohttp.dev] synchronised (file:///src)
[picos_lwt.dev] synchronised (file:///src)
[picos_meta.dev] synchronised (file:///src)
[picos_mux.dev] synchronised (file:///src)
[picos_std.dev] synchronised (file:///src)
[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 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml is already installed (current version is 5.4.0).
[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-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl:riscv64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20732 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_riscv64.deb ...
- Unpacking libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:riscv64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_riscv64.deb ...
- Unpacking libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:riscv64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_riscv64.deb ...
- Unpacking libpkgconf3:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:riscv64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:riscv64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_riscv64.deb ...
- Unpacking pkg-config:riscv64 (1.8.1-4) ...
- Setting up libpkgconf3:riscv64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:riscv64 (1.8.1-4) ...
- Setting up pkg-config:riscv64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u1) ...
# To update the current shell environment, run: eval $(opam env)
2026-01-19 15:35.11 ---> saved as "2706a002103a9f886115320246d3fc465b6ed24fa799e51737201f7ca1aeb974"
/src: (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 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml is already installed (current version is 5.4.0).
[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-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains 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 98 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.17.3
- 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-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.21.0
- install dune-configurator 3.21.0
- 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.17.0
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 4.0.3
- install ocaml_intrinsics_kernel v0.17.1
- 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.17.1
- install ppxlib 0.37.0
- install ppxlib_jane v0.17.4
- 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.17.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 alcotest.1.9.1 (cached)
-> retrieved angstrom.0.16.1 (cached)
-> retrieved asn1-combinators.0.3.2 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved backoff.0.1.1 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved base.v0.17.3 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved ca-certs.1.0.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-gmp-powm-sec.4 (cached)
-> retrieved cohttp.6.2.1, cohttp-lwt.6.2.1, cohttp-lwt-unix.6.2.1, http.6.2.1 (cached)
-> retrieved conduit.8.0.0, conduit-lwt.8.0.0, conduit-lwt-unix.8.0.0 (cached)
-> retrieved containers.3.17 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-gmp-powm-sec.4
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain-name.0.5.0 (cached)
-> retrieved domain_shims.0.1.0 (cached)
-> retrieved dscheck.0.5.0 (cached)
-> retrieved duration.0.2.1 (cached)
-> retrieved either.1.0.0 (cached)
-> retrieved eqaf.0.10 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved gmap.0.3.0 (cached)
-> retrieved ipaddr.5.6.1, ipaddr-sexp.5.6.1, macaddr.5.6.1 (cached)
-> retrieved digestif.1.3.0 (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 dune.3.21.0, dune-configurator.3.21.0 (cached)
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0 (cached)
-> retrieved mirage-crypto.2.0.2, mirage-crypto-ec.2.0.2, mirage-crypto-pk.2.0.2, mirage-crypto-rng.2.0.2 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved multicore-bench.0.1.7 (cached)
-> retrieved multicore-magic-dscheck.2.3.1 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> installed cmdliner.2.1.0
-> retrieved ocaml-version.4.0.3 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ohex.0.2.0 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_sexp_conv.v0.17.1 (cached)
-> retrieved ppxlib_jane.v0.17.4 (cached)
-> retrieved multicore-magic.dev (no changes)
-> retrieved psq.0.2.1 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved qcheck-core.0.91 (cached)
-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10 (cached)
-> retrieved ppxlib.0.37.0 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved result.1.5 (cached)
-> retrieved seq.base (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved sedlex.3.7 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved thread-local-storage.0.2 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved tsort.2.2.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved uri.4.4.0, uri-sexp.4.4.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved x509.1.0.6 (cached)
-> retrieved zarith.1.14 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed seq.base
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.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.21.0
-> installed base64.3.5.2
-> installed backoff.0.1.1
-> installed camlp-streams.5.0.1
-> installed asn1-combinators.0.3.2
-> installed domain-name.0.5.0
-> installed csexp.1.5.2
-> 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.21.0
-> installed http.6.2.1
-> installed macaddr.5.6.1
-> installed bigstringaf.0.10.0
-> installed ipaddr.5.6.1
-> installed digestif.1.3.0
-> installed menhirCST.20250912
-> installed magic-mime.1.3.1
-> installed menhirSdk.20250912
-> installed menhirLib.20250912
-> installed multicore-magic.dev
-> installed containers.3.17
-> installed mirage-crypto.2.0.2
-> installed ocaml-compiler-libs.v0.17.0
-> installed kdf.1.0.0
-> installed ocaml-version.4.0.3
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ocaml-syntax-shims.1.0.0
-> installed ohex.0.2.0
-> installed ocplib-endian.1.2
-> installed angstrom.0.16.1
-> installed oseq.0.5.1
-> installed ppx_derivers.1.2.1
-> installed psq.0.2.1
-> installed qcheck-core.0.91
-> installed re.1.14.0
-> installed qcheck-multicoretests-util.0.10
-> installed result.1.5
-> installed qcheck-stm.0.10
-> installed lwt.6.0.0
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed alcotest.1.9.1
-> installed menhir.20250912
-> installed thread-local-storage.0.2
-> installed thread-table.1.0.0
-> installed tsort.2.2.0
-> installed domain-local-await.1.0.1
-> installed dscheck.0.5.0
-> installed base.v0.17.3
-> installed multicore-magic-dscheck.2.3.1
-> installed uri.4.4.0
-> installed yojson.3.0.0
-> installed multicore-bench.0.1.7
-> installed ppxlib.0.37.0
-> installed ppxlib_jane.v0.17.4
-> installed sedlex.3.7
-> installed ppx_sexp_conv.v0.17.1
-> 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 bos.0.2.1
-> installed cohttp.6.2.1
-> installed conduit.8.0.0
-> installed mdx.2.5.1
-> installed cohttp-lwt.6.2.1
-> installed mirage-crypto-rng.2.0.2
-> installed conduit-lwt.8.0.0
-> installed mirage-crypto-pk.2.0.2
-> installed mirage-crypto-ec.2.0.2
-> installed x509.1.0.6
-> installed ca-certs.1.0.1
-> installed conduit-lwt-unix.8.0.0
-> installed cohttp-lwt-unix.6.2.1
-> installed js_of_ocaml.6.2.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-19 15:54.54 ---> saved as "3239bb7c4a5d3641b6ca67d19ddbc96dbf3e1e1e395764ecf6a70d409d81b797"
/src: (copy (src .) (dst /src))
2026-01-19 15:54.55 ---> saved as "dad7f16f61e19ebb2d718d92df87423a2ac021e99f104d12f0f43e2841eb4ca9"
/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test && ./test_mpscq.exe)
random seed: 3762943853347044945
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
[ ] 0 0 0 0 / 32 0.0s Mpscq parallel
[ ] 1 0 0 1 / 32 2.4s Mpscq parallel
[ ] 2 0 0 2 / 32 2.8s Mpscq parallel
[ ] 3 0 0 3 / 32 3.4s Mpscq parallel
[ ] 4 0 0 4 / 32 3.9s Mpscq parallel
[ ] 5 0 0 5 / 32 4.9s Mpscq parallel
[ ] 6 0 0 6 / 32 5.5s Mpscq parallel
[ ] 7 0 0 7 / 32 6.0s Mpscq parallel
[ ] 8 0 0 8 / 32 6.6s Mpscq parallel
[ ] 9 0 0 9 / 32 7.1s Mpscq parallel
[ ] 10 0 0 10 / 32 7.6s Mpscq parallel
[ ] 11 0 0 11 / 32 8.1s Mpscq parallel
[ ] 12 0 0 12 / 32 9.3s Mpscq parallel
[ ] 13 0 0 13 / 32 10.1s Mpscq parallel
[ ] 14 0 0 14 / 32 10.5s Mpscq parallel
[ ] 15 0 0 15 / 32 10.9s Mpscq parallel
[ ] 16 0 0 16 / 32 11.3s Mpscq parallel
[ ] 17 0 0 17 / 32 11.7s Mpscq parallel
[ ] 18 0 0 18 / 32 11.9s Mpscq parallel
[ ] 19 0 0 19 / 32 12.1s Mpscq parallel
[ ] 20 0 0 20 / 32 13.4s Mpscq parallel
[ ] 21 0 0 21 / 32 14.4s Mpscq parallel
[ ] 22 0 0 22 / 32 14.7s Mpscq parallel
[ ] 23 0 0 23 / 32 14.9s Mpscq parallel
[ ] 24 0 0 24 / 32 15.4s Mpscq parallel
[ ] 25 0 0 25 / 32 15.9s Mpscq parallel
[ ] 26 0 0 26 / 32 17.0s Mpscq parallel
[ ] 27 0 0 27 / 32 17.3s Mpscq parallel
[ ] 28 0 0 28 / 32 17.6s Mpscq parallel
[ ] 29 0 0 29 / 32 17.7s Mpscq parallel
[ ] 30 0 0 30 / 32 18.2s Mpscq parallel
[ ] 31 0 0 31 / 32 18.7s Mpscq parallel
[ ] 32 0 0 32 / 32 19.2s Mpscq parallel
[✓] 32 0 0 32 / 32 19.2s Mpscq parallel
================================================================================
success (ran 2 tests)
random seed: 4232965538860400308
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
[ ] 0 0 0 0 / 64 0.0s Mpscq parallel
[ ] 1 0 0 1 / 64 0.4s Mpscq parallel
[ ] 2 0 0 2 / 64 0.7s Mpscq parallel
[ ] 3 0 0 3 / 64 1.1s Mpscq parallel
[ ] 4 0 0 4 / 64 1.6s Mpscq parallel
[ ] 5 0 0 5 / 64 2.0s Mpscq parallel
[ ] 6 0 0 6 / 64 2.7s Mpscq parallel
[ ] 7 0 0 7 / 64 3.3s Mpscq parallel
[ ] 8 0 0 8 / 64 3.6s Mpscq parallel
[ ] 9 0 0 9 / 64 3.7s Mpscq parallel
[ ] 10 0 0 10 / 64 3.9s Mpscq parallel
[ ] 11 0 0 11 / 64 4.1s Mpscq parallel
[ ] 12 0 0 12 / 64 5.9s Mpscq parallel
[ ] 13 0 0 13 / 64 6.4s Mpscq parallel
[ ] 14 0 0 14 / 64 7.1s Mpscq parallel
[ ] 15 0 0 15 / 64 7.4s Mpscq parallel
[ ] 16 0 0 16 / 64 8.1s Mpscq parallel
[ ] 17 0 0 17 / 64 8.6s Mpscq parallel
[ ] 18 0 0 18 / 64 9.5s Mpscq parallel
[ ] 19 0 0 19 / 64 9.8s Mpscq parallel
[ ] 20 0 0 20 / 64 10.3s Mpscq parallel
[ ] 21 0 0 21 / 64 10.7s Mpscq parallel
[ ] 22 0 0 22 / 64 11.1s Mpscq parallel
[ ] 23 0 0 23 / 64 11.6s Mpscq parallel
[ ] 24 0 0 24 / 64 11.9s Mpscq parallel
[ ] 25 0 0 25 / 64 12.2s Mpscq parallel
[ ] 26 0 0 26 / 64 12.6s Mpscq parallel
[ ] 27 0 0 27 / 64 12.9s Mpscq parallel
[ ] 28 0 0 28 / 64 13.3s Mpscq parallel
[ ] 29 0 0 29 / 64 13.5s Mpscq parallel
[ ] 30 0 0 30 / 64 13.9s Mpscq parallel
[ ] 31 0 0 31 / 64 14.4s Mpscq parallel
[ ] 32 0 0 32 / 64 14.6s Mpscq parallel
[ ] 33 0 0 33 / 64 15.0s Mpscq parallel
[ ] 34 0 0 34 / 64 15.5s Mpscq parallel
[ ] 35 0 0 35 / 64 15.7s Mpscq parallel
[ ] 36 0 0 36 / 64 16.3s Mpscq parallel
[ ] 37 0 0 37 / 64 16.7s Mpscq parallel
[ ] 38 0 0 38 / 64 17.3s Mpscq parallel
[ ] 39 0 0 39 / 64 17.6s Mpscq parallel
[ ] 40 0 0 40 / 64 17.9s Mpscq parallel
[ ] 41 0 0 41 / 64 18.4s Mpscq parallel
[ ] 42 0 0 42 / 64 18.9s Mpscq parallel
[ ] 43 0 0 43 / 64 19.4s Mpscq parallel
[ ] 44 0 0 44 / 64 19.8s Mpscq parallel
[ ] 45 0 0 45 / 64 20.0s Mpscq parallel
[ ] 46 0 0 46 / 64 20.6s Mpscq parallel
[ ] 47 0 0 47 / 64 20.9s Mpscq parallel
[ ] 48 0 0 48 / 64 21.0s Mpscq parallel
[ ] 49 0 0 49 / 64 21.5s Mpscq parallel
[ ] 50 0 0 50 / 64 21.8s Mpscq parallel
[ ] 51 0 0 51 / 64 22.3s Mpscq parallel
[ ] 52 0 0 52 / 64 22.8s Mpscq parallel
[ ] 53 0 0 53 / 64 23.2s Mpscq parallel
[ ] 54 0 0 54 / 64 25.0s Mpscq parallel
[ ] 55 0 0 55 / 64 25.2s Mpscq parallel
[ ] 56 0 0 56 / 64 25.4s Mpscq parallel
[ ] 57 0 0 57 / 64 25.7s Mpscq parallel
[ ] 58 0 0 58 / 64 26.3s Mpscq parallel
[ ] 59 0 0 59 / 64 26.5s Mpscq parallel
[ ] 60 0 0 60 / 64 27.0s Mpscq parallel
[ ] 61 0 0 61 / 64 27.5s Mpscq parallel
[ ] 62 0 0 62 / 64 27.9s Mpscq parallel
[ ] 63 0 0 63 / 64 28.3s Mpscq parallel
[ ] 64 0 0 64 / 64 28.9s Mpscq parallel
[✓] 64 0 0 64 / 64 28.9s Mpscq parallel
================================================================================
success (ran 2 tests)
random seed: 2674404953799560162
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
[ ] 0 0 0 0 / 32 0.0s Mpscq parallel
[ ] 1 0 0 1 / 32 0.4s Mpscq parallel
[ ] 2 0 0 2 / 32 0.6s Mpscq parallel
[ ] 3 0 0 3 / 32 0.8s Mpscq parallel
[ ] 4 0 0 4 / 32 3.3s Mpscq parallel
[ ] 5 0 0 5 / 32 3.6s Mpscq parallel
[ ] 6 0 0 6 / 32 4.1s Mpscq parallel
[ ] 7 0 0 7 / 32 4.6s Mpscq parallel
[ ] 8 0 0 8 / 32 5.2s Mpscq parallel
[ ] 9 0 0 9 / 32 5.5s Mpscq parallel
[ ] 10 0 0 10 / 32 6.1s Mpscq parallel
[ ] 11 0 0 11 / 32 6.5s Mpscq parallel
[ ] 12 0 0 12 / 32 6.9s Mpscq parallel
[ ] 13 0 0 13 / 32 7.3s Mpscq parallel
[ ] 14 0 0 14 / 32 7.7s Mpscq parallel
[ ] 15 0 0 15 / 32 8.2s Mpscq parallel
[ ] 16 0 0 16 / 32 8.5s Mpscq parallel
[ ] 17 0 0 17 / 32 8.6s Mpscq parallel
[ ] 18 0 0 18 / 32 8.9s Mpscq parallel
[ ] 19 0 0 19 / 32 9.0s Mpscq parallel
[ ] 20 0 0 20 / 32 9.6s Mpscq parallel
[ ] 21 0 0 21 / 32 10.3s Mpscq parallel
[ ] 22 0 0 22 / 32 10.9s Mpscq parallel
[ ] 23 0 0 23 / 32 11.9s Mpscq parallel
[ ] 24 0 0 24 / 32 12.2s Mpscq parallel
[ ] 25 0 0 25 / 32 12.6s Mpscq parallel
[ ] 26 0 0 26 / 32 13.1s Mpscq parallel
[ ] 27 0 0 27 / 32 13.4s Mpscq parallel
[ ] 28 0 0 28 / 32 13.6s Mpscq parallel
[ ] 29 0 0 29 / 32 14.1s Mpscq parallel
[ ] 30 0 0 30 / 32 14.7s Mpscq parallel
[ ] 31 0 0 31 / 32 14.8s Mpscq parallel
[ ] 32 0 0 32 / 32 15.0s Mpscq parallel
[✓] 32 0 0 32 / 32 15.0s Mpscq parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_mpmcq.exe)
random seed: 1586916182895493999
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 parallel
[ ] 1 0 0 1 / 32 1.1s Mpmcq parallel
[ ] 2 0 0 2 / 32 1.4s Mpmcq parallel
[ ] 3 0 0 3 / 32 1.6s Mpmcq parallel
[ ] 4 0 0 4 / 32 1.8s Mpmcq parallel
[ ] 5 0 0 5 / 32 2.1s Mpmcq parallel
[ ] 6 0 0 6 / 32 2.3s Mpmcq parallel
[ ] 7 0 0 7 / 32 2.5s Mpmcq parallel
[ ] 8 0 0 8 / 32 2.8s Mpmcq parallel
[ ] 9 0 0 9 / 32 3.0s Mpmcq parallel
[ ] 10 0 0 10 / 32 3.4s Mpmcq parallel
[ ] 11 0 0 11 / 32 3.7s Mpmcq parallel
[ ] 12 0 0 12 / 32 3.9s Mpmcq parallel
[ ] 13 0 0 13 / 32 4.1s Mpmcq parallel
[ ] 14 0 0 14 / 32 4.3s Mpmcq parallel
[ ] 15 0 0 15 / 32 5.4s Mpmcq parallel
[ ] 16 0 0 16 / 32 6.0s Mpmcq parallel
[ ] 17 0 0 17 / 32 6.2s Mpmcq parallel
[ ] 18 0 0 18 / 32 6.4s Mpmcq parallel
[ ] 19 0 0 19 / 32 6.9s Mpmcq parallel
[ ] 20 0 0 20 / 32 7.5s Mpmcq parallel
[ ] 21 0 0 21 / 32 7.7s Mpmcq parallel
[ ] 22 0 0 22 / 32 7.9s Mpmcq parallel
[ ] 23 0 0 23 / 32 8.2s Mpmcq parallel
[ ] 24 0 0 24 / 32 8.6s Mpmcq parallel
[ ] 25 0 0 25 / 32 8.8s Mpmcq parallel
[ ] 26 0 0 26 / 32 9.0s Mpmcq parallel
[ ] 27 0 0 27 / 32 9.3s Mpmcq parallel
[ ] 28 0 0 28 / 32 9.9s Mpmcq parallel
[ ] 29 0 0 29 / 32 10.3s Mpmcq parallel
[ ] 30 0 0 30 / 32 10.6s Mpmcq parallel
[ ] 31 0 0 31 / 32 10.8s Mpmcq parallel
[ ] 32 0 0 32 / 32 11.1s Mpmcq parallel
[✓] 32 0 0 32 / 32 11.1s Mpmcq parallel
================================================================================
success (ran 2 tests)
random seed: 799707971014890930
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 parallel
[ ] 1 0 0 1 / 64 0.2s Mpmcq parallel
[ ] 2 0 0 2 / 64 0.4s Mpmcq parallel
[ ] 3 0 0 3 / 64 0.6s Mpmcq parallel
[ ] 4 0 0 4 / 64 0.8s Mpmcq parallel
[ ] 6 0 0 6 / 64 1.0s Mpmcq parallel
[ ] 7 0 0 7 / 64 1.5s Mpmcq parallel
[ ] 8 0 0 8 / 64 2.3s Mpmcq parallel
[ ] 9 0 0 9 / 64 2.5s Mpmcq parallel
[ ] 10 0 0 10 / 64 2.9s Mpmcq parallel
[ ] 11 0 0 11 / 64 3.1s Mpmcq parallel
[ ] 12 0 0 12 / 64 3.2s Mpmcq parallel
[ ] 13 0 0 13 / 64 3.8s Mpmcq parallel
[ ] 14 0 0 14 / 64 4.0s Mpmcq parallel
[ ] 15 0 0 15 / 64 4.3s Mpmcq parallel
[ ] 16 0 0 16 / 64 4.6s Mpmcq parallel
[ ] 17 0 0 17 / 64 4.9s Mpmcq parallel
[ ] 18 0 0 18 / 64 5.2s Mpmcq parallel
[ ] 19 0 0 19 / 64 5.4s Mpmcq parallel
[ ] 20 0 0 20 / 64 5.6s Mpmcq parallel
[ ] 22 0 0 22 / 64 5.9s Mpmcq parallel
[ ] 23 0 0 23 / 64 6.1s Mpmcq parallel
[ ] 24 0 0 24 / 64 6.3s Mpmcq parallel
[ ] 25 0 0 25 / 64 6.4s Mpmcq parallel
[ ] 26 0 0 26 / 64 6.6s Mpmcq parallel
[ ] 27 0 0 27 / 64 7.2s Mpmcq parallel
[ ] 28 0 0 28 / 64 7.7s Mpmcq parallel
[ ] 29 0 0 29 / 64 7.9s Mpmcq parallel
[ ] 30 0 0 30 / 64 8.1s Mpmcq parallel
[ ] 31 0 0 31 / 64 8.2s Mpmcq parallel
[ ] 32 0 0 32 / 64 8.4s Mpmcq parallel
[ ] 33 0 0 33 / 64 9.4s Mpmcq parallel
[ ] 34 0 0 34 / 64 9.8s Mpmcq parallel
[ ] 35 0 0 35 / 64 10.2s Mpmcq parallel
[ ] 36 0 0 36 / 64 10.5s Mpmcq parallel
[ ] 37 0 0 37 / 64 10.8s Mpmcq parallel
[ ] 38 0 0 38 / 64 11.1s Mpmcq parallel
[ ] 39 0 0 39 / 64 11.3s Mpmcq parallel
[ ] 40 0 0 40 / 64 11.4s Mpmcq parallel
[ ] 41 0 0 41 / 64 11.6s Mpmcq parallel
[ ] 42 0 0 42 / 64 11.8s Mpmcq parallel
[ ] 43 0 0 43 / 64 12.1s Mpmcq parallel
[ ] 44 0 0 44 / 64 12.3s Mpmcq parallel
[ ] 45 0 0 45 / 64 12.4s Mpmcq parallel
[ ] 46 0 0 46 / 64 12.7s Mpmcq parallel
[ ] 47 0 0 47 / 64 12.8s Mpmcq parallel
[ ] 48 0 0 48 / 64 13.1s Mpmcq parallel
[ ] 49 0 0 49 / 64 13.3s Mpmcq parallel
[ ] 50 0 0 50 / 64 13.5s Mpmcq parallel
[ ] 51 0 0 51 / 64 13.7s Mpmcq parallel
[ ] 52 0 0 52 / 64 13.9s Mpmcq parallel
[ ] 53 0 0 53 / 64 14.7s Mpmcq parallel
[ ] 54 0 0 54 / 64 15.0s Mpmcq parallel
[ ] 55 0 0 55 / 64 15.6s Mpmcq parallel
[ ] 56 0 0 56 / 64 15.8s Mpmcq parallel
[ ] 57 0 0 57 / 64 16.1s Mpmcq parallel
[ ] 58 0 0 58 / 64 17.2s Mpmcq parallel
[ ] 59 0 0 59 / 64 17.4s Mpmcq parallel
[ ] 60 0 0 60 / 64 17.6s Mpmcq parallel
[ ] 61 0 0 61 / 64 17.8s Mpmcq parallel
[ ] 62 0 0 62 / 64 18.3s Mpmcq parallel
[ ] 63 0 0 63 / 64 18.7s Mpmcq parallel
[ ] 64 0 0 64 / 64 19.0s Mpmcq parallel
[✓] 64 0 0 64 / 64 19.0s Mpmcq parallel
================================================================================
success (ran 2 tests)
random seed: 2615849091104205593
generated error fail pass / total time test name
[ ] 0 0 0 0 / 95 0.0s Mpmcq sequential
[✓] 95 0 0 95 / 95 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 95 0.0s Mpmcq parallel
[ ] 1 0 0 1 / 95 1.0s Mpmcq parallel
[ ] 2 0 0 2 / 95 1.2s Mpmcq parallel
[ ] 3 0 0 3 / 95 1.5s Mpmcq parallel
[ ] 4 0 0 4 / 95 1.7s Mpmcq parallel
[ ] 5 0 0 5 / 95 1.9s Mpmcq parallel
[ ] 6 0 0 6 / 95 2.0s Mpmcq parallel
[ ] 7 0 0 7 / 95 2.2s Mpmcq parallel
[ ] 8 0 0 8 / 95 2.4s Mpmcq parallel
[ ] 9 0 0 9 / 95 2.6s Mpmcq parallel
[ ] 10 0 0 10 / 95 2.9s Mpmcq parallel
[ ] 11 0 0 11 / 95 3.6s Mpmcq parallel
[ ] 12 0 0 12 / 95 3.8s Mpmcq parallel
[ ] 13 0 0 13 / 95 4.4s Mpmcq parallel
[ ] 14 0 0 14 / 95 4.9s Mpmcq parallel
[ ] 15 0 0 15 / 95 5.5s Mpmcq parallel
[ ] 16 0 0 16 / 95 5.8s Mpmcq parallel
[ ] 17 0 0 17 / 95 6.1s Mpmcq parallel
[ ] 18 0 0 18 / 95 6.3s Mpmcq parallel
[ ] 19 0 0 19 / 95 6.5s Mpmcq parallel
[ ] 20 0 0 20 / 95 6.7s Mpmcq parallel
[ ] 21 0 0 21 / 95 7.1s Mpmcq parallel
[ ] 22 0 0 22 / 95 7.3s Mpmcq parallel
[ ] 23 0 0 23 / 95 7.5s Mpmcq parallel
[ ] 24 0 0 24 / 95 7.7s Mpmcq parallel
[ ] 25 0 0 25 / 95 8.0s Mpmcq parallel
[ ] 26 0 0 26 / 95 8.2s Mpmcq parallel
[ ] 27 0 0 27 / 95 8.3s Mpmcq parallel
[ ] 28 0 0 28 / 95 8.6s Mpmcq parallel
[ ] 29 0 0 29 / 95 8.8s Mpmcq parallel
[ ] 30 0 0 30 / 95 9.7s Mpmcq parallel
[ ] 31 0 0 31 / 95 9.9s Mpmcq parallel
[ ] 32 0 0 32 / 95 10.1s Mpmcq parallel
[ ] 33 0 0 33 / 95 10.3s Mpmcq parallel
[ ] 34 0 0 34 / 95 10.5s Mpmcq parallel
[ ] 35 0 0 35 / 95 10.7s Mpmcq parallel
[ ] 36 0 0 36 / 95 10.9s Mpmcq parallel
[ ] 37 0 0 37 / 95 11.1s Mpmcq parallel
[ ] 38 0 0 38 / 95 12.3s Mpmcq parallel
[ ] 39 0 0 39 / 95 12.5s Mpmcq parallel
[ ] 40 0 0 40 / 95 12.7s Mpmcq parallel
[ ] 41 0 0 41 / 95 12.9s Mpmcq parallel
[ ] 42 0 0 42 / 95 13.2s Mpmcq parallel
[ ] 43 0 0 43 / 95 13.4s Mpmcq parallel
[ ] 44 0 0 44 / 95 13.6s Mpmcq parallel
[ ] 45 0 0 45 / 95 13.8s Mpmcq parallel
[ ] 46 0 0 46 / 95 14.0s Mpmcq parallel
[ ] 47 0 0 47 / 95 14.2s Mpmcq parallel
[ ] 48 0 0 48 / 95 14.3s Mpmcq parallel
[ ] 49 0 0 49 / 95 14.5s Mpmcq parallel
[ ] 51 0 0 51 / 95 14.8s Mpmcq parallel
[ ] 52 0 0 52 / 95 15.0s Mpmcq parallel
[ ] 53 0 0 53 / 95 15.2s Mpmcq parallel
[ ] 54 0 0 54 / 95 15.4s Mpmcq parallel
[ ] 55 0 0 55 / 95 15.6s Mpmcq parallel
[ ] 56 0 0 56 / 95 15.9s Mpmcq parallel
[ ] 57 0 0 57 / 95 16.1s Mpmcq parallel
[ ] 58 0 0 58 / 95 16.3s Mpmcq parallel
[ ] 59 0 0 59 / 95 16.7s Mpmcq parallel
[ ] 60 0 0 60 / 95 16.9s Mpmcq parallel
[ ] 61 0 0 61 / 95 17.1s Mpmcq parallel
[ ] 62 0 0 62 / 95 17.3s Mpmcq parallel
[ ] 63 0 0 63 / 95 17.5s Mpmcq parallel
[ ] 64 0 0 64 / 95 17.8s Mpmcq parallel
[ ] 65 0 0 65 / 95 18.0s Mpmcq parallel
[ ] 66 0 0 66 / 95 18.1s Mpmcq parallel
[ ] 67 0 0 67 / 95 18.3s Mpmcq parallel
[ ] 68 0 0 68 / 95 18.4s Mpmcq parallel
[ ] 69 0 0 69 / 95 18.6s Mpmcq parallel
[ ] 70 0 0 70 / 95 18.7s Mpmcq parallel
[ ] 71 0 0 71 / 95 18.9s Mpmcq parallel
[ ] 72 0 0 72 / 95 19.1s Mpmcq parallel
[ ] 73 0 0 73 / 95 19.4s Mpmcq parallel
[ ] 74 0 0 74 / 95 19.6s Mpmcq parallel
[ ] 75 0 0 75 / 95 20.8s Mpmcq parallel
[ ] 76 0 0 76 / 95 21.0s Mpmcq parallel
[ ] 77 0 0 77 / 95 21.2s Mpmcq parallel
[ ] 78 0 0 78 / 95 21.4s Mpmcq parallel
[ ] 79 0 0 79 / 95 21.5s Mpmcq parallel
[ ] 80 0 0 80 / 95 22.2s Mpmcq parallel
[ ] 81 0 0 81 / 95 22.3s Mpmcq parallel
[ ] 83 0 0 83 / 95 22.6s Mpmcq parallel
[ ] 84 0 0 84 / 95 22.9s Mpmcq parallel
[ ] 85 0 0 85 / 95 23.0s Mpmcq parallel
[ ] 86 0 0 86 / 95 23.7s Mpmcq parallel
[ ] 87 0 0 87 / 95 23.9s Mpmcq parallel
[ ] 88 0 0 88 / 95 24.1s Mpmcq parallel
[ ] 89 0 0 89 / 95 24.3s Mpmcq parallel
[ ] 90 0 0 90 / 95 25.4s Mpmcq parallel
[ ] 91 0 0 91 / 95 25.8s Mpmcq parallel
[ ] 92 0 0 92 / 95 25.9s Mpmcq parallel
[ ] 93 0 0 93 / 95 26.1s Mpmcq parallel
[ ] 94 0 0 94 / 95 26.3s Mpmcq parallel
[ ] 95 0 0 95 / 95 26.5s Mpmcq parallel
[✓] 95 0 0 95 / 95 26.5s Mpmcq parallel
================================================================================
success (ran 2 tests)
random seed: 1151538021530237823
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 parallel
[ ] 1 0 0 1 / 32 0.9s Mpmcq parallel
[ ] 2 0 0 2 / 32 1.2s Mpmcq parallel
[ ] 3 0 0 3 / 32 2.2s Mpmcq parallel
[ ] 4 0 0 4 / 32 2.4s Mpmcq parallel
[ ] 5 0 0 5 / 32 2.7s Mpmcq parallel
[ ] 6 0 0 6 / 32 2.9s Mpmcq parallel
[ ] 7 0 0 7 / 32 3.1s Mpmcq parallel
[ ] 8 0 0 8 / 32 3.3s Mpmcq parallel
[ ] 10 0 0 10 / 32 3.5s Mpmcq parallel
[ ] 11 0 0 11 / 32 3.6s Mpmcq parallel
[ ] 12 0 0 12 / 32 3.8s Mpmcq parallel
[ ] 13 0 0 13 / 32 4.0s Mpmcq parallel
[ ] 14 0 0 14 / 32 4.5s Mpmcq parallel
[ ] 15 0 0 15 / 32 4.9s Mpmcq parallel
[ ] 16 0 0 16 / 32 5.1s Mpmcq parallel
[ ] 17 0 0 17 / 32 5.3s Mpmcq parallel
[ ] 18 0 0 18 / 32 5.5s Mpmcq parallel
[ ] 19 0 0 19 / 32 5.7s Mpmcq parallel
[ ] 20 0 0 20 / 32 5.9s Mpmcq parallel
[ ] 21 0 0 21 / 32 6.2s Mpmcq parallel
[ ] 22 0 0 22 / 32 6.4s Mpmcq parallel
[ ] 23 0 0 23 / 32 6.7s Mpmcq parallel
[ ] 24 0 0 24 / 32 6.9s Mpmcq parallel
[ ] 25 0 0 25 / 32 7.7s Mpmcq parallel
[ ] 26 0 0 26 / 32 8.0s Mpmcq parallel
[ ] 27 0 0 27 / 32 8.3s Mpmcq parallel
[ ] 28 0 0 28 / 32 9.5s Mpmcq parallel
[ ] 29 0 0 29 / 32 9.9s Mpmcq parallel
[ ] 30 0 0 30 / 32 10.1s Mpmcq parallel
[ ] 31 0 0 31 / 32 10.3s Mpmcq parallel
[ ] 32 0 0 32 / 32 10.9s Mpmcq parallel
[✓] 32 0 0 32 / 32 10.9s Mpmcq parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_htbl.exe)
random seed: 1379641322618722108
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 parallel
[ ] 1 0 0 1 / 32 0.2s Htbl parallel
[ ] 2 0 0 2 / 32 0.6s Htbl parallel
[ ] 3 0 0 3 / 32 1.5s Htbl parallel
[ ] 4 0 0 4 / 32 1.8s Htbl parallel
[ ] 5 0 0 5 / 32 1.9s Htbl parallel
[ ] 6 0 0 6 / 32 2.1s Htbl parallel
[ ] 7 0 0 7 / 32 2.4s Htbl parallel
[ ] 8 0 0 8 / 32 2.6s Htbl parallel
[ ] 9 0 0 9 / 32 2.8s Htbl parallel
[ ] 10 0 0 10 / 32 3.1s Htbl parallel
[ ] 11 0 0 11 / 32 3.3s Htbl parallel
[ ] 12 0 0 12 / 32 3.8s Htbl parallel
[ ] 13 0 0 13 / 32 4.0s Htbl parallel
[ ] 14 0 0 14 / 32 4.2s Htbl parallel
[ ] 15 0 0 15 / 32 4.5s Htbl parallel
[ ] 16 0 0 16 / 32 4.7s Htbl parallel
[ ] 17 0 0 17 / 32 5.0s Htbl parallel
[ ] 18 0 0 18 / 32 5.4s Htbl parallel
[ ] 19 0 0 19 / 32 5.6s Htbl parallel
[ ] 20 0 0 20 / 32 5.8s Htbl parallel
[ ] 21 0 0 21 / 32 6.1s Htbl parallel
[ ] 22 0 0 22 / 32 6.3s Htbl parallel
[ ] 23 0 0 23 / 32 6.8s Htbl parallel
[ ] 24 0 0 24 / 32 6.9s Htbl parallel
[ ] 25 0 0 25 / 32 7.1s Htbl parallel
[ ] 26 0 0 26 / 32 7.3s Htbl parallel
[ ] 27 0 0 27 / 32 7.5s Htbl parallel
[ ] 28 0 0 28 / 32 7.7s Htbl parallel
[ ] 29 0 0 29 / 32 7.9s Htbl parallel
[ ] 30 0 0 30 / 32 8.1s Htbl parallel
[ ] 31 0 0 31 / 32 8.3s Htbl parallel
[ ] 32 0 0 32 / 32 8.8s Htbl parallel
[✓] 32 0 0 32 / 32 8.8s Htbl parallel
================================================================================
success (ran 2 tests)
random seed: 541826337839878363
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 parallel
[ ] 1 0 0 1 / 64 0.2s Htbl parallel
[ ] 2 0 0 2 / 64 0.4s Htbl parallel
[ ] 3 0 0 3 / 64 0.6s Htbl parallel
[ ] 4 0 0 4 / 64 0.9s Htbl parallel
[ ] 5 0 0 5 / 64 1.6s Htbl parallel
[ ] 6 0 0 6 / 64 1.8s Htbl parallel
[ ] 7 0 0 7 / 64 2.1s Htbl parallel
[ ] 8 0 0 8 / 64 2.5s Htbl parallel
[ ] 9 0 0 9 / 64 2.6s Htbl parallel
[ ] 10 0 0 10 / 64 2.8s Htbl parallel
[ ] 11 0 0 11 / 64 3.1s Htbl parallel
[ ] 12 0 0 12 / 64 3.2s Htbl parallel
[ ] 13 0 0 13 / 64 3.3s Htbl parallel
[ ] 14 0 0 14 / 64 3.5s Htbl parallel
[ ] 15 0 0 15 / 64 4.3s Htbl parallel
[ ] 16 0 0 16 / 64 4.6s Htbl parallel
[ ] 18 0 0 18 / 64 4.9s Htbl parallel
[ ] 19 0 0 19 / 64 5.0s Htbl parallel
[ ] 20 0 0 20 / 64 5.2s Htbl parallel
[ ] 21 0 0 21 / 64 5.4s Htbl parallel
[ ] 22 0 0 22 / 64 5.6s Htbl parallel
[ ] 23 0 0 23 / 64 5.9s Htbl parallel
[ ] 24 0 0 24 / 64 6.3s Htbl parallel
[ ] 25 0 0 25 / 64 6.8s Htbl parallel
[ ] 26 0 0 26 / 64 7.2s Htbl parallel
[ ] 27 0 0 27 / 64 8.0s Htbl parallel
[ ] 28 0 0 28 / 64 8.2s Htbl parallel
[ ] 29 0 0 29 / 64 8.4s Htbl parallel
[ ] 30 0 0 30 / 64 8.8s Htbl parallel
[ ] 31 0 0 31 / 64 9.1s Htbl parallel
[ ] 32 0 0 32 / 64 9.6s Htbl parallel
[ ] 33 0 0 33 / 64 10.0s Htbl parallel
[ ] 34 0 0 34 / 64 10.4s Htbl parallel
[ ] 35 0 0 35 / 64 10.7s Htbl parallel
[ ] 36 0 0 36 / 64 10.9s Htbl parallel
[ ] 37 0 0 37 / 64 11.2s Htbl parallel
[ ] 38 0 0 38 / 64 11.5s Htbl parallel
[ ] 39 0 0 39 / 64 11.7s Htbl parallel
[ ] 40 0 0 40 / 64 12.0s Htbl parallel
[ ] 41 0 0 41 / 64 12.2s Htbl parallel
[ ] 42 0 0 42 / 64 12.5s Htbl parallel
[ ] 43 0 0 43 / 64 12.6s Htbl parallel
[ ] 44 0 0 44 / 64 12.8s Htbl parallel
[ ] 45 0 0 45 / 64 13.1s Htbl parallel
[ ] 46 0 0 46 / 64 13.3s Htbl parallel
[ ] 47 0 0 47 / 64 13.6s Htbl parallel
[ ] 48 0 0 48 / 64 13.8s Htbl parallel
[ ] 49 0 0 49 / 64 14.0s Htbl parallel
[ ] 50 0 0 50 / 64 14.3s Htbl parallel
[ ] 51 0 0 51 / 64 14.5s Htbl parallel
[ ] 52 0 0 52 / 64 15.3s Htbl parallel
[ ] 53 0 0 53 / 64 15.5s Htbl parallel
[ ] 54 0 0 54 / 64 15.6s Htbl parallel
[ ] 55 0 0 55 / 64 15.8s Htbl parallel
[ ] 56 0 0 56 / 64 15.9s Htbl parallel
[ ] 57 0 0 57 / 64 16.3s Htbl parallel
[ ] 58 0 0 58 / 64 16.5s Htbl parallel
[ ] 59 0 0 59 / 64 16.7s Htbl parallel
[ ] 60 0 0 60 / 64 17.1s Htbl parallel
[ ] 61 0 0 61 / 64 17.2s Htbl parallel
[ ] 62 0 0 62 / 64 17.4s Htbl parallel
[ ] 63 0 0 63 / 64 17.6s Htbl parallel
[ ] 64 0 0 64 / 64 18.1s Htbl parallel
[✓] 64 0 0 64 / 64 18.1s Htbl parallel
================================================================================
success (ran 2 tests)
random seed: 3559728898868186846
generated error fail pass / total time test name
[ ] 0 0 0 0 / 117 0.0s Htbl sequential
[✓] 117 0 0 117 / 117 0.0s Htbl sequential
[ ] 0 0 0 0 / 117 0.0s Htbl parallel
[ ] 1 0 0 1 / 117 0.2s Htbl parallel
[ ] 2 0 0 2 / 117 0.4s Htbl parallel
[ ] 3 0 0 3 / 117 0.6s Htbl parallel
[ ] 4 0 0 4 / 117 0.9s Htbl parallel
[ ] 5 0 0 5 / 117 1.2s Htbl parallel
[ ] 6 0 0 6 / 117 1.4s Htbl parallel
[ ] 7 0 0 7 / 117 1.6s Htbl parallel
[ ] 8 0 0 8 / 117 2.1s Htbl parallel
[ ] 9 0 0 9 / 117 2.4s Htbl parallel
[ ] 10 0 0 10 / 117 2.6s Htbl parallel
[ ] 11 0 0 11 / 117 2.9s Htbl parallel
[ ] 12 0 0 12 / 117 3.6s Htbl parallel
[ ] 13 0 0 13 / 117 3.7s Htbl parallel
[ ] 14 0 0 14 / 117 3.9s Htbl parallel
[ ] 15 0 0 15 / 117 4.1s Htbl parallel
[ ] 16 0 0 16 / 117 4.4s Htbl parallel
[ ] 17 0 0 17 / 117 4.5s Htbl parallel
[ ] 18 0 0 18 / 117 4.6s Htbl parallel
[ ] 19 0 0 19 / 117 4.8s Htbl parallel
[ ] 20 0 0 20 / 117 5.0s Htbl parallel
[ ] 21 0 0 21 / 117 5.3s Htbl parallel
[ ] 22 0 0 22 / 117 5.9s Htbl parallel
[ ] 23 0 0 23 / 117 6.6s Htbl parallel
[ ] 24 0 0 24 / 117 6.8s Htbl parallel
[ ] 25 0 0 25 / 117 7.0s Htbl parallel
[ ] 26 0 0 26 / 117 7.2s Htbl parallel
[ ] 27 0 0 27 / 117 7.4s Htbl parallel
[ ] 28 0 0 28 / 117 7.8s Htbl parallel
[ ] 29 0 0 29 / 117 8.0s Htbl parallel
[ ] 30 0 0 30 / 117 8.2s Htbl parallel
[ ] 31 0 0 31 / 117 8.6s Htbl parallel
[ ] 32 0 0 32 / 117 8.8s Htbl parallel
[ ] 33 0 0 33 / 117 9.0s Htbl parallel
[ ] 34 0 0 34 / 117 9.2s Htbl parallel
[ ] 35 0 0 35 / 117 9.5s Htbl parallel
[ ] 36 0 0 36 / 117 9.7s Htbl parallel
[ ] 37 0 0 37 / 117 9.9s Htbl parallel
[ ] 38 0 0 38 / 117 10.2s Htbl parallel
[ ] 39 0 0 39 / 117 10.3s Htbl parallel
[ ] 40 0 0 40 / 117 10.6s Htbl parallel
[ ] 41 0 0 41 / 117 10.7s Htbl parallel
[ ] 42 0 0 42 / 117 10.9s Htbl parallel
[ ] 43 0 0 43 / 117 11.1s Htbl parallel
[ ] 44 0 0 44 / 117 11.3s Htbl parallel
[ ] 45 0 0 45 / 117 11.4s Htbl parallel
[ ] 46 0 0 46 / 117 11.7s Htbl parallel
[ ] 47 0 0 47 / 117 12.0s Htbl parallel
[ ] 48 0 0 48 / 117 12.1s Htbl parallel
[ ] 49 0 0 49 / 117 12.4s Htbl parallel
[ ] 50 0 0 50 / 117 12.7s Htbl parallel
[ ] 51 0 0 51 / 117 13.0s Htbl parallel
[ ] 52 0 0 52 / 117 13.2s Htbl parallel
[ ] 53 0 0 53 / 117 13.5s Htbl parallel
[ ] 54 0 0 54 / 117 13.8s Htbl parallel
[ ] 55 0 0 55 / 117 14.0s Htbl parallel
[ ] 56 0 0 56 / 117 14.3s Htbl parallel
[ ] 57 0 0 57 / 117 14.4s Htbl parallel
[ ] 58 0 0 58 / 117 14.6s Htbl parallel
[ ] 59 0 0 59 / 117 14.9s Htbl parallel
[ ] 60 0 0 60 / 117 15.0s Htbl parallel
[ ] 61 0 0 61 / 117 15.3s Htbl parallel
[ ] 62 0 0 62 / 117 15.5s Htbl parallel
[ ] 63 0 0 63 / 117 15.7s Htbl parallel
[ ] 64 0 0 64 / 117 15.9s Htbl parallel
[ ] 65 0 0 65 / 117 16.1s Htbl parallel
[ ] 66 0 0 66 / 117 16.3s Htbl parallel
[ ] 67 0 0 67 / 117 16.8s Htbl parallel
[ ] 68 0 0 68 / 117 17.1s Htbl parallel
[ ] 69 0 0 69 / 117 17.3s Htbl parallel
[ ] 70 0 0 70 / 117 17.5s Htbl parallel
[ ] 71 0 0 71 / 117 17.7s Htbl parallel
[ ] 72 0 0 72 / 117 18.0s Htbl parallel
[ ] 73 0 0 73 / 117 18.2s Htbl parallel
[ ] 74 0 0 74 / 117 18.4s Htbl parallel
[ ] 75 0 0 75 / 117 18.5s Htbl parallel
[ ] 76 0 0 76 / 117 18.7s Htbl parallel
[ ] 77 0 0 77 / 117 18.9s Htbl parallel
[ ] 78 0 0 78 / 117 19.0s Htbl parallel
[ ] 79 0 0 79 / 117 19.2s Htbl parallel
[ ] 80 0 0 80 / 117 19.5s Htbl parallel
[ ] 81 0 0 81 / 117 19.7s Htbl parallel
[ ] 82 0 0 82 / 117 19.9s Htbl parallel
[ ] 83 0 0 83 / 117 20.5s Htbl parallel
[ ] 84 0 0 84 / 117 20.7s Htbl parallel
[ ] 85 0 0 85 / 117 20.9s Htbl parallel
[ ] 86 0 0 86 / 117 21.2s Htbl parallel
[ ] 87 0 0 87 / 117 21.5s Htbl parallel
[ ] 88 0 0 88 / 117 21.9s Htbl parallel
[ ] 89 0 0 89 / 117 22.5s Htbl parallel
[ ] 90 0 0 90 / 117 22.7s Htbl parallel
[ ] 91 0 0 91 / 117 23.0s Htbl parallel
[ ] 92 0 0 92 / 117 23.2s Htbl parallel
[ ] 93 0 0 93 / 117 23.4s Htbl parallel
[ ] 94 0 0 94 / 117 23.6s Htbl parallel
[ ] 95 0 0 95 / 117 23.8s Htbl parallel
[ ] 96 0 0 96 / 117 24.0s Htbl parallel
[ ] 97 0 0 97 / 117 24.2s Htbl parallel
[ ] 98 0 0 98 / 117 24.4s Htbl parallel
[ ] 99 0 0 99 / 117 24.6s Htbl parallel
[ ] 100 0 0 100 / 117 24.8s Htbl parallel
[ ] 101 0 0 101 / 117 25.7s Htbl parallel
[ ] 102 0 0 102 / 117 25.9s Htbl parallel
[ ] 103 0 0 103 / 117 26.1s Htbl parallel
[ ] 104 0 0 104 / 117 26.3s Htbl parallel
[ ] 105 0 0 105 / 117 26.5s Htbl parallel
[ ] 106 0 0 106 / 117 26.7s Htbl parallel
[ ] 107 0 0 107 / 117 26.9s Htbl parallel
[ ] 108 0 0 108 / 117 27.1s Htbl parallel
[ ] 109 0 0 109 / 117 27.2s Htbl parallel
[ ] 110 0 0 110 / 117 27.5s Htbl parallel
[ ] 111 0 0 111 / 117 27.7s Htbl parallel
[ ] 112 0 0 112 / 117 27.9s Htbl parallel
[ ] 113 0 0 113 / 117 28.2s Htbl parallel
[ ] 114 0 0 114 / 117 28.5s Htbl parallel
[ ] 115 0 0 115 / 117 28.8s Htbl parallel
[ ] 116 0 0 116 / 117 29.0s Htbl parallel
[ ] 117 0 0 117 / 117 29.3s Htbl parallel
[✓] 117 0 0 117 / 117 29.3s Htbl parallel
================================================================================
success (ran 2 tests)
random seed: 2477988543440020913
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 parallel
[ ] 1 0 0 1 / 32 0.3s Htbl parallel
[ ] 2 0 0 2 / 32 0.5s Htbl parallel
[ ] 3 0 0 3 / 32 0.7s Htbl parallel
[ ] 4 0 0 4 / 32 1.0s Htbl parallel
[ ] 5 0 0 5 / 32 1.2s Htbl parallel
[ ] 6 0 0 6 / 32 1.5s Htbl parallel
[ ] 7 0 0 7 / 32 1.8s Htbl parallel
[ ] 8 0 0 8 / 32 2.0s Htbl parallel
[ ] 9 0 0 9 / 32 2.3s Htbl parallel
[ ] 10 0 0 10 / 32 2.9s Htbl parallel
[ ] 11 0 0 11 / 32 3.1s Htbl parallel
[ ] 12 0 0 12 / 32 3.3s Htbl parallel
[ ] 13 0 0 13 / 32 3.5s Htbl parallel
[ ] 14 0 0 14 / 32 3.7s Htbl parallel
[ ] 15 0 0 15 / 32 3.9s Htbl parallel
[ ] 16 0 0 16 / 32 4.1s Htbl parallel
[ ] 17 0 0 17 / 32 4.4s Htbl parallel
[ ] 18 0 0 18 / 32 4.6s Htbl parallel
[ ] 19 0 0 19 / 32 5.6s Htbl parallel
[ ] 20 0 0 20 / 32 5.8s Htbl parallel
[ ] 21 0 0 21 / 32 6.1s Htbl parallel
[ ] 22 0 0 22 / 32 6.3s Htbl parallel
[ ] 23 0 0 23 / 32 6.7s Htbl parallel
[ ] 24 0 0 24 / 32 7.1s Htbl parallel
[ ] 25 0 0 25 / 32 7.4s Htbl parallel
[ ] 26 0 0 26 / 32 7.6s Htbl parallel
[ ] 27 0 0 27 / 32 7.8s Htbl parallel
[ ] 28 0 0 28 / 32 8.1s Htbl parallel
[ ] 29 0 0 29 / 32 8.3s Htbl parallel
[ ] 30 0 0 30 / 32 8.7s Htbl parallel
[ ] 31 0 0 31 / 32 9.0s Htbl parallel
[ ] 32 0 0 32 / 32 9.3s Htbl parallel
[✓] 32 0 0 32 / 32 9.3s Htbl parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_picos_dscheck.exe)
Testing `Picos DSCheck'.
This run has ID `OUTLJPZK'.
[OK] Trigger 0 basic contract.
[OK] Computation 0 basic contract.
[OK] Computation 1 removes triggers.
Full test results in `/src/_build/default/test/_build/_tests/Picos DSCheck'.
Test Successful in 2.999s. 3 tests run.
(cd _build/default/test && ./test_mpmcq_dscheck.exe)
Testing `Picos_mpmcq DSCheck'.
This run has ID `CRMEDZG6'.
[OK] Multiple pushes and pops 0
Full test results in `/src/_build/default/test/_build/_tests/Picos_mpmcq DSCheck'.
Test Successful in 10.126s. 1 test run.
(cd _build/default/test && ./test_ihtbl.exe)
random seed: 1344905236284358266
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 parallel
[ ] 1 0 0 1 / 32 0.2s Ihtbl parallel
[ ] 2 0 0 2 / 32 0.4s Ihtbl parallel
[ ] 3 0 0 3 / 32 0.9s Ihtbl parallel
[ ] 4 0 0 4 / 32 1.1s Ihtbl parallel
[ ] 5 0 0 5 / 32 1.3s Ihtbl parallel
[ ] 6 0 0 6 / 32 1.5s Ihtbl parallel
[ ] 7 0 0 7 / 32 1.8s Ihtbl parallel
[ ] 8 0 0 8 / 32 2.3s Ihtbl parallel
[ ] 9 0 0 9 / 32 2.8s Ihtbl parallel
[ ] 10 0 0 10 / 32 3.7s Ihtbl parallel
[ ] 11 0 0 11 / 32 3.9s Ihtbl parallel
[ ] 12 0 0 12 / 32 5.3s Ihtbl parallel
[ ] 13 0 0 13 / 32 5.4s Ihtbl parallel
[ ] 14 0 0 14 / 32 6.8s Ihtbl parallel
[ ] 15 0 0 15 / 32 7.4s Ihtbl parallel
[ ] 16 0 0 16 / 32 7.7s Ihtbl parallel
[ ] 17 0 0 17 / 32 7.9s Ihtbl parallel
[ ] 18 0 0 18 / 32 8.1s Ihtbl parallel
[ ] 19 0 0 19 / 32 8.3s Ihtbl parallel
[ ] 20 0 0 20 / 32 8.5s Ihtbl parallel
[ ] 21 0 0 21 / 32 8.7s Ihtbl parallel
[ ] 22 0 0 22 / 32 9.0s Ihtbl parallel
[ ] 23 0 0 23 / 32 9.6s Ihtbl parallel
[ ] 24 0 0 24 / 32 9.9s Ihtbl parallel
[ ] 25 0 0 25 / 32 10.2s Ihtbl parallel
[ ] 26 0 0 26 / 32 10.6s Ihtbl parallel
[ ] 27 0 0 27 / 32 10.8s Ihtbl parallel
[ ] 28 0 0 28 / 32 11.0s Ihtbl parallel
[ ] 29 0 0 29 / 32 11.4s Ihtbl parallel
[ ] 30 0 0 30 / 32 11.7s Ihtbl parallel
[ ] 31 0 0 31 / 32 11.9s Ihtbl parallel
[ ] 32 0 0 32 / 32 12.2s Ihtbl parallel
[✓] 32 0 0 32 / 32 12.2s Ihtbl parallel
================================================================================
success (ran 2 tests)
random seed: 2608292190460468275
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 parallel
[ ] 1 0 0 1 / 64 0.2s Ihtbl parallel
[ ] 2 0 0 2 / 64 0.5s Ihtbl parallel
[ ] 3 0 0 3 / 64 0.9s Ihtbl parallel
[ ] 4 0 0 4 / 64 1.3s Ihtbl parallel
[ ] 5 0 0 5 / 64 1.5s Ihtbl parallel
[ ] 6 0 0 6 / 64 1.8s Ihtbl parallel
[ ] 7 0 0 7 / 64 2.3s Ihtbl parallel
[ ] 8 0 0 8 / 64 2.4s Ihtbl parallel
[ ] 9 0 0 9 / 64 2.7s Ihtbl parallel
[ ] 10 0 0 10 / 64 2.9s Ihtbl parallel
[ ] 11 0 0 11 / 64 3.1s Ihtbl parallel
[ ] 12 0 0 12 / 64 3.3s Ihtbl parallel
[ ] 13 0 0 13 / 64 3.5s Ihtbl parallel
[ ] 14 0 0 14 / 64 3.6s Ihtbl parallel
[ ] 15 0 0 15 / 64 4.4s Ihtbl parallel
[ ] 16 0 0 16 / 64 4.6s Ihtbl parallel
[ ] 17 0 0 17 / 64 4.9s Ihtbl parallel
[ ] 18 0 0 18 / 64 5.1s Ihtbl parallel
[ ] 19 0 0 19 / 64 5.2s Ihtbl parallel
[ ] 20 0 0 20 / 64 5.7s Ihtbl parallel
[ ] 21 0 0 21 / 64 5.8s Ihtbl parallel
[ ] 22 0 0 22 / 64 6.0s Ihtbl parallel
[ ] 23 0 0 23 / 64 6.2s Ihtbl parallel
[ ] 24 0 0 24 / 64 6.4s Ihtbl parallel
[ ] 25 0 0 25 / 64 6.6s Ihtbl parallel
[ ] 26 0 0 26 / 64 6.7s Ihtbl parallel
[ ] 27 0 0 27 / 64 6.9s Ihtbl parallel
[ ] 28 0 0 28 / 64 7.3s Ihtbl parallel
[ ] 29 0 0 29 / 64 7.5s Ihtbl parallel
[ ] 30 0 0 30 / 64 7.6s Ihtbl parallel
[ ] 32 0 0 32 / 64 7.9s Ihtbl parallel
[ ] 33 0 0 33 / 64 8.2s Ihtbl parallel
[ ] 35 0 0 35 / 64 8.4s Ihtbl parallel
[ ] 36 0 0 36 / 64 8.5s Ihtbl parallel
[ ] 37 0 0 37 / 64 9.2s Ihtbl parallel
[ ] 38 0 0 38 / 64 9.5s Ihtbl parallel
[ ] 39 0 0 39 / 64 9.6s Ihtbl parallel
[ ] 40 0 0 40 / 64 9.8s Ihtbl parallel
[ ] 41 0 0 41 / 64 9.9s Ihtbl parallel
[ ] 42 0 0 42 / 64 10.5s Ihtbl parallel
[ ] 43 0 0 43 / 64 10.7s Ihtbl parallel
[ ] 44 0 0 44 / 64 10.9s Ihtbl parallel
[ ] 45 0 0 45 / 64 11.1s Ihtbl parallel
[ ] 46 0 0 46 / 64 11.3s Ihtbl parallel
[ ] 47 0 0 47 / 64 11.5s Ihtbl parallel
[ ] 48 0 0 48 / 64 11.7s Ihtbl parallel
[ ] 49 0 0 49 / 64 12.0s Ihtbl parallel
[ ] 50 0 0 50 / 64 12.6s Ihtbl parallel
[ ] 51 0 0 51 / 64 12.9s Ihtbl parallel
[ ] 52 0 0 52 / 64 13.1s Ihtbl parallel
[ ] 53 0 0 53 / 64 13.3s Ihtbl parallel
[ ] 54 0 0 54 / 64 14.0s Ihtbl parallel
[ ] 55 0 0 55 / 64 14.3s Ihtbl parallel
[ ] 56 0 0 56 / 64 14.5s Ihtbl parallel
[ ] 57 0 0 57 / 64 14.9s Ihtbl parallel
[ ] 58 0 0 58 / 64 15.2s Ihtbl parallel
[ ] 59 0 0 59 / 64 15.7s Ihtbl parallel
[ ] 60 0 0 60 / 64 15.9s Ihtbl parallel
[ ] 61 0 0 61 / 64 16.1s Ihtbl parallel
[ ] 62 0 0 62 / 64 16.3s Ihtbl parallel
[ ] 63 0 0 63 / 64 16.4s Ihtbl parallel
[✓] 64 0 0 64 / 64 16.5s Ihtbl parallel
================================================================================
success (ran 2 tests)
random seed: 2883870243451833843
generated error fail pass / total time test name
[ ] 0 0 0 0 / 104 0.0s Ihtbl sequential
[✓] 104 0 0 104 / 104 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 104 0.0s Ihtbl parallel
[ ] 1 0 0 1 / 104 0.2s Ihtbl parallel
[ ] 2 0 0 2 / 104 0.7s Ihtbl parallel
[ ] 3 0 0 3 / 104 1.4s Ihtbl parallel
[ ] 4 0 0 4 / 104 1.7s Ihtbl parallel
[ ] 5 0 0 5 / 104 1.9s Ihtbl parallel
[ ] 6 0 0 6 / 104 2.1s Ihtbl parallel
[ ] 7 0 0 7 / 104 2.3s Ihtbl parallel
[ ] 8 0 0 8 / 104 2.6s Ihtbl parallel
[ ] 9 0 0 9 / 104 2.8s Ihtbl parallel
[ ] 10 0 0 10 / 104 3.1s Ihtbl parallel
[ ] 11 0 0 11 / 104 3.3s Ihtbl parallel
[ ] 12 0 0 12 / 104 3.5s Ihtbl parallel
[ ] 13 0 0 13 / 104 3.7s Ihtbl parallel
[ ] 14 0 0 14 / 104 3.9s Ihtbl parallel
[ ] 15 0 0 15 / 104 4.1s Ihtbl parallel
[ ] 16 0 0 16 / 104 4.2s Ihtbl parallel
[ ] 17 0 0 17 / 104 4.5s Ihtbl parallel
[ ] 18 0 0 18 / 104 4.7s Ihtbl parallel
[ ] 19 0 0 19 / 104 4.9s Ihtbl parallel
[ ] 20 0 0 20 / 104 5.1s Ihtbl parallel
[ ] 21 0 0 21 / 104 5.4s Ihtbl parallel
[ ] 22 0 0 22 / 104 5.6s Ihtbl parallel
[ ] 24 0 0 24 / 104 5.8s Ihtbl parallel
[ ] 25 0 0 25 / 104 6.1s Ihtbl parallel
[ ] 26 0 0 26 / 104 6.4s Ihtbl parallel
[ ] 27 0 0 27 / 104 6.6s Ihtbl parallel
[ ] 28 0 0 28 / 104 7.2s Ihtbl parallel
[ ] 29 0 0 29 / 104 7.5s Ihtbl parallel
[ ] 30 0 0 30 / 104 7.7s Ihtbl parallel
[ ] 31 0 0 31 / 104 7.8s Ihtbl parallel
[ ] 32 0 0 32 / 104 8.0s Ihtbl parallel
[ ] 33 0 0 33 / 104 8.1s Ihtbl parallel
[ ] 34 0 0 34 / 104 8.4s Ihtbl parallel
[ ] 35 0 0 35 / 104 8.7s Ihtbl parallel
[ ] 36 0 0 36 / 104 9.0s Ihtbl parallel
[ ] 37 0 0 37 / 104 9.5s Ihtbl parallel
[ ] 38 0 0 38 / 104 9.6s Ihtbl parallel
[ ] 39 0 0 39 / 104 9.9s Ihtbl parallel
[ ] 40 0 0 40 / 104 10.1s Ihtbl parallel
[ ] 41 0 0 41 / 104 10.3s Ihtbl parallel
[ ] 42 0 0 42 / 104 10.6s Ihtbl parallel
[ ] 43 0 0 43 / 104 10.8s Ihtbl parallel
[ ] 44 0 0 44 / 104 11.0s Ihtbl parallel
[ ] 45 0 0 45 / 104 11.1s Ihtbl parallel
[ ] 46 0 0 46 / 104 11.2s Ihtbl parallel
[ ] 47 0 0 47 / 104 11.4s Ihtbl parallel
[ ] 48 0 0 48 / 104 11.5s Ihtbl parallel
[ ] 49 0 0 49 / 104 11.6s Ihtbl parallel
[ ] 50 0 0 50 / 104 11.8s Ihtbl parallel
[ ] 51 0 0 51 / 104 12.0s Ihtbl parallel
[ ] 52 0 0 52 / 104 12.7s Ihtbl parallel
[ ] 53 0 0 53 / 104 12.9s Ihtbl parallel
[ ] 54 0 0 54 / 104 13.1s Ihtbl parallel
[ ] 55 0 0 55 / 104 13.2s Ihtbl parallel
[ ] 56 0 0 56 / 104 13.5s Ihtbl parallel
[ ] 57 0 0 57 / 104 13.7s Ihtbl parallel
[ ] 58 0 0 58 / 104 13.9s Ihtbl parallel
[ ] 59 0 0 59 / 104 14.1s Ihtbl parallel
[ ] 60 0 0 60 / 104 14.6s Ihtbl parallel
[ ] 61 0 0 61 / 104 14.8s Ihtbl parallel
[ ] 62 0 0 62 / 104 15.0s Ihtbl parallel
[ ] 63 0 0 63 / 104 15.3s Ihtbl parallel
[ ] 64 0 0 64 / 104 15.6s Ihtbl parallel
[ ] 65 0 0 65 / 104 15.8s Ihtbl parallel
[ ] 66 0 0 66 / 104 16.0s Ihtbl parallel
[ ] 67 0 0 67 / 104 16.2s Ihtbl parallel
[ ] 68 0 0 68 / 104 16.4s Ihtbl parallel
[ ] 69 0 0 69 / 104 17.6s Ihtbl parallel
[ ] 70 0 0 70 / 104 17.9s Ihtbl parallel
[ ] 71 0 0 71 / 104 18.1s Ihtbl parallel
[ ] 72 0 0 72 / 104 18.3s Ihtbl parallel
[ ] 73 0 0 73 / 104 18.6s Ihtbl parallel
[ ] 74 0 0 74 / 104 18.8s Ihtbl parallel
[ ] 75 0 0 75 / 104 19.1s Ihtbl parallel
[ ] 76 0 0 76 / 104 19.3s Ihtbl parallel
[ ] 77 0 0 77 / 104 19.4s Ihtbl parallel
[ ] 78 0 0 78 / 104 19.8s Ihtbl parallel
[ ] 79 0 0 79 / 104 20.0s Ihtbl parallel
[ ] 80 0 0 80 / 104 20.3s Ihtbl parallel
[ ] 81 0 0 81 / 104 20.5s Ihtbl parallel
[ ] 82 0 0 82 / 104 21.0s Ihtbl parallel
[ ] 83 0 0 83 / 104 21.2s Ihtbl parallel
[ ] 84 0 0 84 / 104 21.4s Ihtbl parallel
[ ] 85 0 0 85 / 104 21.6s Ihtbl parallel
[ ] 86 0 0 86 / 104 21.9s Ihtbl parallel
[ ] 87 0 0 87 / 104 22.1s Ihtbl parallel
[ ] 88 0 0 88 / 104 22.3s Ihtbl parallel
[ ] 89 0 0 89 / 104 22.4s Ihtbl parallel
[ ] 90 0 0 90 / 104 22.7s Ihtbl parallel
[ ] 91 0 0 91 / 104 22.9s Ihtbl parallel
[ ] 92 0 0 92 / 104 23.1s Ihtbl parallel
[ ] 93 0 0 93 / 104 23.4s Ihtbl parallel
[ ] 94 0 0 94 / 104 23.8s Ihtbl parallel
[ ] 95 0 0 95 / 104 24.1s Ihtbl parallel
[ ] 96 0 0 96 / 104 24.5s Ihtbl parallel
[ ] 97 0 0 97 / 104 24.7s Ihtbl parallel
[ ] 98 0 0 98 / 104 25.0s Ihtbl parallel
[ ] 99 0 0 99 / 104 25.3s Ihtbl parallel
[ ] 100 0 0 100 / 104 25.5s Ihtbl parallel
[ ] 101 0 0 101 / 104 25.8s Ihtbl parallel
[ ] 102 0 0 102 / 104 27.0s Ihtbl parallel
[ ] 103 0 0 103 / 104 27.2s Ihtbl parallel
[ ] 104 0 0 104 / 104 27.5s Ihtbl parallel
[✓] 104 0 0 104 / 104 27.5s Ihtbl parallel
================================================================================
success (ran 2 tests)
random seed: 2389646468716325431
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 parallel
[ ] 1 0 0 1 / 32 0.9s Ihtbl parallel
[ ] 2 0 0 2 / 32 1.3s Ihtbl parallel
[ ] 3 0 0 3 / 32 1.7s Ihtbl parallel
[ ] 4 0 0 4 / 32 2.0s Ihtbl parallel
[ ] 5 0 0 5 / 32 2.3s Ihtbl parallel
[ ] 6 0 0 6 / 32 2.6s Ihtbl parallel
[ ] 7 0 0 7 / 32 4.4s Ihtbl parallel
[ ] 8 0 0 8 / 32 4.7s Ihtbl parallel
[ ] 9 0 0 9 / 32 5.0s Ihtbl parallel
[ ] 10 0 0 10 / 32 5.3s Ihtbl parallel
[ ] 11 0 0 11 / 32 5.6s Ihtbl parallel
[ ] 12 0 0 12 / 32 5.9s Ihtbl parallel
[ ] 13 0 0 13 / 32 6.2s Ihtbl parallel
[ ] 14 0 0 14 / 32 6.4s Ihtbl parallel
[ ] 15 0 0 15 / 32 7.1s Ihtbl parallel
[ ] 16 0 0 16 / 32 7.6s Ihtbl parallel
[ ] 17 0 0 17 / 32 8.6s Ihtbl parallel
[ ] 18 0 0 18 / 32 8.8s Ihtbl parallel
[ ] 19 0 0 19 / 32 9.1s Ihtbl parallel
[ ] 20 0 0 20 / 32 9.3s Ihtbl parallel
[ ] 21 0 0 21 / 32 9.6s Ihtbl parallel
[ ] 22 0 0 22 / 32 10.4s Ihtbl parallel
[ ] 23 0 0 23 / 32 10.6s Ihtbl parallel
[ ] 24 0 0 24 / 32 10.8s Ihtbl parallel
[ ] 25 0 0 25 / 32 11.1s Ihtbl parallel
[ ] 26 0 0 26 / 32 11.3s Ihtbl parallel
[ ] 27 0 0 27 / 32 11.6s Ihtbl parallel
[ ] 28 0 0 28 / 32 12.1s Ihtbl parallel
[ ] 29 0 0 29 / 32 12.4s Ihtbl parallel
[ ] 30 0 0 30 / 32 12.7s Ihtbl parallel
[ ] 31 0 0 31 / 32 12.9s Ihtbl parallel
[ ] 32 0 0 32 / 32 13.4s Ihtbl parallel
[✓] 32 0 0 32 / 32 13.4s Ihtbl parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_finally.exe)
Testing `Picos_finally'.
This run has ID `XKUA2EJ7'.
[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.015s. 2 tests run.
(cd _build/default/test && ./test_io_with_lwt.exe)
Testing `Picos_io_with_lwt'.
This run has ID `B2OEGJ2H'.
[OK] Unix 0 system.
Full test results in `/src/_build/default/test/_build/_tests/Picos_io_with_lwt'.
Test Successful in 2.125s. 1 test run.
(cd _build/default/test && ./test_picos.exe)
Testing `Picos'.
This run has ID `GMN7DMQH'.
[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 49.549s. 7 tests run.
(cd _build/default/test && ./test_sem.exe)
random seed: 210692406272501415
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 parallel
[ ] 1 0 0 1 / 32 0.7s Sem parallel
[ ] 2 0 0 2 / 32 0.9s Sem parallel
[ ] 3 0 0 3 / 32 1.1s Sem parallel
[ ] 4 0 0 4 / 32 1.3s Sem parallel
[ ] 5 0 0 5 / 32 1.5s Sem parallel
[ ] 6 0 0 6 / 32 1.7s Sem parallel
[ ] 7 0 0 7 / 32 2.0s Sem parallel
[ ] 8 0 0 8 / 32 2.2s Sem parallel
[ ] 9 0 0 9 / 32 2.6s Sem parallel
[ ] 10 0 0 10 / 32 2.8s Sem parallel
[ ] 11 0 0 11 / 32 3.1s Sem parallel
[ ] 12 0 0 12 / 32 3.3s Sem parallel
[ ] 13 0 0 13 / 32 3.6s Sem parallel
[ ] 14 0 0 14 / 32 3.8s Sem parallel
[ ] 15 0 0 15 / 32 4.1s Sem parallel
[ ] 16 0 0 16 / 32 4.2s Sem parallel
[ ] 17 0 0 17 / 32 4.5s Sem parallel
[ ] 18 0 0 18 / 32 4.8s Sem parallel
[ ] 19 0 0 19 / 32 5.0s Sem parallel
[ ] 20 0 0 20 / 32 5.3s Sem parallel
[ ] 21 0 0 21 / 32 5.6s Sem parallel
[ ] 22 0 0 22 / 32 5.8s Sem parallel
[ ] 23 0 0 23 / 32 6.0s Sem parallel
[ ] 24 0 0 24 / 32 6.3s Sem parallel
[ ] 25 0 0 25 / 32 6.8s Sem parallel
[ ] 26 0 0 26 / 32 7.1s Sem parallel
[ ] 27 0 0 27 / 32 7.4s Sem parallel
[ ] 28 0 0 28 / 32 7.6s Sem parallel
[ ] 29 0 0 29 / 32 7.8s Sem parallel
[ ] 30 0 0 30 / 32 8.0s Sem parallel
[ ] 31 0 0 31 / 32 8.3s Sem parallel
[ ] 32 0 0 32 / 32 8.5s Sem parallel
[✓] 32 0 0 32 / 32 8.5s Sem parallel
================================================================================
success (ran 2 tests)
random seed: 2389946438255028756
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 parallel
[ ] 1 0 0 1 / 64 0.2s Sem parallel
[ ] 2 0 0 2 / 64 0.5s Sem parallel
[ ] 3 0 0 3 / 64 0.8s Sem parallel
[ ] 4 0 0 4 / 64 1.1s Sem parallel
[ ] 5 0 0 5 / 64 1.3s Sem parallel
[ ] 6 0 0 6 / 64 1.5s Sem parallel
[ ] 7 0 0 7 / 64 1.7s Sem parallel
[ ] 8 0 0 8 / 64 1.9s Sem parallel
[ ] 9 0 0 9 / 64 2.1s Sem parallel
[ ] 10 0 0 10 / 64 2.4s Sem parallel
[ ] 11 0 0 11 / 64 2.8s Sem parallel
[ ] 12 0 0 12 / 64 3.1s Sem parallel
[ ] 13 0 0 13 / 64 3.3s Sem parallel
[ ] 14 0 0 14 / 64 3.5s Sem parallel
[ ] 15 0 0 15 / 64 3.7s Sem parallel
[ ] 16 0 0 16 / 64 3.9s Sem parallel
[ ] 17 0 0 17 / 64 4.1s Sem parallel
[ ] 18 0 0 18 / 64 4.3s Sem parallel
[ ] 19 0 0 19 / 64 4.6s Sem parallel
[ ] 20 0 0 20 / 64 4.9s Sem parallel
[ ] 21 0 0 21 / 64 5.1s Sem parallel
[ ] 22 0 0 22 / 64 5.3s Sem parallel
[ ] 23 0 0 23 / 64 5.5s Sem parallel
[ ] 24 0 0 24 / 64 5.7s Sem parallel
[ ] 25 0 0 25 / 64 5.9s Sem parallel
[ ] 26 0 0 26 / 64 6.2s Sem parallel
[ ] 27 0 0 27 / 64 7.0s Sem parallel
[ ] 28 0 0 28 / 64 7.3s Sem parallel
[ ] 29 0 0 29 / 64 7.5s Sem parallel
[ ] 30 0 0 30 / 64 7.8s Sem parallel
[ ] 31 0 0 31 / 64 8.1s Sem parallel
[ ] 32 0 0 32 / 64 8.6s Sem parallel
[ ] 33 0 0 33 / 64 9.0s Sem parallel
[ ] 35 0 0 35 / 64 9.3s Sem parallel
[ ] 36 0 0 36 / 64 9.6s Sem parallel
[ ] 37 0 0 37 / 64 9.9s Sem parallel
[ ] 38 0 0 38 / 64 10.2s Sem parallel
[ ] 39 0 0 39 / 64 10.5s Sem parallel
[ ] 40 0 0 40 / 64 10.8s Sem parallel
[ ] 41 0 0 41 / 64 11.1s Sem parallel
[ ] 42 0 0 42 / 64 11.3s Sem parallel
[ ] 43 0 0 43 / 64 11.6s Sem parallel
[ ] 44 0 0 44 / 64 11.8s Sem parallel
[ ] 45 0 0 45 / 64 12.1s Sem parallel
[ ] 46 0 0 46 / 64 12.6s Sem parallel
[ ] 47 0 0 47 / 64 12.9s Sem parallel
[ ] 48 0 0 48 / 64 13.1s Sem parallel
[ ] 49 0 0 49 / 64 13.4s Sem parallel
[ ] 50 0 0 50 / 64 13.6s Sem parallel
[ ] 51 0 0 51 / 64 13.8s Sem parallel
[ ] 52 0 0 52 / 64 14.0s Sem parallel
[ ] 53 0 0 53 / 64 14.3s Sem parallel
[ ] 54 0 0 54 / 64 14.9s Sem parallel
[ ] 55 0 0 55 / 64 15.4s Sem parallel
[ ] 56 0 0 56 / 64 15.6s Sem parallel
[ ] 57 0 0 57 / 64 15.8s Sem parallel
[ ] 58 0 0 58 / 64 16.0s Sem parallel
[ ] 59 0 0 59 / 64 16.4s Sem parallel
[ ] 60 0 0 60 / 64 16.6s Sem parallel
[ ] 61 0 0 61 / 64 16.8s Sem parallel
[ ] 62 0 0 62 / 64 17.1s Sem parallel
[ ] 63 0 0 63 / 64 17.9s Sem parallel
[ ] 64 0 0 64 / 64 18.1s Sem parallel
[✓] 64 0 0 64 / 64 18.1s Sem parallel
================================================================================
success (ran 2 tests)
random seed: 984875315732718338
generated error fail pass / total time test name
[ ] 0 0 0 0 / 120 0.0s Sem sequential
[✓] 120 0 0 120 / 120 0.0s Sem sequential
[ ] 0 0 0 0 / 120 0.0s Sem parallel
[ ] 1 0 0 1 / 120 0.2s Sem parallel
[ ] 2 0 0 2 / 120 1.1s Sem parallel
[ ] 3 0 0 3 / 120 1.4s Sem parallel
[ ] 4 0 0 4 / 120 1.7s Sem parallel
[ ] 5 0 0 5 / 120 2.4s Sem parallel
[ ] 6 0 0 6 / 120 2.7s Sem parallel
[ ] 7 0 0 7 / 120 2.9s Sem parallel
[ ] 8 0 0 8 / 120 3.2s Sem parallel
[ ] 9 0 0 9 / 120 3.7s Sem parallel
[ ] 10 0 0 10 / 120 3.9s Sem parallel
[ ] 11 0 0 11 / 120 4.1s Sem parallel
[ ] 12 0 0 12 / 120 4.3s Sem parallel
[ ] 13 0 0 13 / 120 4.5s Sem parallel
[ ] 14 0 0 14 / 120 4.9s Sem parallel
[ ] 15 0 0 15 / 120 5.2s Sem parallel
[ ] 16 0 0 16 / 120 5.5s Sem parallel
[ ] 17 0 0 17 / 120 5.8s Sem parallel
[ ] 18 0 0 18 / 120 6.1s Sem parallel
[ ] 19 0 0 19 / 120 6.4s Sem parallel
[ ] 20 0 0 20 / 120 6.6s Sem parallel
[ ] 21 0 0 21 / 120 6.9s Sem parallel
[ ] 22 0 0 22 / 120 7.2s Sem parallel
[ ] 23 0 0 23 / 120 7.4s Sem parallel
[ ] 24 0 0 24 / 120 7.8s Sem parallel
[ ] 25 0 0 25 / 120 7.9s Sem parallel
[ ] 26 0 0 26 / 120 8.2s Sem parallel
[ ] 27 0 0 27 / 120 9.0s Sem parallel
[ ] 28 0 0 28 / 120 9.2s Sem parallel
[ ] 29 0 0 29 / 120 9.4s Sem parallel
[ ] 30 0 0 30 / 120 9.7s Sem parallel
[ ] 31 0 0 31 / 120 9.9s Sem parallel
[ ] 32 0 0 32 / 120 10.8s Sem parallel
[ ] 33 0 0 33 / 120 11.0s Sem parallel
[ ] 34 0 0 34 / 120 11.2s Sem parallel
[ ] 35 0 0 35 / 120 11.5s Sem parallel
[ ] 36 0 0 36 / 120 12.4s Sem parallel
[ ] 37 0 0 37 / 120 12.6s Sem parallel
[ ] 38 0 0 38 / 120 12.8s Sem parallel
[ ] 39 0 0 3/ 120 13.1s Sem parallel
[ ] 40 0 0 40 / 120 13.3s Sem parallel
[ ] 41 0 0 41 / 120 13.5s Sem parallel
[ ] 42 0 0 42 / 120 13.7s Sem parallel
[ ] 43 0 0 43 / 120 14.0s Sem parallel
[ ] 44 0 0 44 / 120 14.2s Sem parallel
[ ] 45 0 0 45 / 120 14.4s Sem parallel
[ ] 46 0 0 46 / 120 14.7s Sem parallel
[ ] 47 0 0 47 / 120 14.9s Sem parallel
[ ] 48 0 0 48 / 120 15.3s Sem parallel
[ ] 49 0 0 49 / 120 15.5s Sem parallel
[ ] 50 0 0 50 / 120 15.7s Sem parallel
[ ] 51 0 0 51 / 120 16.0s Sem parallel
[ ] 52 0 0 52 / 120 16.2s Sem parallel
[ ] 53 0 0 53 / 120 16.5s Sem parallel
[ ] 54 0 0 54 / 120 16.8s Sem parallel
[ ] 55 0 0 55 / 120 17.1s Sem parallel
[ ] 56 0 0 56 / 120 17.3s Sem parallel
[ ] 57 0 0 57 / 120 17.6s Sem parallel
[ ] 58 0 0 58 / 120 17.9s Sem parallel
[ ] 59 0 0 59 / 120 18.1s Sem parallel
[ ] 60 0 0 60 / 120 18.6s Sem parallel
[ ] 61 0 0 61 / 120 18.8s Sem parallel
[ ] 62 0 0 62 / 120 19.1s Sem parallel
[ ] 63 0 0 63 / 120 19.3s Sem parallel
[ ] 64 0 0 64 / 120 19.6s Sem parallel
[ ] 65 0 0 65 / 120 19.9s Sem parallel
[ ] 66 0 0 66 / 120 20.1s Sem parallel
[ ] 67 0 0 67 / 120 20.4s Sem parallel
[ ] 68 0 0 68 / 120 20.5s Sem parallel
[ ] 69 0 0 69 / 120 21.0s Sem parallel
[ ] 70 0 0 70 / 120 21.8s Sem parallel
[ ] 71 0 0 71 / 120 22.1s Sem parallel
[ ] 72 0 0 72 / 120 22.4s Sem parallel
[ ] 73 0 0 73 / 120 22.6s Sem parallel
[ ] 74 0 0 74 / 120 23.3s Sem parallel
[ ] 75 0 0 75 / 120 23.5s Sem parallel
[ ] 77 0 0 77 / 120 23.8s Sem parallel
[ ] 78 0 0 78 / 120 24.0s Sem parallel
[ ] 79 0 0 79 / 120 24.2s Sem parallel
[ ] 80 0 0 80 / 120 24.3s Sem parallel
[ ] 81 0 0 81 / 120 24.5s Sem parallel
[ ] 82 0 0 82 / 120 24.7s Sem parallel
[ ] 83 0 0 83 / 120 25.0s Sem parallel
[ ] 84 0 0 84 / 120 25.2s Sem parallel
[ ] 85 0 0 85 / 120 25.4s Sem parallel
[ ] 86 0 0 86 / 120 25.6s Sem parallel
[ ] 87 0 0 87 / 120 25.8s Sem parallel
[ ] 88 0 0 88 / 120 26.1s Sem parallel
[ ] 89 0 0 89 / 120 26.3s Sem parallel
[ ] 90 0 0 90 / 120 26.5s Sem parallel
[ ] 91 0 0 91 / 120 26.8s Sem parallel
[ ] 92 0 0 92 / 120 27.0s Sem parallel
[ ] 93 0 0 93 / 120 27.1s Sem parallel
[ ] 94 0 0 94 / 120 27.3s Sem parallel
[ ] 95 0 0 95 / 120 27.6s Sem parallel
[ ] 96 0 0 96 / 120 27.8s Sem parallel
[ ] 97 0 0 97 / 120 28.2s Sem parallel
[ ] 98 0 0 98 / 120 28.5s Sem parallel
[ ] 99 0 0 99 / 120 28.7s Sem parallel
[ ] 100 0 0 100 / 120 28.9s Sem parallel
[ ] 101 0 0 101 / 120 29.2s Sem parallel
[ ] 102 0 0 102 / 120 29.4s Sem parallel
[ ] 103 0 0 103 / 120 29.7s Sem parallel
[ ] 104 0 0 104 / 120 29.8s Sem parallel
[ ] 105 0 0 105 / 120 30.0s Sem parallel
[ ] 106 0 0 106 / 120 30.1s Sem parallel
[ ] 107 0 0 107 / 120 30.4s Sem parallel
[ ] 108 0 0 108 / 120 30.7s Sem parallel
[ ] 109 0 0 109 / 120 30.9s Sem parallel
[ ] 110 0 0 110 / 120 31.1s Sem parallel
[ ] 111 0 0 111 / 120 31.3s Sem parallel
[ ] 112 0 0 112 / 120 31.8s Sem parallel
[ ] 113 0 0 113 / 120 32.0s Sem parallel
[ ] 114 0 0 114 / 120 32.2s Sem parallel
[ ] 115 0 0 115 / 120 32.5s Sem parallel
[ ] 116 0 0 116 / 120 32.8s Sem parallel
[ ] 117 0 0 117 / 120 33.0s Sem parallel
[ ] 118 0 0 118 / 120 33.3s Sem parallel
[ ] 119 0 0 119 / 120 33.6s Sem parallel
[ ] 120 0 0 120 / 120 33.8s Sem parallel
[✓] 120 0 0 120 / 120 33.8s Sem parallel
================================================================================
success (ran 2 tests)
(cd _build/default/example && ./guards.exe)
Testing with scheduler: randos ~n_domains:4
Ran guarded case statement examples.
(cd _build/default/test && ./test_lock.exe)
random seed: 3326923803923858477
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 parallel
[ ] 1 0 0 1 / 32 0.3s Lock parallel
[ ] 2 0 0 2 / 32 0.5s Lock parallel
[ ] 3 0 0 3 / 32 0.7s Lock parallel
[ ] 4 0 0 4 / 32 0.8s Lock parallel
[ ] 5 0 0 5 / 32 1.0s Lock parallel
[ ] 6 0 0 6 / 32 1.2s Lock parallel
[ ] 7 0 0 7 / 32 1.4s Lock parallel
[ ] 8 0 0 8 / 32 1.5s Lock parallel
[ ] 9 0 0 9 / 32 1.7s Lock parallel
[ ] 10 0 0 10 / 32 2.1s Lock parallel
[ ] 11 0 0 11 / 32 2.5s Lock parallel
[ ] 12 0 0 12 / 32 2.7s Lock parallel
[ ] 13 0 0 13 / 32 3.0s Lock parallel
[ ] 14 0 0 14 / 32 3.3s Lock parallel
[ ] 15 0 0 15 / 32 3.6s Lock parallel
[ ] 16 0 0 16 / 32 4.0s Lock parallel
[ ] 17 0 0 17 / 32 4.4s Lock parallel
[ ] 18 0 0 18 / 32 4.6s Lock parallel
[ ] 19 0 0 19 / 32 5.4s Lock parallel
[ ] 20 0 0 20 / 32 5.7s Lock parallel
[ ] 21 0 0 21 / 32 5.9s Lock parallel
[ ] 22 0 0 22 / 32 6.2s Lock parallel
[ ] 23 0 0 23 / 32 6.4s Lock parallel
[ ] 24 0 0 24 / 32 6.7s Lock parallel
[ ] 25 0 0 25 / 32 6.9s Lock parallel
[ ] 26 0 0 26 / 32 7.1s Lock parallel
[ ] 27 0 0 27 / 32 7.9s Lock parallel
[ ] 28 0 0 28 / 32 8.2s Lock parallel
[ ] 29 0 0 29 / 32 8.4s Lock parallel
[ ] 30 0 0 30 / 32 8.8s Lock parallel
[ ] 31 0 0 31 / 32 9.1s Lock parallel
[ ] 32 0 0 32 / 32 9.9s Lock parallel
[✓] 32 0 0 32 / 32 9.9s Lock parallel
================================================================================
success (ran 2 tests)
random seed: 2271834153869608013
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 parallel
[ ] 1 0 0 1 / 64 0.2s Lock parallel
[ ] 2 0 0 2 / 64 0.4s Lock parallel
[ ] 3 0 0 3 / 64 0.6s Lock parallel
[ ] 4 0 0 4 / 64 0.8s Lock parallel
[ ] 5 0 0 5 / 64 1.0s Lock parallel
[ ] 6 0 0 6 / 64 1.3s Lock parallel
[ ] 7 0 0 7 / 64 1.5s Lock parallel
[ ] 8 0 0 8 / 64 2.3s Lock parallel
[ ] 9 0 0 9 / 64 2.8s Lock parallel
[ ] 10 0 0 10 / 64 3.1s Lock parallel
[ ] 11 0 0 11 / 64 3.2s Lock parallel
[ ] 12 0 0 12 / 64 3.5s Lock parallel
[ ] 13 0 0 13 / 64 3.6s Lock parallel
[ ] 14 0 0 14 / 64 3.9s Lock parallel
[ ] 15 0 0 15 / 64 4.4s Lock parallel
[ ] 16 0 0 16 / 64 4.6s Lock parallel
[ ] 17 0 0 17 / 64 5.2s Lock parallel
[ ] 18 0 0 18 / 64 5.4s Lock parallel
[ ] 19 0 0 19 / 64 5.7s Lock parallel
[ ] 20 0 0 20 / 64 5.9s Lock parallel
[ ] 21 0 0 21 / 64 6.1s Lock parallel
[ ] 22 0 0 22 / 64 6.5s Lock parallel
[ ] 23 0 0 23 / 64 6.7s Lock parallel
[ ] 24 0 0 24 / 64 6.9s Lock parallel
[ ] 25 0 0 25 / 64 7.1s Lock parallel
[ ] 26 0 0 26 / 64 7.4s Lock parallel
[ ] 27 0 0 27 / 64 7.6s Lock parallel
[ ] 28 0 0 28 / 64 7.9s Lock parallel
[ ] 29 0 0 29 / 64 8.2s Lock parallel
[ ] 30 0 0 30 / 64 8.4s Lock parallel
[ ] 31 0 0 31 / 64 8.7s Lock parallel
[ ] 32 0 0 32 / 64 9.0s Lock parallel
[ ] 33 0 0 33 / 64 9.3s Lock parallel
[ ] 35 0 0 35 / 64 9.6s Lock parallel
[ ] 36 0 0 36 / 64 9.7s Lock parallel
[ ] 37 0 0 37 / 64 10.0s Lock parallel
[ ] 38 0 0 38 / 64 10.2s Lock parallel
[ ] 39 0 0 39 / 64 10.5s Lock parallel
[ ] 40 0 0 40 / 64 10.7s Lock parallel
[ ] 41 0 0 41 / 64 11.1s Lock parallel
[ ] 42 0 0 42 / 64 11.4s Lock parallel
[ ] 43 0 0 43 / 64 11.6s Lock parallel
[ ] 44 0 0 44 / 64 11.8s Lock parallel
[ ] 45 0 0 45 / 64 12.0s Lock parallel
[ ] 46 0 0 46 / 64 12.2s Lock parallel
[ ] 47 0 0 47 / 64 12.5s Lock parallel
[ ] 48 0 0 48 / 64 12.7s Lock parallel
[ ] 49 0 0 49 / 64 13.0s Lock parallel
[ ] 50 0 0 50 / 64 13.3s Lock parallel
[ ] 51 0 0 51 / 64 13.6s Lock parallel
[ ] 52 0 0 52 / 64 13.8s Lock parallel
[ ] 53 0 0 53 / 64 14.0s Lock parallel
[ ] 54 0 0 54 / 64 14.4s Lock parallel
[ ] 55 0 0 55 / 64 14.6s Lock parallel
[ ] 56 0 0 56 / 64 15.0s Lock parallel
[ ] 57 0 0 57 / 64 15.3s Lock parallel
[ ] 58 0 0 58 / 64 15.6s Lock parallel
[ ] 59 0 0 59 / 64 15.8s Lock parallel
[ ] 60 0 0 60 / 64 16.1s Lock parallel
[ ] 61 0 0 61 / 64 16.6s Lock parallel
[ ] 62 0 0 62 / 64 16.8s Lock parallel
[ ] 63 0 0 63 / 64 17.0s Lock parallel
[ ] 64 0 0 64 / 64 18.0s Lock parallel
[✓] 64 0 0 64 / 64 18.0s Lock parallel
================================================================================
success (ran 2 tests)
random seed: 200985000766969734
generated error fail pass / total time test name
[ ] 0 0 0 0 / 110 0.0s Lock sequential
[✓] 110 0 0 110 / 110 0.0s Lock sequential
[ ] 0 0 0 0 / 110 0.0s Lock parallel
[ ] 1 0 0 1 / 110 0.4s Lock parallel
[ ] 2 0 0 2 / 110 0.6s Lock parallel
[ ] 3 0 0 3 / 110 0.8s Lock parallel
[ ] 4 0 0 4 / 110 1.2s Lock parallel
[ ] 5 0 0 5 / 110 1.4s Lock parallel
[ ] 6 0 0 6 / 110 1.7s Lock parallel
[ ] 7 0 0 7 / 110 1.9s Lock parallel
[ ] 8 0 0 8 / 110 2.4s Lock parallel
[ ] 9 0 0 9 / 110 2.6s Lock parallel
[ ] 10 0 0 10 / 110 2.9s Lock parallel
[ ] 11 0 0 11 / 110 3.2s Lock parallel
[ ] 12 0 0 12 / 110 4.1s Lock parallel
[ ] 13 0 0 13 / 110 4.4s Lock parallel
[ ] 14 0 0 14 / 110 4.6s Lock parallel
[ ] 15 0 0 15 / 110 4.8s Lock parallel
[ ] 16 0 0 16 / 110 5.0s Lock parallel
[ ] 17 0 0 17 / 110 5.3s Lock parallel
[ ] 18 0 0 18 / 110 5.6s Lock parallel
[ ] 19 0 0 19 / 110 5.8s Lock parallel
[ ] 20 0 0 20 / 110 6.0s Lock parallel
[ ] 21 0 0 21 / 110 6.1s Lock parallel
[ ] 22 0 0 22 / 110 6.4s Lock parallel
[ ] 23 0 0 23 / 110 6.6s Lock parallel
[ ] 24 0 0 24 / 110 6.8s Lock parallel
[ ] 25 0 0 25 / 110 7.1s Lock parallel
[ ] 26 0 0 26 / 110 7.3s Lock parallel
[ ] 27 0 0 27 / 110 7.6s Lock parallel
[ ] 28 0 0 28 / 110 7.8s Lock parallel
[ ] 29 0 0 29 / 110 8.0s Lock parallel
[ ] 30 0 0 30 / 110 8.2s Lock parallel
[ ] 31 0 0 31 / 110 8.5s Lock parallel
[ ] 32 0 0 32 / 110 8.7s Lock parallel
[ ] 33 0 0 33 / 110 8.9s Lock parallel
[ ] 34 0 0 34 / 110 9.2s Lock parallel
[ ] 35 0 0 35 / 110 9.4s Lock parallel
[ ] 36 0 0 36 / 110 9.6s Lock parallel
[ ] 37 0 0 37 / 110 10.1s Lock parallel
[ ] 38 0 0 38 / 110 10.2s Lock parallel
[ ] 39 0 0 39 / 110 10.4s Lock parallel
[ ] 40 0 0 40 / 110 10.6s Lock parallel
[ ] 41 0 0 41 / 110 10.8s Lock parallel
[ ] 42 0 0 42 / 110 11.1s Lock parallel
[ ] 43 0 0 43 / 110 11.2s Lock parallel
[ ] 44 0 0 44 / 110 11.6s Lock parallel
[ ] 45 0 0 45 / 110 11.9s Lock parallel
[ ] 46 0 0 46 / 110 12.1s Lock parallel
[ ] 47 0 0 47 / 110 12.3s Lock parallel
[ ] 48 0 0 48 / 110 12.5s Lock parallel
[ ] 49 0 0 49 / 110 12.7s Lock parallel
[ ] 50 0 0 50 / 110 12.9s Lock parallel
[ ] 51 0 0 51 / 110 13.1s Lock parallel
[ ] 52 0 0 52 / 110 13.5s Lock parallel
[ ] 53 0 0 53 / 110 13.7s Lock parallel
[ ] 54 0 0 54 / 110 13.8s Lock parallel
[ ] 55 0 0 55 / 110 14.1s Lock parallel
[ ] 56 0 0 56 / 110 14.3s Lock parallel
[ ] 57 0 0 57 / 110 14.9s Lock parallel
[ ] 58 0 0 58 / 110 15.1s Lock parallel
[ ] 59 0 0 59 / 110 15.4s Lock parallel
[ ] 60 0 0 60 / 110 16.2s Lock parallel
[ ] 61 0 0 61 / 110 16.4s Lock parallel
[ ] 62 0 0 62 / 110 16.7s Lock parallel
[ ] 63 0 0 63 / 110 17.0s Lock parallel
[ ] 64 0 0 64 / 110 17.2s Lock parallel
[ ] 65 0 0 65 / 110 17.4s Lock parallel
[ ] 66 0 0 66 / 110 17.7s Lock parallel
[ ] 67 0 0 67 / 110 17.9s Lock parallel
[ ] 68 0 0 68 / 110 18.2s Lock parallel
[ ] 69 0 0 69 / 110 18.6s Lock parallel
[ ] 70 0 0 70 / 110 18.8s Lock parallel
[ ] 71 0 0 71 / 110 19.0s Lock parallel
[ ] 72 0 0 72 / 110 19.3s Lock parallel
[ ] 73 0 0 73 / 110 19.6s Lock parallel
[ ] 74 0 0 74 / 110 19.8s Lock parallel
[ ] 75 0 0 75 / 110 20.0s Lock parallel
[ ] 76 0 0 76 / 110 20.3s Lock parallel
[ ] 77 0 0 77 / 110 20.5s Lock parallel
[ ] 78 0 0 78 / 110 20.8s Lock parallel
[ ] 79 0 0 79 / 110 21.1s Lock parallel
[ ] 80 0 0 80 / 110 21.3s Lock parallel
[ ] 81 0 0 81 / 110 21.6s Lock parallel
[ ] 82 0 0 82 / 110 22.1s Lock parallel
[ ] 83 0 0 83 / 110 22.3s Lock parallel
[ ] 84 0 0 84 / 110 22.5s Lock parallel
[ ] 85 0 0 85 / 110 22.8s Lock parallel
[ ] 86 0 0 86 / 110 23.5s Lock parallel
[ ] 87 0 0 87 / 110 23.8s Lock parallel
[ ] 88 0 0 88 / 110 24.0s Lock parallel
[ ] 89 0 0 89 / 110 24.1s Lock parallel
[ ] 90 0 0 90 / 110 24.2s Lock parallel
[ ] 91 0 0 91 / 110 24.7s Lock parallel
[ ] 92 0 0 92 / 110 25.0s Lock parallel
[ ] 93 0 0 93 / 110 25.2s Lock parallel
[ ] 94 0 0 94 / 110 25.4s Lock parallel
[ ] 95 0 0 95 / 110 25.7s Lock parallel
[ ] 96 0 0 96 / 110 25.9s Lock parallel
[ ] 97 0 0 97 / 110 26.1s Lock parallel
[ ] 98 0 0 98 / 110 26.3s Lock parallel
[ ] 99 0 0 99 / 110 26.6s Lock parallel
[ ] 100 0 0 100 / 110 27.3s Lock parallel
[ ] 101 0 0 101 / 110 27.5s Lock parallel
[ ] 103 0 0 103 / 110 27.9s Lock parallel
[ ] 104 0 0 104 / 110 28.1s Lock parallel
[ ] 106 0 0 106 / 110 28.4s Lock parallel
[ ] 107 0 0 107 / 110 28.6s Lock parallel
[ ] 108 0 0 108 / 110 28.8s Lock parallel
[ ] 109 0 0 109 / 110 29.2s Lock parallel
[ ] 110 0 0 110 / 110 29.4s Lock parallel
[✓] 110 0 0 110 / 110 29.4s Lock parallel
================================================================================
success (ran 2 tests)
random seed: 2025982562859609376
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 parallel
[ ] 1 0 0 1 / 32 0.2s Lock parallel
[ ] 2 0 0 2 / 32 0.4s Lock parallel
[ ] 3 0 0 3 / 32 0.6s Lock parallel
[ ] 4 0 0 4 / 32 0.7s Lock parallel
[ ] 5 0 0 5 / 32 0.9s Lock parallel
[ ] 6 0 0 6 / 32 1.1s Lock parallel
[ ] 7 0 0 7 / 32 1.3s Lock parallel
[ ] 8 0 0 8 / 32 1.5s Lock parallel
[ ] 9 0 0 9 / 32 2.1s Lock parallel
[ ] 10 0 0 10 / 32 2.4s Lock parallel
[ ] 11 0 0 11 / 32 2.6s Lock parallel
[ ] 12 0 0 12 / 32 2.8s Lock parallel
[ ] 13 0 0 13 / 32 3.0s Lock parallel
[ ] 14 0 0 14 / 32 3.2s Lock parallel
[ ] 15 0 0 15 / 32 3.6s Lock parallel
[ ] 16 0 0 16 / 32 3.8s Lock parallel
[ ] 17 0 0 17 / 32 4.0s Lock parallel
[ ] 18 0 0 18 / 32 4.3s Lock parallel
[ ] 19 0 0 19 / 32 4.5s Lock parallel
[ ] 20 0 0 20 / 32 4.7s Lock parallel
[ ] 21 0 0 21 / 32 5.0s Lock parallel
[ ] 22 0 0 22 / 32 5.2s Lock parallel
[ ] 23 0 0 23 / 32 5.4s Lock parallel
[ ] 24 0 0 24 / 32 5.7s Lock parallel
[ ] 25 0 0 25 / 32 5.9s Lock parallel
[ ] 26 0 0 26 / 32 6.1s Lock parallel
[ ] 27 0 0 27 / 32 6.3s Lock parallel
[ ] 28 0 0 28 / 32 7.1s Lock parallel
[ ] 29 0 0 29 / 32 7.3s Lock parallel
[ ] 30 0 0 30 / 32 7.7s Lock parallel
[ ] 31 0 0 31 / 32 8.3s Lock parallel
[ ] 32 0 0 32 / 32 8.7s Lock parallel
[✓] 32 0 0 32 / 32 8.7s Lock parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_server_and_client.exe)
Using non-blocking sockets and fibers on OCaml 5:
Recursive server running
Server listening
Client B running
Server accepting
Server accepted client
Client A running
Client B connected
Server accepting
Client B wrote 100
Server accepted client
Server read 100
Client A connected
Server wrote 50
Client A wrote 100
Server accepting
Client B read 50
Server read 100
Server wrote 50
Client A read 50
Server and Client test: OK
(cd _build/default/test && ./test_lwt_unix.exe)
Testing `Picos_lwt'.
This run has ID `CBZ78KH3'.
[OK] Basics 0
Full test results in `/src/_build/default/test/_build/_tests/Picos_lwt'.
Test Successful in 0.051s. 1 test run.
(cd _build/default/test && ./test_mutex.exe)
random seed: 1286713201031061785
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 parallel
[ ] 1 0 0 1 / 32 0.2s Mutex parallel
[ ] 2 0 0 2 / 32 0.5s Mutex parallel
[ ] 3 0 0 3 / 32 1.4s Mutex parallel
[ ] 4 0 0 4 / 32 1.6s Mutex parallel
[ ] 5 0 0 5 / 32 1.8s Mutex parallel
[ ] 6 0 0 6 / 32 2.1s Mutex parallel
[ ] 8 0 0 8 / 32 2.5s Mutex parallel
[ ] 9 0 0 9 / 32 2.9s Mutex parallel
[ ] 10 0 0 10 / 32 3.2s Mutex parallel
[ ] 11 0 0 11 / 32 3.3s Mutex parallel
[ ] 12 0 0 12 / 32 3.6s Mutex parallel
[ ] 13 0 0 13 / 32 3.9s Mutex parallel
[ ] 14 0 0 14 / 32 4.1s Mutex parallel
[ ] 15 0 0 15 / 32 4.4s Mutex parallel
[ ] 16 0 0 16 / 32 4.6s Mutex parallel
[ ] 17 0 0 17 / 32 4.9s Mutex parallel
[ ] 18 0 0 18 / 32 5.2s Mutex parallel
[ ] 19 0 0 19 / 32 5.6s Mutex parallel
[ ] 20 0 0 20 / 32 5.8s Mutex parallel
[ ] 21 0 0 21 / 32 6.0s Mutex parallel
[ ] 22 0 0 22 / 32 6.2s Mutex parallel
[ ] 23 0 0 23 / 32 6.4s Mutex parallel
[ ] 24 0 0 24 / 32 6.6s Mutex parallel
[ ] 25 0 0 25 / 32 6.8s Mutex parallel
[ ] 26 0 0 26 / 32 7.6s Mutex parallel
[ ] 27 0 0 27 / 32 7.8s Mutex parallel
[ ] 28 0 0 28 / 32 8.0s Mutex parallel
[ ] 29 0 0 29 / 32 8.2s Mutex parallel
[ ] 30 0 0 30 / 32 8.6s Mutex parallel
[ ] 31 0 0 31 / 32 8.9s Mutex parallel
[ ] 32 0 0 32 / 32 9.2s Mutex parallel
[✓] 32 0 0 32 / 32 9.2s Mutex parallel
================================================================================
success (ran 2 tests)
random seed: 3701759652952795598
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 parallel
[ ] 1 0 0 1 / 64 0.3s Mutex parallel
[ ] 2 0 0 2 / 64 0.5s Mutex parallel
[ ] 3 0 0 3 / 64 1.2s Mutex parallel
[ ] 4 0 0 4 / 64 1.4s Mutex parallel
[ ] 5 0 0 5 / 64 1.6s Mutex parallel
[ ] 6 0 0 6 / 64 1.8s Mutex parallel
[ ] 7 0 0 7 / 64 2.1s Mutex parallel
[ ] 8 0 0 8 / 64 2.3s Mutex parallel
[ ] 9 0 0 9 / 64 2.5s Mutex parallel
[ ] 10 0 0 10 / 64 2.8s Mutex parallel
[ ] 11 0 0 11 / 64 3.0s Mutex parallel
[ ] 12 0 0 12 / 64 3.3s Mutex parallel
[ ] 13 0 0 13 / 64 3.5s Mutex parallel
[ ] 14 0 0 14 / 64 3.7s Mutex parallel
[ ] 15 0 0 15 / 64 4.0s Mutex parallel
[ ] 16 0 0 16 / 64 4.2s Mutex parallel
[ ] 17 0 0 17 / 64 4.4s Mutex parallel
[ ] 18 0 0 18 / 64 4.7s Mutex parallel
[ ] 19 0 0 19 / 64 4.9s Mutex parallel
[ ] 20 0 0 20 / 64 5.1s Mutex parallel
[ ] 21 0 0 21 / 64 5.3s Mutex parallel
[ ] 22 0 0 22 / 64 5.5s Mutex parallel
[ ] 23 0 0 23 / 64 6.3s Mutex parallel
[ ] 24 0 0 24 / 64 6.7s Mutex parallel
[ ] 25 0 0 25 / 64 6.9s Mutex parallel
[ ] 26 0 0 26 / 64 7.1s Mutex parallel
[ ] 27 0 0 27 / 64 7.3s Mutex parallel
[ ] 28 0 0 28 / 64 7.6s Mutex parallel
[ ] 29 0 0 29 / 64 7.9s Mutex parallel
[ ] 30 0 0 30 / 64 8.1s Mutex parallel
[ ] 31 0 0 31 / 64 8.3s Mutex parallel
[ ] 32 0 0 32 / 64 8.5s Mutex parallel
[ ] 33 0 0 33 / 64 8.7s Mutex parallel
[ ] 34 0 0 34 / 64 8.9s Mutex parallel
[ ] 35 0 0 35 / 64 9.1s Mutex parallel
[ ] 36 0 0 36 / 64 9.4s Mutex parallel
[ ] 37 0 0 37 / 64 9.6s Mutex parallel
[ ] 38 0 0 38 / 64 9.8s Mutex parallel
[ ] 39 0 0 39 / 64 10.1s Mutex parallel
[ ] 40 0 0 40 / 64 10.5s Mutex parallel
[ ] 41 0 0 41 / 64 10.8s Mutex parallel
[ ] 42 0 0 42 / 64 11.2s Mutex parallel
[ ] 43 0 0 43 / 64 11.3s Mutex parallel
[ ] 44 0 0 44 / 64 11.7s Mutex parallel
[ ] 45 0 0 45 / 64 12.5s Mutex parallel
[ ] 46 0 0 46 / 64 13.0s Mutex parallel
[ ] 47 0 0 47 / 64 13.2s Mutex parallel
[ ] 48 0 0 48 / 64 13.5s Mutex parallel
[ ] 49 0 0 49 / 64 13.7s Mutex parallel
[ ] 50 0 0 50 / 64 13.9s Mutex parallel
[ ] 51 0 0 51 / 64 14.1s Mutex parallel
[ ] 52 0 0 52 / 64 14.4s Mutex parallel
[ ] 53 0 0 53 / 64 14.9s Mutex parallel
[ ] 54 0 0 54 / 64 15.2s Mutex parallel
[ ] 55 0 0 55 / 64 15.4s Mutex parallel
[ ] 56 0 0 56 / 64 15.8s Mutex parallel
[ ] 57 0 0 57 / 64 16.1s Mutex parallel
[ ] 58 0 0 58 / 64 16.4s Mutex parallel
[ ] 59 0 0 59 / 64 16.6s Mutex parallel
[ ] 60 0 0 60 / 64 16.8s Mutex parallel
[ ] 61 0 0 61 / 64 17.0s Mutex parallel
[ ] 62 0 0 62 / 64 17.2s Mutex parallel
[ ] 63 0 0 63 / 64 17.5s Mutex parallel
[ ] 64 0 0 64 / 64 18.0s Mutex parallel
[✓] 64 0 0 64 / 64 18.0s Mutex parallel
================================================================================
success (ran 2 tests)
random seed: 3819791346998077418
generated error fail pass / total time test name
[ ] 0 0 0 0 / 116 0.0s Mutex sequential
[✓] 116 0 0 116 / 116 0.0s Mutex sequential
[ ] 0 0 0 0 / 116 0.0s Mutex parallel
[ ] 2 0 0 2 / 116 0.3s Mutex parallel
[ ] 3 0 0 3 / 116 0.4s Mutex parallel
[ ] 4 0 0 4 / 116 0.7s Mutex parallel
[ ] 5 0 0 5 / 116 0.9s Mutex parallel
[ ] 6 0 0 6 / 116 1.1s Mutex parallel
[ ] 7 0 0 7 / 116 1.4s Mutex parallel
[ ] 8 0 0 8 / 116 1.7s Mutex parallel
[ ] 9 0 0 9 / 116 2.1s Mutex parallel
[ ] 10 0 0 10 / 116 2.4s Mutex parallel
[ ] 11 0 0 11 / 116 2.6s Mutex parallel
[ ] 12 0 0 12 / 116 3.0s Mutex parallel
[ ] 13 0 0 13 / 116 3.3s Mutex parallel
[ ] 14 0 0 14 / 116 3.6s Mutex parallel
[ ] 15 0 0 15 / 116 3.9s Mutex parallel
[ ] 16 0 0 16 / 116 4.7s Mutex parallel
[ ] 17 0 0 17 / 116 5.0s Mutex parallel
[ ] 18 0 0 18 / 116 5.2s Mutex parallel
[ ] 19 0 0 19 / 116 5.5s Mutex parallel
[ ] 20 0 0 20 / 116 5.7s Mutex parallel
[ ] 21 0 0 21 / 116 5.9s Mutex parallel
[ ] 22 0 0 22 / 116 6.1s Mutex parallel
[ ] 23 0 0 23 / 116 6.4s Mutex parallel
[ ] 24 0 0 24 / 116 6.7s Mutex parallel
[ ] 25 0 0 25 / 116 6.9s Mutex parallel
[ ] 26 0 0 26 / 116 7.4s Mutex parallel
[ ] 27 0 0 27 / 116 7.7s Mutex parallel
[ ] 28 0 0 28 / 116 7.9s Mutex parallel
[ ] 29 0 0 29 / 116 8.0s Mutex parallel
[ ] 30 0 0 30 / 116 8.3s Mutex parallel
[ ] 31 0 0 31 / 116 8.5s Mutex parallel
[ ] 32 0 0 32 / 116 8.8s Mutex parallel
[ ] 33 0 0 33 / 116 9.3s Mutex parallel
[ ] 34 0 0 34 / 116 9.5s Mutex parallel
[ ] 35 0 0 35 / 116 9.7s Mutex parallel
[ ] 36 0 0 36 / 116 10.0s Mutex parallel
[ ] 37 0 0 37 / 116 10.3s Mutex parallel
[ ] 38 0 0 38 / 116 10.5s Mutex parallel
[ ] 39 0 0 39 / 116 10.8s Mutex parallel
[ ] 40 0 0 40 / 116 11.0s Mutex parallel
[ ] 41 0 0 41 / 116 11.3s Mutex parallel
[ ] 42 0 0 42 / 116 11.5s Mutex parallel
[ ] 43 0 0 43 / 116 11.8s Mutex parallel
[ ] 44 0 0 44 / 116 12.1s Mutex parallel
[ ] 45 0 0 45 / 116 12.3s Mutex parallel
[ ] 46 0 0 46 / 116 12.6s Mutex parallel
[ ] 47 0 0 47 / 116 12.8s Mutex parallel
[ ] 48 0 0 48 / 116 13.0s Mutex parallel
[ ] 49 0 0 49 / 116 13.5s Mutex parallel
[ ] 50 0 0 50 / 116 13.7s Mutex parallel
[ ] 51 0 0 51 / 116 14.0s Mutex parallel
[ ] 52 0 0 52 / 116 14.3s Mutex parallel
[ ] 53 0 0 53 / 116 14.5s Mutex parallel
[ ] 54 0 0 54 / 116 14.8s Mutex parallel
[ ] 55 0 0 55 / 116 15.0s Mutex parallel
[ ] 56 0 0 56 / 116 15.2s Mutex parallel
[ ] 57 0 0 57 / 116 15.6s Mutex parallel
[ ] 58 0 0 58 / 116 15.8s Mutex parallel
[ ] 59 0 0 59 / 116 16.2s Mutex parallel
[ ] 60 0 0 60 / 116 16.4s Mutex parallel
[ ] 61 0 0 61 / 116 16.7s Mutex parallel
[ ] 62 0 0 62 / 116 16.9s Mutex parallel
[ ] 63 0 0 63 / 116 17.2s Mutex parallel
[ ] 64 0 0 64 / 116 17.5s Mutex parallel
[ ] 65 0 0 65 / 116 17.7s Mutex parallel
[ ] 66 0 0 66 / 116 18.1s Mutex parallel
[ ] 67 0 0 67 / 116 18.3s Mutex parallel
[ ] 68 0 0 68 / 116 18.5s Mutex parallel
[ ] 69 0 0 69 / 116 18.8s Mutex parallel
[ ] 70 0 0 70 / 116 19.0s Mutex parallel
[ ] 71 0 0 71 / 116 19.2s Mutex parallel
[ ] 72 0 0 72 / 116 19.5s Mutex parallel
[ ] 73 0 0 73 / 116 19.8s Mutex parallel
[ ] 74 0 0 74 / 116 20.0s Mutex parallel
[ ] 75 0 0 75 / 116 20.1s Mutex parallel
[ ] 76 0 0 76 / 116 20.3s Mutex parallel
[ ] 77 0 0 77 / 116 20.6s Mutex parallel
[ ] 78 0 0 78 / 116 20.8s Mutex parallel
[ ] 79 0 0 79 / 116 21.1s Mutex parallel
[ ] 80 0 0 80 / 116 21.3s Mutex parallel
[ ] 81 0 0 81 / 116 21.6s Mutex parallel
[ ] 82 0 0 82 / 116 21.8s Mutex parallel
[ ] 83 0 0 83 / 116 22.4s Mutex parallel
[ ] 84 0 0 84 / 116 22.5s Mutex parallel
[ ] 86 0 0 86 / 116 22.7s Mutex parallel
[ ] 87 0 0 87 / 116 22.9s Mutex parallel
[ ] 88 0 0 88 / 116 23.1s Mutex parallel
[ ] 89 0 0 89 / 116 23.3s Mutex parallel
[ ] 90 0 0 90 / 116 23.6s Mutex parallel
[ ] 91 0 0 91 / 116 23.9s Mutex parallel
[ ] 92 0 0 92 / 116 24.2s Mutex parallel
[ ] 93 0 0 93 / 116 24.4s Mutex parallel
[ ] 94 0 0 94 / 116 24.7s Mutex parallel
[ ] 95 0 0 95 / 116 24.8s Mutex parallel
[ ] 96 0 0 96 / 116 25.0s Mutex parallel
[ ] 98 0 0 98 / 116 25.2s Mutex parallel
[ ] 99 0 0 99 / 116 25.3s Mutex parallel
[ ] 100 0 0 100 / 116 25.6s Mutex parallel
[ ] 101 0 0 101 / 116 25.8s Mutex parallel
[ ] 102 0 0 102 / 116 26.0s Mutex parallel
[ ] 103 0 0 103 / 116 26.1s Mutex parallel
[ ] 104 0 0 104 / 116 26.4s Mutex parallel
[ ] 105 0 0 105 / 116 26.6s Mutex parallel
[ ] 106 0 0 106 / 116 26.7s Mutex parallel
[ ] 107 0 0 107 / 116 27.0s Mutex parallel
[ ] 108 0 0 108 / 116 27.8s Mutex parallel
[ ] 109 0 0 109 / 116 28.0s Mutex parallel
[ ] 110 0 0 110 / 116 28.2s Mutex parallel
[ ] 111 0 0 111 / 116 28.3s Mutex parallel
[ ] 112 0 0 112 / 116 28.5s Mutex parallel
[ ] 113 0 0 113 / 116 28.7s Mutex parallel
[ ] 114 0 0 114 / 116 28.9s Mutex parallel
[ ] 115 0 0 115 / 116 29.1s Mutex parallel
[ ] 116 0 0 116 / 116 29.3s Mutex parallel
[✓] 116 0 0 116 / 116 29.3s Mutex parallel
================================================================================
success (ran 2 tests)
random seed: 617367613348250353
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 parallel
[ ] 1 0 0 1 / 32 0.5s Mutex parallel
[ ] 2 0 0 2 / 32 0.9s Mutex parallel
[ ] 3 0 0 3 / 32 1.1s Mutex parallel
[ ] 4 0 0 4 / 32 1.9s Mutex parallel
[ ] 5 0 0 5 / 32 2.1s Mutex parallel
[ ] 7 0 0 7 / 32 2.5s Mutex parallel
[ ] 8 0 0 8 / 32 2.9s Mutex parallel
[ ] 9 0 0 9 / 32 3.2s Mutex parallel
[ ] 10 0 0 10 / 32 3.4s Mutex parallel
[ ] 11 0 0 11 / 32 3.5s Mutex parallel
[ ] 12 0 0 12 / 32 3.8s Mutex parallel
[ ] 13 0 0 13 / 32 4.0s Mutex parallel
[ ] 14 0 0 14 / 32 4.2s Mutex parallel
[ ] 15 0 0 15 / 32 4.4s Mutex parallel
[ ] 16 0 0 16 / 32 4.6s Mutex parallel
[ ] 17 0 0 17 / 32 4.9s Mutex parallel
[ ] 18 0 0 18 / 32 5.1s Mutex parallel
[ ] 19 0 0 19 / 32 5.3s Mutex parallel
[ ] 21 0 0 21 / 32 5.7s Mutex parallel
[ ] 22 0 0 22 / 32 5.9s Mutex parallel
[ ] 23 0 0 23 / 32 6.2s Mutex parallel
[ ] 24 0 0 24 / 32 6.5s Mutex parallel
[ ] 25 0 0 25 / 32 7.2s Mutex parallel
[ ] 26 0 0 26 / 32 7.4s Mutex parallel
[ ] 30 0 0 30 / 32 7.6s Mutex parallel
[✓] 32 0 0 32 / 32 7.7s Mutex parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_io.exe)
Testing `Picos_io'.
This run has ID `QRKAYZ9I'.
[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.467s. 6 tests run.
(cd _build/default/test && ./test_structured.exe)
Testing `Picos_structured'.
This run has ID `00XHX5HB'.
[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.774s. 14 tests run.
(cd _build/default/test && ./test_select.exe)
Testing `Picos_select'.
This run has ID `1G50579M'.
[OK] Intr 0
Full test results in `/src/_build/default/test/_build/_tests/Picos_select'.
Test Successful in 5.419s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 0)
Testing `Picos_sync'.
This run has ID `7ST0Q9HC'.
[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.022s. 1 test run.
(cd _build/default/test && ./test_picos_lwt_unix_with_cohttp.exe)
Unix.Unix_error(Unix.ECONNREFUSED, "connect", "")
(cd _build/default/test && ./test_io_cohttp.exe)
Uri: //127.0.0.1:58363/hello-io-cohttp
Method: POST
host: 127.0.0.1:58363
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 `UPAGKI7K'.
[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.008s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Picos Computation')
Picos Computation:
attach detach pairs over time/1 worker:
0.79 M/s
attach detach pairs over time/2 workers:
0.88 M/s
attach detach pairs over time/4 workers:
0.75 M/s
attach detach pairs over time/trivial:
1.29 M/s
time per attach detach pair/1 worker:
1273.18 ns
time per attach detach pair/2 workers:
2282.94 ns
time per attach detach pair/4 workers:
5346.42 ns
time per attach detach pair/trivial:
777.45 ns
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 2)
Testing `Picos_sync'.
This run has ID `7S4PRCU0'.
[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 0.474s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Picos Current')
Picos Current:
ops over time/1 worker:
2.03 M/s
ops over time/2 workers:
6.75 M/s
ops over time/4 workers:
6.30 M/s
time per op/1 worker:
492.61 ns
time per op/2 workers:
296.16 ns
time per op/4 workers:
634.75 ns
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `IN4W81HT'.
[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.019s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Picos FLS (excluding Current)')
Picos FLS (excluding Current):
gets over time/1 worker:
38.71 M/s
gets over time/2 workers:
60.99 M/s
gets over time/4 workers:
79.81 M/s
sets over time/1 worker:
15.39 M/s
sets over time/2 workers:
31.06 M/s
sets over time/4 workers:
26.85 M/s
time per get/1 worker:
25.84 ns
time per get/2 workers:
32.79 ns
time per get/4 workers:
50.12 ns
time per set/1 worker:
64.98 ns
time per set/2 workers:
64.40 ns
time per set/4 workers:
148.95 ns
(cd _build/default/bench && ./main.exe -brief 'Picos TLS')
Picos TLS:
gets over time/1 worker:
11.13 M/s
gets over time/2 workers:
27.92 M/s
gets over time/4 workers:
29.28 M/s
sets over time/1 worker:
6.06 M/s
sets over time/2 workers:
8.98 M/s
sets over time/4 workers:
14.35 M/s
time per get/1 worker:
89.85 ns
time per get/2 workers:
71.64 ns
time per get/4 workers:
136.62 ns
time per set/1 worker:
164.91 ns
time per set/2 workers:
222.76 ns
time per set/4 workers:
278.84 ns
(cd _build/default/bench && ./main.exe -brief 'Picos DLS')
Picos DLS:
gets over time/1 worker:
13.69 M/s
gets over time/2 workers:
34.76 M/s
gets over time/4 workers:
40.62 M/s
sets over time/1 worker:
6.48 M/s
sets over time/2 workers:
13.75 M/s
sets over time/4 workers:
23.73 M/s
time per get/1 worker:
73.05 ns
time per get/2 workers:
57.54 ns
time per get/4 workers:
98.46 ns
time per set/1 worker:
154.30 ns
time per set/2 workers:
145.48 ns
time per set/4 workers:
168.59 ns
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `V7B2879Z'.
[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 21.282s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `78ZQ3ZMQ'.
[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.077s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `QCR6WKAG'.
[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.030s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `3VI7I1OU'.
[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.024s. 1 test run.
(cd _build/default/test && ./test_schedulers.exe)
Testing with scheduler: multififos ~quota:55 ~n_domains:1
Fairness of 100 fibers performing at least 10000 yields:
sd: 0.000050 -- ideally 0
mean: 1.000055 -- ideally 1
median: 1.000100 -- ideally 1
Testing `Picos schedulers'.
This run has ID `USCJL9S2'.
[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 61.070s. 8 tests run.
(cd _build/default/test && ./test_rwlock.exe)
random seed: 2409828635259380410
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 parallel
[ ] 1 0 0 1 / 32 0.2s Rwlock parallel
[ ] 3 0 0 3 / 32 0.4s Rwlock parallel
[ ] 4 0 0 4 / 32 0.8s Rwlock parallel
[ ] 5 0 0 5 / 32 1.0s Rwlock parallel
[ ] 6 0 0 6 / 32 1.2s Rwlock parallel
[ ] 7 0 0 7 / 32 1.4s Rwlock parallel
[ ] 8 0 0 8 / 32 1.5s Rwlock parallel
[ ] 10 0 0 10 / 32 1.7s Rwlock parallel
[ ] 11 0 0 11 / 32 1.9s Rwlock parallel
[ ] 12 0 0 12 / 32 2.1s Rwlock parallel
[ ] 13 0 0 13 / 32 2.3s Rwlock parallel
[ ] 14 0 0 14 / 32 2.5s Rwlock parallel
[ ] 15 0 0 15 / 32 2.7s Rwlock parallel
[ ] 16 0 0 16 / 32 2.8s Rwlock parallel
[ ] 17 0 0 17 / 32 3.0s Rwlock parallel
[ ] 18 0 0 18 / 32 3.1s Rwlock parallel
[ ] 19 0 0 19 / 32 3.3s Rwlock parallel
[ ] 20 0 0 20 / 32 3.7s Rwlock parallel
[ ] 21 0 0 21 / 32 3.9s Rwlock parallel
[ ] 22 0 0 22 / 32 4.4s Rwlock parallel
[ ] 23 0 0 23 / 32 4.9s Rwlock parallel
[ ] 24 0 0 24 / 32 5.1s Rwlock parallel
[ ] 25 0 0 25 / 32 5.5s Rwlock parallel
[ ] 26 0 0 26 / 32 5.7s Rwlock parallel
[ ] 27 0 0 27 / 32 5.9s Rwlock parallel
[ ] 28 0 0 28 / 32 6.1s Rwlock parallel
[ ] 29 0 0 29 / 32 6.7s Rwlock parallel
[ ] 30 0 0 30 / 32 6.9s Rwlock parallel
[ ] 31 0 0 31 / 32 7.7s Rwlock parallel
[ ] 32 0 0 32 / 32 8.0s Rwlock parallel
[✓] 32 0 0 32 / 32 8.0s Rwlock parallel
================================================================================
success (ran 2 tests)
random seed: 2991004736605984817
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 parallel
[ ] 1 0 0 1 / 64 0.2s Rwlock parallel
[ ] 2 0 0 2 / 64 0.4s Rwlock parallel
[ ] 3 0 0 3 / 64 0.6s Rwlock parallel
[ ] 4 0 0 4 / 64 0.9s Rwlock parallel
[ ] 5 0 0 5 / 64 1.2s Rwlock parallel
[ ] 6 0 0 6 / 64 1.5s Rwlock parallel
[ ] 7 0 0 7 / 64 1.7s Rwlock parallel
[ ] 8 0 0 8 / 64 2.1s Rwlock parallel
[ ] 9 0 0 9 / 64 2.6s Rwlock parallel
[ ] 10 0 0 10 / 64 3.1s Rwlock parallel
[ ] 11 0 0 11 / 64 3.3s Rwlock parallel
[ ] 14 0 0 14 / 64 3.9s Rwlock parallel
[ ] 15 0 0 15 / 64 4.2s Rwlock parallel
[ ] 16 0 0 16 / 64 5.0s Rwlock parallel
[ ] 17 0 0 17 / 64 5.4s Rwlock parallel
[ ] 18 0 0 18 / 64 5.8s Rwlock parallel
[ ] 19 0 0 19 / 64 6.2s Rwlock parallel
[ ] 20 0 0 20 / 64 6.6s Rwlock parallel
[ ] 21 0 0 21 / 64 7.1s Rwlock parallel
[ ] 22 0 0 22 / 64 7.6s Rwlock parallel
[ ] 23 0 0 23 / 64 8.1s Rwlock parallel
[ ] 24 0 0 24 / 64 8.4s Rwlock parallel
[ ] 25 0 0 25 / 64 8.7s Rwlock parallel
[ ] 26 0 0 26 / 64 9.0s Rwlock parallel
[ ] 27 0 0 27 / 64 9.2s Rwlock parallel
[ ] 28 0 0 28 / 64 9.5s Rwlock parallel
[ ] 29 0 0 29 / 64 9.8s Rwlock parallel
[ ] 30 0 0 30 / 64 10.1s Rwlock parallel
[ ] 31 0 0 31 / 64 10.3s Rwlock parallel
[ ] 32 0 0 32 / 64 10.7s Rwlock parallel
[ ] 33 0 0 33 / 64 11.4s Rwlock parallel
[ ] 34 0 0 34 / 64 12.0s Rwlock parallel
[ ] 35 0 0 35 / 64 12.8s Rwlock parallel
[ ] 36 0 0 36 / 64 13.2s Rwlock parallel
[ ] 37 0 0 37 / 64 13.5s Rwlock parallel
[ ] 38 0 0 38 / 64 13.9s Rwlock parallel
[ ] 39 0 0 39 / 64 14.1s Rwlock parallel
[ ] 40 0 0 40 / 64 14.4s Rwlock parallel
[ ] 41 0 0 41 / 64 14.7s Rwlock parallel
[ ] 42 0 0 42 / 64 15.0s Rwlock parallel
[ ] 43 0 0 43 / 64 15.3s Rwlock parallel
[ ] 44 0 0 44 / 64 15.6s Rwlock parallel
[ ] 45 0 0 45 / 64 16.1s Rwlock parallel
[ ] 46 0 0 46 / 64 16.5s Rwlock parallel
[ ] 47 0 0 47 / 64 16.8s Rwlock parallel
[ ] 48 0 0 48 / 64 17.6s Rwlock parallel
[ ] 49 0 0 49 / 64 17.9s Rwlock parallel
[ ] 50 0 0 50 / 64 18.2s Rwlock parallel
[ ] 51 0 0 51 / 64 18.5s Rwlock parallel
[ ] 52 0 0 52 / 64 19.0s Rwlock parallel
[ ] 53 0 0 53 / 64 19.7s Rwlock parallel
[ ] 54 0 0 54 / 64 20.4s Rwlock parallel
[ ] 55 0 0 55 / 64 21.0s Rwlock parallel
[ ] 56 0 0 56 / 64 21.6s Rwlock parallel
[ ] 57 0 0 57 / 64 22.3s Rwlock parallel
[ ] 58 0 0 58 / 64 22.8s Rwlock parallel
[ ] 59 0 0 59 / 64 23.3s Rwlock parallel
[ ] 60 0 0 60 / 64 23.8s Rwlock parallel
[ ] 61 0 0 61 / 64 24.1s Rwlock parallel
[ ] 62 0 0 62 / 64 24.8s Rwlock parallel
[ ] 63 0 0 63 / 64 25.5s Rwlock parallel
[ ] 64 0 0 64 / 64 25.9s Rwlock parallel
[✓] 64 0 0 64 / 64 25.9s Rwlock parallel
================================================================================
success (ran 2 tests)
random seed: 618352083733195250
generated error fail pass / total time test name
[ ] 0 0 0 0 / 74 0.0s Rwlock sequential
[✓] 74 0 0 74 / 74 0.0s Rwlock sequential
[ ] 0 0 0 0 / 74 0.0s Rwlock parallel
[ ] 1 0 0 1 / 74 0.4s Rwlock parallel
[ ] 2 0 0 2 / 74 0.6s Rwlock parallel
[ ] 3 0 0 3 / 74 0.9s Rwlock parallel
[ ] 4 0 0 4 / 74 1.8s Rwlock parallel
[ ] 5 0 0 5 / 74 2.3s Rwlock parallel
[ ] 6 0 0 6 / 74 2.6s Rwlock parallel
[ ] 7 0 0 7 / 74 3.2s Rwlock parallel
[ ] 8 0 0 8 / 74 3.5s Rwlock parallel
[ ] 9 0 0 9 / 74 4.1s Rwlock parallel
[ ] 10 0 0 10 / 74 5.1s Rwlock parallel
[ ] 11 0 0 11 / 74 5.5s Rwlock parallel
[ ] 12 0 0 12 / 74 6.2s Rwlock parallel
[ ] 13 0 0 13 / 74 7.5s Rwlock parallel
[ ] 14 0 0 14 / 74 8.2s Rwlock parallel
[ ] 15 0 0 15 / 74 8.7s Rwlock parallel
[ ] 16 0 0 16 / 74 9.3s Rwlock parallel
[ ] 17 0 0 17 / 74 10.4s Rwlock parallel
[ ] 18 0 0 18 / 74 10.5s Rwlock parallel
[ ] 19 0 0 19 / 74 11.8s Rwlock parallel
[ ] 20 0 0 20 / 74 11.9s Rwlock parallel
[ ] 21 0 0 21 / 74 12.1s Rwlock parallel
[ ] 23 0 0 23 / 74 12.7s Rwlock parallel
[ ] 24 0 0 24 / 74 13.1s Rwlock parallel
[ ] 25 0 0 25 / 74 14.5s Rwlock parallel
[ ] 26 0 0 26 / 74 15.4s Rwlock parallel
[ ] 27 0 0 27 / 74 16.2s Rwlock parallel
[ ] 28 0 0 28 / 74 16.9s Rwlock parallel
[ ] 29 0 0 29 / 74 17.6s Rwlock parallel
[ ] 30 0 0 30 / 74 19.1s Rwlock parallel
[ ] 31 0 0 31 / 74 19.7s Rwlock parallel
[ ] 32 0 0 32 / 74 20.3s Rwlock parallel
[ ] 33 0 0 33 / 74 20.8s Rwlock parallel
[ ] 34 0 0 34 / 74 21.8s Rwlock parallel
[ ] 35 0 0 35 / 74 22.4s Rwlock parallel
[ ] 36 0 0 36 / 74 23.1s Rwlock parallel
[ ] 37 0 0 37 / 74 23.9s Rwlock parallel
[ ] 38 0 0 38 / 74 24.6s Rwlock parallel
[ ] 39 0 0 39 / 74 25.4s Rwlock parallel
[ ] 40 0 0 40 / 74 26.1s Rwlock parallel
[ ] 41 0 0 41 / 74 26.8s Rwlock parallel
[ ] 42 0 0 42 / 74 27.9s Rwlock parallel
[ ] 43 0 0 43 / 74 28.5s Rwlock parallel
[ ] 44 0 0 44 / 74 29.1s Rwlock parallel
[ ] 45 0 0 45 / 74 30.7s Rwlock parallel
[ ] 46 0 0 46 / 74 31.2s Rwlock parallel
[ ] 47 0 0 47 / 74 31.7s Rwlock parallel
[ ] 48 0 0 48 / 74 33.2s Rwlock parallel
[ ] 49 0 0 49 / 74 33.5s Rwlock parallel
[ ] 50 0 0 50 / 74 34.1s Rwlock parallel
[ ] 51 0 0 51 / 74 34.5s Rwlock parallel
[ ] 52 0 0 52 / 74 34.8s Rwlock parallel
[ ] 53 0 0 53 / 74 35.4s Rwlock parallel
[ ] 54 0 0 54 / 74 36.1s Rwlock parallel
[ ] 55 0 0 55 / 74 36.8s Rwlock parallel
[ ] 56 0 0 56 / 74 37.9s Rwlock parallel
[ ] 57 0 0 57 / 74 38.5s Rwlock parallel
[ ] 58 0 0 58 / 74 39.0s Rwlock parallel
[ ] 59 0 0 59 / 74 39.7s Rwlock parallel
[ ] 60 0 0 60 / 74 40.2s Rwlock parallel
[ ] 61 0 0 61 / 74 40.8s Rwlock parallel
[ ] 62 0 0 62 / 74 41.5s Rwlock parallel
[ ] 63 0 0 63 / 74 42.1s Rwlock parallel
[ ] 64 0 0 64 / 74 42.9s Rwlock parallel
[ ] 65 0 0 65 / 74 43.4s Rwlock parallel
[ ] 66 0 0 66 / 74 43.6s Rwlock parallel
[ ] 67 0 0 67 / 74 44.2s Rwlock parallel
[ ] 68 0 0 68 / 74 44.5s Rwlock parallel
[ ] 69 0 0 69 / 74 45.1s Rwlock parallel
[ ] 70 0 0 70 / 74 45.5s Rwlock parallel
[ ] 71 0 0 71 / 74 46.0s Rwlock parallel
[ ] 72 0 0 72 / 74 46.2s Rwlock parallel
[ ] 73 0 0 73 / 74 46.7s Rwlock parallel
[ ] 74 0 0 74 / 74 47.3s Rwlock parallel
[✓] 74 0 0 74 / 74 47.3s Rwlock parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `FP4X6TDK'.
[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 35.562s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `P2IMMQIX'.
[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.059s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `EJOFD18P'.
[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.004s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 4)
Testing `Picos_sync'.
This run has ID `41Z2IOX3'.
[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.011s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 5)
Testing `Picos_sync'.
This run has ID `S4QT3DAJ'.
[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.015s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 6)
Testing `Picos_sync'.
This run has ID `0A0CIJ88'.
[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.010s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 0)
Testing `Picos_sync'.
This run has ID `SQ2M2RLE'.
[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.003s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 1)
Testing `Picos_sync'.
This run has ID `TF9PRE3K'.
[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.599s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 0)
Testing `Picos_sync'.
This run has ID `DTJZVKIZ'.
[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.017s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 1)
Testing `Picos_sync'.
This run has ID `6EL7UH3O'.
[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.587s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 2)
Testing `Picos_sync'.
This run has ID `5SN5G4F4'.
[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.012s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 3)
Testing `Picos_sync'.
This run has ID `ZYUZ5NGP'.
[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.009s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 0)
Testing `Picos_sync'.
This run has ID `THAGFQF3'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Conditio 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.013s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 1)
Testing `Picos_sync'.
This run has ID `WTESKD0P'.
[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.015s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Event$ 0)
Testing `Picos_sync'.
This run has ID `WK8XT4VV'.
[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.104s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 0)
Testing `Picos_sync'.
This run has ID `W6QLU1Q8'.
[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.013s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 1)
Testing `Picos_sync'.
This run has ID `8903N7E0'.
[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.074s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Non-cancelable ops$' 0)
Testing `Picos_sync'.
This run has ID `RDA8C3YQ'.
[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.006s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Yield with Picos_std_sync')
Yield with Picos_std_sync:
locked yields over time/1024 fibers with Lock:
0.07 M/s
locked yields over time/1024 fibers with Rwlock:
0.09 M/s
locked yields over time/1024 fibers with Sem:
0.14 M/s
locked yields over time/1024 fibers with Sem 2:
0.23 M/s
locked yields over time/1024 fibers with Sem 3:
0.19 M/s
locked yields over time/1024 fibers with Sem 4:
0.17 M/s
locked yields over time/1 fiber with Lock:
0.31 M/s
locked yields over time/1 fiber with Rwlock:
0.37 M/s
locked yields over time/1 fiber with Sem:
0.77 M/s
locked yields over time/1 fiber with Sem 2:
0.71 M/s
locked yields over time/1 fiber with Sem 3:
0.71 M/s
locked yields over time/1 fiber with Sem 4:
0.72 M/s
locked yields over time/256 fibers with Lock:
0.08 M/s
locked yields over time/256 fibers with Rwlock:
0.10 M/s
locked yields over time/256 fibers with Sem:
0.15 M/s
locked yields over time/256 fibers with Sem 2:
0.24 M/s
locked yields over time/256 fibers with Sem 3:
0.28 M/s
locked yields over time/256 fibers with Sem 4:
0.29 M/s
locked yields over time/2 domains with Lock:
0.21 M/s
locked yields over time/2 domains with Rwlock:
0.21 M/s
locked yields over time/2 domains with Sem:
0.20 M/s
locked yields over time/2 domains with Sem 2:
0.76 M/s
locked yields over time/2 domains with Sem 3:
0.77 M/s
locked yields over time/2 domains with Sem 4:
0.76 M/s
locked yields over time/2 fibers with Lock:
0.08 M/s
locked yields over time/2 fibers with Rwlock:
0.13 M/s
locked yields over time/2 fibers with Sem:
0.12 M/s
locked yields over time/2 fibers with Sem 2:
0.64 M/s
locked yields over time/2 fibers with Sem 3:
0.64 M/s
locked yields over time/2 fibers with Sem 4:
0.64 M/s
locked yields over time/3 domains with Lock:
0.21 M/s
locked yields over time/3 domains with Rwlock:
0.21 M/s
locked yields over time/3 domains with Sem:
0.21 M/s
locked yields over time/3 domains with Sem 2:
0.54 M/s
locked yields over time/3 domains with Sem 3:
0.96 M/s
locked yields over time/3 domains with Sem 4:
0.99 M/s
locked yields over time/3 fibers with Lock:
0.13 M/s
locked yields over time/3 fibers with Rwlock:
0.10 M/s
locked yields over time/3 fibers with Sem:
0.10 M/s
locked yields over time/3 fibers with Sem 2:
0.28 M/s
locked yields over time/3 fibers with Sem 3:
0.66 M/s
locked yields over time/3 fibers with Sem 4:
0.66 M/s
locked yields over time/4 domains with Lock:
0.23 M/s
locked yields over time/4 domains with Rwlock:
0.21 M/s
locked yields over time/4 domains with Sem:
0.22 M/s
locked yields over time/4 domains with Sem 2:
0.55 M/s
locked yields over time/4 domains with Sem 3:
0.89 M/s
locked yields over time/4 domains with Sem 4:
1.20 M/s
locked yields over time/4 fibers with Lock:
0.09 M/s
locked yields over time/4 fibers with Rwlock:
0.11 M/s
locked yields over time/4 fibers with Sem:
0.14 M/s
locked yields over time/4 fibers with Sem 2:
0.25 M/s
locked yields over time/4 fibers with Sem 3:
0.34 M/s
locked yields over time/4 fibers with Sem 4:
0.67 M/s
locked yields over time/512 fibers with Lock:
0.08 M/s
locked yields over time/512 fibers with Rwlock:
0.09 M/s
locked yields over time/512 fibers with Sem:
0.15 M/s
locked yields over time/512 fibers with Sem 2:
0.23 M/s
locked yields over time/512 fibers with Sem 3:
0.23 M/s
locked yields over time/512 fibers with Sem 4:
0.24 M/s
locked yields over time/8 fibers with Lock:
0.08 M/s
locked yields over time/8 fibers with Rwlock:
0.10 M/s
locked yields over time/8 fibers with Sem:
0.15 M/s
locked yields over time/8 fibers with Sem 2:
0.26 M/s
locked yields over time/8 fibers with Sem 3:
0.33 M/s
locked yields over time/8 fibers with Sem 4:
0.38 M/s
time per locked yield/1024 fibers with Lock:
15268.42 ns
time per locked yield/1024 fibers with Rwlock:
10638.83 ns
time per locked yield/1024 fibers with Sem:
7040.08 ns
time per locked yield/1024 fibers with Sem 2:
4434.38 ns
time per locked yield/1024 fibers with Sem 3:
5309.52 ns
time per locked yield/1024 fibers with Sem 4:
5829.15 ns
time per locked yield/1 fiber with Lock:
3250.45 ns
time per locked yield/1 fiber with Rwlock:
2674.33 ns
time per locked yield/1 fiber with Sem:
1294.45 ns
time per locked yield/1 fiber with Sem 2:
1402.63 ns
time per locked yield/1 fiber with Sem 3:
1414.24 ns
time per locked yield/1 fiber with Sem 4:
1386.48 ns
time per locked yield/256 fibers with Lock:
12660.68 ns
time per locked yield/256 fibers with Rwlock:
10334.46 ns
time per locked yield/256 fibers with Sem:
6772.20 ns
time per locked yield/256 fibers with Sem 2:
4206.72 ns
time per locked yield/256 fibers with Sem 3:
3633.17 ns
time per locked yield/256 fibers with Sem 4:
3463.62 ns
time per locked yield/2 domains with Lock:
9599.18 ns
time per locked yield/2 domains with Rwlock:
9553.48 ns
time per locked yield/2 domains with Sem:
9995.05 ns
time per locked yield/2 domains with Sem 2:
2625.93 ns
time per locked yield/2 domains with Sem 3:
2605.33 ns
time per locked yield/2 domains with Sem 4:
2640.70 ns
time per locked yield/2 fibers with Lock:
12476.40 ns
time per locked yield/2 fibers with Rwlock:
7963.51 ns
time per locked yield/2 fibers with Sem:
8337.49 ns
time per locked yield/2 fibers with Sem 2:
1568.00 ns
time per locked yield/2 fibers with Sem 3:
1574.54 ns
time per locked yield/2 fibers with Sem 4:
1568.33 ns
time per locked yield/3 domains with Lock:
14298.60 ns
time per locked yield/3 domains with Rwlock:
14610.84 ns
time per locked yield/3 domains with Sem:
14148.19 ns
time per locked yield/3 domains with Sem 2:
5558.04 ns
time per locked yield/3 domains with Sem 3:
3114.15 ns
time per locked yield/3 domains with Sem 4:
3015.68 ns
time per locked yield/3 fibers with Lock:
7977.67 ns
time per locked yield/3 fibers with Rwlock:
9989.17 ns
time per locked yield/3 fibers with Sem:
9640.67 ns
time per locked yield/3 fibers with Sem 2:
3580.18 ns
time per locked yield/3 fibers with Sem 3:
1513.73 ns
time per locked yield/3 fibers with Sem 4:
1519.62 ns
time per locked yield/4 domains with Lock:
17382.07 ns
time per locked yield/4 domains with Rwlock:
18827.68 ns
time per locked yield/4 domains with Sem:
18394.87 ns
time per locked yield/4 domains with Sem 2:
7292.68 ns
time per locked yield/4 domains with Sem 3:
4489.68 ns
time per locked yield/4 domains with Sem 4:
3324.82 ns
time per locked yield/4 fibers with Lock:
11221.93 ns
time per locked yield/4 fibers with Rwlock:
9277.48 ns
time per locked yield/4 fibers with Sem:
7047.36 ns
time per locked yield/4 fibers with Sem 2:
3922.56 ns
time per locked yield/4 fibers with Sem 3:
2983.97 ns
time per locked yield/4 fibers with Sem 4:
1482.64 ns
time per locked yield/512 fibers with Lock:
13002.44 ns
time per locked yield/512 fibers with Rwlock:
11142.36 ns
time per locked yield/512 fibers with Sem:
6836.98 ns
time per locked yield/512 fibers with Sem 2:
4320.26 ns
time per locked yield/512 fibers with Sem 3:
4319.08 ns
time per locked yield/512 fibers with Sem 4:
4151.19 ns
time per locked yield/8 fibers with Lock:
12425.40 ns
time per locked yield/8 fibers with Rwlock:
9969.51 ns
time per locked yield/8 fibers with Sem:
6893.02 ns
time per locked yield/8 fibers with Sem 2:
3900.10 ns
time per locked yield/8 fibers with Sem 3:
3072.70 ns
time per locked yield/8 fibers with Sem 4:
2610.88 ns
(cd _build/default/bench && ./main.exe -brief 'Picos Spawn')
Picos Spawn:
spawns over time/with packed computation:
0.78 M/s
time per spawn/with packed computation:
1278.97 ns
(cd _build/default/bench && ./main.exe -brief 'Picos Yield')
Picos Yield:
time per yield/10000 fibers:
1879.07 ns
time per yield/1000 fibers:
1018.20 ns
time per yield/100 fibers:
1025.13 ns
time per yield/10 fibers:
909.35 ns
time per yield/1 fiber:
927.86 ns
yields over time/10000 fibers:
0.53 M/s
yields over time/1000 fibers:
0.98 M/s
yields over time/100 fibers:
0.98 M/s
yields over time/10 fibers:
1.10 M/s
yields over time/1 fiber:
1.08 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.06 M/s
async round-trips over time/2 workers:
0.11 M/s
async round-trips over time/4 workers:
0.13 M/s
round-trips over time/1 worker:
0.01 M/s
round-trips over time/2 workers:
0.02 M/s
round-trips over time/4 workers:
0.05 M/s
time per async round-trip/1 worker:
15442.59 ns
time per async round-trip/2 workers:
18016.38 ns
time per async round-trip/4 workers:
31442.94 ns
time per round-trip/1 worker:
70109.31 ns
time per round-trip/2 workers:
114543.27 ns
time per round-trip/4 workers:
78983.65 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:
3.28 M/s
ops over time/cas int with Rwlock:
3.52 M/s
ops over time/cas int with Sem:
3.30 M/s
ops over time/get with Lock:
4.10 M/s
ops over time/get with Rwlock:
4.13 M/s
ops over time/get with Sem:
4.12 M/s
ops over time/incr with Lock:
3.72 M/s
ops over time/incr with Rwlock:
3.88 M/s
ops over time/incr with Sem:
3.73 M/s
ops over time/push & pop with Lock:
2.97 M/s
ops over time/push & pop with Rwlock:
3.02 M/s
ops over time/push & pop with Sem:
2.95 M/s
ops over time/swap with Lock:
3.04 M/s
ops over time/swap with Rwlock:
3.28 M/s
ops over time/swap with Sem:
3.10 M/s
ops over time/xchg int with Lock:
3.33 M/s
ops over time/xchg int with Rwlock:
3.54 M/s
ops over time/xchg int with Sem:
3.34 M/s
time per op/cas int with Lock:
304.99 ns
time per op/cas int with Rwlock:
284.08 ns
time per op/cas int with Sem:
303.29 ns
time per op/get with Lock:
243.70 ns
time per op/get with Rwlock:
242.09 ns
time per op/get with Sem:
242.48 ns
time per op/incr with Lock:
269.17 ns
time per op/incr with Rwlock:
257.60 ns
time per op/incr with Sem:
268.40 ns
time per op/push & pop with Lock:
336.45 ns
time per op/push & pop with Rwlock:
330.98 ns
time per op/push & pop with Sem:
338.44 ns
time per op/swap with Lock:
328.47 ns
time per op/swap with Rwlock:
304.99 ns
time per op/swap with Sem:
322.56 ns
time per op/xchg int with Lock:
300.40 ns
time per op/xchg int with Rwlock:
282.49 ns
time per op/xchg int with Sem:
299.82 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpmcq)
Picos_mpmcq:
messages over time/1 nb adder, 1 nb taker:
4.04 M/s
messages over time/1 nb adder, 2 nb takers:
3.88 M/s
messages over time/2 nb adders, 1 nb taker:
4.02 M/s
messages over time/2 nb adders, 2 nb takers:
3.61 M/s
messages over time/one domain:
2.37 M/s
time per message/1 nb adder, 1 nb taker:
495.56 ns
time per message/1 nb adder, 2 nb takers:
773.39 ns
time per message/2 nb adders, 1 nb taker:
745.81 ns
time per message/2 nb adders, 2 nb takers:
1109.55 ns
time per message/one domain:
421.24 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpscq)
Picos_mpscq:
messages over time/1 nb adder, 1 nb taker:
4.65 M/s
messages over time/2 nb adders, 1 nb taker:
4.56 M/s
messages over time/one domain:
2.27 M/s
time per message/1 nb adder, 1 nb taker:
430.17 ns
time per message/2 nb adders, 1 nb taker:
657.81 ns
time per message/one domain:
440.43 ns
(cd _build/default/bench && ./main.exe -brief Picos_htbl)
Picos_htbl:
adds over time/1 worker:
1.36 M/s
adds over time/2 workers:
2.23 M/s
adds over time/4 workers:
3.93 M/s
operations over time/1 worker, 10% reads:
2.81 M/s
operations over time/1 worker, 50% reads:
3.51 M/s
operations over time/1 worker, 90% reads:
5.41 M/s
operations over time/2 workers, 10% reads:
5.44 M/s
operations over time/2 workers, 50% reads:
7.38 M/s
operations over time/2 workers, 90% reads:
11.13 M/s
operations over time/4 workers, 10% reads:
10.64 M/s
operations over time/4 workers, 50% reads:
14.50 M/s
operations over time/4 workers, 90% reads:
23.31 M/s
time per add/1 worker:
733.72 ns
time per add/2 workers:
895.73 ns
time per add/4 workers:
1017.74 ns
time per operation/1 worker, 10% reads:
355.67 ns
time per operation/1 worker, 50% reads:
284.69 ns
time per operation/1 worker, 90% reads:
184.71 ns
time per operation/2 workers, 10% reads:
367.37 ns
time per operation/2 workers, 50% reads:
271.09 ns
time per operation/2 workers, 90% reads:
179.70 ns
time per operation/4 workers, 10% reads:
376.09 ns
time per operation/4 workers, 50% reads:
275.87 ns
time per operation/4 workers, 90% reads:
171.58 ns
2026-01-19 16:04.21: Cancelling: Auto-cancelling job because it is no longer needed
Job cancelled