Organisationsmiragemirage-cryptob7bc8b (main)debian-12-4.14_arm32_opam-2.3

debian-12-4.14_arm32_opam-2.3

Link Copied
Code Copied

Logs

2025-04-18 18:26.03: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/main (b7bc8b88a21a194cb7178d9dc4a4f16c5274ff41) (linux-arm64:debian-12-4.14_arm32_opam-2.3)
Base: ocaml/opam:debian-12-ocaml-4.14@sha256:0fc2d79248bc7e987b259ba2c5ef3847784542e01ee10e77cd7e30479aaa697a
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-crypto.git" -b "main" && cd "mirage-crypto" && git reset --hard b7bc8b88
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.14@sha256:0fc2d79248bc7e987b259ba2c5ef3847784542e01ee10e77cd7e30479aaa697a
# debian-12-4.14_arm32_opam-2.3
USER 1000:1000
SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ]
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 442eddb8a363418dcb02e519972818da08bb7cd4 || git fetch origin master) && git reset -q --hard 442eddb8a363418dcb02e519972818da08bb7cd4 && 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-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-pk.dev './' && \
opam pin add -yn mirage-crypto-ec.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-name.0.4.1 dune.3.18.1 dune-configurator.3.18.1 duration.0.2.1 eqaf.0.10 fmt.0.10.0 ipaddr.5.6.0 logs.0.8.0 lwt.5.9.1 macaddr.5.6.0 mirage-mtime.5.0.0 mirage-runtime.4.9.0 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 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.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppx_deriving_yojson.3.10.0 ppxlib.0.36.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 uutf.1.0.4 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-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-pk,mirage-crypto-ec @install @check @runtest && rm -rf _build


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


2025-04-18 18:26.03: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-12-ocaml-4.14@sha256:0fc2d79248bc7e987b259ba2c5ef3847784542e01ee10e77cd7e30479aaa697a-debian-12-4.14_arm32_opam-2.3-f75c02ea8d3d1628c6533f6269a9fd2c"
2025-04-18 18:26.03: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.14@sha256:0fc2d79248bc7e987b259ba2c5ef3847784542e01ee10e77cd7e30479aaa697a)
(comment debian-12-4.14_arm32_opam-2.3)
(user (uid 1000) (gid 1000))
(shell /usr/bin/linux32 /bin/sh -c)
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 442eddb8a363418dcb02e519972818da08bb7cd4 || git fetch origin master) && git reset -q --hard 442eddb8a363418dcb02e519972818da08bb7cd4 && 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-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-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.9.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-name.0.4.1 dune.3.18.1 dune-configurator.3.18.1 duration.0.2.1 eqaf.0.10 fmt.0.10.0 ipaddr.5.6.0 logs.0.8.0 lwt.5.9.1 macaddr.5.6.0 mirage-mtime.5.0.0 mirage-runtime.4.9.0 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 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.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppx_deriving_yojson.3.10.0 ppxlib.0.36.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 uutf.1.0.4 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-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-pk,mirage-crypto-ec @install @check @runtest && rm -rf _build"))
)


