Organisationsmiragemirage-crypto98f01b ()debian-12-4.14_ppc64_opam-2.1

debian-12-4.14_ppc64_opam-2.1

Link Copied
Code Copied

Logs

2024-06-28 10:45.14: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/main (98f01b14f5ebf98ba0e7e9c2ba97ec518f90fddc) (linux-ppc64:debian-12-4.14_ppc64_opam-2.1)
Base: ocaml/opam@sha256:b1b5c86671e240e2739dde67d4d327ee0cf89bebffa93dba45219ca98803b6f9
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-crypto.git" -b "main" && cd "mirage-crypto" && git reset --hard 98f01b14
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam@sha256:b1b5c86671e240e2739dde67d4d327ee0cf89bebffa93dba45219ca98803b6f9
# debian-12-4.14_ppc64_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 1aadcd5849b0baa8a17b94d480babe9c4a81a1b0 || git fetch origin master) && git reset -q --hard 1aadcd5849b0baa8a17b94d480babe9c4a81a1b0 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam ./
RUN opam pin add -yn mirage-crypto.dev './' && \
    opam pin add -yn mirage-crypto-rng.dev './' && \
    opam pin add -yn mirage-crypto-rng-mirage.dev './' && \
    opam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
    opam pin add -yn mirage-crypto-rng-lwt.dev './' && \
    opam pin add -yn mirage-crypto-rng-eio.dev './' && \
    opam pin add -yn mirage-crypto-rng-async.dev './' && \
    opam pin add -yn mirage-crypto-pk.dev './' && \
    opam pin add -yn mirage-crypto-ec.dev './'
