Organisationsmiragemirage-crypto1a4e3f ()debian-12-5.3_arm64_opam-2.3

debian-12-5.3_arm64_opam-2.3

Link Copied
Code Copied

Logs

2025-03-04 12:54.24: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/259/head (1a4e3f20ac8e4f791ce0213c62740ddf8fc37a03) (linux-arm64:debian-12-5.3_arm64_opam-2.3)
Base: ocaml/opam:debian-12-ocaml-5.3@sha256:f27e0e5c7833c4fd3f9e288cfbe1044b4c0a71f9f69e5d9f895c1191c4881956
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-crypto.git" && cd "mirage-crypto" && git fetch origin "refs/pull/259/head" && git reset --hard 1a4e3f20
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.3@sha256:f27e0e5c7833c4fd3f9e288cfbe1044b4c0a71f9f69e5d9f895c1191c4881956
# debian-12-5.3_arm64_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 5c627de42309bb6474331d403efeb6d68d617b1e || git fetch origin master) && git reset -q --hard 5c627de42309bb6474331d403efeb6d68d617b1e && 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.8.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 fmt.0.9.0 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.8.2 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 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.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.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.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


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


2025-03-04 12:54.24: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-12-ocaml-5.3@sha256:f27e0e5c7833c4fd3f9e288cfbe1044b4c0a71f9f69e5d9f895c1191c4881956-debian-12-5.3_arm64_opam-2.3-cbf02f8e83b1985128921049c73b03ef"
2025-03-04 12:54.24: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.3@sha256:f27e0e5c7833c4fd3f9e288cfbe1044b4c0a71f9f69e5d9f895c1191c4881956)
(comment debian-12-5.3_arm64_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 5c627de42309bb6474331d403efeb6d68d617b1e || git fetch origin master) && git reset -q --hard 5c627de42309bb6474331d403efeb6d68d617b1e && 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.8.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 fmt.0.9.0 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.8.2 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 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.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.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.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.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 @install @check @runtest && rm -rf _build"))
)


2025-03-04 12:54.24: Waiting for resource in pool OCluster
2025-03-04 12:54.24: Waiting for worker…
2025-03-04 12:54.24: Got resource from pool OCluster
Building on molpadia.caelum.ci.dev
HEAD is now at d097a93 mirage-crypto-ec: implementation of SECP256K1
HEAD is now at 1a4e3f2 mirage-crypto-ec: implementation of SECP256K1


(from ocaml/opam:debian-12-ocaml-5.3@sha256:f27e0e5c7833c4fd3f9e288cfbe1044b4c0a71f9f69e5d9f895c1191c4881956)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.3@sha256:f27e0e5c7833c4fd3f9e288cfbe1044b4c0a71f9f69e5d9f895c1191c4881956' locally
docker.io/ocaml/opam@sha256:f27e0e5c7833c4fd3f9e288cfbe1044b4c0a71f9f69e5d9f895c1191c4881956: Pulling from ocaml/opam
965bd485c2fd: Pulling fs layer
965bd485c2fd: Verifying Checksum
965bd485c2fd: Download complete
965bd485c2fd: Pull complete
Digest: sha256:f27e0e5c7833c4fd3f9e288cfbe1044b4c0a71f9f69e5d9f895c1191c4881956
Status: Downloaded newer image for ocaml/opam@sha256:f27e0e5c7833c4fd3f9e288cfbe1044b4c0a71f9f69e5d9f895c1191c4881956
2025-03-04 12:54.25 ---> using "9f3b2bc54185715cdd090508025cf9fde392345fc012cdadde905075983a2247" from cache


