Organisationsmiragemirage-crypto7c7db2 ()debian-12-4.14_s390x_opam-2.3

debian-12-4.14_s390x_opam-2.3

Link Copied
Code Copied

Logs

2025-01-21 14:13.48: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/255/head (7c7db2b385f85c8af153a9935417744256b8ce95) (linux-s390x:debian-12-4.14_s390x_opam-2.3)
Base: ocaml/opam:debian-12-ocaml-4.14@sha256:3c91d2fd1b0664e7452862b3f6311beebfc739670ce0b303a6f235e5d9bbab9a
Opam project build


To reproduce locally:


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


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


2025-01-21 14:13.48: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-12-ocaml-4.14@sha256:3c91d2fd1b0664e7452862b3f6311beebfc739670ce0b303a6f235e5d9bbab9a-debian-12-4.14_s390x_opam-2.3-634be1342579ae8a4ce1f9a5a89b2e20"
2025-01-21 14:13.48: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.14@sha256:3c91d2fd1b0664e7452862b3f6311beebfc739670ce0b303a6f235e5d9bbab9a)
(comment debian-12-4.14_s390x_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e b41fc63234d56d04112634b1ea9121f12caf9794 || git fetch origin master) && git reset -q --hard b41fc63234d56d04112634b1ea9121f12caf9794 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
(dst ./))
(run (network host)
(shell  "opam pin add -yn mirage-crypto.dev './' && \
\nopam pin add -yn mirage-crypto-rng.dev './' && \
\nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \
\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
\nopam pin add -yn mirage-crypto-rng-lwt.dev './' && \
\nopam pin add -yn mirage-crypto-rng-eio.dev './' && \
\nopam pin add -yn mirage-crypto-rng-async.dev './' && \
\nopam pin add -yn mirage-crypto-pk.dev './' && \
\nopam pin add -yn mirage-crypto-ec.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 async.v0.14.0 async_kernel.v0.14.0 async_rpc_kernel.v0.14.0 async_unix.v0.14.0 base.v0.14.3 base-bigarray.base base-bytes.base base-threads.base base-unix.base base_bigstring.v0.14.0 base_quickcheck.v0.14.1 bin_prot.v0.14.1 cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.4 core.v0.14.1 core_kernel.v0.14.2 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.0 dune.3.17.1 dune-configurator.3.17.1 duration.0.2.1 eqaf.0.10 fieldslib.v0.14.0 fmt.0.9.0 ipaddr.5.6.0 jane-street-headers.v0.14.0 jst-config.v0.14.1 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.8.2 mirage-time.3.0.0 mirage-time-unix.3.0.0 mirage-unix.5.0.1 mtime.2.1.0 num.1.5-1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 octavius.1.2.2 ohex.0.2.0 ounit2.2.2.7 parsexp.v0.14.2 ppx_assert.v0.14.0 ppx_base.v0.14.0 ppx_bench.v0.14.1 ppx_bin_prot.v0.14.0 ppx_cold.v0.14.0 ppx_compare.v0.14.0 ppx_custom_printf.v0.14.1 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_deriving_yojson.3.6.1 ppx_enumerate.v0.14.0 ppx_expect.v0.14.2 ppx_fields_conv.v0.14.2 ppx_fixed_literal.v0.14.0 ppx_hash.v0.14.0 ppx_here.v0.14.0 ppx_inline_test.v0.14.1 ppx_jane.v0.14.0 ppx_js_style.v0.14.1 ppx_let.v0.14.0 ppx_module_timer.v0.14.0 ppx_optcomp.v0.14.3 ppx_optional.v0.14.0 ppx_pipebang.v0.14.0 ppx_sexp_conv.v0.14.3 ppx_sexp_message.v0.14.1 ppx_sexp_value.v0.14.0 ppx_stable.v0.14.1 ppx_string.v0.14.1 ppx_typerep_conv.v0.14.2 ppx_variants_conv.v0.14.2 ppxlib.0.25.1 protocol_version_header.v0.14.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 result.1.5 seq.base sexplib.v0.14.0 sexplib0.v0.14.0 spawn.v0.17.0 splittable_random.v0.14.0 stdio.v0.14.0 stdlib-shims.0.3.0 textutils.v0.14.0 time_now.v0.14.0 timezone.v0.14.0 topkg.1.0.7 typerep.v0.14.0 uutf.1.0.3 variantslib.v0.14.0 yojson.2.2.2 zarith.1.14")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-lwt.dev mirage-crypto-rng-async.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build --only-packages=mirage-crypto,mirage-crypto-rng,mirage-crypto-rng-mirage,mirage-crypto-rng-lwt,mirage-crypto-rng-async,mirage-crypto-pk,mirage-crypto-ec @install @check @runtest && rm -rf _build"))
)


2025-01-21 14:13.48: Waiting for resource in pool OCluster
2025-01-21 15:31.27: Waiting for worker…
2025-01-21 17:59.24: Got resource from pool OCluster
Building on s390x-worker-01.marist.ci.dev
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: 	git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: 	git branch -m <name>
Initialized empty Git repository in /var/cache/obuilder/ocluster/git/mirage-crypto.git-4e3f111821283d178dad2a67aaebd3ef58519bbf/.git/
HEAD is now at 7c7db2b use Val_false directly