ENV DEPS="alcotest.1.7.0 asn1-combinators.0.3.1 astring.0.8.5 async.v0.14.0 async_kernel.v0.14.0 async_rpc_kernel.v0.14.0 async_unix.v0.14.0 base.v0.14.3 base-bigarray.base base-bytes.base base-threads.base base-unix.base base_bigstring.v0.14.0 base_quickcheck.v0.14.1 bin_prot.v0.14.1 cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 core.v0.14.1 core_kernel.v0.14.2 cppo.1.6.9 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.0 dune.3.16.0 dune-configurator.3.16.0 duration.0.2.1 eqaf.0.10 fieldslib.v0.14.0 fmt.0.9.0 host-arch-ppc64.1 host-system-other.1 ipaddr.5.6.0 jane-street-headers.v0.14.0 jst-config.v0.14.1 logs.0.7.0 lwt.5.7.0 macaddr.5.6.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.6.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.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.2 octavius.1.2.2 ohex.0.2.0 ounit2.2.2.7 parsexp.v0.14.2 ppx_assert.v0.14.0 ppx_base.v0.14.0 ppx_bench.v0.14.1 ppx_bin_prot.v0.14.0 ppx_cold.v0.14.0 ppx_compare.v0.14.0 ppx_custom_printf.v0.14.1 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_deriving_yojson.3.6.1 ppx_enumerate.v0.14.0 ppx_expect.v0.14.2 ppx_fields_conv.v0.14.2 ppx_fixed_literal.v0.14.0 ppx_hash.v0.14.0 ppx_here.v0.14.0 ppx_inline_test.v0.14.1 ppx_jane.v0.14.0 ppx_js_style.v0.14.1 ppx_let.v0.14.0 ppx_module_timer.v0.14.0 ppx_optcomp.v0.14.3 ppx_optional.v0.14.0 ppx_pipebang.v0.14.0 ppx_sexp_conv.v0.14.3 ppx_sexp_message.v0.14.1 ppx_sexp_value.v0.14.0 ppx_stable.v0.14.1 ppx_string.v0.14.1 ppx_typerep_conv.v0.14.2 ppx_variants_conv.v0.14.2 ppxlib.0.25.1 protocol_version_header.v0.14.0 ptime.1.1.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.2.1 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-06-28 10:45.14: Using cache hint "mirage/mirage-crypto-ocaml/opam@sha256:b1b5c86671e240e2739dde67d4d327ee0cf89bebffa93dba45219ca98803b6f9-debian-12-4.14_ppc64_opam-2.1-4947a8a06e8eca2940a62c79c86b8890"
2024-06-28 10:45.14: Using OBuilder spec:
((from ocaml/opam@sha256:b1b5c86671e240e2739dde67d4d327ee0cf89bebffa93dba45219ca98803b6f9)
 (comment debian-12-4.14_ppc64_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 1aadcd5849b0baa8a17b94d480babe9c4a81a1b0 || git fetch origin master) && git reset -q --hard 1aadcd5849b0baa8a17b94d480babe9c4a81a1b0 && git log --no-decorate -n1 --oneline && opam update -u"))
 (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
       (dst ./))
 (run (network host)
      (shell  "opam pin add -yn mirage-crypto.dev './' && \
             \nopam pin add -yn mirage-crypto-rng.dev './' && \
             \nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \
             \nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
             \nopam pin add -yn mirage-crypto-rng-lwt.dev './' && \
             \nopam pin add -yn mirage-crypto-rng-eio.dev './' && \
             \nopam pin add -yn mirage-crypto-rng-async.dev './' && \
             \nopam pin add -yn mirage-crypto-pk.dev './' && \
             \nopam pin add -yn mirage-crypto-ec.dev './'"))
 (env DEPS "alcotest.1.7.0 asn1-combinators.0.3.1 astring.0.8.5 async.v0.14.0 async_kernel.v0.14.0 async_rpc_kernel.v0.14.0 async_unix.v0.14.0 base.v0.14.3 base-bigarray.base base-bytes.base base-threads.base base-unix.base base_bigstring.v0.14.0 base_quickcheck.v0.14.1 bin_prot.v0.14.1 cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 core.v0.14.1 core_kernel.v0.14.2 cppo.1.6.9 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.0 dune.3.16.0 dune-configurator.3.16.0 duration.0.2.1 eqaf.0.10 fieldslib.v0.14.0 fmt.0.9.0 host-arch-ppc64.1 host-system-other.1 ipaddr.5.6.0 jane-street-headers.v0.14.0 jst-config.v0.14.1 logs.0.7.0 lwt.5.7.0 macaddr.5.6.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.6.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.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.2 octavius.1.2.2 ohex.0.2.0 ounit2.2.2.7 parsexp.v0.14.2 ppx_assert.v0.14.0 ppx_base.v0.14.0 ppx_bench.v0.14.1 ppx_bin_prot.v0.14.0 ppx_cold.v0.14.0 ppx_compare.v0.14.0 ppx_custom_printf.v0.14.1 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_deriving_yojson.3.6.1 ppx_enumerate.v0.14.0 ppx_expect.v0.14.2 ppx_fields_conv.v0.14.2 ppx_fixed_literal.v0.14.0 ppx_hash.v0.14.0 ppx_here.v0.14.0 ppx_inline_test.v0.14.1 ppx_jane.v0.14.0 ppx_js_style.v0.14.1 ppx_let.v0.14.0 ppx_module_timer.v0.14.0 ppx_optcomp.v0.14.3 ppx_optional.v0.14.0 ppx_pipebang.v0.14.0 ppx_sexp_conv.v0.14.3 ppx_sexp_message.v0.14.1 ppx_sexp_value.v0.14.0 ppx_stable.v0.14.1 ppx_string.v0.14.1 ppx_typerep_conv.v0.14.2 ppx_variants_conv.v0.14.2 ppxlib.0.25.1 protocol_version_header.v0.14.0 ptime.1.1.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.2.1 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-06-28 10:45.14: Waiting for resource in pool OCluster
2024-06-28 10:45.14: Waiting for worker…
2024-06-28 10:45.14: Got resource from pool OCluster
Building on orithia.caelum.ci.dev
All commits already cached
HEAD is now at 98f01b1 Uncommon: the xor_into is unsafe (doesn't do bounds checks), make that explicit


(from ocaml/opam@sha256:b1b5c86671e240e2739dde67d4d327ee0cf89bebffa93dba45219ca98803b6f9)
Unable to find image 'ocaml/opam@sha256:b1b5c86671e240e2739dde67d4d327ee0cf89bebffa93dba45219ca98803b6f9' locally
docker.io/ocaml/opam@sha256:b1b5c86671e240e2739dde67d4d327ee0cf89bebffa93dba45219ca98803b6f9: Pulling from ocaml/opam
9027b64136d8: Pulling fs layer
582b94263cc3: Pulling fs layer
dd5fc4988f66: Pulling fs layer
f132aadaaf4e: Pulling fs layer
856038e0cd2f: Pulling fs layer
5835a3e5024f: Pulling fs layer
1127fc4a1d44: Pulling fs layer
46cd46801c9a: Pulling fs layer
20deb2427326: Pulling fs layer
a6b058f49e43: Pulling fs layer
3b1a7cc973c9: Pulling fs layer
bc3d8951074f: Pulling fs layer
b89b1710d8c1: Pulling fs layer
f132aadaaf4e: Waiting
ba587a2af806: Pulling fs layer
856038e0cd2f: Waiting
e1ea16b4d8eb: Pulling fs layer
5835a3e5024f: Waiting
20deb2427326: Waiting
46cd46801c9a: Waiting
8381738d3d31: Pulling fs layer
6d85050c4e27: Pulling fs layer
bc3d8951074f: Waiting
1127fc4a1d44: Waiting
e8432fff82b1: Pulling fs layer
809bbe2b2da4: Pulling fs layer
b89b1710d8c1: Waiting
a6b058f49e43: Waiting
e1ea16b4d8eb: Waiting
ba587a2af806: Waiting
8381738d3d31: Waiting
4f4fb700ef54: Pulling fs layer
6d85050c4e27: Waiting
809bbe2b2da4: Waiting
8db819497a45: Pulling fs layer
4f4fb700ef54: Waiting
1acf7da9e068: Pulling fs layer
45e3d48c9326: Pulling fs layer
8db819497a45: Waiting
1acf7da9e068: Waiting
4020e2a8b20e: Pulling fs layer
45e3d48c9326: Waiting
d3f9040779f6: Pulling fs layer
9a039ae628e8: Pulling fs layer
4020e2a8b20e: Waiting
d3f9040779f6: Waiting
76f42c5fa92e: Pulling fs layer
9a039ae628e8: Waiting
bbf81de98d49: Pulling fs layer
76f42c5fa92e: Waiting
02d4a209e9bd: Pulling fs layer
5707bfbd9ae6: Pulling fs layer
bbf81de98d49: Waiting
318784ff08db: Pulling fs layer
cb966c780536: Pulling fs layer
02d4a209e9bd: Waiting
f6c2dca8eb09: Pulling fs layer
317b1cc5e996: Pulling fs layer
ae5219d46a51: Pulling fs layer
29423994e89f: Pulling fs layer
cb966c780536: Waiting
db8b0f1c2845: Pulling fs layer
f6c2dca8eb09: Waiting
8a76d0436d63: Pulling fs layer
317b1cc5e996: Waiting
ae5219d46a51: Waiting
70a9132b26bf: Pulling fs layer
db8b0f1c2845: Waiting
a89e6d5c2ee3: Pulling fs layer
29423994e89f: Waiting
8a76d0436d63: Waiting
d712b2661a12: Pulling fs layer
a89e6d5c2ee3: Waiting
d712b2661a12: Waiting
582b94263cc3: Download complete
dd5fc4988f66: Download complete
856038e0cd2f: Verifying Checksum
856038e0cd2f: Download complete
f132aadaaf4e: Verifying Checksum
f132aadaaf4e: Download complete
9027b64136d8: Verifying Checksum
9027b64136d8: Download complete
1127fc4a1d44: Verifying Checksum
1127fc4a1d44: Download complete
46cd46801c9a: Verifying Checksum
46cd46801c9a: Download complete
9027b64136d8: Pull complete
582b94263cc3: Pull complete
dd5fc4988f66: Pull complete
20deb2427326: Verifying Checksum
20deb2427326: Download complete
f132aadaaf4e: Pull complete
856038e0cd2f: Pull complete
a6b058f49e43: Verifying Checksum
a6b058f49e43: Download complete
bc3d8951074f: Verifying Checksum
bc3d8951074f: Download complete
b89b1710d8c1: Download complete
ba587a2af806: Verifying Checksum
ba587a2af806: Download complete
3b1a7cc973c9: Verifying Checksum
3b1a7cc973c9: Download complete
e1ea16b4d8eb: Verifying Checksum
e1ea16b4d8eb: Download complete
8381738d3d31: Verifying Checksum
8381738d3d31: Download complete
6d85050c4e27: Verifying Checksum
6d85050c4e27: Download complete
e8432fff82b1: Verifying Checksum
e8432fff82b1: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
809bbe2b2da4: Verifying Checksum
809bbe2b2da4: Download complete
1acf7da9e068: Verifying Checksum
1acf7da9e068: Download complete
8db819497a45: Verifying Checksum
8db819497a45: Download complete
45e3d48c9326: Verifying Checksum
45e3d48c9326: Download complete
4020e2a8b20e: Download complete
d3f9040779f6: Download complete
9a039ae628e8: Verifying Checksum
9a039ae628e8: Download complete
bbf81de98d49: Download complete
02d4a209e9bd: Download complete
76f42c5fa92e: Download complete
5707bfbd9ae6: Download complete
318784ff08db: Verifying Checksum
318784ff08db: Download complete
cb966c780536: Download complete
317b1cc5e996: Download complete
5835a3e5024f: Verifying Checksum
5835a3e5024f: Download complete
29423994e89f: Download complete
db8b0f1c2845: Verifying Checksum
db8b0f1c2845: Download complete
5835a3e5024f: Pull complete
1127fc4a1d44: Pull complete
46cd46801c9a: Pull complete
20deb2427326: Pull complete
a6b058f49e43: Pull complete
3b1a7cc973c9: Pull complete
bc3d8951074f: Pull complete
b89b1710d8c1: Pull complete
ba587a2af806: Pull complete
e1ea16b4d8eb: Pull complete
8381738d3d31: Pull complete
6d85050c4e27: Pull complete
e8432fff82b1: Pull complete
809bbe2b2da4: Pull complete
4f4fb700ef54: Pull complete
8db819497a45: Pull complete
1acf7da9e068: Pull complete
45e3d48c9326: Pull complete
4020e2a8b20e: Pull complete
d3f9040779f6: Pull complete
9a039ae628e8: Pull complete
76f42c5fa92e: Pull complete
bbf81de98d49: Pull complete
02d4a209e9bd: Pull complete
5707bfbd9ae6: Pull complete
318784ff08db: Pull complete
cb966c780536: Pull complete
f6c2dca8eb09: Verifying Checksum
f6c2dca8eb09: Download complete
70a9132b26bf: Download complete
a89e6d5c2ee3: Verifying Checksum
a89e6d5c2ee3: Download complete
d712b2661a12: Download complete
ae5219d46a51: Verifying Checksum
ae5219d46a51: Download complete
8a76d0436d63: Verifying Checksum
8a76d0436d63: Download complete
f6c2dca8eb09: Pull complete
317b1cc5e996: Pull complete
ae5219d46a51: Pull complete
29423994e89f: Pull complete
db8b0f1c2845: Pull complete
8a76d0436d63: Pull complete
70a9132b26bf: Pull complete
a89e6d5c2ee3: Pull complete
d712b2661a12: Pull complete
Digest: sha256:b1b5c86671e240e2739dde67d4d327ee0cf89bebffa93dba45219ca98803b6f9
Status: Downloaded newer image for ocaml/opam@sha256:b1b5c86671e240e2739dde67d4d327ee0cf89bebffa93dba45219ca98803b6f9
2024-06-28 10:45.15 ---> using "22327db6310a09cba259b432d92e6415ec493b48c740f0afcc0608b880e599e2" from cache


/: (comment debian-12-4.14_ppc64_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-06-28 10:45.15 ---> using "50febc1948ac24f320c926055ecf578533ab7f70f6880ca9817977013424354c" from cache


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


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


Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-06-28 10:45.15 ---> using "a2eea864e9877c0569a443f3ae536724534d04ca23130f8cede95085ce2ab049" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-35-generic
The OCaml toplevel, version 4.14.2
2.1.6
2024-06-28 10:45.15 ---> using "4344b7cbf5cf7c0a70fb7861343d2589c34222d722ec1fec9fe2132d920b05ea" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-06-28 10:45.15 ---> using "65156555b00c7b43a55a0e312f6bae89e7f8e7592b47cf3470a2a03c637736e1" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "cd ~/opam-repository && (git cat-file -e 1aadcd5849b0baa8a17b94d480babe9c4a81a1b0 || git fetch origin master) && git reset -q --hard 1aadcd5849b0baa8a17b94d480babe9c4a81a1b0 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   c45f5bab71..1aadcd5849  master     -> origin/master
1aadcd5849 Merge pull request #26152 from hannesm/release-mirage-v4.6.0


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


The following actions will be performed:
  - install   host-arch-ppc64       1
  - install   host-system-other     1
  - recompile ocaml-options-vanilla 1       [upstream or system changes]
  - recompile ocaml-base-compiler   4.14.2* [upstream or system changes]
  - recompile ocaml-config          2       [upstream or system changes]
  - recompile ocaml                 4.14.2  [uses ocaml-base-compiler, ocaml-config]
  - recompile opam-depext           1.2.1-1 [uses ocaml]
===== 2 to install | 5 to recompile =====


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2  (cached)
-> removed   ocaml-options-vanilla.1
-> installed host-arch-ppc64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved opam-depext.1.2.1-1  (cached)
-> retrieved ocaml-base-compiler.4.14.2  (cached)
-> removed   opam-depext.1.2.1-1
-> removed   ocaml.4.14.2
-> removed   ocaml-config.2
-> removed   ocaml-base-compiler.4.14.2
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.2
-> installed ocaml.4.14.2
-> installed opam-depext.1.2.1-1
Done.


<><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment
2024-06-28 10:45.15 ---> using "35ea6b761206965d1214bf0df356e6798b3cd04d3e6cba86cea70397f89f1efa" from cache


/src: (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
            (dst ./))
2024-06-28 10:45.15 ---> using "46b1078b9520828bdcd3c842f0007de6b54009d413ef48d9183c82624652aa9d" from cache


/src: (run (network host)
           (shell  "opam pin add -yn mirage-crypto.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng-lwt.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng-eio.dev './' && \
                  \nopam pin add -yn mirage-crypto-rng-async.dev './' && \
                  \nopam pin add -yn mirage-crypto-pk.dev './' && \
                  \nopam pin add -yn mirage-crypto-ec.dev './'"))
[mirage-crypto.dev] synchronised (file:///src)
mirage-crypto is now pinned to file:///src (version dev)
[mirage-crypto-rng.dev] synchronised (file:///src)
mirage-crypto-rng is now pinned to file:///src (version dev)
[mirage-crypto-rng-mirage.dev] synchronised (file:///src)
mirage-crypto-rng-mirage is now pinned to file:///src (version dev)
Package mirage-crypto-rng-miou-unix does not exist, create as a NEW package? [Y/n] y
[mirage-crypto-rng-miou-unix.dev] synchronised (file:///src)
mirage-crypto-rng-miou-unix is now pinned to file:///src (version dev)
[mirage-crypto-rng-lwt.dev] synchronised (file:///src)
mirage-crypto-rng-lwt is now pinned to file:///src (version dev)
[mirage-crypto-rng-eio.dev] synchronised (file:///src)
mirage-crypto-rng-eio is now pinned to file:///src (version dev)
[mirage-crypto-rng-async.dev] synchronised (file:///src)
mirage-crypto-rng-async is now pinned to file:///src (version dev)
[mirage-crypto-pk.dev] synchronised (file:///src)
mirage-crypto-pk is now pinned to file:///src (version dev)
[mirage-crypto-ec.dev] synchronised (file:///src)
mirage-crypto-ec is now pinned to file:///src (version dev)
2024-06-28 10:45.15 ---> using "0b99386180da3b2b6bee5aeefef160f1ff7bcfef24a4b1b15aa4fae3d1ac3852" from cache


/src: (env DEPS "alcotest.1.7.0 asn1-combinators.0.3.1 astring.0.8.5 async.v0.14.0 async_kernel.v0.14.0 async_rpc_kernel.v0.14.0 async_unix.v0.14.0 base.v0.14.3 base-bigarray.base base-bytes.base base-threads.base base-unix.base base_bigstring.v0.14.0 base_quickcheck.v0.14.1 bin_prot.v0.14.1 cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 core.v0.14.1 core_kernel.v0.14.2 cppo.1.6.9 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.0 dune.3.16.0 dune-configurator.3.16.0 duration.0.2.1 eqaf.0.10 fieldslib.v0.14.0 fmt.0.9.0 host-arch-ppc64.1 host-system-other.1 ipaddr.5.6.0 jane-street-headers.v0.14.0 jst-config.v0.14.1 logs.0.7.0 lwt.5.7.0 macaddr.5.6.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.6.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.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.2 octavius.1.2.2 ohex.0.2.0 ounit2.2.2.7 parsexp.v0.14.2 ppx_assert.v0.14.0 ppx_base.v0.14.0 ppx_bench.v0.14.1 ppx_bin_prot.v0.14.0 ppx_cold.v0.14.0 ppx_compare.v0.14.0 ppx_custom_printf.v0.14.1 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_deriving_yojson.3.6.1 ppx_enumerate.v0.14.0 ppx_expect.v0.14.2 ppx_fields_conv.v0.14.2 ppx_fixed_literal.v0.14.0 ppx_hash.v0.14.0 ppx_here.v0.14.0 ppx_inline_test.v0.14.1 ppx_jane.v0.14.0 ppx_js_style.v0.14.1 ppx_let.v0.14.0 ppx_module_timer.v0.14.0 ppx_optcomp.v0.14.3 ppx_optional.v0.14.0 ppx_pipebang.v0.14.0 ppx_sexp_conv.v0.14.3 ppx_sexp_message.v0.14.1 ppx_sexp_value.v0.14.0 ppx_stable.v0.14.1 ppx_string.v0.14.1 ppx_typerep_conv.v0.14.2 ppx_variants_conv.v0.14.2 ppxlib.0.25.1 protocol_version_header.v0.14.0 ptime.1.1.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.2.1 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 ppc64el Packages [157 kB]
- Fetched 260 kB in 0s (647 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-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-ppc64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).


The following system packages will first need to be installed:
    libgmp-dev


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


2024-06-28 10:45.15 ---> using "19dd1018581bca5f603b931f92a3023b5e39a03735c2c5a12f00bfcc11bcdd3c" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-ppc64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
  - install num                     1.5
  - install ocamlfind               1.9.6
  - install conf-gmp                4
  - install ocamlbuild              0.14.3
  - install seq                     base
  - install dune                    3.16.0
  - install cmdliner                1.3.0
  - install base-bytes              base
  - install zarith                  1.13
  - install conf-gmp-powm-sec       3
  - install topkg                   1.0.7
  - install yojson                  2.2.1
  - 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 ohex                    0.2.0
  - 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.6.0
  - install jane-street-headers     v0.14.0
  - install eqaf                    0.10
  - 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 ptime                   1.1.0
  - 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 digestif                1.2.0
  - install ipaddr                  5.6.0
  - install dune-configurator       3.16.0
  - install ocplib-endian           1.2
  - install asn1-combinators        0.3.1
  - 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 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.6.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
===== 103 to install =====


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved asn1-combinators.0.3.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved alcotest.1.7.0  (cached)
-> retrieved async.v0.14.0  (cached)
-> retrieved async_kernel.v0.14.0  (cached)
-> retrieved async_rpc_kernel.v0.14.0  (cached)
-> retrieved async_unix.v0.14.0  (cached)
-> retrieved base.v0.14.3  (cached)
-> retrieved base_bigstring.v0.14.0  (cached)
-> retrieved base_quickcheck.v0.14.1  (cached)
-> retrieved conf-gmp.4  (cached)
-> retrieved conf-gmp-powm-sec.3  (cached)
-> retrieved bin_prot.v0.14.1  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved core.v0.14.1  (cached)
-> installed conf-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 domain-name.0.4.0  (cached)
-> retrieved digestif.1.2.0  (cached)
-> retrieved duration.0.2.1  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved fieldslib.v0.14.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved ipaddr.5.6.0  (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.6.0  (cached)
-> retrieved mirage-clock.4.2.0  (cached)
-> retrieved mirage-clock-unix.4.2.0  (cached)
-> retrieved mirage-runtime.4.6.0  (cached)
-> retrieved mirage-time.3.0.0  (cached)
-> retrieved mirage-time-unix.3.0.0  (cached)
-> retrieved dune.3.16.0  (cached)
-> retrieved dune-configurator.3.16.0  (cached)
-> retrieved mirage-unix.5.0.1  (cached)
-> retrieved mtime.2.0.0  (cached)
-> retrieved num.1.5  (cached)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> installed cmdliner.1.3.0
-> retrieved ocamlbuild.0.14.3  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved octavius.1.2.2  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved 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 ptime.1.1.0  (cached)
-> retrieved ppxlib.0.25.1  (cached)
-> retrieved randomconv.0.2.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> installed num.1.5
-> retrieved re.1.11.0  (cached)
-> retrieved result.1.5  (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.2.1  (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 mtime.2.0.0
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed ptime.1.1.0
-> installed astring.0.8.5
-> installed dune.3.16.0
-> installed csexp.1.5.2
-> installed asn1-combinators.0.3.1
-> installed cppo.1.6.9
-> installed domain-name.0.4.0
-> installed duration.0.2.1
-> installed eqaf.0.10
-> installed jane-street-headers.v0.14.0
-> installed macaddr.5.6.0
-> installed mirage-clock.4.2.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-syntax-shims.1.0.0
-> installed octavius.1.2.2
-> installed ohex.0.2.0
-> installed ppx_derivers.1.2.1
-> installed randomconv.0.2.0
-> installed re.1.11.0
-> installed result.1.5
-> installed sexplib0.v0.14.0
-> installed spawn.v0.15.1
-> installed stdlib-shims.0.3.0
-> installed yojson.2.2.1
-> installed ocplib-endian.1.2
-> installed ipaddr.5.6.0
-> installed digestif.1.2.0
-> installed ounit2.2.2.7
-> installed alcotest.1.7.0
-> installed dune-configurator.3.16.0
-> 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.6.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_optcomp.v0.14.3
-> installed ppx_cold.v0.14.0
-> installed ppx_let.v0.14.0
-> installed ppx_fields_conv.v0.14.2
-> installed ppx_enumerate.v0.14.0
-> installed ppx_fixed_literal.v0.14.0
-> installed ppx_here.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_optional.v0.14.0
-> installed ppx_js_style.v0.14.1
-> installed ppx_sexp_conv.v0.14.3
-> installed ppx_deriving.5.2.1
-> 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 bin_prot.v0.14.1
-> installed ppx_string.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-06-28 10:45.15 ---> using "1511095d8f2b67adf01df0f91fa670527a99d760f3207be14e836d7e39a75e75" from cache


/src: (copy (src .) (dst /src))
2024-06-28 10:45.17 ---> saved as "93fbfead71f795448de210df3e8a51af11255fc9c86a0257cd37029eb7c2eaaf"


/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/tests && ./test_entropy.exe)
no CPU RNG available
test entropy OK
(cd _build/default/tests && ./test_symmetric_runner.exe)
accel: 
........................................................
Ran: 56 tests in: 0.11 seconds.
OK
(cd _build/default/tests && ./test_random_runner.exe)
.........
Ran: 9 tests in: 0.12 seconds.
OK
(cd _build/default/tests && ./test_entropy_collection.exe)
reseeding:
000000  00c8 2a3a d23b 513e  dd3f 6342 fa43 9346  ..*:.;Q>.?cB.C.F
000010  4648 7d48 da48 7449  6c4a 0a4c 1d4c 3d4c  FH}H.HtIlJ.L.L=L
000020  714c c44c 4e4d 304e  a34f 0352 5a53 8a55  qL.LNM0N.O.RZS.U
000030  9456 4758 8158 e058  7b59 7a5a 1e5c 3d5c  .VGX.X.X{YzZ.\=\
000040  735c c85c 545d 3b5e  b55f 2562 9063 e765  s\.\T];^._%b.c.e
000050  2b67 4169 1c6a 846b  d56d 0d6f 1071 ca71  +gAi.j.k.m.o.q.q
000060  fc72 f474 9d75 b376  7a78 d578 6b79 5f7a  .r.t.u.vzx.xky_z
000070  f27b 867e 3280 5b80  a580 1981 d981 1683  .{.~2.[.........
000080  1c85 de85 1c87 2889  f389 3c8b 5a8d 448e  ......(...<.Z.D.
000090  c58f 3b92 b593 2396  8c97 de99 1d9b 299d  ..;...#.......).
0000a0  f59d 429f 65a1 57a2  e4a3 71a6 0da8 23a8  ..B.e.W...q...#.
0000b0  47a8 81a8 e0a8 7ca9  7daa 24ac 46ac 81ac  G.....|.}.$.F...
0000c0  ddac 78ad 77ae 18b0  34b0 01c8 cdb0 62b1  ..x.w...4.....b.
0000d0  56b2 e2b3 6cb6 07b8  18b8 35b8 62b8 aeb8  V...l.....5.b...
0000e0  28b9 f3b9 40bb 63bd  52be dbbf 60c2 f2c3  (...@.c.R...`...
0000f0  85c6 2ec8 59c8 9dc8  0ec9 c8c9 f9ca eccc  ....Y...........
000100  8dcd 98ce 4fd0 8cd0  f4d0 9bd1 b0d2 75d4  ....O.........u.
000110  cbd4 5bd5 44d6 c5d7  3bda b6db 24de 91df  ..[.D...;...$...
000120  e6e1 2ae3 3fe5 19e6  7ce7 c7e9 f8ea edec  ..*.?...|.......
000130  93ed a3ee 60f0 aaf0  24f1 ebf1 34f3 4ef5  ....`...$...4.N.
000140  31f6 a5f7 07fa 61fb  98fd aafe 6b00 bd00  1.....a.....k...
000150  4301 1e02 8503 d405  0b07 0b09 c309 f10a  C...............
000160  dd0c 760d 730e 1110  2810 4c10 8a10 f110  ..v.s...(.L.....
000170  9511 a612 6514 b114  2e15 fc15 4d17 7819  ....e.......M.x.
000180  761a 161c 311c 5c1c  a41c 191d d91d 161f  v...1.\.........
000190  1c21 df21 02c8 3c23  6225 5226 dc27 642a  .!.!..<#b%R&.'d*
0001a0  f82b 932e 4730 8130  e030 7c31 7b32 2134  .+..G0.0.0|1{2!4
0001b0  4134 7934 d334 6635  5836 e537 733a 123c  A4y4.4f5X6.7s:.<
0001c0  2a3c 503c 913c fa3c  a63d c03e 9040 f840  *<P<.<.<.=.>.@.@
0001d0  a541 bd42 8b44 f144  9945 a946 6a48 ba48  .A.B.D.D.E.FjH.H
0001e0  3c49 154a 764b b94d  e14e c450 4e51 3052  <I.JvK.M.N.PNQ0R
0001f0  a553 0756 6057 9559  a55a 655c b35c 325d  .S.V`W.Y.Ze\.\2]
000200  015e 565f 8861 8e62  4064 7564 cc64 5c65  .^V_.a.b@dud.d\e
000210  4766 ca67 466a c86b  446e c66f 3d72 ba73  Gf.gFj.kDn.o=r.s
000220  2a76 9a77 f779 477b  6c7d 637e f77f 8d82  *v.w.yG{l}c~....
000230  3c84 6f84 c284 4a85  2a86 9987 f489 428b  <.o...J.*.....B.
000240  628d 538e db8f 5e92  f193 8396 2b98 5498  b.S...^.....+.T.
000250  9598 0399 b499 d79a  b89c 389d 0d9e 03c8  ..........8.....
000260  899f e0a1 21a3 2ea5  fda5 52a7 81a9 83aa  ....!.....R.....
000270  2bac 55ac 98ac 06ad  bbad e4ae cbb0 5ab1  +.U...........Z.
000280  46b2 c8b3 41b6 c0b7  34ba aabb 12be 71bf  F...A...4.....q.
000290  b2c1 d6c2 b3c4 31c5  01c6 55c7 84c9 87ca  ......1...U.....
0002a0  33cc 60cc a9cc 22cd  e7cd 2ccf 41d1 1bd2  3.`..."...,.A...
0002b0  80d3 cad5 fbd6 f1d8  98d9 aada 6bdc bedc  ............k...
0002c0  44dd 20de 8adf dae1  18e3 21e5 e7e5 2be7  D. .......!...+.
0002d0  42e9 1cea 85eb d4ed  0cef 0ef1 c8f1 f9f2  B...............
0002e0  eef4 95f5 a5f6 64f8  b0f8 2cf9 f9f9 4bfb  ......d...,...K.
0002f0  73fd 6dfe 0900 1900  3600 6600 b300 3301  s.m.....6.f...3.
000300  0402 5903 8a05 9406  4708 8208 e108 7c09  ..Y.....G.....|.
000310  7d0a 210c 430c 780c  d20c 650d 550e e00f  }.!.C.x...e.U...
000320  6912 0014 0d14 2614                       i.....&.


entropy sources: [0] timer 
accumulate: (src: [0] timer) 3a23 c3a8 
(cd _build/default/tests && ./test_ec.exe)
Testing `EC'.
This run has ID `LHB46JQQ'.


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


Full test results in `/src/_build/default/tests/_build/_tests/EC'.
Test Successful in 0.074s. 64 tests run.
(cd _build/default/tests && ./test_pk_runner.exe)
.......................................................................................................................................................................................................................................................................................................................................................................
Ran: 359 tests in: 2.09 seconds.
OK
(cd _build/default/tests && ./test_entropy_collection_async.exe)
reseeding:
000000  00c8 9cbd c5be 8bc0  ebc0 87c1 87c2 26c4  ..............&.
000010  51c4 94c4 02c5 b6c5  cec6 94c8 fac8 9ec9  Q...............
000020  a8ca 56cc 99cc 06cd  b3cd c8ce 89d0 e9d0  ..V.............
000030  83d1 7cd2 0cd4 20d4  40d4 73d4 c6d4 4bd5  ..|... .@.s...K.
000040  22d6 7cd7 a9d9 bbda  72dc c3dc 46dd 1ade  ".|.....r...F...
000050  73df a1e1 abe2 5ae4  9de4 0ce5 bbe5 d5e6  s.....Z.........
000060  9ce8 07e9 b3e9 caea  8cec ecec 8ced 8aee  ................
000070  24f0 46f0 7bf0 d4f0  62f1 46f2 b6f3 06f6  $.F.{...b.F.....
000080  51f7 64f9 4bfa befb  15fe 6dff 9301 9702  Q.d.K.....m.....
000090  3804 6704 b204 2a05  ed05 2707 2309 e209  8.g...*...'.#...
0000a0  140b 050d b10d c40e  8310 de10 7311 6112  ............s.a.
0000b0  e313 5116 c717 251a  821b b31d c81e 8920  ..Q...%........ 
0000c0  e720 8321 7a22 0924  1a24 01c8 6224 af24  . .!z".$.$..b$.$
0000d0  2d25 f525 3327 3429  fb29 432b 4c2d 232e  -%.%3'4).)C+L-#.
0000e0  832f b731 cf32 9334  f934 a135 b136 6738  ./.1.2.4.4.5.6g8
0000f0  b238 2a39 f139 333b  343d fc3d 453f 5241  .8*9.93;4=.=E?RA
000100  2d42 8e43 c945 ef46  c748 4d49 274a 874b  -B.C.E.F.HMI'J.K
000110  bd4d dc4e ac50 2451  e351 1553 0455 b055  .M.N.P$Q.Q.S.U.U
000120  c956 8958 e858 8259  795a 0a5c 1c5c 395c  .V.X.X.YyZ.\.\9\
000130  675c b25c 2a5d eb5d  255f 1c61 d861 0363  g\.\*].]%_.a.a.c
000140  e664 7e65 7666 0268  1168 2668 4868 8168  .d~evf.h.h&hHh.h
000150  db68 6b69 566a d16b  336e 9a6f db71 0a73  .hkiVj.k3n.o.q.s
000160  f274 9275 9476 3578  6178 a778 1979 d179  .t.u.v5xax.x.y.y
000170  f97a d87c 687d 517e  ca7f 2982 8783 be85  .z.|h}Q~..).....
000180  e186 b188 2c89 f189  318b 328d fa8d 3b8f  ....,...1.2...;.
000190  4391 1492 02c8 8193  be95 dc96 a798 1d99  C...............
0001a0  d799 059b ea9c 899d  859e 1aa0 36a0 63a0  ............6.c.
0001b0  b0a0 26a1 e5a1 1ba3  0da5 bca5 d8a6 a0a8  ..&.............
0001c0  0da9 bca9 d8aa a3ac  13ad c6ad e7ae b8b0  ................
0001d0  36b1 01b2 46b3 53b5  2db6 93b7 d2b9 faba  6...F.S.-.......
0001e0  dabc 6abd 55be d0bf  32c2 98c3 d8c5 05c7  ..j.U...2.......
0001f0  ebc8 88c9 84ca 19cc  35cc 61cc a8cc 1ccd  ........5.a.....
000200  d6cd 01cf e5d0 7cd1  73d2 fdd3 7cd6 0dd8  ......|.s...|...
000210  21d8 41d8 74d8 c6d8  4ad9 21da 7adb a7dd  !.A.t...J.!.z...
000220  b7de 6be0 b8e0 35e1  fde1 40e3 49e5 1de6  ..k...5...@.I...
000230  75e7 9ce9 a4ea 4eec  8aec e9ec 85ed 7dee  u.....N.......}.
000240  10f0 25f0 47f0 7df0  d6f0 65f1 4bf2 bff3  ..%.G.}...e.K...
000250  18f6 6ef7 93f9 95fa  37fc 65fc aefc 0380  ..n.....7.e.....
000260  01ed cd30 9a04 41a7  4ae7 5807 e0cc 01a7  ...0..A.J.X.....
000270  5bf8 d838 f1a1 d251  ad22 45e1 c568 8fd5  [..8...Q."E..h..
000280  8f6c 01c3 90de ad06  80ad 9d35 7390 57e5  .l.........5s.W.
000290  8231 3428 31db eb6e  319d 563b 81fd c4c7  .14(1..n1.V;....
0002a0  393b 42c3 15a7 694f  a1f4 adcf e274 c0ed  9;B...iO.....t..
0002b0  d0d1 ea0a e74b d9c0  298d efd9 d2ac c5b9  .....K..).......
0002c0  ca82 c78d b032 4447  1749 f55d 4d42 a0da  .....2DG.I.]MB..
0002d0  31c6 053f b414 c12e  0cbd 06b7 9f79 582b  1..?.........yX+


entropy sources: [0] getrandom [1] timer 
accumulate: (src: [1] timer) ff97 bacb 
accumulate: (src: [0] getrandom) 40cf 1bba ac54 a277  
accumulate: (src: [1] timer) 7a50 42cd 
accumulate: (src: [1] timer) cb2c cace 
accumulate: (src: [1] timer) 550b 52d0 
accumulate: (src: [1] timer) e581 dad1 
accumulate: (src: [1] timer) b6bb 62d3 
accumulate: (src: [1] timer) 3acb ead4 
accumulate: (src: [1] timer) 619a 72d6 
accumulate: (src: [1] timer) 6681 fad7 
accumulate: (src: [1] timer) 5c47 82d9 
accumulate: (src: [1] timer) 5a0d 0adb 
accumulate: (src: [1] timer) 31aa 91dc 
accumulate: (src: [1] timer) c758 19de 
accumulate: (src: [1] timer) 8121 a2df 
accumulate: (src: [1] timer) 4402 2ae1 
accumulate: (src: [1] timer) d8f8 b1e2 
accumulate: (src: [1] timer) c799 40e4 
accumulate: (src: [1] timer) 554c c8e5 
accumulate: (src: [1] timer) ab2e 50e7 
accumulate: (src: [1] timer) 47e4 d7e8 
accumulate: (src: [1] timer) 8bdd 3fea 
accumulate: (src: [1] timer) 52d2 c7eb 
accumulate: (src: [1] timer) 98cf 55ed 
accumulate: (src: [1] timer) 785e ddee 
accumulate: (src: [1] timer) 7cf7 64f0 
accumulate: (src: [1] timer) e4b8 f1f1 
accumulate: (src: [1] timer) 5d78 7ef3 
accumulate: (src: [1] timer) 7251 0bf5 
accumulate: (src: [1] timer) 0c72 98f6 
accumulate: (src: [1] timer) 2b08 28f8 
accumulate: (src: [1] timer) fcec aff9 
accumulate: (src: [1] timer) 71d6 37fb 
accumulate: (src: [1] timer) ccb3 bffc 
accumulate: (src: [1] timer) b787 47fe 
accumulate: (src: [1] timer) ab96 cfff 
accumulate: (src: [1] timer) ee65 5701 
accumulate: (src: [1] timer) 021e df02 
accumulate: (src: [1] timer) 3cc6 6604 
accumulate: (src: [1] timer) a758 ee05 
accumulate: (src: [1] timer) 7b55 7d07 
accumulate: (src: [1] timer) cb7f cc08 
accumulate: (src: [1] timer) 39d7 5a0a 
accumulate: (src: [1] timer) baa6 e20b 
accumulate: (src: [1] timer) 6c90 710d 
accumulate: (src: [1] timer) 10ad f90e 
accumulate: (src: [1] timer) 550b 8210 
accumulate: (src: [1] timer) d850 0a12 
accumulate: (src: [1] timer) ec73 9213 
accumulate: (src: [1] timer) 5658 1a15 
accumulate: (src: [1] timer) 624d a216 
accumulate: (src: [1] timer) 5776 2a18 
accumulate: (src: [1] timer) a31f b219 
accumulate: (src: [1] timer) 91af 391b 
accumulate: (src: [1] timer) 6943 c11c 
accumulate: (src: [1] timer) 32da 481e 
accumulate: (src: [1] timer) c5db d81f 
accumulate: (src: [1] timer) c070 6821 
accumulate: (src: [1] timer) 4a6e f822 
accumulate: (src: [1] timer) d52f 8924 
accumulate: (src: [1] timer) c72e 1a26 
accumulate: (src: [1] timer) b1da 5b27 
accumulate: (src: [1] timer) 8b84 ec28 
accumulate: (src: [1] timer) d3fe 7c2a 
accumulate: (src: [1] timer) 39e3 0d2c 
accumulate: (src: [1] timer) 0de1 9e2d 
accumulate: (src: [1] timer) 7c80 2f2f 
accumulate: (src: [1] timer) 6b80 c030 
accumulate: (src: [1] timer) 0936 4832 
accumulate: (src: [1] timer) 8603 d933 
accumulate: (src: [1] timer) 4aa1 6935 
accumulate: (src: [1] timer) 2b3c f136 
accumulate: (src: [1] timer) 5de5 8138 
accumulate: (src: [1] timer) 2a7a 123a 
accumulate: (src: [1] timer) 9e32 9a3b 
accumulate: (src: [1] timer) 74c0 2a3d 
accumulate: (src: [1] timer) f78d bb3e 
accumulate: (src: [1] timer) 4a7d 4c40 
accumulate: (src: [1] timer) 71fc dc41 
accumulate: (src: [1] timer) b78a 6d43 
accumulate: (src: [1] timer) 480b fe44 
accumulate: (src: [1] timer) 6609 e245 
accumulate: (src: [1] timer) 26bd 7247 
accumulate: (src: [1] timer) 8bc3 0a49 
accumulate: (src: [1] timer) c95d 924a 
accumulate: (src: [1] timer) d908 234c 
accumulate: (src: [1] timer) 1db4 b34d 
accumulate: (src: [1] timer) b631 444f 
accumulate: (src: [1] timer) 54b5 cb50 
accumulate: (src: [1] timer) 4262 5352 
accumulate: (src: [1] timer) 2979 e353 
accumulate: (src: [1] timer) 9aa7 7255 
accumulate: (src: [1] timer) 620f 0257 
accumulate: (src: [1] timer) 4b97 8958 
accumulate: (src: [1] timer) 8928 115a 
accumulate: (src: [1] timer) 960c 995b 
accumulate: (src: [1] timer) dcfe 205d 
accumulate: (src: [1] timer) 87c6 a85e 
accumulate: (src: [1] timer) 1de5 3060 
accumulate: (src: [1] timer) 951f b961 
accumulate: (src: [1] timer) 09fc 4063 
accumulate: (src: [1] timer) 693d 6864 
accumulate: (src: [1] timer) e99a f065 
accumulate: (src: [1] timer) 3887 7867 
accumulate: (src: [1] timer) 064e 0069 
accumulate: (src: [1] timer) 740c 886a 
accumulate: (src: [1] timer) aec8 0f6c 
accumulate: (src: [1] timer) 2374 976d 
accumulate: (src: [1] timer) 8842 1f6f 
accumulate: (src: [1] timer) a619 ad70 
accumulate: (src: [1] timer) c523 3f72 
accumulate: (src: [1] timer) a8a5 d773 
accumulate: (src: [1] timer) 9b65 5f75 
accumulate: (src: [1] timer) ab29 e776 
accumulate: (src: [1] timer) 5932 6f78 
accumulate: (src: [1] timer) d910 f779 
accumulate: (src: [1] timer) 161e 7f7b 
accumulate: (src: [1] timer) 36ca 067d 
accumulate: (src: [1] timer) bae7 8e7e 
accumulate: (src: [1] timer) 76d1 1680 
accumulate: (src: [1] timer) df21 e981 
accumulate: (src: [1] timer) 763a f582 
accumulate: (src: [1] timer) b3ba 8384 
accumulate: (src: [1] timer) 9a6f 0b86 
accumulate: (src: [1] timer) ed4d 9387 
accumulate: (src: [1] timer) 05a8 7089 
accumulate: (src: [1] timer) 2120 fd8a 
accumulate: (src: [1] timer) b5e7 848c 
accumulate: (src: [1] timer) 1de8 0c8e 
accumulate: (src: [1] timer) 79ed 948f 
accumulate: (src: [1] timer) 02ec 1c91 
accumulate: (src: [1] timer) cbdd a492 
accumulate: (src: [1] timer) f5d1 2c94 
accumulate: (src: [1] timer) a581 b495 
accumulate: (src: [1] timer) 702e 3c97 
accumulate: (src: [1] timer) ab4c c498 
accumulate: (src: [1] timer) 3355 4c9a 
accumulate: (src: [1] timer) 930f d49b 
accumulate: (src: [1] timer) e9f4 5b9d 
accumulate: (src: [1] timer) 7ac7 e39e 
accumulate: (src: [1] timer) f678 6ba0 
accumulate: (src: [1] timer) 78fc 7ca1 
accumulate: (src: [1] timer) f021 05a3 
accumulate: (src: [1] timer) 08e2 8ca4 
accumulate: (src: [1] timer) 4391 14a6 
accumulate: (src: [1] timer) 1451 9ca7 
accumulate: (src: [1] timer) d31c 25a9 
accumulate: (src: [1] timer) 4de6 acaa 
accumulate: (src: [1] timer) 23b9 34ac 
accumulate: (src: [1] timer) b86f bcad 
accumulate: (src: [1] timer) 742d 44af 
accumulate: (src: [1] timer) c42c ccb0 
accumulate: (src: [1] timer) 582c 54b2 
accumulate: (src: [1] timer) c3da dbb3 
accumulate: (src: [1] timer) f5c1 63b5 
accumulate: (src: [1] timer) 2793 ebb6 
accumulate: (src: [1] timer) 4434 73b8 
accumulate: (src: [1] timer) c715 fbb9 
accumulate: (src: [1] timer) a60f 83bb 
accumulate: (src: [1] timer) b891 0bbd 
accumulate: (src: [1] timer) 9a9a 93be 
accumulate: (src: [1] timer) 3260 03c0 
accumulate: (src: [1] timer) e0a7 8cc1 
accumulate: (src: [1] timer) c3f2 14c3 
accumulate: (src: [1] timer) 107b 9dc4 
accumulate: (src: [1] timer) fafb 25c6 
accumulate: (src: [1] timer) 6d1b aec7 
accumulate: (src: [1] timer) a24e 36c9 
accumulate: (src: [1] timer) 0568 beca 
accumulate: (src: [1] timer) 1a37 46cc 
accumulate: (src: [1] timer) 1c04 cecd 
accumulate: (src: [1] timer) 781e 56cf 
accumulate: (src: [1] timer) a7c3 ddd0 
accumulate: (src: [1] timer) 857e 65d2 
accumulate: (src: [1] timer) 668a edd3 
accumulate: (src: [1] timer) d847 75d5 
accumulate: (src: [1] timer) b5f2 fcd6 
accumulate: (src: [1] timer) a1a5 84d8 
accumulate: (src: [1] timer) e64c 0cda 
accumulate: (src: [1] timer) a65e 9adb 
accumulate: (src: [1] timer) 7250 28dd 
accumulate: (src: [1] timer) ea51 8ade 
accumulate: (src: [1] timer) bc82 18e0 
accumulate: (src: [1] timer) 9ea9 a6e1 
accumulate: (src: [1] timer) 77cb 33e3 
accumulate: (src: [1] timer) 94f5 c0e4 
accumulate: (src: [1] timer) 24be 4de6 
accumulate: (src: [1] timer) c9b7 dbe7 
accumulate: (src: [1] timer) 38e5 68e9 
accumulate: (src: [1] timer) 2aba f0ea 
accumulate: (src: [1] timer) f161 7fec 
accumulate: (src: [1] timer) 7acb 0dee 
accumulate: (src: [1] timer) a43f 9cef 
accumulate: (src: [1] timer) 2c75 2af1 
accumulate: (src: [1] timer) ed92 b7f2 
accumulate: (src: [1] timer) 91d1 45f4 
accumulate: (src: [1] timer) cb26 d4f5 
accumulate: (src: [1] timer) 583e 61f7 
accumulate: (src: [1] timer) e805 eff8 
accumulate: (src: [1] timer) 8dce 76fa 
accumulate: (src: [1] timer) d699 fefb 
accumulate: (src: [1] timer) 2d5b f0fc 
accumulate: (src: [0] getrandom) a526 64ff e15d 2309  
(cd _build/default/tests && ./test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `N8QJKI9F'.


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


Full test results in `/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.
Test Successful in 11.403s. 3502 tests run.
2024-06-28 10:45.36 ---> saved as "734bd7e51a0e6213554afe10226ae574bc52176dc4afaf6bf93a9257a879c521"
Job succeeded
2024-06-28 10:45.38: Job succeeded