Organisationsmiragemirage-crypto688cc6 ()debian-12-4.14_arm32_opam-2.3

debian-12-4.14_arm32_opam-2.3

Logs

Show full logs
2025-01-08 13:24.19: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/254/head (688cc6d190f708359b3880085665b84605cae44b) (linux-arm64:debian-12-4.14_arm32_opam-2.3)
Base: ocaml/opam:debian-12-ocaml-4.14@sha256:95f1d14398e39b53317f644e87f33af4863d6c655734511995fff4bd3f23b55a
Opam project build

To reproduce locally:

git clone --recursive "https://github.com/mirage/mirage-crypto.git" && cd "mirage-crypto" && git fetch origin "refs/pull/254/head" && git reset --hard 688cc6d1
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.14@sha256:95f1d14398e39b53317f644e87f33af4863d6c655734511995fff4bd3f23b55a
# debian-12-4.14_arm32_opam-2.3
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.3 /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 9699c1b20d7cf74df5e29074bbc1f24a3033a7f7 || git fetch origin master) && git reset -q --hard 9699c1b20d7cf74df5e29074bbc1f24a3033a7f7 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam ./
RUN opam pin add -yn mirage-crypto.dev './' && \
    opam pin add -yn mirage-crypto-rng.dev './' && \
    opam pin add -yn mirage-crypto-rng-mirage.dev './' && \
    opam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
    opam pin add -yn mirage-crypto-rng-lwt.dev './' && \
    opam pin add -yn mirage-crypto-rng-eio.dev './' && \
    opam pin add -yn mirage-crypto-rng-async.dev './' && \
    opam pin add -yn mirage-crypto-pk.dev './' && \
    opam pin add -yn mirage-crypto-ec.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 async.v0.14.0 async_kernel.v0.14.0 async_rpc_kernel.v0.14.0 async_unix.v0.14.0 base.v0.14.3 base-bigarray.base base-bytes.base base-threads.base base-unix.base base_bigstring.v0.14.0 base_quickcheck.v0.14.1 bin_prot.v0.14.1 cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.3 core.v0.14.1 core_kernel.v0.14.2 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.0 dune.3.17.1 dune-configurator.3.17.1 duration.0.2.1 eqaf.0.10 fieldslib.v0.14.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 ipaddr.5.6.0 jane-street-headers.v0.14.0 jst-config.v0.14.1 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.8.2 mirage-time.3.0.0 mirage-time-unix.3.0.0 mirage-unix.5.0.1 mtime.2.1.0 num.1.5-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 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 octavius.1.2.2 ohex.0.2.0 ounit2.2.2.7 parsexp.v0.14.2 ppx_assert.v0.14.0 ppx_base.v0.14.0 ppx_bench.v0.14.1 ppx_bin_prot.v0.14.0 ppx_cold.v0.14.0 ppx_compare.v0.14.0 ppx_custom_printf.v0.14.1 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_deriving_yojson.3.6.1 ppx_enumerate.v0.14.0 ppx_expect.v0.14.2 ppx_fields_conv.v0.14.2 ppx_fixed_literal.v0.14.0 ppx_hash.v0.14.0 ppx_here.v0.14.0 ppx_inline_test.v0.14.1 ppx_jane.v0.14.0 ppx_js_style.v0.14.1 ppx_let.v0.14.0 ppx_module_timer.v0.14.0 ppx_optcomp.v0.14.3 ppx_optional.v0.14.0 ppx_pipebang.v0.14.0 ppx_sexp_conv.v0.14.3 ppx_sexp_message.v0.14.1 ppx_sexp_value.v0.14.0 ppx_stable.v0.14.1 ppx_string.v0.14.1 ppx_typerep_conv.v0.14.2 ppx_variants_conv.v0.14.2 ppxlib.0.25.1 protocol_version_header.v0.14.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 result.1.5 seq.base sexplib.v0.14.0 sexplib0.v0.14.0 spawn.v0.17.0 splittable_random.v0.14.0 stdio.v0.14.0 stdlib-shims.0.3.0 textutils.v0.14.0 time_now.v0.14.0 timezone.v0.14.0 topkg.1.0.7 typerep.v0.14.0 uutf.1.0.3 variantslib.v0.14.0 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-lwt.dev mirage-crypto-rng-async.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build --only-packages=mirage-crypto,mirage-crypto-rng,mirage-crypto-rng-mirage,mirage-crypto-rng-lwt,mirage-crypto-rng-async,mirage-crypto-pk,mirage-crypto-ec @install @check @runtest && rm -rf _build

END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK

2025-01-08 13:24.19: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-12-ocaml-4.14@sha256:95f1d14398e39b53317f644e87f33af4863d6c655734511995fff4bd3f23b55a-debian-12-4.14_arm32_opam-2.3-0bca7c5dd28fd9fe2be2d014d0ad68b4"
2025-01-08 13:24.19: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.14@sha256:95f1d14398e39b53317f644e87f33af4863d6c655734511995fff4bd3f23b55a)
 (comment debian-12-4.14_arm32_opam-2.3)
 (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.3 /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 9699c1b20d7cf74df5e29074bbc1f24a3033a7f7 || git fetch origin master) && git reset -q --hard 9699c1b20d7cf74df5e29074bbc1f24a3033a7f7 && git log --no-decorate -n1 --oneline && opam update -u"))
 (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
       (dst ./))
 (run (network host)
      (shell  "opam pin add -yn mirage-crypto.dev './' && \
             \nopam pin add -yn mirage-crypto-rng.dev './' && \
             \nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \
             \nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
             \nopam pin add -yn mirage-crypto-rng-lwt.dev './' && \
             \nopam pin add -yn mirage-crypto-rng-eio.dev './' && \
             \nopam pin add -yn mirage-crypto-rng-async.dev './' && \
             \nopam pin add -yn mirage-crypto-pk.dev './' && \
             \nopam pin add -yn mirage-crypto-ec.dev './'"))
 (run (network host)
      (shell "echo '(lang dune 3.0)' > './dune-project'"))
 (env DEPS "alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 async.v0.14.0 async_kernel.v0.14.0 async_rpc_kernel.v0.14.0 async_unix.v0.14.0 base.v0.14.3 base-bigarray.base base-bytes.base base-threads.base base-unix.base base_bigstring.v0.14.0 base_quickcheck.v0.14.1 bin_prot.v0.14.1 cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.3 core.v0.14.1 core_kernel.v0.14.2 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.0 dune.3.17.1 dune-configurator.3.17.1 duration.0.2.1 eqaf.0.10 fieldslib.v0.14.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 ipaddr.5.6.0 jane-street-headers.v0.14.0 jst-config.v0.14.1 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.8.2 mirage-time.3.0.0 mirage-time-unix.3.0.0 mirage-unix.5.0.1 mtime.2.1.0 num.1.5-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 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 octavius.1.2.2 ohex.0.2.0 ounit2.2.2.7 parsexp.v0.14.2 ppx_assert.v0.14.0 ppx_base.v0.14.0 ppx_bench.v0.14.1 ppx_bin_prot.v0.14.0 ppx_cold.v0.14.0 ppx_compare.v0.14.0 ppx_custom_printf.v0.14.1 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_deriving_yojson.3.6.1 ppx_enumerate.v0.14.0 ppx_expect.v0.14.2 ppx_fields_conv.v0.14.2 ppx_fixed_literal.v0.14.0 ppx_hash.v0.14.0 ppx_here.v0.14.0 ppx_inline_test.v0.14.1 ppx_jane.v0.14.0 ppx_js_style.v0.14.1 ppx_let.v0.14.0 ppx_module_timer.v0.14.0 ppx_optcomp.v0.14.3 ppx_optional.v0.14.0 ppx_pipebang.v0.14.0 ppx_sexp_conv.v0.14.3 ppx_sexp_message.v0.14.1 ppx_sexp_value.v0.14.0 ppx_stable.v0.14.1 ppx_string.v0.14.1 ppx_typerep_conv.v0.14.2 ppx_variants_conv.v0.14.2 ppxlib.0.25.1 protocol_version_header.v0.14.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 result.1.5 seq.base sexplib.v0.14.0 sexplib0.v0.14.0 spawn.v0.17.0 splittable_random.v0.14.0 stdio.v0.14.0 stdlib-shims.0.3.0 textutils.v0.14.0 time_now.v0.14.0 timezone.v0.14.0 topkg.1.0.7 typerep.v0.14.0 uutf.1.0.3 variantslib.v0.14.0 yojson.2.2.2 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.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-lwt.dev mirage-crypto-rng-async.dev mirage-crypto-pk.dev mirage-crypto-ec.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 --only-packages=mirage-crypto,mirage-crypto-rng,mirage-crypto-rng-mirage,mirage-crypto-rng-lwt,mirage-crypto-rng-async,mirage-crypto-pk,mirage-crypto-ec @install @check @runtest && rm -rf _build"))
)

2025-01-08 13:24.19: Waiting for resource in pool OCluster
2025-01-08 13:24.19: Waiting for worker…
2025-01-08 13:24.44: Got resource from pool OCluster
Building on kydoime.caelum.ci.dev
All commits already cached
HEAD is now at 688cc6d de-deprecate miou-unix

(from ocaml/opam:debian-12-ocaml-4.14@sha256:95f1d14398e39b53317f644e87f33af4863d6c655734511995fff4bd3f23b55a)
Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:95f1d14398e39b53317f644e87f33af4863d6c655734511995fff4bd3f23b55a' locally
docker.io/ocaml/opam@sha256:95f1d14398e39b53317f644e87f33af4863d6c655734511995fff4bd3f23b55a: Pulling from ocaml/opam
7c5bf79c3d48: Pulling fs layer
7c5bf79c3d48: Verifying Checksum
7c5bf79c3d48: Download complete
7c5bf79c3d48: Pull complete
Digest: sha256:95f1d14398e39b53317f644e87f33af4863d6c655734511995fff4bd3f23b55a
Status: Downloaded newer image for ocaml/opam@sha256:95f1d14398e39b53317f644e87f33af4863d6c655734511995fff4bd3f23b55a
WARNING: The requested image's platform (linux/arm/v7) does not match the detected host platform (linux/arm64/v8) and no specific platform was requested
2025-01-08 13:24.44 ---> using "7a39c7b5fb1295b43f910457a35d5269cdee189a7e6a1826bccdbc8e5860e06b" from cache

/: (comment debian-12-4.14_arm32_opam-2.3)