(from ocaml/opam:debian-12-ocaml-4.14@sha256:3c91d2fd1b0664e7452862b3f6311beebfc739670ce0b303a6f235e5d9bbab9a)
Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:3c91d2fd1b0664e7452862b3f6311beebfc739670ce0b303a6f235e5d9bbab9a' locally
docker.io/ocaml/opam@sha256:3c91d2fd1b0664e7452862b3f6311beebfc739670ce0b303a6f235e5d9bbab9a: Pulling from ocaml/opam
21aa15808dc8: Pulling fs layer
d25a97104e97: Pulling fs layer
f65680a00ae6: Pulling fs layer
9a7a8d403b91: Pulling fs layer
2ffe915ce14c: Pulling fs layer
b254a1eec312: Pulling fs layer
38f1be363536: Pulling fs layer
b9e4f4f23b91: Pulling fs layer
c0fac031a7cb: Pulling fs layer
d489f97642e5: Pulling fs layer
4517b9bdb052: Pulling fs layer
dd10bad1d888: Pulling fs layer
034a322c66c0: Pulling fs layer
9d449432df84: Pulling fs layer
ec711f8c8d02: Pulling fs layer
00c34fff1c74: Pulling fs layer
502be28af561: Pulling fs layer
064481ef1cd2: Pulling fs layer
e2aef212e6ac: Pulling fs layer
1b4b9e2b33cd: Pulling fs layer
4f4fb700ef54: Pulling fs layer
491309d4ab9f: Pulling fs layer
09ad64403577: Pulling fs layer
c539ffebe81e: Pulling fs layer
e21262dffcbc: Pulling fs layer
687114c20a60: Pulling fs layer
3b4f3dc8836b: Pulling fs layer
55044807af1b: Pulling fs layer
f0b83f251198: Pulling fs layer
3c84b9ec9462: Pulling fs layer
6ab4668b4026: Pulling fs layer
035fc17973ba: Pulling fs layer
66438f8df062: Pulling fs layer
2c9443628858: Pulling fs layer
4c77c496c4f8: Pulling fs layer
f7183a1a04aa: Pulling fs layer
72ba92e8e994: Pulling fs layer
98db3929d86c: Pulling fs layer
e28278c52e97: Pulling fs layer
4b944766872c: Pulling fs layer
93735eb0e520: Pulling fs layer
516ca7b7a67c: Pulling fs layer
491309d4ab9f: Waiting
09ad64403577: Waiting
c539ffebe81e: Waiting
e21262dffcbc: Waiting
687114c20a60: Waiting
3b4f3dc8836b: Waiting
55044807af1b: Waiting
f0b83f251198: Waiting
3c84b9ec9462: Waiting
6ab4668b4026: Waiting
035fc17973ba: Waiting
66438f8df062: Waiting
2c9443628858: Waiting
4c77c496c4f8: Waiting
f7183a1a04aa: Waiting
72ba92e8e994: Waiting
98db3929d86c: Waiting
e28278c52e97: Waiting
4b944766872c: Waiting
93735eb0e520: Waiting
516ca7b7a67c: Waiting
38f1be363536: Waiting
9a7a8d403b91: Waiting
b9e4f4f23b91: Waiting
2ffe915ce14c: Waiting
c0fac031a7cb: Waiting
b254a1eec312: Waiting
d489f97642e5: Waiting
4517b9bdb052: Waiting
502be28af561: Waiting
dd10bad1d888: Waiting
064481ef1cd2: Waiting
e2aef212e6ac: Waiting
1b4b9e2b33cd: Waiting
9d449432df84: Waiting
ec711f8c8d02: Waiting
00c34fff1c74: Waiting
4f4fb700ef54: Waiting
034a322c66c0: Waiting
d25a97104e97: Verifying Checksum
d25a97104e97: Download complete
f65680a00ae6: Verifying Checksum
f65680a00ae6: Download complete
21aa15808dc8: Verifying Checksum
21aa15808dc8: Download complete
2ffe915ce14c: Verifying Checksum
2ffe915ce14c: Download complete
9a7a8d403b91: Verifying Checksum
9a7a8d403b91: Download complete
38f1be363536: Verifying Checksum
38f1be363536: Download complete
b254a1eec312: Verifying Checksum
b254a1eec312: Download complete
b9e4f4f23b91: Verifying Checksum
b9e4f4f23b91: Download complete
4517b9bdb052: Verifying Checksum
4517b9bdb052: Download complete
d489f97642e5: Verifying Checksum
d489f97642e5: Download complete
dd10bad1d888: Verifying Checksum
dd10bad1d888: Download complete
034a322c66c0: Verifying Checksum
034a322c66c0: Download complete
21aa15808dc8: Pull complete
d25a97104e97: Pull complete
f65680a00ae6: Pull complete
c0fac031a7cb: Verifying Checksum
c0fac031a7cb: Download complete
9d449432df84: Verifying Checksum
9d449432df84: Download complete
ec711f8c8d02: Download complete
9a7a8d403b91: Pull complete
2ffe915ce14c: Pull complete
064481ef1cd2: Verifying Checksum
064481ef1cd2: Download complete
e2aef212e6ac: Verifying Checksum
e2aef212e6ac: Download complete
00c34fff1c74: Verifying Checksum
00c34fff1c74: Download complete
502be28af561: Download complete
1b4b9e2b33cd: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
491309d4ab9f: Verifying Checksum
491309d4ab9f: Download complete
09ad64403577: Verifying Checksum
09ad64403577: Download complete
c539ffebe81e: Verifying Checksum
c539ffebe81e: Download complete
e21262dffcbc: Verifying Checksum
e21262dffcbc: Download complete
687114c20a60: Verifying Checksum
687114c20a60: Download complete
3b4f3dc8836b: Verifying Checksum
3b4f3dc8836b: Download complete
55044807af1b: Verifying Checksum
55044807af1b: Download complete
f0b83f251198: Verifying Checksum
f0b83f251198: Download complete
3c84b9ec9462: Download complete
6ab4668b4026: Verifying Checksum
035fc17973ba: Verifying Checksum
035fc17973ba: Download complete
6ab4668b4026: Download complete
66438f8df062: Verifying Checksum
66438f8df062: Download complete
4c77c496c4f8: Verifying Checksum
4c77c496c4f8: Download complete
72ba92e8e994: Verifying Checksum
72ba92e8e994: Download complete
98db3929d86c: Verifying Checksum
98db3929d86c: Download complete
f7183a1a04aa: Verifying Checksum
f7183a1a04aa: Download complete
4b944766872c: Verifying Checksum
4b944766872c: Download complete
2c9443628858: Verifying Checksum
2c9443628858: Download complete
93735eb0e520: Verifying Checksum
93735eb0e520: Download complete
516ca7b7a67c: Verifying Checksum
516ca7b7a67c: Download complete
e28278c52e97: Download complete
b254a1eec312: Pull complete
38f1be363536: Pull complete
b9e4f4f23b91: Pull complete
c0fac031a7cb: Pull complete
d489f97642e5: Pull complete
4517b9bdb052: Pull complete
dd10bad1d888: Pull complete
034a322c66c0: Pull complete
9d449432df84: Pull complete
ec711f8c8d02: Pull complete
00c34fff1c74: Pull complete
502be28af561: Pull complete
064481ef1cd2: Pull complete
e2aef212e6ac: Pull complete
1b4b9e2b33cd: Pull complete
4f4fb700ef54: Pull complete
491309d4ab9f: Pull complete
09ad64403577: Pull complete
c539ffebe81e: Pull complete
e21262dffcbc: Pull complete
687114c20a60: Pull complete
3b4f3dc8836b: Pull complete
55044807af1b: Pull complete
f0b83f251198: Pull complete
3c84b9ec9462: Pull complete
6ab4668b4026: Pull complete
035fc17973ba: Pull complete
66438f8df062: Pull complete
2c9443628858: Pull complete
4c77c496c4f8: Pull complete
f7183a1a04aa: Pull complete
72ba92e8e994: Pull complete
98db3929d86c: Pull complete
e28278c52e97: Pull complete
4b944766872c: Pull complete
93735eb0e520: Pull complete
516ca7b7a67c: Pull complete
Digest: sha256:3c91d2fd1b0664e7452862b3f6311beebfc739670ce0b303a6f235e5d9bbab9a
Status: Downloaded newer image for ocaml/opam@sha256:3c91d2fd1b0664e7452862b3f6311beebfc739670ce0b303a6f235e5d9bbab9a
2025-01-21 17:59.27 ---> using "d7c0705b25edc3c7de3a331def5d8cf2f331af5cfd17ad51e31bf108554cb27c" from cache


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


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-01-21 17:59.27 ---> using "a4b97f8839bfe5fce19b6f98aa377180fd0acfeebe365bc97884edf820c9d9b9" from cache


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


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


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


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2025-01-21 17:59.27 ---> using "3f4516aedd8faafb5984865687af9f18d953e54be607a1209d888b8b3b34a159" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-51-generic
The OCaml toplevel, version 4.14.2
2.3.0
2025-01-21 17:59.27 ---> using "2fdecac0beae1f114f959362021f0d7fffecd02b7d9ef9515014a696f4b3ba14" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-01-21 17:59.27 ---> using "83eebc0666ce256bfdfc746dad1d44439ff161f62e4c2c4228ab375e2c2c388f" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e b41fc63234d56d04112634b1ea9121f12caf9794 || git fetch origin master) && git reset -q --hard b41fc63234d56d04112634b1ea9121f12caf9794 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
3e681a81f6..b41fc63234  master     -> origin/master
b41fc63234 Merge pull request #27302 from ocaml/dra27--rm-non-win32-host-pkgs


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


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-01-21 17:59.27 ---> using "f05497d39592ec6e64725a063c969970a2f391d0d17b953cc29cbd2f88f31423" from cache


