Organisationsmiragemirage-crypto0b377c ()debian-12-4.08_opam-2.1

debian-12-4.08_opam-2.1

Link Copied
Code Copied

Logs

2024-05-10 16:15.10: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/204/head (0b377c8f3c542650b7f8f534b82f72613a398e84) (linux-x86_64:debian-12-4.08_opam-2.1)
Base: ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-crypto.git" && cd "mirage-crypto" && git fetch origin "refs/pull/204/head" && git reset --hard 0b377c8f
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
# debian-12-4.08_opam-2.1
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.1 /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 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && 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-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-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 './'
ENV DEPS="alcotest.1.7.0 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.2.0 conf-gmp.4 conf-gmp-powm-sec.3 core.v0.14.1 core_kernel.v0.14.2 cppo.1.6.9 csexp.1.5.2 cstruct.6.2.0 domain-name.0.4.0 dune.3.15.2 dune-configurator.3.15.2 duration.0.2.1 eqaf.0.9 fieldslib.v0.14.0 fmt.0.9.0 hex.1.5.0 ipaddr.5.5.0 jane-street-headers.v0.14.0 jst-config.v0.14.1 logs.0.7.0 lwt.5.7.0 macaddr.5.5.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.5.0 mirage-time.3.0.0 mirage-time-unix.3.0.0 mirage-unix.5.0.1 mtime.2.0.0 num.1.5 ocaml.4.08.1 ocaml-base-compiler.4.08.1 ocaml-compiler-libs.v0.12.4 ocaml-config.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.2 octavius.1.2.2 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 randomconv.0.2.0 re.1.11.0 result.1.5 seq.base sexplib.v0.14.0 sexplib0.v0.14.0 spawn.v0.15.1 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.1.2 zarith.1.13"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.1 --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


2024-05-10 16:15.10: Using cache hint "mirage/mirage-crypto-ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb-debian-12-4.08_opam-2.1-0dcbbf2a2fae29630bd2b10f5326efb4"
2024-05-10 16:15.10: Using OBuilder spec:
((from ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb)
 (comment debian-12-4.08_opam-2.1)
 (user (uid 1000) (gid 1000))
 (env CLICOLOR_FORCE 1)
 (env OPAMCOLOR always)
 (workdir /src)
 (run (shell "sudo ln -f /usr/bin/opam-2.1 /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 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && 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-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-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 './'"))
 (env DEPS "alcotest.1.7.0 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.2.0 conf-gmp.4 conf-gmp-powm-sec.3 core.v0.14.1 core_kernel.v0.14.2 cppo.1.6.9 csexp.1.5.2 cstruct.6.2.0 domain-name.0.4.0 dune.3.15.2 dune-configurator.3.15.2 duration.0.2.1 eqaf.0.9 fieldslib.v0.14.0 fmt.0.9.0 hex.1.5.0 ipaddr.5.5.0 jane-street-headers.v0.14.0 jst-config.v0.14.1 logs.0.7.0 lwt.5.7.0 macaddr.5.5.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.5.0 mirage-time.3.0.0 mirage-time-unix.3.0.0 mirage-unix.5.0.1 mtime.2.0.0 num.1.5 ocaml.4.08.1 ocaml-base-compiler.4.08.1 ocaml-compiler-libs.v0.12.4 ocaml-config.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.2 octavius.1.2.2 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 randomconv.0.2.0 re.1.11.0 result.1.5 seq.base sexplib.v0.14.0 sexplib0.v0.14.0 spawn.v0.15.1 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.1.2 zarith.1.13")
 (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.1 --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"))
)


2024-05-10 16:15.10: Waiting for resource in pool OCluster
2024-05-11 09:47.17: Waiting for worker…
2024-05-11 09:57.39: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 0b377c8 Merge pull request #1 from reynir/aead-into


(from ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb)
Unable to find image 'ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb' locally
docker.io/ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb: Pulling from ocaml/opam
61aa86cd8a87: Pulling fs layer
61aa86cd8a87: Verifying Checksum
61aa86cd8a87: Download complete
61aa86cd8a87: Pull complete
Digest: sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
Status: Downloaded newer image for ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
2024-05-11 09:57.39 ---> using "e0805034d9e735da2cb99f3eb2cde6a7473dabe8bd1020b5bf9a6e9f3a9991fe" from cache


/: (comment debian-12-4.08_opam-2.1)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2024-05-11 09:57.39 ---> using "646bc87e0f57317c5ebf610ed55d499e1a9858c6afbb70f9b3c1442beb0c0bc7" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.


Continue? [Y/n] y
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-05-11 09:57.39 ---> using "3efe606a65f6fe7269ee6813ddd2fa2c2714f24a04a227ae5fb5c7db864c4c57" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-101-generic
The OCaml toplevel, version 4.08.1
2.1.5
2024-05-11 09:57.39 ---> using "6225fba4323f2de754e24da77b187b22e091a3b5bdd8f66c82092a9cc9863ec9" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-05-11 09:57.39 ---> using "35c4353ebc362a36ebb5c4ac3584cadf9893526dc08b896ef76d9b395ed9c850" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "cd ~/opam-repository && (git cat-file -e 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   eb2dcab0d8..2ae169d7d0  master     -> origin/master
307e33d08f @dra27 and @Octachron maintain the 4.08+ packages


<><> 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.
# Run eval $(opam env) to update the current shell environment
2024-05-11 09:57.39 ---> using "167082e53e3e0b5c6101e17be718ec3e4c289917b8e1d14e9b0bc7b95515b5c7" from cache


/src: (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.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 ./))
2024-05-11 09:57.39 ---> saved as "18554cdf79d197dc78c4478d863d0ca1f1247dc1e35856d436aa13d416347593"


/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-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-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)
2024-05-11 09:57.50 ---> saved as "4f72e6484a810a1f90420c97a63344962e95480d9a3e1e07d9b961db946379d0"


/src: (env DEPS "alcotest.1.7.0 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.2.0 conf-gmp.4 conf-gmp-powm-sec.3 core.v0.14.1 core_kernel.v0.14.2 cppo.1.6.9 csexp.1.5.2 cstruct.6.2.0 domain-name.0.4.0 dune.3.15.2 dune-configurator.3.15.2 duration.0.2.1 eqaf.0.9 fieldslib.v0.14.0 fmt.0.9.0 hex.1.5.0 ipaddr.5.5.0 jane-street-headers.v0.14.0 jst-config.v0.14.1 logs.0.7.0 lwt.5.7.0 macaddr.5.5.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.5.0 mirage-time.3.0.0 mirage-time-unix.3.0.0 mirage-unix.5.0.1 mtime.2.0.0 num.1.5 ocaml.4.08.1 ocaml-base-compiler.4.08.1 ocaml-compiler-libs.v0.12.4 ocaml-config.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.2 octavius.1.2.2 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 randomconv.0.2.0 re.1.11.0 result.1.5 seq.base sexplib.v0.14.0 sexplib0.v0.14.0 spawn.v0.15.1 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.1.2 zarith.1.13")


/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.1 --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-security bookworm-security/main amd64 Packages [155 kB]
- Fetched 258 kB in 0s (895 kB/s)
- Reading package lists...


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage-crypto.dev] synchronised (no changes)
[mirage-crypto-ec.dev] synchronised (no changes)
[mirage-crypto-pk.dev] synchronised (no changes)
[mirage-crypto-rng.dev] synchronised (no changes)
[mirage-crypto-rng-async.dev] synchronised (no changes)
[mirage-crypto-rng-lwt.dev] synchronised (no changes)
[mirage-crypto-rng-mirage.dev] synchronised (no changes)