/: (comment debian-12-5.3_arm64_opam-2.3)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-03-04 12:54.25 ---> using "4ab24992e24f86b4644309ed8bd5a1761f7f395c83d81acb73f6abaa6812d4d2" 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 ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] Could not update repository "opam-repository-archive": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/opam-repository-archive/': Could not resolve host: github.com"
[default] synchronised from file:///home/opam/opam-repository
2025-03-04 12:54.25 ---> using "b4b6e03120451443d32b7d108243e3497cfce3576953b97ffd34c5bbd4516590" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-131-generic
The OCaml toplevel, version 5.3.0
2.3.0
2025-03-04 12:54.25 ---> using "b131ed33cae8d887707d75a99d0a2d10cc15672dbf2172a02d3f8e599db9e6ff" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-03-04 12:54.25 ---> using "c2681ddf83f0b26465e3a256bfd41aa03821906e28a814a95b613878a1a66277" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 5c627de42309bb6474331d403efeb6d68d617b1e || git fetch origin master) && git reset -q --hard 5c627de42309bb6474331d403efeb6d68d617b1e && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
eab2328a9d..5c627de423  master     -> origin/master
5c627de423 Merge pull request #27523 from hannesm/re-add-base-ocamlbuild


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
[opam-repository-archive] synchronised from git+https://github.com/ocaml/opam-repository-archive


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-03-04 12:54.25 ---> using "29885747ab2a0c63539ad38ee6a31ef6f5e029c08a5548e832273a6728151115" 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-03-04 12:54.25 ---> using "d9ed6cd367f9d9d9dee65b41c168cd6157747d42abdb0dd60edaf73d412c7ea4" from cache