/: (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.3 /usr/bin/opam"))
2025-01-08 13:24.44 ---> using "aecda72ab412affa80c636aad3c5a7c42a74e01c978aa2231615b30020f87186" 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.

Continue? [y/n] y
This development 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.

Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2025-01-08 13:24.44 ---> using "01a2a4197400760d7e932c43e9536fdb1e8b2f55b3a9053d6f8844eff0b5ca20" from cache

/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-127-generic
The OCaml toplevel, version 4.14.2
2.3.0
2025-01-08 13:24.44 ---> using "79a8bb9eb47f50acf976a4ca202a9e189aca7ebd0fa18bfb69f5eef2cad45aaf" from cache

/src: (workdir /src)

/src: (run (shell "sudo chown opam /src"))
2025-01-08 13:24.44 ---> using "4ce1f375a0fafe71ed8afe864136096ee94bbf2f4760a5c444300bf3cfb26d52" from cache

/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "cd ~/opam-repository && (git cat-file -e 9699c1b20d7cf74df5e29074bbc1f24a3033a7f7 || git fetch origin master) && git reset -q --hard 9699c1b20d7cf74df5e29074bbc1f24a3033a7f7 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   de786e28db..7990d7d220  master     -> origin/master
9699c1b20d Merge pull request #27142 from NathanReb/release-ppx_deriving_yojson.3.9.1

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository

Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, 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-01-08 13:24.44 ---> using "1f0f58ea205c613940fdea1ed1a29a8b05b21943f8bd04e25c0a97bc3206fc46" from cache

/src: (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
            (dst ./))
2025-01-08 13:24.44 ---> using "fc479e3585fdfd144a8cca1e53e32d3cdd5220196579a107a295fa7d629ed95c" from cache

/src: (run (network host)
           (shell  "opam pin add -yn mirage-crypto.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng-lwt.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng-eio.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng-async.dev './' && \
                  \nopam pin add -yn mirage-crypto-pk.dev './' && \
                  \nopam pin add -yn mirage-crypto-ec.dev './'"))
[mirage-crypto.dev] synchronised (file:///src)
mirage-crypto is now pinned to file:///src (version dev)
[mirage-crypto-rng.dev] synchronised (file:///src)
mirage-crypto-rng is now pinned to file:///src (version dev)
[mirage-crypto-rng-mirage.dev] synchronised (file:///src)
mirage-crypto-rng-mirage is now pinned to file:///src (version dev)
[mirage-crypto-rng-miou-unix.dev] synchronised (file:///src)
mirage-crypto-rng-miou-unix is now pinned to file:///src (version dev)
[mirage-crypto-rng-lwt.dev] synchronised (file:///src)
mirage-crypto-rng-lwt is now pinned to file:///src (version dev)
[mirage-crypto-rng-eio.dev] synchronised (file:///src)
mirage-crypto-rng-eio is now pinned to file:///src (version dev)
[mirage-crypto-rng-async.dev] synchronised (file:///src)
mirage-crypto-rng-async is now pinned to file:///src (version dev)
[mirage-crypto-pk.dev] synchronised (file:///src)
mirage-crypto-pk is now pinned to file:///src (version dev)
[mirage-crypto-ec.dev] synchronised (file:///src)
mirage-crypto-ec is now pinned to file:///src (version dev)
2025-01-08 13:24.44 ---> using "3dc83f49870bec6e4e9c302ca106d4faef6c2de9238a594c2108c104af8d303a" from cache

/src: (run (network host)
           (shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-01-08 13:24.44 ---> using "ff3f9c845b362db1c90e7246f436d00766189af20ca6ac9bc585c0b3c328adac" from cache

/src: (env DEPS "alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 async.v0.14.0 async_kernel.v0.14.0 async_rpc_kernel.v0.14.0 async_unix.v0.14.0 base.v0.14.3 base-bigarray.base base-bytes.base base-threads.base base-unix.base base_bigstring.v0.14.0 base_quickcheck.v0.14.1 bin_prot.v0.14.1 cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.3 core.v0.14.1 core_kernel.v0.14.2 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.0 dune.3.17.1 dune-configurator.3.17.1 duration.0.2.1 eqaf.0.10 fieldslib.v0.14.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 ipaddr.5.6.0 jane-street-headers.v0.14.0 jst-config.v0.14.1 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.8.2 mirage-time.3.0.0 mirage-time-unix.3.0.0 mirage-unix.5.0.1 mtime.2.1.0 num.1.5-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 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 octavius.1.2.2 ohex.0.2.0 ounit2.2.2.7 parsexp.v0.14.2 ppx_assert.v0.14.0 ppx_base.v0.14.0 ppx_bench.v0.14.1 ppx_bin_prot.v0.14.0 ppx_cold.v0.14.0 ppx_compare.v0.14.0 ppx_custom_printf.v0.14.1 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_deriving_yojson.3.6.1 ppx_enumerate.v0.14.0 ppx_expect.v0.14.2 ppx_fields_conv.v0.14.2 ppx_fixed_literal.v0.14.0 ppx_hash.v0.14.0 ppx_here.v0.14.0 ppx_inline_test.v0.14.1 ppx_jane.v0.14.0 ppx_js_style.v0.14.1 ppx_let.v0.14.0 ppx_module_timer.v0.14.0 ppx_optcomp.v0.14.3 ppx_optional.v0.14.0 ppx_pipebang.v0.14.0 ppx_sexp_conv.v0.14.3 ppx_sexp_message.v0.14.1 ppx_sexp_value.v0.14.0 ppx_stable.v0.14.1 ppx_string.v0.14.1 ppx_typerep_conv.v0.14.2 ppx_variants_conv.v0.14.2 ppxlib.0.25.1 protocol_version_header.v0.14.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 result.1.5 seq.base sexplib.v0.14.0 sexplib0.v0.14.0 spawn.v0.17.0 splittable_random.v0.14.0 stdio.v0.14.0 stdlib-shims.0.3.0 textutils.v0.14.0 time_now.v0.14.0 timezone.v0.14.0 topkg.1.0.7 typerep.v0.14.0 uutf.1.0.3 variantslib.v0.14.0 yojson.2.2.2 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.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-lwt.dev mirage-crypto-rng-async.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian bookworm-updates/main armhf Packages.diff/Index [14.0 kB]
- Get:5 http://deb.debian.org/debian bookworm-updates/main armhf Packages T-2024-12-07-2012.31-F-2024-12-07-2012.31.pdiff [6668 B]
- Get:5 http://deb.debian.org/debian bookworm-updates/main armhf Packages T-2024-12-07-2012.31-F-2024-12-07-2012.31.pdiff [6668 B]
- Get:6 http://deb.debian.org/debian-security bookworm-security/main armhf Packages [220 kB]
- Fetched 344 kB in 1s (675 kB/s)
- Reading package lists...
- 

<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage-crypto-ec.dev] synchronised (file:///src)
[mirage-crypto.dev] synchronised (file:///src)
[mirage-crypto-pk.dev] synchronised (file:///src)
[mirage-crypto-rng.dev] synchronised (file:///src)
[mirage-crypto-rng-async.dev] synchronised (file:///src)
[mirage-crypto-rng-lwt.dev] synchronised (file:///src)
[mirage-crypto-rng-mirage.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 host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-arm32 is already installed (current version is 1).
[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"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libgmpxx4ldbl:armhf.
- (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 ... 18473 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
- Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:armhf.
- Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
- Unpacking libgmp-dev:armhf (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libpkgconf3:armhf.
- Preparing to unpack .../2-libpkgconf3_1.8.1-1_armhf.deb ...
- Unpacking libpkgconf3:armhf (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-1_armhf.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:armhf.
- Preparing to unpack .../4-pkgconf_1.8.1-1_armhf.deb ...
- Unpacking pkgconf:armhf (1.8.1-1) ...
- Selecting previously unselected package pkg-config:armhf.
- Preparing to unpack .../5-pkg-config_1.8.1-1_armhf.deb ...
- Unpacking pkg-config:armhf (1.8.1-1) ...
- Setting up libpkgconf3:armhf (1.8.1-1) ...
- Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libgmp-dev:armhf (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf:armhf (1.8.1-1) ...
- Setting up pkg-config:armhf (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...
2025-01-08 13:24.44 ---> using "27f32a35fd2c26902825811888718eefb937b98a462d57a336a43fdb44161f0b" 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 host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-arm32 is already installed (current version is 1).
[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 104 packages
  - install alcotest                1.8.0
  - install asn1-combinators        0.3.2
  - install astring                 0.8.5
  - install async                   v0.14.0
  - install async_kernel            v0.14.0
  - install async_rpc_kernel        v0.14.0
  - install async_unix              v0.14.0
  - install base                    v0.14.3
  - install base-bytes              base
  - install base_bigstring          v0.14.0
  - install base_quickcheck         v0.14.1
  - install bin_prot                v0.14.1
  - install cmdliner                1.3.0
  - install conf-gmp                4
  - install conf-gmp-powm-sec       3
  - install conf-pkg-config         3
  - install core                    v0.14.1
  - install core_kernel             v0.14.2
  - install cppo                    1.8.0
  - install csexp                   1.5.2
  - install digestif                1.2.0
  - install domain-name             0.4.0
  - install dune                    3.17.1
  - install dune-configurator       3.17.1
  - install duration                0.2.1
  - install eqaf                    0.10
  - install fieldslib               v0.14.0
  - install fmt                     0.9.0
  - install ipaddr                  5.6.0
  - install jane-street-headers     v0.14.0
  - install jst-config              v0.14.1
  - install logs                    0.7.0
  - install lwt                     5.9.0
  - install macaddr                 5.6.0
  - install mirage-clock            4.2.0
  - install mirage-clock-unix       4.2.0
  - install mirage-runtime          4.8.2
  - install mirage-time             3.0.0
  - install mirage-time-unix        3.0.0
  - install mirage-unix             5.0.1
  - install mtime                   2.1.0
  - install num                     1.5-1
  - install ocaml-compiler-libs     v0.12.4
  - install ocaml-syntax-shims      1.0.0
  - install ocamlbuild              0.15.0
  - install ocamlfind               1.9.6
  - install ocplib-endian           1.2
  - install octavius                1.2.2
  - install ohex                    0.2.0
  - install ounit2                  2.2.7
  - install parsexp                 v0.14.2
  - install ppx_assert              v0.14.0
  - install ppx_base                v0.14.0
  - install ppx_bench               v0.14.1
  - install ppx_bin_prot            v0.14.0
  - install ppx_cold                v0.14.0
  - install ppx_compare             v0.14.0
  - install ppx_custom_printf       v0.14.1
  - install ppx_derivers            1.2.1
  - install ppx_deriving            5.2.1
  - install ppx_deriving_yojson     3.6.1
  - install ppx_enumerate           v0.14.0
  - install ppx_expect              v0.14.2
  - install ppx_fields_conv         v0.14.2
  - install ppx_fixed_literal       v0.14.0
  - install ppx_hash                v0.14.0
  - install ppx_here                v0.14.0
  - install ppx_inline_test         v0.14.1
  - install ppx_jane                v0.14.0
  - install ppx_js_style            v0.14.1
  - install ppx_let                 v0.14.0
  - install ppx_module_timer        v0.14.0
  - install ppx_optcomp             v0.14.3
  - install ppx_optional            v0.14.0
  - install ppx_pipebang            v0.14.0
  - install ppx_sexp_conv           v0.14.3
  - install ppx_sexp_message        v0.14.1
  - install ppx_sexp_value          v0.14.0
  - install ppx_stable              v0.14.1
  - install ppx_string              v0.14.1
  - install ppx_typerep_conv        v0.14.2
  - install ppx_variants_conv       v0.14.2
  - install ppxlib                  0.25.1
  - install protocol_version_header v0.14.0
  - install ptime                   1.2.0
  - install randomconv              0.2.0
  - install re                      1.12.0
  - install result                  1.5
  - install seq                     base
  - install sexplib                 v0.14.0
  - install sexplib0                v0.14.0
  - install spawn                   v0.17.0
  - install splittable_random       v0.14.0
  - install stdio                   v0.14.0
  - install stdlib-shims            0.3.0
  - install textutils               v0.14.0
  - install time_now                v0.14.0
  - install timezone                v0.14.0
  - install topkg                   1.0.7
  - install typerep                 v0.14.0
  - install uutf                    1.0.3
  - install variantslib             v0.14.0
  - install yojson                  2.2.2
  - install zarith                  1.14

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved asn1-combinators.0.3.2  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved async.v0.14.0  (cached)
-> retrieved alcotest.1.8.0  (cached)
-> retrieved async_kernel.v0.14.0  (cached)
-> retrieved async_rpc_kernel.v0.14.0  (cached)
-> retrieved async_unix.v0.14.0  (cached)
-> retrieved base.v0.14.3  (cached)
-> retrieved base_bigstring.v0.14.0  (cached)
-> retrieved base_quickcheck.v0.14.1  (cached)
-> retrieved conf-gmp.4  (cached)
-> retrieved conf-gmp-powm-sec.3  (cached)
-> retrieved bin_prot.v0.14.1  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved core.v0.14.1  (cached)
-> installed conf-pkg-config.3
-> retrieved core_kernel.v0.14.2  (cached)
-> installed conf-gmp.4
-> retrieved cppo.1.8.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> installed conf-gmp-powm-sec.3
-> retrieved domain-name.0.4.0  (cached)
-> retrieved duration.0.2.1  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved fieldslib.v0.14.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved ipaddr.5.6.0, macaddr.5.6.0  (cached)
-> retrieved jane-street-headers.v0.14.0  (cached)
-> retrieved jst-config.v0.14.1  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved lwt.5.9.0  (cached)
-> retrieved mirage-clock.4.2.0, mirage-clock-unix.4.2.0  (cached)
-> retrieved digestif.1.2.0  (cached)
-> retrieved mirage-time.3.0.0, mirage-time-unix.3.0.0  (cached)
-> retrieved mirage-unix.5.0.1  (cached)
-> retrieved mirage-runtime.4.8.2  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved num.1.5-1  (cached)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlbuild.0.15.0  (cached)
-> retrieved dune.3.17.1, dune-configurator.3.17.1  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved octavius.1.2.2  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved parsexp.v0.14.2  (cached)
-> retrieved ounit2.2.2.7  (cached)
-> retrieved ppx_assert.v0.14.0  (cached)
-> retrieved ppx_base.v0.14.0  (cached)
-> retrieved ppx_bench.v0.14.1  (cached)
-> retrieved ppx_bin_prot.v0.14.0  (cached)
-> retrieved ppx_cold.v0.14.0  (cached)
-> retrieved ppx_compare.v0.14.0  (cached)
-> retrieved ppx_custom_printf.v0.14.1  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.5.2.1  (cached)
-> retrieved ppx_deriving_yojson.3.6.1  (cached)
-> retrieved ppx_enumerate.v0.14.0  (cached)
-> retrieved ppx_expect.v0.14.2  (cached)
-> retrieved ppx_fields_conv.v0.14.2  (cached)
-> retrieved ppx_fixed_literal.v0.14.0  (cached)
-> retrieved ppx_here.v0.14.0  (cached)
-> retrieved ppx_hash.v0.14.0  (cached)
-> retrieved ppx_inline_test.v0.14.1  (cached)
-> retrieved ppx_jane.v0.14.0  (cached)
-> retrieved ppx_js_style.v0.14.1  (cached)
-> retrieved ppx_let.v0.14.0  (cached)
-> retrieved ppx_module_timer.v0.14.0  (cached)
-> retrieved ppx_optcomp.v0.14.3  (cached)
-> retrieved ppx_optional.v0.14.0  (cached)
-> retrieved ppx_pipebang.v0.14.0  (cached)
-> retrieved ppx_sexp_conv.v0.14.3  (cached)
-> retrieved ppx_sexp_message.v0.14.1  (cached)
-> retrieved ppx_sexp_value.v0.14.0  (cached)
-> retrieved ppx_stable.v0.14.1  (cached)
-> retrieved ppx_string.v0.14.1  (cached)
-> retrieved ppx_typerep_conv.v0.14.2  (cached)
-> retrieved ppx_variants_conv.v0.14.2  (cached)
-> retrieved protocol_version_header.v0.14.0  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved randomconv.0.2.0  (cached)
-> retrieved result.1.5  (cached)
-> retrieved seq.base  (cached)
-> retrieved re.1.12.0  (cached)
-> retrieved sexplib.v0.14.0  (cached)
-> retrieved ppxlib.0.25.1  (cached)
-> retrieved sexplib0.v0.14.0  (cached)
-> retrieved spawn.v0.17.0  (cached)
-> retrieved splittable_random.v0.14.0  (cached)
-> retrieved stdio.v0.14.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved textutils.v0.14.0  (cached)
-> retrieved time_now.v0.14.0  (cached)
-> retrieved timezone.v0.14.0  (cached)
-> retrieved typerep.v0.14.0  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved variantslib.v0.14.0  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved yojson.2.2.2  (cached)
-> installed cmdliner.1.3.0
-> installed num.1.5-1
-> installed seq.base
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> installed zarith.1.14
-> installed ocamlbuild.0.15.0
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed mtime.2.1.0
-> installed ptime.1.2.0
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed dune.3.17.1
-> installed jane-street-headers.v0.14.0
-> installed mirage-clock.4.2.0
-> installed duration.0.2.1
-> installed domain-name.0.4.0
-> installed csexp.1.5.2
-> installed macaddr.5.6.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ohex.0.2.0
-> installed ppx_derivers.1.2.1
-> installed randomconv.0.2.0
-> installed result.1.5
-> installed spawn.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed eqaf.0.10
-> installed asn1-combinators.0.3.2
-> installed sexplib0.v0.14.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed octavius.1.2.2
-> installed cppo.1.8.0
-> installed yojson.2.2.2
-> installed ipaddr.5.6.0
-> installed re.1.12.0
-> installed digestif.1.2.0
-> installed ocplib-endian.1.2
-> installed dune-configurator.3.17.1
-> installed ounit2.2.2.7
-> installed mirage-clock-unix.4.2.0
-> installed alcotest.1.8.0
-> installed lwt.5.9.0
-> installed mirage-time.3.0.0
-> installed mirage-time-unix.3.0.0
-> installed logs.0.7.0
-> installed mirage-runtime.4.8.2
-> installed mirage-unix.5.0.1
-> installed base.v0.14.3
-> installed fieldslib.v0.14.0
-> installed variantslib.v0.14.0
-> installed stdio.v0.14.0
-> installed typerep.v0.14.0
-> installed parsexp.v0.14.2
-> installed ppxlib.0.25.1
-> installed sexplib.v0.14.0
-> installed ppx_cold.v0.14.0
-> installed ppx_here.v0.14.0
-> installed ppx_let.v0.14.0
-> installed ppx_optcomp.v0.14.3
-> installed ppx_enumerate.v0.14.0
-> installed ppx_fields_conv.v0.14.2
-> installed ppx_typerep_conv.v0.14.2
-> installed ppx_variants_conv.v0.14.2
-> installed ppx_stable.v0.14.1
-> installed ppx_compare.v0.14.0
-> installed ppx_pipebang.v0.14.0
-> installed ppx_fixed_literal.v0.14.0
-> installed ppx_optional.v0.14.0
-> installed ppx_js_style.v0.14.1
-> installed ppx_deriving.5.2.1
-> installed ppx_sexp_conv.v0.14.3
-> installed ppx_deriving_yojson.3.6.1
-> installed ppx_hash.v0.14.0
-> installed ppx_sexp_value.v0.14.0
-> installed ppx_assert.v0.14.0
-> installed ppx_sexp_message.v0.14.1
-> installed ppx_custom_printf.v0.14.1
-> installed ppx_base.v0.14.0
-> installed jst-config.v0.14.1
-> installed ppx_string.v0.14.1
-> installed time_now.v0.14.0
-> installed bin_prot.v0.14.1
-> installed ppx_bin_prot.v0.14.0
-> installed ppx_module_timer.v0.14.0
-> installed ppx_inline_test.v0.14.1
-> installed ppx_bench.v0.14.1
-> installed ppx_expect.v0.14.2
-> installed splittable_random.v0.14.0
-> installed base_quickcheck.v0.14.1
-> installed ppx_jane.v0.14.0
-> installed base_bigstring.v0.14.0
-> installed core_kernel.v0.14.2
-> installed protocol_version_header.v0.14.0
-> installed timezone.v0.14.0
-> installed async_kernel.v0.14.0
-> installed async_rpc_kernel.v0.14.0
-> installed core.v0.14.1
-> installed textutils.v0.14.0
-> installed async_unix.v0.14.0
-> installed async.v0.14.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-01-08 13:24.44 ---> using "ce6fe071416560855f58d02174229c6ca85213a6614cfe78c1cd2369bd449e56" from cache

/src: (copy (src .) (dst /src))
2025-01-08 13:24.45 ---> saved as "3bdc4e630fb825a71bafe9398c709e6d579c3c6332e41de16a98faa990e8ac11"

/src: (run (shell "opam exec -- dune build --only-packages=mirage-crypto,mirage-crypto-rng,mirage-crypto-rng-mirage,mirage-crypto-rng-lwt,mirage-crypto-rng-async,mirage-crypto-pk,mirage-crypto-ec @install @check @runtest && rm -rf _build"))
(cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I tests/.test_entropy_collection_async.eobjs/byte -I /home/opam/.opam/4.14/lib/async -I /home/opam/.opam/4.14/lib/async/async_command -I /home/opam/.opam/4.14/lib/async/async_quickcheck -I /home/opam/.opam/4.14/lib/async/async_rpc -I /home/opam/.opam/4.14/lib/async_kernel -I /home/opam/.opam/4.14/lib/async_kernel/persistent_connection_kernel -I /home/opam/.opam/4.14/lib/async_rpc_kernel -I /home/opam/.opam/4.14/lib/async_unix -I /home/opam/.opam/4.14/lib/async_unix/thread_pool -I /home/opam/.opam/4.14/lib/async_unix/thread_safe_ivar -I /home/opam/.opam/4.14/lib/base -I /home/opam/.opam/4.14/lib/base/base_internalhash_types -I /home/opam/.opam/4.14/lib/base/caml -I /home/opam/.opam/4.14/lib/base/md5 -I /home/opam/.opam/4.14/lib/base/shadow_stdlib -I /home/opam/.opam/4.14/lib/base_bigstring -I /home/opam/.opam/4.14/lib/base_quickcheck -I /home/opam/.opam/4.14/lib/bin_prot -I /home/opam/.opam/4.14/lib/bin_prot/shape -I /home/opam/.opam/4.14/lib/core -I /home/opam/.opam/4.14/lib/core/bigstring_unix -I /home/opam/.opam/4.14/lib/core/error_checking_mutex -I /home/opam/.opam/4.14/lib/core/iobuf_unix -I /home/opam/.opam/4.14/lib/core/linux_ext -I /home/opam/.opam/4.14/lib/core/nano_mutex -I /home/opam/.opam/4.14/lib/core/squeue -I /home/opam/.opam/4.14/lib/core/time_stamp_counter -I /home/opam/.opam/4.14/lib/core/uuid -I /home/opam/.opam/4.14/lib/core_kernel -I /home/opam/.opam/4.14/lib/core_kernel/base_for_tests -I /home/opam/.opam/4.14/lib/core_kernel/bounded_int_table -I /home/opam/.opam/4.14/lib/core_kernel/caml_unix -I /home/opam/.opam/4.14/lib/core_kernel/flags -I /home/opam/.opam/4.14/lib/core_kernel/iobuf -I /home/opam/.opam/4.14/lib/core_kernel/moption -I /home/opam/.opam/4.14/lib/core_kernel/pairing_heap -I /home/opam/.opam/4.14/lib/core_kernel/sexp_hidden_in_test -I /home/opam/.opam/4.14/lib/core_kernel/thread_pool_cpu_affinity -I /home/opam/.opam/4.14/lib/core_kernel/thread_safe_queue -I /home/opam/.opam/4.14/lib/core_kernel/timing_wheel -I /home/opam/.opam/4.14/lib/core_kernel/tuple_pool -I /home/opam/.opam/4.14/lib/core_kernel/uopt -I /home/opam/.opam/4.14/lib/core_kernel/uuid -I /home/opam/.opam/4.14/lib/core_kernel/version_util -I /home/opam/.opam/4.14/lib/digestif/c -I /home/opam/.opam/4.14/lib/eqaf -I /home/opam/.opam/4.14/lib/fieldslib -I /home/opam/.opam/4.14/lib/jane-street-headers -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/ocaml/threads -I /home/opam/.opam/4.14/lib/ohex -I /home/opam/.opam/4.14/lib/parsexp -I /home/opam/.opam/4.14/lib/ppx_assert/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_bench/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_compare/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_expect/collector -I /home/opam/.opam/4.14/lib/ppx_expect/common -I /home/opam/.opam/4.14/lib/ppx_expect/config -I /home/opam/.opam/4.14/lib/ppx_expect/config_types -I /home/opam/.opam/4.14/lib/ppx_hash/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_here/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_inline_test/config -I /home/opam/.opam/4.14/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_module_timer/runtime -I /home/opam/.opam/4.14/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/4.14/lib/protocol_version_header -I /home/opam/.opam/4.14/lib/sexplib -I /home/opam/.opam/4.14/lib/sexplib/unix -I /home/opam/.opam/4.14/lib/sexplib0 -I /home/opam/.opam/4.14/lib/spawn -I /home/opam/.opam/4.14/lib/splittable_random -I /home/opam/.opam/4.14/lib/stdio -I /home/opam/.opam/4.14/lib/time_now -I /home/opam/.opam/4.14/lib/timezone -I /home/opam/.opam/4.14/lib/typerep -I /home/opam/.opam/4.14/lib/variantslib -I rng/.mirage_crypto_rng.objs/public_cmi -I rng/async/.mirage_crypto_rng_async.objs/byte -I rng/unix/.mirage_crypto_rng_unix.objs/byte -I src/.mirage_crypto.objs/public_cmi -no-alias-deps -opaque -o tests/.test_entropy_collection_async.eobjs/byte/dune__exe__Test_entropy_collection_async.cmo -c -impl tests/test_entropy_collection_async.ml)
File "tests/test_entropy_collection_async.ml", lines 31-33, characters 2-5:
31 | ..begin[@alert "-deprecated"]
32 |     E.initialize (module Printing_rng);
33 |   end
Error: This expression has type unit
       This is not a function; it cannot be applied.
(cd _build/default/tests && ./test_entropy.exe)
no CPU RNG available
test entropy OK
(cd _build/default/tests && ./test_symmetric_runner.exe)
accel: 
................................................................
Ran: 64 tests in: 0.11 seconds.
OK
(cd _build/default/tests && ./test_random_runner.exe)
.........
Ran: 9 tests in: 0.12 seconds.
OK
(cd _build/default/tests && ./test_entropy_collection.exe)
reseeding:
000000  00c8 d417 8ddc edfe  1595 8dd1 9e25 f67c  .............%.|
000010  2eb3 9654 1e77 ef19  5f81 5fcc 57e3 e08c  ...T.w.._._.W...
000020  b8be 904a 38cf 5972  29ed 892d d180 2ab0  ...J8.Yr)..-..*.
000030  92bb f26e 6a05 7352  f3d1 533a 33b4 a3c1  ...nj.sR..S:3...
000040  141a 3c88 dc97 7c5b  cd0a b59a 1526 b694  ..<...|[.....&..
000050  a6bd 8e16 e69a 2f2f  e7d0 2704 ef0e c8a4  ......//..'.....
000060  78d1 5021 3069 d0aa  083b 69d5 3923 81c6  x.P!0i...;i.9#..
000070  8248 d266 82f7 93aa  5330 cb44 1b72 abe1  .H.f....S0.D.r..
000080  ab3b 6cf3 fcdf bda6  ad33 e6eb 6eae 262d  .;l......3..n.&-
000090  bf6c 8f97 4f4a 3fc3  a067 801d e86e 8103  .l..OJ?..g...n..
0000a0  e9b3 ea76 fa0b 12d5  c310 5b3c 6352 13cf  ...v......[<cR..
0000b0  7b6b a41a 0ca3 0c3e  f5aa e541 4da7 2e4e  {k.....>...AM..N
0000c0  2ec1 7e02 de83 ff44  177d 01c8 2fba 7f2d  ..~....D.}../..-
0000d0  e87e 8013 98c3 1178  5980 e995 19fc c103  .~.....xY.......
0000e0  92bf 4273 6a18 0a32  a39e 0b27 33c2 4c36  ..Bsj..2...'3.L6
0000f0  ecae 7444 bc60 dc8b  9d4d 1da5 25e3 fe82  ..tD.`...M..%...
000100  ce1b 1eda 774a bfca  f75a 88f2 f075 b0dd  ....wJ...Z...u..
000110  c838 c965 b9c5 a123  c1da 7a68 6285 02d1  .8.e...#..zhb...
000120  9209 e25e 7bf3 f3a2  333a 4cae 1427 f4c3  ...^{...3:L..'..
000130  2589 e5c8 75fc 4518  6d2c fd46 7edf 968f  %...u.E.m,.F~...
000140  5e44 2e5b 97fc 6f1f  8fcc d7ed 6051 b09c  ^D.[..o.....`Q..
000150  28c5 5006 907f 4133  e1d8 090b e2a5 fa0a  (.P...A3........
000160  02a3 9b3c 3b60 8b6f  7b24 b341 439d a4e2  ...<;`.o{$.AC...
000170  246c 4c76 ecee 3d85  75ca 0d4b 85e6 7669  $lLv..=.u..K..vi
000180  eeb9 fe21 8e8c 86ad  5700 9715 af6b 8724  ...!....W....k.$
000190  1744 474b 02c8 88f1  d044 0876 50e2 1190  .DGK.....D.vP...
0001a0  0196 0901 293b a2db  2292 4203 43a8 4bb9  ....);..".B.C.K.
0001b0  3b00 8b0f c3c2 bc51  54af 9c57 050d 5d46  ;......QT..W..]F
0001c0  f5c1 f52a 0ec2 6e2f  8edc 5600 6e15 8f63  ...*..n/..V.n..c
0001d0  1717 6fb4 27cf 286f  a00f d1c5 f127 c1ed  ..o.'.(o.....'..
0001e0  4a4c e25e 8af2 4276  2bed db2d 8b91 4be5  JL.^..Bv+..-..K.
0001f0  632c 4b44 5b57 d401  1c64 346f b411 bd6d  c,KD[W...d4o...m
000200  7dcb bd7b ee36 eecc  8602 8e86 370b 57ae  }..{.6......7.W.
000210  ff28 4061 28a6 3818  1027 a0c3 d179 51db  .(@a(.8..'...yQ.
000220  2183 3222 2296 1a07  eba4 c3db 3398 cba5  !.2"".......3...
000230  5c06 bc82 7410 1c2c  8c34 3455 9d97 2d4d  \...t..,.44U..-M
000240  2d8e 1d02 2672 e6e3  96a6 a72c 9f52 dfda  -...&r.....,.R..
000250  e76d f0d3 8098 a8b6  d83f 5103 f9aa 03c8  .m.......?Q.....
000260  5243 22eb 328a fbfd  c367 e323 f4e5 7c4e  RC".2....g.#..|N
000270  8ccf d581 1de4 b5ec  7d15 4566 56dd 7626  ........}.EfV.v&
000280  0ea7 8642 77c5 ff14  174d b789 8fe8 8809  ...Bw....M......
000290  805c 807a 30fc 0009  1841 e07d 59e2 295d  .\.z0....A.}Y.)]
0002a0  619d 89e8 6908 6921  4a6e eae6 fa7b 1b42  a...i.i!Jn...{.B
0002b0  abb1 ab0b 6cc3 ec6f  8c33 d5e5 15aa 0619  ....l..o.3......
0002c0  3652 9ec6 c64d 16ad  8fe9 ef3d 37a5 3fe8  6R...M.....=7.?.
0002d0  57f8 970d 8863 0815  b04e 20d9 a117 79e4  W....c...N ...y.
0002e0  1101 713c 5157 d2fe  828f ea3f e305 4b48  ..q<QW.....?..KH
0002f0  6b50 ab5b 13b7 83fb  dc48 945e 0499 dcb1  kP.[.....H.^....
000300  74dd 4c00 9408 6c17  e462 94a3 2df2 5524  t.L...l..b..-.U$
000310  8d2d 4552 4d86 1dbb  5500 6509 c52b 467e  .-ERM...U.e..+F~
000320  9eb2 aeed 5e15 0636                       ....^..6

entropy sources: [0] timer 
accumulate: (src: [0] timer) 7cb6 8e15 
(cd _build/default/tests && ./test_ec.exe)
Testing `EC'.
This run has ID `WN8HGGNV'.

  [OK]          P256 Key exchange                               0   b*A.
  [OK]          P256 Key exchange                               1   a*B.
  [OK]          P256 Key exchange                               2   a*A.
  [OK]          P256 Key exchange                               3   b*B.
  [OK]          P256 Low level scalar mult                      0   Scalar mu...
  [OK]          P256 Low level scalar mult                      1   Scalar mu...
  [OK]          P256 Low level scalar mult                      2   Scalar mu...
  [OK]          P256 Low level scalar mult                      3   Scalar mu...
  [OK]          P256 Low level scalar mult                      4   Scalar mu...
  [OK]          P256 Low level scalar mult                      5   Scalar mu...
  [OK]          P256 Point validation                           0   Ok.
  [OK]          P256 Point validation                           1   P=0.
  [OK]          P256 Point validation                           2   (0, sqrt(...
  [OK]          P256 Point validation                           3   out of ra...
  [OK]          P256 Scalar validation when generating          0   0.
  [OK]          P256 Scalar validation when generating          1   1.
  [OK]          P256 Scalar validation when generating          2   n-1.
  [OK]          P256 Scalar validation when generating          3   n.
  [OK]          ECDSA NIST                                      0   ECDSA gen.
  [OK]          ECDSA NIST                                      1   ECDSA sign.
  [OK]          ECDSA NIST                                      2   ECDSA ver...
  [OK]          ECDSA RFC 6979 P256                             0   public ke...
  [OK]          ECDSA RFC 6979 P256                             1   public ke...
  [OK]          ECDSA RFC 6979 P256                             2   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P256                             3   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P256                             4   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P256                             5   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P256                             6   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P256                             7   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P256                             8   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P256                             9   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P256                            10   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P256                            11   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P384                             0   public ke...
  [OK]          ECDSA RFC 6979 P384                             1   public ke...
  [OK]          ECDSA RFC 6979 P384                             2   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P384                             3   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P384                             4   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P384                             5   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P384                             6   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P384                             7   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P384                             8   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P384                             9   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P384                            10   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P384                            11   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P521                             0   public ke...
  [OK]          ECDSA RFC 6979 P521                             1   public ke...
  [OK]          ECDSA RFC 6979 P521                             2   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P521                             3   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P521                             4   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P521                             5   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P521                             6   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P521                             7   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P521                             8   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P521                             9   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P521                            10   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P521                            11   RFC 6979 ...
  [OK]          X25519                                          0   RFC 7748.
  [OK]          ED25519                                         0   RFC 8032 1.
  [OK]          ED25519                                         1   RFC 8032 2.
  [OK]          ED25519                                         2   RFC 8032 3.
  [OK]          ED25519                                         3   RFC 8032 4.
  [OK]          ED25519                                         4   RFC 8032 5.
  [OK]          ECDSA P521 regression                           0   regreesion1.

Full test results in `/src/_build/default/tests/_build/_tests/EC'.
Test Successful in 0.109s. 64 tests run.
(cd _build/default/tests && ./test_pk_runner.exe)
.......................................................................................................................................................................................................................................................................................................................................................................
Ran: 359 tests in: 6.65 seconds.
OK
(cd _build/default/tests && ./test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `KH3BFO2G'.

  [OK]          ECDH P256 test vectors                    0   1 - normal case.
  [OK]          ECDH P256 test vectors                    1   2 - compressed ...
  [OK]          ECDH P256 test vectors                    2   3 - edge case f...
  [OK]          ECDH P256 test vectors                    3   4 - edge case f...
  [OK]          ECDH P256 test vectors                    4   5 - edge case f...
  [OK]          ECDH P256 test vectors                    5   6 - edge case f...
  [OK]          ECDH P256 test vectors                    6   7 - edge case f...
  [OK]          ECDH P256 test vectors                    7   8 - edge case f...
  [OK]          ECDH P256 test vectors                    8   9 - edge case f...
  [OK]          ECDH P256 test vectors                    9   10 - edge case ...
  [OK]          ECDH P256 test vectors                   10   11 - edge case ...
  [OK]          ECDH P256 test vectors                   11   12 - edge case ...
  [OK]          ECDH P256 test vectors                   12   13 - edge case ...
  [OK]          ECDH P256 test vectors                   13   14 - edge case ...
  [OK]          ECDH P256 test vectors                   14   15 - edge case ...
  [OK]          ECDH P256 test vectors                   15   16 - edge case ...
  [OK]          ECDH P256 test vectors                   16   17 - edge case ...
  [OK]          ECDH P256 test vectors                   17   18 - edge case ...
  [OK]          ECDH P256 test vectors                   18   19 - y-coordina...
  [OK]          ECDH P256 test vectors                   19   20 - y-coordina...
  [OK]          ECDH P256 test vectors                   20   21 - y-coordina...
  [OK]          ECDH P256 test vectors                   21   22 - y-coordina...
  [OK]          ECDH P256 test vectors                   22   23 - y-coordina...
  [OK]          ECDH P256 test vectors                   23   24 - y-coordina...
  [OK]          ECDH P256 test vectors                   24   25 - y-coordina...
  [OK]          ECDH P256 test vectors                   25   26 - y-coordina...
  [OK]          ECDH P256 test vectors                   26   27 - y-coordina...
  [OK]          ECDH P256 test vectors                   27   28 - y-coordina...
  [OK]          ECDH P256 test vectors                   28   29 - y-coordina...
  [OK]          ECDH P256 test vectors                   29   30 - y-coordina...
  [OK]          ECDH P256 test vectors                   30   31 - edge cases...
  [OK]          ECDH P256 test vectors                   31   32 - edge cases...
  [OK]          ECDH P256 test vectors                   32   33 - edge cases...
  [OK]          ECDH P256 test vectors                   33   34 - edge cases...
  [OK]          ECDH P256 test vectors                   34   35 - edge cases...
  [OK]          ECDH P256 test vectors                   35   36 - edge cases...
  [OK]          ECDH P256 test vectors                   36   37 - edge cases...
  [OK]          ECDH P256 test vectors                   37   38 - edge cases...
  [OK]          ECDH P256 test vectors                   38   39 - edge cases...
  [OK]          ECDH P256 test vectors                   39   40 - edge cases...
  [OK]          ECDH P256 test vectors                   40   41 - edge cases...
  [OK]          ECDH P256 test vectors                   41   42 - edge cases...
  [OK]          ECDH P256 test vectors                   42   43 - edge cases...
  [OK]          ECDH P256 test vectors                   43   44 - edge cases...
  [OK]          ECDH P256 test vectors                   44   45 - edge cases...
  [OK]          ECDH P256 test vectors                   45   46 - edge cases...
  [OK]          ECDH P256 test vectors                   46   47 - edge cases...
  [OK]          ECDH P256 test vectors                   47   48 - edge cases...
  [OK]          ECDH P256 test vectors                   48   49 - edge cases...
  [OK]          ECDH P256 test vectors                   49   50 - edge cases...
  [OK]          ECDH P256 test vectors                   50   51 - edge cases...
  [OK]          ECDH P256 test vectors                   51   52 - edge cases...
  [OK]          ECDH P256 test vectors                   52   53 - edge cases...
  [OK]          ECDH P256 test vectors                   53   54 - edge cases...
  [OK]          ECDH P256 test vectors                   54   55 - edge cases...
  [OK]          ECDH P256 test vectors                   55   56 - edge cases...
  [OK]          ECDH P256 test vectors                   56   57 - edge cases...
  [OK]          ECDH P256 test vectors                   57   58 - edge cases...
  [OK]          ECDH P256 test vectors                   58   59 - point with...
  [OK]          ECDH P256 test vectors                   59   60 - point with...
  [OK]          ECDH P256 test vectors                   60   61 - point with...
  [OK]          ECDH P256 test vectors                   61   62 - point with...
  [OK]          ECDH P256 test vectors                   62   63 - point with...
  [OK]          ECDH P256 test vectors                   63   64 - point with...
  [OK]          ECDH P256 test vectors                   64   65 - point with...
  [OK]          ECDH P256 test vectors                   65   66 - point with...
  [OK]          ECDH P256 test vectors                   66   67 - point with...
  [OK]          ECDH P256 test vectors                   67   68 - point with...
  [OK]          ECDH P256 test vectors                   68   69 - point with...
  [OK]          ECDH P256 test vectors                   69   70 - point with...
  [OK]          ECDH P256 test vectors                   70   71 - point with...
  [OK]          ECDH P256 test vectors                   71   72 - point with...
  [OK]          ECDH P256 test vectors                   72   73 - point with...
  [OK]          ECDH P256 test vectors                   73   74 - point with...
  [OK]          ECDH P256 test vectors                   74   75 - point with...
  [OK]          ECDH P256 test vectors                   75   76 - point with...
  [OK]          ECDH P256 test vectors                   76   77 - point with...
  [OK]          ECDH P256 test vectors                   77   78 - point with...
  [OK]          ECDH P256 test vectors                   78   79 - point with...
  [OK]          ECDH P256 test vectors                   79   80 - point with...
  [OK]          ECDH P256 test vectors                   80   81 - point with...
  [OK]          ECDH P256 test vectors                   81   82 - point with...
  [OK]          ECDH P256 test vectors                   82   83 - point with...
  [OK]          ECDH P256 test vectors                   83   84 - point with...
  [OK]          ECDH P256 test vectors                   84   85 - point with...
  [OK]          ECDH P256 test vectors                   85   86 - point with...
  [OK]          ECDH P256 test vectors                   86   87 - point with...
  [OK]          ECDH P256 test vectors                   87   88 - point with...
  [OK]          ECDH P256 test vectors                   88   89 - point with...
  [OK]          ECDH P256 test vectors                   89   90 - point with...
  [OK]          ECDH P256 test vectors                   90   91 - point with...
  [OK]          ECDH P256 test vectors                   91   92 - point with...
  [OK]          ECDH P256 test vectors                   92   93 - point with...
  [OK]          ECDH P256 test vectors                   93   94 - point with...
  [OK]          ECDH P256 test vectors                   94   95 - point with...
  [OK]          ECDH P256 test vectors                   95   96 - point with...
  [OK]          ECDH P256 test vectors                   96   97 - point with...
  [OK]          ECDH P256 test vectors                   97   98 - point with...
  [OK]          ECDH P256 test vectors                   98   99 - point with...
  [OK]          ECDH P256 test vectors                   99   100 - point wit...
  [OK]          ECDH P256 test vectors                  100   101 - point wit...
  [OK]          ECDH P256 test vectors                  101   102 - point wit...
  [OK]          ECDH P256 test vectors                  102   103 - point wit...
  [OK]          ECDH P256 test vectors                  103   104 - point wit...
  [OK]          ECDH P256 test vectors                  104   105 - point wit...
  [OK]          ECDH P256 test vectors                  105   106 - point wit...
  [OK]          ECDH P256 test vectors                  106   107 - point wit...
  [OK]          ECDH P256 test vectors                  107   108 - point wit...
  [OK]          ECDH P256 test vectors                  108   109 - point wit...
  [OK]          ECDH P256 test vectors                  109   110 - point wit...
  [OK]          ECDH P256 test vectors                  110   111 - point wit...
  [OK]          ECDH P256 test vectors                  111   112 - point wit...
  [OK]          ECDH P256 test vectors                  112   113 - point wit...
  [OK]          ECDH P256 test vectors                  113   114 - point wit...
  [OK]          ECDH P256 test vectors                  114   115 - point wit...
  [OK]          ECDH P256 test vectors                  115   116 - point wit...
  [OK]          ECDH P256 test vectors                  116   117 - point wit...
  [OK]          ECDH P256 test vectors                  117   118 - point wit...
  [OK]          ECDH P256 test vectors                  118   119 - point wit...
  [OK]          ECDH P256 test vectors                  119   120 - point wit...
  [OK]          ECDH P256 test vectors                  120   121 - point wit...
  [OK]          ECDH P256 test vectors                  121   122 - point wit...
  [OK]          ECDH P256 test vectors                  122   123 - point wit...
  [OK]          ECDH P256 test vectors                  123   124 - point wit...
  [OK]          ECDH P256 test vectors                  124   125 - point wit...
  [OK]          ECDH P256 test vectors                  125   126 - point wit...
  [OK]          ECDH P256 test vectors                  126   127 - point wit...
  [OK]          ECDH P256 test vectors                  127   128 - point wit...
  [OK]          ECDH P256 test vectors                  128   129 - point wit...
  [OK]          ECDH P256 test vectors                  129   130 - point wit...
  [OK]          ECDH P256 test vectors                  130   131 - point wit...
  [OK]          ECDH P256 test vectors                  131   132 - point wit...
  [OK]          ECDH P256 test vectors                  132   133 - point wit...
  [OK]          ECDH P256 test vectors                  133   134 - point wit...
  [OK]          ECDH P256 test vectors                  134   135 - point wit...
  [OK]          ECDH P256 test vectors                  135   136 - point wit...
  [OK]          ECDH P256 test vectors                  136   137 - point wit...
  [OK]          ECDH P256 test vectors                  137   138 - point wit...
  [OK]          ECDH P256 test vectors                  138   139 - point wit...
  [OK]          ECDH P256 test vectors                  139   140 - point wit...
  [OK]          ECDH P256 test vectors                  140   141 - point wit...
  [OK]          ECDH P256 test vectors                  141   142 - point wit...
  [OK]          ECDH P256 test vectors                  142   143 - point wit...
  [OK]          ECDH P256 test vectors                  143   144 - point wit...
  [OK]          ECDH P256 test vectors                  144   145 - point wit...
  [OK]          ECDH P256 test vectors                  145   146 - point wit...
  [OK]          ECDH P256 test vectors                  146   147 - point wit...
  [OK]          ECDH P256 test vectors                  147   148 - point wit...
  [OK]          ECDH P256 test vectors                  148   149 - point wit...
  [OK]          ECDH P256 test vectors                  149   150 - point wit...
  [OK]          ECDH P256 test vectors                  150   151 - point wit...
  [OK]          ECDH P256 test vectors                  151   152 - point wit...
  [OK]          ECDH P256 test vectors                  152   153 - point wit...
  [OK]          ECDH P256 test vectors                  153   154 - point wit...
  [OK]          ECDH P256 test vectors                  154   155 - point wit...
  [OK]          ECDH P256 test vectors                  155   156 - point wit...
  [OK]          ECDH P256 test vectors                  156   157 - point wit...
  [OK]          ECDH P256 test vectors                  157   158 - point wit...
  [OK]          ECDH P256 test vectors                  158   159 - point wit...
  [OK]          ECDH P256 test vectors                  159   160 - point wit...
  [OK]          ECDH P256 test vectors                  160   161 - point wit...
  [OK]          ECDH P256 test vectors                  161   162 - point wit...
  [OK]          ECDH P256 test vectors                  162   163 - point wit...
  [OK]          ECDH P256 test vectors                  163   164 - point wit...
  [OK]          ECDH P256 test vectors                  164   165 - point wit...
  [OK]          ECDH P256 test vectors                  165   166 - point wit...
  [OK]          ECDH P256 test vectors                  166   167 - point wit...
  [OK]          ECDH P256 test vectors                  167   168 - point wit...
  [OK]          ECDH P256 test vectors                  168   169 - point wit...
  [OK]          ECDH P256 test vectors                  169   170 - point wit...
  [OK]          ECDH P256 test vectors                  170   171 - point wit...
  [OK]          ECDH P256 test vectors                  171   172 - point wit...
  [OK]          ECDH P256 test vectors                  172   173 - point wit...
  [OK]          ECDH P256 test vectors                  173   174 - point wit...
  [OK]          ECDH P256 test vectors                  174   175 - point wit...
  [OK]          ECDH P256 test vectors                  175   176 - edge case...
  [OK]          ECDH P256 test vectors                  176   177 - edge case...
  [OK]          ECDH P256 test vectors                  177   178 - edge case...
  [OK]          ECDH P256 test vectors                  178   179 - edge case...
  [OK]          ECDH P256 test vectors                  179   180 - edge case...
  [OK]          ECDH P256 test vectors                  180   181 - edge case...
  [OK]          ECDH P256 test vectors                  181   182 - edge case...
  [OK]          ECDH P256 test vectors                  182   183 - edge case...
  [OK]          ECDH P256 test vectors                  183   184 - edge case...
  [OK]          ECDH P256 test vectors                  184   185 - edge case...
  [OK]          ECDH P256 test vectors                  185   186 - edge case...
  [OK]          ECDH P256 test vectors                  186   187 - edge case...
  [OK]          ECDH P256 test vectors                  187   188 - edge case...
  [OK]          ECDH P256 test vectors                  188   189 - edge case...
  [OK]          ECDH P256 test vectors                  189   190 - edge case...
  [OK]          ECDH P256 test vectors                  190   191 - CVE-2017-...
  [OK]          ECDH P256 test vectors                  191   192 - CVE-2017-...
  [OK]          ECDH P256 test vectors                  192   193 - point is ...
  [OK]          ECDH P256 test vectors                  193   194 - point is ...
  [OK]          ECDH P256 test vectors                  194   195 - point is ...
  [OK]          ECDH P256 test vectors                  195   196 - point is ...
  [OK]          ECDH P256 test vectors                  196   197 - point is ...
  [OK]          ECDH P256 test vectors                  197   198 - point is ...
  [OK]          ECDH P256 test vectors                  198   199 - point is ...
  [OK]          ECDH P256 test vectors                  199   200 - point is ...
  [OK]          ECDH P256 test vectors                  200   201 - point is ...
  [OK]          ECDH P256 test vectors                  201   202 - point is ...
  [OK]          ECDH P256 test vectors                  202   203 - point is ...
  [OK]          ECDH P256 test vectors                  203   204 - point is ...
  [OK]          ECDH P256 test vectors                  204   205 - point is ...
  [OK]          ECDH P256 test vectors                  205   206 - point is ...
  [OK]          ECDH P256 test vectors                  206   207 - point is ...
  [OK]          ECDH P256 test vectors                  207   208 - point is ...
  [OK]          ECDH P256 test vectors                  208   209 - .
  [OK]          ECDH P256 test vectors                  209   210 - public po...
  [OK]          ECDH P256 test vectors                  210   211 - public po...
  [OK]          ECDH P256 test vectors                  211   224 - using sec...
  [OK]          ECDH P256 test vectors                  212   225 - using sec...
  [OK]          ECDH P256 test vectors                  213   228 - Public ke...
  [OK]          ECDH P256 test vectors                  214   229 - Public ke...
  [OK]          ECDH P256 test vectors                  215   230 - Public ke...
  [OK]          ECDH P256 test vectors                  216   231 - Public ke...
  [OK]          ECDH P256 test vectors                  217   232 - Public ke...
  [OK]          ECDH P256 test vectors                  218   233 - Public ke...
  [OK]          ECDH P256 test vectors                  219   234 - Public ke...
  [OK]          ECDH P256 test vectors                  220   235 - Public ke...
  [OK]          ECDH P256 test vectors                  221   236 - Public ke...
  [OK]          ECDH P256 test vectors                  222   237 - Public ke...
  [OK]          ECDH P256 test vectors                  223   238 - Public ke...
  [OK]          ECDH P256 test vectors                  224   239 - Public ke...
  [OK]          ECDH P256 test vectors                  225   240 - Public ke...
  [OK]          ECDH P256 test vectors                  226   241 - Public ke...
  [OK]          ECDH P256 test vectors                  227   242 - Public ke...
  [OK]          ECDH P256 test vectors                  228   243 - invalid p...
  [OK]          ECDH P256 test vectors                  229   244 - public ke...
  [OK]          ECDH P256 test vectors                  230   245 - public ke...
  [OK]          ECDH P256 test vectors                  231   246 - public ke...
  [OK]          ECDH P256 test vectors                  232   247 - public ke...
  [OK]          ECDH P256 test vectors                  233   248 - public ke...
  [OK]          ECDH P256 test vectors                  234   249 - public ke...
  [OK]          ECDSA P256 test vectors (SHA256)          0   1 - signature m...
  [OK]          ECDSA P256 test vectors (SHA256)          1   2 - Legacy:ASN ...
  [OK]          ECDSA P256 test vectors (SHA256)          2   3 - valid.
  [OK]          ECDSA P256 test vectors (SHA256)          3   4 - long form e...
  [OK]          ECDSA P256 test vectors (SHA256)          4   5 - length of s...
  [OK]          ECDSA P256 test vectors (SHA256)          5   6 - wrong lengt...
  [OK]          ECDSA P256 test vectors (SHA256)          6   7 - wrong lengt...
  [OK]          ECDSA P256 test vectors (SHA256)          7   8 - uint32 over...
  [OK]          ECDSA P256 test vectors (SHA256)          8   9 - uint64 over...
  [OK]          ECDSA P256 test vectors (SHA256)          9   10 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         10   11 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         11   12 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         12   13 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         13   14 - incorrect ...
  [OK]          ECDSA P256 test vectors (SHA256)         14   15 - indefinite...
  [OK]          ECDSA P256 test vectors (SHA256)         15   16 - indefinite...
  [OK]          ECDSA P256 test vectors (SHA256)         16   17 - indefinite...
  [OK]          ECDSA P256 test vectors (SHA256)         17   18 - removing s...
  [OK]          ECDSA P256 test vectors (SHA256)         18   19 - lonely seq...
  [OK]          ECDSA P256 test vectors (SHA256)         19   20 - appending ...
  [OK]          ECDSA P256 test vectors (SHA256)         20   21 - prepending...
  [OK]          ECDSA P256 test vectors (SHA256)         21   22 - appending ...
  [OK]          ECDSA P256 test vectors (SHA256)         22   23 - appending ...
  [OK]          ECDSA P256 test vectors (SHA256)         23   24 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         24   25 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         25   26 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         26   27 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         27   28 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         28   29 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         29   30 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         30   31 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         31   32 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         32   33 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         33   34 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         34   35 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         35   36 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         36   37 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         37   38 - including ...
  [OK]          ECDSA P256 test vectors (SHA256)         38   39 - truncated ...
  [OK]          ECDSA P256 test vectors (SHA256)         39   40 - using comp...
  [OK]          ECDSA P256 test vectors (SHA256)         40   41 - using comp...
  [OK]          ECDSA P256 test vectors (SHA256)         41   42 - using comp...
  [OK]          ECDSA P256 test vectors (SHA256)         42   43 - using comp...
  [OK]          ECDSA P256 test vectors (SHA256)         43   44 - using comp...
  [OK]          ECDSA P256 test vectors (SHA256)         44   45 - using comp...
  [OK]          ECDSA P256 test vectors (SHA256)         45   46 - Replacing ...
  [OK]          ECDSA P256 test vectors (SHA256)         46   47 - changing t...
  [OK]          ECDSA P256 test vectors (SHA256)         47   48 - changing t...
  [OK]          ECDSA P256 test vectors (SHA256)         48   49 - changing t...
  [OK]          ECDSA P256 test vectors (SHA256)         49   50 - changing t...
  [OK]          ECDSA P256 test vectors (SHA256)         50   51 - changing t...
  [OK]          ECDSA P256 test vectors (SHA256)         51   52 - dropping v...
  [OK]          ECDSA P256 test vectors (SHA256)         52   53 - using comp...
  [OK]          ECDSA P256 test vectors (SHA256)         53   54 - truncated ...
  [OK]          ECDSA P256 test vectors (SHA256)         54   55 - truncated ...
  [OK]          ECDSA P256 test vectors (SHA256)         55   56 - indefinite...
  [OK]          ECDSA P256 test vectors (SHA256)         56   57 - indefinite...
  [OK]          ECDSA P256 test vectors (SHA256)         57   58 - indefinite...
  [OK]          ECDSA P256 test vectors (SHA256)         58   59 - indefinite...
  [OK]          ECDSA P256 test vectors (SHA256)         59   60 - indefinite...
  [OK]          ECDSA P256 test vectors (SHA256)         60   61 - indefinite...
  [OK]          ECDSA P256 test vectors (SHA256)         61   62 - prepend em...
  [OK]          ECDSA P256 test vectors (SHA256)         62   63 - append emp...
  [OK]          ECDSA P256 test vectors (SHA256)         63   64 - append gar...
  [OK]          ECDSA P256 test vectors (SHA256)         64   65 - sequence o...
  [OK]          ECDSA P256 test vectors (SHA256)         65   66 - truncated ...
  [OK]          ECDSA P256 test vectors (SHA256)         66   67 - repeating ...
  [OK]          ECDSA P256 test vectors (SHA256)         67   68 - long form ...
  [OK]          ECDSA P256 test vectors (SHA256)         68   69 - long form ...
  [OK]          ECDSA P256 test vectors (SHA256)         69   70 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         70   71 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         71   72 - wrong leng...
  [OK]          ECDSA P256 test vectors (SHA256)         72   73 - wrong leng...
  [OK]          ECDSA P256 test vectors (SHA256)         73   74 - wrong leng...
  [OK]          ECDSA P256 test vectors (SHA256)         74   75 - wrong leng...
  [OK]          ECDSA P256 test vectors (SHA256)         75   76 - uint32 ove...
  [OK]          ECDSA P256 test vectors (SHA256)         76   77 - uint32 ove...
  [OK]          ECDSA P256 test vectors (SHA256)         77   78 - uint64 ove...
  [OK]          ECDSA P256 test vectors (SHA256)         78   79 - uint64 ove...
  [OK]          ECDSA P256 test vectors (SHA256)         79   80 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         80   81 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         81   82 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         82   83 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         83   84 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         84   85 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         85   86 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         86   87 - length of ...
  [OK]          ECDSA P256 test vectors (SHA256)         87   88 - incorrect ...
  [OK]          ECDSA P256 test vectors (SHA256)         88   89 - incorrect ...
  [OK]          ECDSA P256 test vectors (SHA256)         89   90 - removing i...
  [OK]          ECDSA P256 test vectors (SHA256)         90   91 - lonely int...
  [OK]          ECDSA P256 test vectors (SHA256)         91   92 - lonely int...
  [OK]          ECDSA P256 test vectors (SHA256)         92   93 - appending ...
  [OK]          ECDSA P256 test vectors (SHA256)         93   94 - appending ...
  [OK]          ECDSA P256 test vectors (SHA256)         94   95 - prepending...
  [OK]          ECDSA P256 test vectors (SHA256)         95   96 - prepending...
  [OK]          ECDSA P256 test vectors (SHA256)         96   97 - appending ...
  [OK]          ECDSA P256 test vectors (SHA256)         97   98 - appending ...
  [OK]          ECDSA P256 test vectors (SHA256)         98   99 - appending ...
  [OK]          ECDSA P256 test vectors (SHA256)         99   100 - truncated...
  [OK]          ECDSA P256 test vectors (SHA256)        100   101 - truncated...
  [OK]          ECDSA P256 test vectors (SHA256)        101   102 - Replacing...
  [OK]          ECDSA P256 test vectors (SHA256)        102   103 - Replacing...
  [OK]          ECDSA P256 test vectors (SHA256)        103   104 - changing ...
  [OK]          ECDSA P256 test vectors (SHA256)        104   105 - changing ...
  [OK]          ECDSA P256 test vectors (SHA256)        105   106 - changing ...
  [OK]          ECDSA P256 test vectors (SHA256)        106   107 - changing ...
  [OK]          ECDSA P256 test vectors (SHA256)        107   108 - changing ...
  [OK]          ECDSA P256 test vectors (SHA256)        108   109 - changing ...
  [OK]          ECDSA P256 test vectors (SHA256)        109   110 - changing ...
  [OK]          ECDSA P256 test vectors (SHA256)        110   111 - changing ...
  [OK]          ECDSA P256 test vectors (SHA256)        111   112 - changing ...
  [OK]          ECDSA P256 test vectors (SHA256)        112   113 - changing ...
  [OK]          ECDSA P256 test vectors (SHA256)        113   114 - dropping ...
  [OK]          ECDSA P256 test vectors (SHA256)        114   115 - dropping ...
  [OK]          ECDSA P256 test vectors (SHA256)        115   116 - using com...
  [OK]          ECDSA P256 test vectors (SHA256)        116   117 - using com...
  [OK]          ECDSA P256 test vectors (SHA256)        117   118 - modify fi...
  [OK]          ECDSA P256 test vectors (SHA256)        118   119 - modify fi...
  [OK]          ECDSA P256 test vectors (SHA256)        119   120 - modify la...
  [OK]          ECDSA P256 test vectors (SHA256)        120   121 - modify la...
  [OK]          ECDSA P256 test vectors (SHA256)        121   122 - truncated...
  [OK]          ECDSA P256 test vectors (SHA256)        122   123 - truncated...
  [OK]          ECDSA P256 test vectors (SHA256)        123   124 - truncated...
  [OK]          ECDSA P256 test vectors (SHA256)        124   125 - leading f...
  [OK]          ECDSA P256 test vectors (SHA256)        125   126 - leading f...
  [OK]          ECDSA P256 test vectors (SHA256)        126   127 - replaced ...
  [OK]          ECDSA P256 test vectors (SHA256)        127   128 - replaced ...
  [OK]          ECDSA P256 test vectors (SHA256)        128   129 - replacing...
  [OK]          ECDSA P256 test vectors (SHA256)        129   130 - replacing...
  [OK]          ECDSA P256 test vectors (SHA256)        130   131 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        131   132 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        132   133 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        133   134 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        134   135 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        135   136 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        136   137 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        137   138 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        138   139 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        139   140 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        140   141 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        141   142 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        142   143 - Modified ...
  [OK]          ECDSA P256 test vectors (SHA256)        143   144 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        144   145 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        145   146 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        146   147 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        147   148 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        148   149 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        149   150 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        150   151 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        151   152 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        152   153 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        153   154 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        154   155 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        155   156 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        156   157 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        157   158 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        158   159 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        159   160 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        160   161 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        161   162 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        162   163 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        163   164 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        164   165 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        165   166 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        166   167 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        167   168 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        168   169 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        169   170 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        170   171 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        171   172 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        172   173 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        173   174 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        174   175 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        175   176 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        176   177 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        177   178 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        178   179 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        179   180 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        180   181 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        181   182 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        182   183 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        183   184 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        184   185 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        185   186 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        186   187 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        187   188 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        188   189 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        189   190 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        190   191 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        191   192 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        192   193 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        193   194 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        194   195 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        195   196 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        196   197 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        197   198 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        198   199 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        199   200 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        200   201 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        201   202 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        202   203 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        203   204 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        204   205 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        205   206 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        206   207 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        207   208 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        208   209 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        209   210 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        210   211 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        211   212 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        212   213 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        213   214 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        214   215 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        215   216 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        216   217 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        217   218 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        218   219 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        219   220 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        220   221 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        221   222 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        222   223 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        223   224 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        224   225 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        225   226 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        226   227 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        227   228 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        228   229 - Signature...
  [OK]          ECDSA P256 test vectors (SHA256)        229   230 - Edge case...
  [OK]          ECDSA P256 test vectors (SHA256)        230   231 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        231   232 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        232   233 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        233   234 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        234   235 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        235   236 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        236   237 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        237   238 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        238   239 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        239   240 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        240   241 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        241   242 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        242   243 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        243   244 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        244   245 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        245   246 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        246   247 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        247   248 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        248   249 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        249   250 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        250   251 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        251   252 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        252   253 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        253   254 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        254   255 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        255   256 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        256   257 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        257   258 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        258   259 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        259   260 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        260   261 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        261   262 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        262   263 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        263   264 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        264   265 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        265   266 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        266   267 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        267   268 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        268   269 - special c...
  [OK]          ECDSA P256 test vectors (SHA256)        269   270 - special c...
...TRUNCATED BY DUNE...
  [OK]          X25519 test vectors                     157   158 - special c...
  [OK]          X25519 test vectors                     158   159 - special c...
  [OK]          X25519 test vectors                     159   160 - special c...
  [OK]          X25519 test vectors                     160   161 - special c...
  [OK]          X25519 test vectors                     161   162 - special c...
  [OK]          X25519 test vectors                     162   163 - special c...
  [OK]          X25519 test vectors                     163   164 - special c...
  [OK]          X25519 test vectors                     164   165 - D = 0 in ...
  [OK]          X25519 test vectors                     165   166 - D = 0 in ...
  [OK]          X25519 test vectors                     166   167 - special c...
  [OK]          X25519 test vectors                     167   168 - special c...
  [OK]          X25519 test vectors                     168   169 - special c...
  [OK]          X25519 test vectors                     169   170 - special c...
  [OK]          X25519 test vectors                     170   171 - special c...
  [OK]          X25519 test vectors                     171   172 - special c...
  [OK]          X25519 test vectors                     172   173 - special c...
  [OK]          X25519 test vectors                     173   174 - special c...
  [OK]          X25519 test vectors                     174   175 - special c...
  [OK]          X25519 test vectors                     175   176 - special c...
  [OK]          X25519 test vectors                     176   177 - special c...
  [OK]          X25519 test vectors                     177   178 - special c...
  [OK]          X25519 test vectors                     178   179 - special c...
  [OK]          X25519 test vectors                     179   180 - special c...
  [OK]          X25519 test vectors                     180   181 - special c...
  [OK]          X25519 test vectors                     181   182 - special c...
  [OK]          X25519 test vectors                     182   183 - special c...
  [OK]          X25519 test vectors                     183   184 - special c...
  [OK]          X25519 test vectors                     184   185 - special c...
  [OK]          X25519 test vectors                     185   186 - special c...
  [OK]          X25519 test vectors                     186   187 - special c...
  [OK]          X25519 test vectors                     187   188 - special c...
  [OK]          X25519 test vectors                     188   189 - special c...
  [OK]          X25519 test vectors                     189   190 - special c...
  [OK]          X25519 test vectors                     190   191 - special c...
  [OK]          X25519 test vectors                     191   192 - special c...
  [OK]          X25519 test vectors                     192   193 - special c...
  [OK]          X25519 test vectors                     193   194 - special c...
  [OK]          X25519 test vectors                     194   195 - special c...
  [OK]          X25519 test vectors                     195   196 - special c...
  [OK]          X25519 test vectors                     196   197 - special c...
  [OK]          X25519 test vectors                     197   198 - special c...
  [OK]          X25519 test vectors                     198   199 - special c...
  [OK]          X25519 test vectors                     199   200 - special c...
  [OK]          X25519 test vectors                     200   201 - special c...
  [OK]          X25519 test vectors                     201   202 - special c...
  [OK]          X25519 test vectors                     202   203 - special c...
  [OK]          X25519 test vectors                     203   204 - special c...
  [OK]          X25519 test vectors                     204   205 - special c...
  [OK]          X25519 test vectors                     205   206 - special c...
  [OK]          X25519 test vectors                     206   207 - special c...
  [OK]          X25519 test vectors                     207   208 - special c...
  [OK]          X25519 test vectors                     208   209 - special c...
  [OK]          X25519 test vectors                     209   210 - special c...
  [OK]          X25519 test vectors                     210   211 - special c...
  [OK]          X25519 test vectors                     211   212 - special c...
  [OK]          X25519 test vectors                     212   213 - special c...
  [OK]          X25519 test vectors                     213   214 - special c...
  [OK]          X25519 test vectors                     214   215 - special c...
  [OK]          X25519 test vectors                     215   216 - special c...
  [OK]          X25519 test vectors                     216   217 - special c...
  [OK]          X25519 test vectors                     217   218 - special c...
  [OK]          X25519 test vectors                     218   219 - special c...
  [OK]          X25519 test vectors                     219   220 - special c...
  [OK]          X25519 test vectors                     220   221 - special c...
  [OK]          X25519 test vectors                     221   222 - special c...
  [OK]          X25519 test vectors                     222   223 - special c...
  [OK]          X25519 test vectors                     223   224 - special c...
  [OK]          X25519 test vectors                     224   225 - special c...
  [OK]          X25519 test vectors                     225   226 - special c...
  [OK]          X25519 test vectors                     226   227 - special c...
  [OK]          X25519 test vectors                     227   228 - special c...
  [OK]          X25519 test vectors                     228   229 - special c...
  [OK]          X25519 test vectors                     229   230 - special c...
  [OK]          X25519 test vectors                     230   231 - special c...
  [OK]          X25519 test vectors                     231   232 - special c...
  [OK]          X25519 test vectors                     232   233 - special c...
  [OK]          X25519 test vectors                     233   234 - special c...
  [OK]          X25519 test vectors                     234   235 - special c...
  [OK]          X25519 test vectors                     235   236 - special c...
  [OK]          X25519 test vectors                     236   237 - special c...
  [OK]          X25519 test vectors                     237   238 - special c...
  [OK]          X25519 test vectors                     238   239 - special c...
  [OK]          X25519 test vectors                     239   240 - special c...
  [OK]          X25519 test vectors                     240   241 - special c...
  [OK]          X25519 test vectors                     241   242 - special c...
  [OK]          X25519 test vectors                     242   243 - special c...
  [OK]          X25519 test vectors                     243   244 - special c...
  [OK]          X25519 test vectors                     244   245 - special c...
  [OK]          X25519 test vectors                     245   246 - special c...
  [OK]          X25519 test vectors                     246   247 - special c...
  [OK]          X25519 test vectors                     247   248 - special c...
  [OK]          X25519 test vectors                     248   249 - special c...
  [OK]          X25519 test vectors                     249   250 - special c...
  [OK]          X25519 test vectors                     250   251 - special c...
  [OK]          X25519 test vectors                     251   252 - special c...
  [OK]          X25519 test vectors                     252   253 - special c...
  [OK]          X25519 test vectors                     253   254 - special c...
  [OK]          X25519 test vectors                     254   255 - special c...
  [OK]          X25519 test vectors                     255   256 - special c...
  [OK]          X25519 test vectors                     256   257 - special c...
  [OK]          X25519 test vectors                     257   258 - special c...
  [OK]          X25519 test vectors                     258   259 - special c...
  [OK]          X25519 test vectors                     259   260 - special c...
  [OK]          X25519 test vectors                     260   261 - special c...
  [OK]          X25519 test vectors                     261   262 - special c...
  [OK]          X25519 test vectors                     262   263 - special c...
  [OK]          X25519 test vectors                     263   264 - special c...
  [OK]          X25519 test vectors                     264   265 - special c...
  [OK]          X25519 test vectors                     265   266 - special c...
  [OK]          X25519 test vectors                     266   267 - special c...
  [OK]          X25519 test vectors                     267   268 - special c...
  [OK]          X25519 test vectors                     268   269 - special c...
  [OK]          X25519 test vectors                     269   270 - special c...
  [OK]          X25519 test vectors                     270   271 - special c...
  [OK]          X25519 test vectors                     271   272 - special c...
  [OK]          X25519 test vectors                     272   273 - special c...
  [OK]          X25519 test vectors                     273   274 - special c...
  [OK]          X25519 test vectors                     274   275 - special c...
  [OK]          X25519 test vectors                     275   276 - special c...
  [OK]          X25519 test vectors                     276   277 - special c...
  [OK]          X25519 test vectors                     277   278 - special c...
  [OK]          X25519 test vectors                     278   279 - special c...
  [OK]          X25519 test vectors                     279   280 - special c...
  [OK]          X25519 test vectors                     280   281 - special c...
  [OK]          X25519 test vectors                     281   282 - special c...
  [OK]          X25519 test vectors                     282   283 - special c...
  [OK]          X25519 test vectors                     283   284 - special c...
  [OK]          X25519 test vectors                     284   285 - special c...
  [OK]          X25519 test vectors                     285   286 - special c...
  [OK]          X25519 test vectors                     286   287 - special c...
  [OK]          X25519 test vectors                     287   288 - special c...
  [OK]          X25519 test vectors                     288   289 - special c...
  [OK]          X25519 test vectors                     289   290 - special c...
  [OK]          X25519 test vectors                     290   291 - special c...
  [OK]          X25519 test vectors                     291   292 - special c...
  [OK]          X25519 test vectors                     292   293 - special c...
  [OK]          X25519 test vectors                     293   294 - special c...
  [OK]          X25519 test vectors                     294   295 - special c...
  [OK]          X25519 test vectors                     295   296 - special c...
  [OK]          X25519 test vectors                     296   297 - special c...
  [OK]          X25519 test vectors                     297   298 - special c...
  [OK]          X25519 test vectors                     298   299 - special c...
  [OK]          X25519 test vectors                     299   300 - special c...
  [OK]          X25519 test vectors                     300   301 - special c...
  [OK]          X25519 test vectors                     301   302 - special c...
  [OK]          X25519 test vectors                     302   303 - special c...
  [OK]          X25519 test vectors                     303   304 - special c...
  [OK]          X25519 test vectors                     304   305 - special c...
  [OK]          X25519 test vectors                     305   306 - special c...
  [OK]          X25519 test vectors                     306   307 - special c...
  [OK]          X25519 test vectors                     307   308 - special c...
  [OK]          X25519 test vectors                     308   309 - special c...
  [OK]          X25519 test vectors                     309   310 - special c...
  [OK]          X25519 test vectors                     310   311 - special c...
  [OK]          X25519 test vectors                     311   312 - special c...
  [OK]          X25519 test vectors                     312   313 - special c...
  [OK]          X25519 test vectors                     313   314 - special c...
  [OK]          X25519 test vectors                     314   315 - special c...
  [OK]          X25519 test vectors                     315   316 - special c...
  [OK]          X25519 test vectors                     316   317 - special c...
  [OK]          X25519 test vectors                     317   318 - special c...
  [OK]          X25519 test vectors                     318   319 - special c...
  [OK]          X25519 test vectors                     319   320 - special c...
  [OK]          X25519 test vectors                     320   321 - special c...
  [OK]          X25519 test vectors                     321   322 - special c...
  [OK]          X25519 test vectors                     322   323 - special c...
  [OK]          X25519 test vectors                     323   324 - special c...
  [OK]          X25519 test vectors                     324   325 - special c...
  [OK]          X25519 test vectors                     325   326 - special c...
  [OK]          X25519 test vectors                     326   327 - special c...
  [OK]          X25519 test vectors                     327   328 - special c...
  [OK]          X25519 test vectors                     328   329 - special c...
  [OK]          X25519 test vectors                     329   330 - special c...
  [OK]          X25519 test vectors                     330   331 - special c...
  [OK]          X25519 test vectors                     331   332 - special c...
  [OK]          X25519 test vectors                     332   333 - special c...
  [OK]          X25519 test vectors                     333   334 - special c...
  [OK]          X25519 test vectors                     334   335 - special c...
  [OK]          X25519 test vectors                     335   336 - special c...
  [OK]          X25519 test vectors                     336   337 - special c...
  [OK]          X25519 test vectors                     337   338 - special c...
  [OK]          X25519 test vectors                     338   339 - special c...
  [OK]          X25519 test vectors                     339   340 - special c...
  [OK]          X25519 test vectors                     340   341 - special c...
  [OK]          X25519 test vectors                     341   342 - special c...
  [OK]          X25519 test vectors                     342   343 - special c...
  [OK]          X25519 test vectors                     343   344 - special c...
  [OK]          X25519 test vectors                     344   345 - special c...
  [OK]          X25519 test vectors                     345   346 - special c...
  [OK]          X25519 test vectors                     346   347 - special c...
  [OK]          X25519 test vectors                     347   348 - special c...
  [OK]          X25519 test vectors                     348   349 - special c...
  [OK]          X25519 test vectors                     349   350 - special c...
  [OK]          X25519 test vectors                     350   351 - special c...
  [OK]          X25519 test vectors                     351   352 - special c...
  [OK]          X25519 test vectors                     352   353 - special c...
  [OK]          X25519 test vectors                     353   354 - special c...
  [OK]          X25519 test vectors                     354   355 - special c...
  [OK]          X25519 test vectors                     355   356 - special c...
  [OK]          X25519 test vectors                     356   357 - special c...
  [OK]          X25519 test vectors                     357   358 - special c...
  [OK]          X25519 test vectors                     358   359 - special c...
  [OK]          X25519 test vectors                     359   360 - special c...
  [OK]          X25519 test vectors                     360   361 - special c...
  [OK]          X25519 test vectors                     361   362 - special c...
  [OK]          X25519 test vectors                     362   363 - special c...
  [OK]          X25519 test vectors                     363   364 - special c...
  [OK]          X25519 test vectors                     364   365 - special c...
  [OK]          X25519 test vectors                     365   366 - special c...
  [OK]          X25519 test vectors                     366   367 - special c...
  [OK]          X25519 test vectors                     367   368 - special c...
  [OK]          X25519 test vectors                     368   369 - special c...
  [OK]          X25519 test vectors                     369   370 - special c...
  [OK]          X25519 test vectors                     370   371 - special c...
  [OK]          X25519 test vectors                     371   372 - special c...
  [OK]          X25519 test vectors                     372   373 - special c...
  [OK]          X25519 test vectors                     373   374 - special c...
  [OK]          X25519 test vectors                     374   375 - special c...
  [OK]          X25519 test vectors                     375   376 - special c...
  [OK]          X25519 test vectors                     376   377 - special c...
  [OK]          X25519 test vectors                     377   378 - special c...
  [OK]          X25519 test vectors                     378   379 - special c...
  [OK]          X25519 test vectors                     379   380 - special c...
  [OK]          X25519 test vectors                     380   381 - special c...
  [OK]          X25519 test vectors                     381   382 - special c...
  [OK]          X25519 test vectors                     382   383 - special c...
  [OK]          X25519 test vectors                     383   384 - special c...
  [OK]          X25519 test vectors                     384   385 - special c...
  [OK]          X25519 test vectors                     385   386 - special c...
  [OK]          X25519 test vectors                     386   387 - special c...
  [OK]          X25519 test vectors                     387   388 - special c...
  [OK]          X25519 test vectors                     388   389 - special c...
  [OK]          X25519 test vectors                     389   390 - special c...
  [OK]          X25519 test vectors                     390   391 - special c...
  [OK]          X25519 test vectors                     391   392 - special c...
  [OK]          X25519 test vectors                     392   393 - special c...
  [OK]          X25519 test vectors                     393   394 - special c...
  [OK]          X25519 test vectors                     394   395 - special c...
  [OK]          X25519 test vectors                     395   396 - special c...
  [OK]          X25519 test vectors                     396   397 - special c...
  [OK]          X25519 test vectors                     397   398 - special c...
  [OK]          X25519 test vectors                     398   399 - special c...
  [OK]          X25519 test vectors                     399   400 - special c...
  [OK]          X25519 test vectors                     400   401 - special c...
  [OK]          X25519 test vectors                     401   402 - special c...
  [OK]          X25519 test vectors                     402   403 - special c...
  [OK]          X25519 test vectors                     403   404 - special c...
  [OK]          X25519 test vectors                     404   405 - special c...
  [OK]          X25519 test vectors                     405   406 - special c...
  [OK]          X25519 test vectors                     406   407 - special c...
  [OK]          X25519 test vectors                     407   408 - special c...
  [OK]          X25519 test vectors                     408   409 - special c...
  [OK]          X25519 test vectors                     409   410 - special c...
  [OK]          X25519 test vectors                     410   411 - special c...
  [OK]          X25519 test vectors                     411   412 - special c...
  [OK]          X25519 test vectors                     412   413 - special c...
  [OK]          X25519 test vectors                     413   414 - special c...
  [OK]          X25519 test vectors                     414   415 - special c...
  [OK]          X25519 test vectors                     415   416 - special c...
  [OK]          X25519 test vectors                     416   417 - special c...
  [OK]          X25519 test vectors                     417   418 - special c...
  [OK]          X25519 test vectors                     418   419 - special c...
  [OK]          X25519 test vectors                     419   420 - special c...
  [OK]          X25519 test vectors                     420   421 - special c...
  [OK]          X25519 test vectors                     421   422 - special c...
  [OK]          X25519 test vectors                     422   423 - special c...
  [OK]          X25519 test vectors                     423   424 - special c...
  [OK]          X25519 test vectors                     424   425 - special c...
  [OK]          X25519 test vectors                     425   426 - special c...
  [OK]          X25519 test vectors                     426   427 - special c...
  [OK]          X25519 test vectors                     427   428 - special c...
  [OK]          X25519 test vectors                     428   429 - special c...
  [OK]          X25519 test vectors                     429   430 - special c...
  [OK]          X25519 test vectors                     430   431 - special c...
  [OK]          X25519 test vectors                     431   432 - special c...
  [OK]          X25519 test vectors                     432   433 - special c...
  [OK]          X25519 test vectors                     433   434 - special c...
  [OK]          X25519 test vectors                     434   435 - special c...
  [OK]          X25519 test vectors                     435   436 - special c...
  [OK]          X25519 test vectors                     436   437 - special c...
  [OK]          X25519 test vectors                     437   438 - special c...
  [OK]          X25519 test vectors                     438   439 - special c...
  [OK]          X25519 test vectors                     439   440 - special c...
  [OK]          X25519 test vectors                     440   441 - special c...
  [OK]          X25519 test vectors                     441   442 - special c...
  [OK]          X25519 test vectors                     442   443 - special c...
  [OK]          X25519 test vectors                     443   444 - special c...
  [OK]          X25519 test vectors                     444   445 - special c...
  [OK]          X25519 test vectors                     445   446 - special c...
  [OK]          X25519 test vectors                     446   447 - special c...
  [OK]          X25519 test vectors                     447   448 - special c...
  [OK]          X25519 test vectors                     448   449 - special c...
  [OK]          X25519 test vectors                     449   450 - special c...
  [OK]          X25519 test vectors                     450   451 - special c...
  [OK]          X25519 test vectors                     451   452 - special c...
  [OK]          X25519 test vectors                     452   453 - special c...
  [OK]          X25519 test vectors                     453   454 - special c...
  [OK]          X25519 test vectors                     454   455 - special c...
  [OK]          X25519 test vectors                     455   456 - special c...
  [OK]          X25519 test vectors                     456   457 - special c...
  [OK]          X25519 test vectors                     457   458 - special c...
  [OK]          X25519 test vectors                     458   459 - special c...
  [OK]          X25519 test vectors                     459   460 - special c...
  [OK]          X25519 test vectors                     460   461 - special c...
  [OK]          X25519 test vectors                     461   462 - special c...
  [OK]          X25519 test vectors                     462   463 - special c...
  [OK]          X25519 test vectors                     463   464 - special c...
  [OK]          X25519 test vectors                     464   465 - special c...
  [OK]          X25519 test vectors                     465   466 - special c...
  [OK]          X25519 test vectors                     466   467 - special c...
  [OK]          X25519 test vectors                     467   468 - special c...
  [OK]          X25519 test vectors                     468   469 - special c...
  [OK]          X25519 test vectors                     469   470 - special c...
  [OK]          X25519 test vectors                     470   471 - special c...
  [OK]          X25519 test vectors                     471   472 - special c...
  [OK]          X25519 test vectors                     472   473 - special c...
  [OK]          X25519 test vectors                     473   474 - special c...
  [OK]          X25519 test vectors                     474   475 - special c...
  [OK]          X25519 test vectors                     475   476 - special c...
  [OK]          X25519 test vectors                     476   477 - special c...
  [OK]          X25519 test vectors                     477   478 - special c...
  [OK]          X25519 test vectors                     478   479 - special c...
  [OK]          X25519 test vectors                     479   480 - special c...
  [OK]          X25519 test vectors                     480   481 - special c...
  [OK]          X25519 test vectors                     481   482 - special c...
  [OK]          X25519 test vectors                     482   483 - special c...
  [OK]          X25519 test vectors                     483   484 - special c...
  [OK]          X25519 test vectors                     484   485 - special c...
  [OK]          X25519 test vectors                     485   486 - special c...
  [OK]          X25519 test vectors                     486   487 - special c...
  [OK]          X25519 test vectors                     487   488 - special c...
  [OK]          X25519 test vectors                     488   489 - special c...
  [OK]          X25519 test vectors                     489   490 - special c...
  [OK]          X25519 test vectors                     490   491 - special c...
  [OK]          X25519 test vectors                     491   492 - special c...
  [OK]          X25519 test vectors                     492   493 - special c...
  [OK]          X25519 test vectors                     493   494 - special c...
  [OK]          X25519 test vectors                     494   495 - special c...
  [OK]          X25519 test vectors                     495   496 - special c...
  [OK]          X25519 test vectors                     496   497 - special c...
  [OK]          X25519 test vectors                     497   498 - special c...
  [OK]          X25519 test vectors                     498   499 - special c...
  [OK]          X25519 test vectors                     499   500 - special c...
  [OK]          X25519 test vectors                     500   501 - special c...
  [OK]          X25519 test vectors                     501   502 - special c...
  [OK]          X25519 test vectors                     502   503 - special c...
  [OK]          X25519 test vectors                     503   504 - special c...
  [OK]          X25519 test vectors                     504   505 - special c...
  [OK]          X25519 test vectors                     505   506 - special c...
  [OK]          X25519 test vectors                     506   507 - special c...
  [OK]          X25519 test vectors                     507   508 - special c...
  [OK]          X25519 test vectors                     508   509 - special c...
  [OK]          X25519 test vectors                     509   510 - special c...
  [OK]          X25519 test vectors                     510   511 - private k...
  [OK]          X25519 test vectors                     511   512 - private k...
  [OK]          X25519 test vectors                     512   513 - special c...
  [OK]          X25519 test vectors                     513   514 - special c...
  [OK]          X25519 test vectors                     514   515 - special c...
  [OK]          X25519 test vectors                     515   516 - special c...
  [OK]          X25519 test vectors                     516   517 - special c...
  [OK]          X25519 test vectors                     517   518 - special c...
  [OK]          ED25519 test vectors                      0   1 - .
  [OK]          ED25519 test vectors                      1   2 - .
  [OK]          ED25519 test vectors                      2   3 - .
  [OK]          ED25519 test vectors                      3   4 - .
  [OK]          ED25519 test vectors                      4   5 - .
  [OK]          ED25519 test vectors                      5   6 - .
  [OK]          ED25519 test vectors                      6   7 - .
  [OK]          ED25519 test vectors                      7   8 - .
  [OK]          ED25519 test vectors                      8   9 - .
  [OK]          ED25519 test vectors                      9   10 - special va...
  [OK]          ED25519 test vectors                     10   11 - special va...
  [OK]          ED25519 test vectors                     11   12 - special va...
  [OK]          ED25519 test vectors                     12   13 - special va...
  [OK]          ED25519 test vectors                     13   14 - special va...
  [OK]          ED25519 test vectors                     14   15 - special va...
  [OK]          ED25519 test vectors                     15   16 - special va...
  [OK]          ED25519 test vectors                     16   17 - special va...
  [OK]          ED25519 test vectors                     17   18 - special va...
  [OK]          ED25519 test vectors                     18   19 - special va...
  [OK]          ED25519 test vectors                     19   20 - special va...
  [OK]          ED25519 test vectors                     20   21 - special va...
  [OK]          ED25519 test vectors                     21   22 - special va...
  [OK]          ED25519 test vectors                     22   23 - special va...
  [OK]          ED25519 test vectors                     23   24 - special va...
  [OK]          ED25519 test vectors                     24   25 - special va...
  [OK]          ED25519 test vectors                     25   26 - special va...
  [OK]          ED25519 test vectors                     26   27 - special va...
  [OK]          ED25519 test vectors                     27   28 - special va...
  [OK]          ED25519 test vectors                     28   29 - special va...
  [OK]          ED25519 test vectors                     29   30 - empty sign...
  [OK]          ED25519 test vectors                     30   31 - s missing.
  [OK]          ED25519 test vectors                     31   32 - signature ...
  [OK]          ED25519 test vectors                     32   33 - signature ...
  [OK]          ED25519 test vectors                     33   34 - include pk...
  [OK]          ED25519 test vectors                     34   35 - prepending...
  [OK]          ED25519 test vectors                     35   36 - prepending...
  [OK]          ED25519 test vectors                     36   37 - appending ...
  [OK]          ED25519 test vectors                     37   38 - removing 0...
  [OK]          ED25519 test vectors                     38   39 - removing 0...
  [OK]          ED25519 test vectors                     39   40 - removing l...
  [OK]          ED25519 test vectors                     40   41 - dropping b...
  [OK]          ED25519 test vectors                     41   42 - modified b...
  [OK]          ED25519 test vectors                     42   43 - modified b...
  [OK]          ED25519 test vectors                     43   44 - modified b...
  [OK]          ED25519 test vectors                     44   45 - modified b...
  [OK]          ED25519 test vectors                     45   46 - modified b...
  [OK]          ED25519 test vectors                     46   47 - modified b...
  [OK]          ED25519 test vectors                     47   48 - modified b...
  [OK]          ED25519 test vectors                     48   49 - modified b...
  [OK]          ED25519 test vectors                     49   50 - modified b...
  [OK]          ED25519 test vectors                     50   51 - modified b...
  [OK]          ED25519 test vectors                     51   52 - modified b...
  [OK]          ED25519 test vectors                     52   53 - modified b...
  [OK]          ED25519 test vectors                     53   54 - modified b...
  [OK]          ED25519 test vectors                     54   55 - modified b...
  [OK]          ED25519 test vectors                     55   56 - modified b...
  [OK]          ED25519 test vectors                     56   57 - modified b...
  [OK]          ED25519 test vectors                     57   58 - modified b...
  [OK]          ED25519 test vectors                     58   59 - modified b...
  [OK]          ED25519 test vectors                     59   60 - R==0.
  [OK]          ED25519 test vectors                     60   61 - invalid R.
  [OK]          ED25519 test vectors                     61   62 - all bits f...
  [OK]          ED25519 test vectors                     62   63 - checking m...
  [OK]          ED25519 test vectors                     63   64 - checking m...
  [OK]          ED25519 test vectors                     64   65 - checking m...
  [OK]          ED25519 test vectors                     65   66 - checking m...
  [OK]          ED25519 test vectors                     66   67 - checking m...
  [OK]          ED25519 test vectors                     67   68 - checking m...
  [OK]          ED25519 test vectors                     68   69 - checking m...
  [OK]          ED25519 test vectors                     69   70 - checking m...
  [OK]          ED25519 test vectors                     70   71 - .
  [OK]          ED25519 test vectors                     71   72 - .
  [OK]          ED25519 test vectors                     72   73 - .
  [OK]          ED25519 test vectors                     73   74 - .
  [OK]          ED25519 test vectors                     74   75 - .
  [OK]          ED25519 test vectors                     75   76 - .
  [OK]          ED25519 test vectors                     76   77 - .
  [OK]          ED25519 test vectors                     77   78 - .
  [OK]          ED25519 test vectors                     78   79 - .
  [OK]          ED25519 test vectors                     79   80 - draft-jose...
  [OK]          ED25519 test vectors                     80   81 - draft-jose...
  [OK]          ED25519 test vectors                     81   82 - draft-jose...
  [OK]          ED25519 test vectors                     82   83 - draft-jose...
  [OK]          ED25519 test vectors                     83   84 - Random tes...
  [OK]          ED25519 test vectors                     84   85 - Random tes...
  [OK]          ED25519 test vectors                     85   86 - Random tes...
  [OK]          ED25519 test vectors                     86   87 - Random tes...
  [OK]          ED25519 test vectors                     87   88 - Random tes...
  [OK]          ED25519 test vectors                     88   89 - Random tes...
  [OK]          ED25519 test vectors                     89   90 - Random tes...
  [OK]          ED25519 test vectors                     90   91 - Random tes...
  [OK]          ED25519 test vectors                     91   92 - Random tes...
  [OK]          ED25519 test vectors                     92   93 - Random tes...
  [OK]          ED25519 test vectors                     93   94 - Random tes...
  [OK]          ED25519 test vectors                     94   95 - Random tes...
  [OK]          ED25519 test vectors                     95   96 - Random tes...
  [OK]          ED25519 test vectors                     96   97 - Random tes...
  [OK]          ED25519 test vectors                     97   98 - Random tes...
  [OK]          ED25519 test vectors                     98   99 - Random tes...
  [OK]          ED25519 test vectors                     99   100 - Random te...
  [OK]          ED25519 test vectors                    100   101 - Random te...
  [OK]          ED25519 test vectors                    101   102 - Random te...
  [OK]          ED25519 test vectors                    102   103 - Random te...
  [OK]          ED25519 test vectors                    103   104 - Random te...
  [OK]          ED25519 test vectors                    104   105 - Random te...
  [OK]          ED25519 test vectors                    105   106 - Random te...
  [OK]          ED25519 test vectors                    106   107 - Random te...
  [OK]          ED25519 test vectors                    107   108 - Random te...
  [OK]          ED25519 test vectors                    108   109 - Random te...
  [OK]          ED25519 test vectors                    109   110 - Random te...
  [OK]          ED25519 test vectors                    110   111 - Random te...
  [OK]          ED25519 test vectors                    111   112 - Test case...
  [OK]          ED25519 test vectors                    112   113 - Test case...
  [OK]          ED25519 test vectors                    113   114 - Test case...
  [OK]          ED25519 test vectors                    114   115 - Test case...
  [OK]          ED25519 test vectors                    115   116 - Test case...
  [OK]          ED25519 test vectors                    116   117 - regressio...
  [OK]          ED25519 test vectors                    117   118 - regressio...
  [OK]          ED25519 test vectors                    118   119 - regressio...
  [OK]          ED25519 test vectors                    119   120 - regressio...
  [OK]          ED25519 test vectors                    120   121 - regressio...
  [OK]          ED25519 test vectors                    121   122 - regressio...
  [OK]          ED25519 test vectors                    122   123 - regressio...
  [OK]          ED25519 test vectors                    123   124 - regressio...
  [OK]          ED25519 test vectors                    124   125 - regressio...
  [OK]          ED25519 test vectors                    125   126 - regressio...
  [OK]          ED25519 test vectors                    126   127 - regressio...
  [OK]          ED25519 test vectors                    127   128 - regressio...
  [OK]          ED25519 test vectors                    128   129 - regressio...
  [OK]          ED25519 test vectors                    129   130 - regressio...
  [OK]          ED25519 test vectors                    130   131 - regressio...
  [OK]          ED25519 test vectors                    131   132 - regressio...
  [OK]          ED25519 test vectors                    132   133 - regressio...
  [OK]          ED25519 test vectors                    133   134 - regressio...
  [OK]          ED25519 test vectors                    134   135 - regressio...
  [OK]          ED25519 test vectors                    135   136 - regressio...
  [OK]          ED25519 test vectors                    136   137 - regressio...
  [OK]          ED25519 test vectors                    137   138 - regressio...
  [OK]          ED25519 test vectors                    138   139 - regressio...
  [OK]          ED25519 test vectors                    139   140 - regressio...
  [OK]          ED25519 test vectors                    140   141 - regressio...
  [OK]          ED25519 test vectors                    141   142 - regressio...
  [OK]          ED25519 test vectors                    142   143 - regressio...
  [OK]          ED25519 test vectors                    143   144 - regressio...
  [OK]          ED25519 test vectors                    144   145 - regressio...

Full test results in `/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.
Test Successful in 15.229s. 3502 tests run.
"/usr/bin/linux32" "/bin/sh" "-c" "opam exec -- dune build --only-packages=mirage-crypto,mirage-crypto-rng,mirage-crypto-rng-mirage,mirage-crypto-rng-lwt,mirage-crypto-rng-async,mirage-crypto-pk,mirage-crypto-ec @install @check @runtest && rm -rf _build" failed with exit status 1
2025-01-08 13:25.22: Job failed: Failed: Build failed