Organisationsmiragemirage-crypto4ad1c5 ()macos-homebrew-5.3_arm64_opam-2.3

macos-homebrew-5.3_arm64_opam-2.3

Link Copied
Code Copied

Logs

2025-03-08 15:48.55: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/259/head (4ad1c59e6dd9fdf7ee31277fdcfff2ddebb23087) (macos-arm64:macos-homebrew-5.3_arm64_opam-2.3)
Base: macos-homebrew-ocaml-5.3
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-crypto.git" && cd "mirage-crypto" && git fetch origin "refs/pull/259/head" && git reset --hard 4ad1c59e
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM macos-homebrew-ocaml-5.3
# macos-homebrew-5.3_arm64_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
RUN ln -f ~/local/bin/opam-2.3 ~/local/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
RUN cd ~/opam-repository && (git cat-file -e cdcd3e0d180f63457ffc49f711b093d6b9523894 || git fetch origin master) && git reset -q --hard cdcd3e0d180f63457ffc49f711b093d6b9523894 && 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 ./src/./
RUN opam pin add -yn mirage-crypto.dev './src/./' && \
opam pin add -yn mirage-crypto-rng.dev './src/./' && \
opam pin add -yn mirage-crypto-rng-mirage.dev './src/./' && \
opam pin add -yn mirage-crypto-rng-miou-unix.dev './src/./' && \
opam pin add -yn mirage-crypto-pk.dev './src/./' && \
opam pin add -yn mirage-crypto-ec.dev './src/./'
RUN echo '(lang dune 3.0)' > './src/./dune-project'
ENV DEPS="alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 fmt.0.9.0 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.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-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . ./src
RUN cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build


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