/src: (run (network host)
(shell  "opam pin add -yn mirage-crypto.dev './' && \
\nopam pin add -yn mirage-crypto-rng.dev './' && \
\nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \
\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
\nopam pin add -yn mirage-crypto-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-03-04 12:54.25 ---> using "f0cfe66c6faef89258e791d1975ba02d85551eb027acfae3a79bd5b3c221613e" from cache


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-03-04 12:54.25 ---> using "ba9829311f4641830b05d11a606efed52c60bd4b79c931b3eb8b3bf5c4b3ddc0" from cache


/src: (env DEPS "alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 fmt.0.9.0 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.8.2 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 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.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.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.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.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 arm64 Packages [242 kB]
- Fetched 345 kB in 0s (718 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage-crypto-pk.dev] synchronised (file:///src)
[mirage-crypto.dev] synchronised (file:///src)
[mirage-crypto-ec.dev] synchronised (file:///src)
[mirage-crypto-rng.dev] synchronised (file:///src)
[mirage-crypto-rng-miou-unix.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 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml is already installed (current version is 5.3.0).
[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-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains 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:arm64.
- (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 ... 18799 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_arm64.deb ...
- Unpacking libgmpxx4ldbl:arm64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:arm64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg1-1.1_arm64.deb ...
- Unpacking libgmp-dev:arm64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libpkgconf3:arm64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-1_arm64.deb ...
- Unpacking libpkgconf3:arm64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-1_arm64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:arm64.
- Preparing to unpack .../4-pkgconf_1.8.1-1_arm64.deb ...
- Unpacking pkgconf:arm64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:arm64.
- Preparing to unpack .../5-pkg-config_1.8.1-1_arm64.deb ...
- Unpacking pkg-config:arm64 (1.8.1-1) ...
- Setting up libpkgconf3:arm64 (1.8.1-1) ...
- Setting up libgmpxx4ldbl:arm64 (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libgmp-dev:arm64 (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf:arm64 (1.8.1-1) ...
- Setting up pkg-config:arm64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...
2025-03-04 12:54.25 ---> using "5ad76904db9586ae450c9339540c5b72ef0adf55eb5756a13cbd9baef0db9881" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml is already installed (current version is 5.3.0).
[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-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains 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 48 packages
- install alcotest            1.8.0
- install asn1-combinators    0.3.2
- install astring             0.8.5
- install base-bytes          base
- install cmdliner            1.3.0
- install conf-gmp            4
- install conf-gmp-powm-sec   3
- install conf-pkg-config     4
- install cppo                1.8.0
- install csexp               1.5.2
- install digestif            1.2.0
- install domain-name         0.4.1
- install dune                3.17.2
- install dune-configurator   3.17.2
- install duration            0.2.1
- install eqaf                0.10
- install fmt                 0.9.0
- install ipaddr              5.6.0
- install logs                0.7.0
- install lwt                 5.9.0
- install macaddr             5.6.0
- install miou                0.3.1
- install mirage-mtime        5.0.0
- install mirage-runtime      4.8.2
- install mirage-sleep        4.0.0
- install mirage-unix         5.0.1
- install mtime               2.1.0
- install ocaml-compiler-libs v0.17.0
- 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.0.3
- install ppx_deriving_yojson 3.9.1
- install ppxlib              0.35.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.7
- install uutf                1.0.3
- 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.4  (cached)
-> retrieved conf-gmp-powm-sec.3  (cached)
-> retrieved alcotest.1.8.0  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> installed conf-gmp.4
-> installed conf-pkg-config.4
-> retrieved csexp.1.5.2  (cached)
-> retrieved domain-name.0.4.1  (cached)
-> installed conf-gmp-powm-sec.3
-> retrieved duration.0.2.1  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved digestif.1.2.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved ipaddr.5.6.0, macaddr.5.6.0  (cached)
-> retrieved lwt.5.9.0  (cached)
-> retrieved miou.0.3.1  (cached)
-> retrieved mirage-mtime.5.0.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.17.0  (cached)
-> retrieved mirage-runtime.4.8.2  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved dune.3.17.2, dune-configurator.3.17.2  (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.0.3  (cached)
-> retrieved ppx_deriving_yojson.3.9.1  (cached)
-> retrieved randomconv.0.2.0  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved seq.base  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved re.1.12.0  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved ppxlib.0.35.0  (cached)
-> installed cmdliner.1.3.0
-> installed seq.base
-> retrieved topkg.1.0.7  (cached)
-> retrieved yojson.2.2.2  (cached)
-> retrieved zarith.1.14  (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed zarith.1.14
-> installed ocamlbuild.0.16.1
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed mtime.2.1.0
-> installed fmt.0.9.0
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed dune.3.17.2
-> installed duration.0.2.1
-> installed macaddr.5.6.0
-> installed ohex.0.2.0
-> installed ppx_derivers.1.2.1
-> installed domain-name.0.4.1
-> installed mirage-mtime.5.0.0
-> installed randomconv.0.2.0
-> installed csexp.1.5.2
-> installed asn1-combinators.0.3.2
-> installed cppo.1.8.0
-> installed eqaf.0.10
-> installed miou.0.3.1
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed re.1.12.0
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed yojson.2.2.2
-> installed ipaddr.5.6.0
-> installed ocplib-endian.1.2
-> installed digestif.1.2.0
-> installed alcotest.1.8.0
-> installed ounit2.2.2.7
-> installed dune-configurator.3.17.2
-> installed lwt.5.9.0
-> installed mirage-sleep.4.0.0
-> installed logs.0.7.0
-> installed mirage-runtime.4.8.2
-> installed mirage-unix.5.0.1
-> installed ppxlib.0.35.0
-> installed ppx_deriving.6.0.3
-> installed ppx_deriving_yojson.3.9.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-03-04 12:54.25 ---> using "3f228cd01daa0c5462d31e1bafdb6f64636e02ea08927d3c7f696fde3956c43d" from cache


/src: (copy (src .) (dst /src))
2025-03-04 12:54.26 ---> saved as "16fd5c2148fbc9c7310288c60f79e438a660e93c68dddb82145cdbd2b6f6d425"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/tests && ./test_random_runner.exe)
.........
Ran: 9 tests in: 0.12 seconds.
OK
(cd _build/default/tests && ./test_symmetric_runner.exe)
accel:
................................................................
Ran: 64 tests in: 0.12 seconds.
OK
(cd _build/default/tests && ./test_miou_entropy_collection.exe)
reseeding:
000000  00c8 7060 7b60 8760  9360 9f60 ad60 bb60  ..p`{`.`.`.`.`.`
000010  cb60 db60 ed60 0061  1561 2b61 4361 5c61  .`.`.`.a.a+aCa\a
000020  7861 9561 b561 d761  fb61 2262 4b62 7862  xa.a.a.a.a"bKbxb
000030  a862 dc62 1363 4e63  8e63 d263 1b64 1f64  .b.b.cNc.c.c.d.d
000040  2364 2764 2c64 3164  3664 3b64 4164 4864  #d'd,d1d6d;dAdHd
000050  4f64 5764 5f64 6864  7164 7b64 8664 9264  OdWd_dhdqd{d.d.d
000060  9e64 ac64 ba64 c964  da64 ec64 ff64 1365  .d.d.d.d.d.d.d.e
000070  2965 4165 5a65 7565  9265 b265 d365 f765  )eAeZeue.e.e.e.e
000080  1e66 4766 7466 a366  d766 0d67 4867 8767  .fGftf.f.f.gHg.g
000090  cb67 1468 1768 1b68  1f68 2368 2768 2c68  .g.h.h.h.h#h'h,h
0000a0  3068 3668 3b68 4168  4868 4f68 5768 5f68  0h6h;hAhHhOhWh_h
0000b0  6768 7168 7b68 8668  9168 9e68 ab68 ba68  ghqh{h.h.h.h.h.h
0000c0  c968 da68 ec68 fe68  1369 01c8 7b69 9969  .h.h.h.h.i..{i.i
0000d0  b969 db69 006a 276a  516a 7e6a af6a e36a  .i.i.j'jQj~j.j.j
0000e0  1b6b 566b 976b dc6b  256c 2a6c 2f6c 346c  .kVk.k.k%l*l/l4l
0000f0  3a6c 406c 466c 4d6c  546c 5c6c 656c 6e6c  :l@lFlMlTl\lelnl
000100  786c 836c 8e6c 9a6c  a76c b56c c46c d56c  xl.l.l.l.l.l.l.l
000110  e66c f96c 0d6d 226d  396d 526d 6d6d 896d  .l.l.m"m9mRmmm.m
000120  a86d c96d ec6d 126e  3b6e 666e 956e c76e  .m.m.m.n;nfn.n.n
000130  fd6e 366f 746f b76f  fe6f 4a70 5170 5970  .n6oto.o.oJpQpYp
000140  6170 6a70 7470 7e70  8970 9570 a270 af70  apjptp~p.p.p.p.p
000150  be70 ce70 df70 f170  0471 1971 3071 4871  .p.p.p.p.q.q0qHq
000160  6271 7d71 9b71 bb71  dd71 0272 2a72 5472  bq}q.q.q.q.r*rTr
000170  8172 b272 e672 1e73  5b73 9b73 e073 2a74  .r.r.r.s[s.s.s*t
000180  2f74 3474 3a74 4074  4674 4d74 5574 5d74  /t4t:t@tFtMtUt]t
000190  6574 6f74 02c8 8074  8b74 9774 a474 b174  etot...t.t.t.t.t
0001a0  c074 d074 e174 f474  0775 1c75 3375 4b75  .t.t.t.t.u.u3uKu
0001b0  6675 8275 a075 c075  e375 0876 3076 5b76  fu.u.u.u.u.v0v[v
0001c0  8976 ba76 ef76 2777  6477 a577 eb77 3678  .v.v.v'wdw.w.w6x
0001d0  3c78 4278 4878 4f78  5778 5f78 6878 7178  <xBxHxOxWx_xhxqx
0001e0  7c78 8678 9278 9e78  ac78 ba78 c978 da78  |x.x.x.x.x.x.x.x
0001f0  ec78 ff78 1379 2979  4079 5a79 7579 9279  .x.x.y)y@yZyuy.y
000200  b179 d379 f779 1d7a  477a 737a a37a d67a  .y.y.y.zGzsz.z.z
000210  0d7b 487b 877b cb7b  137c 167c 1a7c 1e7c  .{H{.{.{.|.|.|.|
000220  227c 267c 2a7c 2f7c  347c 3a7c 407c 467c  "|&|*|/|4|:|@|F|
000230  4d7c 557c 5d7c 657c  6f7c 797c 837c 8f7c  M|U|]|e|o|y|.|.|
000240  9b7c a87c b67c c67c  d67c e87c fa7c 0f7d  .|.|.|.|.|.|.|.}
000250  247d 3c7d 557d 707d  8c7d ab7d cc7d 0380  $}<}U}p}.}.}.}..
000260  9f36 f1e3 4cb4 0a49  a426 ae1f 9da9 aa10  .6..L..I.&......
000270  99f5 2cf1 ef12 12d7  b9f1 a58f 41fa e5ad  ..,.........A...
000280  7744 22ab 2048 8eaf  379e 71c4 ca86 d620  wD". H..7.q....
000290  d475 b169 6438 daca  a090 7dbb 7001 52aa  .u.id8....}.p.R.
0002a0  7b03 5765 b585 a69f  3048 a240 b8d8 a18e  {.We....0H.@....
0002b0  34d5 b562 6597 2e67  3c59 2d04 7439 e198  4..be..g<Y-.t9..
0002c0  938b fae5 5031 5865  72c3 dbf3 5205 4f7f  ....P1Xer...R.O.
0002d0  45a6 e831 db32 4e6f  1e81 2d82 0bc3 9406  E..1.2No..-.....


entropy sources:
accumulate: (src: [0] getrandom) e7f5 fe33 02ad 956e
accumulate: (src: [0] getrandom) 1cf9 da58 10ef 1a08
(cd _build/default/tests && ./test_miou_rng.exe)
32 bit random number: 21f35c7414b5e71addbbfba50fd3586a63d9083b273db0151877ed3b8d586c84
16 bit random number: 6f2f56d003f4e57b96314093f5e6a687
(cd _build/default/tests && ./test_entropy_collection.exe)
reseeding:
000000  00c8 83d3 9bd3 b3d3  ccd3 e5d3 fed3 19d4  ................
000010  1ad4 1bd4 1dd4 1ed4  1fd4 21d4 22d4 24d4  ..........!.".$.
000020  25d4 27d4 29d4 2ad4  2cd4 2ed4 30d4 32d4  %.'.).*.,...0.2.
000030  34d4 35d4 37d4 3ad4  3cd4 3ed4 40d4 42d4  4.5.7.:.<.>.@.B.
000040  45d4 47d4 49d4 4cd4  4fd4 51d4 54d4 57d4  E.G.I.L.O.Q.T.W.
000050  59d4 5cd4 5fd4 62d4  66d4 69d4 6cd4 6fd4  Y.\._.b.f.i.l.o.
000060  73d4 76d4 7ad4 7ed4  82d4 86d4 8ad4 8ed4  s.v.z.~.........
000070  92d4 96d4 9bd4 9fd4  a4d4 a9d4 add4 b3d4  ................
000080  b8d4 bdd4 c2d4 c8d4  ced4 d3d4 d9d4 e0d4  ................
000090  e6d4 ecd4 f3d4 fad4  00d5 08d5 0fd5 16d5  ................
0000a0  1ed5 26d5 2ed5 36d5  3ed5 47d5 50d5 59d5  ..&...6.>.G.P.Y.
0000b0  62d5 6cd5 76d5 80d5  8ad5 95d5 9fd5 abd5  b.l.v...........
0000c0  b6d5 c2d5 ced5 dad5  e6d5 01c8 f4d5 02d6  ................
0000d0  0fd6 1dd6 2bd6 3ad6  49d6 58d6 68d6 78d6  ....+.:.I.X.h.x.
0000e0  88d6 99d6 abd6 bcd6  cfd6 e1d6 f4d6 08d7  ................
0000f0  1cd7 31d7 46d7 5cd7  72d7 89d7 a0d7 b8d7  ..1.F.\.r.......
000100  d0d7 e9d7 03d8 04d8  05d8 05d8 06d8 07d8  ................
000110  08d8 09d8 0ad8 0bd8  0cd8 0cd8 0dd8 0fd8  ................
000120  10d8 11d8 12d8 13d8  14d8 15d8 16d8 18d8  ................
000130  19d8 1ad8 1bd8 1dd8  1ed8 20d8 21d8 23d8  .......... .!.#.
000140  24d8 26d8 27d8 29d8  2bd8 2cd8 2ed8 30d8  $.&.'.).+.,...0.
000150  32d8 34d8 36d8 38d8  3ad8 3cd8 3ed8 40d8  2.4.6.8.:.<.>.@.
000160  43d8 45d8 47d8 4ad8  4cd8 4fd8 52d8 54d8  C.E.G.J.L.O.R.T.
000170  57d8 5ad8 5dd8 60d8  63d8 66d8 69d8 6dd8  W.Z.].`.c.f.i.m.
000180  70d8 73d8 77d8 7bd8  7ed8 82d8 86d8 8ad8  p.s.w.{.~.......
000190  8ed8 93d8 02c8 9dd8  a2d8 a6d8 abd8 b0d8  ................
0001a0  b5d8 bad8 c0d8 c5d8  cbd8 d1d8 d7d8 ddd8  ................
0001b0  e3d8 e9d8 f0d8 f6d8  fdd8 04d9 0bd9 13d9  ................
0001c0  1ad9 22d9 2ad9 32d9  3ad9 43d9 4cd9 55d9  ..".*.2.:.C.L.U.
0001d0  5ed9 67d9 71d9 7bd9  85d9 8fd9 9ad9 a5d9  ^.g.q.{.........
0001e0  b0d9 bcd9 c8d9 d4d9  e0d9 edd9 fad9 07da  ................
0001f0  15da 23da 31da 40da  4fda 5fda 6fda 7fda  ..#.1.@.O._.o...
000200  8fda a1da b2da c4da  d6da e9da fdda 10db  ................
000210  25db 3adb 4fdb 65db  7bdb 92db aadb c2db  %.:.O.e.{.......
000220  dbdb f4db 0edc 0fdc  10dc 11dc 12dc 14dc  ................
000230  15dc 16dc 17dc 19dc  1adc 1bdc 1cdc 1edc  ................
000240  1fdc 21dc 22dc 24dc  25dc 27dc 29dc 2adc  ..!.".$.%.'.).*.
000250  2cdc 2edc 2fdc 31dc  33dc 35dc 37dc 03c8  ,.../.1.3.5.7...
000260  3adc 3cdc 3edc 41dc  43dc 45dc 48dc 4adc  :.<.>.A.C.E.H.J.
000270  4ddc 4fdc 52dc 55dc  57dc 5adc 5ddc 60dc  M.O.R.U.W.Z.].`.
000280  63dc 67dc 6adc 6ddc  71dc 74dc 78dc 7bdc  c.g.j.m.q.t.x.{.
000290  7fdc 83dc 87dc 8bdc  8fdc 93dc 98dc 9cdc  ................
0002a0  a1dc a6dc aadc afdc  b4dc b9dc bfdc c4dc  ................
0002b0  cadc d0dc d6dc dcdc  e2dc e8dc efdc f5dc  ................
0002c0  fcdc 03dd 0add 12dd  19dd 21dd 29dd 31dd  ..........!.).1.
0002d0  39dd 42dd 4add 53dd  5ddd 66dd 70dd 7add  9.B.J.S.].f.p.z.
0002e0  84dd 8edd 99dd a4dd  afdd bbdd c6dd d2dd  ................
0002f0  dfdd ebdd f8dd 06de  13de 21de 30de 3ede  ..........!.0.>.
000300  4dde 5dde 6dde 7dde  8ede 9fde b0de c2de  M.].m.}.........
000310  d4de e7de fade 0edf  22df 37df 4ddf 62df  ........".7.M.b.
000320  79df 90df a7df bfdf                       y.......


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


[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   regression1.
[OK]          secp256k1 ECDSA                                 0   ECDSA gen.
[OK]          secp256k1 ECDSA                                 1   ECDSA ver...
[OK]          secp256k1 ECDSA sign                            0   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            1   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            2   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            3   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            4   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            5   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            6   ECDSA sig...


Full test results in `/src/_build/default/tests/_build/_tests/EC'.
Test Successful in 0.050s. 73 tests run.
(cd _build/default/tests && ./test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `QAPLH0MD'.


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


Full test results in `/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.
Test Successful in 5.174s. 4106 tests run.
(cd _build/default/tests && ./test_pk_runner.exe)
.......................................................................................................................................................................................................................................................................................................................................................................
Ran: 359 tests in: 3.25 seconds.
OK
2025-03-04 12:54.43 ---> saved as "e0b88bb0b095b4ed3073463560508174067a13b62828997a7d64a9a75f35d861"
Job succeeded
2025-03-04 12:54.43: Job succeeded