/src: (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
(dst ./))
2025-01-21 17:59.37 ---> saved as "53565f1cdf3af08dd03d49d7cfb689f9407296c7c539bf959dd1d5ef58ee2f76"


/src: (run (network host)
(shell  "opam pin add -yn mirage-crypto.dev './' && \
\nopam pin add -yn mirage-crypto-rng.dev './' && \
\nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \
\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
\nopam pin add -yn mirage-crypto-rng-lwt.dev './' && \
\nopam pin add -yn mirage-crypto-rng-eio.dev './' && \
\nopam pin add -yn mirage-crypto-rng-async.dev './' && \
\nopam pin add -yn mirage-crypto-pk.dev './' && \
\nopam pin add -yn mirage-crypto-ec.dev './'"))
[mirage-crypto.dev] synchronised (file:///src)
mirage-crypto is now pinned to file:///src (version dev)
[mirage-crypto-rng.dev] synchronised (file:///src)
mirage-crypto-rng is now pinned to file:///src (version dev)
[mirage-crypto-rng-mirage.dev] synchronised (file:///src)
mirage-crypto-rng-mirage is now pinned to file:///src (version dev)
[mirage-crypto-rng-miou-unix.dev] synchronised (file:///src)
mirage-crypto-rng-miou-unix is now pinned to file:///src (version dev)
[mirage-crypto-rng-lwt.dev] synchronised (file:///src)
mirage-crypto-rng-lwt is now pinned to file:///src (version dev)
[mirage-crypto-rng-eio.dev] synchronised (file:///src)
mirage-crypto-rng-eio is now pinned to file:///src (version dev)
[mirage-crypto-rng-async.dev] synchronised (file:///src)
mirage-crypto-rng-async is now pinned to file:///src (version dev)
[mirage-crypto-pk.dev] synchronised (file:///src)
mirage-crypto-pk is now pinned to file:///src (version dev)
[mirage-crypto-ec.dev] synchronised (file:///src)
mirage-crypto-ec is now pinned to file:///src (version dev)
2025-01-21 18:00.10 ---> saved as "531294f8cc3b43349e2fb697775e0b37e1c09c77e0b8157009305b1ea621e446"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-01-21 18:00.21 ---> saved as "e0a2b8a381e669122a7b656b26b0902b4729fe3ca06a6dbe8a045b02563e8ad7"


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


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-lwt.dev mirage-crypto-rng-async.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian-security bookworm-security/main s390x Packages [208 kB]
- Fetched 311 kB in 1s (359 kB/s)
- Reading package lists...


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage-crypto.dev] synchronised (file:///src)
[mirage-crypto-ec.dev] synchronised (file:///src)
[mirage-crypto-pk.dev] synchronised (file:///src)
[mirage-crypto-rng.dev] synchronised (file:///src)
[mirage-crypto-rng-lwt.dev] synchronised (file:///src)
[mirage-crypto-rng-async.dev] synchronised (file:///src)
[mirage-crypto-rng-mirage.dev] synchronised (file:///src)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).


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


<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>


+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libgmpxx4ldbl:s390x.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
- (Reading database ... 100%
(Reading database ... 18518 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_s390x.deb ...
- Unpacking libgmpxx4ldbl:s390x (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:s390x.
- Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg1-1.1_s390x.deb ...
- Unpacking libgmp-dev:s390x (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libpkgconf3:s390x.
- Preparing to unpack .../2-libpkgconf3_1.8.1-1_s390x.deb ...
- Unpacking libpkgconf3:s390x (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-1_s390x.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:s390x.
- Preparing to unpack .../4-pkgconf_1.8.1-1_s390x.deb ...
- Unpacking pkgconf:s390x (1.8.1-1) ...
- Selecting previously unselected package pkg-config:s390x.
- Preparing to unpack .../5-pkg-config_1.8.1-1_s390x.deb ...
- Unpacking pkg-config:s390x (1.8.1-1) ...
- Setting up libpkgconf3:s390x (1.8.1-1) ...
- Setting up libgmpxx4ldbl:s390x (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libgmp-dev:s390x (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf:s390x (1.8.1-1) ...
- Setting up pkg-config:s390x (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...
2025-01-21 18:01.08 ---> saved as "09d23a52717e8587ca21d53e8995037d3cffa197a286a543c8c773143167ff18"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 104 packages
- install alcotest                1.8.0
- install asn1-combinators        0.3.2
- install astring                 0.8.5
- install async                   v0.14.0
- install async_kernel            v0.14.0
- install async_rpc_kernel        v0.14.0
- install async_unix              v0.14.0
- install base                    v0.14.3
- install base-bytes              base
- install base_bigstring          v0.14.0
- install base_quickcheck         v0.14.1
- install bin_prot                v0.14.1
- install cmdliner                1.3.0
- install conf-gmp                4
- install conf-gmp-powm-sec       3
- install conf-pkg-config         4
- install core                    v0.14.1
- install core_kernel             v0.14.2
- install cppo                    1.8.0
- install csexp                   1.5.2
- install digestif                1.2.0
- install domain-name             0.4.0
- install dune                    3.17.1
- install dune-configurator       3.17.1
- install duration                0.2.1
- install eqaf                    0.10
- install fieldslib               v0.14.0
- install fmt                     0.9.0
- install ipaddr                  5.6.0
- install jane-street-headers     v0.14.0
- install jst-config              v0.14.1
- install logs                    0.7.0
- install lwt                     5.9.0
- install macaddr                 5.6.0
- install mirage-clock            4.2.0
- install mirage-clock-unix       4.2.0
- install mirage-runtime          4.8.2
- install mirage-time             3.0.0
- install mirage-time-unix        3.0.0
- install mirage-unix             5.0.1
- install mtime                   2.1.0
- install num                     1.5-1
- install ocaml-compiler-libs     v0.12.4
- install ocaml-syntax-shims      1.0.0
- install ocamlbuild              0.15.0
- install ocamlfind               1.9.6
- install ocplib-endian           1.2
- install octavius                1.2.2
- install ohex                    0.2.0
- install ounit2                  2.2.7
- install parsexp                 v0.14.2
- install ppx_assert              v0.14.0
- install ppx_base                v0.14.0
- install ppx_bench               v0.14.1
- install ppx_bin_prot            v0.14.0
- install ppx_cold                v0.14.0
- install ppx_compare             v0.14.0
- install ppx_custom_printf       v0.14.1
- install ppx_derivers            1.2.1
- install ppx_deriving            5.2.1
- install ppx_deriving_yojson     3.6.1
- install ppx_enumerate           v0.14.0
- install ppx_expect              v0.14.2
- install ppx_fields_conv         v0.14.2
- install ppx_fixed_literal       v0.14.0
- install ppx_hash                v0.14.0
- install ppx_here                v0.14.0
- install ppx_inline_test         v0.14.1
- install ppx_jane                v0.14.0
- install ppx_js_style            v0.14.1
- install ppx_let                 v0.14.0
- install ppx_module_timer        v0.14.0
- install ppx_optcomp             v0.14.3
- install ppx_optional            v0.14.0
- install ppx_pipebang            v0.14.0
- install ppx_sexp_conv           v0.14.3
- install ppx_sexp_message        v0.14.1
- install ppx_sexp_value          v0.14.0
- install ppx_stable              v0.14.1
- install ppx_string              v0.14.1
- install ppx_typerep_conv        v0.14.2
- install ppx_variants_conv       v0.14.2
- install ppxlib                  0.25.1
- install protocol_version_header v0.14.0
- install ptime                   1.2.0
- install randomconv              0.2.0
- install re                      1.12.0
- install result                  1.5
- install seq                     base
- install sexplib                 v0.14.0
- install sexplib0                v0.14.0
- install spawn                   v0.17.0
- install splittable_random       v0.14.0
- install stdio                   v0.14.0
- install stdlib-shims            0.3.0
- install textutils               v0.14.0
- install time_now                v0.14.0
- install timezone                v0.14.0
- install topkg                   1.0.7
- install typerep                 v0.14.0
- install uutf                    1.0.3
- install variantslib             v0.14.0
- install yojson                  2.2.2
- install zarith                  1.14


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


/src: (copy (src .) (dst /src))
2025-01-21 18:13.46 ---> saved as "d2bcb3911b28739abb89c9c70d736de617877d7f4cfc422dad6d343891ca20a2"


/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: 64 tests in: 0.21 seconds.
OK
(cd _build/default/tests && ./test_random_runner.exe)
.........
Ran: 9 tests in: 0.21 seconds.
OK
(cd _build/default/tests && ./test_entropy_collection.exe)
reseeding:
000000  00c8 72ee 72f2 72f4  72f6 72f8 72fa 72fc  ..r.r.r.r.r.r.r.
000010  72fe 7200 7202 7204  7206 7208 720a 720c  r.r.r.r.r.r.r.r.
000020  720e 7210 7212 7214  7216 7218 721a 721c  r.r.r.r.r.r.r.r.
000030  721e 7220 7222 7224  722e 7230 7232 7234  r.r r"r$r.r0r2r4
000040  7236 7238 723a 723c  723e 7240 7242 7244  r6r8r:r<r>r@rBrD
000050  7246 7248 724a 724c  724e 7250 7252 7254  rFrHrJrLrNrPrRrT
000060  7256 7258 725a 725c  725e 7260 7262 7264  rVrXrZr\r^r`rbrd
000070  7266 7268 726a 726c  726e 7270 7272 7274  rfrhrjrlrnrprrrt
000080  7276 7278 727a 727c  727e 7280 7282 7284  rvrxrzr|r~r.r.r.
000090  7286 7288 728a 728c  728e 7290 7292 7294  r.r.r.r.r.r.r.r.
0000a0  7296 7298 729a 729c  729e 72a0 72a2 72a4  r.r.r.r.r.r.r.r.
0000b0  72a6 72a8 72aa 72ac  72ae 72b0 72b2 72b4  r.r.r.r.r.r.r.r.
0000c0  72b6 72b8 72ba 72bc  72be 01c8 72c0 72c2  r.r.r.r.r...r.r.
0000d0  72c4 72c6 72c8 72ca  72cc 72ce 72d0 72d2  r.r.r.r.r.r.r.r.
0000e0  72d4 72d6 72d8 72da  72dc 72de 72e0 72e2  r.r.r.r.r.r.r.r.
0000f0  72e4 72e6 72e8 72ea  72ec 72ee 72f0 72f2  r.r.r.r.r.r.r.r.
000100  72f4 72f6 72f8 72fa  72fc 72fe 7200 7202  r.r.r.r.r.r.r.r.
000110  7204 7206 7208 720a  720c 720e 7210 7212  r.r.r.r.r.r.r.r.
000120  7214 7216 7218 721a  721c 721e 7220 7222  r.r.r.r.r.r.r r"
000130  7224 7226 7228 722a  722c 722e 7230 7232  r$r&r(r*r,r.r0r2
000140  7234 7236 7238 723a  723c 723e 7240 7242  r4r6r8r:r<r>r@rB
000150  7244 7246 7248 724a  724c 724e 7250 7252  rDrFrHrJrLrNrPrR
000160  7254 7256 7258 725a  725c 725e 7260 7262  rTrVrXrZr\r^r`rb
000170  7264 7266 7268 726a  726c 726e 7270 7272  rdrfrhrjrlrnrprr
000180  7274 7276 7278 727a  727c 727e 7280 7282  rtrvrxrzr|r~r.r.
000190  7284 7286 02c8 7288  728a 728c 728e 7290  r.r...r.r.r.r.r.
0001a0  7292 7294 7296 7298  729a 729c 729e 72a0  r.r.r.r.r.r.r.r.
0001b0  72a2 72a4 72a6 72a8  72aa 72ac 72ae 72b0  r.r.r.r.r.r.r.r.
0001c0  72b2 72b4 72b6 72b8  72ba 72bc 72be 72c0  r.r.r.r.r.r.r.r.
0001d0  72c2 72c4 72c6 72c8  72ca 72cc 72ce 72d0  r.r.r.r.r.r.r.r.
0001e0  72d2 72d4 72d6 72d8  72da 72dc 72de 72e0  r.r.r.r.r.r.r.r.
0001f0  72e2 72e4 72e6 72e8  72ea 72ec 72ee 72f0  r.r.r.r.r.r.r.r.
000200  72f2 72f4 72f6 72f8  72fa 72fc 72fe 7200  r.r.r.r.r.r.r.r.
000210  7202 7204 7206 7208  720a 720c 720e 7210  r.r.r.r.r.r.r.r.
000220  7212 7214 7216 7218  721a 721c 721e 7220  r.r.r.r.r.r.r.r
000230  7222 7224 7226 7228  722a 722c 722e 7230  r"r$r&r(r*r,r.r0
000240  7232 7234 7236 7238  723a 723c 723e 7240  r2r4r6r8r:r<r>r@
000250  7242 7244 7246 7248  724a 724c 724e 03c8  rBrDrFrHrJrLrN..
000260  7250 7252 7254 7256  7258 725a 725c 725e  rPrRrTrVrXrZr\r^
000270  7260 7262 7264 7266  7268 726a 726c 726e  r`rbrdrfrhrjrlrn
000280  7270 7272 7274 7276  7278 727a 727c 727e  rprrrtrvrxrzr|r~
000290  7280 7282 7284 7286  7288 728a 728c 728e  r.r.r.r.r.r.r.r.
0002a0  7290 7292 7294 7296  7298 729a 729c 729e  r.r.r.r.r.r.r.r.
0002b0  72a0 72a2 72a4 72a6  72a8 72aa 72ac 72ae  r.r.r.r.r.r.r.r.
0002c0  72b0 72b2 72b4 72b6  72b8 72ba 72bc 72be  r.r.r.r.r.r.r.r.
0002d0  72c0 72c2 72c4 72c6  72c8 72ca 72cc 72ce  r.r.r.r.r.r.r.r.
0002e0  72d0 72d2 72d4 72d6  72d8 72da 72dc 72de  r.r.r.r.r.r.r.r.
0002f0  72e0 72e2 72e4 72e6  72e8 72ea 72ec 72ee  r.r.r.r.r.r.r.r.
000300  72f0 72f2 72f4 72f6  72f8 72fa 72fc 72fe  r.r.r.r.r.r.r.r.
000310  7200 7202 7204 7206  7208 720a 720c 720e  r.r.r.r.r.r.r.r.
000320  7210 7212 7214 7216                       r.r.r.r.


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


[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.124s. 64 tests run.
(cd _build/default/tests && ./test_entropy_collection_async.exe)
reseeding:
000000  00c8 4b0c 4b0e 4b10  4b12 4b14 4b16 4b18  ..K.K.K.K.K.K.K.
000010  4b1a 4b1c 4b1e 4b20  4b22 4b24 4b26 4b28  K.K.K.K K"K$K&K(
000020  4b2a 4b2c 4b2e 4b30  4b32 4b34 4b36 4b38  K*K,K.K0K2K4K6K8
000030  4b3a 4b3c 4b3e 4b40  4b42 4b44 4b46 4b48  K:K<K>K@KBKDKFKH
000040  4b4a 4b4c 4b4e 4b50  4b52 4b54 4b56 4b58  KJKLKNKPKRKTKVKX
000050  4b5a 4b5c 4b5e 4b60  4b62 4b64 4b66 4b68  KZK\K^K`KbKdKfKh
000060  4b6a 4b6c 4b6e 4b70  4b72 4b74 4b76 4b78  KjKlKnKpKrKtKvKx
000070  4b7a 4b7c 4b7e 4b80  4b82 4b84 4b86 4b88  KzK|K~K.K.K.K.K.
000080  4b8a 4b8c 4b8e 4b90  4b92 4b94 4b96 4b98  K.K.K.K.K.K.K.K.
000090  4b9a 4b9c 4b9e 4ba0  4ba2 4ba4 4ba6 4ba8  K.K.K.K.K.K.K.K.
0000a0  4baa 4bac 4bae 4bb0  4bb2 4bb4 4bb6 4bb8  K.K.K.K.K.K.K.K.
0000b0  4bba 4bbc 4bbe 4bc0  4bc2 4bc4 4bc6 4bc8  K.K.K.K.K.K.K.K.
0000c0  4bca 4bcc 4bce 4bd0  4bd2 01c8 4bd4 4bd6  K.K.K.K.K...K.K.
0000d0  4bd8 4bda 4bdc 4bde  4be0 4be2 4be4 4be6  K.K.K.K.K.K.K.K.
0000e0  4be8 4bea 4bec 4bee  4bf0 4bf2 4bf4 4bf6  K.K.K.K.K.K.K.K.
0000f0  4bf8 4bfa 4bfc 4bfe  4b00 4b02 4b04 4b06  K.K.K.K.K.K.K.K.
000100  4b08 4b0a 4b0c 4b0e  4b10 4b12 4b14 4b16  K.K.K.K.K.K.K.K.
000110  4b18 4b1a 4b1c 4b1e  4b20 4b22 4b24 4b26  K.K.K.K.K K"K$K&
000120  4b28 4b2a 4b2c 4b2e  4b30 4b32 4b34 4b36  K(K*K,K.K0K2K4K6
000130  4b38 4b3a 4b3c 4b3e  4b40 4b42 4b44 4b46  K8K:K<K>K@KBKDKF
000140  4b48 4b4a 4b4c 4b4e  4b50 4b52 4b54 4b56  KHKJKLKNKPKRKTKV
000150  4b58 4b5a 4b5c 4b5e  4b60 4b62 4b64 4b66  KXKZK\K^K`KbKdKf
000160  4b68 4b6a 4b6c 4b6e  4b70 4b72 4b74 4b76  KhKjKlKnKpKrKtKv
000170  4b78 4b7a 4b7c 4b7e  4b80 4b82 4b84 4b86  KxKzK|K~K.K.K.K.
000180  4b88 4b8a 4b8c 4b8e  4b90 4b92 4b94 4b96  K.K.K.K.K.K.K.K.
000190  4b98 4b9a 02c8 4b9c  4b9e 4ba0 4ba2 4ba4  K.K...K.K.K.K.K.
0001a0  4ba6 4ba8 4baa 4bac  4bae 4bb0 4bb2 4bb4  K.K.K.K.K.K.K.K.
0001b0  4bb6 4bb8 4bba 4bbc  4bbe 4bc0 4bc2 4bc4  K.K.K.K.K.K.K.K.
0001c0  4bc6 4bc8 4bca 4bcc  4bce 4bd0 4bd2 4bd4  K.K.K.K.K.K.K.K.
0001d0  4bd6 4bd8 4bda 4bdc  4bde 4be0 4be2 4be4  K.K.K.K.K.K.K.K.
0001e0  4be6 4be8 4bea 4bec  4bee 4bf0 4bf2 4bf4  K.K.K.K.K.K.K.K.
0001f0  4bf6 4bf8 4bfa 4bfc  4bfe 4b00 4b02 4b04  K.K.K.K.K.K.K.K.
000200  4b06 4b08 4b0a 4b0c  4b0e 4b10 4b12 4b14  K.K.K.K.K.K.K.K.
000210  4b16 4b18 4b1a 4b1c  4b1e 4b20 4b22 4b24  K.K.K.K.K.K K"K$
000220  4b26 4b28 4b2a 4b2c  4b2e 4b30 4b32 4b34  K&K(K*K,K.K0K2K4
000230  4b36 4b38 4b3a 4b3c  4b3e 4b40 4b42 4b44  K6K8K:K<K>K@KBKD
000240  4b46 4b48 4b4a 4b4c  4b4e 4b50 4b52 4b54  KFKHKJKLKNKPKRKT
000250  4b56 4b58 4b5a 4b5c  4b5e 4b60 4b62 0380  KVKXKZK\K^K`Kb..
000260  a787 eb34 e2e0 d070  c8ee c99e 424d 23ae  ...4...p....BM#.
000270  336c d2d0 e6bd 38b9  9690 5d53 f165 081d  3l....8...]S.e..
000280  adba 1c1d 56f4 27dd  d4f8 642f 3f02 ebc5  ....V.'...d/?...
000290  6f3c 85b7 1bdc 25a7  59ba c2ef 53cb de60  o<....%.Y...S..`
0002a0  6264 d493 2f65 1739  9f69 10f4 a75e 2ac6  bd../e.9.i...^*.
0002b0  7eeb b02b db49 bd7a  bcff 2d60 c023 7113  ~..+.I.z..-`.#q.
0002c0  291b ae5d 86f7 9c9c  7e28 c539 aef0 1edd  )..]....~(.9....
0002d0  f3d1 4745 5a40 0062  8d74 673a 9d18 1a88  ..GEZ@.b.tg:....


entropy sources: [0] getrandom [1] timer
accumulate: (src: [1] timer) 4b8c 14bc
accumulate: (src: [0] getrandom) b47e 6b7e c0a1 75c0
accumulate: (src: [1] timer) 446c 63e4
accumulate: (src: [1] timer) 447a a32d
accumulate: (src: [1] timer) 44a2 6047
accumulate: (src: [1] timer) 4b4c 5e54
accumulate: (src: [1] timer) 46d0 b461
accumulate: (src: [1] timer) 46fc 0f6f
accumulate: (src: [1] timer) 42b8 ec7b
accumulate: (src: [1] timer) 426a 6e8d
accumulate: (src: [1] timer) 438e ab99
accumulate: (src: [1] timer) 4146 6ca6
accumulate: (src: [1] timer) 417a 97b2
accumulate: (src: [1] timer) 41a0 37c2
accumulate: (src: [1] timer) 418a 7fd1
accumulate: (src: [1] timer) 41fe cfdd
accumulate: (src: [1] timer) 4144 0bea
accumulate: (src: [1] timer) 405c a4f6
accumulate: (src: [1] timer) 4044 2503
accumulate: (src: [1] timer) 4098 be12
accumulate: (src: [1] timer) 4058 0a32
accumulate: (src: [1] timer) 4260 493f
accumulate: (src: [1] timer) 476c 8678
accumulate: (src: [1] timer) 4884 d284
accumulate: (src: [1] timer) 4816 0f91
accumulate: (src: [1] timer) 4842 4c9d
accumulate: (src: [1] timer) 629e cfa6
accumulate: (src: [1] timer) 621a 10b3
accumulate: (src: [1] timer) 62f8 4cbf
accumulate: (src: [1] timer) 5192 8ccb
accumulate: (src: [1] timer) 51e8 c8d7
accumulate: (src: [1] timer) 62c2 21e4
accumulate: (src: [1] timer) 624a 5df0
accumulate: (src: [1] timer) 624c 9ffc
accumulate: (src: [1] timer) 6238 5709
accumulate: (src: [1] timer) 554a d715
accumulate: (src: [1] timer) 6372 5a23
accumulate: (src: [1] timer) 6352 8c30
accumulate: (src: [1] timer) 631e fd3c
accumulate: (src: [1] timer) 63f2 5049
accumulate: (src: [1] timer) 52a6 c255
accumulate: (src: [1] timer) 63c6 ff61
accumulate: (src: [1] timer) 632c 3b6e
accumulate: (src: [1] timer) 63c8 757a
accumulate: (src: [1] timer) 630c 4a90
accumulate: (src: [1] timer) 5134 d3c7
accumulate: (src: [1] timer) 551e 2bd9
accumulate: (src: [1] timer) 637e 45e8
accumulate: (src: [1] timer) 6378 98f5
accumulate: (src: [1] timer) 639c 1202
accumulate: (src: [1] timer) 637a 4c0e
accumulate: (src: [1] timer) 512e c61a
accumulate: (src: [1] timer) 54d6 3728
accumulate: (src: [1] timer) 53ca 7734
accumulate: (src: [1] timer) 5592 fa40
accumulate: (src: [1] timer) 63be b3f0
accumulate: (src: [1] timer) 72f4 fcfd
accumulate: (src: [1] timer) 7208 9c10
accumulate: (src: [1] timer) 7592 961d
accumulate: (src: [1] timer) 7480 3e2a
accumulate: (src: [1] timer) 4206 1937
accumulate: (src: [1] timer) 42a0 9643
accumulate: (src: [1] timer) 42c2 d14f
accumulate: (src: [1] timer) 4254 115c
accumulate: (src: [1] timer) 42e8 4f68
accumulate: (src: [1] timer) 429a 8874
accumulate: (src: [1] timer) 42ec 6d82
accumulate: (src: [1] timer) 42c2 a98e
accumulate: (src: [1] timer) 42be e49a
accumulate: (src: [1] timer) 4268 20a7
accumulate: (src: [1] timer) 421c 6ae5
accumulate: (src: [1] timer) 42c2 a9f1
accumulate: (src: [1] timer) 426e e4fd
accumulate: (src: [1] timer) 4286 1c0a
accumulate: (src: [1] timer) 42fe 5716
accumulate: (src: [1] timer) 427e 9022
accumulate: (src: [1] timer) 42a8 cb2e
accumulate: (src: [1] timer) 423c 043b
accumulate: (src: [1] timer) 421c 4047
accumulate: (src: [1] timer) 4218 7853
accumulate: (src: [1] timer) 477a 326f
accumulate: (src: [1] timer) 47b0 717b
accumulate: (src: [1] timer) 4736 ad87
accumulate: (src: [1] timer) 4732 e893
accumulate: (src: [1] timer) 473e 5aff
accumulate: (src: [1] timer) 471c 980b
accumulate: (src: [1] timer) 472e 091b
accumulate: (src: [1] timer) 6936 a1ab
accumulate: (src: [1] timer) 7998 044e
accumulate: (src: [1] timer) 79f8 425a
accumulate: (src: [1] timer) 793c 7c66
accumulate: (src: [1] timer) 7984 b472
accumulate: (src: [1] timer) 79ee ef7e
accumulate: (src: [1] timer) 7924 288b
accumulate: (src: [1] timer) 7988 6397
accumulate: (src: [1] timer) 79d6 9ba3
accumulate: (src: [1] timer) 794c d7af
accumulate: (src: [1] timer) 79ca 0fbc
accumulate: (src: [1] timer) 790c 4bc8
accumulate: (src: [1] timer) 79a6 83d4
accumulate: (src: [1] timer) 7914 bfe0
accumulate: (src: [1] timer) 7984 faec
accumulate: (src: [1] timer) 7942 35f9
accumulate: (src: [1] timer) 791c 7005
accumulate: (src: [1] timer) 796c ab11
accumulate: (src: [1] timer) 7388 e61d
accumulate: (src: [1] timer) 44b4 1eb7
accumulate: (src: [0] getrandom) 666c 273d 2d80 283d
(cd _build/default/tests && ./test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `K7C7N7TH'.


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


Full test results in `/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.
Test Successful in 13.724s. 3502 tests run.
(cd _build/default/tests && ./test_pk_runner.exe)
.......................................................................................................................................................................................................................................................................................................................................................................
Ran: 359 tests in: 5.82 seconds.
OK
2025-01-21 18:16.38 ---> saved as "fe476238ad16c80357fb3257b89cde5fb5e3c693bd8cf51b22e4244f379af60c"
Job succeeded
2025-01-21 18:16.39: Job succeeded