[NOTE] Package ocaml-config is already installed (current version is 1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.08.1).
[NOTE] Package ocaml is already installed (current version is 4.08.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


<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev"
- debconf: delaying package configuration, since apt-utils is not installed


2024-05-11 09:58.06 ---> saved as "4260dd50ea0dfe3f4010e2a20c2670c0b5674d6fe3a09452dcfbfcbb74c10f24"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam install $DEPS"))
[NOTE] Package ocaml-config is already installed (current version is 1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.08.1).
[NOTE] Package ocaml is already installed (current version is 4.08.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 num                     1.5
  - install cmdliner                1.2.0
  - install ocamlfind               1.9.6
  - install conf-gmp                4
  - install ocamlbuild              0.14.3
  - install seq                     base
  - install dune                    3.15.2
  - install base-bytes              base
  - install zarith                  1.13
  - install conf-gmp-powm-sec       3
  - install topkg                   1.0.7
  - install stdlib-shims            0.3.0
  - install spawn                   v0.15.1
  - install sexplib0                v0.14.0
  - install result                  1.5
  - install re                      1.11.0
  - install randomconv              0.2.0
  - install ppx_derivers            1.2.1
  - install octavius                1.2.2
  - install ocaml-syntax-shims      1.0.0
  - install ocaml-compiler-libs     v0.12.4
  - install mirage-clock            4.2.0
  - install macaddr                 5.5.0
  - install jane-street-headers     v0.14.0
  - install duration                0.2.1
  - install domain-name             0.4.0
  - install csexp                   1.5.2
  - install cppo                    1.6.9
  - install uutf                    1.0.3
  - install mtime                   2.0.0
  - install fmt                     0.9.0
  - install astring                 0.8.5
  - install ounit2                  2.2.7
  - install ppxlib                  0.25.1
  - install ipaddr                  5.5.0
  - install dune-configurator       3.15.2
  - install yojson                  2.1.2
  - install ocplib-endian           1.2
  - install cstruct                 6.2.0
  - install alcotest                1.7.0
  - install ppx_pipebang            v0.14.0
  - install ppx_deriving            5.2.1
  - install mirage-clock-unix       4.2.0
  - install base                    v0.14.3
  - install lwt                     5.7.0
  - install hex                     1.5.0
  - install eqaf                    0.9
  - install ppx_deriving_yojson     3.6.1
  - install variantslib             v0.14.0
  - install typerep                 v0.14.0
  - install stdio                   v0.14.0
  - install ppx_stable              v0.14.1
  - install ppx_sexp_conv           v0.14.3
  - install ppx_optional            v0.14.0
  - install ppx_let                 v0.14.0
  - install ppx_js_style            v0.14.1
  - install ppx_here                v0.14.0
  - install ppx_fixed_literal       v0.14.0
  - install ppx_enumerate           v0.14.0
  - install ppx_compare             v0.14.0
  - install ppx_cold                v0.14.0
  - install parsexp                 v0.14.2
  - install fieldslib               v0.14.0
  - install mirage-time             3.0.0
  - install logs                    0.7.0
  - install ppx_variants_conv       v0.14.2
  - install ppx_typerep_conv        v0.14.2
  - install ppx_optcomp             v0.14.3
  - install ppx_custom_printf       v0.14.1
  - install ppx_sexp_value          v0.14.0
  - install ppx_sexp_message        v0.14.1
  - install ppx_hash                v0.14.0
  - install ppx_assert              v0.14.0
  - install sexplib                 v0.14.0
  - install ppx_fields_conv         v0.14.2
  - install mirage-time-unix        3.0.0
  - install mirage-runtime          4.5.0
  - install ppx_base                v0.14.0
  - install jst-config              v0.14.1
  - install bin_prot                v0.14.1
  - install mirage-unix             5.0.1
  - install ppx_string              v0.14.1
  - install time_now                v0.14.0
  - install ppx_bin_prot            v0.14.0
  - install ppx_module_timer        v0.14.0
  - install ppx_inline_test         v0.14.1
  - install ppx_expect              v0.14.2
  - install ppx_bench               v0.14.1
  - install splittable_random       v0.14.0
  - install base_quickcheck         v0.14.1
  - install ppx_jane                v0.14.0
  - install base_bigstring          v0.14.0
  - install core_kernel             v0.14.2
  - install timezone                v0.14.0
  - install protocol_version_header v0.14.0
  - install async_kernel            v0.14.0
  - install core                    v0.14.1
  - install async_rpc_kernel        v0.14.0
  - install textutils               v0.14.0
  - install async_unix              v0.14.0
  - install async                   v0.14.0
===== 101 to install =====


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved async.v0.14.0  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved async_kernel.v0.14.0  (cached)
-> retrieved alcotest.1.7.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 bin_prot.v0.14.1  (cached)
-> retrieved cmdliner.1.2.0  (cached)
-> retrieved core.v0.14.1  (cached)
-> installed conf-gmp.4
-> retrieved core_kernel.v0.14.2  (cached)
-> retrieved cppo.1.6.9  (cached)
-> retrieved csexp.1.5.2  (cached)
-> installed conf-gmp-powm-sec.3
-> retrieved cstruct.6.2.0  (cached)
-> retrieved domain-name.0.4.0  (cached)
-> retrieved duration.0.2.1  (cached)
-> retrieved eqaf.0.9  (cached)
-> retrieved fieldslib.v0.14.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved hex.1.5.0  (cached)
-> retrieved ipaddr.5.5.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.7.0  (cached)
-> retrieved macaddr.5.5.0  (cached)
-> retrieved mirage-clock.4.2.0  (cached)
-> retrieved mirage-clock-unix.4.2.0  (cached)
-> retrieved mirage-runtime.4.5.0  (cached)
-> retrieved mirage-time.3.0.0  (cached)
-> retrieved mirage-time-unix.3.0.0  (cached)
-> retrieved mirage-unix.5.0.1  (cached)
-> retrieved mtime.2.0.0  (cached)
-> retrieved num.1.5  (cached)
-> retrieved dune.3.15.2  (cached)
-> retrieved dune-configurator.3.15.2  (cached)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlbuild.0.14.3  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved octavius.1.2.2  (cached)
-> installed cmdliner.1.2.0
-> installed num.1.5
-> retrieved ounit2.2.2.7  (cached)
-> retrieved parsexp.v0.14.2  (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_hash.v0.14.0  (cached)
-> retrieved ppx_here.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 randomconv.0.2.0  (cached)
-> retrieved result.1.5  (cached)
-> installed seq.base
-> retrieved re.1.11.0  (cached)
-> retrieved ppxlib.0.25.1  (cached)
-> retrieved sexplib.v0.14.0  (cached)
-> retrieved sexplib0.v0.14.0  (cached)
-> retrieved spawn.v0.15.1  (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 topkg.1.0.7  (cached)
-> retrieved typerep.v0.14.0  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved variantslib.v0.14.0  (cached)
-> retrieved zarith.1.13  (cached)
-> retrieved yojson.2.1.2  (cached)
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> installed ocamlbuild.0.14.3
-> installed zarith.1.13
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed mtime.2.0.0
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed dune.3.15.2
-> installed jane-street-headers.v0.14.0
-> installed mirage-clock.4.2.0
-> installed duration.0.2.1
-> installed ppx_derivers.1.2.1
-> installed csexp.1.5.2
-> installed cstruct.6.2.0
-> installed domain-name.0.4.0
-> installed macaddr.5.5.0
-> installed ocaml-syntax-shims.1.0.0
-> installed randomconv.0.2.0
-> installed result.1.5
-> installed sexplib0.v0.14.0
-> installed spawn.v0.15.1
-> installed stdlib-shims.0.3.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed re.1.11.0
-> installed cppo.1.6.9
-> installed octavius.1.2.2
-> installed hex.1.5.0
-> installed eqaf.0.9
-> installed ipaddr.5.5.0
-> installed ocplib-endian.1.2
-> installed ounit2.2.2.7
-> installed alcotest.1.7.0
-> installed yojson.2.1.2
-> installed dune-configurator.3.15.2
-> installed mirage-clock-unix.4.2.0
-> installed lwt.5.7.0
-> installed mirage-time.3.0.0
-> installed mirage-time-unix.3.0.0
-> installed logs.0.7.0
-> installed mirage-runtime.4.5.0
-> 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 sexplib.v0.14.0
-> installed ppxlib.0.25.1
-> installed ppx_cold.v0.14.0
-> installed ppx_optcomp.v0.14.3
-> installed ppx_here.v0.14.0
-> installed ppx_enumerate.v0.14.0
-> installed ppx_fields_conv.v0.14.2
-> installed ppx_let.v0.14.0
-> installed ppx_stable.v0.14.1
-> installed ppx_typerep_conv.v0.14.2
-> installed ppx_variants_conv.v0.14.2
-> 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_hash.v0.14.0
-> installed ppx_deriving_yojson.3.6.1
-> 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 bin_prot.v0.14.1
-> installed time_now.v0.14.0
-> 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.
# Run eval $(opam env) to update the current shell environment
2024-05-11 10:01.11 ---> saved as "90849b27fd694e77be6fe6dd16d58a6ad518640c57aac6f50df0b764e616e6d4"


/src: (copy (src .) (dst /src))
2024-05-11 10:01.12 ---> saved as "e96d82c54e75507dba46935fa114e11642df8cd055362b118a96355b9d07ef5f"


/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.08/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_common_random.objs/byte -I /home/opam/.opam/4.08/lib/cstruct -I /home/opam/.opam/4.08/lib/eqaf -I /home/opam/.opam/4.08/lib/eqaf/bigstring -I /home/opam/.opam/4.08/lib/eqaf/cstruct -I /home/opam/.opam/4.08/lib/randomconv -I rng/.mirage_crypto_rng.objs/public_cmi -I src/.mirage_crypto.objs/public_cmi -no-alias-deps -opaque -o tests/.test_common_random.objs/byte/test_common_random.cmo -c -impl tests/test_common_random.ml)
File "tests/test_common_random.ml", line 2, characters 52-78:
2 |   let ix = Randomconv.int ~bound:(Array.length arr) Mirage_crypto_rng.generate in
                                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type int -> Cstruct.t
       but an expression was expected of type int -> string
       Type Cstruct.t is not compatible with type string 
(cd _build/default/tests && ./test_entropy.exe)
test entropy OK
(cd _build/default/tests && ./test_symmetric_runner.exe)
accel: XOR AES GHASH 
.......................................................................................................................................................................................
Ran: 183 tests in: 0.15 seconds.
OK
(cd _build/default/tests && ./test_entropy_collection.exe)
reseeding: 00 08 23 3f 4c 1f b6 49  e7 d3 01 08 3c b9 f8 99
           35 62 25 0d 02 c8 f6 a5  e2 ad 32 b5 da b8 16 bb
           d2 c3 fe ce 04 d7 aa e0  7e e2 b8 ea 14 f5 06 f8
           6e f8 42 fa c6 01 3e 06  be 0c fa 0e ee 18 96 1c
           06 1f b4 2a b6 31 50 38  d6 39 a4 40 fa 42 1e 4c
           ba 4c 92 4f c2 5b 7c 6a  9c 72 5c 7c 16 7e b0 84
           88 87 1c 93 14 9e 9c a6  54 ae d4 b4 48 b8 9a b9
           e6 bf cc cc 08 cf b2 d9  32 e0 36 e1 98 e6 b0 ec
           d2 ee 5a f7 6c 02 a2 09  b6 0e b8 15 ea 1b 00 28
           68 28 d4 29 6a 2f 2e 3a  fc 40 d8 44 fe 47 c6 53
           c2 5f ba 6a 76 73 20 7e  38 84 08 85 62 88 1c 8a
           68 90 ba 91 d2 97 ec a4  fc a8 f2 ac b4 b0 a2 b2
           5a ba c8 c2 b8 cb 06 d9  4a dd 5e e2 34 eb 88 f3
           a2 00 5c 02 e4 0a be 14  b0 17 18 25 d6 27 03 08
           99 ab 63 f8 80 1c 09 f5
accumulate: (src: [0] rdrand) e2 a6 6d 3c dc d4 f4 fe
entropy sources: [1] timer [0] rdrand 
accumulate: (src: [1] timer) 0a c7 19 54
accumulate: (src: [0] rdrand) db 7e 82 8e d7 52 81 10
accumulate: (src: [1] timer) 1e 62 f4 ee
accumulate: (src: [0] rdrand) 89 1f 89 2b 7f 6d d9 ca
accumulate: (src: [1] timer) 4e 7d 70 8b
(cd _build/default/tests && ./test_ec.exe)
Testing `EC'.
This run has ID `Y67R1P7P'.


  [OK]          P256 Key exchange                               0   b*A.
  [OK]          P256 Key exchange                               1   a*B.
  [OK]          P256 Key exchange                               2   b'*A.
  [OK]          P256 Key exchange                               3   a*B'.
  [OK]          P256 Key exchange                               4   a*A.
  [OK]          P256 Key exchange                               5   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 P224                             0   public ke...
  [OK]          ECDSA RFC 6979 P224                             1   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P224                             2   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P224                             3   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P224                             4   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P224                             5   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P224                             6   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P224                             7   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P224                             8   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P224                             9   RFC 6979 ...
  [OK]          ECDSA RFC 6979 P224                            10   RFC 6979 ...
  [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]          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]          ED25519 with offsets                            0   one.
  [OK]          ECDSA P521 regression                           0   regreesion1.


Full test results in `/src/_build/default/tests/_build/_tests/EC'.
Test Successful in 0.056s. 68 tests run.
(cd _build/default/tests && ./test_entropy_collection_async.exe)
reseeding: 00 08 ca ed 27 26 02 25  e3 ce 01 c8 34 5e 66 64
           9e 65 30 6a e0 6f d4 79  9a 7e 4e 85 c2 88 ca 8a
           00 92 48 97 b6 9f 28 a9  4e ac 38 ad 78 b0 ca b1
           76 b6 dc bc 32 bf 6c c7  28 d0 c4 d0 e6 d2 50 da
           4e e0 52 e1 e0 e4 50 e7  d8 ef b2 f9 10 fe 72 03
           48 0c 32 0d 58 10 76 11  52 15 c6 18 e8 1a 6c 22
           9e 28 58 2a 70 30 c2 31  54 36 6c 3c a4 3d e8 41
           e2 46 4c 4e 4a 54 34 55  8e 58 14 5a 76 5f 66 68
           9e 69 c8 6d 74 72 da 78  30 7b 50 83 d8 8b b2 95
           2a 9a c0 9f 66 a9 0e ad  e6 af da b9 ba be bc c5
           4e ca 4c d0 36 d1 76 d4  c8 d5 74 da c0 e0 e2 e2
           4c ea 30 f0 e6 f0 70 f3  46 fc 30 fd 56 00 5a 01
           e8 04 58 07 fa 0f 22 1a  b8 1f 44 29 9e 2c 58 2e
           70 34 a8 35 02 08 3e 2f  40 8f 31 34 52 0b 03 80
           9b 64 e0 c6 2b 3f 7f 4d  d8 d4 22 0d 77 8e 96 3e
           48 b5 44 9c ff a9 ab 8b  2b d5 c0 ad 9d ad b4 a7
           a4 6f 15 7a 06 46 db d3  0e 24 2e c0 8b 1d 6d 84
           6d 2e 88 75 27 60 94 d9  16 19 63 69 59 44 37 ea
           e0 65 e5 00 99 13 cf 49  06 be 18 61 10 38 3f 3d
           3c ac 2e 65 2c 22 cf 65  a0 66 f7 76 24 2d 15 22
           f7 ca 6b 25 80 14 e7 a9  ee eb 17 a7 35 2d 53 af
           36 ed 5e 84 05 1a 20 d7  b0 25 5e 5e fc e1 d1 d8
           
entropy sources: [2] timer [1] getrandom [0] rdrand 
accumulate: (src: [2] timer) 2a 3a fd 2b
accumulate: (src: [0] rdrand) fd cb f4 69 a7 98 76 c5
accumulate: (src: [1] getrandom) c2 14 ec 54 9b 1f ab 1b
accumulate: (src: [2] timer) 00 0c be 33
accumulate: (src: [2] timer) 74 03 80 3b
accumulate: (src: [2] timer) 6c 84 42 43
accumulate: (src: [2] timer) 8c 9a 04 4b
accumulate: (src: [2] timer) 8e 61 c6 52
accumulate: (src: [2] timer) 64 cf 87 5a
accumulate: (src: [2] timer) 88 f3 49 62
accumulate: (src: [2] timer) 66 26 0c 6a
accumulate: (src: [2] timer) d0 89 ce 71
accumulate: (src: [2] timer) e8 c4 90 79
accumulate: (src: [2] timer) 2a c3 52 81
accumulate: (src: [2] timer) 0a f0 14 89
accumulate: (src: [2] timer) c6 50 d6 90
accumulate: (src: [2] timer) 64 9a 98 98
accumulate: (src: [2] timer) 1e 83 5a a0
accumulate: (src: [2] timer) 6c 29 1c a8
accumulate: (src: [2] timer) 04 f6 dd af
accumulate: (src: [2] timer) a4 6d a0 b7
accumulate: (src: [2] timer) 30 92 62 bf
accumulate: (src: [2] timer) 10 9f b4 c6
accumulate: (src: [0] rdrand) a3 32 b9 c0 41 1b 18 2d
accumulate: (src: [2] timer) 6a b8 78 ce
accumulate: (src: [2] timer) 1a f3 3a d6
accumulate: (src: [2] timer) ca 7f fe dd
accumulate: (src: [2] timer) b4 c6 c1 e5
accumulate: (src: [2] timer) 20 31 84 ed
accumulate: (src: [2] timer) c6 62 46 f5
accumulate: (src: [2] timer) ee 7a 08 fd
accumulate: (src: [2] timer) 86 20 ca 04
accumulate: (src: [2] timer) da b4 8b 0c
accumulate: (src: [2] timer) e0 21 4d 14
accumulate: (src: [2] timer) 74 c6 0e 1c
accumulate: (src: [2] timer) a8 ba d0 23
accumulate: (src: [2] timer) 24 1c 93 2b
accumulate: (src: [2] timer) 60 7a 55 33
accumulate: (src: [2] timer) e2 7b 17 3b
accumulate: (src: [2] timer) 14 0e d9 42
accumulate: (src: [2] timer) ea 79 ad 4a
accumulate: (src: [2] timer) 58 35 6f 52
accumulate: (src: [2] timer) e4 32 31 5a
accumulate: (src: [2] timer) d6 8b 5c 61
accumulate: (src: [0] rdrand) d7 02 6f 43 2d 56 87 01
accumulate: (src: [2] timer) fa b2 6a 61
accumulate: (src: [2] timer) 80 5a 2c 69
accumulate: (src: [2] timer) a0 2f ee 70
accumulate: (src: [2] timer) ca f3 af 78
accumulate: (src: [2] timer) 10 57 71 80
accumulate: (src: [2] timer) b8 1a 33 88
accumulate: (src: [2] timer) 2a 73 f5 8f
accumulate: (src: [2] timer) 94 3a b7 97
accumulate: (src: [2] timer) ce c1 78 9f
accumulate: (src: [2] timer) 72 50 3a a7
accumulate: (src: [2] timer) fc 39 fc ae
accumulate: (src: [2] timer) 44 26 be b6
accumulate: (src: [2] timer) 46 9f 7f be
accumulate: (src: [2] timer) 68 c9 41 c6
accumulate: (src: [2] timer) 2c ef 03 ce
accumulate: (src: [2] timer) 14 41 c5 d5
accumulate: (src: [2] timer) 84 6b 87 dd
accumulate: (src: [2] timer) 90 6f 49 e5
accumulate: (src: [2] timer) 7e e3 0a ed
accumulate: (src: [2] timer) 22 7f cc f4
accumulate: (src: [2] timer) 36 1e 09 fc
accumulate: (src: [0] rdrand) ee 46 3e f5 66 19 2d 24
accumulate: (src: [2] timer) 2c 3a 1c fc
accumulate: (src: [2] timer) 8c 53 de 03
accumulate: (src: [2] timer) f0 a1 a0 0b
accumulate: (src: [2] timer) 60 49 65 13
accumulate: (src: [2] timer) 34 db 27 1b
accumulate: (src: [2] timer) a0 f7 e9 22
accumulate: (src: [2] timer) 4c c4 ad 2a
accumulate: (src: [2] timer) e8 09 81 32
accumulate: (src: [2] timer) 8a 28 79 3a
accumulate: (src: [2] timer) 0a cc 3b 42
accumulate: (src: [2] timer) ae f6 fd 49
accumulate: (src: [2] timer) da 36 c0 51
accumulate: (src: [2] timer) 76 cf 84 59
accumulate: (src: [2] timer) fe e3 4c 61
accumulate: (src: [2] timer) 94 11 0f 69
accumulate: (src: [2] timer) 14 b9 d2 70
accumulate: (src: [2] timer) b2 d9 9a 78
accumulate: (src: [2] timer) 24 9a 5d 80
accumulate: (src: [2] timer) dc 01 21 88
accumulate: (src: [2] timer) 52 9c e3 8f
accumulate: (src: [2] timer) ca 80 b6 96
accumulate: (src: [0] rdrand) 49 73 71 57 6e 1f a9 e2
accumulate: (src: [2] timer) 5e f5 cd 96
accumulate: (src: [2] timer) 46 af 8f 9e
accumulate: (src: [2] timer) c4 a7 90 a6
accumulate: (src: [2] timer) 8e 8f 54 ae
accumulate: (src: [2] timer) 5a ef 17 b6
accumulate: (src: [2] timer) c0 14 db bd
accumulate: (src: [2] timer) d4 27 9d c5
accumulate: (src: [2] timer) fa 1e 5f cd
accumulate: (src: [2] timer) e4 c9 21 d5
accumulate: (src: [2] timer) e4 0e e8 dc
accumulate: (src: [2] timer) 1e fe a9 e4
accumulate: (src: [2] timer) 12 9c 6d ec
accumulate: (src: [2] timer) e2 bf 31 f4
accumulate: (src: [2] timer) b4 a9 f5 fb
accumulate: (src: [2] timer) 72 2a ba 03
accumulate: (src: [2] timer) 16 e4 7c 0b
accumulate: (src: [2] timer) 4a b0 41 13
accumulate: (src: [2] timer) 60 84 05 1b
accumulate: (src: [2] timer) b8 03 c8 22
accumulate: (src: [2] timer) 8e ea 8a 2a
accumulate: (src: [2] timer) 36 40 67 31
accumulate: (src: [0] rdrand) 85 50 75 c3 9a 96 dd ca
accumulate: (src: [2] timer) 54 cc 80 31
accumulate: (src: [2] timer) 72 f5 42 39
accumulate: (src: [2] timer) 34 62 05 41
accumulate: (src: [2] timer) 9e e3 c8 48
accumulate: (src: [2] timer) e0 7d 8b 50
accumulate: (src: [2] timer) 86 2d 4d 58
accumulate: (src: [2] timer) e4 b0 0e 60
accumulate: (src: [2] timer) b8 65 d0 67
accumulate: (src: [2] timer) 10 33 93 6f
accumulate: (src: [2] timer) 18 54 56 77
accumulate: (src: [2] timer) fe 16 1c 7f
accumulate: (src: [2] timer) d0 e2 de 86
accumulate: (src: [2] timer) e0 60 a2 8e
accumulate: (src: [2] timer) 7e ef 65 96
accumulate: (src: [2] timer) 56 38 29 9e
accumulate: (src: [2] timer) f2 c8 eb a5
accumulate: (src: [2] timer) 1c 0f ae ad
accumulate: (src: [2] timer) 8e 8e 70 b5
accumulate: (src: [2] timer) 16 c1 39 bd
accumulate: (src: [2] timer) 5c 46 fd c4
accumulate: (src: [2] timer) 24 17 14 cc
accumulate: (src: [0] rdrand) a9 db 92 92 ef 1d b8 c3
accumulate: (src: [2] timer) c4 c9 30 cc
accumulate: (src: [2] timer) cc 41 f3 d3
accumulate: (src: [2] timer) 96 a2 b8 db
accumulate: (src: [2] timer) c8 15 7c e3
accumulate: (src: [2] timer) 04 fa 3f eb
accumulate: (src: [2] timer) da 3b 03 f3
accumulate: (src: [2] timer) 76 c3 c6 fa
accumulate: (src: [2] timer) ee f6 8d 02
accumulate: (src: [2] timer) a8 72 51 0a
accumulate: (src: [2] timer) a6 49 14 12
accumulate: (src: [2] timer) 6a 8d d7 19
accumulate: (src: [2] timer) 98 7d 9a 21
accumulate: (src: [2] timer) d2 ff 5d 29
accumulate: (src: [2] timer) 76 9a 22 31
accumulate: (src: [2] timer) 88 05 e6 38
accumulate: (src: [2] timer) b0 3f aa 40
accumulate: (src: [2] timer) cc 7a 6f 48
accumulate: (src: [2] timer) e8 63 33 50
accumulate: (src: [2] timer) 0e 81 f8 57
accumulate: (src: [2] timer) 3c 52 bd 5f
accumulate: (src: [2] timer) e0 f2 c6 66
accumulate: (src: [0] rdrand) b8 66 82 64 a0 14 e1 00
accumulate: (src: [2] timer) 96 8e e4 66
accumulate: (src: [2] timer) 76 53 a6 6e
accumulate: (src: [2] timer) b2 e9 69 76
accumulate: (src: [2] timer) 6a 07 2e 7e
accumulate: (src: [2] timer) ea 0e 31 86
accumulate: (src: [2] timer) e2 33 f6 8d
accumulate: (src: [2] timer) c4 c2 b8 95
accumulate: (src: [2] timer) 02 aa 7b 9d
accumulate: (src: [2] timer) e2 72 3e a5
accumulate: (src: [2] timer) 20 cb 00 ad
accumulate: (src: [2] timer) 9e 74 c3 b4
accumulate: (src: [2] timer) b4 c2 85 bc
accumulate: (src: [2] timer) 80 5f 48 c4
accumulate: (src: [2] timer) 4e 9b 0a cc
accumulate: (src: [2] timer) 0a 1a cd d3
accumulate: (src: [2] timer) 30 29 95 db
accumulate: (src: [2] timer) d6 1d 58 e3
accumulate: (src: [2] timer) e2 bd 1a eb
accumulate: (src: [2] timer) 24 0e de f2
accumulate: (src: [2] timer) fc 4d a2 fa
accumulate: (src: [2] timer) aa 54 72 01
accumulate: (src: [0] rdrand) 1b 07 b2 74 3f 29 e4 0e
accumulate: (src: [2] timer) c2 26 99 01
accumulate: (src: [2] timer) f8 fa 5a 09
accumulate: (src: [2] timer) b6 50 1e 11
accumulate: (src: [2] timer) 58 f6 e0 18
accumulate: (src: [2] timer) b8 7f a5 20
accumulate: (src: [2] timer) 7c 82 68 28
accumulate: (src: [2] timer) 52 21 33 30
accumulate: (src: [2] timer) d6 a6 f7 37
accumulate: (src: [2] timer) 7e 4b bb 3f
accumulate: (src: [2] timer) 4e b9 7e 47
accumulate: (src: [2] timer) 74 9e 42 4f
accumulate: (src: [2] timer) 80 69 06 57
accumulate: (src: [2] timer) ca 57 ca 5e
accumulate: (src: [2] timer) 30 37 8f 66
accumulate: (src: [2] timer) b8 43 55 6e
accumulate: (src: [2] timer) 74 a3 19 76
accumulate: (src: [2] timer) 04 de dd 7d
accumulate: (src: [2] timer) bc 08 a2 85
accumulate: (src: [2] timer) da b7 65 8d
accumulate: (src: [2] timer) a2 5a 2d 95
accumulate: (src: [2] timer) fc b9 2c 9c
accumulate: (src: [0] rdrand) 5e d2 b5 18 d1 14 b9 2d
accumulate: (src: [2] timer) a6 5f 4a 9c
accumulate: (src: [2] timer) 52 f1 15 a4
accumulate: (src: [2] timer) 72 67 e3 ab
accumulate: (src: [2] timer) 1c 6e a7 b3
accumulate: (src: [2] timer) 54 a3 6c bb
accumulate: (src: [2] timer) 68 10 32 c3
accumulate: (src: [2] timer) 42 71 f6 ca
accumulate: (src: [2] timer) 1e 7e ba d2
accumulate: (src: [2] timer) 9c ad 7e da
accumulate: (src: [2] timer) 4e 34 42 e2
accumulate: (src: [2] timer) d8 e4 05 ea
accumulate: (src: [2] timer) 36 70 c9 f1
accumulate: (src: [2] timer) 24 06 8d f9
accumulate: (src: [2] timer) 62 42 55 01
accumulate: (src: [2] timer) c8 17 1e 09
accumulate: (src: [2] timer) 66 46 e3 10
accumulate: (src: [2] timer) c2 3a a9 18
accumulate: (src: [2] timer) c8 01 6e 20
accumulate: (src: [2] timer) 94 e3 31 28
accumulate: (src: [2] timer) 18 83 f6 2f
accumulate: (src: [2] timer) a2 cb cf 36
accumulate: (src: [0] rdrand) 0a 48 7c 75 20 76 5f 3f
accumulate: (src: [1] getrandom) ae 57 8a 11 70 af 5d b8
(cd _build/default/tests && ./test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `4H8Z9ZQN'.


  [OK]          ECDH P224 test vectors                    0   1 - normal case.
  [OK]          ECDH P224 test vectors                    1   3 - edge case f...
  [OK]          ECDH P224 test vectors                    2   4 - edge case f...
  [OK]          ECDH P224 test vectors                    3   5 - edge case f...
  [OK]          ECDH P224 test vectors                    4   6 - edge case f...
  [OK]          ECDH P224 test vectors                    5   7 - edge case f...
  [OK]          ECDH P224 test vectors                    6   8 - edge case f...
  [OK]          ECDH P224 test vectors                    7   9 - edge case f...
  [OK]          ECDH P224 test vectors                    8   10 - edge case ...
  [OK]          ECDH P224 test vectors                    9   11 - edge case ...
  [OK]          ECDH P224 test vectors                   10   12 - edge case ...
  [OK]          ECDH P224 test vectors                   11   13 - edge case ...
  [OK]          ECDH P224 test vectors                   12   14 - edge case ...
  [OK]          ECDH P224 test vectors                   13   15 - edge case ...
  [OK]          ECDH P224 test vectors                   14   16 - edge case ...
  [OK]          ECDH P224 test vectors                   15   17 - edge case ...
  [OK]          ECDH P224 test vectors                   16   18 - edge case ...
  [OK]          ECDH P224 test vectors                   17   19 - edge cases...
  [OK]          ECDH P224 test vectors                   18   20 - edge cases...
  [OK]          ECDH P224 test vectors                   19   21 - edge cases...
  [OK]          ECDH P224 test vectors                   20   22 - edge cases...
  [OK]          ECDH P224 test vectors                   21   23 - edge cases...
  [OK]          ECDH P224 test vectors                   22   24 - edge cases...
  [OK]          ECDH P224 test vectors                   23   25 - edge cases...
  [OK]          ECDH P224 test vectors                   24   26 - edge cases...
  [OK]          ECDH P224 test vectors                   25   27 - edge cases...
  [OK]          ECDH P224 test vectors                   26   28 - edge cases...
  [OK]          ECDH P224 test vectors                   27   29 - edge cases...
  [OK]          ECDH P224 test vectors                   28   30 - edge cases...
  [OK]          ECDH P224 test vectors                   29   31 - edge cases...
  [OK]          ECDH P224 test vectors                   30   32 - edge cases...
  [OK]          ECDH P224 test vectors                   31   33 - edge cases...
  [OK]          ECDH P224 test vectors                   32   34 - edge cases...
  [OK]          ECDH P224 test vectors                   33   35 - point with...
  [OK]          ECDH P224 test vectors                   34   36 - point with...
  [OK]          ECDH P224 test vectors                   35   37 - point with...
  [OK]          ECDH P224 test vectors                   36   38 - point with...
  [OK]          ECDH P224 test vectors                   37   39 - point with...
  [OK]          ECDH P224 test vectors                   38   40 - point with...
  [OK]          ECDH P224 test vectors                   39   41 - point with...
  [OK]          ECDH P224 test vectors                   40   42 - point with...
  [OK]          ECDH P224 test vectors                   41   43 - point with...
  [OK]          ECDH P224 test vectors                   42   44 - point with...
  [OK]          ECDH P224 test vectors                   43   45 - point with...
  [OK]          ECDH P224 test vectors                   44   46 - point with...
  [OK]          ECDH P224 test vectors                   45   47 - point with...
  [OK]          ECDH P224 test vectors                   46   48 - point with...
  [OK]          ECDH P224 test vectors                   47   49 - point with...
  [OK]          ECDH P224 test vectors                   48   50 - point with...
  [OK]          ECDH P224 test vectors                   49   51 - point with...
  [OK]          ECDH P224 test vectors                   50   52 - point with...
  [OK]          ECDH P224 test vectors                   51   53 - point with...
  [OK]          ECDH P224 test vectors                   52   54 - point with...
  [OK]          ECDH P224 test vectors                   53   55 - point with...
  [OK]          ECDH P224 test vectors                   54   56 - point with...
  [OK]          ECDH P224 test vectors                   55   57 - point with...
  [OK]          ECDH P224 test vectors                   56   58 - point with...
  [OK]          ECDH P224 test vectors                   57   59 - point with...
  [OK]          ECDH P224 test vectors                   58   60 - point with...
  [OK]          ECDH P224 test vectors                   59   61 - point with...
  [OK]          ECDH P224 test vectors                   60   62 - point with...
  [OK]          ECDH P224 test vectors                   61   63 - point with...
  [OK]          ECDH P224 test vectors                   62   64 - point with...
  [OK]          ECDH P224 test vectors                   63   65 - point with...
  [OK]          ECDH P224 test vectors                   64   66 - edge case ...
  [OK]          ECDH P224 test vectors                   65   67 - edge case ...
  [OK]          ECDH P224 test vectors                   66   68 - edge case ...
  [OK]          ECDH P224 test vectors                   67   69 - edge case ...
  [OK]          ECDH P224 test vectors                   68   70 - edge case ...
  [OK]          ECDH P224 test vectors                   69   71 - edge case ...
  [OK]          ECDH P224 test vectors                   70   72 - edge case ...
  [OK]          ECDH P224 test vectors                   71   73 - edge case ...
  [OK]          ECDH P224 test vectors                   72   74 - edge case ...
  [OK]          ECDH P224 test vectors                   73   75 - edge case ...
  [OK]          ECDH P224 test vectors                   74   76 - edge case ...
  [OK]          ECDH P224 test vectors                   75   77 - edge case ...
  [OK]          ECDH P224 test vectors                   76   78 - edge case ...
  [OK]          ECDH P224 test vectors                   77   79 - point is n...
  [OK]          ECDH P224 test vectors                   78   80 - point is n...
  [OK]          ECDH P224 test vectors                   79   81 - point is n...
  [OK]          ECDH P224 test vectors                   80   82 - point is n...
  [OK]          ECDH P224 test vectors                   81   83 - point is n...
  [OK]          ECDH P224 test vectors                   82   84 - point is n...
  [OK]          ECDH P224 test vectors                   83   85 - point is n...
  [OK]          ECDH P224 test vectors                   84   86 - point is n...
  [OK]          ECDH P224 test vectors                   85   87 - point is n...
  [OK]          ECDH P224 test vectors                   86   88 - point is n...
  [OK]          ECDH P224 test vectors                   87   89 - point is n...
  [OK]          ECDH P224 test vectors                   88   90 - point is n...
  [OK]          ECDH P224 test vectors                   89   91 - point is n...
  [OK]          ECDH P224 test vectors                   90   92 - point is n...
  [OK]          ECDH P224 test vectors                   91   93 - point is n...
  [OK]          ECDH P224 test vectors                   92   94 - point is n...
  [OK]          ECDH P224 test vectors                   93   95 - .
  [OK]          ECDH P224 test vectors                   94   96 - public poi...
  [OK]          ECDH P224 test vectors                   95   97 - public poi...
  [OK]          ECDH P224 test vectors                   96   110 - using sec...
  [OK]          ECDH P224 test vectors                   97   111 - using sec...
  [OK]          ECDH P224 test vectors                   98   114 - Public ke...
  [OK]          ECDH P224 test vectors                   99   115 - Public ke...
  [OK]          ECDH P224 test vectors                  100   116 - Public ke...
  [OK]          ECDH P224 test vectors                  101   117 - Public ke...
  [OK]          ECDH P224 test vectors                  102   118 - Public ke...
  [OK]          ECDH P224 test vectors                  103   119 - Public ke...
  [OK]          ECDH P224 test vectors                  104   120 - Public ke...
  [OK]          ECDH P224 test vectors                  105   121 - Public ke...
  [OK]          ECDH P224 test vectors                  106   122 - Public ke...
  [OK]          ECDH P224 test vectors                  107   123 - Public ke...
  [OK]          ECDH P224 test vectors                  108   124 - Public ke...
  [OK]          ECDH P224 test vectors                  109   125 - Public ke...
  [OK]          ECDH P224 test vectors                  110   126 - Public ke...
  [OK]          ECDH P224 test vectors                  111   127 - Public ke...
  [OK]          ECDH P224 test vectors                  112   128 - Public ke...
  [OK]          ECDH P224 test vectors                  113   129 - invalid p...
  [OK]          ECDSA P224 test vectors (SHA224)          0   1 - signature m...
  [OK]          ECDSA P224 test vectors (SHA224)          1   2 - Legacy:ASN ...
  [OK]          ECDSA P224 test vectors (SHA224)          2   3 - valid.
  [OK]          ECDSA P224 test vectors (SHA224)          3   4 - long form e...
  [OK]          ECDSA P224 test vectors (SHA224)          4   5 - length of s...
  [OK]          ECDSA P224 test vectors (SHA224)          5   6 - wrong lengt...
  [OK]          ECDSA P224 test vectors (SHA224)          6   7 - wrong lengt...
  [OK]          ECDSA P224 test vectors (SHA224)          7   8 - uint32 over...
  [OK]          ECDSA P224 test vectors (SHA224)          8   9 - uint64 over...
  [OK]          ECDSA P224 test vectors (SHA224)          9   10 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         10   11 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         11   12 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         12   13 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         13   14 - incorrect ...
  [OK]          ECDSA P224 test vectors (SHA224)         14   15 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA224)         15   16 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA224)         16   17 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA224)         17   18 - removing s...
  [OK]          ECDSA P224 test vectors (SHA224)         18   19 - lonely seq...
  [OK]          ECDSA P224 test vectors (SHA224)         19   20 - appending ...
  [OK]          ECDSA P224 test vectors (SHA224)         20   21 - prepending...
  [OK]          ECDSA P224 test vectors (SHA224)         21   22 - appending ...
  [OK]          ECDSA P224 test vectors (SHA224)         22   23 - appending ...
  [OK]          ECDSA P224 test vectors (SHA224)         23   24 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         24   25 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         25   26 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         26   27 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         27   28 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         28   29 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         29   30 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         30   31 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         31   32 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         32   33 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         33   34 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         34   35 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         35   36 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         36   37 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         37   38 - including ...
  [OK]          ECDSA P224 test vectors (SHA224)         38   39 - truncated ...
  [OK]          ECDSA P224 test vectors (SHA224)         39   40 - using comp...
  [OK]          ECDSA P224 test vectors (SHA224)         40   41 - using comp...
  [OK]          ECDSA P224 test vectors (SHA224)         41   42 - using comp...
  [OK]          ECDSA P224 test vectors (SHA224)         42   43 - using comp...
  [OK]          ECDSA P224 test vectors (SHA224)         43   44 - using comp...
  [OK]          ECDSA P224 test vectors (SHA224)         44   45 - using comp...
  [OK]          ECDSA P224 test vectors (SHA224)         45   46 - Replacing ...
  [OK]          ECDSA P224 test vectors (SHA224)         46   47 - changing t...
  [OK]          ECDSA P224 test vectors (SHA224)         47   48 - changing t...
  [OK]          ECDSA P224 test vectors (SHA224)         48   49 - changing t...
  [OK]          ECDSA P224 test vectors (SHA224)         49   50 - changing t...
  [OK]          ECDSA P224 test vectors (SHA224)         50   51 - changing t...
  [OK]          ECDSA P224 test vectors (SHA224)         51   52 - dropping v...
  [OK]          ECDSA P224 test vectors (SHA224)         52   53 - using comp...
  [OK]          ECDSA P224 test vectors (SHA224)         53   54 - truncated ...
  [OK]          ECDSA P224 test vectors (SHA224)         54   55 - truncated ...
  [OK]          ECDSA P224 test vectors (SHA224)         55   56 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA224)         56   57 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA224)         57   58 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA224)         58   59 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA224)         59   60 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA224)         60   61 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA224)         61   62 - prepend em...
  [OK]          ECDSA P224 test vectors (SHA224)         62   63 - append emp...
  [OK]          ECDSA P224 test vectors (SHA224)         63   64 - append gar...
  [OK]          ECDSA P224 test vectors (SHA224)         64   65 - sequence o...
  [OK]          ECDSA P224 test vectors (SHA224)         65   66 - truncated ...
  [OK]          ECDSA P224 test vectors (SHA224)         66   67 - repeating ...
  [OK]          ECDSA P224 test vectors (SHA224)         67   68 - long form ...
  [OK]          ECDSA P224 test vectors (SHA224)         68   69 - long form ...
  [OK]          ECDSA P224 test vectors (SHA224)         69   70 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         70   71 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         71   72 - wrong leng...
  [OK]          ECDSA P224 test vectors (SHA224)         72   73 - wrong leng...
  [OK]          ECDSA P224 test vectors (SHA224)         73   74 - wrong leng...
  [OK]          ECDSA P224 test vectors (SHA224)         74   75 - wrong leng...
  [OK]          ECDSA P224 test vectors (SHA224)         75   76 - uint32 ove...
  [OK]          ECDSA P224 test vectors (SHA224)         76   77 - uint32 ove...
  [OK]          ECDSA P224 test vectors (SHA224)         77   78 - uint64 ove...
  [OK]          ECDSA P224 test vectors (SHA224)         78   79 - uint64 ove...
  [OK]          ECDSA P224 test vectors (SHA224)         79   80 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         80   81 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         81   82 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         82   83 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         83   84 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         84   85 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         85   86 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         86   87 - length of ...
  [OK]          ECDSA P224 test vectors (SHA224)         87   88 - incorrect ...
  [OK]          ECDSA P224 test vectors (SHA224)         88   89 - incorrect ...
  [OK]          ECDSA P224 test vectors (SHA224)         89   90 - removing i...
  [OK]          ECDSA P224 test vectors (SHA224)         90   91 - lonely int...
  [OK]          ECDSA P224 test vectors (SHA224)         91   92 - lonely int...
  [OK]          ECDSA P224 test vectors (SHA224)         92   93 - appending ...
  [OK]          ECDSA P224 test vectors (SHA224)         93   94 - appending ...
  [OK]          ECDSA P224 test vectors (SHA224)         94   95 - prepending...
  [OK]          ECDSA P224 test vectors (SHA224)         95   96 - prepending...
  [OK]          ECDSA P224 test vectors (SHA224)         96   97 - appending ...
  [OK]          ECDSA P224 test vectors (SHA224)         97   98 - appending ...
  [OK]          ECDSA P224 test vectors (SHA224)         98   99 - appending ...
  [OK]          ECDSA P224 test vectors (SHA224)         99   100 - truncated...
  [OK]          ECDSA P224 test vectors (SHA224)        100   101 - truncated...
  [OK]          ECDSA P224 test vectors (SHA224)        101   102 - Replacing...
  [OK]          ECDSA P224 test vectors (SHA224)        102   103 - Replacing...
  [OK]          ECDSA P224 test vectors (SHA224)        103   104 - changing ...
  [OK]          ECDSA P224 test vectors (SHA224)        104   105 - changing ...
  [OK]          ECDSA P224 test vectors (SHA224)        105   106 - changing ...
  [OK]          ECDSA P224 test vectors (SHA224)        106   107 - changing ...
  [OK]          ECDSA P224 test vectors (SHA224)        107   108 - changing ...
  [OK]          ECDSA P224 test vectors (SHA224)        108   109 - changing ...
  [OK]          ECDSA P224 test vectors (SHA224)        109   110 - changing ...
  [OK]          ECDSA P224 test vectors (SHA224)        110   111 - changing ...
  [OK]          ECDSA P224 test vectors (SHA224)        111   112 - changing ...
  [OK]          ECDSA P224 test vectors (SHA224)        112   113 - changing ...
  [OK]          ECDSA P224 test vectors (SHA224)        113   114 - dropping ...
  [OK]          ECDSA P224 test vectors (SHA224)        114   115 - dropping ...
  [OK]          ECDSA P224 test vectors (SHA224)        115   116 - using com...
  [OK]          ECDSA P224 test vectors (SHA224)        116   117 - using com...
  [OK]          ECDSA P224 test vectors (SHA224)        117   118 - modify fi...
  [OK]          ECDSA P224 test vectors (SHA224)        118   119 - modify fi...
  [OK]          ECDSA P224 test vectors (SHA224)        119   120 - modify la...
  [OK]          ECDSA P224 test vectors (SHA224)        120   121 - modify la...
  [OK]          ECDSA P224 test vectors (SHA224)        121   122 - truncated...
  [OK]          ECDSA P224 test vectors (SHA224)        122   123 - truncated...
  [OK]          ECDSA P224 test vectors (SHA224)        123   124 - truncated...
  [OK]          ECDSA P224 test vectors (SHA224)        124   125 - leading f...
  [OK]          ECDSA P224 test vectors (SHA224)        125   126 - leading f...
  [OK]          ECDSA P224 test vectors (SHA224)        126   127 - replaced ...
  [OK]          ECDSA P224 test vectors (SHA224)        127   128 - replaced ...
  [OK]          ECDSA P224 test vectors (SHA224)        128   129 - replacing...
  [OK]          ECDSA P224 test vectors (SHA224)        129   130 - replacing...
  [OK]          ECDSA P224 test vectors (SHA224)        130   131 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        131   132 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        132   133 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        133   134 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        134   135 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        135   136 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        136   137 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        137   138 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        138   139 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        139   140 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        140   141 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        141   142 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        142   143 - Modified ...
  [OK]          ECDSA P224 test vectors (SHA224)        143   144 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        144   145 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        145   146 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        146   147 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        147   148 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        148   149 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        149   150 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        150   151 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        151   152 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        152   153 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        153   154 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        154   155 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        155   156 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        156   157 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        157   158 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        158   159 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        159   160 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        160   161 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        161   162 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        162   163 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        163   164 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        164   165 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        165   166 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        166   167 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        167   168 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        168   169 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        169   170 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        170   171 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        171   172 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        172   173 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        173   174 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        174   175 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        175   176 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        176   177 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        177   178 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        178   179 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        179   180 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        180   181 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        181   182 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        182   183 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        183   184 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        184   185 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        185   186 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        186   187 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        187   188 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        188   189 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        189   190 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        190   191 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        191   192 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        192   193 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        193   194 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        194   195 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        195   196 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        196   197 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        197   198 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        198   199 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        199   200 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        200   201 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        201   202 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        202   203 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        203   204 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        204   205 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        205   206 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        206   207 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        207   208 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        208   209 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        209   210 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        210   211 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        211   212 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        212   213 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        213   214 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        214   215 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        215   216 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        216   217 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        217   218 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        218   219 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        219   220 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        220   221 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        221   222 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        222   223 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        223   224 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        224   225 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        225   226 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        226   227 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        227   228 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        228   229 - Signature...
  [OK]          ECDSA P224 test vectors (SHA224)        229   230 - Edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        230   231 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        231   232 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        232   233 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        233   234 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        234   235 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        235   236 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        236   237 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        237   238 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        238   239 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        239   240 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        240   241 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        241   242 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        242   243 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        243   244 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        244   245 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        245   246 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        246   247 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        247   248 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        248   249 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        249   250 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        250   251 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        251   252 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        252   253 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        253   254 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        254   255 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        255   256 - special c...
  [OK]          ECDSA P224 test vectors (SHA224)        256   257 - k*G has a...
  [OK]          ECDSA P224 test vectors (SHA224)        257   258 - r too large.
  [OK]          ECDSA P224 test vectors (SHA224)        258   259 - r,s are l...
  [OK]          ECDSA P224 test vectors (SHA224)        259   260 - r and s^-...
  [OK]          ECDSA P224 test vectors (SHA224)        260   261 - r and s^-...
  [OK]          ECDSA P224 test vectors (SHA224)        261   262 - small r a...
  [OK]          ECDSA P224 test vectors (SHA224)        262   263 - small r a...
  [OK]          ECDSA P224 test vectors (SHA224)        263   264 - small r a...
  [OK]          ECDSA P224 test vectors (SHA224)        264   265 - r is larg...
  [OK]          ECDSA P224 test vectors (SHA224)        265   266 - s is larg...
  [OK]          ECDSA P224 test vectors (SHA224)        266   267 - small r a...
  [OK]          ECDSA P224 test vectors (SHA224)        267   268 - smallish ...
  [OK]          ECDSA P224 test vectors (SHA224)        268   269 - 100-bit r...
  [OK]          ECDSA P224 test vectors (SHA224)        269   270 - small r a...
  [OK]          ECDSA P224 test vectors (SHA224)        270   271 - 100-bit r...
  [OK]          ECDSA P224 test vectors (SHA224)        271   272 - r and s^-...
  [OK]          ECDSA P224 test vectors (SHA224)        272   273 - s == 1.
  [OK]          ECDSA P224 test vectors (SHA224)        273   274 - s == 0.
  [OK]          ECDSA P224 test vectors (SHA224)        274   275 - point at ...
  [OK]          ECDSA P224 test vectors (SHA224)        275   276 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        276   277 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        277   278 - u1 == 1.
  [OK]          ECDSA P224 test vectors (SHA224)        278   279 - u1 == n - 1.
  [OK]          ECDSA P224 test vectors (SHA224)        279   280 - u2 == 1.
  [OK]          ECDSA P224 test vectors (SHA224)        280   281 - u2 == n - 1.
  [OK]          ECDSA P224 test vectors (SHA224)        281   282 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        282   283 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        283   284 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        284   285 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        285   286 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        286   287 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        287   288 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        288   289 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        289   290 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        290   291 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        291   292 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        292   293 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        293   294 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        294   295 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        295   296 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        296   297 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        297   298 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        298   299 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        299   300 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        300   301 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        301   302 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        302   303 - edge case...
  [OK]          ECDSA P224 test vectors (SHA224)        303   304 - point dup...
  [OK]          ECDSA P224 test vectors (SHA224)        304   305 - duplicati...
  [OK]          ECDSA P224 test vectors (SHA224)        305   306 - compariso...
  [OK]          ECDSA P224 test vectors (SHA224)        306   307 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        307   308 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        308   309 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        309   310 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        310   311 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        311   312 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        312   313 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        313   314 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        314   315 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        315   316 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        316   317 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        317   318 - extreme v...
  [OK]          ECDSA P224 test vectors (SHA224)        318   319 - testing p...
  [OK]          ECDSA P224 test vectors (SHA224)        319   320 - testing p...
  [OK]          ECDSA P224 test vectors (SHA224)        320   321 - testing p...
  [OK]          ECDSA P224 test vectors (SHA224)        321   322 - testing p...
  [OK]          ECDSA P224 test vectors (SHA224)        322   323 - pseudoran...
  [OK]          ECDSA P224 test vectors (SHA224)        323   324 - pseudoran...
  [OK]          ECDSA P224 test vectors (SHA224)        324   325 - pseudoran...
  [OK]          ECDSA P224 test vectors (SHA224)        325   326 - pseudoran...
  [OK]          ECDSA P224 test vectors (SHA224)        326   327 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        327   328 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        328   329 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        329   330 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        330   331 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        331   332 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        332   333 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        333   334 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        334   335 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        335   336 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        336   337 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        337   338 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        338   339 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        339   340 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        340   341 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        341   342 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        342   343 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        343   344 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        344   345 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        345   346 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        346   347 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        347   348 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        348   349 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        349   350 - x-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        350   351 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        351   352 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        352   353 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        353   354 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        354   355 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA224)        355   356 - y-coordin...
  [OK]          ECDSA P224 test vectors (SHA256)          0   1 - signature m...
  [OK]          ECDSA P224 test vectors (SHA256)          1   2 - valid.
  [OK]          ECDSA P224 test vectors (SHA256)          2   3 - long form e...
  [OK]          ECDSA P224 test vectors (SHA256)          3   4 - length of s...
  [OK]          ECDSA P224 test vectors (SHA256)          4   5 - wrong lengt...
  [OK]          ECDSA P224 test vectors (SHA256)          5   6 - wrong lengt...
  [OK]          ECDSA P224 test vectors (SHA256)          6   7 - uint32 over...
  [OK]          ECDSA P224 test vectors (SHA256)          7   8 - uint64 over...
  [OK]          ECDSA P224 test vectors (SHA256)          8   9 - length of s...
  [OK]          ECDSA P224 test vectors (SHA256)          9   10 - length of ...
  [OK]          ECDSA P224 test vectors (SHA256)         10   11 - length of ...
  [OK]          ECDSA P224 test vectors (SHA256)         11   12 - length of ...
  [OK]          ECDSA P224 test vectors (SHA256)         12   13 - incorrect ...
  [OK]          ECDSA P224 test vectors (SHA256)         13   14 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA256)         14   15 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA256)         15   16 - indefinite...
  [OK]          ECDSA P224 test vectors (SHA256)         16   17 - removing s...
  [OK]          ECDSA P224 test vectors (SHA256)         17   18 - lonely seq...
  [OK]          ECDSA P224 test vectors (SHA256)         18   19 - appending ...
  [OK]          ECDSA P224 test vectors (SHA256)         19   20 - prepending...
  [OK]          ECDSA P224 test vectors (SHA256)         20   21 - appending ...
  [OK]          ECDSA P224 test vectors (SHA256)         21   22 - appending ...
  [OK]          ECDSA P224 test vectors (SHA256)         22   23 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         23   24 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         24   25 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         25   26 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         26   27 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         27   28 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         28   29 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         29   30 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         30   31 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         31   32 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         32   33 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         33   34 - including ...
  [OK]          ECDSA P224 test vectors (SHA256)         34   35 - including ...
...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 9.093s. 4811 tests run.
"/usr/bin/env" "bash" "-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
2024-05-11 10:01.32: Job failed: Failed: Build failed