Organisationsmiragemirage-crypto451538 ()debian-12-5.3_arm32_opam-2.3

debian-12-5.3_arm32_opam-2.3

Link Copied
Code Copied

Logs

2025-05-15 11:43.00: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/main (451538dd395958a038880aaa7c13b23ccf28fae6) (linux-arm64:debian-12-5.3_arm32_opam-2.3)
Base: ocaml/opam:debian-12-ocaml-5.3@sha256:71c585b40a233634d2ba60a97652fd4cb5dae7b100662571d5727ada704faa6f
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-crypto.git" -b "main" && cd "mirage-crypto" && git reset --hard 451538dd
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.3@sha256:71c585b40a233634d2ba60a97652fd4cb5dae7b100662571d5727ada704faa6f
# debian-12-5.3_arm32_opam-2.3
USER 1000:1000
SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ]
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam ./
RUN opam pin add -yn mirage-crypto.dev './' && \
opam pin add -yn mirage-crypto-rng.dev './' && \
opam pin add -yn mirage-crypto-rng-mirage.dev './' && \
opam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
opam pin add -yn mirage-crypto-pk.dev './' && \
opam pin add -yn mirage-crypto-ec.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-name.0.4.1 dune.3.18.2 dune-configurator.3.18.2 duration.0.2.1 eqaf.0.10 fmt.0.10.0 ipaddr.5.6.0 logs.0.8.0 lwt.5.9.1 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.9.0 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppx_deriving_yojson.3.10.0 ppxlib.0.36.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 uutf.1.0.4 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-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-05-15 11:43.00: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-12-ocaml-5.3@sha256:71c585b40a233634d2ba60a97652fd4cb5dae7b100662571d5727ada704faa6f-debian-12-5.3_arm32_opam-2.3-e8f280fc33abbe8f784909f7ae691e59"
2025-05-15 11:43.00: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.3@sha256:71c585b40a233634d2ba60a97652fd4cb5dae7b100662571d5727ada704faa6f)
(comment debian-12-5.3_arm32_opam-2.3)
(user (uid 1000) (gid 1000))
(shell /usr/bin/linux32 /bin/sh -c)
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
(dst ./))
(run (network host)
(shell  "opam pin add -yn mirage-crypto.dev './' && \
\nopam pin add -yn mirage-crypto-rng.dev './' && \
\nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \
\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
\nopam pin add -yn mirage-crypto-pk.dev './' && \
\nopam pin add -yn mirage-crypto-ec.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-name.0.4.1 dune.3.18.2 dune-configurator.3.18.2 duration.0.2.1 eqaf.0.10 fmt.0.10.0 ipaddr.5.6.0 logs.0.8.0 lwt.5.9.1 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.9.0 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppx_deriving_yojson.3.10.0 ppxlib.0.36.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 uutf.1.0.4 yojson.2.2.2 zarith.1.14")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-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-05-15 11:43.00: Waiting for resource in pool OCluster
2025-05-15 11:43.00: Waiting for worker…
2025-05-15 11:43.00: Got resource from pool OCluster
Building on kydoime.caelum.ci.dev
HEAD is now at 227e351 Merge pull request #265 from hannesm/no-dkml-ci
HEAD is now at 451538d changes for 2.0.1


(from ocaml/opam:debian-12-ocaml-5.3@sha256:71c585b40a233634d2ba60a97652fd4cb5dae7b100662571d5727ada704faa6f)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.3@sha256:71c585b40a233634d2ba60a97652fd4cb5dae7b100662571d5727ada704faa6f' locally
docker.io/ocaml/opam@sha256:71c585b40a233634d2ba60a97652fd4cb5dae7b100662571d5727ada704faa6f: Pulling from ocaml/opam
1b4fb3e02e16: Pulling fs layer
1b4fb3e02e16: Verifying Checksum
1b4fb3e02e16: Download complete
1b4fb3e02e16: Pull complete
Digest: sha256:71c585b40a233634d2ba60a97652fd4cb5dae7b100662571d5727ada704faa6f
Status: Downloaded newer image for ocaml/opam@sha256:71c585b40a233634d2ba60a97652fd4cb5dae7b100662571d5727ada704faa6f
WARNING: The requested image's platform (linux/arm/v7) does not match the detected host platform (linux/arm64/v8) and no specific platform was requested
2025-05-15 11:43.01 ---> using "4014f3d07420d009ce6703e770f4e84f8da319d8f2397f249f6d8bb27eb76ab4" from cache


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


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


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-05-15 11:43.01 ---> using "006c71a59f49e5628c158da699cec04f5ac8489fcc13393712f5c5f8540ece08" from cache


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


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


Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-05-15 11:43.01 ---> using "314e9124bb78cc1087879e80c40df8c7548a14e79c16ffec4c1e54d307e9e311" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-134-generic
The OCaml toplevel, version 5.3.0
2.3.0
2025-05-15 11:43.01 ---> using "6a2d60bb9de3b6159a54ab46f59b5dfe72a365cd372830e90e2e08d296a6501a" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-05-15 11:43.01 ---> using "a544d8562359f0a4175bab283fb8c7c206c8941d5cb9b40cc7f7d0b1e3b1257f" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && git log --no-decorate -n1 --oneline && opam update -u"))
35eb2f107a Merge pull request #27838 from maiste/release-dune-3.18.2


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


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-05-15 11:43.01 ---> using "9b4a7944e9af2cabf6127bf42df8cbcb501fafd46dd8af4642d1e09c3cc690f7" 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-05-15 11:43.01 ---> using "8f13ce09050692e76488c9e89e59491fa1b7ab9f2204642de0b2dcc83253803f" 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-05-15 11:43.01 ---> using "b304ad460cc1e4a774fc6a79a95394db3081feea8e55edb607bb493d9a6723cb" from cache


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-05-15 11:43.01 ---> using "9da0cb1ee64774a04f9f6c3bc13e154b50ff1594753e93036c783a5a6d551ba4" from cache


/src: (env DEPS "alcotest.1.9.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.5 conf-gmp-powm-sec.4 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-name.0.4.1 dune.3.18.2 dune-configurator.3.18.2 duration.0.2.1 eqaf.0.10 fmt.0.10.0 ipaddr.5.6.0 logs.0.8.0 lwt.5.9.1 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.9.0 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppx_deriving_yojson.3.10.0 ppxlib.0.36.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 uutf.1.0.4 yojson.2.2.2 zarith.1.14")


/src: (env CI true)


/src: (env OCAMLCI true)


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


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage-crypto.dev] synchronised (file:///src)
[mirage-crypto-ec.dev] synchronised (file:///src)
[mirage-crypto-pk.dev] synchronised (file:///src)
[mirage-crypto-rng.dev] synchronised (file:///src)
[mirage-crypto-rng-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-option-bytecode-only 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:armhf.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18506 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
- Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:armhf.
- Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
- Unpacking libgmp-dev:armhf (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libpkgconf3:armhf.
- Preparing to unpack .../2-libpkgconf3_1.8.1-1_armhf.deb ...
- Unpacking libpkgconf3:armhf (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-1_armhf.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:armhf.
- Preparing to unpack .../4-pkgconf_1.8.1-1_armhf.deb ...
- Unpacking pkgconf:armhf (1.8.1-1) ...
- Selecting previously unselected package pkg-config:armhf.
- Preparing to unpack .../5-pkg-config_1.8.1-1_armhf.deb ...
- Unpacking pkg-config:armhf (1.8.1-1) ...
- Setting up libpkgconf3:armhf (1.8.1-1) ...
- Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libgmp-dev:armhf (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf:armhf (1.8.1-1) ...
- Setting up pkg-config:armhf (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u10) ...
2025-05-15 11:43.01 ---> using "9c3aa6f03faed756d2d5d738925f0a0441f9d8cd1dcd78527d6ba039d0293b85" 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-option-bytecode-only 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.9.0
- install asn1-combinators    0.3.2
- install astring             0.8.5
- install base-bytes          base
- install cmdliner            1.3.0
- install conf-gmp            5
- install conf-gmp-powm-sec   4
- install conf-pkg-config     4
- install cppo                1.8.0
- install csexp               1.5.2
- install digestif            1.3.0
- install domain-name         0.4.1
- install dune                3.18.2
- install dune-configurator   3.18.2
- install duration            0.2.1
- install eqaf                0.10
- install fmt                 0.10.0
- install ipaddr              5.6.0
- install logs                0.8.0
- install lwt                 5.9.1
- install macaddr             5.6.0
- install miou                0.3.1
- install mirage-mtime        5.0.0
- install mirage-runtime      4.9.0
- install mirage-sleep        4.0.0
- install mirage-unix         5.0.1
- install mtime               2.1.0
- install ocaml-compiler-libs v0.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.1.0
- install ppx_deriving_yojson 3.10.0
- install ppxlib              0.36.0
- install ptime               1.2.0
- install randomconv          0.2.0
- install re                  1.12.0
- install seq                 base
- install sexplib0            v0.17.0
- install stdlib-shims        0.3.0
- install topkg               1.0.8
- install uutf                1.0.4
- install yojson              2.2.2
- install zarith              1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5  (cached)
-> retrieved asn1-combinators.0.3.2  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved conf-gmp-powm-sec.4  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved alcotest.1.9.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved csexp.1.5.2  (cached)
-> retrieved domain-name.0.4.1  (cached)
-> installed conf-gmp-powm-sec.4
-> retrieved duration.0.2.1  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved fmt.0.10.0  (cached)
-> retrieved ipaddr.5.6.0, macaddr.5.6.0  (cached)
-> retrieved logs.0.8.0  (cached)
-> retrieved lwt.5.9.1  (cached)
-> retrieved digestif.1.3.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 mirage-runtime.4.9.0  (cached)
-> retrieved ocaml-compiler-libs.v0.17.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved dune.3.18.2, dune-configurator.3.18.2  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved ounit2.2.2.7  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.1.0  (cached)
-> retrieved ppx_deriving_yojson.3.10.0  (cached)
-> retrieved randomconv.0.2.0  (cached)
-> installed cmdliner.1.3.0
-> retrieved ptime.1.2.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved re.1.12.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved topkg.1.0.8  (cached)
-> retrieved yojson.2.2.2  (cached)
-> retrieved ppxlib.0.36.0  (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.8
-> installed uutf.1.0.4
-> installed mtime.2.1.0
-> installed ptime.1.2.0
-> installed fmt.0.10.0
-> installed astring.0.8.5
-> installed dune.3.18.2
-> installed ppx_derivers.1.2.1
-> installed randomconv.0.2.0
-> installed duration.0.2.1
-> installed ohex.0.2.0
-> installed macaddr.5.6.0
-> installed mirage-mtime.5.0.0
-> installed csexp.1.5.2
-> installed asn1-combinators.0.3.2
-> installed domain-name.0.4.1
-> installed eqaf.0.10
-> installed miou.0.3.1
-> installed re.1.12.0
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed cppo.1.8.0
-> installed yojson.2.2.2
-> installed ipaddr.5.6.0
-> installed ocplib-endian.1.2
-> installed digestif.1.3.0
-> installed ounit2.2.2.7
-> installed dune-configurator.3.18.2
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed alcotest.1.9.0
-> installed lwt.5.9.1
-> installed mirage-sleep.4.0.0
-> installed logs.0.8.0
-> installed mirage-runtime.4.9.0
-> installed mirage-unix.5.0.1
-> installed ppxlib.0.36.0
-> installed ppx_deriving.6.1.0
-> installed ppx_deriving_yojson.3.10.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-05-15 11:43.01 ---> using "4244bc02c1d22e8564b5e063b1f3ceb26ceedb6652f61e958031b8cae5b33613" from cache


/src: (copy (src .) (dst /src))
2025-05-15 11:43.02 ---> saved as "0a73ad51bf578faf9f3d74b06cf794bb9493bf49587b824ea18fd1219f02f5a8"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/tests && ./test_entropy.exe)
no CPU RNG available
test entropy OK
(cd _build/default/tests && ./test_symmetric_runner.exe)
accel:
................................................................
Ran: 64 tests in: 0.14 seconds.
OK
(cd _build/default/tests && ./test_random_runner.exe)
.........
Ran: 9 tests in: 0.13 seconds.
OK
(cd _build/default/tests && ./test_miou_entropy_collection.exe)
reseeding:
000000  00c8 7e2d b677 c61b  2fc2 6725 4f65 4fa1  ..~-.w../.g%OeO.
000010  27dd 1f12 f870 209e  48fd 0838 d83a f0b8  '....p .H..8.:..
000020  88e4 78fe 796c c183  1129 715a 59c7 2a5b  ..x.yl...)qZY.*[
000030  2ae7 0273 4bf8 7307  a39f 0b41 2c71 14a7  *..sK.s....A,q..
000040  542f 34c2 a524 6d43  85da dd4a e5c9 0e1f  T/4..$mC...J....
000050  5ea6 d60f 47b8 cfc6  5743 afd6 0f4e 68aa  ^...G...WC...Nh.
000060  9815 f05d f8b4 f8e1  413a 21a0 a1a7 7947  ...]....A:!...yG
000070  9ae0 82fd ca41 9292  f204 da30 da58 b280  .....A.....0.X..
000080  aba1 fbec 4b1a cb80  4ba6 2b0c 8b15 8c5b  ....K...K.+....[
000090  ccf7 fc9e 2d23 2daf  7d3b a6d6 4e4c ee5b  ....-#-.};..NL.[
0000a0  be08 be2b 97d0 dfec  a715 7f60 b778 9f9a  ...+.......`.x..
0000b0  2f0f d09b 7843 70dc  00f2 894b 79e7 9980  /...xCp....Ky...
0000c0  599d eada fa5b aa0a  4381 01c8 b3c0 d3e1  Y....[..C.......
0000d0  b333 83d6 1446 34a3  9c30 d44d 04a0 0ca2  .3...F4..0.M....
0000e0  c5fd 754d 8d8f cd2b  d6d2 7650 1e67 c6f0  ..uM...+..vP.g..
0000f0  0615 5e44 ce56 07d3  ef58 3784 df90 7fb9  ..^D.V...X7.....
000100  27fd 2032 f890 f8bd  4016 907a 51ec 91fc  '. 2....@..zQ...
000110  c117 e9bc 41e7 0177  fafb 82aa ea19 db6f  ....A..w.......o
000120  6319 5b58 536a ebd1  0428 0c2a dc86 6c05  c.[XSj...(.*..l.
000130  1c46 7ca4 14bc 3cc1  a5f9 b543 d5e6 8ea1  .F|...<....C....
000140  b6e7 9e86 86f8 d611  3f63 3fef 177b 8700  ........?c?..{..
000150  001a 4872 48d6 483a  709e a109 8953 b9eb  ..HrH.H:p....S..
000160  928b b224 5a45 7282  f2ed e243 4bea 3b4f  ...$ZEr....CK.;O
000170  13db e45f 7406 cc71  f5c1 8518 ad31 357c  ..._t..q.....15|
000180  4d87 7d15 3558 4d63  cef1 1e42 7ea0 66b8  M.}.5XMc...B~.f.
000190  16cc 8ed1 02c8 1e19  cf4f 1702 2765 279c  .........O..'e'.
0001a0  0fa5 87d7 8075 a8bb  405f 31f1 c129 017b  .....u..@_1..).{
0001b0  a102 7a7a 9aeb b28c  eaae f332 ebb7 2b68  ..zz.......2..+h
0001c0  b371 9bc0 9bde e454  dc7f 5c2c f43e 3dc4  .q.....T..\,.>=.
0001d0  35d1 3d0a bd70 d594  25bd adf3 0e98 f69b  5.=..p..%.......
0001e0  5e4c 6e5f 56f9 2738  0f41 8773 a711 9f5f  ^Ln_V.'8.A.s..._
0001f0  a801 b04e 68c8 30dd  7015 f058 1886 59e6  ...Nh.0.p..X..Y.
000200  8951 1999 71cd f110  693e 6aac aac1 020f  .Q..q...i>j.....
000210  1a97 f322 8ba8 93c3  bb63 ec0a cc8e 9c0e  ...".....c......
000220  e484 05b0 35b2 7517  75b2 f522 3ea8 5eb5  ....5.u.u..">.^.
000230  bef5 8646 5eb9 96f9  7f43 37e0 17ec dff1  ...F^....C7.....
000240  1f48 774f 90eb 188b  5016 1880 0886 e1e4  .HwO....P.......
000250  610f 41a7 8139 aa7f  ba23 72ca b339 0380  a.A..9...#r..9..
000260  2853 c01d 31f4 0ac9  b1ca 62b7 1223 49df  (S..1.....b..#I.
000270  0c4c 8bcd 7ee0 02fb  4be3 c24d af4b 0f9a  .L..~...K..M.K..
000280  3e24 1fe1 5c24 e49e  f85b a23a 6ce9 7460  >$..\$...[.:l.t`
000290  7f4e 3ab4 292f 0d01  672e dc68 6efb f5c7  .N:.)/..g..hn...
0002a0  6c5e 2851 8fec 674d  4fab ab78 69e2 b43d  l^(Q..gMO..xi..=
0002b0  3d99 9773 2499 947d  0d1d f169 5462 1460  =..s$..}...iTb.`
0002c0  949a 465d a626 b7cd  5c07 8e2e 99d4 8198  ..F].&..\.......
0002d0  eb20 6cf7 c957 205f  24e7 c27b 78f8 2820  . l..W _$..{x.(


entropy sources:
accumulate: (src: [0] getrandom) 0a92 47b9 df5f 8252
accumulate: (src: [0] getrandom) 21b6 db99 6d92 5d42
(cd _build/default/tests && ./test_miou_rng.exe)
32 bit random number: 1dbd8b944d79dab8f22a3aef47434b80f0da7059b8d9f0da980a5674d05d7c9c
16 bit random number: 34a71eec6f88b97f8ef5b94a1446ba43
(cd _build/default/tests && ./test_entropy_collection.exe)
reseeding:
000000  00c8 1297 9ae0 6327  2b8b 4cd8 04fd 746e  ......c'+.L...tn
000010  3d73 b6c7 0f4b c78c  e8e4 784a f850 01c1  =s...K....xJ.P..
000020  5931 d9c4 2924 6a39  a2d3 534f 14ac f4b7  Y1..)$j9..SO....
000030  4c54 b578 7dc9 356b  eebb c755 7f15 00b8  LT.x}.5k...U....
000040  48bb 5845 71dc 9111  99bd c26c cac3 0358  H.XEq......l...X
000050  635c 438b cced 5cb2  6db0 ade3 5e69 7600  c\C...\.m...^iv.
000060  9e37 37b7 900d 48b9  a147 61d1 326a b257  .77...H..Ga.2j.W
000070  93df 1c5b 85a6 9db5  5666 8662 c776 f0a2  ...[....Vf.b.v..
000080  d8dc 093e 211b 9a6f  cbed 6bb1 234e 8c35  ...>!..o..k.#N.5
000090  dcdf 9d78 05c0 2dc5  be48 d69e 6fce 77d4  ...x..-..H..o.w.
0000a0  ef0b 58ac 60d6 51d6  79d0 e208 326d 22f5  ..X.`.Q.y...2m".
0000b0  0274 c277 0b06 84e7  c564 e5bc 9d22 3e3b  .t.w.....d...">;
0000c0  8f94 2fd6 7fc6 40d3  092d 01c8 c1a6 c2d2  ../...@..-......
0000d0  dafa 032c 6330 435f  cc07 1d98 35a8 edc2  ...,c0C_....5...
0000e0  86fc 3e3a ce2b 57bb  281c 4031 00bc f8be  ..>:.+W.(.@1....
0000f0  49fa 12f0 2afb b249  db02 7432 4439 94c5  I...*..I..t2D9..
000100  8d72 0d83 2ec6 cfb1  af76 90ae c8c0 011a  .r.......v......
000110  51f6 b17c 8a9f d242  12c6 3228 4a33 53cb  Q..|...B..2(J3S.
000120  eb64 3b92 8bfb 849e  5414 fc25 3484 9c8f  .d;.....T..%4...
000130  5536 2da4 55ae dd1b  86cd a616 3e92 2efc  U6-.U.......>...
000140  e607 f7ba 7744 875c  b777 8022 6097 0033  ....wD.\.w."`..3
000150  39be 1127 f1b4 81e3  1285 92b9 e204 a230  9..'...........0
000160  d250 9a79 52c6 6233  a3cf fb76 1c01 5437  .P.yR.b3...v..T7
000170  dcd1 4c2a 4496 d500  3d2a dd93 5d45 2687  ..L*D...=*..]E&.
000180  7e1a 368f a623 c7cb  3779 47b4 6fc3 e061  ~.6..#..7yG.o..a
000190  f0ba 8043 02c8 11ea  e14b 29fe 3164 226f  ...C.....K).1d"o
0001a0  2200 5a09 aa4a e2c6  f34c d37b 4b2b 53c3  ".Z..J...L.{K+S.
0001b0  ec5c 8c8a c401 fc55  bdb3 c55f e50c 4539  .\.....U..._..E9
0001c0  d676 8efa ee71 7ecd  0e15 7757 fff6 8782  .v...q~...wW....
0001d0  f8f8 082a 708a a8fc  f01d d079 61d0 61e4  ...*p......ya.a.
0001e0  89f8 0914 0117 39a2  110b 4299 32d6 f23d  ......9...B.2..=
0001f0  229a 12ff bb8d 3be0  33ed a327 24cf c460  ".....;.3..'$..`
000200  0c87 8c15 c45f e50c  4539 d576 ddfa 4e80  ....._..E9.v..N.
000210  b690 7eb4 f6cd ee2a  deb2 2738 0f41 1775  ..~....*..'8.A.u
000220  87aa 4721 4f5f 70f8  400f 08a6 7006 d078  ..G!O_p.@...p..x
000230  49a1 91e0 a1fd 714b  31ea 7a51 6a98 22ae  I.....qK1.zQj.".
000240  1213 6aa1 8ae5 732f  83ce 5344 ab55 5ba5  ..j...s/..SD.U[.
000250  d4e6 3c6a b4d3 dd7d  75d6 154a adac 03c8  ..<j...}u..J....
000260  9dd0 ddef 9ea2 a61c  9e3d f68a 7714 872c  .........=..w..,
000270  b747 7ff2 5f67 d802  e086 780c d824 b84e  .G.._g....x..$.N
000280  71cd d112 3996 e9fe  ea85 b2e0 b203 8aad  q...9...........
000290  4bf7 538f db29 2382  3ce7 c47c 0ca3 7430  K.S..)#.<..|..t0
0002a0  0c48 a44b 25f3 9d84  dda3 0e55 ee88 deb6  .H.K%......U....
0002b0  fe3b 47f3 278b ef1c  074b 58d7 4071 e0ad  .;G.'....KX.@q..
0002c0  f006 598f 212b d1bb  726b 320a ca71 cac6  ..Y.!+..rk2..q..
0002d0  a348 d368 eb91 dbec  5b17 34b2 1c1a cc7d  .H.h....[.4....}
0002e0  44d3 356a 45d2 fd3c  bd6d b5c0 2de4 55ee  D.5jE..<.m..-.U.
0002f0  b65b de05 b65f 2f0a  4f71 97b0 97ce 8747  .[..._/.Oq.....G
000300  e0e9 f042 58cb b965  c1b7 4164 2972 59d8  ...BX..e..Ad)rY.
000310  c9ea c274 ba9a c219  826d 02b6 0315 db46  ...t.....m.....F
000320  abcb 3475 0cb1 74e4                       ..4u..t.


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


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


Full test results in `/src/_build/default/tests/_build/_tests/EC'.
Test Successful in 0.149s. 64 tests run.
(cd _build/default/tests && ./test_pk_runner.exe)
.......................................................................................................................................................................................................................................................................................................................................................................
Ran: 359 tests in: 8.64 seconds.
OK
(cd _build/default/tests && ./test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `E2K6T2TC'.


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


Full test results in `/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.
Test Successful in 15.757s. 3502 tests run.
2025-05-15 11:43.40 ---> saved as "281c0054d0ecf848d20f13bab722485ef9ba41ec5cc7f56d2da6b5388e9add73"
Job succeeded
2025-05-15 11:43.40: Job succeeded