2025-03-08 15:48.55: Using cache hint "mirage/mirage-crypto-macos-homebrew-ocaml-5.3-macos-homebrew-5.3_arm64_opam-2.3-0b019c8d0f07975fabfd1f97af9a9073"
2025-03-08 15:48.55: Using OBuilder spec:
((from macos-homebrew-ocaml-5.3)
(comment macos-homebrew-5.3_arm64_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(run (shell "ln -f ~/local/bin/opam-2.3 ~/local/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e cdcd3e0d180f63457ffc49f711b093d6b9523894 || git fetch origin master) && git reset -q --hard cdcd3e0d180f63457ffc49f711b093d6b9523894 && 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 ./src/./))
(run (network host)
(shell  "opam pin add -yn mirage-crypto.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-mirage.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './src/./' && \
\nopam pin add -yn mirage-crypto-pk.dev './src/./' && \
\nopam pin add -yn mirage-crypto-ec.dev './src/./'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './src/./dune-project'"))
(env DEPS "alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 fmt.0.9.0 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.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-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(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 /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst ./src))
(run (shell "cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2025-03-08 15:48.55: Waiting for resource in pool OCluster
2025-03-08 15:48.55: Waiting for worker…
2025-03-08 15:48.55: Got resource from pool OCluster
Building on m1-worker-04
HEAD is now at cadf0e1 changes for 2.0.0
HEAD is now at 4ad1c59 mirage-crypto-ec: implementation of SECP256K1


(from macos-homebrew-ocaml-5.3)
2025-03-08 15:48.57 ---> using "6ee950b55569b1a3f8a7953dc679318bf303d3a70ac7d49901c0ac2ca3805d7c" from cache


/: (comment macos-homebrew-5.3_arm64_opam-2.3)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (run (shell "ln -f ~/local/bin/opam-2.3 ~/local/bin/opam"))
2025-03-08 15:48.57 ---> using "8efc335cb5004a650aab29e72b9849a2b2e2f0853bc55d3a74763c7cceed5d74" from cache


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


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


Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 1 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=1 --global
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///Users/mac1000/opam-repository
2025-03-08 15:48.57 ---> using "e29fa6de89fe919799ac81fd4a1c768d8341cedf873c17042854467d2aebeceb" from cache


/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Darwin 23.4.0
The OCaml toplevel, version 5.3.0
2.3.0
2025-03-08 15:48.57 ---> using "a268524b45b0c90a951719c2a6c8c78c0b8a0fec90c9f437befd49b0008dc673" from cache


/: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e cdcd3e0d180f63457ffc49f711b093d6b9523894 || git fetch origin master) && git reset -q --hard cdcd3e0d180f63457ffc49f711b093d6b9523894 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
67e940587b..8707d628f2  master     -> origin/master
cdcd3e0d18 Merge pull request #27560 from hannesm/maint-intent-mirage


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


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).


The following packages are not being upgraded because the new versions conflict with other installed packages:
- ocaml.5.4.0
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-03-08 15:48.57 ---> using "a083b8c9d006cc34bd7ec1c6107c86e2a1f1946e4428f0e28ee34f52d6e97d54" from cache


/: (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 ./src/./))
2025-03-08 15:48.57 ---> using "ed60f67c1e63b06e54448cd050cfc9efc894664b621e037e10f0702548f1b75f" from cache


/: (run (network host)
(shell  "opam pin add -yn mirage-crypto.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-mirage.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './src/./' && \
\nopam pin add -yn mirage-crypto-pk.dev './src/./' && \
\nopam pin add -yn mirage-crypto-ec.dev './src/./'"))
[mirage-crypto.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-rng.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-rng is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-rng-mirage.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-rng-mirage is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-rng-miou-unix.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-rng-miou-unix is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-pk.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-pk is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-ec.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-ec is now pinned to file:///Users/mac1000/src (version dev)
2025-03-08 15:48.57 ---> using "476221b6ff8f1fd94309b1a0ee26bead2736ea541c1ee5a89db5e580833c9be6" from cache


/: (run (network host)
(shell "echo '(lang dune 3.0)' > './src/./dune-project'"))
2025-03-08 15:48.57 ---> using "7b9067588fad9b826f467ebc6a63c8d6f5e679bdef29f865e1a7b4e48203261f" from cache


/: (env DEPS "alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 fmt.0.9.0 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.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-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14")


/: (env CI true)


/: (env OCAMLCI true)


/: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(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"))
+ /opt/homebrew/bin/brew "update"
- ==> Updating Homebrew...
- Already up-to-date.


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage-crypto.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-pk.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-ec.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-rng.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-rng-miou-unix.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-rng-mirage.dev] synchronised (file:///Users/mac1000/src)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml is already installed (current version is 5.3.0).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).


The following system packages will first need to be installed:
gmp pkgconf


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


+ /opt/homebrew/bin/brew "install" "gmp" "pkgconf"
- ==> Downloading https://ghcr.io/v2/homebrew/core/gmp/manifests/6.3.0
- Already downloaded: /Users/mac1000/Library/Caches/Homebrew/downloads/70a72a71216843d66a953c06ff6337445ce9bc94fae9f0e301e2f59005274a8e--gmp-6.3.0.bottle_manifest.json
- ==> Fetching gmp
- ==> Downloading https://ghcr.io/v2/homebrew/core/gmp/blobs/sha256:78e4f40cba6419cf7e2d81e9c945d1e93744511bd5230bdfac1b69ed894914b4
- Already downloaded: /Users/mac1000/Library/Caches/Homebrew/downloads/96a5c6ba7b30c6f2734be44067ba66ef0de5e0973c913659c7b555a4b063029c--gmp--6.3.0.arm64_sonoma.bottle.tar.gz
- ==> Downloading https://ghcr.io/v2/homebrew/core/pkgconf/manifests/2.3.0_1-2
- Already downloaded: /Users/mac1000/Library/Caches/Homebrew/downloads/514a27b94e6e77fd677808bff9c253797212aeef528a15b5fa6c2b359cc19df5--pkgconf-2.3.0_1-2.bottle_manifest.json
- ==> Fetching pkgconf
- ==> Downloading https://ghcr.io/v2/homebrew/core/pkgconf/blobs/sha256:bee6257d97fd7331e4b6c1bc7f150a230d7f2f49e9104cf98cc52e04c26fb69d
- Already downloaded: /Users/mac1000/Library/Caches/Homebrew/downloads/16a6a98313b16a83f7e3b7a728ae77859301335f7eda10f12be54522f88488d1--pkgconf--2.3.0_1.arm64_sonoma.bottle.1.tar.gz
- ==> Pouring gmp--6.3.0.arm64_sonoma.bottle.tar.gz
- 🍺  /opt/homebrew/Cellar/gmp/6.3.0: 22 files, 3.3MB
- ==> Running `brew cleanup gmp`...
- Disable this behaviour by setting HOMEBREW_NO_INSTALL_CLEANUP.
- Hide these hints with HOMEBREW_NO_ENV_HINTS (see `man brew`).
- ==> Pouring pkgconf--2.3.0_1.arm64_sonoma.bottle.1.tar.gz
- 🍺  /opt/homebrew/Cellar/pkgconf/2.3.0_1: 27 files, 472KB
- ==> Running `brew cleanup pkgconf`...
2025-03-08 15:48.58 ---> using "bebbbef4b7ee1091237c3616e5eb07404be86d6bc091598bc3956bcff61da8e5" from cache


/: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml is already installed (current version is 5.3.0).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 48 packages
- install alcotest            1.8.0
- install asn1-combinators    0.3.2
- install astring             0.8.5
- install base-bytes          base
- install cmdliner            1.3.0
- install conf-gmp            4
- install conf-gmp-powm-sec   3
- install conf-pkg-config     4
- install cppo                1.8.0
- install csexp               1.5.2
- install digestif            1.2.0
- install domain-name         0.4.1
- install dune                3.17.2
- install dune-configurator   3.17.2
- install duration            0.2.1
- install eqaf                0.10
- install fmt                 0.9.0
- install ipaddr              5.6.0
- install logs                0.7.0
- install lwt                 5.9.0
- install macaddr             5.6.0
- install miou                0.3.1
- install mirage-mtime        5.0.0
- install mirage-runtime      4.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.0.3
- install ppx_deriving_yojson 3.9.1
- install ppxlib              0.35.0
- install ptime               1.2.0
- install randomconv          0.2.0
- install re                  1.12.0
- install seq                 base
- install sexplib0            v0.17.0
- install stdlib-shims        0.3.0
- install topkg               1.0.7
- install uutf                1.0.3
- install yojson              2.2.2
- install zarith              1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved asn1-combinators.0.3.2  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved conf-gmp.4  (cached)
-> retrieved conf-gmp-powm-sec.3  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> installed conf-gmp.4
-> installed conf-pkg-config.4
-> retrieved cppo.1.8.0  (cached)
-> retrieved alcotest.1.8.0  (cached)
-> installed conf-gmp-powm-sec.3
-> retrieved domain-name.0.4.1  (cached)
-> retrieved duration.0.2.1  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved ipaddr.5.6.0, macaddr.5.6.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved lwt.5.9.0  (cached)
-> retrieved digestif.1.2.0  (cached)
-> retrieved mirage-mtime.5.0.0  (cached)
-> retrieved miou.0.3.1  (cached)
-> retrieved mirage-sleep.4.0.0  (cached)
-> retrieved mirage-unix.5.0.1  (cached)
-> retrieved mirage-runtime.4.9.0  (cached)
-> retrieved mtime.2.1.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 ocplib-endian.1.2  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved ounit2.2.2.7  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving_yojson.3.9.1  (cached)
-> retrieved ppx_deriving.6.0.3  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved randomconv.0.2.0  (cached)
-> retrieved re.1.12.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved ppxlib.0.35.0  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved yojson.2.2.2  (cached)
-> retrieved dune.3.17.2, dune-configurator.3.17.2  (cached)
-> installed ocamlbuild.0.16.1
-> installed cmdliner.1.3.0
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed zarith.1.14
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed mtime.2.1.0
-> installed ptime.1.2.0
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed dune.3.17.2
-> installed duration.0.2.1
-> installed csexp.1.5.2
-> installed macaddr.5.6.0
-> installed mirage-mtime.5.0.0
-> installed miou.0.3.1
-> installed eqaf.0.10
-> installed domain-name.0.4.1
-> installed cppo.1.8.0
-> installed asn1-combinators.0.3.2
-> installed ohex.0.2.0
-> installed ppx_derivers.1.2.1
-> installed ocplib-endian.1.2
-> installed ocaml-syntax-shims.1.0.0
-> installed randomconv.0.2.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed ipaddr.5.6.0
-> installed stdlib-shims.0.3.0
-> installed digestif.1.2.0
-> installed sexplib0.v0.17.0
-> installed dune-configurator.3.17.2
-> installed re.1.12.0
-> installed yojson.2.2.2
-> installed ounit2.2.2.7
-> installed alcotest.1.8.0
-> installed lwt.5.9.0
-> installed mirage-sleep.4.0.0
-> installed logs.0.7.0
-> installed mirage-runtime.4.9.0
-> installed mirage-unix.5.0.1
-> installed ppxlib.0.35.0
-> installed ppx_deriving.6.0.3
-> installed ppx_deriving_yojson.3.9.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-03-08 15:48.58 ---> using "f8f2b7b605b6527d878da0ca59dc05a065ee6c684018d486e38fd4d0f9216edf" from cache


/: (copy (src .) (dst ./src))
2025-03-08 15:48.59 ---> saved as "e3c32a9515ad6177a2964c3ea5cf25909baa0205fb794ef399e9f9d8cb5c1d58"


/: (run (shell "cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/tests && ./test_symmetric_runner.exe)
accel:
................................................................
Ran: 64 tests in: 0.17 seconds.
OK
(cd _build/default/tests && ./test_random_runner.exe)
.........
Ran: 9 tests in: 0.26 seconds.
OK
(cd _build/default/tests && ./test_ec.exe)
Testing `EC'.
This run has ID `WZUUEF7H'.


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


Full test results in `~/src/_build/default/tests/_build/_tests/EC'.
Test Successful in 0.021s. 73 tests run.
(cd _build/default/tests && ./test_miou_entropy_collection.exe)
reseeding:
000000  00c8 1324 1724 1924  1b24 1d24 1f24 2124  ...$.$.$.$.$.$!$
000010  2324 2524 2724 2924  2b24 2d24 2f24 3224  #$%$'$)$+$-$/$2$
000020  3424 3724 3924 3c24  3f24 4224 4524 4824  4$7$9$<$?$B$E$H$
000030  4b24 4e24 5124 5524  5924 5c24 6024 6424  K$N$Q$U$Y$\$`$d$
000040  6824 6d24 7124 7624  7c24 8224 8724 8c24  h$m$q$v$|$.$.$.$
000050  9224 9724 9d24 a424  aa24 b224 b924 c024  .$.$.$.$.$.$.$.$
000060  c724 cf24 d724 df24  e724 f024 f924 0225  .$.$.$.$.$.$.$.%
000070  0e25 1825 2325 2e25  3925 4525 5125 5e25  .%.%#%.%9%E%Q%^%
000080  6b25 7825 8725 9525  a425 b325 c525 d625  k%x%.%.%.%.%.%.%
000090  e725 fa25 0c26 1f26  3426 4926 5e26 7426  .%.%.&.&4&I&^&t&
0000a0  8a26 a226 bb26 d426  ee26 0927 2527 4227  .&.&.&.&.&.'%'B'
0000b0  6027 7f27 9f27 c127  e427 0928 0a28 0b28  `'.'.'.'.'.(.(.(
0000c0  0c28 0d28 0f28 1028  1128 01c8 1628 1828  .(.(.(.(.(...(.(
0000d0  1a28 1b28 1d28 1f28  2028 2228 2428 2628  .(.(.(.( ("($(&(
0000e0  2728 2928 2b28 2e28  3028 3228 3528 3728  '()(+(.(0(2(5(7(
0000f0  3b28 3d28 4028 4328  4628 4928 4d28 5028  ;(=(@(C(F(I(M(P(
000100  5328 5728 5b28 5e28  6228 6728 6b28 6f28  S(W([(^(b(g(k(o(
000110  7428 7a28 7e28 8428  8928 8f28 9528 9b28  t(z(~(.(.(.(.(.(
000120  a128 a728 ad28 b428  bb28 c328 cc28 d428  .(.(.(.(.(.(.(.(
000130  dc28 e428 ed28 f628  ff28 0829 1229 1d29  .(.(.(.(.(.).).)
000140  2729 3229 3e29 4c29  5929 6629 7329 8229  ')2)>)L)Y)f)s).)
000150  9029 9f29 ae29 bf29  cf29 e029 f129 032a  .).).).).).).).*
000160  162a 2b2a 3f2a 552a  6c2a 822a 992a b12a  .*+*?*U*l*.*.*.*
000170  cb2a e52a 002b 1b2b  382b 572b 762b 962b  .*.*.+.+8+W+v+.+
000180  b72b da2b fe2b 232c  252c 272c 292c 2b2c  .+.+.+#,%,',),+,
000190  2d2c 302c 02c8 342c  372c 392c 3c2c 3f2c  -,0,..4,7,9,<,?,
0001a0  422c 442c 482c 4b2c  4e2c 512c 552c 592c  B,D,H,K,N,Q,U,Y,
0001b0  5c2c 602c 642c 682c  6d2c 712c 762c 7b2c  \,`,d,h,m,q,v,{,
0001c0  802c 852c 8a2c 912c  962c 9c2c a22c a92c  .,.,.,.,.,.,.,.,
0001d0  af2c b62c bd2c c42c  cc2c d42c dc2c e42c  .,.,.,.,.,.,.,.,
0001e0  ee2c f72c 012d 0a2d  142d 1f2d 292d 352d  .,.,.-.-.-.-)-5-
0001f0  412d 4e2d 5a2d 672d  752d 832d 912d a02d  A-N-Z-g-u-.-.-.-
000200  b02d c02d d12d e22d  f32d 082e 1c2e 2f2e  .-.-.-.-.-..../.
000210  432e 582e 702e 862e  9f2e b72e d12e ea2e  C.X.p...........
000220  052f 212f 3e2f 5d2f  7c2f 9e2f bf2f e12f  ./!/>/]/|/./././
000230  0530 0630 0730 0830  0830 0930 0a30 0b30  .0.0.0.0.0.0.0.0
000240  0c30 0d30 0e30 1030  1130 1230 1330 1430  .0.0.0.0.0.0.0.0
000250  1630 1730 1830 1a30  1b30 1d30 1f30 0380  .0.0.0.0.0.0.0..
000260  ed31 15fc 6610 49c4  1342 c9ca 20ad 6d05  .1..f.I..B.. .m.
000270  ff44 8d28 eff6 9fcf  a1cb 0cb5 ceb9 f955  .D.(...........U
000280  f139 f48b 0d1d 20f0  2c5f 677d 004e a881  .9.... .,_g}.N..
000290  f23a 4030 a052 b051  661e cd78 e986 21ad  .:@0.R.Qf..x..!.
0002a0  db24 5281 02a7 55e6  bdbe b330 886d 0552  .$R...U....0.m.R
0002b0  8b91 b16c ca26 c4cd  817b 57e9 c537 4f77  ...l.&...{W..7Ow
0002c0  4d42 1135 82bf 6615  bf66 b366 a59e e357  MB.5..f..f.f...W
0002d0  a3e6 57d3 2535 86c1  bb93 dbc3 818e 2d30  ..W.%5........-0


entropy sources:
accumulate: (src: [0] getrandom) ea2c 683d 2e1a 0655
accumulate: (src: [0] getrandom) 5651 d6d4 22a8 59f9
(cd _build/default/tests && ./test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `7P2MEY4P'.


[OK]          ECDH P256 test vectors                         0   1 - normal...
[OK]          ECDH P256 test vectors                         1   2 - compre...
[OK]          ECDH P256 test vectors                         2   3 - edge c...
[OK]          ECDH P256 test vectors                         3   4 - edge c...
[OK]          ECDH P256 test vectors                         4   5 - edge c...
[OK]          ECDH P256 test vectors                         5   6 - edge c...
[OK]          ECDH P256 test vectors                         6   7 - edge c...
[OK]          ECDH P256 test vectors                         7   8 - edge c...
[OK]          ECDH P256 test vectors                         8   9 - edge c...
[OK]          ECDH P256 test vectors                         9   10 - edge ...
[OK]          ECDH P256 test vectors                        10   11 - edge ...
[OK]          ECDH P256 test vectors                        11   12 - edge ...
[OK]          ECDH P256 test vectors                        12   13 - edge ...
[OK]          ECDH P256 test vectors                        13   14 - edge ...
[OK]          ECDH P256 test vectors                        14   15 - edge ...
[OK]          ECDH P256 test vectors                        15   16 - edge ...
[OK]          ECDH P256 test vectors                        16   17 - edge ...
[OK]          ECDH P256 test vectors                        17   18 - edge ...
[OK]          ECDH P256 test vectors                        18   19 - y-coo...
[OK]          ECDH P256 test vectors                        19   20 - y-coo...
[OK]          ECDH P256 test vectors                        20   21 - y-coo...
[OK]          ECDH P256 test vectors                        21   22 - y-coo...
[OK]          ECDH P256 test vectors                        22   23 - y-coo...
[OK]          ECDH P256 test vectors                        23   24 - y-coo...
[OK]          ECDH P256 test vectors                        24   25 - y-coo...
[OK]          ECDH P256 test vectors                        25   26 - y-coo...
[OK]          ECDH P256 test vectors                        26   27 - y-coo...
[OK]          ECDH P256 test vectors                        27   28 - y-coo...
[OK]          ECDH P256 test vectors                        28   29 - y-coo...
[OK]          ECDH P256 test vectors                        29   30 - y-coo...
[OK]          ECDH P256 test vectors                        30   31 - edge ...
[OK]          ECDH P256 test vectors                        31   32 - edge ...
[OK]          ECDH P256 test vectors                        32   33 - edge ...
[OK]          ECDH P256 test vectors                        33   34 - edge ...
[OK]          ECDH P256 test vectors                        34   35 - edge ...
[OK]          ECDH P256 test vectors                        35   36 - edge ...
[OK]          ECDH P256 test vectors                        36   37 - edge ...
[OK]          ECDH P256 test vectors                        37   38 - edge ...
[OK]          ECDH P256 test vectors                        38   39 - edge ...
[OK]          ECDH P256 test vectors                        39   40 - edge ...
[OK]          ECDH P256 test vectors                        40   41 - edge ...
[OK]          ECDH P256 test vectors                        41   42 - edge ...
[OK]          ECDH P256 test vectors                        42   43 - edge ...
[OK]          ECDH P256 test vectors                        43   44 - edge ...
[OK]          ECDH P256 test vectors                        44   45 - edge ...
[OK]          ECDH P256 test vectors                        45   46 - edge ...
[OK]          ECDH P256 test vectors                        46   47 - edge ...
[OK]          ECDH P256 test vectors                        47   48 - edge ...
[OK]          ECDH P256 test vectors                        48   49 - edge ...
[OK]          ECDH P256 test vectors                        49   50 - edge ...
[OK]          ECDH P256 test vectors                        50   51 - edge ...
[OK]          ECDH P256 test vectors                        51   52 - edge ...
[OK]          ECDH P256 test vectors                        52   53 - edge ...
[OK]          ECDH P256 test vectors                        53   54 - edge ...
[OK]          ECDH P256 test vectors                        54   55 - edge ...
[OK]          ECDH P256 test vectors                        55   56 - edge ...
[OK]          ECDH P256 test vectors                        56   57 - edge ...
[OK]          ECDH P256 test vectors                        57   58 - edge ...
[OK]          ECDH P256 test vectors                        58   59 - point...
[OK]          ECDH P256 test vectors                        59   60 - point...
[OK]          ECDH P256 test vectors                        60   61 - point...
[OK]          ECDH P256 test vectors                        61   62 - point...
[OK]          ECDH P256 test vectors                        62   63 - point...
[OK]          ECDH P256 test vectors                        63   64 - point...
[OK]          ECDH P256 test vectors                        64   65 - point...
[OK]          ECDH P256 test vectors                        65   66 - point...
[OK]          ECDH P256 test vectors                        66   67 - point...
[OK]          ECDH P256 test vectors                        67   68 - point...
[OK]          ECDH P256 test vectors                        68   69 - point...
[OK]          ECDH P256 test vectors                        69   70 - point...
[OK]          ECDH P256 test vectors                        70   71 - point...
[OK]          ECDH P256 test vectors                        71   72 - point...
[OK]          ECDH P256 test vectors                        72   73 - point...
[OK]          ECDH P256 test vectors                        73   74 - point...
[OK]          ECDH P256 test vectors                        74   75 - point...
[OK]          ECDH P256 test vectors                        75   76 - point...
[OK]          ECDH P256 test vectors                        76   77 - point...
[OK]          ECDH P256 test vectors                        77   78 - point...
[OK]          ECDH P256 test vectors                        78   79 - point...
[OK]          ECDH P256 test vectors                        79   80 - point...
[OK]          ECDH P256 test vectors                        80   81 - point...
[OK]          ECDH P256 test vectors                        81   82 - point...
[OK]          ECDH P256 test vectors                        82   83 - point...
[OK]          ECDH P256 test vectors                        83   84 - point...
[OK]          ECDH P256 test vectors                        84   85 - point...
[OK]          ECDH P256 test vectors                        85   86 - point...
[OK]          ECDH P256 test vectors                        86   87 - point...
[OK]          ECDH P256 test vectors                        87   88 - point...
[OK]          ECDH P256 test vectors                        88   89 - point...
[OK]          ECDH P256 test vectors                        89   90 - point...
[OK]          ECDH P256 test vectors                        90   91 - point...
[OK]          ECDH P256 test vectors                        91   92 - point...
[OK]          ECDH P256 test vectors                        92   93 - point...
[OK]          ECDH P256 test vectors                        93   94 - point...
[OK]          ECDH P256 test vectors                        94   95 - point...
[OK]          ECDH P256 test vectors                        95   96 - point...
[OK]          ECDH P256 test vectors                        96   97 - point...
[OK]          ECDH P256 test vectors                        97   98 - point...
[OK]          ECDH P256 test vectors                        98   99 - point...
[OK]          ECDH P256 test vectors                        99   100 - poin...
[OK]          ECDH P256 test vectors                       100   101 - poin...
[OK]          ECDH P256 test vectors                       101   102 - poin...
[OK]          ECDH P256 test vectors                       102   103 - poin...
[OK]          ECDH P256 test vectors                       103   104 - poin...
[OK]          ECDH P256 test vectors                       104   105 - poin...
[OK]          ECDH P256 test vectors                       105   106 - poin...
[OK]          ECDH P256 test vectors                       106   107 - poin...
[OK]          ECDH P256 test vectors                       107   108 - poin...
[OK]          ECDH P256 test vectors                       108   109 - poin...
[OK]          ECDH P256 test vectors                       109   110 - poin...
[OK]          ECDH P256 test vectors                       110   111 - poin...
[OK]          ECDH P256 test vectors                       111   112 - poin...
[OK]          ECDH P256 test vectors                       112   113 - poin...
[OK]          ECDH P256 test vectors                       113   114 - poin...
[OK]          ECDH P256 test vectors                       114   115 - poin...
[OK]          ECDH P256 test vectors                       115   116 - poin...
[OK]          ECDH P256 test vectors                       116   117 - poin...
[OK]          ECDH P256 test vectors                       117   118 - poin...
[OK]          ECDH P256 test vectors                       118   119 - poin...
[OK]          ECDH P256 test vectors                       119   120 - poin...
[OK]          ECDH P256 test vectors                       120   121 - poin...
[OK]          ECDH P256 test vectors                       121   122 - poin...
[OK]          ECDH P256 test vectors                       122   123 - poin...
[OK]          ECDH P256 test vectors                       123   124 - poin...
[OK]          ECDH P256 test vectors                       124   125 - poin...
[OK]          ECDH P256 test vectors                       125   126 - poin...
[OK]          ECDH P256 test vectors                       126   127 - poin...
[OK]          ECDH P256 test vectors                       127   128 - poin...
[OK]          ECDH P256 test vectors                       128   129 - poin...
[OK]          ECDH P256 test vectors                       129   130 - poin...
[OK]          ECDH P256 test vectors                       130   131 - poin...
[OK]          ECDH P256 test vectors                       131   132 - poin...
[OK]          ECDH P256 test vectors                       132   133 - poin...
[OK]          ECDH P256 test vectors                       133   134 - poin...
[OK]          ECDH P256 test vectors                       134   135 - poin...
[OK]          ECDH P256 test vectors                       135   136 - poin...
[OK]          ECDH P256 test vectors                       136   137 - poin...
[OK]          ECDH P256 test vectors                       137   138 - poin...
[OK]          ECDH P256 test vectors                       138   139 - poin...
[OK]          ECDH P256 test vectors                       139   140 - poin...
[OK]          ECDH P256 test vectors                       140   141 - poin...
[OK]          ECDH P256 test vectors                       141   142 - poin...
[OK]          ECDH P256 test vectors                       142   143 - poin...
[OK]          ECDH P256 test vectors                       143   144 - poin...
[OK]          ECDH P256 test vectors                       144   145 - poin...
[OK]          ECDH P256 test vectors                       145   146 - poin...
[OK]          ECDH P256 test vectors                       146   147 - poin...
[OK]          ECDH P256 test vectors                       147   148 - poin...
[OK]          ECDH P256 test vectors                       148   149 - poin...
[OK]          ECDH P256 test vectors                       149   150 - poin...
[OK]          ECDH P256 test vectors                       150   151 - poin...
[OK]          ECDH P256 test vectors                       151   152 - poin...
[OK]          ECDH P256 test vectors                       152   153 - poin...
[OK]          ECDH P256 test vectors                       153   154 - poin...
[OK]          ECDH P256 test vectors                       154   155 - poin...
[OK]          ECDH P256 test vectors                       155   156 - poin...
[OK]          ECDH P256 test vectors                       156   157 - poin...
[OK]          ECDH P256 test vectors                       157   158 - poin...
[OK]          ECDH P256 test vectors                       158   159 - poin...
[OK]          ECDH P256 test vectors                       159   160 - poin...
[OK]          ECDH P256 test vectors                       160   161 - poin...
[OK]          ECDH P256 test vectors                       161   162 - poin...
[OK]          ECDH P256 test vectors                       162   163 - poin...
[OK]          ECDH P256 test vectors                       163   164 - poin...
[OK]          ECDH P256 test vectors                       164   165 - poin...
[OK]          ECDH P256 test vectors                       165   166 - poin...
[OK]          ECDH P256 test vectors                       166   167 - poin...
[OK]          ECDH P256 test vectors                       167   168 - poin...
[OK]          ECDH P256 test vectors                       168   169 - poin...
[OK]          ECDH P256 test vectors                       169   170 - poin...
[OK]          ECDH P256 test vectors                       170   171 - poin...
[OK]          ECDH P256 test vectors                       171   172 - poin...
[OK]          ECDH P256 test vectors                       172   173 - poin...
[OK]          ECDH P256 test vectors                       173   174 - poin...
[OK]          ECDH P256 test vectors                       174   175 - poin...
[OK]          ECDH P256 test vectors                       175   176 - edge...
[OK]          ECDH P256 test vectors                       176   177 - edge...
[OK]          ECDH P256 test vectors                       177   178 - edge...
[OK]          ECDH P256 test vectors                       178   179 - edge...
[OK]          ECDH P256 test vectors                       179   180 - edge...
[OK]          ECDH P256 test vectors                       180   181 - edge...
[OK]          ECDH P256 test vectors                       181   182 - edge...
[OK]          ECDH P256 test vectors                       182   183 - edge...
[OK]          ECDH P256 test vectors                       183   184 - edge...
[OK]          ECDH P256 test vectors                       184   185 - edge...
[OK]          ECDH P256 test vectors                       185   186 - edge...
[OK]          ECDH P256 test vectors                       186   187 - edge...
[OK]          ECDH P256 test vectors                       187   188 - edge...
[OK]          ECDH P256 test vectors                       188   189 - edge...
[OK]          ECDH P256 test vectors                       189   190 - edge...
[OK]          ECDH P256 test vectors                       190   191 - CVE-...
[OK]          ECDH P256 test vectors                       191   192 - CVE-...
[OK]          ECDH P256 test vectors                       192   193 - poin...
[OK]          ECDH P256 test vectors                       193   194 - poin...
[OK]          ECDH P256 test vectors                       194   195 - poin...
[OK]          ECDH P256 test vectors                       195   196 - poin...
[OK]          ECDH P256 test vectors                       196   197 - poin...
[OK]          ECDH P256 test vectors                       197   198 - poin...
[OK]          ECDH P256 test vectors                       198   199 - poin...
[OK]          ECDH P256 test vectors                       199   200 - poin...
[OK]          ECDH P256 test vectors                       200   201 - poin...
[OK]          ECDH P256 test vectors                       201   202 - poin...
[OK]          ECDH P256 test vectors                       202   203 - poin...
[OK]          ECDH P256 test vectors                       203   204 - poin...
[OK]          ECDH P256 test vectors                       204   205 - poin...
[OK]          ECDH P256 test vectors                       205   206 - poin...
[OK]          ECDH P256 test vectors                       206   207 - poin...
[OK]          ECDH P256 test vectors                       207   208 - poin...
[OK]          ECDH P256 test vectors                       208   209 - .
[OK]          ECDH P256 test vectors                       209   210 - publ...
[OK]          ECDH P256 test vectors                       210   211 - publ...
[OK]          ECDH P256 test vectors                       211   224 - usin...
[OK]          ECDH P256 test vectors                       212   225 - usin...
[OK]          ECDH P256 test vectors                       213   228 - Publ...
[OK]          ECDH P256 test vectors                       214   229 - Publ...
[OK]          ECDH P256 test vectors                       215   230 - Publ...
[OK]          ECDH P256 test vectors                       216   231 - Publ...
[OK]          ECDH P256 test vectors                       217   232 - Publ...
[OK]          ECDH P256 test vectors                       218   233 - Publ...
[OK]          ECDH P256 test vectors                       219   234 - Publ...
[OK]          ECDH P256 test vectors                       220   235 - Publ...
[OK]          ECDH P256 test vectors                       221   236 - Publ...
[OK]          ECDH P256 test vectors                       222   237 - Publ...
[OK]          ECDH P256 test vectors                       223   238 - Publ...
[OK]          ECDH P256 test vectors                       224   239 - Publ...
[OK]          ECDH P256 test vectors                       225   240 - Publ...
[OK]          ECDH P256 test vectors                       226   241 - Publ...
[OK]          ECDH P256 test vectors                       227   242 - Publ...
[OK]          ECDH P256 test vectors                       228   243 - inva...
[OK]          ECDH P256 test vectors                       229   244 - publ...
[OK]          ECDH P256 test vectors                       230   245 - publ...
[OK]          ECDH P256 test vectors                       231   246 - publ...
[OK]          ECDH P256 test vectors                       232   247 - publ...
[OK]          ECDH P256 test vectors                       233   248 - publ...
[OK]          ECDH P256 test vectors                       234   249 - publ...
[OK]          ECDSA P256 test vectors (SHA256)               0   1 - signat...
[OK]          ECDSA P256 test vectors (SHA256)               1   2 - Legacy...
[OK]          ECDSA P256 test vectors (SHA256)               2   3 - valid.
[OK]          ECDSA P256 test vectors (SHA256)               3   4 - long f...
[OK]          ECDSA P256 test vectors (SHA256)               4   5 - length...
[OK]          ECDSA P256 test vectors (SHA256)               5   6 - wrong ...
[OK]          ECDSA P256 test vectors (SHA256)               6   7 - wrong ...
[OK]          ECDSA P256 test vectors (SHA256)               7   8 - uint32...
[OK]          ECDSA P256 test vectors (SHA256)               8   9 - uint64...
[OK]          ECDSA P256 test vectors (SHA256)               9   10 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              10   11 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              11   12 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              12   13 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              13   14 - incor...
[OK]          ECDSA P256 test vectors (SHA256)              14   15 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              15   16 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              16   17 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              17   18 - remov...
[OK]          ECDSA P256 test vectors (SHA256)              18   19 - lonel...
[OK]          ECDSA P256 test vectors (SHA256)              19   20 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              20   21 - prepe...
[OK]          ECDSA P256 test vectors (SHA256)              21   22 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              22   23 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              23   24 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              24   25 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              25   26 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              26   27 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              27   28 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              28   29 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              29   30 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              30   31 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              31   32 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              32   33 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              33   34 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              34   35 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              35   36 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              36   37 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              37   38 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              38   39 - trunc...
[OK]          ECDSA P256 test vectors (SHA256)              39   40 - using...
[OK]          ECDSA P256 test vectors (SHA256)              40   41 - using...
[OK]          ECDSA P256 test vectors (SHA256)              41   42 - using...
[OK]          ECDSA P256 test vectors (SHA256)              42   43 - using...
[OK]          ECDSA P256 test vectors (SHA256)              43   44 - using...
[OK]          ECDSA P256 test vectors (SHA256)              44   45 - using...
[OK]          ECDSA P256 test vectors (SHA256)              45   46 - Repla...
[OK]          ECDSA P256 test vectors (SHA256)              46   47 - chang...
[OK]          ECDSA P256 test vectors (SHA256)              47   48 - chang...
[OK]          ECDSA P256 test vectors (SHA256)              48   49 - chang...
[OK]          ECDSA P256 test vectors (SHA256)              49   50 - chang...
[OK]          ECDSA P256 test vectors (SHA256)              50   51 - chang...
[OK]          ECDSA P256 test vectors (SHA256)              51   52 - dropp...
[OK]          ECDSA P256 test vectors (SHA256)              52   53 - using...
[OK]          ECDSA P256 test vectors (SHA256)              53   54 - trunc...
[OK]          ECDSA P256 test vectors (SHA256)              54   55 - trunc...
[OK]          ECDSA P256 test vectors (SHA256)              55   56 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              56   57 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              57   58 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              58   59 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              59   60 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              60   61 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              61   62 - prepe...
[OK]          ECDSA P256 test vectors (SHA256)              62   63 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              63   64 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              64   65 - seque...
[OK]          ECDSA P256 test vectors (SHA256)              65   66 - trunc...
[OK]          ECDSA P256 test vectors (SHA256)              66   67 - repea...
[OK]          ECDSA P256 test vectors (SHA256)              67   68 - long ...
[OK]          ECDSA P256 test vectors (SHA256)              68   69 - long ...
[OK]          ECDSA P256 test vectors (SHA256)              69   70 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              70   71 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              71   72 - wrong...
[OK]          ECDSA P256 test vectors (SHA256)              72   73 - wrong...
[OK]          ECDSA P256 test vectors (SHA256)              73   74 - wrong...
[OK]          ECDSA P256 test vectors (SHA256)              74   75 - wrong...
[OK]          ECDSA P256 test vectors (SHA256)              75   76 - uint3...
[OK]          ECDSA P256 test vectors (SHA256)              76   77 - uint3...
[OK]          ECDSA P256 test vectors (SHA256)              77   78 - uint6...
[OK]          ECDSA P256 test vectors (SHA256)              78   79 - uint6...
[OK]          ECDSA P256 test vectors (SHA256)              79   80 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              80   81 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              81   82 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              82   83 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              83   84 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              84   85 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              85   86 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              86   87 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              87   88 - incor...
[OK]          ECDSA P256 test vectors (SHA256)              88   89 - incor...
[OK]          ECDSA P256 test vectors (SHA256)              89   90 - remov...
[OK]          ECDSA P256 test vectors (SHA256)              90   91 - lonel...
[OK]          ECDSA P256 test vectors (SHA256)              91   92 - lonel...
[OK]          ECDSA P256 test vectors (SHA256)              92   93 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              93   94 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              94   95 - prepe...
[OK]          ECDSA P256 test vectors (SHA256)              95   96 - prepe...
[OK]          ECDSA P256 test vectors (SHA256)              96   97 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              97   98 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              98   99 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              99   100 - trun...
[OK]          ECDSA P256 test vectors (SHA256)             100   101 - trun...
[OK]          ECDSA P256 test vectors (SHA256)             101   102 - Repl...
[OK]          ECDSA P256 test vectors (SHA256)             102   103 - Repl...
[OK]          ECDSA P256 test vectors (SHA256)             103   104 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             104   105 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             105   106 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             106   107 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             107   108 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             108   109 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             109   110 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             110   111 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             111   112 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             112   113 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             113   114 - drop...
[OK]          ECDSA P256 test vectors (SHA256)             114   115 - drop...
[OK]          ECDSA P256 test vectors (SHA256)             115   116 - usin...
[OK]          ECDSA P256 test vectors (SHA256)             116   117 - usin...
[OK]          ECDSA P256 test vectors (SHA256)             117   118 - modi...
[OK]          ECDSA P256 test vectors (SHA256)             118   119 - modi...
[OK]          ECDSA P256 test vectors (SHA256)             119   120 - modi...
[OK]          ECDSA P256 test vectors (SHA256)             120   121 - modi...
[OK]          ECDSA P256 test vectors (SHA256)             121   122 - trun...
[OK]          ECDSA P256 test vectors (SHA256)             122   123 - trun...
[OK]          ECDSA P256 test vectors (SHA256)             123   124 - trun...
[OK]          ECDSA P256 test vectors (SHA256)             124   125 - lead...
[OK]          ECDSA P256 test vectors (SHA256)             125   126 - lead...
[OK]          ECDSA P256 test vectors (SHA256)             126   127 - repl...
[OK]          ECDSA P256 test vectors (SHA256)             127   128 - repl...
[OK]          ECDSA P256 test vectors (SHA256)             128   129 - repl...
[OK]          ECDSA P256 test vectors (SHA256)             129   130 - repl...
[OK]          ECDSA P256 test vectors (SHA256)             130   131 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             131   132 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             132   133 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             133   134 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             134   135 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             135   136 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             136   137 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             137   138 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             138   139 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             139   140 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             140   141 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             141   142 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             142   143 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             143   144 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             144   145 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             145   146 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             146   147 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             147   148 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             148   149 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             149   150 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             150   151 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             151   152 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             152   153 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             153   154 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             154   155 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             155   156 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             156   157 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             157   158 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             158   159 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             159   160 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             160   161 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             161   162 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             162   163 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             163   164 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             164   165 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             165   166 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             166   167 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             167   168 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             168   169 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             169   170 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             170   171 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             171   172 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             172   173 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             173   174 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             174   175 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             175   176 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             176   177 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             177   178 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             178   179 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             179   180 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             180   181 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             181   182 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             182   183 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             183   184 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             184   185 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             185   186 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             186   187 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             187   188 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             188   189 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             189   190 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             190   191 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             191   192 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             192   193 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             193   194 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             194   195 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             195   196 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             196   197 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             197   198 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             198   199 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             199   200 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             200   201 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             201   202 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             202   203 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             203   204 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             204   205 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             205   206 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             206   207 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             207   208 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             208   209 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             209   210 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             210   211 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             211   212 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             212   213 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             213   214 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             214   215 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             215   216 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             216   217 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             217   218 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             218   219 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             219   220 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             220   221 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             221   222 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             222   223 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             223   224 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             224   225 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             225   226 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             226   227 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             227   228 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             228   229 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             229   230 - Edge...
[OK]          ECDSA P256 test vectors (SHA256)             230   231 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             231   232 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             232   233 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             233   234 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             234   235 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             235   236 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             236   237 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             237   238 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             238   239 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             239   240 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             240   241 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             241   242 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             242   243 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             243   244 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             244   245 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             245   246 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             246   247 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             247   248 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             248   249 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             249   250 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             250   251 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             251   252 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             252   253 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             253   254 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             254   255 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             255   256 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             256   257 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             257   258 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             258   259 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             259   260 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             260   261 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             261   262 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             262   263 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             263   264 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             264   265 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             265   266 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             266   267 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             267   268 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             268   269 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             269   270 - spec...
...TRUNCATED BY DUNE...
[OK]          ECDH SECP256K1 test vectors                  101   102 - poin...
[OK]          ECDH SECP256K1 test vectors                  102   103 - poin...
[OK]          ECDH SECP256K1 test vectors                  103   104 - poin...
[OK]          ECDH SECP256K1 test vectors                  104   105 - poin...
[OK]          ECDH SECP256K1 test vectors                  105   106 - poin...
[OK]          ECDH SECP256K1 test vectors                  106   107 - poin...
[OK]          ECDH SECP256K1 test vectors                  107   108 - poin...
[OK]          ECDH SECP256K1 test vectors                  108   109 - poin...
[OK]          ECDH SECP256K1 test vectors                  109   110 - poin...
[OK]          ECDH SECP256K1 test vectors                  110   111 - poin...
[OK]          ECDH SECP256K1 test vectors                  111   112 - poin...
[OK]          ECDH SECP256K1 test vectors                  112   113 - poin...
[OK]          ECDH SECP256K1 test vectors                  113   114 - poin...
[OK]          ECDH SECP256K1 test vectors                  114   115 - poin...
[OK]          ECDH SECP256K1 test vectors                  115   116 - poin...
[OK]          ECDH SECP256K1 test vectors                  116   117 - poin...
[OK]          ECDH SECP256K1 test vectors                  117   118 - poin...
[OK]          ECDH SECP256K1 test vectors                  118   119 - poin...
[OK]          ECDH SECP256K1 test vectors                  119   120 - poin...
[OK]          ECDH SECP256K1 test vectors                  120   121 - poin...
[OK]          ECDH SECP256K1 test vectors                  121   122 - poin...
[OK]          ECDH SECP256K1 test vectors                  122   123 - poin...
[OK]          ECDH SECP256K1 test vectors                  123   124 - poin...
[OK]          ECDH SECP256K1 test vectors                  124   125 - poin...
[OK]          ECDH SECP256K1 test vectors                  125   126 - poin...
[OK]          ECDH SECP256K1 test vectors                  126   127 - poin...
[OK]          ECDH SECP256K1 test vectors                  127   128 - poin...
[OK]          ECDH SECP256K1 test vectors                  128   129 - poin...
[OK]          ECDH SECP256K1 test vectors                  129   130 - poin...
[OK]          ECDH SECP256K1 test vectors                  130   131 - poin...
[OK]          ECDH SECP256K1 test vectors                  131   132 - poin...
[OK]          ECDH SECP256K1 test vectors                  132   133 - poin...
[OK]          ECDH SECP256K1 test vectors                  133   134 - poin...
[OK]          ECDH SECP256K1 test vectors                  134   135 - poin...
[OK]          ECDH SECP256K1 test vectors                  135   136 - poin...
[OK]          ECDH SECP256K1 test vectors                  136   137 - poin...
[OK]          ECDH SECP256K1 test vectors                  137   138 - poin...
[OK]          ECDH SECP256K1 test vectors                  138   139 - poin...
[OK]          ECDH SECP256K1 test vectors                  139   140 - poin...
[OK]          ECDH SECP256K1 test vectors                  140   141 - poin...
[OK]          ECDH SECP256K1 test vectors                  141   142 - poin...
[OK]          ECDH SECP256K1 test vectors                  142   143 - poin...
[OK]          ECDH SECP256K1 test vectors                  143   144 - poin...
[OK]          ECDH SECP256K1 test vectors                  144   145 - poin...
[OK]          ECDH SECP256K1 test vectors                  145   146 - poin...
[OK]          ECDH SECP256K1 test vectors                  146   147 - poin...
[OK]          ECDH SECP256K1 test vectors                  147   148 - poin...
[OK]          ECDH SECP256K1 test vectors                  148   149 - poin...
[OK]          ECDH SECP256K1 test vectors                  149   150 - poin...
[OK]          ECDH SECP256K1 test vectors                  150   151 - poin...
[OK]          ECDH SECP256K1 test vectors                  151   152 - poin...
[OK]          ECDH SECP256K1 test vectors                  152   153 - poin...
[OK]          ECDH SECP256K1 test vectors                  153   154 - poin...
[OK]          ECDH SECP256K1 test vectors                  154   155 - poin...
[OK]          ECDH SECP256K1 test vectors                  155   156 - poin...
[OK]          ECDH SECP256K1 test vectors                  156   157 - poin...
[OK]          ECDH SECP256K1 test vectors                  157   158 - poin...
[OK]          ECDH SECP256K1 test vectors                  158   159 - poin...
[OK]          ECDH SECP256K1 test vectors                  159   160 - poin...
[OK]          ECDH SECP256K1 test vectors                  160   161 - poin...
[OK]          ECDH SECP256K1 test vectors                  161   162 - poin...
[OK]          ECDH SECP256K1 test vectors                  162   163 - poin...
[OK]          ECDH SECP256K1 test vectors                  163   164 - poin...
[OK]          ECDH SECP256K1 test vectors                  164   165 - poin...
[OK]          ECDH SECP256K1 test vectors                  165   166 - poin...
[OK]          ECDH SECP256K1 test vectors                  166   167 - edge...
[OK]          ECDH SECP256K1 test vectors                  167   168 - edge...
[OK]          ECDH SECP256K1 test vectors                  168   169 - edge...
[OK]          ECDH SECP256K1 test vectors                  169   170 - edge...
[OK]          ECDH SECP256K1 test vectors                  170   171 - edge...
[OK]          ECDH SECP256K1 test vectors                  171   172 - edge...
[OK]          ECDH SECP256K1 test vectors                  172   173 - edge...
[OK]          ECDH SECP256K1 test vectors                  173   174 - edge...
[OK]          ECDH SECP256K1 test vectors                  174   175 - edge...
[OK]          ECDH SECP256K1 test vectors                  175   176 - edge...
[OK]          ECDH SECP256K1 test vectors                  176   177 - edge...
[OK]          ECDH SECP256K1 test vectors                  177   178 - edge...
[OK]          ECDH SECP256K1 test vectors                  178   179 - edge...
[OK]          ECDH SECP256K1 test vectors                  179   180 - edge...
[OK]          ECDH SECP256K1 test vectors                  180   181 - edge...
[OK]          ECDH SECP256K1 test vectors                  181   182 - edge...
[OK]          ECDH SECP256K1 test vectors                  182   183 - poin...
[OK]          ECDH SECP256K1 test vectors                  183   184 - poin...
[OK]          ECDH SECP256K1 test vectors                  184   185 - poin...
[OK]          ECDH SECP256K1 test vectors                  185   186 - poin...
[OK]          ECDH SECP256K1 test vectors                  186   187 - poin...
[OK]          ECDH SECP256K1 test vectors                  187   188 - poin...
[OK]          ECDH SECP256K1 test vectors                  188   189 - poin...
[OK]          ECDH SECP256K1 test vectors                  189   190 - poin...
[OK]          ECDH SECP256K1 test vectors                  190   191 - poin...
[OK]          ECDH SECP256K1 test vectors                  191   192 - poin...
[OK]          ECDH SECP256K1 test vectors                  192   193 - poin...
[OK]          ECDH SECP256K1 test vectors                  193   194 - poin...
[OK]          ECDH SECP256K1 test vectors                  194   195 - poin...
[OK]          ECDH SECP256K1 test vectors                  195   196 - poin...
[OK]          ECDH SECP256K1 test vectors                  196   197 - poin...
[OK]          ECDH SECP256K1 test vectors                  197   198 - poin...
[OK]          ECDH SECP256K1 test vectors                  198   199 - publ...
[OK]          ECDH SECP256K1 test vectors                  199   200 - publ...
[OK]          ECDH SECP256K1 test vectors                  200   201 - .
[OK]          ECDH SECP256K1 test vectors                  201   202 - publ...
[OK]          ECDH SECP256K1 test vectors                  202   203 - publ...
[OK]          ECDH SECP256K1 test vectors                  203   216 - usin...
[OK]          ECDH SECP256K1 test vectors                  204   217 - usin...
[OK]          ECDH SECP256K1 test vectors                  205   220 - Publ...
[OK]          ECDH SECP256K1 test vectors                  206   221 - Publ...
[OK]          ECDH SECP256K1 test vectors                  207   222 - Publ...
[OK]          ECDH SECP256K1 test vectors                  208   223 - Publ...
[OK]          ECDH SECP256K1 test vectors                  209   224 - Publ...
[OK]          ECDH SECP256K1 test vectors                  210   225 - Publ...
[OK]          ECDH SECP256K1 test vectors                  211   226 - Publ...
[OK]          ECDH SECP256K1 test vectors                  212   227 - Publ...
[OK]          ECDH SECP256K1 test vectors                  213   228 - Publ...
[OK]          ECDH SECP256K1 test vectors                  214   229 - Publ...
[OK]          ECDH SECP256K1 test vectors                  215   230 - Publ...
[OK]          ECDH SECP256K1 test vectors                  216   231 - Publ...
[OK]          ECDH SECP256K1 test vectors                  217   232 - Publ...
[OK]          ECDH SECP256K1 test vectors                  218   233 - Publ...
[OK]          ECDH SECP256K1 test vectors                  219   234 - Publ...
[OK]          ECDH SECP256K1 test vectors                  220   235 - Publ...
[OK]          ECDH SECP256K1 test vectors                  221   236 - inva...
[OK]          ECDH SECP256K1 test vectors                  222   237 - publ...
[OK]          ECDH SECP256K1 test vectors                  223   238 - publ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          0   0 - valid.
[OK]          ECDSA SECP256K1 test vectors (SHA256)          1   1 - signat...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          2   2 - Legacy...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          3   3 - valid.
[OK]          ECDSA SECP256K1 test vectors (SHA256)          4   4 - long f...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          5   5 - length...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          6   6 - wrong ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          7   7 - wrong ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          8   8 - uint32...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          9   9 - uint64...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         10   10 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         11   11 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         12   12 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         13   13 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         14   14 - incor...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         15   15 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         16   16 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         17   17 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         18   18 - remov...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         19   19 - lonel...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         20   20 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         21   21 - prepe...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         22   22 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         23   23 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         24   24 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         25   25 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         26   26 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         27   27 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         28   28 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         29   29 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         30   30 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         31   31 - inclu...
[OK]          ECDSA SECP26K1 test vectors (SHA256)         32   32 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         33   33 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         34   34 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         35   35 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         36   36 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         37   37 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         38   38 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         39   39 - trunc...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         40   40 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         41   41 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         42   42 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         43   43 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         44   44 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         45   45 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         46   46 - Repla...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         47   47 - chang...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         48   48 - chang...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         49   49 - chang...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         50   50 - chang...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         51   51 - chang...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         52   52 - dropp...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         53   53 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         54   54 - trunc...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         55   55 - trunc...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         56   56 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         57   57 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         58   58 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         59   59 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         60   60 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         61   61 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         62   62 - prepe...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         63   63 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         64   64 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         65   65 - seque...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         66   66 - trunc...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         67   67 - repea...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         68   68 - long ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         69   69 - long ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         70   70 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         71   71 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         72   72 - wrong...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         73   73 - wrong...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         74   74 - wrong...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         75   75 - wrong...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         76   76 - uint3...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         77   77 - uint3...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         78   78 - uint6...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         79   79 - uint6...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         80   80 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         81   81 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         82   82 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         83   83 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         84   84 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         85   85 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         86   86 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         87   87 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         88   88 - incor...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         89   89 - incor...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         90   90 - remov...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         91   91 - lonel...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         92   92 - lonel...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         93   93 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         94   94 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         95   95 - prepe...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         96   96 - prepe...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         97   97 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         98   98 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         99   99 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        100   100 - trun...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        101   101 - trun...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        102   102 - Repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        103   103 - Repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        104   104 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        105   105 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        106   106 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        107   107 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        108   108 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        109   109 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        110   110 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        111   111 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        112   112 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        113   113 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        114   114 - drop...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        115   115 - drop...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        116   116 - usin...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        117   117 - usin...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        118   118 - modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        119   119 - modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        120   120 - modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        121   121 - modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        122   122 - trun...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        123   123 - trun...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        124   124 - trun...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        125   125 - lead...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        126   126 - lead...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        127   127 - repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        128   128 - repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        129   129 - repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        130   130 - repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        131   131 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        132   132 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        133   133 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        134   134 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        135   135 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        136   136 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        137   137 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        138   138 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        139   139 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        140   140 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        141   141 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        142   142 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        143   143 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        144   144 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        145   145 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        146   146 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        147   147 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        148   148 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        149   149 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        150   150 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        151   151 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        152   152 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        153   153 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        154   154 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        155   155 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        156   156 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        157   157 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        158   158 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        159   159 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        160   160 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        161   161 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        162   162 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        163   163 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        164   164 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        165   165 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        166   166 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        167   167 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        168   168 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        169   169 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        170   170 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        171   171 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        172   172 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        173   173 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        174   174 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        175   175 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        176   176 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        177   177 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        178   178 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        179   179 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        180   180 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        181   181 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        182   182 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        183   183 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        184   184 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        185   185 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        186   186 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        187   187 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        188   188 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        189   189 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        190   190 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        191   191 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        192   192 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        193   193 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        194   194 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        195   195 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        196   196 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        197   197 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        198   198 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        199   199 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        200   200 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        201   201 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        202   202 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        203   203 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        204   204 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        205   205 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        206   206 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        207   207 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        208   208 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        209   209 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        210   210 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        211   211 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        212   212 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        213   213 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        214   214 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        215   215 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        216   216 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        217   217 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        218   218 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        219   219 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        220   220 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        221   221 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        222   222 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        223   223 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        224   224 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        225   225 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        226   226 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        227   227 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        228   228 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        229   229 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        230   230 - Edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        231   231 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        232   232 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        233   233 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        234   234 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        235   235 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        236   236 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        237   237 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        238   238 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        239   239 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        240   240 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        241   241 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        242   242 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        243   243 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        244   244 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        245   245 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        246   246 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        247   247 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        248   248 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        249   249 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        250   250 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        251   251 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        252   252 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        253   253 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        254   254 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        255   255 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        256   256 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        257   257 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        258   258 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        259   259 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        260   260 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        261   261 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        262   262 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        263   263 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        264   264 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        265   265 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        266   266 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        267   267 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        268   268 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        269   269 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        270   270 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        271   271 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        272   272 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        273   273 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        274   274 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        275   275 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        276   276 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        277   277 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        278   278 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        279   279 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        280   280 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        281   281 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        282   282 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        283   283 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        284   284 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        285   285 - k*G ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        286   286 - r to...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        287   287 - r,s ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        288   288 - r an...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        289   289 - r an...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        290   290 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        291   291 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        292   292 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        293   293 - r is...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        294   294 - s is...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        295   295 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        296   296 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        297   297 - 100-...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        298   298 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        299   299 - 100-...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        300   300 - r an...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        301   301 - s == 1.
[OK]          ECDSA SECP256K1 test vectors (SHA256)        302   302 - s == 0.
[OK]          ECDSA SECP256K1 test vectors (SHA256)        303   303 - poin...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        304   304 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        305   305 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        306   306 - u1 =...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        307   307 - u1 =...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        308   308 - u2 =...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        309   309 - u2 =...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        310   310 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        311   311 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        312   312 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        313   313 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        314   314 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        315   315 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        316   316 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        317   317 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        318   318 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        319   319 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        320   320 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        321   321 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        322   322 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        323   323 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        324   324 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        325   325 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        326   326 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        327   327 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        328   328 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        329   329 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        330   330 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        331   331 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        332   332 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        333   333 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        334   334 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        335   335 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        336   336 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        337   337 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        338   338 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        339   339 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        340   340 - poin...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        341   341 - dupl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        342   342 - comp...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        343   343 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        344   344 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        345   345 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        346   346 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        347   347 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        348   348 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        349   349 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        350   350 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        351   351 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        352   352 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        353   353 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        354   354 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        355   355 - test...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        356   356 - test...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        357   357 - test...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        358   358 - test...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        359   359 - pseu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        360   360 - pseu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        361   361 - pseu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        362   362 - pseu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        363   363 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        364   364 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        365   365 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        366   366 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        367   367 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        368   368 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        369   369 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        370   370 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        371   371 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        372   372 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        373   373 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        374   374 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        375   375 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        376   376 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        377   377 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        378   378 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        379   379 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        380   380 - x-co...


Full test results in `~/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.
Test Successful in 1.839s. 4107 tests run.
(cd _build/default/tests && ./test_entropy_collection.exe)
reseeding:
000000  00c8 7d72 8872 9472  9f72 ab72 b672 c272  ..}r.r.r.r.r.r.r
000010  ce72 da72 e672 f272  ff72 0c73 1973 2673  .r.r.r.r.r.s.s&s
000020  3373 4173 4f73 5d73  6b73 7a73 8973 9873  3sAsOs]skszs.s.s
000030  a773 b773 c773 d773  e773 f873 0974 0974  .s.s.s.s.s.s.t.t
000040  0a74 0b74 0b74 0c74  0c74 0d74 0e74 0e74  .t.t.t.t.t.t.t.t
000050  0f74 1074 1174 1274  1274 1374 1474 1574  .t.t.t.t.t.t.t.t
000060  1574 1674 1774 1874  1974 1974 1a74 1b74  .t.t.t.t.t.t.t.t
000070  1c74 1d74 1e74 1f74  1f74 2074 2174 2274  .t.t.t.t.t t!t"t
000080  2374 2474 2574 2674  2774 2874 2974 2a74  #t$t%t&t't(t)t*t
000090  2b74 2d74 2e74 2f74  3074 3174 3274 3474  +t-t.t/t0t1t2t4t
0000a0  3574 3674 3774 3974  3a74 3b74 3d74 3e74  5t6t7t9t:t;t=t>t
0000b0  4074 4174 4374 4474  4674 4774 4974 4b74  @tAtCtDtFtGtItKt
0000c0  4c74 4e74 5074 5174  5374 01c8 5674 5874  LtNtPtQtSt..VtXt
0000d0  5a74 5c74 5e74 6074  6274 6474 6674 6874  Zt\t^t`tbtdtftht
0000e0  6b74 6d74 6f74 7174  7374 7674 7874 7b74  ktmtotqtstvtxt{t
0000f0  7d74 7f74 8274 8574  8774 8a74 8c74 8f74  }t.t.t.t.t.t.t.t
000100  9274 9574 9874 9b74  9e74 a174 a474 a774  .t.t.t.t.t.t.t.t
000110  aa74 ae74 b174 b474  b874 bb74 be74 c274  .t.t.t.t.t.t.t.t
000120  c674 c974 cd74 d174  d574 d974 dd74 e174  .t.t.t.t.t.t.t.t
000130  e574 e974 ed74 f274  f674 fa74 ff74 0375  .t.t.t.t.t.t.t.u
000140  0875 0d75 1275 1675  1b75 2075 2675 2b75  .u.u.u.u.u u&u+u
000150  3175 3675 3b75 4175  4775 4c75 5275 5875  1u6u;uAuGuLuRuXu
000160  5e75 6475 6a75 7175  7775 7e75 8575 8b75  ^udujuquwu~u.u.u
000170  9275 9975 a075 a775  af75 b675 bd75 c675  .u.u.u.u.u.u.u.u
000180  ce75 d675 de75 e675  ef75 f775 0076 0876  .u.u.u.u.u.u.v.v
000190  1176 1a76 02c8 2676  2f76 3976 4376 4d76  .v.v..&v/v9vCvMv
0001a0  5776 6176 6b76 7576  8076 8b76 9676 a176  Wvavkvuv.v.v.v.v
0001b0  ad76 b876 c476 d076  dc76 e976 f576 0277  .v.v.v.v.v.v.v.w
0001c0  0f77 1c77 2a77 3777  4577 5377 6277 7077  .w.w*w7wEwSwbwpw
0001d0  7f77 8d77 9d77 ac77  bc77 cc77 dc77 ec77  .w.w.w.w.w.w.w.w
0001e0  fd77 0e78 0f78 0f78  1078 1178 1278 1378  .w.x.x.x.x.x.x.x
0001f0  1378 1478 1578 1578  1678 1778 1878 1878  .x.x.x.x.x.x.x.x
000200  1978 1a78 1b78 1c78  1d78 1d78 1e78 1f78  .x.x.x.x.x.x.x.x
000210  2078 2178 2278 2378  2478 2578 2678 2778   x!x"x#x$x%x&x'x
000220  2878 2978 2a78 2b78  2c78 2d78 2e78 3078  (x)x*x+x,x-x.x0x
000230  3178 3278 3378 3478  3678 3778 3878 3978  1x2x3x4x6x7x8x9x
000240  3b78 3c78 3e78 3f78  4078 4278 4378 4578  ;x<x>x?x@xBxCxEx
000250  4778 4878 4a78 4b78  4d78 4f78 5178 03c8  GxHxJxKxMxOxQx..
000260  5478 5578 5778 5978  5b78 5d78 5f78 6178  TxUxWxYx[x]x_xax
000270  6378 6578 6778 6978  6b78 6d78 7078 7278  cxexgxixkxmxpxrx
000280  7478 7778 7a78 7c78  7f78 8178 8478 8678  txwxzx|x.x.x.x.x
000290  8978 8b78 8e78 9178  9478 9778 9978 9c78  .x.x.x.x.x.x.x.x
0002a0  9f78 a278 a578 a978  ac78 af78 b278 b678  .x.x.x.x.x.x.x.x
0002b0  b978 bc78 c078 c378  c778 cb78 cf78 d378  .x.x.x.x.x.x.x.x
0002c0  d778 db78 df78 e378  e778 eb78 ef78 f378  .x.x.x.x.x.x.x.x
0002d0  f878 fc78 0079 0479  0979 0e79 1379 1779  .x.x.y.y.y.y.y.y
0002e0  1c79 2179 2679 2c79  3279 3779 3d79 4279  .y!y&y,y2y7y=yBy
0002f0  4879 4d79 5379 5979  5f79 6579 6c79 7279  HyMySyYy_yeylyry
000300  7879 7f79 8679 8d79  9479 9b79 a279 a979  xy.y.y.y.y.y.y.y
000310  b179 b879 c079 c779  cf79 d779 df79 e779  .y.y.y.y.y.y.y.y
000320  f079 f979 017a 0a7a                       .y.y.z.z


entropy sources: [0] timer
accumulate: (src: [0] timer) 0795 d94d
(cd _build/default/tests && ./test_miou_rng.exe)
32 bit random number: 7d4bb0dc611c9fbe77ba65ebad81bd5042859a89d1772c93556267d7dd29ef15
16 bit random number: 08404ff23ab1b3c8c29ddff7f2eb2be3
(cd _build/default/tests && ./test_pk_runner.exe)
.......................................................................................................................................................................................................................................................................................................................................................................
Ran: 359 tests in: 1.18 seconds.
OK
2025-03-08 15:49.07 ---> saved as "6e5f92aafa6bd4cf1273e6a5a471ee0ab2229c5ea5591ef4d716d7d94800e250"
Job succeeded
2025-03-08 15:49.13: Job succeeded