2025-12-28 13:19.50: New job: test ocaml-multicore/picos https://github.com/ocaml-multicore/picos.git#refs/heads/main (313fb1138a2187dd19ac9299e9c4f220fa072cb6) (linux-x86_64:debian-13-4.14_x86_32_opam-2.4)
Base: ocaml/opam:debian-13-ocaml-4.14@sha256:462d6dbc2d578a045530747de48d164122d0bbad6ef2962ab0c3553adfb387c1
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/picos.git" -b "main" && cd "picos" && git reset --hard 313fb113
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:462d6dbc2d578a045530747de48d164122d0bbad6ef2962ab0c3553adfb387c1
# debian-13-4.14_x86_32_opam-2.4
USER 1000:1000
SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ]
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e a193e4c8620f671b789c6b89911346cdaaad9c1e || git fetch origin master) && git reset -q --hard a193e4c8620f671b789c6b89911346cdaaad9c1e && 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.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.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.5.9.2 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.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.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-12-28 13:19.50: Using cache hint "ocaml-multicore/picos-ocaml/opam:debian-13-ocaml-4.14@sha256:462d6dbc2d578a045530747de48d164122d0bbad6ef2962ab0c3553adfb387c1-debian-13-4.14_x86_32_opam-2.4-22b686567367bed8b1f1465deaa1ba1c"
2025-12-28 13:19.50: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:462d6dbc2d578a045530747de48d164122d0bbad6ef2962ab0c3553adfb387c1)
(comment debian-13-4.14_x86_32_opam-2.4)
(user (uid 1000) (gid 1000))
(shell /usr/bin/linux32 /bin/sh -c)
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e a193e4c8620f671b789c6b89911346cdaaad9c1e || git fetch origin master) && git reset -q --hard a193e4c8620f671b789c6b89911346cdaaad9c1e && 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.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.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.5.9.2 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.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.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2025-12-28 13:19.50: Waiting for resource in pool OCluster
2025-12-28 13:34.25: Waiting for worker…
2025-12-28 13:45.39: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 313fb11 Comment formatting
(from ocaml/opam:debian-13-ocaml-4.14@sha256:462d6dbc2d578a045530747de48d164122d0bbad6ef2962ab0c3553adfb387c1)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:462d6dbc2d578a045530747de48d164122d0bbad6ef2962ab0c3553adfb387c1' locally
docker.io/ocaml/opam@sha256:462d6dbc2d578a045530747de48d164122d0bbad6ef2962ab0c3553adfb387c1: Pulling from ocaml/opam
a63ab7a4f8b1: Pulling fs layer
90eaeaa9281a: Pulling fs layer
3ef4a47fff3b: Pulling fs layer
a035e4a8df7a: Pulling fs layer
27c7c2db42fd: Pulling fs layer
a63ab7a4f8b1: Waiting
90eaeaa9281a: Waiting
3ef4a47fff3b: Waiting
df73634c59ee: Pulling fs layer
a035e4a8df7a: Waiting
740506b396c1: Pulling fs layer
27c7c2db42fd: Waiting
df73634c59ee: Waiting
21424a44369a: Pulling fs layer
2cc41c1574c5: Pulling fs layer
740506b396c1: Waiting
1259261716c5: Pulling fs layer
f33cacc11b9e: Pulling fs layer
2cc41c1574c5: Waiting
21424a44369a: Waiting
1259261716c5: Waiting
10429a67c15b: Pulling fs layer
f33cacc11b9e: Waiting
7696c6935c09: Pulling fs layer
55dba079700a: Pulling fs layer
8b601b003fab: Pulling fs layer
279f815ce75c: Pulling fs layer
a367a43e37d0: Pulling fs layer
8b601b003fab: Waiting
ddcb4c69ef3f: Pulling fs layer
a367a43e37d0: Waiting
279f815ce75c: Waiting
b6cb025b8b92: Pulling fs layer
a53cdec2dcd7: Pulling fs layer
ddcb4c69ef3f: Waiting
3ee1edbf87cf: Pulling fs layer
4f4fb700ef54: Pulling fs layer
0f06230845cd: Pulling fs layer
55dba079700a: Waiting
10429a67c15b: Waiting
4f4fb700ef54: Waiting
3ee1edbf87cf: Waiting
8f076ab94419: Pulling fs layer
a53cdec2dcd7: Waiting
0f06230845cd: Waiting
4e40a6b18339: Pulling fs layer
c2b833f8d8d5: Pulling fs layer
8f076ab94419: Waiting
4e40a6b18339: Waiting
8d153135a1b5: Pulling fs layer
c2b833f8d8d5: Waiting
f292058db001: Pulling fs layer
8d153135a1b5: Waiting
ae41249ac056: Pulling fs layer
623c1c0c658a: Pulling fs layer
2fa49245472a: Pulling fs layer
f292058db001: Waiting
3c1e1a89d6c4: Pulling fs layer
ae41249ac056: Waiting
623c1c0c658a: Waiting
2fa49245472a: Waiting
d90aa851c073: Pulling fs layer
0d271491b1d0: Pulling fs layer
3c1e1a89d6c4: Waiting
d90aa851c073: Waiting
6a54adf70616: Pulling fs layer
0d271491b1d0: Waiting
d86adbce7636: Pulling fs layer
5d4020b34d71: Pulling fs layer
ff38dc168d37: Pulling fs layer
5ce90e152ba9: Pulling fs layer
6a54adf70616: Waiting
5d4020b34d71: Waiting
d86adbce7636: Waiting
c6d794b5689c: Pulling fs layer
5ce90e152ba9: Waiting
ff38dc168d37: Waiting
c6d794b5689c: Waiting
430a19a7a5b3: Pulling fs layer
73dc5c0381a7: Pulling fs layer
fc906c842913: Pulling fs layer
73dc5c0381a7: Waiting
430a19a7a5b3: Waiting
a82583718310: Pulling fs layer
fc906c842913: Waiting
a82583718310: Waiting
a63ab7a4f8b1: Download complete
90eaeaa9281a: Verifying Checksum
90eaeaa9281a: Download complete
3ef4a47fff3b: Verifying Checksum
3ef4a47fff3b: Download complete
27c7c2db42fd: Download complete
a035e4a8df7a: Download complete
740506b396c1: Verifying Checksum
740506b396c1: Download complete
2cc41c1574c5: Download complete
21424a44369a: Download complete
f33cacc11b9e: Verifying Checksum
f33cacc11b9e: Download complete
1259261716c5: Verifying Checksum
1259261716c5: Download complete
7696c6935c09: Verifying Checksum
7696c6935c09: Download complete
10429a67c15b: Verifying Checksum
10429a67c15b: Download complete
8b601b003fab: Verifying Checksum
8b601b003fab: Download complete
55dba079700a: Verifying Checksum
55dba079700a: Download complete
a63ab7a4f8b1: Pull complete
90eaeaa9281a: Pull complete
3ef4a47fff3b: Pull complete
df73634c59ee: Verifying Checksum
df73634c59ee: Download complete
279f815ce75c: Verifying Checksum
279f815ce75c: Download complete
a367a43e37d0: Verifying Checksum
a367a43e37d0: Download complete
ddcb4c69ef3f: Verifying Checksum
ddcb4c69ef3f: Download complete
b6cb025b8b92: Verifying Checksum
b6cb025b8b92: Download complete
a53cdec2dcd7: Verifying Checksum
a53cdec2dcd7: Download complete
3ee1edbf87cf: Download complete
4f4fb700ef54: Verifying Checksum
a035e4a8df7a: Pull complete
27c7c2db42fd: Pull complete
0f06230845cd: Verifying Checksum
0f06230845cd: Download complete
8f076ab94419: Verifying Checksum
8f076ab94419: Download complete
4e40a6b18339: Download complete
c2b833f8d8d5: Download complete
f292058db001: Download complete
8d153135a1b5: Verifying Checksum
8d153135a1b5: Download complete
ae41249ac056: Verifying Checksum
ae41249ac056: Download complete
623c1c0c658a: Download complete
2fa49245472a: Download complete
3c1e1a89d6c4: Verifying Checksum
3c1e1a89d6c4: Download complete
d90aa851c073: Download complete
0d271491b1d0: Verifying Checksum
0d271491b1d0: Download complete
d86adbce7636: Verifying Checksum
d86adbce7636: Download complete
ff38dc168d37: Verifying Checksum
ff38dc168d37: Download complete
5ce90e152ba9: Download complete
c6d794b5689c: Download complete
430a19a7a5b3: Verifying Checksum
430a19a7a5b3: Download complete
73dc5c0381a7: Verifying Checksum
73dc5c0381a7: Download complete
fc906c842913: Verifying Checksum
fc906c842913: Download complete
a82583718310: Download complete
6a54adf70616: Verifying Checksum
6a54adf70616: Download complete
5d4020b34d71: Verifying Checksum
5d4020b34d71: Download complete
df73634c59ee: Pull complete
740506b396c1: Pull complete
21424a44369a: Pull complete
2cc41c1574c5: Pull complete
1259261716c5: Pull complete
f33cacc11b9e: Pull complete
10429a67c15b: Pull complete
7696c6935c09: Pull complete
55dba079700a: Pull complete
8b601b003fab: Pull complete
279f815ce75c: Pull complete
a367a43e37d0: Pull complete
ddcb4c69ef3f: Pull complete
b6cb025b8b92: Pull complete
a53cdec2dcd7: Pull complete
3ee1edbf87cf: Pull complete
4f4fb700ef54: Pull complete
0f06230845cd: Pull complete
8f076ab94419: Pull complete
4e40a6b18339: Pull complete
c2b833f8d8d5: Pull complete
8d153135a1b5: Pull complete
f292058db001: Pull complete
ae41249ac056: Pull complete
623c1c0c658a: Pull complete
2fa49245472a: Pull complete
3c1e1a89d6c4: Pull complete
d90aa851c073: Pull complete
0d271491b1d0: Pull complete
6a54adf70616: Pull complete
d86adbce7636: Pull complete
5d4020b34d71: Pull complete
ff38dc168d37: Pull complete
5ce90e152ba9: Pull complete
c6d794b5689c: Pull complete
430a19a7a5b3: Pull complete
73dc5c0381a7: Pull complete
fc906c842913: Pull complete
a82583718310: Pull complete
Digest: sha256:462d6dbc2d578a045530747de48d164122d0bbad6ef2962ab0c3553adfb387c1
Status: Downloaded newer image for ocaml/opam@sha256:462d6dbc2d578a045530747de48d164122d0bbad6ef2962ab0c3553adfb387c1
2025-12-28 13:45.39 ---> using "1d65b0bad6020b93b3bfb32f730a433f434369390940a005095573c4def7fa4e" from cache
/: (comment debian-13-4.14_x86_32_opam-2.4)
/: (user (uid 1000) (gid 1000))
/: (shell /usr/bin/linux32 /bin/sh -c)
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (workdir /src)
/src: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
2025-12-28 13:45.39 ---> using "6775cad8612664835742e792781f343f0e64078bd976698496d1f1898147008e" 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
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-12-28 13:45.39 ---> using "2644dadf83db737495e1dd8ed9b3ceae068da85bc3a75294d6d1a20d1bb36578" from cache
/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-87-generic
The OCaml toplevel, version 4.14.2
2.4.1
2025-12-28 13:45.39 ---> using "04f9088217ac88c2f12f3cdff9e807f7441ad90b1a6d1930f9b1b42b85e3292f" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2025-12-28 13:45.39 ---> using "6f5c3bd52ef3e7feb5fc1d553e344a070b026be7be6a6cf8177b4a2983d05e27" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e a193e4c8620f671b789c6b89911346cdaaad9c1e || git fetch origin master) && git reset -q --hard a193e4c8620f671b789c6b89911346cdaaad9c1e && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
ee48e882f0..a193e4c862 master -> origin/master
a193e4c862 Merge pull request #29123 from jmid/opam-publish-qcheck.0.91
<><> 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)
2025-12-28 13:45.39 ---> using "c69d22cdbf1a744d07067e6e2db94ede0dd7d88d8769e7dd1b9773de3ff8f261" from cache
/src: (copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst ./))
2025-12-28 13:45.39 ---> using "919c46e2607960d069ee27ebb65d1786ab18cc71c67d051788cc2df173a317d7" from cache
/src: (run (network host)
(shell "opam pin add -yn picos_std.dev './' && \
\nopam pin add -yn picos_mux.dev './' && \
\nopam pin add -yn picos_meta.dev './' && \
\nopam pin add -yn picos_lwt.dev './' && \
\nopam pin add -yn picos_io_cohttp.dev './' && \
\nopam pin add -yn picos_io.dev './' && \
\nopam pin add -yn picos_aux.dev './' && \
\nopam pin add -yn picos.dev './'"))
[picos_std.dev] synchronised (file:///src)
picos_std is now pinned to file:///src (version dev)
[picos_mux.dev] synchronised (file:///src)
picos_mux is now pinned to file:///src (version dev)
[picos_meta.dev] synchronised (file:///src)
picos_meta is now pinned to file:///src (version dev)
[picos_lwt.dev] synchronised (file:///src)
picos_lwt is now pinned to file:///src (version dev)
[picos_io_cohttp.dev] synchronised (file:///src)
picos_io_cohttp is now pinned to file:///src (version dev)
[picos_io.dev] synchronised (file:///src)
picos_io is now pinned to file:///src (version dev)
[picos_aux.dev] synchronised (file:///src)
picos_aux is now pinned to file:///src (version dev)
[picos.dev] synchronised (file:///src)
picos is now pinned to file:///src (version dev)
2025-12-28 13:45.39 ---> using "0a92d5e438d999a7114165da14ab5c2e0c35604a001effe1043dc101140805d2" from cache
/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-12-28 13:45.39 ---> using "84800b793b7c1dffd8afe73053d2b7836a8604881f2817ca13da381944c35849" from cache
/src: (env DEPS "alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.16.4 base-bigarray.base base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.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.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.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.5.9.2 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.35.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.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.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main i386 Packages [85.4 kB]
- Fetched 176 kB in 0s (1081 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_meta.dev] synchronised (file:///src)
[picos_io_cohttp.dev] synchronised (file:///src)
[picos_lwt.dev] synchronised (file:///src)
[picos_mux.dev] synchronised (file:///src)
[picos_std.dev] synchronised (file:///src)
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl:i386.
- (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 ... 20592 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_i386.deb ...
- Unpacking libgmpxx4ldbl:i386 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:i386.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_i386.deb ...
- Unpacking libgmp-dev:i386 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:i386.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_i386.deb ...
- Unpacking libpkgconf3:i386 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_i386.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:i386.
- Preparing to unpack .../4-pkgconf_1.8.1-4_i386.deb ...
- Unpacking pkgconf:i386 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:i386.
- Preparing to unpack .../5-pkg-config_1.8.1-4_i386.deb ...
- Unpacking pkg-config:i386 (1.8.1-4) ...
- Setting up libpkgconf3:i386 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:i386 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:i386 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:i386 (1.8.1-4) ...
- Setting up pkg-config:i386 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
2025-12-28 13:45.39 ---> using "74b88252030eba0c17be59ba3551327723f1247b1205bdbecabbf9885dbe0709" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 96 packages
- install alcotest 1.9.1
- install angstrom 0.16.1
- install asn1-combinators 0.3.2
- install astring 0.8.5
- install backoff 0.1.1
- install base v0.16.4
- install base-bytes base
- install base64 3.5.2
- install bigstringaf 0.10.0
- install bos 0.2.1
- install ca-certs 1.0.1
- install camlp-streams 5.0.1
- install cmdliner 2.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.16
- install cppo 1.8.0
- install csexp 1.5.2
- install digestif 1.3.0
- install domain-local-await 1.0.1
- install domain-name 0.5.0
- install domain_shims 0.1.0
- install dscheck 0.5.0
- install dune 3.20.2
- install dune-configurator 3.20.2
- install duration 0.2.1
- install either 1.0.0
- install eqaf 0.10
- install fmt 0.11.0
- install fpath 0.7.3
- install gen 1.1
- install gmap 0.3.0
- install http 6.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 5.9.2
- install macaddr 5.6.1
- install magic-mime 1.3.1
- install mdx 2.5.1
- install menhir 20250912
- install menhirCST 20250912
- install menhirLib 20250912
- install menhirSdk 20250912
- install mirage-crypto 2.0.2
- install mirage-crypto-ec 2.0.2
- install mirage-crypto-pk 2.0.2
- install mirage-crypto-rng 2.0.2
- install mtime 2.1.0
- install multicore-bench 0.1.7
- install multicore-magic 2.3.1
- install multicore-magic-dscheck 2.3.1
- install ocaml-compiler-libs v0.12.4
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 4.0.3
- install ocamlbuild 0.16.1
- install ocamlfind 1.9.8
- install ocplib-endian 1.2
- install ohex 0.2.0
- install oseq 0.5.1
- install ppx_derivers 1.2.1
- install ppx_sexp_conv v0.16.0
- install ppxlib 0.35.0
- install psq 0.2.1
- install ptime 1.2.0
- install qcheck-core 0.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 conduit.8.0.0, conduit-lwt.8.0.0, conduit-lwt-unix.8.0.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-gmp-powm-sec.4 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved cohttp.6.2.1, cohttp-lwt.6.2.1, cohttp-lwt-unix.6.2.1, http.6.2.1 (cached)
-> retrieved containers.3.16 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-gmp-powm-sec.4
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain-name.0.5.0 (cached)
-> retrieved domain_shims.0.1.0 (cached)
-> retrieved dscheck.0.5.0 (cached)
-> retrieved duration.0.2.1 (cached)
-> retrieved either.1.0.0 (cached)
-> retrieved eqaf.0.10 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved gmap.0.3.0 (cached)
-> retrieved 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.5.9.2 (cached)
-> retrieved magic-mime.1.3.1 (cached)
-> retrieved mdx.2.5.1 (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached)
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0 (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved mirage-crypto.2.0.2, mirage-crypto-ec.2.0.2, mirage-crypto-pk.2.0.2, mirage-crypto-rng.2.0.2 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved multicore-bench.0.1.7 (cached)
-> retrieved multicore-magic.2.3.1, multicore-magic-dscheck.2.3.1 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> installed cmdliner.2.1.0
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-version.4.0.3 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ohex.0.2.0 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
-> retrieved psq.0.2.1 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved qcheck-core.0.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)
-> installed seq.base
-> 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 topkg.1.1.1 (cached)
-> retrieved tsort.2.2.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved uri.4.4.0, uri-sexp.4.4.0 (cached)
-> retrieved x509.1.0.6 (cached)
-> retrieved yojson.3.0.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed rresult.0.7.0
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed mtime.2.1.0
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed dune.3.20.2
-> installed asn1-combinators.0.3.2
-> installed backoff.0.1.1
-> installed base64.3.5.2
-> installed camlp-streams.5.0.1
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed domain-name.0.5.0
-> installed domain_shims.0.1.0
-> installed duration.0.2.1
-> installed either.1.0.0
-> installed eqaf.0.10
-> installed gen.1.1
-> installed gmap.0.3.0
-> installed http.6.2.1
-> installed macaddr.5.6.1
-> installed magic-mime.1.3.1
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed multicore-magic.2.3.1
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.4.0.3
-> installed ohex.0.2.0
-> installed oseq.0.5.1
-> installed ppx_derivers.1.2.1
-> installed psq.0.2.1
-> installed qcheck-core.0.91
-> installed re.1.14.0
-> installed result.1.5
-> installed sexplib0.v0.16.0
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed thread-local-storage.0.2
-> installed thread-table.1.0.0
-> installed tsort.2.2.0
-> installed yojson.3.0.0
-> installed ocplib-endian.1.2
-> installed digestif.1.3.0
-> installed ipaddr.5.6.1
-> installed qcheck-multicoretests-util.0.10
-> installed domain-local-await.1.0.1
-> installed alcotest.1.9.1
-> installed qcheck-stm.0.10
-> installed multicore-bench.0.1.7
-> installed dune-configurator.3.20.2
-> installed bigstringaf.0.10.0
-> installed angstrom.0.16.1
-> installed mirage-crypto.2.0.2
-> installed kdf.1.0.0
-> installed containers.3.16
-> installed dscheck.0.5.0
-> installed multicore-magic-dscheck.2.3.1
-> installed uri.4.4.0
-> installed lwt.5.9.2
-> installed base.v0.16.4
-> installed menhir.20250912
-> installed ppxlib.0.35.0
-> installed ppx_sexp_conv.v0.16.0
-> installed sedlex.3.7
-> installed ipaddr-sexp.5.6.1
-> installed uri-sexp.4.4.0
-> installed js_of_ocaml-compiler.6.2.0
-> installed logs.0.10.0
-> installed mirage-crypto-rng.2.0.2
-> installed mirage-crypto-pk.2.0.2
-> installed conduit.8.0.0
-> installed bos.0.2.1
-> installed cohttp.6.2.1
-> installed mdx.2.5.1
-> installed conduit-lwt.8.0.0
-> installed cohttp-lwt.6.2.1
-> installed mirage-crypto-ec.2.0.2
-> installed js_of_ocaml.6.2.0
-> installed x509.1.0.6
-> installed ca-certs.1.0.1
-> installed conduit-lwt-unix.8.0.0
-> installed cohttp-lwt-unix.6.2.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-28 13:45.39 ---> using "2a2c9ce576635f78cdb750c7a243848f9d371dd22f3a699c776ad6b442f84d0e" from cache
/src: (copy (src .) (dst /src))
2025-12-28 13:45.40 ---> saved as "b759dfcea4157beecbee2b42a97e0162b7c13d1f01cab973c4c639446c918146"
/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test && ./test_mpscq.exe)
random seed: 76948632
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: 543216746
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: 395286715
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: 189349459
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: 395367022
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: 146317605
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_finally.exe)
Testing `Picos_finally'.
This run has ID `500PLHNV'.
[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.010s. 2 tests run.
(cd _build/default/test && ./test_server_and_client.exe)
Using blocking sockets and threads on OCaml 4:
Looping server running
Server listening
Server accepting
Client B running
Client A running
Client B connected
Client B wrote 100
Server accepted client
Server accepting
Server read 100
Server accepted client
Server wrote 50
Server accepting
Client B read 50
Client A connected
Client A wrote 100
Server read 100
Server wrote 50
Client A read 50
Server and Client test: OK
(cd _build/default/bench && ./main.exe -brief 'Picos Computation')
Picos Computation:
attach detach pairs over time/1 worker:
7.23 M/s
attach detach pairs over time/trivial:
20.89 M/s
time per attach detach pair/1 worker:
138.31 ns
time per attach detach pair/trivial:
47.88 ns
(cd _build/default/bench && ./main.exe -brief 'Picos Current')
Picos Current:
ops over time/1 worker:
87.86 M/s
time per op/1 worker:
11.38 ns
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 0)
Testing `Picos_sync'.
This run has ID `4TMB2NXX'.
[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.123s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 1)
Testing `Picos_sync'.
This run has ID `S6ZZRELW'.
[SKIP] Mutex and Condition 0 basics.
[OK] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Picos FLS (excluding Current)')
Picos FLS (excluding Current):
gets over time/1 worker:
204.48 M/s
sets over time/1 worker:
111.83 M/s
time per get/1 worker:
4.89 ns
time per set/1 worker:
8.94 ns
(cd _build/default/bench && ./main.exe -brief 'Picos TLS')
Picos TLS:
gets over time/1 worker:
108.67 M/s
sets over time/1 worker:
51.33 M/s
time per get/1 worker:
9.20 ns
time per set/1 worker:
19.48 ns
(cd _build/default/bench && ./main.exe -brief 'Picos DLS')
Picos DLS:
gets over time/1 worker:
271.97 M/s
sets over time/1 worker:
87.04 M/s
time per get/1 worker:
3.68 ns
time per set/1 worker:
11.49 ns
(cd _build/default/test && ./test_structured.exe)
Testing `Picos_structured'.
This run has ID `FGEUXYMU'.
[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.677s. 14 tests run.
(cd _build/default/test && ./test_io.exe)
Testing `Picos_io'.
This run has ID `CKYU4EM6'.
[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.484s. 6 tests run.
(cd _build/default/test && ./test_io_with_lwt.exe)
Testing `Picos_io_with_lwt'.
This run has ID `NZASKD4V'.
[OK] Unix 0 system.
Full test results in `/src/_build/default/test/_build/_tests/Picos_io_with_lwt'.
Test Successful in 2.103s. 1 test run.
(cd _build/default/test && ./test_io_cohttp.exe)
Uri: //127.0.0.1:39639/hello-io-cohttp
Method: POST
host: 127.0.0.1:39639
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.04 M/s
locked yields over time/1 fiber with Rwlock:
0.02 M/s
locked yields over time/1 fiber with Sem:
0.03 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.02 M/s
locked yields over time/1 fiber with Sem 4:
0.02 M/s
locked yields over time/256 fibers with Lock:
0.00 M/s
locked yields over time/256 fibers with Rwlock:
0.00 M/s
locked yields over time/256 fibers with Sem:
0.00 M/s
locked yields over time/256 fibers with Sem 2:
0.00 M/s
locked yields over time/256 fibers with Sem 3:
0.00 M/s
locked yields over time/256 fibers with Sem 4:
0.00 M/s
locked yields over time/2 fibers with Lock:
0.00 M/s
locked yields over time/2 fibers with Rwlock:
0.03 M/s
locked yields over time/2 fibers with Sem:
0.02 M/s
locked yields over time/2 fibers with Sem 2:
0.02 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.00 M/s
locked yields over time/3 fibers with Rwlock:
0.01 M/s
locked yields over time/3 fibers with Sem:
0.02 M/s
locked yields over time/3 fibers with Sem 2:
0.01 M/s
locked yields over time/3 fibers with Sem 3:
0.02 M/s
locked yields over time/3 fibers with Sem 4:
0.03 M/s
locked yields over time/4 fibers with Lock:
0.02 M/s
locked yields over time/4 fibers with Rwlock:
0.02 M/s
locked yields over time/4 fibers with Sem:
0.02 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.02 M/s
locked yields over time/8 fibers with Lock:
0.01 M/s
locked yields over time/8 fibers with Rwlock:
0.01 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.00 M/s
locked yields over time/8 fibers with Sem 4:
0.02 M/s
time per locked yield/1 fiber with Lock:
24410.51 ns
time per locked yield/1 fiber with Rwlock:
66158.90 ns
time per locked yield/1 fiber with Sem:
40809.04 ns
time per locked yield/1 fiber with Sem 2:
74612.51 ns
time per locked yield/1 fiber with Sem 3:
54250.71 ns
time per locked yield/1 fiber with Sem 4:
65122.76 ns
time per locked yield/256 fibers with Lock:
1262937.27 ns
time per locked yield/256 fibers with Rwlock:
900195.45 ns
time per locked yield/256 fibers with Sem:
2138588.96 ns
time per locked yield/256 fibers with Sem 2:
1326152.84 ns
time per locked yield/256 fibers with Sem 3:
1511519.60 ns
time per locked yield/256 fibers with Sem 4:
1072653.75 ns
time per locked yield/2 fibers with Lock:
250351.47 ns
time per locked yield/2 fibers with Rwlock:
35564.57 ns
time per locked yield/2 fibers with Sem:
46347.71 ns
time per locked yield/2 fibers with Sem 2:
53749.27 ns
time per locked yield/2 fibers with Sem 3:
72262.68 ns
time per locked yield/2 fibers with Sem 4:
73208.16 ns
time per locked yield/3 fibers with Lock:
263292.20 ns
time per locked yield/3 fibers with Rwlock:
78779.84 ns
time per locked yield/3 fibers with Sem:
43948.34 ns
time per locked yield/3 fibers with Sem 2:
111153.51 ns
time per locked yield/3 fibers with Sem 3:
57196.66 ns
time per locked yield/3 fibers with Sem 4:
34375.84 ns
time per locked yield/4 fibers with Lock:
52613.54 ns
time per locked yield/4 fibers with Rwlock:
58764.31 ns
time per locked yield/4 fibers with Sem:
53893.35 ns
time per locked yield/4 fibers with Sem 2:
109663.47 ns
time per locked yield/4 fibers with Sem 3:
72749.85 ns
time per locked yield/4 fibers with Sem 4:
65282.56 ns
time per locked yield/8 fibers with Lock:
76263.40 ns
time per locked yield/8 fibers with Rwlock:
115908.76 ns
time per locked yield/8 fibers with Sem:
64156.94 ns
time per locked yield/8 fibers with Sem 2:
67975.32 ns
time per locked yield/8 fibers with Sem 3:
391938.01 ns
time per locked yield/8 fibers with Sem 4:
50668.58 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/10 fibers:
33152.68 ns
time per yield/1 fiber:
39904.88 ns
yields over time/10 fibers:
0.03 M/s
yields over time/1 fiber:
0.03 M/s
(cd _build/default/bench && ./main.exe -brief 'Picos Cancel_after with Picos_select')
Picos Cancel_after with Picos_select:
async round-trips over time/1 worker:
0.40 M/s
round-trips over time/1 worker:
0.04 M/s
time per async round-trip/1 worker:
2528.72 ns
time per round-trip/1 worker:
23729.02 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:
41.55 M/s
ops over time/cas int with Rwlock:
26.99 M/s
ops over time/cas int with Sem:
45.61 M/s
ops over time/get with Lock:
58.03 M/s
ops over time/get with Rwlock:
62.19 M/s
ops over time/get with Sem:
74.00 M/s
ops over time/incr with Lock:
73.47 M/s
ops over time/incr with Rwlock:
38.27 M/s
ops over time/incr with Sem:
70.86 M/s
ops over time/push & pop with Lock:
43.40 M/s
ops over time/push & pop with Rwlock:
29.36 M/s
ops over time/push & pop with Sem:
46.00 M/s
ops over time/swap with Lock:
48.06 M/s
ops over time/swap with Rwlock:
26.52 M/s
ops over time/swap with Sem:
42.76 M/s
ops over time/xchg int with Lock:
50.40 M/s
ops over time/xchg int with Rwlock:
31.98 M/s
ops over time/xchg int with Sem:
51.61 M/s
time per op/cas int with Lock:
24.07 ns
time per op/cas int with Rwlock:
37.05 ns
time per op/cas int with Sem:
21.93 ns
time per op/get with Lock:
17.23 ns
time per op/get with Rwlock:
16.08 ns
time per op/get with Sem:
13.51 ns
time per op/incr with Lock:
13.61 ns
time per op/incr with Rwlock:
26.13 ns
time per op/incr with Sem:
14.11 ns
time per op/push & pop with Lock:
23.04 ns
time per op/push & pop with Rwlock:
34.06 ns
time per op/push & pop with Sem:
21.74 ns
time per op/swap with Lock:
20.81 ns
time per op/swap with Rwlock:
37.71 ns
time per op/swap with Sem:
23.39 ns
time per op/xchg int with Lock:
19.84 ns
time per op/xchg int with Rwlock:
31.27 ns
time per op/xchg int with Sem:
19.38 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpmcq)
Picos_mpmcq:
messages over time/one domain:
19.15 M/s
time per message/one domain:
52.22 ns
(cd _build/default/bench && ./main.exe -brief Picos_mpscq)
Picos_mpscq:
messages over time/one domain:
19.87 M/s
time per message/one domain:
50.34 ns
(cd _build/default/bench && ./main.exe -brief Picos_htbl)
Picos_htbl:
operations over time/1 worker, 10% reads:
2.46 M/s
operations over time/1 worker, 50% reads:
3.21 M/s
operations over time/1 worker, 90% reads:
5.21 M/s
time per operation/1 worker, 10% reads:
406.32 ns
time per operation/1 worker, 50% reads:
311.54 ns
time per operation/1 worker, 90% reads:
191.81 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:
12.86 M/s
operations over time/1 worker, 10% reads with Rwlock:
11.26 M/s
operations over time/1 worker, 10% reads with Sem:
13.45 M/s
operations over time/1 worker, 100% reads with Lock:
18.92 M/s
operations over time/1 worker, 100% reads with Rwlock:
19.74 M/s
operations over time/1 worker, 100% reads with Sem:
18.74 M/s
operations over time/1 worker, 50% reads with Lock:
14.11 M/s
operations over time/1 worker, 50% reads with Rwlock:
13.13 M/s
operations over time/1 worker, 50% reads with Sem:
14.49 M/s
operations over time/1 worker, 90% reads with Lock:
17.68 M/s
operations over time/1 worker, 90% reads with Rwlock:
17.03 M/s
operations over time/1 worker, 90% reads with Sem:
18.36 M/s
operations over time/1 worker, 95% reads with Lock:
18.30 M/s
operations over time/1 worker, 95% reads with Rwlock:
18.56 M/s
operations over time/1 worker, 95% reads with Sem:
18.87 M/s
time per operation/1 worker, 10% reads with Lock:
77.76 ns
time per operation/1 worker, 10% reads with Rwlock:
88.82 ns
time per operation/1 worker, 10% reads with Sem:
74.36 ns
time per operation/1 worker, 100% reads with Lock:
52.86 ns
time per operation/1 worker, 100% reads with Rwlock:
50.66 ns
time per operation/1 worker, 100% reads with Sem:
53.36 ns
time per operation/1 worker, 50% reads with Lock:
70.85 ns
time per operation/1 worker, 50% reads with Rwlock:
76.16 ns
time per operation/1 worker, 50% reads with Sem:
68.99 ns
time per operation/1 worker, 90% reads with Lock:
56.56 ns
time per operation/1 worker, 90% reads with Rwlock:
58.73 ns
time per operation/1 worker, 90% reads with Sem:
54.46 ns
time per operation/1 worker, 95% reads with Lock:
54.63 ns
time per operation/1 worker, 95% reads with Rwlock:
53.87 ns
time per operation/1 worker, 95% reads with Sem:
52.99 ns
(cd _build/default/test && ./test_picos.exe)
Testing `Picos'.
This run has ID `IU56HWJH'.
[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 4.730s. 7 tests run.
(cd _build/default/bench && ./main.exe -brief Picos_stdio)
Picos_stdio:
blocking reads over time/1 worker:
0.05 M/s
non-blocking reads over time/1 worker:
0.25 M/s
time per blocking read/1 worker:
18276.34 ns
time per non-blocking read/1 worker:
4042.94 ns
(cd _build/default/bench && ./main.exe -brief 'Picos_sync Stream')
Picos_sync Stream:
messages over time/one domain:
13.63 M/s
time per message/one domain:
73.38 ns
(cd _build/default/bench && ./main.exe -brief Fib)
Fib:
(cd _build/default/bench && ./main.exe -brief 'Picos binaries')
Picos binaries:
binary size/picos:
61.92 kB
binary size/picos.domain:
5.36 kB
binary size/picos.thread:
2.92 kB
binary size/picos_aux.htbl:
42.68 kB
binary size/picos_aux.mpmcq:
12.33 kB
binary size/picos_aux.mpscq:
13.56 kB
binary size/picos_aux.rc:
13.54 kB
binary size/picos_io:
68.19 kB
binary size/picos_io.fd:
6.65 kB
binary size/picos_io.select:
44.79 kB
binary size/picos_io_cohttp:
32.93 kB
binary size/picos_mux.thread:
17.59 kB
binary size/picos_std.awaitable:
25.45 kB
binary size/picos_std.event:
17.65 kB
binary size/picos_std.finally:
13.79 kB
binary size/picos_std.structured:
62.16 kB
binary size/picos_std.sync:
137.43 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:
10.13 M/s
time per message/one domain with Lock:
98.71 ns
(cd _build/default/bench && ./main.exe -brief 'Memory usage')
Memory usage:
(cd _build/default/test && ./test_select.exe)
Testing `Picos_select'.
This run has ID `XM8ZEZNH'.
[OK] Intr 0
Full test results in `/src/_build/default/test/_build/_tests/Picos_select'.
Test Successful in 6.442s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Mutex and Condition$' 2)
Testing `Picos_sync'.
This run has ID `GQZAG2FO'.
[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 8.550s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `Q0RDX1O9'.
[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.058s. 1 test run.
(cd _build/default/example && ./guards.exe)
Testing with scheduler: threads
Ran guarded case statement examples.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `4ZB9UDQV'.
[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 9.359s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `NJPUXJFW'.
[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.010s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Lock and Lock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `7XSA3WL9'.
[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.008s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 0)
Testing `Picos_sync'.
This run has ID `FY5RLLTK'.
[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.091s. 1 test run.
(cd _build/default/test && ./test_rwlock.exe)
random seed: 886660952
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
[ ] 2 0 0 2 / 32 0.4s Rwlock concurrent
[ ] 9 0 0 9 / 32 0.6s Rwlock concurrent
[ ] 14 0 0 14 / 32 0.8s Rwlock concurrent
[ ] 15 0 0 15 / 32 1.1s Rwlock concurrent
[ ] 18 0 0 18 / 32 1.2s Rwlock concurrent
[ ] 19 0 0 19 / 32 1.3s Rwlock concurrent
[ ] 26 0 0 26 / 32 1.5s Rwlock concurrent
[✓] 32 0 0 32 / 32 1.6s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 314537034
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
[ ] 2 0 0 2 / 64 0.2s Rwlock concurrent
[ ] 12 0 0 12 / 64 0.3s Rwlock concurrent
[ ] 21 0 0 21 / 64 0.4s Rwlock concurrent
[ ] 23 0 0 23 / 64 0.5s Rwlock concurrent
[ ] 24 0 0 24 / 64 0.6s Rwlock concurrent
[ ] 32 0 0 32 / 64 0.7s Rwlock concurrent
[ ] 40 0 0 40 / 64 0.8s Rwlock concurrent
[ ] 47 0 0 47 / 64 0.9s Rwlock concurrent
[ ] 52 0 0 52 / 64 1.1s Rwlock concurrent
[ ] 60 0 0 60 / 64 1.2s Rwlock concurrent
[✓] 64 0 0 64 / 64 1.2s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 979457646
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
[ ] 9 0 0 9 / 128 0.1s Rwlock concurrent
[ ] 20 0 0 20 / 128 0.3s Rwlock concurrent
[ ] 26 0 0 26 / 128 0.5s Rwlock concurrent
[ ] 38 0 0 38 / 128 0.6s Rwlock concurrent
[ ] 53 0 0 53 / 128 0.8s Rwlock concurrent
[ ] 58 0 0 58 / 128 1.0s Rwlock concurrent
[ ] 65 0 0 65 / 128 1.1s Rwlock concurrent
[ ] 66 0 0 66 / 128 1.3s Rwlock concurrent
[ ] 73 0 0 73 / 128 1.4s Rwlock concurrent
[ ] 85 0 0 85 / 128 1.6s Rwlock concurrent
[ ] 87 0 0 87 / 128 1.8s Rwlock concurrent
[ ] 100 0 0 100 / 128 1.9s Rwlock concurrent
[ ] 102 0 0 102 / 128 2.1s Rwlock concurrent
[ ] 104 0 0 104 / 128 2.4s Rwlock concurrent
[ ] 109 0 0 109 / 128 2.7s Rwlock concurrent
[ ] 125 0 0 125 / 128 2.8s Rwlock concurrent
[✓] 128 0 0 128 / 128 2.9s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 142159487
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
[ ] 1 0 0 1 / 256 0.5s Rwlock concurrent
[ ] 4 0 0 4 / 256 0.7s Rwlock concurrent
[ ] 11 0 0 11 / 256 0.9s Rwlock concurrent
[ ] 24 0 0 24 / 256 1.0s Rwlock concurrent
[ ] 25 0 0 25 / 256 1.2s Rwlock concurrent
[ ] 30 0 0 30 / 256 1.4s Rwlock concurrent
[ ] 38 0 0 38 / 256 1.5s Rwlock concurrent
[ ] 46 0 0 46 / 256 1.7s Rwlock concurrent
[ ] 57 0 0 57 / 256 1.8s Rwlock concurrent
[ ] 61 0 0 61 / 256 2.0s Rwlock concurrent
[ ] 62 0 0 62 / 256 2.1s Rwlock concurrent
[ ] 66 0 0 66 / 256 2.3s Rwlock concurrent
[ ] 78 0 0 78 / 256 2.4s Rwlock concurrent
[ ] 84 0 0 84 / 256 2.5s Rwlock concurrent
[ ] 96 0 0 96 / 256 2.8s Rwlock concurrent
[ ] 115 0 0 115 / 256 2.9s Rwlock concurrent
[ ] 117 0 0 117 / 256 3.1s Rwlock concurrent
[ ] 122 0 0 122 / 256 3.3s Rwlock concurrent
[ ] 130 0 0 130 / 256 3.4s Rwlock concurrent
[ ] 132 0 0 132 / 256 3.5s Rwlock concurrent
[ ] 136 0 0 136 / 256 3.7s Rwlock concurrent
[ ] 151 0 0 151 / 256 3.8s Rwlock concurrent
[ ] 152 0 0 152 / 256 4.0s Rwlock concurrent
[ ] 164 0 0 164 / 256 4.1s Rwlock concurrent
[ ] 174 0 0 174 / 256 4.2s Rwlock concurrent
[ ] 182 0 0 182 / 256 4.3s Rwlock concurrent
[ ] 190 0 0 190 / 256 4.5s Rwlock concurrent
[ ] 196 0 0 196 / 256 4.6s Rwlock concurrent
[ ] 203 0 0 203 / 256 4.7s Rwlock concurrent
[ ] 209 0 0 209 / 256 4.8s Rwlock concurrent
[ ] 215 0 0 215 / 256 5.0s Rwlock concurrent
[ ] 229 0 0 229 / 256 5.1s Rwlock concurrent
[ ] 234 0 0 234 / 256 5.3s Rwlock concurrent
[ ] 240 0 0 240 / 256 5.4s Rwlock concurrent
[ ] 249 0 0 249 / 256 5.7s Rwlock concurrent
[ ] 256 0 0 256 / 256 5.8s Rwlock concurrent
[✓] 256 0 0 256 / 256 5.8s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 339108868
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Rwlock sequential
[✓] 512 0 0 512 / 512 0.0s Rwlock sequential
[ ] 0 0 0 0 / 512 0.0s Rwlock concurrent
[ ] 4 0 0 4 / 512 0.1s Rwlock concurrent
[ ] 14 0 0 14 / 512 0.2s Rwlock concurrent
[ ] 34 0 0 34 / 512 0.3s Rwlock concurrent
[ ] 48 0 0 48 / 512 0.5s Rwlock concurrent
[ ] 56 0 0 56 / 512 0.8s Rwlock concurrent
[ ] 60 0 0 60 / 512 0.9s Rwlock concurrent
[ ] 71 0 0 71 / 512 1.1s Rwlock concurrent
[ ] 83 0 0 83 / 512 1.3s Rwlock concurrent
[ ] 96 0 0 96 / 512 1.5s Rwlock concurrent
[ ] 102 0 0 102 / 512 1.6s Rwlock concurrent
[ ] 119 0 0 119 / 512 1.7s Rwlock concurrent
[ ] 130 0 0 130 / 512 2.0s Rwlock concurrent
[ ] 135 0 0 135 / 512 2.2s Rwlock concurrent
[ ] 153 0 0 153 / 512 2.3s Rwlock concurrent
[ ] 160 0 0 160 / 512 2.4s Rwlock concurrent
[ ] 168 0 0 168 / 512 2.5s Rwlock concurrent
[ ] 183 0 0 183 / 512 2.6s Rwlock concurrent
[ ] 196 0 0 196 / 512 2.8s Rwlock concurrent
[ ] 202 0 0 202 / 512 2.9s Rwlock concurrent
[ ] 208 0 0 208 / 512 3.0s Rwlock concurrent
[ ] 212 0 0 212 / 512 3.2s Rwlock concurrent
[ ] 223 0 0 223 / 512 3.4s Rwlock concurrent
[ ] 226 0 0 226 / 512 3.5s Rwlock concurrent
[ ] 235 0 0 235 / 512 3.6s Rwlock concurrent
[ ] 245 0 0 245 / 512 3.7s Rwlock concurrent
[ ] 250 0 0 250 / 512 3.9s Rwlock concurrent
[ ] 251 0 0 251 / 512 4.1s Rwlock concurrent
[ ] 259 0 0 259 / 512 4.2s Rwlock concurrent
[ ] 264 0 0 264 / 512 4.3s Rwlock concurrent
[ ] 270 0 0 270 / 512 4.4s Rwlock concurrent
[ ] 275 0 0 275 / 512 4.5s Rwlock concurrent
[ ] 291 0 0 291 / 512 4.6s Rwlock concurrent
[ ] 297 0 0 297 / 512 4.7s Rwlock concurrent
[ ] 302 0 0 302 / 512 4.9s Rwlock concurrent
[ ] 318 0 0 318 / 512 5.1s Rwlock concurrent
[ ] 329 0 0 329 / 512 5.4s Rwlock concurrent
[ ] 336 0 0 336 / 512 5.6s Rwlock concurrent
[ ] 337 0 0 337 / 512 5.7s Rwlock concurrent
[ ] 348 0 0 348 / 512 5.8s Rwlock concurrent
[ ] 359 0 0 359 / 512 5.9s Rwlock concurrent
[ ] 363 0 0 363 / 512 6.0s Rwlock concurrent
[ ] 371 0 0 371 / 512 6.1s Rwlock concurrent
[ ] 376 0 0 376 / 512 6.2s Rwlock concurrent
[ ] 384 0 0 384 / 512 6.4s Rwlock concurrent
[ ] 389 0 0 389 / 512 6.6s Rwlock concurrent
[ ] 392 0 0 392 / 512 6.7s Rwlock concurrent
[ ] 405 0 0 405 / 512 6.8s Rwlock concurrent
[ ] 410 0 0 410 / 512 7.0s Rwlock concurrent
[ ] 427 0 0 427 / 512 7.1s Rwlock concurrent
[ ] 429 0 0 429 / 512 7.2s Rwlock concurrent
[ ] 437 0 0 437 / 512 7.5s Rwlock concurrent
[ ] 440 0 0 440 / 512 7.7s Rwlock concurrent
[ ] 443 0 0 443 / 512 7.8s Rwlock concurrent
[ ] 460 0 0 460 / 512 7.9s Rwlock concurrent
[ ] 464 0 0 464 / 512 8.1s Rwlock concurrent
[ ] 468 0 0 468 / 512 8.3s Rwlock concurrent
[ ] 476 0 0 476 / 512 8.5s Rwlock concurrent
[ ] 480 0 0 480 / 512 8.6s Rwlock concurrent
[ ] 482 0 0 482 / 512 8.7s Rwlock concurrent
[ ] 487 0 0 487 / 512 8.9s Rwlock concurrent
[ ] 491 0 0 491 / 512 9.0s Rwlock concurrent
[ ] 497 0 0 497 / 512 9.1s Rwlock concurrent
[ ] 503 0 0 503 / 512 9.3s Rwlock concurrent
[ ] 507 0 0 507 / 512 9.4s Rwlock concurrent
[ ] 510 0 0 510 / 512 9.5s Rwlock concurrent
[✓] 512 0 0 512 / 512 9.6s Rwlock concurrent
================================================================================
success (ran 2 tests)
random seed: 341132639
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.1s Rwlock concurrent
[ ] 16 0 0 16 / 32 0.2s Rwlock concurrent
[ ] 17 0 0 17 / 32 0.4s Rwlock concurrent
[ ] 25 0 0 25 / 32 0.6s Rwlock concurrent
[ ] 30 0 0 30 / 32 0.7s Rwlock concurrent
[✓] 32 0 0 32 / 32 0.8s Rwlock concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_lock.exe)
random seed: 427501828
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
[ ] 1 0 0 1 / 32 0.2s Lock concurrent
[ ] 7 0 0 7 / 32 0.5s Lock concurrent
[ ] 8 0 0 8 / 32 0.9s Lock concurrent
[ ] 10 0 0 10 / 32 1.1s Lock concurrent
[ ] 15 0 0 15 / 32 1.5s Lock concurrent
[ ] 24 0 0 24 / 32 1.6s Lock concurrent
[ ] 26 0 0 26 / 32 1.8s Lock concurrent
[ ] 30 0 0 30 / 32 2.1s Lock concurrent
[✓] 32 0 0 32 / 32 2.1s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 965801530
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Lock sequential
[✓] 64 0 0 64 / 64 0.0s Lock sequential
[ ] 0 0 0 0 / 64 0.0s Lock concurrent
[ ] 3 0 0 3 / 64 0.1s Lock concurrent
[ ] 10 0 0 10 / 64 0.2s Lock concurrent
[ ] 21 0 0 21 / 64 0.4s Lock concurrent
[ ] 32 0 0 32 / 64 0.5s Lock concurrent
[ ] 40 0 0 40 / 64 0.6s Lock concurrent
[ ] 41 0 0 41 / 64 0.8s Lock concurrent
[ ] 45 0 0 45 / 64 0.9s Lock concurrent
[ ] 47 0 0 47 / 64 1.1s Lock concurrent
[ ] 55 0 0 55 / 64 1.2s Lock concurrent
[ ] 63 0 0 63 / 64 1.4s Lock concurrent
[✓] 64 0 0 64 / 64 1.4s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 329604677
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
[ ] 15 0 0 15 / 128 0.2s Lock concurrent
[ ] 21 0 0 21 / 128 0.3s Lock concurrent
[ ] 28 0 0 28 / 128 0.5s Lock concurrent
[ ] 44 0 0 44 / 128 0.6s Lock concurrent
[ ] 47 0 0 47 / 128 0.7s Lock concurrent
[ ] 50 0 0 50 / 128 0.9s Lock concurrent
[ ] 52 0 0 52 / 128 1.1s Lock concurrent
[ ] 57 0 0 57 / 128 1.2s Lock concurrent
[ ] 64 0 0 64 / 128 1.4s Lock concurrent
[ ] 70 0 0 70 / 128 1.5s Lock concurrent
[ ] 74 0 0 74 / 128 1.6s Lock concurrent
[ ] 83 0 0 83 / 128 1.7s Lock concurrent
[ ] 90 0 0 90 / 128 2.0s Lock concurrent
[ ] 92 0 0 92 / 128 2.2s Lock concurrent
[ ] 101 0 0 101 / 128 2.3s Lock concurrent
[ ] 108 0 0 108 / 128 2.4s Lock concurrent
[ ] 114 0 0 114 / 128 2.6s Lock concurrent
[ ] 122 0 0 122 / 128 2.7s Lock concurrent
[✓] 128 0 0 128 / 128 2.8s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 278360912
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
[ ] 9 0 0 9 / 256 0.1s Lock concurrent
[ ] 12 0 0 12 / 256 0.2s Lock concurrent
[ ] 13 0 0 13 / 256 0.4s Lock concurrent
[ ] 22 0 0 22 / 256 0.5s Lock concurrent
[ ] 24 0 0 24 / 256 0.6s Lock concurrent
[ ] 27 0 0 27 / 256 0.8s Lock concurrent
[ ] 39 0 0 39 / 256 0.9s Lock concurrent
[ ] 48 0 0 48 / 256 1.1s Lock concurrent
[ ] 62 0 0 62 / 256 1.2s Lock concurrent
[ ] 71 0 0 71 / 256 1.3s Lock concurrent
[ ] 76 0 0 76 / 256 1.4s Lock concurrent
[ ] 83 0 0 83 / 256 1.7s Lock concurrent
[ ] 86 0 0 86 / 256 1.8s Lock concurrent
[ ] 92 0 0 92 / 256 1.9s Lock concurrent
[ ] 100 0 0 100 / 256 2.0s Lock concurrent
[ ] 107 0 0 107 / 256 2.1s Lock concurrent
[ ] 116 0 0 116 / 256 2.2s Lock concurrent
[ ] 130 0 0 130 / 256 2.3s Lock concurrent
[ ] 135 0 0 135 / 256 2.5s Lock concurrent
[ ] 144 0 0 144 / 256 2.6s Lock concurrent
[ ] 159 0 0 159 / 256 2.7s Lock concurrent
[ ] 173 0 0 173 / 256 3.0s Lock concurrent
[ ] 176 0 0 176 / 256 3.1s Lock concurrent
[ ] 179 0 0 179 / 256 3.3s Lock concurrent
[ ] 190 0 0 190 / 256 3.4s Lock concurrent
[ ] 194 0 0 194 / 256 3.5s Lock concurrent
[ ] 205 0 0 205 / 256 3.7s Lock concurrent
[ ] 206 0 0 206 / 256 3.8s Lock concurrent
[ ] 212 0 0 212 / 256 3.9s Lock concurrent
[ ] 224 0 0 224 / 256 4.1s Lock concurrent
[ ] 233 0 0 233 / 256 4.2s Lock concurrent
[ ] 237 0 0 237 / 256 4.3s Lock concurrent
[ ] 239 0 0 239 / 256 4.5s Lock concurrent
[ ] 252 0 0 252 / 256 4.6s Lock concurrent
[✓] 256 0 0 256 / 256 4.7s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 567425465
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Lock sequential
[✓] 512 0 0 512 / 512 0.0s Lock sequential
[ ] 0 0 0 0 / 512 0.0s Lock concurrent
[ ] 3 0 0 3 / 512 0.1s Lock concurrent
[ ] 11 0 0 11 / 512 0.2s Lock concurrent
[ ] 17 0 0 17 / 512 0.3s Lock concurrent
[ ] 20 0 0 20 / 512 0.6s Lock concurrent
[ ] 28 0 0 28 / 512 0.8s Lock concurrent
[ ] 32 0 0 32 / 512 1.0s Lock concurrent
[ ] 33 0 0 33 / 512 1.1s Lock concurrent
[ ] 40 0 0 40 / 512 1.3s Lock concurrent
[ ] 42 0 0 42 / 512 1.4s Lock concurrent
[ ] 54 0 0 54 / 512 1.6s Lock concurrent
[ ] 55 0 0 55 / 512 1.8s Lock concurrent
[ ] 61 0 0 61 / 512 1.9s Lock concurrent
[ ] 67 0 0 67 / 512 2.1s Lock concurrent
[ ] 77 0 0 77 / 512 2.2s Lock concurrent
[ ] 80 0 0 80 / 512 2.3s Lock concurrent
[ ] 85 0 0 85 / 512 2.4s Lock concurrent
[ ] 90 0 0 90 / 512 2.5s Lock concurrent
[ ] 97 0 0 97 / 512 2.7s Lock concurrent
[ ] 99 0 0 99 / 512 2.9s Lock concurrent
[ ] 103 0 0 103 / 512 3.0s Lock concurrent
[ ] 104 0 0 104 / 512 3.2s Lock concurrent
[ ] 114 0 0 114 / 512 3.3s Lock concurrent
[ ] 121 0 0 121 / 512 3.4s Lock concurrent
[ ] 125 0 0 125 / 512 3.5s Lock concurrent
[ ] 130 0 0 130 / 512 3.7s Lock concurrent
[ ] 141 0 0 141 / 512 3.8s Lock concurrent
[ ] 144 0 0 144 / 512 3.9s Lock concurrent
[ ] 148 0 0 148 / 512 4.0s Lock concurrent
[ ] 154 0 0 154 / 512 4.1s Lock concurrent
[ ] 166 0 0 166 / 512 4.3s Lock concurrent
[ ] 178 0 0 178 / 512 4.4s Lock concurrent
[ ] 181 0 0 181 / 512 4.7s Lock concurrent
[ ] 189 0 0 189 / 512 4.8s Lock concurrent
[ ] 192 0 0 192 / 512 5.0s Lock concurrent
[ ] 208 0 0 208 / 512 5.1s Lock concurrent
[ ] 213 0 0 213 / 512 5.3s Lock concurrent
[ ] 216 0 0 216 / 512 5.5s Lock concurrent
[ ] 224 0 0 224 / 512 5.6s Lock concurrent
[ ] 234 0 0 234 / 512 5.8s Lock concurrent
[ ] 243 0 0 243 / 512 6.0s Lock concurrent
[ ] 248 0 0 248 / 512 6.1s Lock concurrent
[ ] 253 0 0 253 / 512 6.2s Lock concurrent
[ ] 256 0 0 256 / 512 6.3s Lock concurrent
[ ] 258 0 0 258 / 512 6.5s Lock concurrent
[ ] 274 0 0 274 / 512 6.6s Lock concurrent
[ ] 279 0 0 279 / 512 6.8s Lock concurrent
[ ] 289 0 0 289 / 512 6.9s Lock concurrent
[ ] 307 0 0 307 / 512 7.0s Lock concurrent
[ ] 317 0 0 317 / 512 7.1s Lock concurrent
[ ] 326 0 0 326 / 512 7.3s Lock concurrent
[ ] 333 0 0 333 / 512 7.4s Lock concurrent
[ ] 334 0 0 334 / 512 7.5s Lock concurrent
[ ] 349 0 0 349 / 512 7.6s Lock concurrent
[ ] 357 0 0 357 / 512 7.9s Lock concurrent
[ ] 370 0 0 370 / 512 8.0s Lock concurrent
[ ] 373 0 0 373 / 512 8.1s Lock concurrent
[ ] 378 0 0 378 / 512 8.2s Lock concurrent
[ ] 384 0 0 384 / 512 8.3s Lock concurrent] 385 0 0 385 / 512 8.4s Lock concurrent
[ ] 393 0 0 393 / 512 8.6s Lock concurrent
[ ] 406 0 0 406 / 512 8.7s Lock concurrent
[ ] 412 0 0 412 / 512 9.0s Lock concurrent
[ ] 416 0 0 416 / 512 9.2s Lock concurrent
[ ] 426 0 0 426 / 512 9.5s Lock concurrent
[ ] 444 0 0 444 / 512 9.6s Lock concurrent
[ ] 451 0 0 451 / 512 9.9s Lock concurrent
[ ] 458 0 0 458 / 512 10.0s Lock concurrent
[ ] 470 0 0 470 / 512 10.1s Lock concurrent
[ ] 475 0 0 475 / 512 10.3s Lock concurrent
[ ] 485 0 0 485 / 512 10.4s Lock concurrent
[ ] 488 0 0 488 / 512 10.6s Lock concurrent
[ ] 490 0 0 490 / 512 10.8s Lock concurrent
[ ] 498 0 0 498 / 512 10.9s Lock concurrent
[ ] 507 0 0 507 / 512 11.0s Lock concurrent
[✓] 512 0 0 512 / 512 11.0s Lock concurrent
================================================================================
success (ran 2 tests)
random seed: 364206408
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
[ ] 12 0 0 12 / 32 0.2s Lock concurrent
[ ] 26 0 0 26 / 32 0.4s Lock concurrent
[✓] 32 0 0 32 / 32 0.4s Lock concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_mutex.exe)
random seed: 535021029
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
[ ] 3 0 0 3 / 32 0.2s Mutex concurrent
[ ] 5 0 0 5 / 32 0.4s Mutex concurrent
[ ] 12 0 0 12 / 32 0.5s Mutex concurrent
[ ] 14 0 0 14 / 32 1.1s Mutex concurrent
[ ] 22 0 0 22 / 32 1.3s Mutex concurrent
[ ] 24 0 0 24 / 32 1.4s Mutex concurrent
[ ] 26 0 0 26 / 32 1.6s Mutex concurrent
[✓] 32 0 0 32 / 32 1.6s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 426454874
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Mutex sequential
[✓] 64 0 0 64 / 64 0.0s Mutex sequential
[ ] 0 0 0 0 / 64 0.0s Mutex concurrent
[ ] 6 0 0 6 / 64 0.3s Mutex concurrent
[ ] 13 0 0 13 / 64 0.5s Mutex concurrent
[ ] 16 0 0 16 / 64 0.8s Mutex concurrent
[ ] 18 0 0 18 / 64 0.9s Mutex concurrent
[ ] 22 0 0 22 / 64 1.0s Mutex concurrent
[ ] 30 0 0 30 / 64 1.3s Mutex concurrent
[ ] 33 0 0 33 / 64 1.5s Mutex concurrent
[ ] 42 0 0 42 / 64 1.6s Mutex concurrent
[ ] 43 0 0 43 / 64 1.7s Mutex concurrent
[ ] 58 0 0 58 / 64 1.9s Mutex concurrent
[✓] 64 0 0 64 / 64 2.0s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 910561724
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
[ ] 13 0 0 13 / 128 0.1s Mutex concurrent
[ ] 25 0 0 25 / 128 0.3s Mutex concurrent
[ ] 28 0 0 28 / 128 0.4s Mutex concurrent
[ ] 30 0 0 30 / 128 0.6s Mutex concurrent
[ ] 33 0 0 33 / 128 0.7s Mutex concurrent
[ ] 34 0 0 34 / 128 0.8s Mutex concurrent
[ ] 38 0 0 38 / 128 1.0s Mutex concurrent
[ ] 44 0 0 44 / 128 1.2s Mutex concurrent
[ ] 47 0 0 47 / 128 1.3s Mutex concurrent
[ ] 55 0 0 55 / 128 1.4s Mutex concurrent
[ ] 60 0 0 60 / 128 1.5s Mutex concurrent
[ ] 71 0 0 71 / 128 1.6s Mutex concurrent
[ ] 83 0 0 83 / 128 1.7s Mutex concurrent
[ ] 84 0 0 84 / 128 1.9s Mutex concurrent
[ ] 94 0 0 94 / 128 2.0s Mutex concurrent
[ ] 96 0 0 96 / 128 2.2s Mutex concurrent
[ ] 103 0 0 103 / 128 2.3s Mutex concurrent
[ ] 107 0 0 107 / 128 2.5s Mutex concurrent
[ ] 114 0 0 114 / 128 2.6s Mutex concurrent
[ ] 121 0 0 121 / 128 2.7s Mutex concurrent
[ ] 126 0 0 126 / 128 2.8s Mutex concurrent
[✓] 128 0 0 128 / 128 2.8s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 642728197
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
[ ] 6 0 0 6 / 256 0.1s Mutex concurrent
[ ] 12 0 0 12 / 256 0.3s Mutex concurrent
[ ] 17 0 0 17 / 256 0.4s Mutex concurrent
[ ] 21 0 0 21 / 256 0.6s Mutex concurrent
[ ] 28 0 0 28 / 256 0.8s Mutex concurrent
[ ] 37 0 0 37 / 256 0.9s Mutex concurrent
[ ] 43 0 0 43 / 256 1.1s Mutex concurrent
[ ] 48 0 0 48 / 256 1.2s Mutex concurrent
[ ] 59 0 0 59 / 256 1.3s Mutex concurrent
[ ] 63 0 0 63 / 256 1.4s Mutex concurrent
[ ] 75 0 0 75 / 256 1.5s Mutex concurrent
[ ] 79 0 0 79 / 256 1.7s Mutex concurrent
[ ] 85 0 0 85 / 256 1.8s Mutex concurrent
[ ] 92 0 0 92 / 256 2.0s Mutex concurrent
[ ] 98 0 0 98 / 256 2.1s Mutex concurrent
[ ] 109 0 0 109 / 256 2.2s Mutex concurrent
[ ] 120 0 0 120 / 256 2.3s Mutex concurrent
[ ] 131 0 0 131 / 256 2.5s Mutex concurrent
[ ] 137 0 0 137 / 256 2.7s Mutex concurrent
[ ] 150 0 0 150 / 256 2.8s Mutex concurrent
[ ] 160 0 0 160 / 256 2.9s Mutex concurrent
[ ] 167 0 0 167 / 256 3.0s Mutex concurrent
[ ] 172 0 0 172 / 256 3.2s Mutex concurrent
[ ] 178 0 0 178 / 256 3.4s Mutex concurrent
[ ] 191 0 0 191 / 256 3.5s Mutex concurrent
[ ] 195 0 0 195 / 256 3.6s Mutex concurrent
[ ] 201 0 0 201 / 256 3.7s Mutex concurrent
[ ] 214 0 0 214 / 256 3.9s Mutex concurrent
[ ] 223 0 0 223 / 256 4.0s Mutex concurrent
[ ] 225 0 0 225 / 256 4.1s Mutex concurrent
[ ] 240 0 0 240 / 256 4.2s Mutex concurrent
[ ] 241 0 0 241 / 256 4.4s Mutex concurrent
[ ] 248 0 0 248 / 256 4.6s Mutex concurrent
[ ] 249 0 0 249 / 256 4.7s Mutex concurrent
[✓] 256 0 0 256 / 256 4.7s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 110102368
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
[ ] 11 0 0 11 / 512 0.2s Mutex concurrent
[ ] 14 0 0 14 / 512 0.4s Mutex concurrent
[ ] 24 0 0 24 / 512 0.5s Mutex concurrent
[ ] 34 0 0 34 / 512 0.7s Mutex concurrent
[ ] 40 0 0 40 / 512 0.8s Mutex concurrent
[ ] 56 0 0 56 / 512 0.9s Mutex concurrent
[ ] 63 0 0 63 / 512 1.1s Mutex concurrent
[ ] 75 0 0 75 / 512 1.2s Mutex concurrent
[ ] 86 0 0 86 / 512 1.3s Mutex concurrent
[ ] 91 0 0 91 / 512 1.5s Mutex concurrent
[ ] 99 0 0 99 / 512 1.7s Mutex concurrent
[ ] 102 0 0 102 / 512 1.8s Mutex concurrent
[ ] 109 0 0 109 / 512 1.9s Mutex concurrent
[ ] 119 0 0 119 / 512 2.1s Mutex concurrent
[ ] 130 0 0 130 / 512 2.2s Mutex concurrent
[ ] 132 0 0 132 / 512 2.3s Mutex concurrent
[ ] 135 0 0 135 / 512 2.4s Mutex concurrent
[ ] 141 0 0 141 / 512 2.6s Mutex concurrent
[ ] 143 0 0 143 / 512 2.7s Mutex concurrent
[ ] 153 0 0 153 / 512 2.8s Mutex concurrent
[ ] 158 0 0 158 / 512 2.9s Mutex concurrent
[ ] 170 0 0 170 / 512 3.0s Mutex concurrent
[ ] 173 0 0 173 / 512 3.2s Mutex concurrent
[ ] 176 0 0 176 / 512 3.5s Mutex concurrent
[ ] 177 0 0 177 / 512 3.6s Mutex concurrent
[ ] 188 0 0 188 / 512 3.8s Mutex concurrent
[ ] 189 0 0 189 / 512 3.9s Mutex concurrent
[ ] 194 0 0 194 / 512 4.1s Mutex concurrent
[ ] 206 0 0 206 / 512 4.2s Mutex concurrent
[ ] 210 0 0 210 / 512 4.3s Mutex concurrent
[ ] 224 0 0 224 / 512 4.5s Mutex concurrent
[ ] 231 0 0 231 / 512 4.7s Mutex concurrent
[ ] 236 0 0 236 / 512 4.8s Mutex concurrent
[ ] 245 0 0 245 / 512 4.9s Mutex concurrent
[ ] 254 0 0 254 / 512 5.2s Mutex concurrent
[ ] 255 0 0 255 / 512 5.4s Mutex concurrent
[ ] 258 0 0 258 / 512 5.5s Mutex concurrent
[ ] 262 0 0 262 / 512 5.7s Mutex concurrent
[ ] 265 0 0 265 / 512 6.1s Mutex concurrent
[ ] 268 0 0 268 / 512 6.2s Mutex concurrent
[ ] 275 0 0 275 / 512 6.3s Mutex concurrent
[ ] 284 0 0 284 / 512 6.4s Mutex concurrent
[ ] 292 0 0 292 / 512 6.5s Mutex concurrent
[ ] 302 0 0 302 / 512 6.6s Mutex concurrent
[ ] 311 0 0 311 / 512 6.7s Mutex concurrent
[ ] 313 0 0 313 / 512 6.9s Mutex concurrent
[ ] 324 0 0 324 / 512 7.1s Mutex concurrent
[ ] 328 0 0 328 / 512 7.2s Mutex concurrent
[ ] 336 0 0 336 / 512 7.4s Mutex concurrent
[ ] 341 0 0 341 / 512 7.6s Mutex concurrent
[ ] 355 0 0 355 / 512 7.7s Mutex concurrent
[ ] 359 0 0 359 / 512 7.8s Mutex concurrent
[ ] 366 0 0 366 / 512 7.9s Mutex concurrent
[ ] 376 0 0 376 / 512 8.1s Mutex concurrent
[ ] 383 0 0 383 / 512 8.3s Mutex concurrent
[ ] 390 0 0 390 / 512 8.5s Mutex concurrent
[ ] 391 0 0 391 / 512 8.7s Mutex concurrent
[ ] 392 0 0 392 / 512 8.9s Mutex concurrent
[ ] 402 0 0 402 / 512 9.0s Mutex concurrent
[ ] 408 0 0 408 / 512 9.1s Mutex concurrent
[ ] 410 0 0 410 / 512 9.2s Mutex concurrent
[ ] 413 0 0 413 / 512 9.4s Mutex concurrent
[ ] 420 0 0 420 / 512 9.5s Mutex concurrent
[ ] 428 0 0 428 / 512 9.7s Mutex concurrent
[ ] 442 0 0 442 / 512 9.8s Mutex concurrent
[ ] 446 0 0 446 / 512 10.0s Mutex concurrent
[ ] 460 0 0 460 / 512 10.1s Mutex concurrent
[ ] 476 0 0 476 / 512 10.2s Mutex concurrent
[ ] 487 0 0 487 / 512 10.3s Mutex concurrent
[ ] 495 0 0 495 / 512 10.4s Mutex concurrent
[ ] 505 0 0 505 / 512 10.5s Mutex concurrent
[ ] 508 0 0 508 / 512 10.8s Mutex concurrent
[✓] 512 0 0 512 / 512 10.8s Mutex concurrent
================================================================================
success (ran 2 tests)
random seed: 540528216
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
[ ] 10 0 0 10 / 32 0.1s Mutex concurrent
[ ] 14 0 0 14 / 32 0.3s Mutex concurrent
[ ] 22 0 0 22 / 32 0.4s Mutex concurrent
[ ] 24 0 0 24 / 32 0.5s Mutex concurrent
[✓] 32 0 0 32 / 32 0.6s Mutex concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 1)
Testing `Picos_sync'.
This run has ID `IDH4CGK9'.
[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 8.751s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 2)
Testing `Picos_sync'.
This run has ID `32BB2PFI'.
[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.005s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 3)
Testing `Picos_sync'.
This run has ID `Z3YUXB8I'.
[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.007s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 4)
Testing `Picos_sync'.
This run has ID `6LDIL0YL'.
[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.006s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 5)
Testing `Picos_sync'.
This run has ID `0QO0GHSQ'.
[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.001s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Rwlock and Rwlock.Condition$' 6)
Testing `Picos_sync'.
This run has ID `WPHJQFRI'.
[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.005s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 0)
Testing `Picos_sync'.
This run has ID `AX5CNBA3'.
[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.006s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Semaphore$ 1)
Testing `Picos_sync'.
This run has ID `7UJ8T3FU'.
[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.103s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 0)
Testing `Picos_sync'.
This run has ID `43KBGLQH'.
[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.001s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 1)
Testing `Picos_sync'.
This run has ID `YW21CACR'.
[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.073s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 2)
Testing `Picos_sync'.
This run has ID `BQA2U9OX'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[OK] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[SKIP] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.008s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Sem$ 3)
Testing `Picos_sync'.
This run has ID `FPI64Z6M'.
[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.001s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 0)
Testing `Picos_sync'.
This run has ID `TB3CR86P'.
[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.001s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Lazy$ 1)
Testing `Picos_sync'.
This run has ID `IPOHWEXU'.
[SKIP] Mutex and Condition 0 basics.
[SKIP] Mutex and Condition 1 errors.
[SKIP] Mutex and Condition 2 cancelation.
[SKIP] Lock and Lock.Condition 0 basics.
[SKIP] Lock and Lock.Condition 1 cancelation.
[SKIP] Lock and Lock.Condition 2 poisoning.
[SKIP] Lock and Lock.Condition 3 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 0 basics.
[SKIP] Rwlock and Rwlock.Condition 1 cancelation.
[SKIP] Rwlock and Rwlock.Condition 2 poisoning.
[SKIP] Rwlock and Rwlock.Condition 3 freezing.
[SKIP] Rwlock and Rwlock.Condition 4 try_acquire.
[SKIP] Rwlock and Rwlock.Condition 5 try_acquire_shared.
[SKIP] Rwlock and Rwlock.Condition 6 sharing.
[SKIP] Semaphore 0 basics.
[SKIP] Semaphore 1 stress.
[SKIP] Sem 0 basics.
[SKIP] Sem 1 stress.
[SKIP] Sem 2 poisoning.
[SKIP] Sem 3 try_acquire.
[SKIP] Lazy 0 basics.
[OK] Lazy 1 cancelation.
[SKIP] Event 0 basics.
[SKIP] Barrier 0 basics.
[SKIP] Barrier 1 poisoning.
[SKIP] Non-cancelable ops 0 are not canceled.
Full test results in `/src/_build/default/test/_build/_tests/Picos_sync'.
Test Successful in 0.002s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Event$ 0)
Testing `Picos_sync'.
This run has ID `IQO6TG8Q'.
[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.105s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 0)
Testing `Picos_sync'.
This run has ID `CMJDFCUH'.
[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.024s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- ^Barrier$ 1)
Testing `Picos_sync'.
This run has ID `1IJS6LXU'.
[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.029s. 1 test run.
(cd _build/default/test && ./test_sync.exe -- '^Non-cancelable ops$' 0)
Testing `Picos_sync'.
This run has ID `DVE12VH9'.
[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.001s. 1 test run.
(cd _build/default/test && ./test_mpmcq.exe)
random seed: 773725920
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
[ ] 13 0 0 13 / 32 0.3s Mpmcq concurrent
[ ] 15 0 0 15 / 32 0.6s Mpmcq concurrent
[ ] 19 0 0 19 / 32 0.7s Mpmcq concurrent
[ ] 25 0 0 25 / 32 1.0s Mpmcq concurrent
[ ] 31 0 0 31 / 32 1.5s Mpmcq concurrent
[✓] 32 0 0 32 / 32 1.5s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 578771093
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
[ ] 12 0 0 12 / 64 0.1s Mpmcq concurrent
[ ] 13 0 0 13 / 64 0.2s Mpmcq concurrent
[ ] 20 0 0 20 / 64 0.4s Mpmcq concurrent
[ ] 27 0 0 27 / 64 0.5s Mpmcq concurrent
[ ] 37 0 0 37 / 64 0.6s Mpmcq concurrent
[ ] 39 0 0 39 / 64 0.7s Mpmcq concurrent
[ ] 41 0 0 41 / 64 0.9s Mpmcq concurrent
[ ] 44 0 0 44 / 64 1.1s Mpmcq concurrent
[ ] 51 0 0 51 / 64 1.2s Mpmcq concurrent
[ ] 56 0 0 56 / 64 1.3s Mpmcq concurrent
[ ] 60 0 0 60 / 64 1.5s Mpmcq concurrent
[ ] 64 0 0 64 / 64 1.6s Mpmcq concurrent
[✓] 64 0 0 64 / 64 1.6s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 418525555
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
[ ] 8 0 0 8 / 128 0.1s Mpmcq concurrent
[ ] 15 0 0 15 / 128 0.4s Mpmcq concurrent
[ ] 17 0 0 17 / 128 0.5s Mpmcq concurrent
[ ] 24 0 0 24 / 128 0.9s Mpmcq concurrent
[ ] 29 0 0 29 / 128 1.0s Mpmcq concurrent
[ ] 34 0 0 34 / 128 1.3s Mpmcq concurrent
[ ] 41 0 0 41 / 128 1.4s Mpmcq concurrent
[ ] 43 0 0 43 / 128 1.7s Mpmcq concurrent
[ ] 48 0 0 48 / 128 1.8s Mpmcq concurrent
[ ] 49 0 0 49 / 128 1.9s Mpmcq concurrent
[ ] 52 0 0 52 / 128 2.0s Mpmcq concurrent
[ ] 55 0 0 55 / 128 2.1s Mpmcq concurrent
[ ] 56 0 0 56 / 128 2.2s Mpmcq concurrent
[ ] 61 0 0 61 / 128 2.7s Mpmcq concurrent
[ ] 69 0 0 69 / 128 3.0s Mpmcq concurrent
[ ] 82 0 0 82 / 128 3.2s Mpmcq concurrent
[ ] 85 0 0 85 / 128 3.3s Mpmcq concurrent
[ ] 87 0 0 87 / 128 3.4s Mpmcq concurrent
[ ] 97 0 0 97 / 128 3.6s Mpmcq concurrent
[ ] 100 0 0 100 / 128 3.7s Mpmcq concurrent
[ ] 104 0 0 104 / 128 3.8s Mpmcq concurrent
[ ] 111 0 0 111 / 128 4.1s Mpmcq concurrent
[ ] 121 0 0 121 / 128 4.2s Mpmcq concurrent
[✓] 128 0 0 128 / 128 4.3s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 30081958
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
[ ] 6 0 0 6 / 256 0.1s Mpmcq concurrent
[ ] 12 0 0 12 / 256 0.3s Mpmcq concurrent
[ ] 23 0 0 23 / 256 0.7s Mpmcq concurrent
[ ] 26 0 0 26 / 256 1.1s Mpmcq concurrent
[ ] 34 0 0 34 / 256 1.2s Mpmcq concurrent
[ ] 35 0 0 35 / 256 1.5s Mpmcq concurrent
[ ] 38 0 0 38 / 256 1.7s Mpmcq concurrent
[ ] 45 0 0 45 / 256 1.8s Mpmcq concurrent
[ ] 48 0 0 48 / 256 1.9s Mpmcq concurrent
[ ] 56 0 0 56 / 256 2.2s Mpmcq concurrent
[ ] 60 0 0 60 / 256 2.4s Mpmcq concurrent
[ ] 65 0 0 65 / 256 2.7s Mpmcq concurrent
[ ] 71 0 0 71 / 256 2.9s Mpmcq concurrent
[ ] 73 0 0 73 / 256 3.1s Mpmcq concurrent
[ ] 76 0 0 76 / 256 3.4s Mpmcq concurrent
[ ] 77 0 0 77 / 256 3.5s Mpmcq concurrent
[ ] 84 0 0 84 / 256 3.7s Mpmcq concurrent
[ ] 85 0 0 85 / 256 3.8s Mpmcq concurrent
[ ] 98 0 0 98 / 256 3.9s Mpmcq concurrent
[ ] 104 0 0 104 / 256 4.0s Mpmcq concurrent
[ ] 112 0 0 112 / 256 4.3s Mpmcq concurrent
[ ] 121 0 0 121 / 256 4.4s Mpmcq concurrent
[ ] 128 0 0 128 / 256 4.6s Mpmcq concurrent
[ ] 130 0 0 130 / 256 4.7s Mpmcq concurrent
[ ] 137 0 0 137 / 256 4.8s Mpmcq concurrent
[ ] 143 0 0 143 / 256 5.1s Mpmcq concurrent
[ ] 154 0 0 154 / 256 5.2s Mpmcq concurrent
[ ] 156 0 0 156 / 256 5.3s Mpmcq concurrent
[ ] 163 0 0 163 / 256 5.4s Mpmcq concurrent
[ ] 164 0 0 164 / 256 5.6s Mpmcq concurrent
[ ] 171 0 0 171 / 256 5.8s Mpmcq concurrent
[ ] 173 0 0 173 / 256 6.1s Mpmcq concurrent
[ ] 178 0 0 178 / 256 6.2s Mpmcq concurrent
[ ] 187 0 0 187 / 256 6.4s Mpmcq concurrent
[ ] 194 0 0 194 / 256 6.6s Mpmcq concurrent
[ ] 200 0 0 200 / 256 6.7s Mpmcq concurrent
[ ] 206 0 0 206 / 256 6.9s Mpmcq concurrent
[ ] 210 0 0 210 / 256 7.1s Mpmcq concurrent
[ ] 216 0 0 216 / 256 7.2s Mpmcq concurrent
[ ] 224 0 0 224 / 256 7.3s Mpmcq concurrent
[ ] 231 0 0 231 / 256 7.4s Mpmcq concurrent
[ ] 239 0 0 239 / 256 7.5s Mpmcq concurrent
[ ] 251 0 0 251 / 256 7.6s Mpmcq concurrent
[✓] 256 0 0 256 / 256 7.7s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 775182667
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Mpmcq sequential
[✓] 512 0 0 512 / 512 0.0s Mpmcq sequential
[ ] 0 0 0 0 / 512 0.0s Mpmcq concurrent
[ ] 1 0 0 1 / 512 0.2s Mpmcq concurrent
[ ] 5 0 0 5 / 512 0.3s Mpmcq concurrent
[ ] 15 0 0 15 / 512 0.4s Mpmcq concurrent
[ ] 16 0 0 16 / 512 0.6s Mpmcq concurrent
[ ] 22 0 0 22 / 512 0.7s Mpmcq concurrent
[ ] 29 0 0 29 / 512 0.9s Mpmcq concurrent
[ ] 39 0 0 39 / 512 1.0s Mpmcq concurrent
[ ] 40 0 0 40 / 512 1.1s Mpmcq concurrent
[ ] 44 0 0 44 / 512 1.5s Mpmcq concurrent
[ ] 48 0 0 48 / 512 1.7s Mpmcq concurrent
[ ] 53 0 0 53 / 512 1.9s Mpmcq concurrent
[ ] 59 0 0 59 / 512 2.1s Mpmcq concurrent
[ ] 64 0 0 64 / 512 2.3s Mpmcq concurrent
[ ] 70 0 0 70 / 512 2.4s Mpmcq concurrent
[ ] 74 0 0 74 / 512 2.6s Mpmcq concurrent
[ ] 76 0 0 76 / 512 2.7s Mpmcq concurrent
[ ] 79 0 0 79 / 512 2.9s Mpmcq concurrent
[ ] 82 0 0 82 / 512 3.1s Mpmcq concurrent
[ ] 84 0 0 84 / 512 3.2s Mpmcq concurrent
[ ] 95 0 0 95 / 512 3.3s Mpmcq concurrent
[ ] 105 0 0 105 / 512 3.5s Mpmcq concurrent
[ ] 113 0 0 113 / 512 3.8s Mpmcq concurrent
[ ] 124 0 0 124 / 512 3.9s Mpmcq concurrent
[ ] 128 0 0 128 / 512 4.2s Mpmcq concurrent
[ ] 134 0 0 134 / 512 4.4s Mpmcq concurrent
[ ] 136 0 0 136 / 512 4.6s Mpmcq concurrent
[ ] 137 0 0 137 / 512 4.9s Mpmcq concurrent
[ ] 146 0 0 146 / 512 5.0s Mpmcq concurrent
[ ] 151 0 0 151 / 512 5.1s Mpmcq concurrent
[ ] 156 0 0 156 / 512 5.2s Mpmcq concurrent
[ ] 159 0 0 159 / 512 5.3s Mpmcq concurrent
[ ] 165 0 0 165 / 512 5.4s Mpmcq concurrent
[ ] 171 0 0 171 / 512 5.6s Mpmcq concurrent
[ ] 180 0 0 180 / 512 5.7s Mpmcq concurrent
[ ] 188 0 0 188 / 512 5.8s Mpmcq concurrent
[ ] 193 0 0 193 / 512 6.0s Mpmcq concurrent
[ ] 195 0 0 195 / 512 6.3s Mpmcq concurrent
[ ] 198 0 0 198 / 512 6.6s Mpmcq concurrent
[ ] 204 0 0 204 / 512 6.7s Mpmcq concurrent
[ ] 208 0 0 208 / 512 7.0s Mpmcq concurrent
[ ] 218 0 0 218 / 512 7.2s Mpmcq concurrent
[ ] 222 0 0 222 / 512 7.5s Mpmcq concurrent
[ ] 234 0 0 234 / 512 7.6s Mpmcq concurrent
[ ] 245 0 0 245 / 512 8.2s Mpmcq concurrent
[ ] 254 0 0 254 / 512 8.3s Mpmcq concurrent
[ ] 260 0 0 260 / 512 8.5s Mpmcq concurrent
[ ] 269 0 0 269 / 512 8.6s Mpmcq concurrent
[ ] 272 0 0 272 / 512 8.8s Mpmcq concurrent
[ ] 285 0 0 285 / 512 9.1s Mpmcq concurrent
[ ] 290 0 0 290 / 512 9.3s Mpmcq concurrent
[ ] 297 0 0 297 / 512 9.4s Mpmcq concurrent
[ ] 301 0 0 301 / 512 9.5s Mpmcq concurrent
[ ] 314 0 0 314 / 512 9.8s Mpmcq concurrent
[ ] 315 0 0 315 / 512 10.1s Mpmcq concurrent
[ ] 323 0 0 323 / 512 10.2s Mpmcq concurrent
[ ] 330 0 0 330 / 512 10.3s Mpmcq concurrent
[ ] 338 0 0 338 / 512 10.4s Mpmcq concurrent
[ ] 347 0 0 347 / 512 10.5s Mpmcq concurrent
[ ] 352 0 0 352 / 512 10.7s Mpmcq concurrent
[ ] 356 0 0 356 / 512 10.8s Mpmcq concurrent
[ ] 358 0 0 358 / 512 10.9s Mpmcq concurrent
[ ] 370 0 0 370 / 512 11.0s Mpmcq concurrent
[ ] 374 0 0 374 / 512 11.1s Mpmcq concurrent
[ ] 386 0 0 386 / 512 11.2s Mpmcq concurrent
[ ] 389 0 0 389 / 512 11.4s Mpmcq concurrent
[ ] 391 0 0 391 / 512 11.5s Mpmcq concurrent
[ ] 403 0 0 403 / 512 11.6s Mpmcq concurrent
[ ] 410 0 0 410 / 512 11.8s Mpmcq concurrent
[ ] 415 0 0 415 / 512 11.9s Mpmcq concurrent
[ ] 423 0 0 423 / 512 12.0s Mpmcq concurrent
[ ] 426 0 0 426 / 512 12.2s Mpmcq concurrent
[ ] 427 0 0 427 / 512 12.3s Mpmcq concurrent
[ ] 430 0 0 430 / 512 12.6s Mpmcq concurrent
[ ] 437 0 0 437 / 512 12.7s Mpmcq concurrent
[ ] 452 0 0 452 / 512 12.9s Mpmcq concurrent
[ ] 464 0 0 464 / 512 13.1s Mpmcq concurrent
[ ] 468 0 0 468 / 512 13.2s Mpmcq concurrent
[ ] 480 0 0 480 / 512 13.3s Mpmcq concurrent
[ ] 493 0 0 493 / 512 13.5s Mpmcq concurrent
[ ] 497 0 0 497 / 512 13.6s Mpmcq concurrent
[ ] 500 0 0 500 / 512 13.7s Mpmcq concurrent
[ ] 503 0 0 503 / 512 13.9s Mpmcq concurrent
[ ] 504 0 0 504 / 512 14.1s Mpmcq concurrent
[ ] 510 0 0 510 / 512 14.3s Mpmcq concurrent
[✓] 512 0 0 512 / 512 14.3s Mpmcq concurrent
================================================================================
success (ran 2 tests)
random seed: 211425967
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
[ ] 9 0 0 9 / 32 0.2s Mpmcq concurrent
[ ] 17 0 0 17 / 32 0.4s Mpmcq concurrent
[ ] 27 0 0 27 / 32 0.5s Mpmcq concurrent
[✓] 32 0 0 32 / 32 0.6s Mpmcq concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_sem.exe)
random seed: 540759517
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
[ ] 2 0 0 2 / 32 0.3s Sem concurrent
[ ] 14 0 0 14 / 32 0.4s Sem concurrent
[ ] 19 0 0 19 / 32 0.5s Sem concurrent
[ ] 22 0 0 22 / 32 0.7s Sem concurrent
[ ] 27 0 0 27 / 32 0.8s Sem concurrent
[ ] 29 0 0 29 / 32 0.9s Sem concurrent
[ ] 30 0 0 30 / 32 1.0s Sem concurrent
[✓] 32 0 0 32 / 32 1.1s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 426864427
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Sem sequential
[✓] 64 0 0 64 / 64 0.0s Sem sequential
[ ] 0 0 0 0 / 64 0.0s Sem concurrent
[ ] 2 0 0 2 / 64 0.1s Sem concurrent
[ ] 7 0 0 7 / 64 0.4s Sem concurrent
[ ] 15 0 0 15 / 64 0.5s Sem concurrent
[ ] 23 0 0 23 / 64 0.8s Sem concurrent
[ ] 30 0 0 30 / 64 0.9s Sem concurrent
[ ] 40 0 0 40 / 64 1.1s Sem concurrent
[ ] 46 0 0 46 / 64 1.2s Sem concurrent
[ ] 53 0 0 53 / 64 1.4s Sem concurrent
[✓] 64 0 0 64 / 64 1.5s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 927180544
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
[ ] 3 0 0 3 / 128 0.4s Sem concurrent
[ ] 5 0 0 5 / 128 0.5s Sem concurrent
[ ] 15 0 0 15 / 128 0.6s Sem concurrent
[ ] 20 0 0 20 / 128 0.9s Sem concurrent
[ ] 28 0 0 28 / 128 1.0s Sem concurrent
[ ] 29 0 0 29 / 128 1.1s Sem concurrent
[ ] 30 0 0 30 / 128 1.5s Sem concurrent
[ ] 41 0 0 41 / 128 2.1s Sem concurrent
[ ] 43 0 0 43 / 128 2.2s Sem concurrent
[ ] 50 0 0 50 / 128 2.4s Sem concurrent
[ ] 53 0 0 53 / 128 2.6s Sem concurrent
[ ] 58 0 0 58 / 128 2.8s Sem concurrent
[ ] 65 0 0 65 / 128 2.9s Sem concurrent
[ ] 74 0 0 74 / 128 3.3s Sem concurrent
[ ] 76 0 0 76 / 128 3.4s Sem concurrent
[ ] 82 0 0 82 / 128 3.5s Sem concurrent
[ ] 87 0 0 87 / 128 3.8s Sem concurrent
[ ] 90 0 0 90 / 128 4.0s Sem concurrent
[ ] 96 0 0 96 / 128 4.5s Sem concurrent
[ ] 108 0 0 108 / 128 4.6s Sem concurrent
[ ] 112 0 0 112 / 128 4.7s Sem concurrent
[ ] 119 0 0 119 / 128 4.8s Sem concurrent (collecting)
[ ] 123 0 0 123 / 128 5.1s Sem concurrent
[ ] 128 0 0 128 / 128 5.2s Sem concurrent
[✓] 128 0 0 128 / 128 5.2s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 958082416
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
[ ] 7 0 0 7 / 256 0.2s Sem concurrent
[ ] 17 0 0 17 / 256 0.3s Sem concurrent
[ ] 28 0 0 28 / 256 0.4s Sem concurrent
[ ] 29 0 0 29 / 256 0.6s Sem concurrent
[ ] 32 0 0 32 / 256 0.9s Sem concurrent
[ ] 38 0 0 38 / 256 1.0s Sem concurrent
[ ] 40 0 0 40 / 256 1.1s Sem concurrent
[ ] 46 0 0 46 / 256 1.2s Sem concurrent
[ ] 47 0 0 47 / 256 1.4s Sem concurrent
[ ] 52 0 0 52 / 256 1.6s Sem concurrent
[ ] 64 0 0 64 / 256 1.7s Sem concurrent
[ ] 72 0 0 72 / 256 1.8s Sem concurrent
[ ] 77 0 0 77 / 256 1.9s Sem concurrent
[ ] 87 0 0 87 / 256 2.0s Sem concurrent
[ ] 102 0 0 102 / 256 2.1s Sem concurrent
[ ] 112 0 0 112 / 256 2.2s Sem concurrent
[ ] 117 0 0 117 / 256 2.5s Sem concurrent
[ ] 122 0 0 122 / 256 2.6s Sem concurrent
[ ] 130 0 0 130 / 256 2.7s Sem concurrent
[ ] 139 0 0 139 / 256 2.8s Sem concurrent
[ ] 142 0 0 142 / 256 3.0s Sem concurrent
[ ] 151 0 0 151 / 256 3.1s Sem concurrent
[ ] 159 0 0 159 / 256 3.2s Sem concurrent
[ ] 168 0 0 168 / 256 3.5s Sem concurrent
[ ] 174 0 0 174 / 256 3.8s Sem concurrent
[ ] 178 0 0 178 / 256 3.9s Sem concurrent
[ ] 189 0 0 189 / 256 4.0s Sem concurrent
[ ] 193 0 0 193 / 256 4.1s Sem concurrent
[ ] 201 0 0 201 / 256 4.3s Sem concurrent
[ ] 213 0 0 213 / 256 4.4s Sem concurrent
[ ] 214 0 0 214 / 256 4.5s Sem concurrent
[ ] 219 0 0 219 / 256 4.8s Sem concurrent
[ ] 222 0 0 222 / 256 5.0s Sem concurrent
[ ] 234 0 0 234 / 256 5.1s Sem concurrent
[ ] 241 0 0 241 / 256 5.2s Sem concurrent
[ ] 243 0 0 243 / 256 5.5s Sem concurrent
[ ] 245 0 0 245 / 256 5.9s Sem concurrent
[ ] 255 0 0 255 / 256 6.0s Sem concurrent
[✓] 256 0 0 256 / 256 6.0s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 645431266
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Sem sequential
[✓] 512 0 0 512 / 512 0.0s Sem sequential
[ ] 0 0 0 0 / 512 0.0s Sem concurrent
[ ] 5 0 0 5 / 512 0.1s Sem concurrent
[ ] 6 0 0 6 / 512 0.2s Sem concurrent
[ ] 10 0 0 10 / 512 0.7s Sem concurrent
[ ] 25 0 0 25 / 512 0.9s Sem concurrent
[ ] 33 0 0 33 / 512 1.0s Sem concurrent
[ ] 39 0 0 39 / 512 1.3s Sem concurrent
[ ] 44 0 0 44 / 512 1.4s Sem concurrent
[ ] 46 0 0 46 / 512 1.7s Sem concurrent
[ ] 52 0 0 52 / 512 1.9s Sem concurrent
[ ] 61 0 0 61 / 512 2.0s Sem concurrent
[ ] 65 0 0 65 / 512 2.2s Sem concurrent
[ ] 76 0 0 76 / 512 2.3s Sem concurrent
[ ] 82 0 0 82 / 512 2.5s Sem concurrent
[ ] 93 0 0 93 / 512 2.7s Sem concurrent
[ ] 97 0 0 97 / 512 2.8s Sem concurrent
[ ] 99 0 0 99 / 512 3.0s Sem concurrent
[ ] 101 0 0 101 / 512 3.1s Sem concurrent
[ ] 102 0 0 102 / 512 3.3s Sem concurrent
[ ] 104 0 0 104 / 512 3.5s Sem concurrent
[ ] 114 0 0 114 / 512 3.8s Sem concurrent
[ ] 120 0 0 120 / 512 3.9s Sem concurrent
[ ] 129 0 0 129 / 512 4.0s Sem concurrent
[ ] 138 0 0 138 / 512 4.1s Sem concurrent
[ ] 142 0 0 142 / 512 4.3s Sem concurrent
[ ] 150 0 0 150 / 512 4.4s Sem concurrent
[ ] 156 0 0 156 / 512 4.7s Sem concurrent
[ ] 163 0 0 163 / 512 4.8s Sem concurrent
[ ] 169 0 0 169 / 512 5.0s Sem concurrent
[ ] 176 0 0 176 / 512 5.2s Sem concurrent
[ ] 187 0 0 187 / 512 5.3s Sem concurrent
[ ] 189 0 0 189 / 512 5.4s Sem concurrent
[ ] 193 0 0 193 / 512 5.6s Sem concurrent
[ ] 197 0 0 197 / 512 5.8s Sem concurrent
[ ] 205 0 0 205 / 512 6.0s Sem concurrent
[ ] 212 0 0 212 / 512 6.3s Sem concurrent
[ ] 220 0 0 220 / 512 6.5s Sem concurrent
[ ] 232 0 0 232 / 512 6.6s Sem concurrent
[ ] 240 0 0 240 / 512 6.7s Sem concurrent
[ ] 244 0 0 244 / 512 6.8s Sem concurrent
[ ] 249 0 0 249 / 512 7.0s Sem concurrent
[ ] 255 0 0 255 / 512 7.1s Sem concurrent
[ ] 260 0 0 260 / 512 7.2s Sem concurrent
[ ] 268 0 0 268 / 512 7.5s Sem concurrent
[ ] 278 0 0 278 / 512 7.6s Sem concurrent
[ ] 284 0 0 284 / 512 7.7s Sem concurrent
[ ] 292 0 0 292 / 512 7.9s Sem concurrent
[ ] 301 0 0 301 / 512 8.1s Sem concurrent
[ ] 306 0 0 306 / 512 8.3s Sem concurrent
[ ] 312 0 0 312 / 512 8.5s Sem concurrent
[ ] 317 0 0 317 / 512 8.6s Sem concurrent
[ ] 322 0 0 322 / 512 8.7s Sem concurrent
[ ] 328 0 0 328 / 512 8.8s Sem concurrent
[ ] 333 0 0 333 / 512 9.0s Sem concurrent
[ ] 339 0 0 339 / 512 9.2s Sem concurrent
[ ] 349 0 0 349 / 512 9.4s Sem concurrent
[ ] 351 0 0 351 / 512 9.5s Sem concurrent
[ ] 354 0 0 354 / 512 9.7s Sem concurrent
[ ] 357 0 0 357 / 512 10.0s Sem concurrent
[ ] 361 0 0 361 / 512 10.2s Sem concurrent
[ ] 369 0 0 369 / 512 10.3s Sem concurrent
[ ] 375 0 0 375 / 512 10.4s Sem concurrent
[ ] 378 0 0 378 / 512 10.5s Sem concurrent
[ ] 381 0 0 381 / 512 10.8s Sem concurrent
[ ] 387 0 0 387 / 512 11.1s Sem concurrent
[ ] 390 0 0 390 / 512 11.3s Sem concurrent
[ ] 396 0 0 396 / 512 11.4s Sem concurrent
[ ] 400 0 0 400 / 512 11.7s Sem concurrent
[ ] 404 0 0 404 / 512 11.8s Sem concurrent
[ ] 410 0 0 410 / 512 12.0s Sem concurrent
[ ] 417 0 0 417 / 512 12.2s Sem concurrent
[ ] 425 0 0 425 / 512 12.4s Sem concurrent
[ ] 427 0 0 427 / 512 12.5s Sem concurrent
[ ] 431 0 0 431 / 512 12.7s Sem concurrent
[ ] 437 0 0 437 / 512 12.9s Sem concurrent
[ ] 446 0 0 446 / 512 13.0s Sem concurrent
[ ] 454 0 0 454 / 512 13.1s Sem concurrent
[ ] 456 0 0 456 / 512 13.3s Sem concurrent
[ ] 464 0 0 464 / 512 13.5s Sem concurrent
[ ] 473 0 0 473 / 512 13.6s Sem concurrent
[ ] 478 0 0 478 / 512 13.8s Sem concurrent
[ ] 482 0 0 482 / 512 13.9s Sem concurrent
[ ] 490 0 0 490 / 512 14.0s Sem concurrent
[ ] 498 0 0 498 / 512 14.1s Sem concurrent
[✓] 512 0 0 512 / 512 14.2s Sem concurrent
================================================================================
success (ran 2 tests)
random seed: 438652884
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
[ ] 7 0 0 7 / 32 0.2s Sem concurrent
[ ] 9 0 0 9 / 32 0.4s Sem concurrent
[ ] 10 0 0 10 / 32 0.6s Sem concurrent
[ ] 13 0 0 13 / 32 0.8s Sem concurrent
[ ] 16 0 0 16 / 32 0.9s Sem concurrent
[ ] 28 0 0 28 / 32 1.0s Sem concurrent
[✓] 32 0 0 32 / 32 1.0s Sem concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_htbl.exe)
random seed: 886472494
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
[ ] 4 0 0 4 / 32 0.1s Htbl concurrent
[ ] 5 0 0 5 / 32 0.2s Htbl concurrent
[ ] 6 0 0 6 / 32 0.4s Htbl concurrent
[ ] 11 0 0 11 / 32 0.6s Htbl concurrent
[ ] 13 0 0 13 / 32 0.7s Htbl concurrent
[ ] 17 0 0 17 / 32 0.8s Htbl concurrent
[ ] 23 0 0 23 / 32 1.3s Htbl concurrent
[ ] 24 0 0 24 / 32 1.5s Htbl concurrent
[ ] 28 0 0 28 / 32 1.7s Htbl concurrent
[ ] 32 0 0 32 / 32 1.8s Htbl concurrent
[✓] 32 0 0 32 / 32 1.8s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 314685812
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
[ ] 6 0 0 6 / 64 0.1s Htbl concurrent
[ ] 10 0 0 10 / 64 0.4s Htbl concurrent
[ ] 13 0 0 13 / 64 0.8s Htbl concurrent
[ ] 14 0 0 14 / 64 1.2s Htbl concurrent
[ ] 16 0 0 16 / 64 1.6s Htbl concurrent
[ ] 20 0 0 20 / 64 1.8s Htbl concurrent
[ ] 23 0 0 23 / 64 1.9s Htbl concurrent
[ ] 30 0 0 30 / 64 2.0s Htbl concurrent
[ ] 36 0 0 36 / 64 2.1s Htbl concurrent
[ ] 38 0 0 38 / 64 2.4s Htbl concurrent
[ ] 42 0 0 42 / 64 2.5s Htbl concurrent
[ ] 49 0 0 49 / 64 2.8s Htbl concurrent
[ ] 56 0 0 56 / 64 3.0s Htbl concurrent
[✓] 64 0 0 64 / 64 3.0s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 299606142
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
[ ] 9 0 0 9 / 128 0.3s Htbl concurrent
[ ] 16 0 0 16 / 128 0.4s Htbl concurrent
[ ] 24 0 0 24 / 128 0.5s Htbl concurrent
[ ] 31 0 0 31 / 128 0.7s Htbl concurrent
[ ] 32 0 0 32 / 128 0.9s Htbl concurrent
[ ] 37 0 0 37 / 128 1.0s Htbl concurrent
[ ] 38 0 0 38 / 128 1.1s Htbl concurrent
[ ] 42 0 0 42 / 128 1.2s Htbl concurrent
[ ] 44 0 0 44 / 128 1.4s Htbl concurrent
[ ] 48 0 0 48 / 128 1.6s Htbl concurrent
[ ] 51 0 0 51 / 128 1.7s Htbl concurrent
[ ] 58 0 0 58 / 128 1.8s Htbl concurrent
[ ] 66 0 0 66 / 128 2.6s Htbl concurrent
[ ] 67 0 0 67 / 128 2.9s Htbl concurrent
[ ] 68 0 0 68 / 128 3.1s Htbl concurrent
[ ] 74 0 0 74 / 128 3.2s Htbl concurrent
[ ] 81 0 0 81 / 128 3.3s Htbl concurrent
[ ] 90 0 0 90 / 128 3.4s Htbl concurrent
[ ] 98 0 0 98 / 128 3.5s Htbl concurrent
[ ] 105 0 0 105 / 128 3.6s Htbl concurrent
[ ] 111 0 0 111 / 128 3.9s Htbl concurrent
[ ] 119 0 0 119 / 128 4.0s Htbl concurrent
[ ] 125 0 0 125 / 128 4.1s Htbl concurrent
[✓] 128 0 0 128 / 128 4.1s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 63970512
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
[ ] 9 0 0 9 / 256 0.1s Htbl concurrent
[ ] 10 0 0 10 / 256 0.3s Htbl concurrent
[ ] 18 0 0 18 / 256 0.7s Htbl concurrent
[ ] 26 0 0 26 / 256 0.8s Htbl concurrent
[ ] 34 0 0 34 / 256 0.9s Htbl concurrent
[ ] 41 0 0 41 / 256 1.0s Htbl concurrent
[ ] 48 0 0 48 / 256 1.1s Htbl concurrent
[ ] 52 0 0 52 / 256 1.2s Htbl concurrent
[ ] 59 0 0 59 / 256 1.5s Htbl concurrent
[ ] 61 0 0 61 / 256 1.7s Htbl concurrent
[ ] 70 0 0 70 / 256 1.8s Htbl concurrent
[ ] 73 0 0 73 / 256 2.0s Htbl concurrent
[ ] 82 0 0 82 / 256 2.1s Htbl concurrent
[ ] 90 0 0 90 / 256 2.2s Htbl concurrent
[ ] 96 0 0 96 / 256 2.3s Htbl concurrent
[ ] 101 0 0 101 / 256 2.4s Htbl concurrent
[ ] 108 0 0 108 / 256 2.8s Htbl concurrent
[ ] 112 0 0 112 / 256 3.0s Htbl concurrent
[ ] 115 0 0 115 / 256 3.2s Htbl concurrent
[ ] 121 0 0 121 / 256 3.4s Htbl concurrent
[ ] 127 0 0 127 / 256 3.5s Htbl concurrent
[ ] 134 0 0 134 / 256 3.6s Htbl concurrent
[ ] 140 0 0 140 / 256 3.7s Htbl concurrent
[ ] 148 0 0 148 / 256 3.9s Htbl concurrent
[ ] 154 0 0 154 / 256 4.0s Htbl concurrent
[ ] 157 0 0 157 / 256 4.3s Htbl concurrent
[ ] 159 0 0 159 / 256 4.4s Htbl concurrent
[ ] 166 0 0 166 / 256 4.5s Htbl concurrent
[ ] 168 0 0 168 / 256 4.7s Htbl concurrent
[ ] 176 0 0 176 / 256 4.8s Htbl concurrent
[ ] 180 0 0 180 / 256 5.1s Htbl concurrent
[ ] 183 0 0 183 / 256 5.2s Htbl concurrent
[ ] 188 0 0 188 / 256 5.3s Htbl concurrent
[ ] 194 0 0 194 / 256 5.5s Htbl concurrent
[ ] 203 0 0 203 / 256 5.7s Htbl concurrent
[ ] 213 0 0 213 / 256 5.8s Htbl concurrent
[ ] 217 0 0 217 / 256 5.9s Htbl concurrent
[ ] 220 0 0 220 / 256 6.2s Htbl concurrent
[ ] 221 0 0 221 / 256 6.4s Htbl concurrent
[ ] 224 0 0 224 / 256 6.6s Htbl concurrent
[ ] 232 0 0 232 / 256 6.9s Htbl concurrent
[ ] 242 0 0 242 / 256 7.1s Htbl concurrent
[ ] 253 0 0 253 / 256 7.5s Htbl concurrent
[✓] 256 0 0 256 / 256 7.5s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 217218440
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Htbl sequential
[✓] 512 0 0 512 / 512 0.0s Htbl sequential
[ ] 0 0 0 0 / 512 0.0s Htbl concurrent
[ ] 9 0 0 9 / 512 0.1s Htbl concurrent
[ ] 16 0 0 16 / 512 0.4s Htbl concurrent
[ ] 21 0 0 21 / 512 0.5s Htbl concurrent
[ ] 23 0 0 23 / 512 0.8s Htbl concurrent
[ ] 24 0 0 24 / 512 1.0s Htbl concurrent
[ ] 33 0 0 33 / 512 1.2s Htbl concurrent
[ ] 40 0 0 40 / 512 1.3s Htbl concurrent
[ ] 41 0 0 41 / 512 1.4s Htbl concurrent
[ ] 43 0 0 43 / 512 1.8s Htbl concurrent
[ ] 46 0 0 46 / 512 2.2s Htbl concurrent
[ ] 47 0 0 47 / 512 2.3s Htbl concurrent
[ ] 49 0 0 49 / 512 2.5s Htbl concurrent
[ ] 50 0 0 50 / 512 2.7s Htbl concurrent
[ ] 53 0 0 53 / 512 3.0s Htbl concurrent
[ ] 56 0 0 56 / 512 3.1s Htbl concurrent
[ ] 62 0 0 62 / 512 3.2s Htbl concurrent
[ ] 68 0 0 68 / 512 3.5s Htbl concurrent
[ ] 78 0 0 78 / 512 3.6s Htbl concurrent
[ ] 87 0 0 87 / 512 3.7s Htbl concurrent
[ ] 97 0 0 97 / 512 4.0s Htbl concurrent
[ ] 101 0 0 101 / 512 4.1s Htbl concurrent
[ ] 108 0 0 108 / 512 4.2s Htbl concurrent
[ ] 109 0 0 109 / 512 4.5s Htbl concurrent
[ ] 110 0 0 110 / 512 4.7s Htbl concurrent
[ ] 111 0 0 111 / 512 5.1s Htbl concurrent
[ ] 113 0 0 113 / 512 5.3s Htbl concurrent
[ ] 117 0 0 117 / 512 5.5s Htbl concurrent
[ ] 121 0 0 121 / 512 5.6s Htbl concurrent
[ ] 124 0 0 124 / 512 5.9s Htbl concurrent
[ ] 135 0 0 135 / 512 6.3s Htbl concurrent
[ ] 143 0 0 143 / 512 6.4s Htbl concurrent
[ ] 154 0 0 154 / 512 6.5s Htbl concurrent
[ ] 158 0 0 158 / 512 6.8s Htbl concurrent
[ ] 164 0 0 164 / 512 7.0s Htbl concurrent
[ ] 168 0 0 168 / 512 7.1s Htbl concurrent
[ ] 175 0 0 175 / 512 7.2s Htbl concurrent
[ ] 177 0 0 177 / 512 7.3s Htbl concurrent
[ ] 183 0 0 183 / 512 7.4s Htbl concurrent
[ ] 195 0 0 195 / 512 7.7s Htbl concurrent
[ ] 202 0 0 202 / 512 7.8s Htbl concurrent
[ ] 211 0 0 211 / 512 8.1s Htbl concurrent
[ ] 213 0 0 213 / 512 8.2s Htbl concurrent
[ ] 220 0 0 220 / 512 8.3s Htbl concurrent
[ ] 227 0 0 227 / 512 8.6s Htbl concurrent
[ ] 242 0 0 242 / 512 8.7s Htbl concurrent
[ ] 244 0 0 244 / 512 8.8s Htbl concurrent
[ ] 245 0 0 245 / 512 8.9s Htbl concurrent
[ ] 247 0 0 247 / 512 9.1s Htbl concurrent
[ ] 248 0 0 248 / 512 9.2s Htbl concurrent
[ ] 255 0 0 255 / 512 9.4s Htbl concurrent
[ ] 261 0 0 261 / 512 9.5s Htbl concurrent
[ ] 269 0 0 269 / 512 9.7s Htbl concurrent
[ ] 275 0 0 275 / 512 9.9s Htbl concurrent
[ ] 278 0 0 278 / 512 10.2s Htbl concurrent
[ ] 285 0 0 285 / 512 10.3s Htbl concurrent
[ ] 296 0 0 296 / 512 10.5s Htbl concurrent
[ ] 307 0 0 307 / 512 10.7s Htbl concurrent
[ ] 308 0 0 308 / 512 11.1s Htbl concurrent
[ ] 313 0 0 313 / 512 11.3s Htbl concurrent
[ ] 317 0 0 317 / 512 11.5s Htbl concurrent
[ ] 322 0 0 322 / 512 11.7s Htbl concurrent
[ ] 329 0 0 329 / 512 11.8s Htbl concurrent
[ ] 337 0 0 337 / 512 11.9s Htbl concurrent
[ ] 340 0 0 340 / 512 12.1s Htbl concurrent
[ ] 347 0 0 347 / 512 12.2s Htbl concurrent
[ ] 348 0 0 348 / 512 12.5s Htbl concurrent
[ ] 355 0 0 355 / 512 12.6s Htbl concurrent
[ ] 356 0 0 356 / 512 12.7s Htbl concurrent
[ ] 359 0 0 359 / 512 12.9s Htbl concurrent
[ ] 362 0 0 362 / 512 13.1s Htbl concurrent
[ ] 373 0 0 373 / 512 13.2s Htbl concurrent
[ ] 385 0 0 385 / 512 13.4s Htbl concurrent
[ ] 392 0 0 392 / 512 13.5s Htbl concurrent
[ ] 405 0 0 405 / 512 13.6s Htbl concurrent
[ ] 411 0 0 411 / 512 13.7s Htbl concurrent
[ ] 424 0 0 424 / 512 13.8s Htbl concurrent
[ ] 427 0 0 427 / 512 13.9s Htbl concurrent
[ ] 429 0 0 429 / 512 14.2s Htbl concurrent
[ ] 434 0 0 434 / 512 14.3s Htbl concurrent
[ ] 442 0 0 442 / 512 14.4s Htbl concurrent
[ ] 443 0 0 443 / 512 14.5s Htbl concurrent
[ ] 450 0 0 450 / 512 14.7s Htbl concurrent
[ ] 463 0 0 463 / 512 14.8s Htbl concurrent
[ ] 472 0 0 472 / 512 14.9s Htbl concurrent
[ ] 479 0 0 479 / 512 15.0s Htbl concurrent
[ ] 489 0 0 489 / 512 15.2s Htbl concurrent
[ ] 496 0 0 496 / 512 15.3s Htbl concurrent
[ ] 504 0 0 504 / 512 15.4s Htbl concurrent
[ ] 512 0 0 512 / 512 15.6s Htbl concurrent
[✓] 512 0 0 512 / 512 15.6s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 569852323
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
[ ] 4 0 0 4 / 32 0.1s Htbl concurrent
[ ] 11 0 0 11 / 32 0.3s Htbl concurrent
[ ] 14 0 0 14 / 32 0.4s Htbl concurrent
[ ] 25 0 0 25 / 32 0.5s Htbl concurrent
[ ] 30 0 0 30 / 32 0.6s Htbl concurrent
[✓] 32 0 0 32 / 32 0.6s Htbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test && ./test_schedulers.exe)
Testing with scheduler: threads
Fairness of 100 fibers performing at least 10000 yields:
sd: 0.000437 -- ideally 0
mean: 1.001876 -- ideally 1
median: 1.001900 -- ideally 1
Testing `Picos schedulers'.
This run has ID `THH8R3KV'.
[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 56.152s. 8 tests run.
Thread 221 killed on uncaught exception Failure("fatal")
Raised at Dune__exe__Test_schedulers.test_fatal.fatal_exn_handler in file "test/test_schedulers.ml", line 110, characters 6-15
Called from Thread.create.(fun) in file "thread.ml", line 49, characters 8-14
Thread 287 killed on uncaught exception Failure("fatal")
Raised at Dune__exe__Test_schedulers.test_fatal.fatal_exn_handler in file "test/test_schedulers.ml", line 110, characters 6-15
Called from Thread.create.(fun) in file "thread.ml", line 49, characters 8-14
2025-12-28 13:46.57 ---> saved as "cc8ec452eb811f5b6099151ed5ddf5d7615e03d89b48d37f7d52a59841597468"
Job succeeded
2025-12-28 13:46.57: Job succeeded