2025-04-18 18:26.03: Waiting for resource in pool OCluster
2025-04-18 19:40.05: Waiting for worker…
2025-04-18 20:32.30: Got resource from pool OCluster
Building on kydoime.caelum.ci.dev
All commits already cached
HEAD is now at b7bc8b8 README: update FAQ do not refer to removed modules (reported in #263 by @kit-ty-kate)


(from ocaml/opam:debian-12-ocaml-4.14@sha256:0fc2d79248bc7e987b259ba2c5ef3847784542e01ee10e77cd7e30479aaa697a)
Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:0fc2d79248bc7e987b259ba2c5ef3847784542e01ee10e77cd7e30479aaa697a' locally
docker.io/ocaml/opam@sha256:0fc2d79248bc7e987b259ba2c5ef3847784542e01ee10e77cd7e30479aaa697a: Pulling from ocaml/opam
ca58f0fbef0c: Pulling fs layer
ca58f0fbef0c: Retrying in 5 seconds
ca58f0fbef0c: Retrying in 4 seconds
ca58f0fbef0c: Retrying in 3 seconds
ca58f0fbef0c: Retrying in 2 seconds
ca58f0fbef0c: Retrying in 1 second
ca58f0fbef0c: Verifying Checksum
ca58f0fbef0c: Download complete
ca58f0fbef0c: Pull complete
Digest: sha256:0fc2d79248bc7e987b259ba2c5ef3847784542e01ee10e77cd7e30479aaa697a
Status: Downloaded newer image for ocaml/opam@sha256:0fc2d79248bc7e987b259ba2c5ef3847784542e01ee10e77cd7e30479aaa697a
WARNING: The requested image's platform (linux/arm/v7) does not match the detected host platform (linux/arm64/v8) and no specific platform was requested
2025-04-18 20:32.30 ---> using "5803aaab52604376a2443db8c191a0675e94a247f1b08264730b2cb0d0f69681" from cache


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


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


/: (shell /usr/bin/linux32 /bin/sh -c)


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-04-18 20:32.30 ---> using "144f820aed84307b6bca57759cc580a769c1e0de122a5b755e69faf5949aa6e2" 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] Initialised
2025-04-18 20:32.30 ---> using "c086e9800d5cab27f9dd840859291525faa2346aec3ec25bf1c5af75007aba1f" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-134-generic
The OCaml toplevel, version 4.14.2
2.3.0
2025-04-18 20:32.30 ---> using "200ec9c1bb576a9cbefa68605ad35356a0fef83c817f675d872d756439212d45" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-04-18 20:32.30 ---> using "e4528fa61109a185e8e512ef135c87f12205b0b47f2d4617c6c8b35a3e5dc51d" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 442eddb8a363418dcb02e519972818da08bb7cd4 || git fetch origin master) && git reset -q --hard 442eddb8a363418dcb02e519972818da08bb7cd4 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
34a3fc46c3..999bff3ed8  master     -> origin/master
442eddb8a3 Merge pull request #27761 from maiste/release-dune-3.18.1


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


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, 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-04-18 20:32.30 ---> using "2ed4255662329fc32ff915ca8741a6bdd31e4c79e5813aea4425315318b837be" 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-pk.opam mirage-crypto-ec.opam)
(dst ./))
2025-04-18 20:32.30 ---> saved as "88762f371239a31589485c741efa51eea54987656699ded640f4f3cfdacacd84"


/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-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-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-04-18 20:32.40 ---> saved as "56abe5f59d7b4265ffb12b8ecee174779a78f527cc004a5acb46ad43aed87ac4"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-04-18 20:32.40 ---> saved as "0834c1ca8d425b5d80c082d4133fba1952787f7aa3f9d1b6245ec28890e1a21a"


