2026-01-19 21:17.28: New job: test ocaml-multicore/picos https://github.com/ocaml-multicore/picos.git#refs/heads/experimental-htbl (40cc2cbcdb287422fcc0334f21832f0cc5dc7e98) (linux-riscv64:debian-13-4.14_riscv64_opam-2.5)
Base: ocaml/opam:debian-13-ocaml-4.14@sha256:4e913c9f11762beddd6d0f2fba298f49fdc83a3885157d727a3154ae02b65a38
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/picos.git" -b "experimental-htbl" && cd "picos" && git reset --hard 40cc2cbc
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:4e913c9f11762beddd6d0f2fba298f49fdc83a3885157d727a3154ae02b65a38
# debian-13-4.14_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 1c997ec9e6ebc6ea699547000cb8dfa44e52efaa || git fetch origin master) && git reset -q --hard 1c997ec9e6ebc6ea699547000cb8dfa44e52efaa && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam ./
RUN opam pin add -yn picos_std.dev './' && \
opam pin add -yn picos_mux.dev './' && \
opam pin add -yn picos_meta.dev './' && \
opam pin add -yn picos_lwt.dev './' && \
opam pin add -yn picos_io_cohttp.dev './' && \
opam pin add -yn picos_io.dev './' && \
opam pin add -yn picos_aux.dev './' && \
opam pin add -yn picos.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.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.2 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.91 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.1 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2026-01-19 21:17.28: Using cache hint "ocaml-multicore/picos-ocaml/opam:debian-13-ocaml-4.14@sha256:4e913c9f11762beddd6d0f2fba298f49fdc83a3885157d727a3154ae02b65a38-debian-13-4.14_riscv64_opam-2.5-1b44b9dc8d0cd987bf454e5d5ee98a7f"
2026-01-19 21:17.28: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:4e913c9f11762beddd6d0f2fba298f49fdc83a3885157d727a3154ae02b65a38)
(comment debian-13-4.14_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 1c997ec9e6ebc6ea699547000cb8dfa44e52efaa || git fetch origin master) && git reset -q --hard 1c997ec9e6ebc6ea699547000cb8dfa44e52efaa && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst ./))
(run (network host)
(shell "opam pin add -yn picos_std.dev './' && \
\nopam pin add -yn picos_mux.dev './' && \
\nopam pin add -yn picos_meta.dev './' && \
\nopam pin add -yn picos_lwt.dev './' && \
\nopam pin add -yn picos_io_cohttp.dev './' && \
\nopam pin add -yn picos_io.dev './' && \
\nopam pin add -yn picos_aux.dev './' && \
\nopam pin add -yn picos.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.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.2 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.91 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.1 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 zarith.1.14")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2026-01-19 21:17.28: Waiting for resource in pool OCluster
2026-01-19 21:17.35: Waiting for worker…
2026-01-20 18:20.22: Got resource from pool OCluster
Building on riscv-bm-03.sw.ci.dev
All commits already cached
HEAD is now at 40cc2cb Experimental more incremental resize approach
(from ocaml/opam:debian-13-ocaml-4.14@sha256:4e913c9f11762beddd6d0f2fba298f49fdc83a3885157d727a3154ae02b65a38)
2026-01-20 18:20.23 ---> using "f1a00875660a94745f9138aa43f7660587c0e6aaae220b636433064dbda2332d" from cache
/: (comment debian-13-4.14_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-20 18:20.23 ---> using "25bdb2d61a9b2af2ac1a18220313e901131257e552bd23940b1fd4b151ae1011" 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-20 18:20.23 ---> using "97ca85866698c8f3fd2797f2aff991e0dd9be607bf2a65dc42755bb4cd4a78c1" from cache
/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.10.113-scw1
The OCaml toplevel, version 4.14.2
2.5.0
2026-01-20 18:20.23 ---> using "09ffd6711c0396e96988415eabfab38e156be4082324d52d6afca1094d258014" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2026-01-20 18:20.23 ---> using "b9ef6b1b47c669a34389b9339cd59c9857f6e0962588b76f2699af2568d1f660" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 1c997ec9e6ebc6ea699547000cb8dfa44e52efaa || git fetch origin master) && git reset -q --hard 1c997ec9e6ebc6ea699547000cb8dfa44e52efaa && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
16d9c0eb87..10a02a697b master -> origin/master
1c997ec9e6 Merge pull request #29241 from polytypic/release-multicore-magic-2.3.2
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.4.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2026-01-20 18:21.38 ---> saved as "39c184245d139b766f12335645c4749dba3994ec5b9d88809173ac4031f79b6d"
/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-20 18:21.39 ---> saved as "81a5c0b20c2824a2ee32e4c74a6c557eeb1379b24abb2b0ef4fad72e53231a60"
/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-20 18:22.34 ---> saved as "0a9092c8cb7d01cc3d22b144f1fe1192b06c39f77a15af0b42c3b296bf8ce37c"
/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-01-20 18:22.34 ---> saved as "bcde215286361ce9850cb00fe26ad9fdac87ca0cf1d83a543aebc03ebaa4bb84"
/src: (env DEPS "alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.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.2 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.91 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.1 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 zarith.1.14")
/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"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- 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 trixie/main riscv64 Packages [9379 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main riscv64 Packages [88.5 kB]
- Fetched 9698 kB in 5s (1931 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 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl:riscv64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20700 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_riscv64.deb ...
- Unpacking libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:riscv64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_riscv64.deb ...
- Unpacking libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:riscv64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_riscv64.deb ...
- Unpacking libpkgconf3:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:riscv64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:riscv64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_riscv64.deb ...
- Unpacking pkg-config:riscv64 (1.8.1-4) ...
- Setting up libpkgconf3:riscv64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:riscv64 (1.8.1-4) ...
- Setting up pkg-config:riscv64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
# To update the current shell environment, run: eval $(opam env)
2026-01-20 18:23.43 ---> saved as "3acf1cd90bcc6d5423cddff030e258149e27d6839dcfc1d4d63264355f3609f0"
/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 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 96 packages
- install alcotest 1.9.1
- install angstrom 0.16.1
- install asn1-combinators 0.3.2
- install astring 0.8.5
- install backoff 0.1.1
- install base v0.16.4
- install base-bytes base
- install base64 3.5.2
- install bigstringaf 0.10.0
- install bos 0.2.1
- install ca-certs 1.0.1
- install camlp-streams 5.0.1
- install cmdliner 2.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.2
- install ocaml-compiler-libs v0.12.4
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 4.0.3
- install ocamlbuild 0.16.1
- install ocamlfind 1.9.8
- install ocplib-endian 1.2
- install ohex 0.2.0
- install oseq 0.5.1
- install ppx_derivers 1.2.1
- install ppx_sexp_conv v0.16.0
- install ppxlib 0.35.0
- install psq 0.2.1
- install ptime 1.2.0
- install qcheck-core 0.91
- install qcheck-multicoretests-util 0.10
- install qcheck-stm 0.10
- install re 1.14.0
- install result 1.5
- install rresult 0.7.0
- install sedlex 3.7
- install seq base
- install sexplib0 v0.16.0
- install stdlib-shims 0.3.0
- install stringext 1.6.0
- install thread-local-storage 0.2
- install thread-table 1.0.0
- install topkg 1.1.1
- install tsort 2.2.0
- install uri 4.4.0
- install uri-sexp 4.4.0
- install uutf 1.0.4
- install x509 1.0.6
- install yojson 3.0.0
- install zarith 1.14
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.9.1 (cached)
-> retrieved angstrom.0.16.1 (cached)
-> retrieved asn1-combinators.0.3.2 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved backoff.0.1.1 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved base.v0.16.4 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved ca-certs.1.0.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.2.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.2 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-version.4.0.3 (cached)
-> installed cmdliner.2.1.0
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ohex.0.2.0 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
-> retrieved psq.0.2.1 (cached)
-> retrieved multicore-magic.dev (no changes)
-> 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.35.0 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved result.1.5 (cached)
-> retrieved seq.base (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved sedlex.3.7 (cached)
-> retrieved sexplib0.v0.16.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved thread-local-storage.0.2 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved tsort.2.2.0 (cached)
-> retrieved topkg.1.1.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 yojson.3.0.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed seq.base
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.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 csexp.1.5.2
-> installed domain-name.0.5.0
-> installed cppo.1.8.0
-> installed domain_shims.0.1.0
-> installed duration.0.2.1
-> installed either.1.0.0
-> installed eqaf.0.10
-> installed gmap.0.3.0
-> installed gen.1.1
-> installed http.6.2.1
-> installed dune-configurator.3.21.0
-> installed macaddr.5.6.1
-> installed bigstringaf.0.10.0
-> installed magic-mime.1.3.1
-> installed digestif.1.3.0
-> installed ipaddr.5.6.1
-> installed menhirCST.20250912
-> 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.12.4
-> installed kdf.1.0.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.4.0.3
-> installed ocplib-endian.1.2
-> installed ohex.0.2.0
-> 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 lwt.6.0.0
-> installed qcheck-stm.0.10
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed sexplib0.v0.16.0
-> installed thread-local-storage.0.2
-> installed alcotest.1.9.1
-> installed menhir.20250912
-> installed thread-table.1.0.0
-> installed tsort.2.2.0
-> installed domain-local-await.1.0.1
-> installed dscheck.0.5.0
-> installed uri.4.4.0
-> installed multicore-magic-dscheck.2.3.2
-> installed base.v0.16.4
-> installed yojson.3.0.0
-> installed multicore-bench.0.1.7
-> installed ppxlib.0.35.0
-> installed ppx_sexp_conv.v0.16.0
-> installed sedlex.3.7
-> installed uri-sexp.4.4.0
-> installed ipaddr-sexp.5.6.1
-> installed js_of_ocaml-compiler.6.2.0
-> installed logs.0.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-20 18:40.52 ---> saved as "20ad250ee4cd91bb45288b79caf4329350b041599efccfc75f53458f6374c837"
/src: (copy (src .) (dst /src))
2026-01-20 18:40.52 ---> saved as "a434b7acf3117a48c17de5a77964bac94045578975289b5f65ad76ece92e130a"
/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test && ./test_mpscq.exe)
random seed: 3718611895303922680
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpscq sequential
[✓] 32 0 0 32 / 32 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 2337570103208450697
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Mpscq sequential
[✓] 64 0 0 64 / 64 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 980834016531754532
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Mpscq sequential
[✓] 128 0 0 128 / 128 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 3911551525159640200
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Mpscq sequential
[✓] 256 0 0 256 / 256 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 4087611253259745194
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Mpscq sequential
[✓] 512 0 0 512 / 512 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
random seed: 3200821991989370853
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpscq sequential
[✓] 32 0 0 32 / 32 0.0s Mpscq sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test && ./test_htbl.exe)
random seed: 150058344094664761
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Htbl sequential
[✓] 32 0 0 32 / 32 0.0s Htbl sequential
[ ] 0 0 0 0 / 32 0.0s Htbl concurrent
[ ] 8 0 0 8 / 32 0.3s Htbl concurrent
[ ] 11 0 0 11 / 32 0.7s Htbl concurrent
[ ] 14 0 0 14 / 32 1.4s Htbl concurrent
[ ] 20 0 0 20 / 32 1.5s Htbl concurrent
[ ] 25 0 0 25 / 32 1.8s Htbl concurrent
[ ] 26 0 0 26 / 32 2.1s Htbl concurrent
[ ] 29 0 0 29 / 32 2.4s Htbl concurrent
[ ] 30 0 0 30 / 32 2.5s Htbl concurrent
[✓] 32 0 0 32 / 32 2.5s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2196921240676605133
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Htbl sequential
[✓] 64 0 0 64 / 64 0.0s Htbl sequential
[ ] 0 0 0 0 / 64 0.0s Htbl concurrent
[ ] 2 0 0 2 / 64 0.1s Htbl concurrent
[ ] 3 0 0 3 / 64 0.8s Htbl concurrent
[ ] 13 0 0 13 / 64 0.9s Htbl concurrent
[ ] 15 0 0 15 / 64 1.2s Htbl concurrent
[ ] 18 0 0 18 / 64 1.6s Htbl concurrent
[ ] 22 0 0 22 / 64 1.9s Htbl concurrent
[ ] 23 0 0 23 / 64 2.1s Htbl concurrent
[ ] 27 0 0 27 / 64 2.7s Htbl concurrent
[ ] 35 0 0 35 / 64 3.4s Htbl concurrent
[ ] 62 0 0 62 / 64 3.6s Htbl concurrent
[✓] 64 0 0 64 / 64 3.6s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2667336552149473955
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Htbl sequential
[✓] 128 0 0 128 / 128 0.0s Htbl sequential
[ ] 0 0 0 0 / 128 0.0s Htbl concurrent
[ ] 4 0 0 4 / 128 0.1s Htbl concurrent
[ ] 7 0 0 7 / 128 0.3s Htbl concurrent
[ ] 12 0 0 12 / 128 0.4s Htbl concurrent
[ ] 20 0 0 20 / 128 1.3s Htbl concurrent
[ ] 21 0 0 21 / 128 1.4s Htbl concurrent
[ ] 23 0 0 23 / 128 1.9s Htbl concurrent
[ ] 31 0 0 31 / 128 2.1s Htbl concurrent
[ ] 35 0 0 35 / 128 2.4s Htbl concurrent
[ ] 43 0 0 43 / 128 2.8s Htbl concurrent
[ ] 45 0 0 45 / 128 3.1s Htbl concurrent
[ ] 49 0 0 49 / 128 3.5s Htbl concurrent
[ ] 51 0 0 51 / 128 4.1s Htbl concurrent
[ ] 55 0 0 55 / 128 4.9s Htbl concurrent
[ ] 59 0 0 59 / 128 5.0s Htbl concurrent
[ ] 63 0 0 63 / 128 5.6s Htbl concurrent
[ ] 64 0 0 64 / 128 5.9s Htbl concurrent
[ ] 68 0 0 68 / 128 6.0s Htbl concurrent
[ ] 70 0 0 70 / 128 6.3s Htbl concurrent
[ ] 75 0 0 75 / 128 6.4s Htbl concurrent
[ ] 76 0 0 76 / 128 6.9s Htbl concurrent
[ ] 82 0 0 82 / 128 7.2s Htbl concurrent
[ ] 88 0 0 88 / 128 7.3s Htbl concurrent
[ ] 94 0 0 94 / 128 7.4s Htbl concurrent
[ ] 101 0 0 101 / 128 7.5s Htbl concurrent
[ ] 105 0 0 105 / 128 8.1s Htbl concurrent
[ ] 107 0 0 107 / 128 8.2s Htbl concurrent
[ ] 112 0 0 112 / 128 8.3s Htbl concurrent
[ ] 116 0 0 116 / 128 8.5s Htbl concurrent
[ ] 117 0 0 117 / 128 8.6s Htbl concurrent
[ ] 122 0 0 122 / 128 9.1s Htbl concurrent
[ ] 124 0 0 124 / 128 9.2s Htbl concurrent
[ ] 128 0 0 128 / 128 9.4s Htbl concurrent
[✓] 128 0 0 128 / 128 9.4s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1336168611262977442
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Htbl sequential
[✓] 256 0 0 256 / 256 0.0s Htbl sequential
[ ] 0 0 0 0 / 256 0.0s Htbl concurrent
[ ] 1 0 0 1 / 256 0.4s Htbl concurrent
[ ] 4 0 0 4 / 256 0.5s Htbl concurrent
[ ] 8 0 0 8 / 256 1.1s Htbl concurrent
[ ] 11 0 0 11 / 256 1.4s Htbl concurrent
[ ] 17 0 0 17 / 256 1.5s Htbl concurrent
[ ] 18 0 0 18 / 256 2.0s Htbl concurrent
[ ] 19 0 0 19 / 256 2.4s Htbl concurrent
[ ] 20 0 0 20 / 256 2.9s Htbl concurrent
[ ] 25 0 0 25 / 256 3.1s Htbl concurrent
[ ] 38 0 0 38 / 256 3.2s Htbl concurrent
[ ] 40 0 0 40 / 256 3.3s Htbl concurrent
[ ] 44 0 0 44 / 256 3.4s Htbl concurrent
[ ] 52 0 0 52 / 256 3.6s Htbl concurrent
[ ] 56 0 0 56 / 256 4.5s Htbl concurrent
[ ] 66 0 0 66 / 256 5.2s Htbl concurrent
[ ] 67 0 0 67 / 256 5.9s Htbl concurrent
[ ] 69 0 0 69 / 256 6.1s Htbl concurrent
[ ] 76 0 0 76 / 256 6.2s Htbl concurrent
[ ] 80 0 0 80 / 256 6.4s Htbl concurrent
[ ] 84 0 0 84 / 256 6.5s Htbl concurrent
[ ] 86 0 0 86 / 256 6.9s Htbl concurrent
[ ] 92 0 0 92 / 256 7.0s Htbl concurrent
[ ] 97 0 0 97 / 256 7.1s Htbl concurrent
[ ] 106 0 0 106 / 256 7.2s Htbl concurrent
[ ] 107 0 0 107 / 256 8.9s Htbl concurrent
[ ] 115 0 0 115 / 256 9.0s Htbl concurrent
[ ] 117 0 0 117 / 256 10.0s Htbl concurrent
[ ] 118 0 0 118 / 256 10.2s Htbl concurrent
[ ] 119 0 0 119 / 256 10.7s Htbl concurrent
[ ] 122 0 0 122 / 256 10.8s Htbl concurrent
[ ] 123 0 0 123 / 256 11.1s Htbl concurrent
[ ] 128 0 0 128 / 256 11.3s Htbl concurrent
[ ] 132 0 0 132 / 256 11.6s Htbl concurrent
[ ] 137 0 0 137 / 256 11.8s Htbl concurrent
[ ] 139 0 0 139 / 256 11.9s Htbl concurrent
[ ] 143 0 0 143 / 256 12.1s Htbl concurrent
[ ] 146 0 0 146 / 256 12.4s Htbl concurrent
[ ] 152 0 0 152 / 256 12.5s Htbl concurrent
[ ] 157 0 0 157 / 256 13.1s Htbl concurrent
[ ] 167 0 0 167 / 256 13.2s Htbl concurrent
[ ] 173 0 0 173 / 256 13.3s Htbl concurrent
[ ] 178 0 0 178 / 256 13.6s Htbl concurrent
[ ] 180 0 0 180 / 256 13.9s Htbl concurrent
[ ] 181 0 0 181 / 256 14.8s Htbl concurrent
[ ] 185 0 0 185 / 256 16.0s Htbl concurrent
[ ] 190 0 0 190 / 256 17.1s Htbl concurrent
[ ] 198 0 0 198 / 256 17.3s Htbl concurrent
[ ] 200 0 0 200 / 256 17.5s Htbl concurrent
[ ] 201 0 0 201 / 256 17.6s Htbl concurrent
[ ] 203 0 0 203 / 256 18.6s Htbl concurrent
[ ] 204 0 0 204 / 256 19.3s Htbl concurrent
[ ] 206 0 0 206 / 256 19.6s Htbl concurrent
[ ] 210 0 0 210 / 256 19.9s Htbl concurrent
[ ] 214 0 0 214 / 256 20.2s Htbl concurrent
[ ] 216 0 0 216 / 256 20.3s Htbl concurrent
[ ] 224 0 0 224 / 256 20.5s Htbl concurrent
[ ] 232 0 0 232 / 256 20.8s Htbl concurrent
[ ] 239 0 0 239 / 256 20.9s Htbl concurrent
[ ] 241 0 0 241 / 256 21.2s Htbl concurrent
[ ] 242 0 0 242 / 256 21.8s Htbl concurrent
[ ] 243 0 0 243 / 256 22.0s Htbl concurrent
[ ] 246 0 0 246 / 256 22.4s Htbl concurrent
[ ] 248 0 0 248 / 256 22.5s Htbl concurrent
[ ] 250 0 0 250 / 256 23.4s Htbl concurrent
[ ] 252 0 0 252 / 256 23.9s Htbl concurrent
[ ] 254 0 0 254 / 256 24.2s Htbl concurrent
[✓] 256 0 0 256 / 256 24.2s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1944072883470117050
generated error fail pass / total time test name
[ ] 0 0 0 0 / 243 0.0s Htbl sequential
[✓] 243 0 0 243 / 243 0.0s Htbl sequential
[ ] 0 0 0 0 / 243 0.0s Htbl concurrent
[ ] 1 0 0 1 / 243 0.2s Htbl concurrent
[ ] 5 0 0 5 / 243 0.3s Htbl concurrent
[ ] 8 0 0 8 / 243 0.7s Htbl concurrent
[ ] 10 0 0 10 / 243 0.9s Htbl concurrent
[ ] 11 0 0 11 / 243 1.1s Htbl concurrent
[ ] 14 0 0 14 / 243 1.2s Htbl concurrent
[ ] 15 0 0 15 / 243 1.5s Htbl concurrent
[ ] 18 0 0 18 / 243 1.7s Htbl concurrent
[ ] 19 0 0 19 / 243 1.9s Htbl concurrent
[ ] 21 0 0 21 / 243 2.5s Htbl concurrent
[ ] 26 0 0 26 / 243 2.7s Htbl concurrent
[ ] 36 0 0 36 / 243 3.7s Htbl concurrent
[ ] 37 0 0 37 / 243 3.9s Htbl concurrent
[ ] 38 0 0 38 / 243 4.1s Htbl concurrent
[ ] 39 0 0 39 / 243 4.4s Htbl concurrent
[ ] 43 0 0 43 / 243 4.6s Htbl concurrent
[ ] 52 0 0 52 / 243 4.8s Htbl concurrent
[ ] 57 0 0 57 / 243 5.0s Htbl concurrent
[ ] 59 0 0 59 / 243 6.1s Htbl concurrent
[ ] 69 0 0 69 / 243 6.2s Htbl concurrent
[ ] 76 0 0 76 / 243 7.0s Htbl concurrent
[ ] 83 0 0 83 / 243 7.1s Htbl concurrent
[ ] 84 0 0 84 / 243 7.5s Htbl concurrent
[ ] 94 0 0 94 / 243 7.6s Htbl concurrent
[ ] 95 0 0 95 / 243 7.7s Htbl concurrent
[ ] 96 0 0 96 / 243 7.9s Htbl concurrent
[ ] 97 0 0 97 / 243 8.3s Htbl concurrent
[ ] 98 0 0 98 / 243 8.8s Htbl concurrent
[ ] 100 0 0 100 / 243 9.1s Htbl concurrent
[ ] 103 0 0 103 / 243 9.2s Htbl concurrent
[ ] 108 0 0 108 / 243 9.3s Htbl concurrent
[ ] 114 0 0 114 / 243 9.7s Htbl concurrent
[ ] 118 0 0 118 / 243 9.8s Htbl concurrent
[ ] 128 0 0 128 / 243 10.2s Htbl concurrent
[ ] 134 0 0 134 / 243 10.3s Htbl concurrent
[ ] 139 0 0 139 / 243 11.0s Htbl concurrent
[ ] 144 0 0 144 / 243 11.1s Htbl concurrent
[ ] 145 0 0 145 / 243 11.2s Htbl concurrent
[ ] 150 0 0 150 / 243 11.9s Htbl concurrent
[ ] 151 0 0 151 / 243 12.0s Htbl concurrent
[ ] 154 0 0 154 / 243 12.1s Htbl concurrent
[ ] 158 0 0 158 / 243 12.2s Htbl concurrent
[ ] 173 0 0 173 / 243 12.7s Htbl concurrent
[ ] 174 0 0 174 / 243 13.0s Htbl concurrent
[ ] 181 0 0 181 / 243 13.2s Htbl concurrent
[ ] 182 0 0 182 / 243 13.5s Htbl concurrent
[ ] 186 0 0 186 / 243 13.7s Htbl concurrent
[ ] 191 0 0 191 / 243 13.8s Htbl concurrent
[ ] 193 0 0 193 / 243 14.3s Htbl concurrent
[ ] 203 0 0 203 / 243 14.6s Htbl concurrent
[ ] 213 0 0 213 / 243 14.7s Htbl concurrent
[ ] 215 0 0 215 / 243 14.9s Htbl concurrent
[ ] 219 0 0 219 / 243 15.0s Htbl concurrent
[ ] 222 0 0 222 / 243 15.4s Htbl concurrent
[ ] 225 0 0 225 / 243 15.9s Htbl concurrent
[ ] 229 0 0 229 / 243 16.1s Htbl concurrent
[ ] 233 0 0 233 / 243 16.2s Htbl concurrent
[ ] 237 0 0 237 / 243 16.3s Htbl concurrent
[ ] 239 0 0 239 / 243 16.6s Htbl concurrent
[✓] 243 0 0 243 / 243 16.6s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 3165023308069639606
generated error fail pass / total time test name
[ ] 0 0 0 0 / 45 0.0s Htbl sequential
[✓] 45 0 0 45 / 45 0.0s Htbl sequential
[ ] 0 0 0 0 / 45 0.0s Htbl concurrent
[ ] 1 0 0 1 / 45 0.2s Htbl concurrent
[ ] 9 0 0 9 / 45 0.3s Htbl concurrent
[ ] 12 0 0 12 / 45 1.0s Htbl concurrent
[ ] 13 0 0 13 / 45 1.4s Htbl concurrent
[ ] 15 0 0 15 / 45 1.7s Htbl concurrent
[ ] 19 0 0 19 / 45 2.2s Htbl concurrent
[ ] 21 0 0 21 / 45 2.3s Htbl concurrent
[ ] 26 0 0 26 / 45 2.4s Htbl concurrent
[ ] 28 0 0 28 / 45 2.6s Htbl concurrent
[ ] 30 0 0 30 / 45 2.7s Htbl concurrent
[ ] 33 0 0 33 / 45 3.0s Htbl concurrent
[ ] 36 0 0 36 / 45 3.2s Htbl concurrent
[ ] 37 0 0 37 / 45 3.7s Htbl concurrent
[ ] 39 0 0 39 / 45 3.8s Htbl concurrent
[ ] 43 0 0 43 / 45 3.9s Htbl concurrent
[ ] 44 0 0 44 / 45 4.2s Htbl concurrent
[✓] 45 0 0 45 / 45 4.2s Htbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_ihtbl.exe)
random seed: 243388651922999647
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Ihtbl sequential
[✓] 32 0 0 32 / 32 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 32 0.0s Ihtbl concurrent
[ ] 1 0 0 1 / 32 0.4s Ihtbl concurrent
[ ] 6 0 0 6 / 32 1.1s Ihtbl concurrent
[ ] 15 0 0 15 / 32 1.3s Ihtbl concurrent
[ ] 19 0 0 19 / 32 1.4s Ihtbl concurrent
[ ] 22 0 0 22 / 32 1.9s Ihtbl concurrent
[ ] 24 0 0 24 / 32 2.4s Ihtbl concurrent
[ ] 30 0 0 30 / 32 2.6s Ihtbl concurrent
[✓] 32 0 0 32 / 32 2.6s Ihtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1313232314387758814
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Ihtbl sequential
[✓] 64 0 0 64 / 64 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 64 0.0s Ihtbl concurrent
[ ] 2 0 0 2 / 64 0.3s Ihtbl concurrent
[ ] 11 0 0 11 / 64 0.4s Ihtbl concurrent
[ ] 13 0 0 13 / 64 1.1s Ihtbl concurrent
[ ] 15 0 0 15 / 64 1.8s Ihtbl concurrent
[ ] 16 0 0 16 / 64 2.4s Ihtbl concurrent
[ ] 23 0 0 23 / 64 2.7s Ihtbl concurrent
[ ] 26 0 0 26 / 64 2.8s Ihtbl concurrent
[ ] 29 0 0 29 / 64 3.1s Ihtbl concurrent
[ ] 36 0 0 36 / 64 3.2s Ihtbl concurrent
[ ] 37 0 0 37 / 64 3.4s Ihtbl concurrent
[ ] 43 0 0 43 / 64 3.5s Ihtbl concurrent
[ ] 47 0 0 47 / 64 3.7s Ihtbl concurrent
[ ] 56 0 0 56 / 64 3.8s Ihtbl concurrent
[ ] 60 0 0 60 / 64 4.0s Ihtbl concurrent
[ ] 63 0 0 63 / 64 4.1s Ihtbl concurrent
[✓] 64 0 0 64 / 64 4.1s Ihtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1828494284165249197
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Ihtbl sequential
[✓] 128 0 0 128 / 128 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 128 0.0s Ihtbl concurrent
[ ] 10 0 0 10 / 128 0.1s Ihtbl concurrent
[ ] 21 0 0 21 / 128 0.3s Ihtbl concurrent
[ ] 27 0 0 27 / 128 0.9s Ihtbl concurrent
[ ] 30 0 0 30 / 128 1.2s Ihtbl concurrent
[ ] 34 0 0 34 / 128 1.7s Ihtbl concurrent
[ ] 35 0 0 35 / 128 2.0s Ihtbl concurrent
[ ] 43 0 0 43 / 128 2.1s Ihtbl concurrent
[ ] 47 0 0 47 / 128 2.2s Ihtbl concurrent
[ ] 49 0 0 49 / 128 2.7s Ihtbl concurrent
[ ] 51 0 0 51 / 128 2.9s Ihtbl concurrent
[ ] 52 0 0 52 / 128 3.4s Ihtbl concurrent
[ ] 55 0 0 55 / 128 3.5s Ihtbl concurrent
[ ] 58 0 0 58 / 128 3.7s Ihtbl concurrent
[ ] 64 0 0 64 / 128 3.9s Ihtbl concurrent
[ ] 67 0 0 67 / 128 4.0s Ihtbl concurrent
[ ] 73 0 0 73 / 128 4.4s Ihtbl concurrent
[ ] 78 0 0 78 / 128 4.5s Ihtbl concurrent
[ ] 80 0 0 80 / 128 4.6s Ihtbl concurrent
[ ] 85 0 0 85 / 128 4.7s Ihtbl concurrent
[ ] 94 0 0 94 / 128 4.9s Ihtbl concurrent
[ ] 95 0 0 95 / 128 5.4s Ihtbl concurrent
[ ] 98 0 0 98 / 128 5.8s Ihtbl concurrent
[ ] 107 0 0 107 / 128 5.9s Ihtbl concurrent
[ ] 110 0 0 110 / 128 6.0s Ihtbl concurrent
[ ] 111 0 0 111 / 128 6.3s Ihtbl concurrent
[ ] 113 0 0 113 / 128 6.6s Ihtbl concurrent
[ ] 115 0 0 115 / 128 6.8s Ihtbl concurrent
[ ] 117 0 0 117 / 128 7.3s Ihtbl concurrent
[ ] 118 0 0 118 / 128 7.5s Ihtbl concurrent
[ ] 120 0 0 120 / 128 7.9s Ihtbl concurrent
[ ] 122 0 0 122 / 128 8.5s Ihtbl concurrent
[ ] 128 0 0 128 / 128 8.6s Ihtbl concurrent
[✓] 128 0 0 128 / 128 8.6s Ihtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 325284436391448319
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Ihtbl sequential
[✓] 256 0 0 256 / 256 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 256 0.0s Ihtbl concurrent
[ ] 5 0 0 5 / 256 0.1s Ihtbl concurrent
[ ] 8 0 0 8 / 256 0.2s Ihtbl concurrent
[ ] 12 0 0 12 / 256 0.4s Ihtbl concurrent
[ ] 14 0 0 14 / 256 1.2s Ihtbl concurrent
[ ] 20 0 0 20 / 256 1.4s Ihtbl concurrent
[ ] 23 0 0 23 / 256 1.5s Ihtbl concurrent
[ ] 30 0 0 30 / 256 1.6s Ihtbl concurrent
[ ] 40 0 0 40 / 256 2.0s Ihtbl concurrent
[ ] 44 0 0 44 / 256 2.2s Ihtbl concurrent
[ ] 49 0 0 49 / 256 2.3s Ihtbl concurrent
[ ] 51 0 0 51 / 256 2.5s Ihtbl concurrent
[ ] 53 0 0 53 / 256 2.6s Ihtbl concurrent
[ ] 54 0 0 54 / 256 2.8s Ihtbl concurrent
[ ] 57 0 0 57 / 256 2.9s Ihtbl concurrent
[ ] 73 0 0 73 / 256 3.0s Ihtbl concurrent
[ ] 75 0 0 75 / 256 3.2s Ihtbl concurrent
[ ] 82 0 0 82 / 256 3.3s Ihtbl concurrent
[ ] 86 0 0 86 / 256 3.7s Ihtbl concurrent
[ ] 88 0 0 88 / 256 4.6s Ihtbl concurrent
[ ] 89 0 0 89 / 256 5.1s Ihtbl concurrent
[ ] 91 0 0 91 / 256 5.6s Ihtbl concurrent
[ ] 97 0 0 97 / 256 5.9s Ihtbl concurrent
[ ] 100 0 0 100 / 256 6.4s Ihtbl concurrent
[ ] 107 0 0 107 / 256 6.7s Ihtbl concurrent
[ ] 115 0 0 115 / 256 6.8s Ihtbl concurrent
[ ] 117 0 0 117 / 256 6.9s Ihtbl concurrent
[ ] 125 0 0 125 / 256 7.1s Ihtbl concurrent
[ ] 129 0 0 129 / 256 7.2s Ihtbl concurrent
[ ] 132 0 0 132 / 256 7.5s Ihtbl concurrent
[ ] 135 0 0 135 / 256 7.9s Ihtbl concurrent
[ ] 142 0 0 142 / 256 8.2s Ihtbl concurrent
[ ] 149 0 0 149 / 256 8.3s Ihtbl concurrent
[ ] 157 0 0 157 / 256 8.4s Ihtbl concurrent
[ ] 161 0 0 161 / 256 8.8s Ihtbl concurrent
[ ] 165 0 0 165 / 256 9.7s Ihtbl concurrent
[ ] 167 0 0 167 / 256 10.5s Ihtbl concurrent
[ ] 171 0 0 171 / 256 10.8s Ihtbl concurrent
[ ] 175 0 0 175 / 256 11.0s Ihtbl concurrent
[ ] 180 0 0 180 / 256 11.6s Ihtbl concurrent
[ ] 181 0 0 181 / 256 12.1s Ihtbl concurrent
[ ] 191 0 0 191 / 256 12.7s Ihtbl concurrent
[ ] 201 0 0 201 / 256 12.8s Ihtbl concurrent
[ ] 208 0 0 208 / 256 13.0s Ihtbl concurrent
[ ] 209 0 0 209 / 256 13.1s Ihtbl concurrent
[ ] 214 0 0 214 / 256 13.2s Ihtbl concurrent
[ ] 218 0 0 218 / 256 13.4s Ihtbl concurrent
[ ] 220 0 0 220 / 256 13.7s Ihtbl concurrent
[ ] 225 0 0 225 / 256 13.8s Ihtbl concurrent
[ ] 228 0 0 228 / 256 14.0s Ihtbl concurrent
[ ] 231 0 0 231 / 256 14.2s Ihtbl concurrent
[ ] 236 0 0 236 / 256 14.4s Ihtbl concurrent
[ ] 239 0 0 239 / 256 14.7s Ihtbl concurrent
[ ] 240 0 0 240 / 256 15.4s Ihtbl concurrent
[ ] 245 0 0 245 / 256 15.5s Ihtbl concurrent
[ ] 247 0 0 247 / 256 15.6s Ihtbl concurrent
[✓] 256 0 0 256 / 256 15.7s Ihtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2164090405569259554
generated error fail pass / total time test name
[ ] 0 0 0 0 / 447 0.0s Ihtbl sequential
[✓] 447 0 0 447 / 447 0.0s Ihtbl sequential
[ ] 0 0 0 0 / 447 0.0s Ihtbl concurrent
[ ] 5 0 0 5 / 447 0.4s Ihtbl concurrent
[ ] 11 0 0 11 / 447 1.7s Ihtbl concurrent
[ ] 15 0 0 15 / 447 2.0s Ihtbl concurrent
[ ] 22 0 0 22 / 447 2.1s Ihtbl concurrent
[ ] 25 0 0 25 / 447 3.4s Ihtbl concurrent
[ ] 26 0 0 26 / 447 3.6s Ihtbl concurrent
[ ] 29 0 0 29 / 447 3.7s Ihtbl concurrent
[ ] 33 0 0 33 / 447 3.8s Ihtbl concurrent
[ ] 37 0 0 37 / 447 4.8s Ihtbl concurrent
[ ] 39 0 0 39 / 447 4.9s Ihtbl concurrent
[ ] 49 0 0 49 / 447 5.0s Ihtbl concurrent
[ ] 54 0 0 54 / 447 5.1s Ihtbl concurrent
[ ] 62 0 0 62 / 447 5.2s Ihtbl concurrent
[ ] 64 0 0 64 / 447 5.3s Ihtbl concurrent
[ ] 66 0 0 66 / 447 6.4s Ihtbl concurrent
[ ] 67 0 0 67 / 447 6.9s Ihtbl concurrent
[ ] 68 0 0 68 / 447 7.3s Ihtbl concurrent
[ ] 70 0 0 70 / 447 7.4s Ihtbl concurrent
[ ] 78 0 0 78 / 447 7.6s Ihtbl concurrent
[ ] 81 0 0 81 / 447 7.8s Ihtbl concurrent
[ ] 83 0 0 83 / 447 8.1s Ihtbl concurrent
[ ] 95 0 0 95 / 447 9.2s Ihtbl concurrent
[ ] 108 0 0 108 / 447 9.8s Ihtbl concurrent
[ ] 112 0 0 112 / 447 10.4s Ihtbl concurrent
[ ] 117 0 0 117 / 447 11.2s Ihtbl concurrent
[ ] 120 0 0 120 / 447 11.3s Ihtbl concurrent
[ ] 125 0 0 125 / 447 11.5s Ihtbl concurrent
[ ] 126 0 0 126 / 447 12.3s Ihtbl concurrent
[ ] 129 0 0 129 / 447 13.0s Ihtbl concurrent
[ ] 133 0 0 133 / 447 13.2s Ihtbl concurrent
[ ] 135 0 0 135 / 447 13.5s Ihtbl concurrent
[ ] 136 0 0 136 / 447 13.6s Ihtbl concurrent
[ ] 137 0 0 137 / 447 13.8s Ihtbl concurrent
[ ] 140 0 0 140 / 447 14.2s Ihtbl concurrent
[ ] 145 0 0 145 / 447 14.3s Ihtbl concurrent
[ ] 150 0 0 150 / 447 14.5s Ihtbl concurrent
[ ] 157 0 0 157 / 447 14.6s Ihtbl concurrent
[ ] 159 0 0 159 / 447 15.3s Ihtbl concurrent
[ ] 162 0 0 162 / 447 15.5s Ihtbl concurrent
[ ] 165 0 0 165 / 447 16.0s Ihtbl concurrent
[ ] 169 0 0 169 / 447 16.2s Ihtbl concurrent
[ ] 176 0 0 176 / 447 16.3s Ihtbl concurrent
[ ] 177 0 0 177 / 447 16.8s Ihtbl concurrent
[ ] 182 0 0 182 / 447 17.4s Ihtbl concurrent
[ ] 189 0 0 189 / 447 17.5s Ihtbl concurrent
[ ] 192 0 0 192 / 447 17.8s Ihtbl concurrent
[ ] 195 0 0 195 / 447 17.9s Ihtbl concurrent
[ ] 199 0 0 199 / 447 18.1s Ihtbl concurrent
[ ] 204 0 0 204 / 447 18.6s Ihtbl concurrent
[ ] 205 0 0 205 / 447 18.9s Ihtbl concurrent
[ ] 213 0 0 213 / 447 19.0s Ihtbl concurrent
[ ] 214 0 0 214 / 447 19.6s Ihtbl concurrent
[ ] 216 0 0 216 / 447 19.8s Ihtbl concurrent
[ ] 218 0 0 218 / 447 20.6s Ihtbl concurrent
[ ] 224 0 0 224 / 447 20.8s Ihtbl concurrent
[ ] 227 0 0 227 / 447 20.9s Ihtbl concurrent
[ ] 232 0 0 232 / 447 21.1s Ihtbl concurrent
[ ] 235 0 0 235 / 447 21.9s Ihtbl concurrent
[ ] 242 0 0 242 / 447 22.0s Ihtbl concurrent
[ ] 247 0 0 247 / 447 22.1s Ihtbl concurrent
[ ] 250 0 0 250 / 447 22.2s Ihtbl concurrent
[ ] 251 0 0 251 / 447 23.5s Ihtbl concurrent
[ ] 254 0 0 254 / 447 23.6s Ihtbl concurrent
[ ] 262 0 0 262 / 447 23.7s Ihtbl concurrent
[ ] 263 0 0 263 / 447 24.3s Ihtbl concurrent
[ ] 264 0 0 264 / 447 24.9s Ihtbl concurrent
[ ] 268 0 0 268 / 447 25.0s Ihtbl concurrent
[ ] 272 0 0 272 / 447 25.1s Ihtbl concurrent
[ ] 278 0 0 278 / 447 25.3s Ihtbl concurrent
[ ] 283 0 0 283 / 447 25.4s Ihtbl concurrent
[ ] 292 0 0 292 / 447 25.5s Ihtbl concurrent
[ ] 294 0 0 294 / 447 26.1s Ihtbl concurrent
[ ] 295 0 0 295 / 447 26.4s Ihtbl concurrent
[ ] 297 0 0 297 / 447 26.6s Ihtbl concurrent
[ ] 300 0 0 300 / 447 26.7s Ihtbl concurrent
[ ] 305 0 0 305 / 447 27.4s Ihtbl concurrent
[ ] 307 0 0 307 / 447 27.5s Ihtbl concurrent
[ ] 311 0 0 311 / 447 28.1s Ihtbl concurrent
[ ] 315 0 0 315 / 447 28.2s Ihtbl concurrent
[ ] 317 0 0 317 / 447 28.3s Ihtbl concurrent
[ ] 319 0 0 319 / 447 28.7s Ihtbl concurrent
[ ] 323 0 0 323 / 447 28.8s Ihtbl concurrent
[ ] 328 0 0 328 / 447 29.1s Ihtbl concurrent
[ ] 330 0 0 330 / 447 29.2s Ihtbl concurrent
[ ] 334 0 0 334 / 447 29.3s Ihtbl concurrent
[ ] 336 0 0 336 / 447 29.8s Ihtbl concurrent
[ ] 340 0 0 340 / 447 30.0s Ihtbl concurrent
[ ] 342 0 0 342 / 447 30.2s Ihtbl concurrent
[ ] 343 0 0 343 / 447 30.7s Ihtbl concurrent
[ ] 346 0 0 346 / 447 31.0s Ihtbl concurrent
[ ] 348 0 0 348 / 447 31.1s Ihtbl concurrent
[ ] 350 0 0 350 / 447 31.6s Ihtbl concurrent
[ ] 361 0 0 361 / 447 31.7s Ihtbl concurrent
[ ] 372 0 0 372 / 447 31.8s Ihtbl concurrent
[ ] 374 0 0 374 / 447 31.9s Ihtbl concurrent
[ ] 384 0 0 384 / 447 32.3s Ihtbl concurrent
[ ] 386 0 0 386 / 447 32.6s Ihtbl concurrent
[ ] 391 0 0 391 / 447 32.8s Ihtbl concurrent
[ ] 393 0 0 393 / 447 32.9s Ihtbl concurrent
[ ] 396 0 0 396 / 447 33.0s Ihtbl concurrent
[ ] 400 0 0 400 / 447 33.7s Ihtbl concurrent
[ ] 403 0 0 403 / 447 33.9s Ihtbl concurrent
[ ] 406 0 0 406 / 447 34.0s Ihtbl concurrent
[ ] 407 0 0 407 / 447 34.2s Ihtbl concurrent
[ ] 410 0 0 410 / 447 34.3s Ihtbl concurrent
[ ] 411 0 0 411 / 447 34.9s Ihtbl concurrent
[ ] 413 0 0 413 / 447 35.3s Ihtbl concurrent
[ ] 415 0 0 415 / 447 35.5s Ihtbl concurrent
[ ] 418 0 0 418 / 447 35.6s Ihtbl concurrent
[ ] 420 0 0 420 / 447 35.8s Ihtbl concurrent
[ ] 423 0 0 423 / 447 36.7s Ihtbl concurrent
[ ] 424 0 0 424 / 447 36.8s Ihtbl concurrent
[ ] 428 0 0 428 / 447 37.0s Ihtbl concurrent
[ ] 434 0 0 434 / 447 37.2s Ihtbl concurrent
[ ] 436 0 0 436 / 447 37.6s Ihtbl concurrent
[ ] 438 0 0 438 / 447 37.7s Ihtbl concurrent
[ ] 447 0 0 447 / 447 37.8s Ihtbl concurrent
[✓] 447 0 0 447 / 447 37.8s Ihtbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_mpmcq.exe)
random seed: 429974529066504083
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mpmcq sequential
[✓] 32 0 0 32 / 32 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 32 0.0s Mpmcq concurrent
[ ] 5 0 0 5 / 32 0.1s Mpmcq concurrent
[ ] 7 0 0 7 / 32 0.2s Mpmcq concurrent
[ ] 12 0 0 12 / 32 0.5s Mpmcq concurrent
[ ] 19 0 0 19 / 32 1.3s Mpmcq concurrent
[ ] 22 0 0 22 / 32 1.4s Mpmcq concurrent
[ ] 26 0 0 26 / 32 1.5s Mpmcq concurrent
[ ] 27 0 0 27 / 32 1.7s Mpmcq concurrent
[ ] 28 0 0 28 / 32 2.0s Mpmcq concurrent
[✓] 32 0 0 32 / 32 2.1s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 1369796894679817484
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Mpmcq sequential
[✓] 64 0 0 64 / 64 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 64 0.0s Mpmcq concurrent
[ ] 3 0 0 3 / 64 0.1s Mpmcq concurrent
[ ] 4 0 0 4 / 64 0.2s Mpmcq concurrent
[ ] 7 0 0 7 / 64 0.7s Mpmcq concurrent
[ ] 13 0 0 13 / 64 0.8s Mpmcq concurrent
[ ] 20 0 0 20 / 64 0.9s Mpmcq concurrent
[ ] 34 0 0 34 / 64 1.4s Mpmcq concurrent
[ ] 37 0 0 37 / 64 1.7s Mpmcq concurrent
[ ] 38 0 0 38 / 64 1.9s Mpmcq concurrent
[ ] 41 0 0 41 / 64 2.8s Mpmcq concurrent
[ ] 44 0 0 44 / 64 3.3s Mpmcq concurrent
[ ] 47 0 0 47 / 64 3.5s Mpmcq concurrent
[ ] 51 0 0 51 / 64 4.3s Mpmcq concurrent
[ ] 53 0 0 53 / 64 4.7s Mpmcq concurrent
[ ] 55 0 0 55 / 64 5.7s Mpmcq concurrent
[ ] 59 0 0 59 / 64 6.0s Mpmcq concurrent
[ ] 62 0 0 62 / 64 6.1s Mpmcq concurrent
[✓] 64 0 0 64 / 64 6.1s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 978680384515781847
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Mpmcq sequential
[✓] 128 0 0 128 / 128 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 128 0.0s Mpmcq concurrent
[ ] 2 0 0 2 / 128 0.1s Mpmcq concurrent
[ ] 6 0 0 6 / 128 0.2s Mpmcq concurrent
[ ] 8 0 0 8 / 128 0.5s Mpmcq concurrent
[ ] 11 0 0 11 / 128 1.4s Mpmcq concurrent
[ ] 13 0 0 13 / 128 1.8s Mpmcq concurrent
[ ] 19 0 0 19 / 128 1.9s Mpmcq concurrent
[ ] 21 0 0 21 / 128 2.2s Mpmcq concurrent
[ ] 23 0 0 23 / 128 2.3s Mpmcq concurrent
[ ] 26 0 0 26 / 128 2.6s Mpmcq concurrent
[ ] 32 0 0 32 / 128 2.9s Mpmcq concurrent
[ ] 35 0 0 35 / 128 3.8s Mpmcq concurrent
[ ] 42 0 0 42 / 128 3.9s Mpmcq concurrent
[ ] 47 0 0 47 / 128 4.8s Mpmcq concurrent
[ ] 56 0 0 56 / 128 4.9s Mpmcq concurrent
[ ] 58 0 0 58 / 128 5.0s Mpmcq concurrent
[ ] 59 0 0 59 / 128 5.4s Mpmcq concurrent
[ ] 67 0 0 67 / 128 5.5s Mpmcq concurrent
[ ] 73 0 0 73 / 128 6.4s Mpmcq concurrent
[ ] 81 0 0 81 / 128 6.5s Mpmcq concurrent
[ ] 85 0 0 85 / 128 6.7s Mpmcq concurrent
[ ] 92 0 0 92 / 128 6.8s Mpmcq concurrent
[ ] 93 0 0 93 / 128 6.9s Mpmcq concurrent
[ ] 97 0 0 97 / 128 7.0s Mpmcq concurrent
[ ] 103 0 0 103 / 128 7.1s Mpmcq concurrent
[ ] 106 0 0 106 / 128 8.1s Mpmcq concurrent
[ ] 108 0 0 108 / 128 9.0s Mpmcq concurrent
[ ] 110 0 0 110 / 128 9.4s Mpmcq concurrent
[ ] 115 0 0 115 / 128 9.6s Mpmcq concurrent
[ ] 117 0 0 117 / 128 9.7s Mpmcq concurrent
[ ] 123 0 0 123 / 128 9.9s Mpmcq concurrent
[ ] 126 0 0 126 / 128 10.7s Mpmcq concurrent
[ ] 127 0 0 127 / 128 11.1s Mpmcq concurrent
[ ] 128 0 0 128 / 128 11.4s Mpmcq concurrent
[✓] 128 0 0 128 / 128 11.4s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 2029990424307023875
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Mpmcq sequential
[✓] 256 0 0 256 / 256 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 256 0.0s Mpmcq concurrent
[ ] 2 0 0 2 / 256 0.1s Mpmcq concurrent
[ ] 6 0 0 6 / 256 0.2s Mpmcq concurrent
[ ] 9 0 0 9 / 256 0.8s Mpmcq concurrent
[ ] 13 0 0 13 / 256 0.9s Mpmcq concurrent
[ ] 19 0 0 19 / 256 1.1s Mpmcq concurrent
[ ] 22 0 0 22 / 256 1.2s Mpmcq concurrent
[ ] 29 0 0 29 / 256 1.3s Mpmcq concurrent
[ ] 30 0 0 30 / 256 1.8s Mpmcq concurrent
[ ] 34 0 0 34 / 256 2.7s Mpmcq concurrent
[ ] 36 0 0 36 / 256 2.9s Mpmcq concurrent
[ ] 37 0 0 37 / 256 3.3s Mpmcq concurrent
[ ] 39 0 0 39 / 256 3.9s Mpmcq concurrent
[ ] 42 0 0 42 / 256 4.1s Mpmcq concurrent
[ ] 46 0 0 46 / 256 4.3s Mpmcq concurrent
[ ] 47 0 0 47 / 256 4.7s Mpmcq concurrent
[ ] 49 0 0 49 / 256 4.9s Mpmcq concurrent
[ ] 50 0 0 50 / 256 5.4s Mpmcq concurrent
[ ] 51 0 0 51 / 256 5.6s Mpmcq concurrent
[ ] 54 0 0 54 / 256 6.2s Mpmcq concurrent
[ ] 58 0 0 58 / 256 6.3s Mpmcq concurrent
[ ] 59 0 0 59 / 256 6.7s Mpmcq concurrent
[ ] 63 0 0 63 / 256 7.0s Mpmcq concurrent
[ ] 71 0 0 71 / 256 7.4s Mpmcq concurrent
[ ] 74 0 0 74 / 256 7.6s Mpmcq concurrent
[ ] 75 0 0 75 / 256 7.7s Mpmcq concurrent
[ ] 76 0 0 76 / 256 8.5s Mpmcq concurrent
[ ] 79 0 0 79 / 256 8.6s Mpmcq concurrent
[ ] 81 0 0 81 / 256 8.9s Mpmcq concurrent
[ ] 87 0 0 87 / 256 9.0s Mpmcq concurrent
[ ] 97 0 0 97 / 256 9.1s Mpmcq concurrent
[ ] 103 0 0 103 / 256 9.3s Mpmcq concurrent
[ ] 106 0 0 106 / 256 9.4s Mpmcq concurrent
[ ] 116 0 0 116 / 256 10.5s Mpmcq concurrent
[ ] 126 0 0 126 / 256 10.8s Mpmcq concurrent
[ ] 127 0 0 127 / 256 11.7s Mpmcq concurrent
[ ] 129 0 0 129 / 256 12.1s Mpmcq concurrent
[ ] 130 0 0 130 / 256 13.2s Mpmcq concurrent
[ ] 133 0 0 133 / 256 13.7s Mpmcq concurrent
[ ] 141 0 0 141 / 256 14.3s Mpmcq concurrent
[ ] 142 0 0 142 / 256 14.7s Mpmcq concurrent
[ ] 152 0 0 152 / 256 14.9s Mpmcq concurrent
[ ] 159 0 0 159 / 256 15.0s Mpmcq concurrent
[ ] 165 0 0 165 / 256 15.2s Mpmcq concurrent
[ ] 170 0 0 170 / 256 15.5s Mpmcq concurrent
[ ] 172 0 0 172 / 256 15.6s Mpmcq concurrent
[ ] 176 0 0 176 / 256 15.7s Mpmcq concurrent
[ ] 178 0 0 178 / 256 16.7s Mpmcq concurrent
[ ] 182 0 0 182 / 256 16.8s Mpmcq concurrent
[ ] 184 0 0 184 / 256 17.5s Mpmcq concurrent
[ ] 187 0 0 187 / 256 17.8s Mpmcq concurrent
[ ] 189 0 0 189 / 256 18.3s Mpmcq concurrent
[ ] 190 0 0 190 / 256 18.6s Mpmcq concurrent
[ ] 192 0 0 192 / 256 18.8s Mpmcq concurrent
[ ] 194 0 0 194 / 256 19.2s Mpmcq concurrent
[ ] 195 0 0 195 / 256 19.5s Mpmcq concurrent
[ ] 199 0 0 199 / 256 20.0s Mpmcq concurrent
[ ] 201 0 0 201 / 256 20.1s Mpmcq concurrent
[ ] 211 0 0 211 / 256 21.1s Mpmcq concurrent
[ ] 216 0 0 216 / 256 21.2s Mpmcq concurrent
[ ] 218 0 0 218 / 256 22.0s Mpmcq concurrent
[ ] 224 0 0 224 / 256 22.1s Mpmcq concurrent
[ ] 228 0 0 228 / 256 22.2s Mpmcq concurrent
[ ] 232 0 0 232 / 256 22.4s Mpmcq concurrent
[ ] 234 0 0 234 / 256 22.5s Mpmcq concurrent
[ ] 238 0 0 238 / 256 22.7s Mpmcq concurrent
[ ] 241 0 0 241 / 256 22.9s Mpmcq concurrent
[ ] 243 0 0 243 / 256 23.1s Mpmcq concurrent
[ ] 249 0 0 249 / 256 23.3s Mpmcq concurrent
[ ] 254 0 0 254 / 256 23.4s Mpmcq concurrent
[ ] 255 0 0 255 / 256 23.5s Mpmcq concurrent
[✓] 256 0 0 256 / 256 23.6s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 2198554515711098615
generated error fail pass / total time test name
[ ] 0 0 0 0 / 186 0.0s Mpmcq sequential
[✓] 186 0 0 186 / 186 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 186 0.0s Mpmcq concurrent
[ ] 22 0 0 22 / 186 0.5s Mpmcq concurrent
[ ] 27 0 0 27 / 186 1.1s Mpmcq concurrent
[ ] 32 0 0 32 / 186 1.3s Mpmcq concurrent
[ ] 34 0 0 34 / 186 1.7s Mpmcq concurrent
[ ] 38 0 0 38 / 186 2.2s Mpmcq concurrent
[ ] 50 0 0 50 / 186 2.3s Mpmcq concurrent
[ ] 54 0 0 54 / 186 2.5s Mpmcq concurrent
[ ] 56 0 0 56 / 186 2.7s Mpmcq concurrent
[ ] 60 0 0 60 / 186 2.8s Mpmcq concurrent
[ ] 64 0 0 64 / 186 2.9s Mpmcq concurrent
[ ] 67 0 0 67 / 186 3.3s Mpmcq concurrent
[ ] 69 0 0 69 / 186 4.3s Mpmcq concurrent
[ ] 73 0 0 73 / 186 4.5s Mpmcq concurrent
[ ] 75 0 0 75 / 186 4.6s Mpmcq concurrent
[ ] 81 0 0 81 / 186 4.9s Mpmcq concurrent
[ ] 83 0 0 83 / 186 5.3s Mpmcq concurrent
[ ] 84 0 0 84 / 186 5.8s Mpmcq concurrent
[ ] 91 0 0 91 / 186 6.0s Mpmcq concurrent
[ ] 97 0 0 97 / 186 6.1s Mpmcq concurrent
[ ] 98 0 0 98 / 186 6.2s Mpmcq concurrent
[ ] 100 0 0 100 / 186 6.7s Mpmcq concurrent
[ ] 102 0 0 102 / 186 8.0s Mpmcq concurrent
[ ] 105 0 0 105 / 186 8.1s Mpmcq concurrent
[ ] 106 0 0 106 / 186 8.2s Mpmcq concurrent
[ ] 108 0 0 108 / 186 8.4s Mpmcq concurrent
[ ] 109 0 0 109 / 186 8.6s Mpmcq concurrent
[ ] 111 0 0 111 / 186 8.8s Mpmcq concurrent
[ ] 118 0 0 118 / 186 9.5s Mpmcq concurrent
[ ] 122 0 0 122 / 186 10.1s Mpmcq concurrent
[ ] 123 0 0 123 / 186 11.1s Mpmcq concurrent
[ ] 126 0 0 126 / 186 11.8s Mpmcq concurrent
[ ] 131 0 0 131 / 186 11.9s Mpmcq concurrent
[ ] 134 0 0 134 / 186 12.3s Mpmcq concurrent
[ ] 137 0 0 137 / 186 13.3s Mpmcq concurrent
[ ] 143 0 0 143 / 186 13.6s Mpmcq concurrent
[ ] 146 0 0 146 / 186 13.7s Mpmcq concurrent
[ ] 153 0 0 153 / 186 14.1s Mpmcq concurrent
[ ] 156 0 0 156 / 186 14.3s Mpmcq concurrent
[ ] 158 0 0 158 / 186 15.2s Mpmcq concurrent
[ ] 163 0 0 163 / 186 15.8s Mpmcq concurrent
[ ] 165 0 0 165 / 186 16.7s Mpmcq concurrent
[ ] 168 0 0 168 / 186 16.9s Mpmcq concurrent
[ ] 174 0 0 174 / 186 17.4s Mpmcq concurrent
[ ] 183 0 0 183 / 186 17.7s Mpmcq concurrent
[ ] 185 0 0 185 / 186 18.8s Mpmcq concurrent
[✓] 186 0 0 186 / 186 18.8s Mpmcq concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_finally.exe)
Testing `Picos_finally'.
This run has ID `8IAT1OR9'.
[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.014s. 2 tests run.
(cd _build/default/test && ./test_picos.exe)
Testing `Picos'.
This run has ID `HM7M3NRF'.
[OK] Trigger 0 basics.
[OK] Computation 0 basics.
[OK] Computation 1 tx.
[OK] Computation 2 signals in order.
[OK] Fiber.FLS 0 basics.
[OK] Cancel 0
[OK] Cancel after 0
Full test results in `/src/_build/default/test/_build/_tests/Picos'.
Test Successful in 0.557s. 7 tests run.
(cd _build/default/test && ./test_io_with_lwt.exe)
Testing `Picos_io_with_lwt'.
This run has ID `LJBUUR8E'.
[OK] Unix 0 system.
Full test results in `/src/_build/default/test/_build/_tests/Picos_io_with_lwt'.
Test Successful in 2.120s. 1 test run.
(cd _build/default/test && ./test_io.exe)
Testing `Picos_io'.
This run has ID `1M5A557K'.
[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.516s. 6 tests run.
(cd _build/default/test && ./test_server_and_client.exe)
Using blocking sockets and threads on OCaml 4:
Looping server running
Server listening
Client B running
Server accepting
Client B connected
Client B wrote 100
Server accepted client
Server accepting
Server read 100
Server wrote 50
Client B read 50
Client A running
Server accepted client
Client A connected
Client A wrote 100
Server accepting
Server read 100
Client A read 50
Server wrote 50
Server and Client test: OK
(cd _build/default/test && ./test_select.exe)
Testing `Picos_select'.
This run has ID `AD3I3XZP'.
[OK] Intr 0
Full test results in `/src/_build/default/test/_build/_tests/Picos_select'.
Test Successful in 3.907s. 1 test run.
(cd _build/default/example && ./guards.exe)
Testing with scheduler: threads
Ran guarded case statement examples.
(cd _build/default/test && ./test_lock.exe)
random seed: 847263398188928932
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lock sequential
[✓] 32 0 0 32 / 32 0.0s Lock sequential
[ ] 0 0 0 0 / 32 0.0s Lock concurrent
[ ] 4 0 0 4 / 32 0.2s Lock concurrent
[ ] 8 0 0 8 / 32 0.3s Lock concurrent
[ ] 15 0 0 15 / 32 0.6s Lock concurrent
[ ] 18 0 0 18 / 32 1.3s Lock concurrent
[ ] 20 0 0 20 / 32 1.8s Lock concurrent
[ ] 23 0 0 23 / 32 2.2s Lock concurrent
[✓] 32 0 0 32 / 32 2.3s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 2993373546281459436
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Lock sequential
[✓] 64 0 0 64 / 64 0.0s Lock sequential
[ ] 0 0 0 0 / 64 0.0s Lock concurrent
[ ] 5 0 0 5 / 64 0.1s Lock concurrent
[ ] 9 0 0 9 / 64 0.4s Lock concurrent
[ ] 11 0 0 11 / 64 0.7s Lock concurrent
[ ] 18 0 0 18 / 64 1.0s Lock concurrent
[ ] 26 0 0 26 / 64 1.3s Lock concurrent
[ ] 29 0 0 29 / 64 1.5s Lock concurrent
[ ] 31 0 0 31 / 64 1.6s Lock concurrent
[ ] 32 0 0 32 / 64 1.8s Lock concurrent
[ ] 35 0 0 35 / 64 1.9s Lock concurrent
[ ] 43 0 0 43 / 64 2.5s Lock concurrent
[ ] 46 0 0 46 / 64 2.7s Lock concurrent
[ ] 48 0 0 48 / 64 3.0s Lock concurrent
[ ] 55 0 0 55 / 64 3.6s Lock concurrent
[✓] 64 0 0 64 / 64 3.7s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 4289586159020867742
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Lock sequential
[✓] 128 0 0 128 / 128 0.0s Lock sequential
[ ] 0 0 0 0 / 128 0.0s Lock concurrent
[ ] 1 0 0 1 / 128 0.3s Lock concurrent
[ ] 5 0 0 5 / 128 0.4s Lock concurrent
[ ] 12 0 0 12 / 128 0.5s Lock concurrent
[ ] 16 0 0 16 / 128 0.6s Lock concurrent
[ ] 18 0 0 18 / 128 0.7s Lock concurrent
[ ] 20 0 0 20 / 128 1.0s Lock concurrent
[ ] 24 0 0 24 / 128 1.1s Lock concurrent
[ ] 28 0 0 28 / 128 1.5s Lock concurrent
[ ] 29 0 0 29 / 128 1.7s Lock concurrent
[ ] 35 0 0 35 / 128 2.3s Lock concurrent
[ ] 45 0 0 45 / 128 2.4s Lock concurrent
[ ] 46 0 0 46 / 128 2.7s Lock concurrent
[ ] 49 0 0 49 / 128 2.8s Lock concurrent (generating)
[ ] 54 0 0 54 / 128 2.9s Lock concurrent
[ ] 59 0 0 59 / 128 3.1s Lock concurrent
[ ] 61 0 0 61 / 128 3.6s Lock concurrent
[ ] 62 0 0 62 / 128 4.1s Lock concurrent
[ ] 72 0 0 72 / 128 4.3s Lock concurrent
[ ] 74 0 0 74 / 128 4.4s Lock concurrent
[ ] 78 0 0 78 / 128 4.8s Lock concurrent
[ ] 83 0 0 83 / 128 4.9s Lock concurrent
[ ] 86 0 0 86 / 128 5.1s Lock concurrent
[ ] 89 0 0 89 / 128 5.2s Lock concurrent
[ ] 90 0 0 90 / 128 5.3s Lock concurrent
[ ] 91 0 0 91 / 128 5.9s Lock concurrent
[ ] 95 0 0 95 / 128 6.0s Lock concurrent
[ ] 97 0 0 97 / 128 6.1s Lock concurrent
[ ] 100 0 0 100 / 128 6.3s Lock concurrent
[ ] 105 0 0 105 / 128 6.4s Lock concurrent
[ ] 107 0 0 107 / 128 6.7s Lock concurrent
[ ] 118 0 0 118 / 128 6.8s Lock concurrent
[ ] 120 0 0 120 / 128 6.9s Lock concurrent
[ ] 124 0 0 124 / 128 7.0s Lock concurrent
[✓] 128 0 0 128 / 128 7.1s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 916136503978033933
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Lock sequential
[✓] 256 0 0 256 / 256 0.0s Lock sequential
[ ] 0 0 0 0 / 256 0.0s Lock concurrent
[ ] 1 0 0 1 / 256 0.3s Lock concurrent
[ ] 2 0 0 2 / 256 0.4s Lock concurrent
[ ] 6 0 0 6 / 256 0.5s Lock concurrent
[ ] 15 0 0 15 / 256 0.8s Lock concurrent
[ ] 20 0 0 20 / 256 0.9s Lock concurrent
[ ] 29 0 0 29 / 256 1.3s Lock concurrent
[ ] 42 0 0 42 / 256 1.4s Lock concurrent
[ ] 46 0 0 46 / 256 1.5s Lock concurrent
[ ] 47 0 0 47 / 256 1.7s Lock concurrent
[ ] 53 0 0 53 / 256 1.8s Lock concurrent
[ ] 57 0 0 57 / 256 2.5s Lock concurrent
[ ] 60 0 0 60 / 256 2.6s Lock concurrent
[ ] 64 0 0 64 / 256 2.7s Lock concurrent
[ ] 68 0 0 68 / 256 2.8s Lock concurrent
[ ] 70 0 0 70 / 256 2.9s Lock concurrent
[ ] 74 0 0 74 / 256 3.0s Lock concurrent
[ ] 78 0 0 78 / 256 3.2s Lock concurrent
[ ] 84 0 0 84 / 256 3.3s Lock concurrent
[ ] 85 0 0 85 / 256 3.5s Lock concurrent
[ ] 91 0 0 91 / 256 3.6s Lock concurrent
[ ] 96 0 0 96 / 256 4.0s Lock concurrent
[ ] 102 0 0 102 / 256 4.1s Lock concurrent
[ ] 106 0 0 106 / 256 4.3s Lock concurrent
[ ] 109 0 0 109 / 256 4.9s Lock concurrent
[ ] 110 0 0 110 / 256 5.5s Lock concurrent
[ ] 113 0 0 113 / 256 5.6s Lock concurrent
[ ] 114 0 0 114 / 256 5.7s Lock concurrent
[ ] 118 0 0 118 / 256 6.3s Lock concurrent
[ ] 119 0 0 119 / 256 6.4s Lock concurrent
[ ] 120 0 0 120 / 256 6.8s Lock concurrent
[ ] 124 0 0 124 / 256 6.9s Lock concurrent
[ ] 127 0 0 127 / 256 7.0s Lock concurrent
[ ] 132 0 0 132 / 256 7.6s Lock concurrent
[ ] 137 0 0 137 / 256 7.8s Lock concurrent
[ ] 141 0 0 141 / 256 7.9s Lock concurrent
[ ] 147 0 0 147 / 256 8.1s Lock concurrent
[ ] 151 0 0 151 / 256 8.4s Lock concurrent
[ ] 161 0 0 161 / 256 8.5s Lock concurrent
[ ] 162 0 0 162 / 256 8.6s Lock concurrent
[ ] 163 0 0 163 / 256 8.9s Lock concurrent
[ ] 167 0 0 167 / 256 9.0s Lock concurrent
[ ] 171 0 0 171 / 256 9.2s Lock concurrent
[ ] 175 0 0 175 / 256 9.3s Lock concurrent
[ ] 180 0 0 180 / 256 9.4s Lock concurrent
[ ] 183 0 0 183 / 256 10.0s Lock concurrent
[ ] 187 0 0 187 / 256 10.6s Lock concurrent
[ ] 192 0 0 192 / 256 10.8s Lock concurrent
[ ] 195 0 0 195 / 256 11.3s Lock concurrent
[ ] 202 0 0 202 / 256 11.9s Lock concurrent
[ ] 203 0 0 203 / 256 12.5s Lock concurrent
[ ] 204 0 0 204 / 256 12.6s Lock concurrent
[ ] 205 0 0 205 / 256 13.1s Lock concurrent
[ ] 206 0 0 206 / 256 13.4s Lock concurrent
[ ] 209 0 0 209 / 256 13.5s Lock concurrent
[ ] 210 0 0 210 / 256 14.2s Lock concurrent
[ ] 212 0 0 212 / 256 14.3s Lock concurrent
[ ] 219 0 0 219 / 256 14.5s Lock concurrent
[ ] 222 0 0 222 / 256 14.6s Lock concurrent
[ ] 224 0 0 224 / 256 14.7s Lock concurrent
[ ] 229 0 0 229 / 256 15.3s Lock concurrent
[ ] 233 0 0 233 / 256 15.9s Lock concurrent
[ ] 244 0 0 244 / 256 16.0s Lock concurrent
[ ] 248 0 0 248 / 256 16.1s Lock concurrent
[ ] 251 0 0 251 / 256 16.2s Lock concurrent
[✓] 256 0 0 256 / 256 16.3s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 2144652300644463331
generated error fail pass / total time test name
[ ] 0 0 0 0 / 499 0.0s Lock sequential
[✓] 499 0 0 499 / 499 0.0s Lock sequential
[ ] 0 0 0 0 / 499 0.0s Lock concurrent
[ ] 3 0 0 3 / 499 0.3s Lock concurrent
[ ] 8 0 0 8 / 499 0.6s Lock concurrent
[ ] 17 0 0 17 / 499 1.2s Lock concurrent
[ ] 23 0 0 23 / 499 1.3s Lock concurrent
[ ] 27 0 0 27 / 499 1.5s Lock concurrent
[ ] 28 0 0 28 / 499 1.8s Lock concurrent
[ ] 36 0 0 36 / 499 2.0s Lock concurrent
[ ] 43 0 0 43 / 499 2.2s Lock concurrent
[ ] 45 0 0 45 / 499 2.8s Lock concurrent
[ ] 47 0 0 47 / 499 3.0s Lock concurrent
[ ] 53 0 0 53 / 499 3.2s Lock concurrent
[ ] 58 0 0 58 / 499 3.3s Lock concurrent
[ ] 66 0 0 66 / 499 3.4s Lock concurrent
[ ] 67 0 0 67 / 499 3.9s Lock concurrent
[ ] 75 0 0 75 / 499 4.0s Lock concurrent
[ ] 85 0 0 85 / 499 4.1s Lock concurrent
[ ] 90 0 0 90 / 499 4.4s Lock concurrent
[ ] 94 0 0 94 / 499 5.0s Lock concurrent
[ ] 100 0 0 100 / 499 5.5s Lock concurrent
[ ] 104 0 0 104 / 499 5.6s Lock concurrent
[ ] 110 0 0 110 / 499 5.8s Lock concurrent
[ ] 115 0 0 115 / 499 5.9s Lock concurrent
[ ] 118 0 0 118 / 499 6.0s Lock concurrent
[ ] 123 0 0 123 / 499 6.1s Lock concurrent
[ ] 126 0 0 126 / 499 6.3s Lock concurrent
[ ] 131 0 0 131 / 499 6.5s Lock concurrent
[ ] 134 0 0 134 / 499 6.9s Lock concurrent
[ ] 136 0 0 136 / 499 7.0s Lock concurrent
[ ] 142 0 0 142 / 499 7.1s Lock concurrent
[ ] 143 0 0 143 / 499 7.4s Lock concurrent
[ ] 146 0 0 146 / 499 7.6s Lock concurrent
[ ] 150 0 0 150 / 499 7.7s Lock concurrent
[ ] 154 0 0 154 / 499 7.9s Lock concurrent
[ ] 157 0 0 157 / 499 8.0s Lock concurrent
[ ] 159 0 0 159 / 499 8.2s Lock concurrent
[ ] 164 0 0 164 / 499 8.4s Lock concurrent
[ ] 168 0 0 168 / 499 8.5s Lock concurrent
[ ] 169 0 0 169 / 499 8.6s Lock concurrent
[ ] 177 0 0 177 / 499 8.8s Lock concurrent
[ ] 181 0 0 181 / 499 8.9s Lock concurrent
[ ] 182 0 0 182 / 499 9.2s Lock concurrent
[ ] 183 0 0 183 / 499 9.4s Lock concurrent
[ ] 187 0 0 187 / 499 9.5s Lock concurrent
[ ] 191 0 0 191 / 499 9.6s Lock concurrent
[ ] 198 0 0 198 / 499 9.7s Lock concurrent
[ ] 201 0 0 201 / 499 10.1s Lock concurrent
[ ] 204 0 0 204 / 499 10.6s Lock concurrent
[ ] 207 0 0 207 / 499 10.7s Lock concurrent
[ ] 212 0 0 212 / 499 10.8s Lock concurrent
[ ] 218 0 0 218 / 499 11.0s Lock concurrent
[ ] 222 0 0 222 / 499 11.3s Lock concurrent
[ ] 224 0 0 224 / 499 11.4s Lock concurrent
[ ] 226 0 0 226 / 499 11.8s Lock concurrent
[ ] 230 0 0 230 / 499 12.2s Lock concurrent
[ ] 232 0 0 232 / 499 12.8s Lock concurrent
[ ] 234 0 0 234 / 499 12.9s Lock concurrent
[ ] 240 0 0 240 / 499 13.0s Lock concurrent
[ ] 241 0 0 241 / 499 13.2s Lock concurrent
[ ] 245 0 0 245 / 499 13.4s Lock concurrent
[ ] 248 0 0 248 / 499 13.5s Lock concurrent
[ ] 256 0 0 256 / 499 13.7s Lock concurrent
[ ] 261 0 0 261 / 499 13.8s Lock concurrent
[ ] 264 0 0 264 / 499 14.0s Lock concurrent
[ ] 267 0 0 267 / 499 14.6s Lock concurrent
[ ] 272 0 0 272 / 499 14.7s Lock concurrent
[ ] 273 0 0 273 / 499 15.2s Lock concurrent
[ ] 278 0 0 278 / 499 15.3s Lock concurrent
[ ] 285 0 0 285 / 499 15.9s Lock concurrent
[ ] 288 0 0 288 / 499 16.5s Lock concurrent
[ ] 289 0 0 289 / 499 16.6s Lock concurrent
[ ] 294 0 0 294 / 499 17.0s Lock concurrent
[ ] 295 0 0 295 / 499 17.1s Lock concurrent
[ ] 298 0 0 298 / 499 17.4s Lock concurrent
[ ] 301 0 0 301 / 499 17.6s Lock concurrent
[ ] 303 0 0 303 / 499 17.7s Lock concurrent
[ ] 306 0 0 306 / 499 18.3s Lock concurrent
[ ] 307 0 0 307 / 499 18.9s Lock concurrent
[ ] 311 0 0 311 / 499 19.0s Lock concurrent
[ ] 314 0 0 314 / 499 19.3s Lock concurrent
[ ] 319 0 0 319 / 499 19.4s Lock concurrent
[ ] 323 0 0 323 / 499 19.5s Lock concurrent
[ ] 324 0 0 324 / 499 19.8s Lock concurrent
[ ] 327 0 0 327 / 499 20.0s Lock concurrent
[ ] 332 0 0 332 / 499 20.1s Lock concurrent
[ ] 340 0 0 340 / 499 20.3s Lock concurrent
[ ] 344 0 0 344 / 499 20.9s Lock concurrent
[ ] 350 0 0 350 / 499 21.1s Lock concurrent
[ ] 351 0 0 351 / 499 21.6s Lock concurrent
[ ] 354 0 0 354 / 499 21.8s Lock concurrent
[ ] 357 0 0 357 / 499 22.1s Lock concurrent
[ ] 361 0 0 361 / 499 22.2s Lock concurrent
[ ] 367 0 0 367 / 499 22.3s Lock concurrent
[ ] 371 0 0 371 / 499 22.5s Lock concurrent
[ ] 375 0 0 375 / 499 22.6s Lock concurrent
[ ] 376 0 0 376 / 499 22.7s Lock concurrent
[ ] 381 0 0 381 / 499 22.8s Lock concurrent
[ ] 385 0 0 385 / 499 23.4s Lock concurrent
[ ] 391 0 0 391 / 499 23.6s Lock concurrent
[ ] 393 0 0 393 / 499 23.9s Lock concurrent
[ ] 397 0 0 397 / 499 24.0s Lock concurrent
[ ] 398 0 0 398 / 499 24.1s Lock concurrent
[ ] 403 0 0 403 / 499 24.3s Lock concurrent
[ ] 406 0 0 406 / 499 24.5s Lock concurrent
[ ] 407 0 0 407 / 499 24.6s Lock concurrent
[ ] 408 0 0 408 / 499 25.2s Lock concurrent
[ ] 414 0 0 414 / 499 25.4s Lock concurrent
[ ] 417 0 0 417 / 499 25.5s Lock concurrent
[ ] 418 0 0 418 / 499 25.8s Lock concurrent
[ ] 423 0 0 423 / 499 25.9s Lock concurrent
[ ] 427 0 0 427 / 499 26.0s Lock concurrent
[ ] 429 0 0 429 / 499 26.7s Lock concurrent
[ ] 434 0 0 434 / 499 26.9s Lock concurrent
[ ] 438 0 0 438 / 499 27.0s Lock concurrent
[ ] 443 0 0 443 / 499 27.5s Lock concurrent
[ ] 449 0 0 449 / 499 27.9s Lock concurrent
[ ] 451 0 0 451 / 499 28.1s Lock concurrent
[ ] 457 0 0 457 / 499 28.3s Lock concurrent
[ ] 465 0 0 465 / 499 28.4s Lock concurrent
[ ] 467 0 0 467 / 499 29.0s Lock concurrent
[ ] 472 0 0 472 / 499 29.1s Lock concurrent
[ ] 476 0 0 476 / 499 29.2s Lock concurrent
[ ] 480 0 0 480 / 499 29.7s Lock concurrent
[ ] 483 0 0 483 / 499 29.8s Lock concurrent
[ ] 487 0 0 487 / 499 30.1s Lock concurrent
[ ] 490 0 0 490 / 499 30.3s Lock concurrent
[ ] 491 0 0 491 / 499 30.5s Lock concurrent
[ ] 496 0 0 496 / 499 30.6s Lock concurrent
[✓] 499 0 0 499 / 499 30.7s Lock concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_structured.exe)
Testing `Picos_structured'.
This run has ID `S06XILUN'.
[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.658s. 14 tests run.
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 0)
Testing `Picos_sync'.
This run has ID `D7R4ENYP'.
[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.104s. 1 test run.
(cd _build/default/test && ./test_mutex.exe)
random seed: 2521948673163773756
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Mutex sequential
[✓] 32 0 0 32 / 32 0.0s Mutex sequential
[0 0 0 0 / 32 0.0s Mutex concurrent
[ ] 1 0 0 1 / 32 0.1s Mutex concurrent
[ ] 3 0 0 3 / 32 0.2s Mutex concurrent
[ ] 4 0 0 4 / 32 0.3s Mutex concurrent
[ ] 11 0 0 11 / 32 0.5s Mutex concurrent
[ ] 13 0 0 13 / 32 0.7s Mutex concurrent
[ ] 16 0 0 16 / 32 0.8s Mutex concurrent
[ ] 17 0 0 17 / 32 1.1s Mutex concurrent
[ ] 24 0 0 24 / 32 1.4s Mutex concurrent
[ ] 26 0 0 26 / 32 2.2s Mutex concurrent
[ ] 31 0 0 31 / 32 2.6s Mutex concurrent
[✓] 32 0 0 32 / 32 2.6s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 2294594832861779079
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Mutex sequential
[✓] 64 0 0 64 / 64 0.0s Mutex sequential
[ ] 0 0 0 0 / 64 0.0s Mutex concurrent
[ ] 4 0 0 4 / 64 0.1s Mutex concurrent
[ ] 5 0 0 5 / 64 0.6s Mutex concurrent
[ ] 6 0 0 6 / 64 0.9s Mutex concurrent
[ ] 11 0 0 11 / 64 1.0s Mutex concurrent
[ ] 13 0 0 13 / 64 1.2s Mutex concurrent
[ ] 18 0 0 18 / 64 1.3s Mutex concurrent
[ ] 22 0 0 22 / 64 1.4s Mutex concurrent
[ ] 26 0 0 26 / 64 1.7s Mutex concurrent
[ ] 43 0 0 43 / 64 1.8s Mutex concurrent
[ ] 45 0 0 45 / 64 2.0s Mutex concurrent
[ ] 46 0 0 46 / 64 2.2s Mutex concurrent
[ ] 50 0 0 50 / 64 2.4s Mutex concurrent
[ ] 53 0 0 53 / 64 2.7s Mutex concurrent
[ ] 57 0 0 57 / 64 2.8s Mutex concurrent
[ ] 58 0 0 58 / 64 3.3s Mutex concurrent
[ ] 59 0 0 59 / 64 3.6s Mutex concurrent
[ ] 63 0 0 63 / 64 4.2s Mutex concurrent
[✓] 64 0 0 64 / 64 4.2s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 953262825259138467
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Mutex sequential
[✓] 128 0 0 128 / 128 0.0s Mutex sequential
[ ] 0 0 0 0 / 128 0.0s Mutex concurrent
[ ] 21 0 0 21 / 128 0.1s Mutex concurrent
[ ] 22 0 0 22 / 128 0.2s Mutex concurrent
[ ] 25 0 0 25 / 128 0.3s Mutex concurrent
[ ] 27 0 0 27 / 128 0.5s Mutex concurrent
[ ] 30 0 0 30 / 128 0.6s Mutex concurrent
[ ] 33 0 0 33 / 128 0.8s Mutex concurrent
[ ] 37 0 0 37 / 128 0.9s Mutex concurrent
[ ] 48 0 0 48 / 128 1.0s Mutex concurrent
[ ] 53 0 0 53 / 128 1.1s Mutex concurrent
[ ] 56 0 0 56 / 128 1.3s Mutex concurrent
[ ] 62 0 0 62 / 128 1.9s Mutex concurrent
[ ] 77 0 0 77 / 128 2.0s Mutex concurrent
[ ] 81 0 0 81 / 128 2.9s Mutex concurrent
[ ] 84 0 0 84 / 128 3.0s Mutex concurrent
[ ] 96 0 0 96 / 128 3.6s Mutex concurrent
[ ] 100 0 0 100 / 128 3.7s Mutex concurrent
[ ] 101 0 0 101 / 128 4.0s Mutex concurrent
[ ] 106 0 0 106 / 128 4.6s Mutex concurrent
[ ] 110 0 0 110 / 128 4.7s Mutex concurrent
[ ] 118 0 0 118 / 128 4.8s Mutex concurrent
[ ] 119 0 0 119 / 128 5.0s Mutex concurrent
[✓] 128 0 0 128 / 128 5.0s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 2279725901021642302
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Mutex sequential
[✓] 256 0 0 256 / 256 0.0s Mutex sequential
[ ] 0 0 0 0 / 256 0.0s Mutex concurrent
[ ] 2 0 0 2 / 256 0.1s Mutex concurrent
[ ] 5 0 0 5 / 256 0.3s Mutex concurrent
[ ] 9 0 0 9 / 256 0.5s Mutex concurrent
[ ] 13 0 0 13 / 256 0.8s Mutex concurrent
[ ] 14 0 0 14 / 256 0.9s Mutex concurrent
[ ] 19 0 0 19 / 256 1.2s Mutex concurrent
[ ] 24 0 0 24 / 256 1.3s Mutex concurrent
[ ] 25 0 0 25 / 256 1.9s Mutex concurrent
[ ] 29 0 0 29 / 256 2.1s Mutex concurrent
[ ] 31 0 0 31 / 256 2.6s Mutex concurrent
[ ] 42 0 0 42 / 256 2.7s Mutex concurrent
[ ] 46 0 0 46 / 256 2.9s Mutex concurrent
[ ] 49 0 0 49 / 256 3.0s Mutex concurrent
[ ] 56 0 0 56 / 256 3.6s Mutex concurrent
[ ] 61 0 0 61 / 256 4.2s Mutex concurrent
[ ] 64 0 0 64 / 256 4.3s Mutex concurrent
[ ] 66 0 0 66 / 256 4.4s Mutex concurrent
[ ] 67 0 0 67 / 256 4.7s Mutex concurrent
[ ] 75 0 0 75 / 256 5.3s Mutex concurrent
[ ] 78 0 0 78 / 256 5.9s Mutex concurrent
[ ] 83 0 0 83 / 256 6.5s Mutex concurrent
[ ] 93 0 0 93 / 256 7.0s Mutex concurrent
[ ] 94 0 0 94 / 256 7.2s Mutex concurrent
[ ] 97 0 0 97 / 256 7.3s Mutex concurrent
[ ] 102 0 0 102 / 256 7.4s Mutex concurrent
[ ] 108 0 0 108 / 256 7.5s Mutex concurrent
[ ] 110 0 0 110 / 256 7.8s Mutex concurrent
[ ] 112 0 0 112 / 256 8.0s Mutex concurrent
[ ] 119 0 0 119 / 256 8.6s Mutex concurrent
[ ] 121 0 0 121 / 256 8.9s Mutex concurrent
[ ] 122 0 0 122 / 256 9.1s Mutex concurrent
[ ] 123 0 0 123 / 256 9.3s Mutex concurrent
[ ] 125 0 0 125 / 256 9.4s Mutex concurrent
[ ] 127 0 0 127 / 256 9.9s Mutex concurrent
[ ] 129 0 0 129 / 256 10.1s Mutex concurrent
[ ] 135 0 0 135 / 256 10.4s Mutex concurrent
[ ] 137 0 0 137 / 256 10.5s Mutex concurrent
[ ] 141 0 0 141 / 256 10.6s Mutex concurrent
[ ] 144 0 0 144 / 256 11.2s Mutex concurrent
[ ] 150 0 0 150 / 256 11.3s Mutex concurrent
[ ] 151 0 0 151 / 256 11.6s Mutex concurrent
[ ] 155 0 0 155 / 256 11.8s Mutex concurrent
[ ] 158 0 0 158 / 256 12.1s Mutex concurrent
[ ] 162 0 0 162 / 256 12.2s Mutex concurrent
[ ] 164 0 0 164 / 256 12.3s Mutex concurrent
[ ] 172 0 0 172 / 256 12.4s Mutex concurrent
[ ] 176 0 0 176 / 256 12.5s Mutex concurrent
[ ] 178 0 0 178 / 256 12.8s Mutex concurrent
[ ] 183 0 0 183 / 256 12.9s Mutex concurrent
[ ] 187 0 0 187 / 256 13.2s Mutex concurrent
[ ] 190 0 0 190 / 256 13.3s Mutex concurrent
[ ] 200 0 0 200 / 256 13.9s Mutex concurrent
[ ] 206 0 0 206 / 256 14.5s Mutex concurrent
[ ] 209 0 0 209 / 256 14.9s Mutex concurrent
[ ] 218 0 0 218 / 256 15.0s Mutex concurrent
[ ] 227 0 0 227 / 256 15.2s Mutex concurrent
[ ] 232 0 0 232 / 256 15.3s Mutex concurrent
[ ] 235 0 0 235 / 256 15.4s Mutex concurrent
[ ] 239 0 0 239 / 256 15.8s Mutex concurrent
[ ] 243 0 0 243 / 256 15.9s Mutex concurrent
[ ] 247 0 0 247 / 256 16.0s Mutex concurrent
[ ] 254 0 0 254 / 256 16.7s Mutex concurrent
[✓] 256 0 0 256 / 256 16.8s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 1971624755151668483
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Mutex sequential
[✓] 512 0 0 512 / 512 0.0s Mutex sequential
[ ] 0 0 0 0 / 512 0.0s Mutex concurrent
[ ] 2 0 0 2 / 512 0.1s Mutex concurrent
[ ] 5 0 0 5 / 512 0.5s Mutex concurrent
[ ] 8 0 0 8 / 512 1.1s Mutex concurrent
[ ] 11 0 0 11 / 512 1.2s Mutex concurrent
[ ] 15 0 0 15 / 512 1.4s Mutex concurrent
[ ] 16 0 0 16 / 512 1.5s Mutex concurrent
[ ] 17 0 0 17 / 512 2.0s Mutex concurrent
[ ] 21 0 0 21 / 512 2.1s Mutex concurrent
[ ] 32 0 0 32 / 512 2.3s Mutex concurrent
[ ] 39 0 0 39 / 512 2.4s Mutex concurrent
[ ] 41 0 0 41 / 512 3.0s Mutex concurrent
[ ] 42 0 0 42 / 512 3.5s Mutex concurrent
[ ] 46 0 0 46 / 512 3.9s Mutex concurrent
[ ] 49 0 0 49 / 512 4.0s Mutex concurrent
[ ] 50 0 0 50 / 512 4.2s Mutex concurrent
[ ] 51 0 0 51 / 512 4.8s Mutex concurrent
[ ] 56 0 0 56 / 512 4.9s Mutex concurrent
[ ] 58 0 0 58 / 512 5.0s Mutex concurrent
[ ] 61 0 0 61 / 512 5.2s Mutex concurrent
[ ] 72 0 0 72 / 512 5.4s Mutex concurrent
[ ] 79 0 0 79 / 512 5.9s Mutex concurrent
[ ] 81 0 0 81 / 512 6.0s Mutex concurrent
[ ] 85 0 0 85 / 512 6.1s Mutex concurrent
[ ] 86 0 0 86 / 512 6.4s Mutex concurrent
[ ] 91 0 0 91 / 512 6.5s Mutex concurrent
[ ] 96 0 0 96 / 512 6.7s Mutex concurrent
[ ] 100 0 0 100 / 512 6.8s Mutex concurrent
[ ] 103 0 0 103 / 512 7.0s Mutex concurrent
[ ] 108 0 0 108 / 512 7.2s Mutex concurrent
[ ] 111 0 0 111 / 512 7.3s Mutex concurrent
[ ] 114 0 0 114 / 512 7.6s Mutex concurrent
[ ] 117 0 0 117 / 512 7.7s Mutex concurrent
[ ] 119 0 0 119 / 512 8.0s Mutex concurrent
[ ] 120 0 0 120 / 512 8.2s Mutex concurrent
[ ] 122 0 0 122 / 512 8.4s Mutex concurrent
[ ] 127 0 0 127 / 512 8.5s Mutex concurrent
[ ] 130 0 0 130 / 512 8.9s Mutex concurrent
[ ] 134 0 0 134 / 512 9.0s Mutex concurrent
[ ] 138 0 0 138 / 512 9.1s Mutex concurrent
[ ] 140 0 0 140 / 512 9.6s Mutex concurrent
[ ] 146 0 0 146 / 512 9.8s Mutex concurrent
[ ] 147 0 0 147 / 512 10.0s Mutex concurrent
[ ] 151 0 0 151 / 512 10.1s Mutex concurrent
[ ] 155 0 0 155 / 512 10.7s Mutex concurrent
[ ] 158 0 0 158 / 512 11.4s Mutex concurrent
[ ] 164 0 0 164 / 512 11.5s Mutex concurrent
[ ] 166 0 0 166 / 512 11.6s Mutex concurrent
[ ] 169 0 0 169 / 512 11.7s Mutex concurrent
[ ] 173 0 0 173 / 512 12.3s Mutex concurrent
[ ] 174 0 0 174 / 512 12.5s Mutex concurrent
[ ] 182 0 0 182 / 512 12.6s Mutex concurrent
[ ] 185 0 0 185 / 512 12.7s Mutex concurrent
[ ] 187 0 0 187 / 512 12.9s Mutex concurrent
[ ] 189 0 0 189 / 512 13.0s Mutex concurrent
[ ] 195 0 0 195 / 512 13.1s Mutex concurrent
[ ] 201 0 0 201 / 512 13.2s Mutex concurrent
[ ] 205 0 0 205 / 512 13.6s Mutex concurrent
[ ] 213 0 0 213 / 512 14.1s Mutex concurrent
[ ] 214 0 0 214 / 512 14.4s Mutex concurrent
[ ] 217 0 0 217 / 512 14.5s Mutex concurrent
[ ] 219 0 0 219 / 512 14.6s Mutex concurrent
[ ] 223 0 0 223 / 512 14.7s Mutex concurrent
[ ] 227 0 0 227 / 512 15.4s Mutex concurrent
[ ] 234 0 0 234 / 512 15.6s Mutex concurrent
[ ] 237 0 0 237 / 512 16.1s Mutex concurrent
[ ] 241 0 0 241 / 512 16.4s Mutex concurrent
[ ] 247 0 0 247 / 512 16.5s Mutex concurrent
[ ] 250 0 0 250 / 512 16.6s Mutex concurrent
[ ] 252 0 0 252 / 512 16.7s Mutex concurrent
[ ] 254 0 0 254 / 512 16.8s Mutex concurrent
[ ] 255 0 0 255 / 512 17.1s Mutex concurrent
[ ] 265 0 0 265 / 512 17.2s Mutex concurrent
[ ] 268 0 0 268 / 512 17.3s Mutex concurrent
[ ] 272 0 0 272 / 512 17.4s Mutex concurrent
[ ] 275 0 0 275 / 512 17.5s Mutex concurrent
[ ] 282 0 0 282 / 512 18.1s Mutex concurrent
[ ] 286 0 0 286 / 512 18.5s Mutex concurrent
[ ] 287 0 0 287 / 512 18.6s Mutex concurrent
[ ] 292 0 0 292 / 512 18.8s Mutex concurrent
[ ] 297 0 0 297 / 512 18.9s Mutex concurrent
[ ] 300 0 0 300 / 512 19.2s Mutex concurrent
[ ] 302 0 0 302 / 512 19.5s Mutex concurrent
[ ] 306 0 0 306 / 512 19.7s Mutex concurrent
[ ] 309 0 0 309 / 512 20.2s Mutex concurrent
[ ] 311 0 0 311 / 512 20.4s Mutex concurrent
[ ] 314 0 0 314 / 512 20.5s Mutex concurrent
[ ] 317 0 0 317 / 512 20.9s Mutex concurrent
[ ] 321 0 0 321 / 512 21.0s Mutex concurrent
[ ] 325 0 0 325 / 512 21.1s Mutex concurrent
[ ] 328 0 0 328 / 512 21.2s Mutex concurrent
[ ] 331 0 0 331 / 512 21.3s Mutex concurrent
[ ] 332 0 0 332 / 512 21.9s Mutex concurrent
[ ] 338 0 0 338 / 512 22.0s Mutex concurrent
[ ] 340 0 0 340 / 512 22.2s Mutex concurrent
[ ] 346 0 0 346 / 512 22.7s Mutex concurrent
[ ] 350 0 0 350 / 512 22.8s Mutex concurrent
[ ] 358 0 0 358 / 512 22.9s Mutex concurrent
[ ] 360 0 0 360 / 512 23.1s Mutex concurrent
[ ] 363 0 0 363 / 512 23.6s Mutex concurrent
[ ] 365 0 0 365 / 512 23.7s Mutex concurrent
[ ] 376 0 0 376 / 512 23.8s Mutex concurrent
[ ] 380 0 0 380 / 512 24.4s Mutex concurrent
[ ] 384 0 0 384 / 512 25.1s Mutex concurrent
[ ] 392 0 0 392 / 512 25.6s Mutex concurrent
[ ] 396 0 0 396 / 512 25.7s Mutex concurrent
[ ] 399 0 0 399 / 512 26.3s Mutex concurrent
[ ] 400 0 0 400 / 512 26.4s Mutex concurrent
[ ] 404 0 0 404 / 512 26.6s Mutex concurrent
[ ] 410 0 0 410 / 512 26.7s Mutex concurrent
[ ] 411 0 0 411 / 512 26.8s Mutex concurrent
[ ] 412 0 0 412 / 512 27.0s Mutex concurrent
[ ] 416 0 0 416 / 512 27.2s Mutex concurrent
[ ] 418 0 0 418 / 512 27.3s Mutex concurrent
[ ] 424 0 0 424 / 512 28.0s Mutex concurrent
[ ] 428 0 0 428 / 512 28.5s Mutex concurrent
[ ] 429 0 0 429 / 512 28.8s Mutex concurrent
[ ] 432 0 0 432 / 512 29.0s Mutex concurrent
[ ] 434 0 0 434 / 512 29.1s Mutex concurrent
[ ] 437 0 0 437 / 512 29.2s Mutex concurrent
[ ] 441 0 0 441 / 512 29.7s Mutex concurrent
[ ] 452 0 0 452 / 512 30.0s Mutex concurrent
[ ] 460 0 0 460 / 512 30.1s Mutex concurrent
[ ] 465 0 0 465 / 512 30.2s Mutex concurrent
[ ] 467 0 0 467 / 512 30.5s Mutex concurrent
[ ] 473 0 0 473 / 512 30.9s Mutex concurrent
[ ] 481 0 0 481 / 512 31.1s Mutex concurrent
[ ] 485 0 0 485 / 512 31.2s Mutex concurrent
[ ] 487 0 0 487 / 512 31.4s Mutex concurrent
[ ] 490 0 0 490 / 512 31.5s Mutex concurrent
[ ] 491 0 0 491 / 512 31.7s Mutex concurrent
[ ] 497 0 0 497 / 512 31.8s Mutex concurrent
[ ] 504 0 0 504 / 512 31.9s Mutex concurrent
[ ] 509 0 0 509 / 512 32.3s Mutex concurrent
[ ] 512 0 0 512 / 512 32.5s Mutex concurrent
[✓] 512 0 0 512 / 512 32.5s Mutex concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_sem.exe)
random seed: 832540605356786856
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Sem sequential
[✓] 32 0 0 32 / 32 0.0s Sem sequential
[ ] 0 0 0 0 / 32 0.0s Sem concurrent
[ ] 11 0 0 11 / 32 0.2s Sem concurrent
[ ] 15 0 0 15 / 32 0.3s Sem concurrent
[ ] 18 0 0 18 / 32 0.6s Sem concurrent
[ ] 20 0 0 20 / 32 0.8s Sem concurrent
[ ] 21 0 0 21 / 32 1.0s Sem concurrent
[ ] 24 0 0 24 / 32 1.3s Sem concurrent
[ ] 27 0 0 27 / 32 1.4s Sem concurrent
[ ] 29 0 0 29 / 32 1.6s Sem concurrent
[ ] 30 0 0 30 / 32 1.8s Sem concurrent
[✓] 32 0 0 32 / 32 1.8s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 725664566885671489
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Sem sequential
[✓] 64 0 0 64 / 64 0.0s Sem sequential
[ ] 0 0 0 0 / 64 0.0s Sem concurrent
[ ] 3 0 0 3 / 64 0.3s Sem concurrent
[ ] 4 0 0 4 / 64 0.9s Sem concurrent
[ ] 8 0 0 8 / 64 1.0s Sem concurrent
[ ] 9 0 0 9 / 64 1.1s Sem concurrent
[ ] 11 0 0 11 / 64 1.3s Sem concurrent
[ ] 12 0 0 12 / 64 1.8s Sem concurrent
[ ] 15 0 0 15 / 64 2.1s Sem concurrent
[ ] 21 0 0 21 / 64 2.3s Sem concurrent
[ ] 22 0 0 22 / 64 2.9s Sem concurrent
[ ] 26 0 0 26 / 64 3.0s Sem concurrent
[ ] 30 0 0 30 / 64 3.1s Sem concurrent
[ ] 31 0 0 31 / 64 3.7s Sem concurrent
[ ] 34 0 0 34 / 64 3.8s Sem concurrent
[ ] 38 0 0 38 / 64 3.9s Sem concurrent
[ ] 50 0 0 50 / 64 4.2s Sem concurrent
[ ] 54 0 0 54 / 64 4.3s Sem concurrent
[ ] 60 0 0 60 / 64 4.6s Sem concurrent
[ ] 62 0 0 62 / 64 5.0s Sem concurrent
[✓] 64 0 0 64 / 64 5.0s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 1739747147582097979
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Sem sequential
[✓] 128 0 0 128 / 128 0.0s Sem sequential
[ ] 0 0 0 0 / 128 0.0s Sem concurrent
[ ] 4 0 0 4 / 128 0.2s Sem concurrent
[ ] 6 0 0 6 / 128 0.6s Sem concurrent
[ ] 13 0 0 13 / 128 0.8s Sem concurrent
[ ] 15 0 0 15 / 128 1.0s Sem concurrent
[ ] 20 0 0 20 / 128 1.6s Sem concurrent
[ ] 24 0 0 24 / 128 2.1s Sem concurrent
[ ] 25 0 0 25 / 128 2.4s Sem concurrent
[ ] 31 0 0 31 / 128 2.6s Sem concurrent
[ ] 33 0 0 33 / 128 2.8s Sem concurrent
[ ] 41 0 0 41 / 128 3.4s Sem concurrent
[ ] 48 0 0 48 / 128 3.5s Sem concurrent
[ ] 50 0 0 50 / 128 3.9s Sem concurrent
[ ] 53 0 0 53 / 128 4.0s Sem concurrent
[ ] 57 0 0 57 / 128 4.1s Sem concurrent
[ ] 58 0 0 58 / 128 4.2s Sem concurrent
[ ] 60 0 0 60 / 128 4.5s Sem concurrent
[ ] 62 0 0 62 / 128 4.7s Sem concurrent
[ ] 66 0 0 66 / 128 4.8s Sem concurrent
[ ] 71 0 0 71 / 128 5.5s Sem concurrent
[ ] 79 0 0 79 / 128 6.2s Sem concurrent
[ ] 83 0 0 83 / 128 6.3s Sem concurrent
[ ] 84 0 0 84 / 128 6.4s Sem concurrent
[ ] 89 0 0 89 / 128 6.6s Sem concurrent
[ ] 93 0 0 93 / 128 6.9s Sem concurrent
[ ] 94 0 0 94 / 128 7.2s Sem concurrent
[ ] 99 0 0 99 / 128 7.3s Sem concurrent
[ ] 100 0 0 100 / 128 7.5s Sem concurrent
[ ] 104 0 0 104 / 128 7.6s Sem concurrent
[ ] 108 0 0 108 / 128 7.7s Sem concurrent
[ ] 112 0 0 112 / 128 7.8s Sem concurrent
[ ] 117 0 0 117 / 128 7.9s Sem concurrent
[ ] 118 0 0 118 / 128 8.5s Sem concurrent
[ ] 123 0 0 123 / 128 8.8s Sem concurrent
[ ] 125 0 0 125 / 128 9.1s Sem concurrent
[ ] 126 0 0 126 / 128 9.2s Sem concurrent
[✓] 128 0 0 128 / 128 9.3s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 2715841376157107911
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Sem sequential
[✓] 256 0 0 256 / 256 0.0s Sem sequential
[ ] 0 0 0 0 / 256 0.0s Sem concurrent
[ ] 5 0 0 5 / 256 0.1s Sem concurrent
[ ] 9 0 0 9 / 256 0.4s Sem concurrent
[ ] 16 0 0 16 / 256 0.5s Sem concurrent
[ ] 21 0 0 21 / 256 1.2s Sem concurrent
[ ] 25 0 0 25 / 256 1.8s Sem concurrent
[ ] 30 0 0 30 / 256 2.0s Sem concurrent
[ ] 31 0 0 31 / 256 2.4s Sem concurrent
[ ] 33 0 0 33 / 256 2.6s Sem concurrent
[ ] 35 0 0 35 / 256 2.7s Sem concurrent
[ ] 41 0 0 41 / 256 3.2s Sem concurrent
[ ] 47 0 0 47 / 256 3.8s Sem concurrent
[ ] 48 0 0 48 / 256 4.2s Sem concurrent
[ ] 50 0 0 50 / 256 4.5s Sem concurrent
[ ] 53 0 0 53 / 256 4.6s Sem concurrent
[ ] 61 0 0 61 / 256 4.8s Sem concurrent
[ ] 67 0 0 67 / 256 4.9s Sem concurrent
[ ] 69 0 0 69 / 256 5.0s Sem concurrent
[ ] 73 0 0 73 / 256 5.2s Sem concurrent
[ ] 78 0 0 78 / 256 5.3s Sem concurrent
[ ] 82 0 0 82 / 256 5.5s Sem concurrent
[ ] 84 0 0 84 / 256 5.6s Sem concurrent
[ ] 88 0 0 88 / 256 5.8s Sem concurrent
[ ] 94 0 0 94 / 256 6.0s Sem concurrent
[ ] 96 0 0 96 / 256 6.3s Sem concurrent
[ ] 105 0 0 105 / 256 6.8s Sem concurrent
[ ] 112 0 0 112 / 256 7.2s Sem concurrent
[ ] 115 0 0 115 / 256 7.5s Sem concurrent
[ ] 119 0 0 119 / 256 7.8s Sem concurrent
[ ] 126 0 0 126 / 256 7.9s Sem concurrent
[ ] 129 0 0 129 / 256 8.1s Sem concurrent
[ ] 130 0 0 130 / 256 8.4s Sem concurrent
[ ] 134 0 0 134 / 256 8.5s Sem concurrent
[ ] 137 0 0 137 / 256 8.6s Sem concurrent
[ ] 139 0 0 139 / 256 8.8s Sem concurrent
[ ] 141 0 0 141 / 256 8.9s Sem concurrent
[ ] 145 0 0 145 / 256 9.0s Sem concurrent
[ ] 152 0 0 152 / 256 9.6s Sem concurrent
[ ] 161 0 0 161 / 256 9.7s Sem concurrent
[ ] 164 0 0 164 / 256 9.9s Sem concurrent
[ ] 169 0 0 169 / 256 10.2s Sem concurrent
[ ] 172 0 0 172 / 256 10.5s Sem concurrent
[ ] 173 0 0 173 / 256 10.8s Sem concurrent
[ ] 178 0 0 178 / 256 11.0s Sem concurrent
[ ] 181 0 0 181 / 256 11.1s Sem concurrent
[ ] 184 0 0 184 / 256 11.2s Sem concurrent
[ ] 190 0 0 190 / 256 11.3s Sem concurrent
[ ] 192 0 0 192 / 256 12.0s Sem concurrent
[ ] 196 0 0 196 / 256 12.4s Sem concurrent
[ ] 197 0 0 197 / 256 12.5s Sem concurrent
[ ] 198 0 0 198 / 256 12.7s Sem concurrent
[ ] 201 0 0 201 / 256 13.0s Sem concurrent
[ ] 213 0 0 213 / 256 13.2s Sem concurrent
[ ] 216 0 0 216 / 256 13.3s Sem concurrent
[ ] 221 0 0 221 / 256 13.4s Sem concurrent
[ ] 223 0 0 223 / 256 13.5s Sem concurrent
[ ] 226 0 0 226 / 256 13.9s Sem concurrent
[ ] 229 0 0 229 / 256 14.2s Sem concurrent
[ ] 235 0 0 235 / 256 14.3s Sem concurrent
[ ] 236 0 0 236 / 256 14.9s Sem concurrent
[ ] 239 0 0 239 / 256 15.0s Sem concurrent
[ ] 240 0 0 240 / 256 15.3s Sem concurrent
[ ] 241 0 0 241 / 256 15.6s Sem concurrent
[ ] 245 0 0 245 / 256 15.7s Sem concurrent
[ ] 248 0 0 248 / 256 16.3s Sem concurrent
[ ] 249 0 0 249 / 256 16.5s Sem concurrent
[ ] 254 0 0 254 / 256 16.7s Sem concurrent
[✓] 256 0 0 256 / 256 16.7s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 2733811845514048376
generated error fail pass / total time test name
[ ] 0 0 0 0 / 397 0.0s Sem sequential
[✓] 397 0 0 397 / 397 0.0s Sem sequential
[ ] 0 0 0 0 / 397 0.0s Sem concurrent
[ ] 3 0 0 3 / 397 0.2s Sem concurrent
[ ] 4 0 0 4 / 397 0.3s Sem concurrent
[ ] 5 0 0 5 / 397 0.8s Sem concurrent
[ ] 10 0 0 10 / 397 1.2s Sem concurrent
[ ] 12 0 0 12 / 397 1.3s Sem concurrent
[ ] 19 0 0 19 / 397 1.5s Sem concurrent
[ ] 22 0 0 22 / 397 1.6s Sem concurrent
[ ] 27 0 0 27 / 397 1.8s Sem concurrent
[ ] 28 0 0 28 / 397 2.0s Sem concurrent
[ ] 33 0 0 33 / 397 2.1s Sem concurrent
[ ] 34 0 0 34 / 397 2.3s Sem concurrent
[ ] 39 0 0 39 / 397 2.4s Sem concurrent
[ ] 41 0 0 41 / 397 2.6s Sem concurrent
[ ] 44 0 0 44 / 397 2.8s Sem concurrent
[ ] 54 0 0 54 / 397 2.9s Sem concurrent (collecting)
[ ] 59 0 0 59 / 397 3.5s Sem concurrent
[ ] 61 0 0 61 / 397 3.6s Sem concurrent
[ ] 65 0 0 65 / 397 3.7s Sem concurrent
[ ] 68 0 0 68 / 397 3.9s Sem concurrent
[ ] 71 0 0 71 / 397 4.4s Sem concurrent
[ ] 76 0 0 76 / 397 4.5s Sem concurrent
[ ] 79 0 0 79 / 397 4.7s Sem concurrent
[ ] 84 0 0 84 / 397 4.8s Sem concurrent
[ ] 94 0 0 94 / 397 5.1s Sem concurrent
[ ] 97 0 0 97 / 397 5.2s Sem concurrent
[ ] 99 0 0 99 / 397 5.3s Sem concurrent
[ ] 105 0 0 105 / 397 5.4s Sem concurrent
[ ] 111 0 0 111 / 397 5.5s Sem concurrent
[ ] 115 0 0 115 / 397 5.7s Sem concurrent
[ ] 118 0 0 118 / 397 5.8s Sem concurrent
[ ] 121 0 0 121 / 397 5.9s Sem concurrent
[ ] 124 0 0 124 / 397 6.0s Sem concurrent
[ ] 126 0 0 126 / 397 6.6s Sem concurrent
[ ] 139 0 0 139 / 397 6.7s Sem concurrent
[ ] 142 0 0 142 / 397 6.8s Sem concurrent
[ ] 143 0 0 143 / 397 7.0s Sem concurrent
[ ] 144 0 0 144 / 397 7.3s Sem concurrent
[ ] 148 0 0 148 / 397 7.6s Sem concurrent
[ ] 150 0 0 150 / 397 7.9s Sem concurrent
[ ] 156 0 0 156 / 397 8.0s Sem concurrent
[ ] 157 0 0 157 / 397 8.2s Sem concurrent
[ ] 161 0 0 161 / 397 8.4s Sem concurrent
[ ] 164 0 0 164 / 397 8.9s Sem concurrent
[ ] 167 0 0 167 / 397 9.1s Sem concurrent
[ ] 175 0 0 175 / 397 9.6s Sem concurrent
[ ] 178 0 0 178 / 397 9.9s Sem concurrent
[ ] 182 0 0 182 / 397 10.0s Sem concurrent
[ ] 183 0 0 183 / 397 10.2s Sem concurrent
[ ] 189 0 0 189 / 397 10.4s Sem concurrent
[ ] 194 0 0 194 / 397 10.5s Sem concurrent
[ ] 196 0 0 196 / 397 10.6s Sem concurrent
[ ] 202 0 0 202 / 397 10.8s Sem concurrent
[ ] 205 0 0 205 / 397 10.9s Sem concurrent
[ ] 206 0 0 206 / 397 11.2s Sem concurrent
[ ] 208 0 0 208 / 397 11.5s Sem concurrent
[ ] 211 0 0 211 / 397 11.7s Sem concurrent
[ ] 216 0 0 216 / 397 11.8s Sem concurrent
[ ] 219 0 0 219 / 397 12.1s Sem concurrent
[ ] 222 0 0 222 / 397 12.2s Sem concurrent
[ ] 224 0 0 224 / 397 12.8s Sem concurrent
[ ] 229 0 0 229 / 397 13.0s Sem concurrent
[ ] 230 0 0 230 / 397 13.5s Sem concurrent
[ ] 234 0 0 234 / 397 13.7s Sem concurrent
[ ] 239 0 0 239 / 397 14.3s Sem concurrent
[ ] 243 0 0 243 / 397 14.7s Sem concurrent
[ ] 252 0 0 252 / 397 14.8s Sem concurrent
[ ] 265 0 0 265 / 397 14.9s Sem concurrent
[ ] 269 0 0 269 / 397 15.2s Sem concurrent
[ ] 274 0 0 274 / 397 15.4s Sem concurrent
[ ] 282 0 0 282 / 397 15.7s Sem concurrent
[ ] 284 0 0 284 / 397 15.8s Sem concurrent
[ ] 285 0 0 285 / 397 16.4s Sem concurrent
[ ] 292 0 0 292 / 397 16.9s Sem concurrent
[ ] 293 0 0 293 / 397 17.5s Sem concurrent
[ ] 297 0 0 297 / 397 18.1s Sem concurrent
[ ] 300 0 0 300 / 397 18.2s Sem concurrent
[ ] 302 0 0 302 / 397 18.6s Sem concurrent
[ ] 319 0 0 319 / 397 18.7s Sem concurrent
[ ] 329 0 0 329 / 397 19.1s Sem concurrent
[ ] 338 0 0 338 / 397 19.7s Sem concurrent
[ ] 345 0 0 345 / 397 19.9s Sem concurrent
[ ] 350 0 0 350 / 397 20.0s Sem concurrent
[ ] 356 0 0 356 / 397 20.1s Sem concurrent
[ ] 357 0 0 357 / 397 20.3s Sem concurrent
[ ] 363 0 0 363 / 397 20.4s Sem concurrent
[ ] 366 0 0 366 / 397 20.5s Sem concurrent
[ ] 367 0 0 367 / 397 20.8s Sem concurrent
[ ] 372 0 0 372 / 397 21.2s Sem concurrent
[ ] 374 0 0 374 / 397 21.3s Sem concurrent
[ ] 379 0 0 379 / 397 21.5s Sem concurrent
[ ] 384 0 0 384 / 397 21.7s Sem concurrent
[ ] 387 0 0 387 / 397 21.8s Sem concurrent
[ ] 395 0 0 395 / 397 22.0s Sem concurrent
[ ] 397 0 0 397 / 397 22.1s Sem concurrent
[✓] 397 0 0 397 / 397 22.1s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 3733782788661482965
generated error fail pass / total time test name
[ ] 0 0 0 0 / 81 0.0s Sem sequential
[✓] 81 0 0 81 / 81 0.0s Sem sequential
[ ] 0 0 0 0 / 81 0.0s Sem concurrent
[ ] 5 0 0 5 / 81 0.3s Sem concurrent
[ ] 6 0 0 6 / 81 0.4s Sem concurrent
[ ] 7 0 0 7 / 81 0.7s Sem concurrent
[ ] 9 0 0 9 / 81 0.9s Sem concurrent
[ ] 12 0 0 12 / 81 1.0s Sem concurrent
[ ] 15 0 0 15 / 81 1.1s Sem concurrent
[ ] 19 0 0 19 / 81 1.2s Sem concurrent
[ ] 25 0 0 25 / 81 1.4s Sem concurrent
[ ] 27 0 0 27 / 81 1.7s Sem concurrent
[ ] 32 0 0 32 / 81 1.9s Sem concurrent
[ ] 39 0 0 39 / 81 2.0s Sem concurrent
[ ] 48 0 0 48 / 81 2.7s Sem concurrent
[ ] 51 0 0 51 / 81 3.0s Sem concurrent
[ ] 55 0 0 55 / 81 3.4s Sem concurrent
[ ] 58 0 0 58 / 81 3.5s Sem concurrent
[ ] 59 0 0 59 / 81 4.4s Sem concurrent
[ ] 61 0 0 61 / 81 5.2s Sem concurrent
[ ] 62 0 0 62 / 81 5.9s Sem concurrent
[ ] 69 0 0 69 / 81 6.2s Sem concurrent
[ ] 74 0 0 74 / 81 6.3s Sem concurrent
[ ] 75 0 0 75 / 81 6.8s Sem concurrent
[ ] 79 0 0 79 / 81 7.3s Sem concurrent
[✓] 81 0 0 81 / 81 7.3s Sem concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 1)
Testing `Picos_sync'.
This run has ID `A6HNOQ2S'.
[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.009s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Picos Computation')
Picos Computation:
attach detach pairs over time/1 worker:
1.32 M/s
attach detach pairs over time/trivial:
3.31 M/s
time per attach detach pair/1 worker:
756.22 ns
time per attach detach pair/trivial:
302.06 ns
(cd _build/default/test && ./test_rwlock.exe)
random seed: 111355191066272092
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Rwlock sequential
[✓] 32 0 0 32 / 32 0.0s Rwlock sequential
[ ] 0 0 0 0 / 32 0.0s Rwlock concurrent
[ ] 4 0 0 4 / 32 0.7s Rwlock concurrent
[ ] 9 0 0 9 / 32 0.8s Rwlock concurrent
[ ] 22 0 0 22 / 32 1.0s Rwlock concurrent
[ ] 26 0 0 26 / 32 1.5s Rwlock concurrent
[ ] 28 0 0 28 / 32 1.8s Rwlock concurrent
[ ] 32 0 0 32 / 32 2.0s Rwlock concurrent
[✓] 32 0 0 32 / 32 2.0s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 4568504013256533546
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Rwlock sequential
[✓] 64 0 0 64 / 64 0.0s Rwlock sequential
[ ] 0 0 0 0 / 64 0.0s Rwlock concurrent
[ ] 5 0 0 5 / 64 0.1s Rwlock concurrent
[ ] 9 0 0 9 / 64 0.3s Rwlock concurrent
[ ] 11 0 0 11 / 64 0.8s Rwlock concurrent
[ ] 12 0 0 12 / 64 1.4s Rwlock concurrent
[ ] 15 0 0 15 / 64 1.5s Rwlock concurrent
[ ] 29 0 0 29 / 64 1.8s Rwlock concurrent
[ ] 33 0 0 33 / 64 2.1s Rwlock concurrent
[ ] 38 0 0 38 / 64 2.2s Rwlock concurrent
[ ] 39 0 0 39 / 64 2.4s Rwlock concurrent
[ ] 42 0 0 42 / 64 3.1s Rwlock concurrent
[ ] 43 0 0 43 / 64 3.7s Rwlock concurrent
[ ] 44 0 0 44 / 64 3.8s Rwlock concurrent
[ ] 47 0 0 47 / 64 4.2s Rwlock concurrent
[ ] 48 0 0 48 / 64 4.4s Rwlock concurrent
[ ] 52 0 0 52 / 64 4.8s Rwlock concurrent
[ ] 54 0 0 54 / 64 5.3s Rwlock concurrent
[ ] 58 0 0 58 / 64 5.4s Rwlock concurrent
[ ] 62 0 0 62 / 64 5.5s Rwlock concurrent
[ ] 64 0 0 64 / 64 6.2s Rwlock concurrent
[✓] 64 0 0 64 / 64 6.2s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 4302634870019701664
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Rwlock sequential
[✓] 128 0 0 128 / 128 0.0s Rwlock sequential
[ ] 0 0 0 0 / 128 0.0s Rwlock concurrent
[ ] 3 0 0 3 / 128 0.1s Rwlock concurrent
[ ] 5 0 0 5 / 128 0.4s Rwlock concurrent
[ ] 9 0 0 9 / 128 0.5s Rwlock concurrent
[ ] 12 0 0 12 / 128 0.8s Rwlock concurrent
[ ] 19 0 0 19 / 128 1.1s Rwlock concurrent
[ ] 22 0 0 22 / 128 1.4s Rwlock concurrent
[ ] 26 0 0 26 / 128 1.8s Rwlock concurrent
[ ] 31 0 0 31 / 128 1.9s Rwlock concurrent
[ ] 33 0 0 33 / 128 2.5s Rwlock concurrent
[ ] 37 0 0 37 / 128 2.7s Rwlock concurrent
[ ] 38 0 0 38 / 128 2.8s Rwlock concurrent
[ ] 43 0 0 43 / 128 2.9s Rwlock concurrent
[ ] 46 0 0 46 / 128 3.0s Rwlock concurrent
[ ] 50 0 0 50 / 128 3.1s Rwlock concurrent
[ ] 54 0 0 54 / 128 3.3s Rwlock concurrent
[ ] 57 0 0 57 / 128 3.4s Rwlock concurrent
[ ] 58 0 0 58 / 128 3.7s Rwlock concurrent
[ ] 62 0 0 62 / 128 3.8s Rwlock concurrent
[ ] 65 0 0 65 / 128 3.9s Rwlock concurrent
[ ] 68 0 0 68 / 128 4.0s Rwlock concurrent
[ ] 70 0 0 70 / 128 4.6s Rwlock concurrent
[ ] 71 0 0 71 / 128 5.1s Rwlock concurrent
[ ] 73 0 0 73 / 128 5.3s Rwlock concurrent
[ ] 76 0 0 76 / 128 5.4s Rwlock concurrent
[ ] 78 0 0 78 / 128 5.7s Rwlock concurrent
[ ] 81 0 0 81 / 128 5.8s Rwlock concurrent
[ ] 83 0 0 83 / 128 6.2s Rwlock concurrent
[ ] 88 0 0 88 / 128 6.3s Rwlock concurrent
[ ] 91 0 0 91 / 128 6.4s Rwlock concurrent
[ ] 100 0 0 100 / 128 6.6s Rwlock concurrent
[ ] 101 0 0 101 / 128 6.9s Rwlock concurrent
[ ] 104 0 0 104 / 128 7.0s Rwlock concurrent
[ ] 107 0 0 107 / 128 7.6s Rwlock concurrent
[ ] 114 0 0 114 / 128 8.0s Rwlock concurrent
[ ] 117 0 0 117 / 128 8.6s Rwlock concurrent
[ ] 118 0 0 118 / 128 9.1s Rwlock concurrent
[ ] 123 0 0 123 / 128 9.2s Rwlock concurrent
[ ] 125 0 0 125 / 128 9.8s Rwlock concurrent
[✓] 128 0 0 128 / 128 9.8s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 2461580696037036111
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Rwlock sequential
[✓] 256 0 0 256 / 256 0.0s Rwlock sequential
[ ] 0 0 0 0 / 256 0.0s Rwlock concurrent
[ ] 9 0 0 9 / 256 0.2s Rwlock concurrent
[ ] 11 0 0 11 / 256 0.3s Rwlock concurrent
[ ] 12 0 0 12 / 256 0.4s Rwlock concurrent
[ ] 18 0 0 18 / 256 0.6s Rwlock concurrent
[ ] 20 0 0 20 / 256 1.1s Rwlock concurrent
[ ] 24 0 0 24 / 256 1.3s Rwlock concurrent
[ ] 27 0 0 27 / 256 1.4s Rwlock concurrent
[ ] 28 0 0 28 / 256 1.5s Rwlock concurrent
[ ] 33 0 0 33 / 256 1.6s Rwlock concurrent
[ ] 39 0 0 39 / 256 1.7s Rwlock concurrent
[ ] 42 0 0 42 / 256 1.8s Rwlock concurrent
[ ] 43 0 0 43 / 256 2.4s Rwlock concurrent
[ ] 47 0 0 47 / 256 2.5s Rwlock concurrent
[ ] 50 0 0 50 / 256 2.6s Rwlock concurrent
[ ] 56 0 0 56 / 256 2.9s Rwlock concurrent
[ ] 62 0 0 62 / 256 3.4s Rwlock concurrent
[ ] 63 0 0 63 / 256 4.0s Rwlock concurrent
[ ] 65 0 0 65 / 256 4.3s Rwlock concurrent
[ ] 67 0 0 67 / 256 4.5s Rwlock concurrent
[ ] 70 0 0 70 / 256 4.8s Rwlock concurrent
[ ] 73 0 0 73 / 256 4.9s Rwlock concurrent
[ ] 77 0 0 77 / 256 5.0s Rwlock concurrent
[ ] 81 0 0 81 / 256 5.3s Rwlock concurrent
[ ] 86 0 0 86 / 256 5.4s Rwlock concurrent
[ ] 94 0 0 94 / 256 5.5s Rwlock concurrent
[ ] 96 0 0 96 / 256 5.7s Rwlock concurrent
[ ] 98 0 0 98 / 256 5.9s Rwlock concurrent
[ ] 102 0 0 102 / 256 6.0s Rwlock concurrent
[ ] 106 0 0 106 / 256 6.2s Rwlock concurrent
[ ] 109 0 0 109 / 256 6.3s Rwlock concurrent
[ ] 111 0 0 111 / 256 6.5s Rwlock concurrent
[ ] 115 0 0 115 / 256 6.6s Rwlock concurrent
[ ] 116 0 0 116 / 256 6.8s Rwlock concurrent
[ ] 118 0 0 118 / 256 7.2s Rwlock concurrent
[ ] 122 0 0 122 / 256 7.3s Rwlock concurrent
[ ] 123 0 0 123 / 256 7.4s Rwlock concurrent
[ ] 128 0 0 128 / 256 7.6s Rwlock concurrent
[ ] 132 0 0 132 / 256 7.8s Rwlock concurrent
[ ] 134 0 0 134 / 256 7.9s Rwlock concurrent
[ ] 135 0 0 135 / 256 8.3s Rwlock concurrent
[ ] 136 0 0 136 / 256 8.8s Rwlock concurrent
[ ] 140 0 0 140 / 256 9.4s Rwlock concurrent
[ ] 143 0 0 143 / 256 9.5s Rwlock concurrent
[ ] 146 0 0 146 / 256 10.1s Rwlock concurrent
[ ] 147 0 0 147 / 256 10.6s Rwlock concurrent
[ ] 150 0 0 150 / 256 10.7s Rwlock concurrent
[ ] 153 0 0 153 / 256 10.8s Rwlock concurrent
[ ] 167 0 0 167 / 256 11.5s Rwlock concurrent
[ ] 171 0 0 171 / 256 11.6s Rwlock concurrent
[ ] 176 0 0 176 / 256 11.7s Rwlock concurrent
[ ] 185 0 0 185 / 256 11.9s Rwlock concurrent
[ ] 192 0 0 192 / 256 12.1s Rwlock concurrent
[ ] 195 0 0 195 / 256 12.2s Rwlock concurrent
[ ] 197 0 0 197 / 256 12.3s Rwlock concurrent
[ ] 202 0 0 202 / 256 12.5s Rwlock concurrent
[ ] 205 0 0 205 / 256 12.6s Rwlock concurrent
[ ] 209 0 0 209 / 256 12.7s Rwlock concurrent
[ ] 213 0 0 213 / 256 13.0s Rwlock concurrent
[ ] 227 0 0 227 / 256 13.1s Rwlock concurrent
[ ] 229 0 0 229 / 256 13.4s Rwlock concurrent
[ ] 233 0 0 233 / 256 13.6s Rwlock concurrent
[ ] 240 0 0 240 / 256 13.9s Rwlock concurrent
[ ] 246 0 0 246 / 256 14.0s Rwlock concurrent
[ ] 248 0 0 248 / 256 14.3s Rwlock concurrent
[ ] 250 0 0 250 / 256 14.5s Rwlock concurrent
[✓] 256 0 0 256 / 256 14.6s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 3234240978673360574
generated error fail pass / total time test name
[ ] 0 0 0 0 / 404 0.0s Rwlock sequential
[✓] 404 0 0 404 / 404 0.0s Rwlock sequential
[ ] 0 0 0 0 / 404 0.0s Rwlock concurrent
[ ] 3 0 0 3 / 404 0.1s Rwlock concurrent
[ ] 6 0 0 6 / 404 0.3s Rwlock concurrent
[ ] 9 0 0 9 / 404 1.0s Rwlock concurrent
[ ] 15 0 0 15 / 404 1.1s Rwlock concurrent
[ ] 31 0 0 31 / 404 1.2s Rwlock concurrent
[ ] 40 0 0 40 / 404 1.3s Rwlock concurrent
[ ] 44 0 0 44 / 404 1.5s Rwlock concurrent
[ ] 46 0 0 46 / 404 1.7s Rwlock concurrent
[ ] 47 0 0 47 / 404 2.0s Rwlock concurrent
[ ] 49 0 0 49 / 404 2.2s Rwlock concurrent
[ ] 51 0 0 51 / 404 2.7s Rwlock concurrent
[ ] 57 0 0 57 / 404 2.9s Rwlock concurrent
[ ] 58 0 0 58 / 404 3.4s Rwlock concurrent
[ ] 62 0 0 62 / 404 3.5s Rwlock concurrent
[ ] 66 0 0 66 / 404 3.6s Rwlock concurrent
[ ] 70 0 0 70 / 404 3.8s Rwlock concurrent
[ ] 71 0 0 71 / 404 3.9s Rwlock concurrent
[ ] 75 0 0 75 / 404 4.1s Rwlock concurrent
[ ] 80 0 0 80 / 404 4.2s Rwlock concurrent
[ ] 84 0 0 84 / 404 4.3s Rwlock concurrent
[ ] 92 0 0 92 / 404 4.4s Rwlock concurrent
[ ] 97 0 0 97 / 404 4.6s Rwlock concurrent
[ ] 102 0 0 102 / 404 4.7s Rwlock concurrent
[ ] 104 0 0 104 / 404 4.9s Rwlock concurrent
[ ] 105 0 0 105 / 404 5.0s Rwlock concurrent
[ ] 109 0 0 109 / 404 5.3s Rwlock concurrent
[ ] 111 0 0 111 / 404 5.6s Rwlock concurrent
[ ] 119 0 0 119 / 404 5.8s Rwlock concurrent
[ ] 121 0 0 121 / 404 5.9s Rwlock concurrent
[ ] 123 0 0 123 / 404 6.1s Rwlock concurrent
[ ] 127 0 0 127 / 404 6.4s Rwlock concurrent
[ ] 130 0 0 130 / 404 6.5s Rwlock concurrent
[ ] 134 0 0 134 / 404 6.6s Rwlock concurrent
[ ] 136 0 0 136 / 404 7.3s Rwlock concurrent
[ ] 142 0 0 142 / 404 7.5s Rwlock concurrent
[ ] 150 0 0 150 / 404 7.6s Rwlock concurrent
[ ] 154 0 0 154 / 404 7.8s Rwlock concurrent
[ ] 156 0 0 156 / 404 7.9s Rwlock concurrent
[ ] 159 0 0 159 / 404 8.0s Rwlock concurrent
[ ] 161 0 0 161 / 404 8.3s Rwlock concurrent
[ ] 166 0 0 166 / 404 8.6s Rwlock concurrent
[ ] 169 0 0 169 / 404 8.7s Rwlock concurrent
[ ] 173 0 0 173 / 404 8.9s Rwlock concurrent
[ ] 179 0 0 179 / 404 9.5s Rwlock concurrent
[ ] 182 0 0 182 / 404 9.6s Rwlock concurrent
[ ] 187 0 0 187 / 404 10.2s Rwlock concurrent
[ ] 193 0 0 193 / 404 10.3s Rwlock concurrent
[ ] 195 0 0 195 / 404 10.9s Rwlock concurrent
[ ] 199 0 0 199 / 404 11.1s Rwlock concurrent
[ ] 208 0 0 208 / 404 11.3s Rwlock concurrent
[ ] 212 0 0 212 / 404 11.4s Rwlock concurrent
[ ] 220 0 0 220 / 404 12.0s Rwlock concurrent
[ ] 221 0 0 221 / 404 12.1s Rwlock concurrent
[ ] 222 0 0 222 / 404 12.7s Rwlock concurrent
[ ] 224 0 0 224 / 404 13.1s Rwlock concurrent
[ ] 228 0 0 228 / 404 13.6s Rwlock concurrent
[ ] 236 0 0 236 / 404 14.0s Rwlock concurrent
[ ] 244 0 0 244 / 404 14.2s Rwlock concurrent
[ ] 248 0 0 248 / 404 14.3s Rwlock concurrent
[ ] 249 0 0 249 / 404 14.8s Rwlock concurrent
[ ] 250 0 0 250 / 404 15.3s Rwlock concurrent
[ ] 254 0 0 254 / 404 16.0s Rwlock concurrent
[ ] 257 0 0 257 / 404 16.3s Rwlock concurrent
[ ] 264 0 0 264 / 404 16.9s Rwlock concurrent
[ ] 268 0 0 268 / 404 17.0s Rwlock concurrent
[ ] 270 0 0 270 / 404 17.1s Rwlock concurrent
[ ] 273 0 0 273 / 404 17.4s Rwlock concurrent
[ ] 275 0 0 275 / 404 17.7s Rwlock concurrent
[ ] 280 0 0 280 / 404 18.0s Rwlock concurrent
[ ] 284 0 0 284 / 404 18.1s Rwlock concurrent
[ ] 289 0 0 289 / 404 18.2s Rwlock concurrent
[ ] 291 0 0 291 / 404 18.3s Rwlock concurrent
[ ] 296 0 0 296 / 404 18.7s Rwlock concurrent
[ ] 301 0 0 301 / 404 18.9s Rwlock concurrent
[ ] 303 0 0 303 / 404 19.0s Rwlock concurrent
[ ] 304 0 0 304 / 404 19.2s Rwlock concurrent
[ ] 308 0 0 308 / 404 19.5s Rwlock concurrent
[ ] 312 0 0 312 / 404 19.7s Rwlock concurrent
[ ] 313 0 0 313 / 404 19.8s Rwlock concurrent
[ ] 319 0 0 319 / 404 19.9s Rwlock concurrent
[ ] 320 0 0 320 / 404 20.3s Rwlock concurrent
[ ] 321 0 0 321 / 404 20.4s Rwlock concurrent
[ ] 323 0 0 323 / 404 20.5s Rwlock concurrent
[ ] 324 0 0 324 / 404 21.0s Rwlock concurrent
[ ] 328 0 0 328 / 404 21.6s Rwlock concurrent
[ ] 341 0 0 341 / 404 22.2s Rwlock concurrent
[ ] 345 0 0 345 / 404 22.4s Rwlock concurrent
[ ] 348 0 0 348 / 404 22.8s Rwlock concurrent
[ ] 350 0 0 350 / 404 23.1s Rwlock concurrent
[ ] 355 0 0 355 / 404 23.3s Rwlock concurrent
[ ] 359 0 0 359 / 404 23.5s Rwlock concurrent
[ ] 364 0 0 364 / 404 23.6s Rwlock concurrent
[ ] 368 0 0 368 / 404 23.7s Rwlock concurrent
[ ] 369 0 0 369 / 404 24.2s Rwlock concurrent
[ ] 370 0 0 370 / 404 24.6s Rwlock concurrent
[ ] 374 0 0 374 / 404 24.8s Rwlock concurrent
[ ] 379 0 0 379 / 404 25.0s Rwlock concurrent
[ ] 383 0 0 383 / 404 25.8s Rwlock concurrent
[ ] 388 0 0 388 / 404 26.0s Rwlock concurrent
[ ] 395 0 0 395 / 404 26.1s Rwlock concurrent
[ ] 400 0 0 400 / 404 26.2s Rwlock concurrent
[ ] 402 0 0 402 / 404 26.5s Rwlock concurrent
[ ] 403 0 0 403 / 404 27.4s Rwlock concurrent
[✓] 404 0 0 404 / 404 27.4s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 958404403146793555
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Rwlock sequential
[✓] 32 0 0 32 / 32 0.0s Rwlock sequential
[ ] 0 0 0 0 / 32 0.0s Rwlock concurrent
[ ] 3 0 0 3 / 32 0.4s Rwlock concurrent
[ ] 8 0 0 8 / 32 0.5s Rwlock concurrent
[ ] 9 0 0 9 / 32 0.8s Rwlock concurrent
[ ] 16 0 0 16 / 32 0.9s Rwlock concurrent
[ ] 19 0 0 19 / 32 1.4s Rwlock concurrent
[ ] 25 0 0 25 / 32 1.5s Rwlock concurrent
[ ] 31 0 0 31 / 32 1.7s Rwlock concurrent
[✓] 32 0 0 32 / 32 1.7s Rwlock concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/bench && ./main.exe -brief 'Picos Current')
Picos Current:
ops over time/1 worker:
15.96 M/s
time per op/1 worker:
62.68 ns
(cd _build/default/bench && ./main.exe -brief 'Picos FLS (excluding Current)')
Picos FLS (excluding Current):
gets over time/1 worker:
18.04 M/s
sets over time/1 worker:
15.03 M/s
time per get/1 worker:
55.43 ns
time per set/1 worker:
66.52 ns
(cd _build/default/bench && ./main.exe -brief 'Picos TLS')
Picos TLS:
gets over time/1 worker:
20.05 M/s
sets over time/1 worker:
17.16 M/s
time per get/1 worker:
49.88 ns
time per set/1 worker:
58.26 ns
(cd _build/default/bench && ./main.exe -brief 'Picos DLS')
Picos DLS:
gets over time/1 worker:
35.95 M/s
sets over time/1 worker:
21.26 M/s
time per get/1 worker:
27.82 ns
time per set/1 worker:
47.03 ns
(cd _build/default/test && ./test_io_cohttp.exe)
Uri: //127.0.0.1:56667/hello-io-cohttp
Method: POST
host: 127.0.0.1:56667
user-agent: ocaml-cohttp/v6.2.1
content-length: 17
Body: It's-a-Me, Picos!
(cd _build/default/bench && ./main.exe -brief 'Yield with Picos_std_sync')
Yield with Picos_std_sync:
locked yields over time/1 fiber with Lock:
0.01 M/s
locked yields over time/1 fiber with Rwlock:
0.01 M/s
locked yields over time/1 fiber with Sem:
0.01 M/s
locked yields over time/1 fiber with Sem 2:
0.01 M/s
locked yields over time/1 fiber with Sem 3:
0.01 M/s
locked yields over time/1 fiber with Sem 4:
0.03 M/s
locked yields over time/256 fibers with Lock:
0.01 M/s
locked yields over time/256 fibers with Rwlock:
0.01 M/s
locked yields over time/256 fibers with Sem:
0.00 M/s
locked yields over time/256 fibers with Sem 2:
0.01 M/s
locked yields over time/256 fibers with Sem 3:
0.01 M/s
locked yields over time/256 fibers with Sem 4:
0.01 M/s
locked yields over time/2 fibers with Lock:
0.03 M/s
locked yields over time/2 fibers with Rwlock:
0.01 M/s
locked yields over time/2 fibers with Sem:
0.01 M/s
locked yields over time/2 fibers with Sem 2:
0.01 M/s
locked yields over time/2 fibers with Sem 3:
0.01 M/s
locked yields over time/2 fibers with Sem 4:
0.01 M/s
locked yields over time/3 fibers with Lock:
0.03 M/s
locked yields over time/3 fibers with Rwlock:
0.02 M/s
locked yields over time/3 fibers with Sem:
0.01 M/s
locked yields over time/3 fibers with Sem 2:
0.02 M/s
locked yields over time/3 fibers with Sem 3:
0.01 M/s
locked yields over time/3 fibers with Sem 4:
0.01 M/s
locked yields over time/4 fibers with Lock:
0.03 M/s
locked yields over time/4 fibers with Rwlock:
0.02 M/s
locked yields over time/4 fibers with Sem:
0.01 M/s
locked yields over time/4 fibers with Sem 2:
0.01 M/s
locked yields over time/4 fibers with Sem 3:
0.01 M/s
locked yields over time/4 fibers with Sem 4:
0.01 M/s
locked yields over time/8 fibers with Lock:
0.01 M/s
locked yields over time/8 fibers with Rwlock:
0.02 M/s
locked yields over time/8 fibers with Sem:
0.02 M/s
locked yields over time/8 fibers with Sem 2:
0.01 M/s
locked yields over time/8 fibers with Sem 3:
0.01 M/s
locked yields over time/8 fibers with Sem 4:
0.01 M/s
time per locked yield/1 fiber with Lock:
135293.55 ns
time per locked yield/1 fiber with Rwlock:
173129.79 ns
time per locked yield/1 fiber with Sem:
100158.72 ns
time per locked yield/1 fiber with Sem 2:
108307.24 ns
time per locked yield/1 fiber with Sem 3:
133550.51 ns
time per locked yield/1 fiber with Sem 4:
34829.83 ns
time per locked yield/256 fibers with Lock:
199382.41 ns
time per locked yield/256 fibers with Rwlock:
158115.43 ns
time per locked yield/256 fibers with Sem:
209289.65 ns
time per locked yield/256 fibers with Sem 2:
135971.24 ns
time per locked yield/256 fibers with Sem 3:
117209.12 ns
time per locked yield/256 fibers with Sem 4:
175503.18 ns
time per locked yield/2 fibers with Lock:
38580.58 ns
time per locked yield/2 fibers with Rwlock:
155818.71 ns
time per locked yield/2 fibers with Sem:
126335.01 ns
time per locked yield/2 fibers with Sem 2:
73703.09 ns
time per locked yield/2 fibers with Sem 3:
122868.26 ns
time per locked yield/2 fibers with Sem 4:
72561.73 ns
time per locked yield/3 fibers with Lock:
30664.06 ns
time per locked yield/3 fibers with Rwlock:
49263.51 ns
time per locked yield/3 fibers with Sem:
101515.75 ns
time per locked yield/3 fibers with Sem 2:
61367.13 ns
time per locked yield/3 fibers with Sem 3:
85662.71 ns
time per locked yield/3 fibers with Sem 4:
89817.14 ns
time per locked yield/4 fibers with Lock:
32952.45 ns
time per locked yield/4 fibers with Rwlock:
59669.09 ns
time per locked yield/4 fibers with Sem:
85559.04 ns
time per locked yield/4 fibers with Sem 2:
127156.69 ns
time per locked yield/4 fibers with Sem 3:
94793.26 ns
time per locked yield/4 fibers with Sem 4:
68343.63 ns
time per locked yield/8 fibers with Lock:
111746.99 ns
time per locked yield/8 fibers with Rwlock:
49077.50 ns
time per locked yield/8 fibers with Sem:
46147.76 ns
time per locked yield/8 fibers with Sem 2:
70059.00 ns
time per locked yield/8 fibers with Sem 3:
113643.71 ns
time per locked yield/8 fibers with Sem 4:
99108.03 ns
(cd _build/default/bench && ./main.exe -brief 'Picos Spawn')
Picos Spawn:
(cd _build/default/bench && ./main.exe -brief 'Picos Yield')
Picos Yield:
time per yield/100 fibers:
50379.47 ns
time per yield/10 fibers:
48325.82 ns
time per yield/1 fiber:
77303.21 ns
yields over time/100 fibers:
0.02 M/s
yields over time/10 fibers:
0.02 M/s
yields over time/1 fiber:
0.01 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.03 M/s
round-trips over time/1 worker:
0.00 M/s
time per async round-trip/1 worker:
34792.29 ns
time per round-trip/1 worker:
299284.46 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:
10.64 M/s
ops over time/cas int with Rwlock:
9.15 M/s
ops over time/cas int with Sem:
10.56 M/s
ops over time/get with Lock:
12.10 M/s
ops over time/get with Rwlock:
11.70 M/s
ops over time/get with Sem:
11.97 M/s
ops over time/incr with Lock:
12.20 M/s
ops over time/incr with Rwlock:
10.04 M/s
ops over time/incr with Sem:
11.85 M/s
ops over time/push & pop with Lock:
6.79 M/s
ops over time/push & pop with Rwlock:
5.53 M/s
ops over time/push & pop with Sem:
6.48 M/s
ops over time/swap with Lock:
6.50 M/s
ops over time/swap with Rwlock:
5.25 M/s
ops over time/swap with Sem:
5.98 M/s
ops over time/xchg int with Lock:
10.71 M/s
ops over time/xchg int with Rwlock:
9.33 M/s
ops over time/xchg int with Sem:
10.56 M/s
time per op/cas int with Lock:
94.02 ns
time per op/cas int with Rwlock:
109.35 ns
time per op/cas int with Sem:
94.71 ns
time per op/get with Lock:
82.62 ns
time per op/get with Rwlock:
85.47 ns
time per op/get with Sem:
83.58 ns
time per op/incr with Lock:
81.99 ns
time per op/incr with Rwlock:
99.62 ns
time per op/incr with Sem:
84.42 ns
time per op/push & pop with Lock:
147.18 ns
time per op/push & pop with Rwlock:
180.98 ns
time per op/push & pop with Sem:
154.34 ns
time per op/swap with Lock:
153.76 ns
time per op/swap with Rwlock:
190.48 ns
time per op/swap with Sem:
167.27 ns
time per op/xchg int with Lock:
93.40 ns
time per op/xchg int with Rwlock:
107.20 ns
time per op/xchg int with Sem:
94.67 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpmcq)
Picos_mpmcq:
messages over time/one domain:
3.35 M/s
time per message/one domain:
298.61 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpscq)
Picos_mpscq:
messages over time/one domain:
3.34 M/s
time per message/one domain:
299.34 ns
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 2)
Testing `Picos_sync'.
This run has ID `5BT6Y4LG'.
[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 13.141s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `248CL627'.
[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.021s. 1 test run.
(cd _build/default/bench && ./main.exe -brief Picos_htbl)
Picos_htbl:
adds over time/1 worker:
1.35 M/s
operations over time/1 worker, 10% reads:
3.06 M/s
operations over time/1 worker, 50% reads:
3.91 M/s
operations over time/1 worker, 90% reads:
5.84 M/s
time per add/1 worker:
740.33 ns
time per operation/1 worker, 10% reads:
326.27 ns
time per operation/1 worker, 50% reads:
255.79 ns
time per operation/1 worker, 90% reads:
171.22 ns
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `JXWVP6OW'.
[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 15.485s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `83WE3HLX'.
[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.007s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `0RYZ8TZE'.
[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.014s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `7BAA1O5W'.
[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.083s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `HYHJ24YW'.
[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 13.985s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `6JE6F1AO'.
[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.013s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `WRFMNQCU'.
[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.006s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 4)
Testing `Picos_sync'.
This run has ID `ATMKNN03'.
[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.005s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 5)
Testing `Picos_sync'.
This run has ID `K4GS5ZUA'.
[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.019s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 6)
Testing `Picos_sync'.
This run has ID `PHQJP2JZ'.
[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 `UDFMTROW'.
[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.007s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 1)
Testing `Picos_sync'.
This run has ID `PO6F5T3Z'.
[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.067s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 0)
Testing `Picos_sync'.
This run has ID `5OC5CK95'.
[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.011s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 1)
Testing `Picos_sync'.
This run has ID `PQUOJITY'.
[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.063s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 2)
Testing `Picos_sync'.
This run has ID `QW0WW0KH'.
[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 cancelaion.
[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.020s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 3)
Testing `Picos_sync'.
This run has ID `YU7FCVY0'.
[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.007s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 0)
Testing `Picos_sync'.
This run has ID `7X65AH9M'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[OK] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.020s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 1)
Testing `Picos_sync'.
This run has ID `1QY33APX'.
[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.010s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Event$ 0)
Testing `Picos_sync'.
This run has ID `8UCCUZN1'.
[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.124s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 0)
Testing `Picos_sync'.
This run has ID `NXWCK34R'.
[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.027s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 1)
Testing `Picos_sync'.
This run has ID `OL3AHIJG'.
[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.023s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Non-cancelable ops$' 0)
Testing `Picos_sync'.
This run has ID `CFCCRJXO'.
[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.013s. 1 test run.
(cd _build/default/bench && ./main.exe -brief Picos_ihtbl)
Picos_ihtbl:
adds over time/1 worker:
0.41 M/s
operations over time/1 worker, 10% reads:
2.84 M/s
operations over time/1 worker, 50% reads:
4.07 M/s
operations over time/1 worker, 90% reads:
4.88 M/s
time per add/1 worker:
2448.53 ns
time per operation/1 worker, 10% reads:
351.52 ns
time per operation/1 worker, 50% reads:
245.44 ns
time per operation/1 worker, 90% reads:
204.82 ns
(cd _build/default/bench && ./main.exe -brief 'Hashtbl with Picos_std_sync')
Hashtbl with Picos_std_sync:
operations over time/1 worker, 10% reads with Lock:
3.14 M/s
operations over time/1 worker, 10% reads with Rwlock:
2.79 M/s
operations over time/1 worker, 10% reads with Sem:
2.93 M/s
operations over time/1 worker, 100% reads with Lock:
3.60 M/s
operations over time/1 worker, 100% reads with Rwlock:
3.55 M/s
operations over time/1 worker, 100% reads with Sem:
3.66 M/s
operations over time/1 worker, 50% reads with Lock:
3.10 M/s
operations over time/1 worker, 50% reads with Rwlock:
2.92 M/s
operations over time/1 worker, 50% reads with Sem:
3.09 M/s
operations over time/1 worker, 90% reads with Lock:
3.30 M/s
operations over time/1 worker, 90% reads with Rwlock:
3.30 M/s
operations over time/1 worker, 90% reads with Sem:
3.52 M/s
operations over time/1 worker, 95% reads with Lock:
3.33 M/s
operations over time/1 worker, 95% reads with Rwlock:
3.28 M/s
operations over time/1 worker, 95% reads with Sem:
3.34 M/s
time per operation/1 worker, 10% reads with Lock:
318.80 ns
time per operation/1 worker, 10% reads with Rwlock:
359.07 ns
time per operation/1 worker, 10% reads with Sem:
341.46 ns
time per operation/1 worker, 100% reads with Lock:
277.51 ns
time per operation/1 worker, 100% reads with Rwlock:
281.87 ns
time per operation/1 worker, 100% reads with Sem:
273.57 ns
time per operation/1 worker, 50% reads with Lock:
322.63 ns
time per operation/1 worker, 50% reads with Rwlock:
342.87 ns
time per operation/1 worker, 50% reads with Sem:
323.41 ns
time per operation/1 worker, 90% reads with Lock:
303.02 ns
time per operation/1 worker, 90% reads with Rwlock:
303.29 ns
time per operation/1 worker, 90% reads with Sem:
283.80 ns
time per operation/1 worker, 95% reads with Lock:
300.38 ns
time per operation/1 worker, 95% reads with Rwlock:
304.95 ns
time per operation/1 worker, 95% reads with Sem:
299.39 ns
(cd _build/default/bench && ./main.exe -brief Picos_stdio)
Picos_stdio:
blocking reads over time/1 worker:
0.01 M/s
non-blocking reads over time/1 worker:
0.09 M/s
time per blocking read/1 worker:
101782.61 ns
time per non-blocking read/1 worker:
11075.51 ns
(cd _build/default/bench && ./main.exe -brief 'Picos_sync Stream')
Picos_sync Stream:
messages over time/one domain:
2.35 M/s
time per message/one domain:
426.21 ns
(cd _build/default/bench && ./main.exe -brief Fib)
Fib:
(cd _build/default/bench && ./main.exe -brief 'Picos binaries')
Picos binaries:
binary size/picos:
215.62 kB
binary size/picos.domain:
13.67 kB
binary size/picos.thread:
5.87 kB
binary size/picos_aux.htbl:
167.61 kB
binary size/picos_aux.mpmcq:
48.69 kB
binary size/picos_aux.mpscq:
45.23 kB
binary size/picos_aux.rc:
37.56 kB
binary size/picos_io:
260.92 kB
binary size/picos_io.fd:
18.33 kB
binary size/picos_io.select:
167.09 kB
binary size/picos_io_cohttp:
123.16 kB
binary size/picos_mux.thread:
50.78 kB
binary size/picos_std.awaitable:
92.27 kB
binary size/picos_std.event:
52.62 kB
binary size/picos_std.finally:
44.16 kB
binary size/picos_std.structured:
188.53 kB
binary size/picos_std.sync:
438.32 kB
(cd _build/default/bench && ./main.exe -brief 'Bounded_q with Picos_std_sync')
Bounded_q with Picos_std_sync:
messages over time/one domain with Lock:
2.40 M/s
time per message/one domain with Lock:
416.68 ns
(cd _build/default/bench && ./main.exe -brief 'Memory usage')
Memory usage:
(cd _build/default/test && ./test_schedulers.exe)
Testing with scheduler: threads
Fairness of 100 fibers performing at least 10000 yields:
sd: 0.000232 -- ideally 0
mean: 1.000593 -- ideally 1
median: 1.000600 -- ideally 1
Testing `Picos schedulers'.
This run has ID `F1EMB8LA'.
[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 60.645s. 8 tests run.
2026-01-20 18:45.10 ---> saved as "641b18b6ac827c222bc6b8a2004495557130c87f4bb7649fc42249d4ba08851d"
Job succeeded
2026-01-20 18:45.10: Job succeeded