/src: (env DEPS "alcotest.1.9.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-name.0.4.1 dune.3.18.1 dune-configurator.3.18.1 duration.0.2.1 eqaf.0.10 fmt.0.10.0 ipaddr.5.6.0 logs.0.8.0 lwt.5.9.1 macaddr.5.6.0 mirage-mtime.5.0.0 mirage-runtime.4.9.0 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 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.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppx_deriving_yojson.3.10.0 ppxlib.0.36.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 uutf.1.0.4 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-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 armhf Packages [236 kB]
- Fetched 339 kB in 0s (697 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage-crypto-ec.dev] synchronised (file:///src)
[mirage-crypto.dev] synchronised (file:///src)
[mirage-crypto-pk.dev] synchronised (file:///src)
[mirage-crypto-rng.dev] synchronised (file:///src)
[mirage-crypto-rng-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:armhf.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18475 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
- Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:armhf.
- Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
- Unpacking libgmp-dev:armhf (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libpkgconf3:armhf.
- Preparing to unpack .../2-libpkgconf3_1.8.1-1_armhf.deb ...
- Unpacking libpkgconf3:armhf (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-1_armhf.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:armhf.
- Preparing to unpack .../4-pkgconf_1.8.1-1_armhf.deb ...
- Unpacking pkgconf:armhf (1.8.1-1) ...
- Selecting previously unselected package pkg-config:armhf.
- Preparing to unpack .../5-pkg-config_1.8.1-1_armhf.deb ...
- Unpacking pkg-config:armhf (1.8.1-1) ...
- Setting up libpkgconf3:armhf (1.8.1-1) ...
- Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libgmp-dev:armhf (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf:armhf (1.8.1-1) ...
- Setting up pkg-config:armhf (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u10) ...
2025-04-18 20:32.54 ---> saved as "1a9487736f93ea460e86c4b6b9ab367ed019f925bb41e3e9285f8f5ae4cadfe5"


/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 47 packages
- install alcotest            1.9.0
- install asn1-combinators    0.3.2
- install astring             0.8.5
- install base-bytes          base
- install cmdliner            1.3.0
- install conf-gmp            5
- install conf-gmp-powm-sec   4
- install conf-pkg-config     4
- install cppo                1.8.0
- install csexp               1.5.2
- install digestif            1.3.0
- install domain-name         0.4.1
- install dune                3.18.1
- install dune-configurator   3.18.1
- install duration            0.2.1
- install eqaf                0.10
- install fmt                 0.10.0
- install ipaddr              5.6.0
- install logs                0.8.0
- install lwt                 5.9.1
- install macaddr             5.6.0
- install mirage-mtime        5.0.0
- install mirage-runtime      4.9.0
- install mirage-sleep        4.0.0
- install mirage-unix         5.0.1
- install mtime               2.1.0
- install ocaml-compiler-libs v0.12.4
- install ocaml-syntax-shims  1.0.0
- install ocamlbuild          0.16.1
- install ocamlfind           1.9.8
- install ocplib-endian       1.2
- install ohex                0.2.0
- install ounit2              2.2.7
- install ppx_derivers        1.2.1
- install ppx_deriving        6.1.0
- install ppx_deriving_yojson 3.10.0
- install ppxlib              0.36.0
- install ptime               1.2.0
- install randomconv          0.2.0
- install re                  1.12.0
- install seq                 base
- install sexplib0            v0.17.0
- install stdlib-shims        0.3.0
- install topkg               1.0.8
- install uutf                1.0.4
- install yojson              2.2.2
- install zarith              1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved asn1-combinators.0.3.2  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved conf-gmp-powm-sec.4  (cached)
-> installed conf-pkg-config.4
-> installed conf-gmp.5
-> retrieved alcotest.1.9.0  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> installed conf-gmp-powm-sec.4
-> retrieved csexp.1.5.2  (cached)
-> retrieved domain-name.0.4.1  (cached)
-> retrieved duration.0.2.1  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved fmt.0.10.0  (cached)
-> retrieved ipaddr.5.6.0, macaddr.5.6.0  (cached)
-> retrieved logs.0.8.0  (cached)
-> retrieved lwt.5.9.1  (cached)
-> retrieved mirage-mtime.5.0.0  (cached)
-> retrieved digestif.1.3.0  (cached)
-> retrieved mirage-runtime.4.9.0  (cached)
-> retrieved mirage-sleep.4.0.0  (cached)
-> retrieved mirage-unix.5.0.1  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved dune.3.18.1, dune-configurator.3.18.1  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved ounit2.2.2.7  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.1.0  (cached)
-> retrieved ppx_deriving_yojson.3.10.0  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved randomconv.0.2.0  (cached)
-> retrieved seq.base  (cached)
-> retrieved re.1.12.0  (cached)
-> retrieved ppxlib.0.36.0  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved topkg.1.0.8  (cached)
-> retrieved yojson.2.2.2  (cached)
-> retrieved zarith.1.14  (cached)
-> installed cmdliner.1.3.0
-> installed seq.base
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed zarith.1.14
-> installed ocamlbuild.0.16.1
-> installed topkg.1.0.8
-> installed uutf.1.0.4
-> installed mtime.2.1.0
-> installed fmt.0.10.0
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed dune.3.18.1
-> installed domain-name.0.4.1
-> installed duration.0.2.1
-> installed csexp.1.5.2
-> installed macaddr.5.6.0
-> installed mirage-mtime.5.0.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ohex.0.2.0
-> installed ppx_derivers.1.2.1
-> installed randomconv.0.2.0
-> installed stdlib-shims.0.3.0
-> installed asn1-combinators.0.3.2
-> installed eqaf.0.10
-> installed ocaml-compiler-libs.v0.12.4
-> installed sexplib0.v0.17.0
-> installed yojson.2.2.2
-> installed cppo.1.8.0
-> installed ipaddr.5.6.0
-> installed re.1.12.0
-> installed dune-configurator.3.18.1
-> installed digestif.1.3.0
-> installed ocplib-endian.1.2
-> installed ounit2.2.2.7
-> installed alcotest.1.9.0
-> installed lwt.5.9.1
-> installed mirage-sleep.4.0.0
-> installed logs.0.8.0
-> installed mirage-runtime.4.9.0
-> installed mirage-unix.5.0.1
-> installed ppxlib.0.36.0
-> installed ppx_deriving.6.1.0
-> installed ppx_deriving_yojson.3.10.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-04-18 20:34.14 ---> saved as "d15a597ec77eb2ea61ca32a7ce7a3fcc53a335b3a90cd534a8cfbf28eb13983f"


/src: (copy (src .) (dst /src))
2025-04-18 20:34.14 ---> saved as "a0b60fbc4afc2f606f7c5cefa9e6ddb93cc7e7bedb3e43df9636a2c94ef280a9"


/src: (run (shell "opam exec -- dune build --only-packages=mirage-crypto,mirage-crypto-rng,mirage-crypto-rng-mirage,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.12 seconds.
OK
(cd _build/default/tests && ./test_random_runner.exe)
.........
Ran: 9 tests in: 0.12 seconds.
OK
(cd _build/default/tests && ./test_entropy_collection.exe)
reseeding:
000000  00c8 6405 2c65 f4b5  ed35 2db4 ddc2 bd78  ..d.,e...5-....x
000010  edac 26ed 463b 8609  c76e 571f 80f1 5855  ..&.F;...nW...XU
000020  58af 9180 f9a9 e12a  eae0 8220 da45 b2c2  X......*... .E..
000030  f36d 4bed 2b44 1352  c3d8 840e 74af a588  .mK.+D.R....t...
000040  0db7 0578 4d7b 464b  9618 1643 4f05 6f5d  ...xM{FK...CO.o]
000050  0fbd b705 8876 9018  8041 30a5 a9f5 a166  .....v...A0....f
000060  710e 02ab a269 4bd5  532c 2b45 6394 9bb1  q....iK.S,+Ec...
000070  8b1b e4f9 7c75 3cd8  fdea 35a8 15b9 fd02  ....|u<...5.....
000080  6ebf 5e97 176b 9f2d  48d5 282c 2039 2089  n.^..k.-H.(, 9 .
000090  88d5 f13a 91f4 a91d  318b 8253 6b2e 6bc9  ...:....1..Sk.k.
0000a0  cb27 4c15 546c 7c85  3ce8 fcfa e5b7 2dab  .'L.Tl|.<.....-.
0000b0  8e72 d615 4f8e bf22  f7d0 b013 c8fa c9ae  .r..O.."........
0000c0  315f c228 5a5e 9af5  625f 01c8 3343 130d  1_.(Z^..b_..3C..
0000d0  8456 24f7 95bd 1d26  25af 9675 6ede 367a  .V$....&%..un.6z
0000e0  0709 a74f 8f34 585d  f8b7 f0af e1a5 0121  ...O.4X].......!
0000f0  5a69 d2c3 0ab3 9b72  8b18 3b40 ab52 34fc  Zi.....r..;@.R4.
000100  c40c ac42 84ec 5512  2da8 b5b6 9562 6e07  ...B..U.-....bn.
000110  e6de a796 df3f c031  c0a4 e0d9 b154 c185  .....?.1.....T..
000120  09fc 6900 591f faf1  3273 9a3c 3368 7378  ..i.Y...2s.<3hsx
000130  339a 3b28 fb3a bcf7  7ce1 1444 944b 1d2c  3.;(.:..|..D.K.,
000140  4536 85c8 a6ee 1697  165a 3fe1 7735 cf96  E6.......Z?.w5..
000150  e84b f83f c937 d224  525e b2f3 1bdb 6b9e  .K.?.7.$R^....k.
000160  9439 1ca2 d42a adde  7589 55ea 7e80 e6a4  .9...*..u.U.~...
000170  8ee3 d6c2 b709 f07b  e071 d9ec 6128 4945  .......{.q..a(IE
000180  f99e 5a75 22d0 8adb  0aba b33e 0beb 8cab  ..Zu"......>....
000190  0c8a 9cd1 02c8 8cfa  7d37 ad89 15b3 35fc  ........}7....5.
0001a0  7502 853d 5563 eeb1  1ee1 b6fd e627 4e83  u..=Uc.......'N.
0001b0  6ed1 76f6 af31 3f5b  a7a7 97fd 1f25 df41  n.v..1?[.....%.A
0001c0  cf6f 90c8 e0d7 d032  d875 28a3 b0ed 4017  .o.....2.u(...@.
0001d0  2164 5968 5972 11ab  b9f3 114b 9193 7ae7  !dYhYr.....K..z.
0001e0  5a39 825c 926a 4aa8  bab0 1ac4 8ac7 d21a  Z9.\.jJ.........
0001f0  035e 3b8f a3db 1b31  8b4d fb73 43d1 24f1  .^;....1.M.sC.$.
000200  340e cc43 dc9c 5cb3  bc02 e443 859e fdda  4..C..\....C....
000210  1522 cd55 2d82 d5b6  7dfa 2e36 266b d6b5  .".U-...}..6&k..
000220  d6e2 7e26 5662 bf9a  5fdc d7e6 7f2a 7f66  ..~&Vb.._....*.f
000230  57a2 e7da f81f f07c  5095 70b6 30f1 580f  W......|P.p.0.X.
000240  405e e095 f9c3 f120  7939 315e 7993 59e5  @^..... y91^y.Y.
000250  4107 2254 8258 9266  4aa4 baac f2bf 03c8  A."T.X.fJ.......
000260  9a1c da2c 3243 d28e  03d2 3b03 a34f a3a4  ...,2C....;..O..
000270  abb5 13df fb28 4b42  c479 5ca5 6cc7 3418  .....(KB.y\.l.4.
000280  741e 8459 2c7f 54ca  9502 7540 454d 4d6d  t..Y,.T...u@EMMm
000290  1d8e 85c1 55e7 1536  b668 c67b bed3 162b  ....U..6.h.{...+
0002a0  e673 26cf ef1a 9f60  7f71 af96 e7d6 f71b  .s&....`.q......
0002b0  2878 007d f096 78dc  98e9 2011 e02d f85b  (x.}..x... ..-.[
0002c0  f0b8 50d1 70f2 092d  9947 a99b c1f1 091d  ..P.p..-.G......
0002d0  c137 e28f 12ec baee  e22f d28a 02ce 12ff  .7......./......
0002e0  0b48 eb49 f378 a391  43ba f3f0 a309 4332  .H.I.x..C.....C2
0002f0  f368 a381 44aa 1ce1  8cfd fc23 a480 d491  .h..D......#....
000300  d4be 2c02 1538 0d3b  3d83 55cf 151e b550  ..,..8.;=.U....P
000310  9d63 9db8 2ec9 2ee7  7e32 566e e6a6 ceeb  .c......~2Vn....
000320  0645 6f5f 5fb0 ffba                       .Eo__...


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


[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.108s. 64 tests run.
(cd _build/default/tests && ./test_pk_runner.exe)
.......................................................................................................................................................................................................................................................................................................................................................................
Ran: 359 tests in: 6.94 seconds.
OK
(cd _build/default/tests && ./test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `8A2DUS1V'.


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


Full test results in `/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.
Test Successful in 15.018s. 3502 tests run.
2025-04-18 20:34.52 ---> saved as "f3dd0f86bb7d4bad3afd725a89780afb9a571864ea7b4745e3c8840adb05d714"
Job succeeded
2025-04-18 20:34.54: Job succeeded