2026-03-10 04:48.28: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/277/head (0191da318143bcd7d71040ddd389ad662607ffc8) (linux-arm64:debian-13-5.4_arm64_opam-2.5)Base: ocaml/opam:debian-13-ocaml-5.4@sha256:515f91384679260c4d76d9346991a9270d017efc081cbcf7b65bf75ac0c6cd9eOpam project buildTo reproduce locally:git clone --recursive "https://github.com/mirage/mirage-crypto.git" && cd "mirage-crypto" && git fetch origin "refs/pull/277/head" && git reset --hard 0191da31cat > Dockerfile <<'END-OF-DOCKERFILE'FROM ocaml/opam:debian-13-ocaml-5.4@sha256:515f91384679260c4d76d9346991a9270d017efc081cbcf7b65bf75ac0c6cd9e# debian-13-5.4_arm64_opam-2.5USER 1000:1000ENV CLICOLOR_FORCE="1"ENV OPAMCOLOR="always"WORKDIR /srcRUN sudo ln -f /usr/bin/opam-2.5 /usr/bin/opamRUN opam init --reinit -niRUN uname -rs && opam exec -- ocaml -version && opam --versionWORKDIR /srcRUN sudo chown opam /srcRUN cd ~/opam-repository && (git cat-file -e 31db989bcaf14647d9889b8903120d6202ac37a8 || git fetch origin master) && git reset -q --hard 31db989bcaf14647d9889b8903120d6202ac37a8 && git log --no-decorate -n1 --oneline && opam update -uCOPY --chown=1000:1000 mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mkernel.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam ./RUN opam pin add -yn mirage-crypto.dev './' && \opam pin add -yn mirage-crypto-rng.dev './' && \opam pin add -yn mirage-crypto-rng-mkernel.dev './' && \opam pin add -yn mirage-crypto-rng-mirage.dev './' && \opam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \opam pin add -yn mirage-crypto-pk.dev './' && \opam pin add -yn mirage-crypto-ec.dev './'RUN echo '(lang dune 3.0)' > './dune-project'ENV DEPS="alcotest.1.9.1 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 bstr.0.0.4 bytesrw.0.3.0 cmdliner.2.1.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-libseccomp.1 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-name.0.5.0 dune.3.21.1 dune-configurator.3.21.1 duration.0.2.1 eqaf.0.10 fmt.0.11.0 ipaddr.5.6.2 jsont.0.2.0 logs.0.10.0 lwt.5.9.2 macaddr.5.6.2 miou.0.5.4 mirage-mtime.5.2.0 mirage-runtime.4.10.5 mirage-sleep.4.1.0 mirage-unix.5.0.1 mkernel.0.0.1 mtime.2.1.0 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-solo5.1.2.0 ocaml-src.5.4.0 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 opatch.3.1.0 ounit2.2.2.7 patch.3.1.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_yojson.3.10.0 ppxlib.0.37.0 ptime.1.2.0 randomconv.0.2.0 re.1.14.0 seq.base sexplib0.v0.17.0 solo5.0.10.1 stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4 yojson.3.0.0 zarith.1.14"ENV CI="true"ENV OCAMLCI="true"RUN opam update --depexts && opam install --cli=2.5 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mkernel.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPSRUN opam install $DEPSCOPY --chown=1000:1000 . /srcRUN opam exec -- dune build @install @check @runtest && rm -rf _buildEND-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2026-03-10 04:48.28: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-13-ocaml-5.4@sha256:515f91384679260c4d76d9346991a9270d017efc081cbcf7b65bf75ac0c6cd9e-debian-13-5.4_arm64_opam-2.5-7c04c037f0227c4526458562d3e0b733"2026-03-10 04:48.28: Using OBuilder spec:((from ocaml/opam:debian-13-ocaml-5.4@sha256:515f91384679260c4d76d9346991a9270d017efc081cbcf7b65bf75ac0c6cd9e)(comment debian-13-5.4_arm64_opam-2.5)(user (uid 1000) (gid 1000))(env CLICOLOR_FORCE 1)(env OPAMCOLOR always)(workdir /src)(run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))(run (shell "opam init --reinit -ni"))(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))(workdir /src)(run (shell "sudo chown opam /src"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 31db989bcaf14647d9889b8903120d6202ac37a8 || git fetch origin master) && git reset -q --hard 31db989bcaf14647d9889b8903120d6202ac37a8 && git log --no-decorate -n1 --oneline && opam update -u"))(copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mkernel.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)(dst ./))(run (network host)(shell "opam pin add -yn mirage-crypto.dev './' && \\nopam pin add -yn mirage-crypto-rng.dev './' && \\nopam pin add -yn mirage-crypto-rng-mkernel.dev './' && \\nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \\nopam pin add -yn mirage-crypto-pk.dev './' && \\nopam pin add -yn mirage-crypto-ec.dev './'"))(run (shell "echo '(lang dune 3.0)' > './dune-project'"))(env DEPS "alcotest.1.9.1 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 bstr.0.0.4 bytesrw.0.3.0 cmdliner.2.1.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-libseccomp.1 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-name.0.5.0 dune.3.21.1 dune-configurator.3.21.1 duration.0.2.1 eqaf.0.10 fmt.0.11.0 ipaddr.5.6.2 jsont.0.2.0 logs.0.10.0 lwt.5.9.2 macaddr.5.6.2 miou.0.5.4 mirage-mtime.5.2.0 mirage-runtime.4.10.5 mirage-sleep.4.1.0 mirage-unix.5.0.1 mkernel.0.0.1 mtime.2.1.0 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-solo5.1.2.0 ocaml-src.5.4.0 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 opatch.3.1.0 ounit2.2.2.7 patch.3.1.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_yojson.3.10.0 ppxlib.0.37.0 ptime.1.2.0 randomconv.0.2.0 re.1.14.0 seq.base sexplib0.v0.17.0 solo5.0.10.1 stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4 yojson.3.0.0 zarith.1.14")(env CI true)(env OCAMLCI true)(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mkernel.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))(copy (src .) (dst /src))(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")))2026-03-10 04:48.28: Waiting for resource in pool OCluster2026-03-10 04:48.29: Waiting for worker…2026-03-10 04:48.29: Got resource from pool OClusterBuilding on okypous.caelum.ci.devHEAD is now at 5b6487a ec: expose low-level point arithmeticHEAD is now at 0191da3 ec: expose low-level group arithmetic(from ocaml/opam:debian-13-ocaml-5.4@sha256:515f91384679260c4d76d9346991a9270d017efc081cbcf7b65bf75ac0c6cd9e)Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:515f91384679260c4d76d9346991a9270d017efc081cbcf7b65bf75ac0c6cd9e' locallydocker.io/ocaml/opam@sha256:515f91384679260c4d76d9346991a9270d017efc081cbcf7b65bf75ac0c6cd9e: Pulling from ocaml/opam1bd4defc8c5e: Pulling fs layer0392a9b03762: Pulling fs layerb22948f89819: Pulling fs layer50d734b48f7f: Pulling fs layer2177992334f7: Pulling fs layer83c8cb383fef: Pulling fs layer6ba4512d1f27: Pulling fs layer3c7d30aed99f: Pulling fs layerfb47c86320e8: Pulling fs layerb72f50544b39: Pulling fs layer48b83c8f6a56: Pulling fs layerb98d9c3ebd00: Pulling fs layer50d734b48f7f: Waiting83c8cb383fef: Waiting2177992334f7: Waiting03343187894d: Pulling fs layer6ba4512d1f27: Waiting9f5172efd37f: Pulling fs layer3c7d30aed99f: Waitingfb47c86320e8: Waitingae96ebb9601f: Pulling fs layerb72f50544b39: Waiting058dd2063dbc: Pulling fs layer48b83c8f6a56: Waitingc35a072f823c: Pulling fs layer03343187894d: Waitingb98d9c3ebd00: Waiting9bebec788ee7: Pulling fs layerae96ebb9601f: Waiting9f5172efd37f: Waiting452b69ff2588: Pulling fs layer058dd2063dbc: Waitingc35a072f823c: Waiting9bebec788ee7: Waitingec8490a65b44: Pulling fs layer452b69ff2588: Waiting664554f1f2bf: Pulling fs layer4f4fb700ef54: Pulling fs layerec8490a65b44: Waiting664554f1f2bf: Waiting17f05a191d05: Pulling fs layer4f4fb700ef54: Waiting561e07df245a: Pulling fs layeree8ba93483b0: Pulling fs layer17f05a191d05: Waiting561e07df245a: Waitingb0a45215a4bd: Pulling fs layer089d08a29ab6: Pulling fs layerb0a45215a4bd: Waitingee8ba93483b0: Waitingc34e87301ab9: Pulling fs layer089d08a29ab6: Waiting97c48b419833: Pulling fs layerc34e87301ab9: Waitingd7d65197b0e7: Pulling fs layer97c48b419833: Waiting96ff79fa36d2: Pulling fs layerd7d65197b0e7: Waitingb0c990537697: Pulling fs layer6490715e88f8: Pulling fs layer96ff79fa36d2: Waitingb0c990537697: Waiting6490715e88f8: Waitingc8def43c265c: Pulling fs layer6af0e0ea3ad2: Pulling fs layerc8def43c265c: Waiting5913635a0cc9: Pulling fs layer6af0e0ea3ad2: Waiting18ae542c4cd2: Pulling fs layerf5663ae46d34: Pulling fs layer18ae542c4cd2: Waiting2de4a3385513: Pulling fs layer30625ee7f894: Pulling fs layer2de4a3385513: Waiting30625ee7f894: Waiting225800ae4b69: Pulling fs layer16fcaed8302d: Pulling fs layerec0a1b66cf6e: Pulling fs layer795d8c1ca04e: Pulling fs layer1142b73ca69b: Pulling fs layer225800ae4b69: Waiting16fcaed8302d: Waiting8f88ab9f4f03: Pulling fs layer795d8c1ca04e: Waitingec0a1b66cf6e: Waitingf7a1ad4f4ec2: Pulling fs layer1142b73ca69b: Waitingb22948f89819: Verifying Checksumb22948f89819: Download complete0392a9b03762: Verifying Checksum0392a9b03762: Download complete2177992334f7: Verifying Checksum2177992334f7: Download complete83c8cb383fef: Verifying Checksum83c8cb383fef: Download complete6ba4512d1f27: Verifying Checksum6ba4512d1f27: Download complete3c7d30aed99f: Verifying Checksum3c7d30aed99f: Download completefb47c86320e8: Verifying Checksumfb47c86320e8: Download completeb72f50544b39: Download complete48b83c8f6a56: Verifying Checksum48b83c8f6a56: Download completeb98d9c3ebd00: Verifying Checksumb98d9c3ebd00: Download complete03343187894d: Verifying Checksum03343187894d: Download complete9f5172efd37f: Download completeae96ebb9601f: Verifying Checksumae96ebb9601f: Download complete058dd2063dbc: Verifying Checksum058dd2063dbc: Download completec35a072f823c: Download complete50d734b48f7f: Download complete9bebec788ee7: Download completeec8490a65b44: Download complete664554f1f2bf: Download complete452b69ff2588: Verifying Checksum452b69ff2588: Download complete4f4fb700ef54: Verifying Checksum4f4fb700ef54: Download complete17f05a191d05: Verifying Checksum17f05a191d05: Download completeee8ba93483b0: Verifying Checksumee8ba93483b0: Download completeb0a45215a4bd: Verifying Checksumb0a45215a4bd: Download complete561e07df245a: Verifying Checksum561e07df245a: Download complete089d08a29ab6: Verifying Checksum089d08a29ab6: Download completec34e87301ab9: Download complete97c48b419833: Verifying Checksum97c48b419833: Download completed7d65197b0e7: Verifying Checksumd7d65197b0e7: Download complete96ff79fa36d2: Verifying Checksum96ff79fa36d2: Download completeb0c990537697: Download complete6490715e88f8: Download completec8def43c265c: Verifying Checksumc8def43c265c: Download complete5913635a0cc9: Download complete18ae542c4cd2: Verifying Checksum18ae542c4cd2: Download completef5663ae46d34: Verifying Checksumf5663ae46d34: Download complete6af0e0ea3ad2: Verifying Checksum6af0e0ea3ad2: Download complete2de4a3385513: Download complete30625ee7f894: Download complete225800ae4b69: Verifying Checksum225800ae4b69: Download complete16fcaed8302d: Verifying Checksum16fcaed8302d: Download completeec0a1b66cf6e: Download complete1142b73ca69b: Verifying Checksum1142b73ca69b: Download complete8f88ab9f4f03: Verifying Checksum8f88ab9f4f03: Download completef7a1ad4f4ec2: Verifying Checksumf7a1ad4f4ec2: Download complete1bd4defc8c5e: Verifying Checksum1bd4defc8c5e: Download complete1bd4defc8c5e: Pull complete0392a9b03762: Pull completeb22948f89819: Pull complete50d734b48f7f: Pull complete2177992334f7: Pull complete83c8cb383fef: Pull complete6ba4512d1f27: Pull complete3c7d30aed99f: Pull completefb47c86320e8: Pull completeb72f50544b39: Pull complete48b83c8f6a56: Pull completeb98d9c3ebd00: Pull complete03343187894d: Pull complete9f5172efd37f: Pull completeae96ebb9601f: Pull complete058dd2063dbc: Pull completec35a072f823c: Pull complete9bebec788ee7: Pull complete452b69ff2588: Pull completeec8490a65b44: Pull complete664554f1f2bf: Pull complete4f4fb700ef54: Pull complete17f05a191d05: Pull complete561e07df245a: Pull completeee8ba93483b0: Pull completeb0a45215a4bd: Pull complete089d08a29ab6: Pull completec34e87301ab9: Pull complete97c48b419833: Pull completed7d65197b0e7: Pull complete96ff79fa36d2: Pull completeb0c990537697: Pull complete6490715e88f8: Pull completec8def43c265c: Pull complete6af0e0ea3ad2: Pull complete5913635a0cc9: Pull complete18ae542c4cd2: Pull completef5663ae46d34: Pull complete2de4a3385513: Pull complete30625ee7f894: Pull complete225800ae4b69: Pull complete16fcaed8302d: Pull completeec0a1b66cf6e: Pull complete795d8c1ca04e: Verifying Checksum795d8c1ca04e: Download complete795d8c1ca04e: Pull complete1142b73ca69b: Pull complete8f88ab9f4f03: Pull completef7a1ad4f4ec2: Pull completeDigest: sha256:515f91384679260c4d76d9346991a9270d017efc081cbcf7b65bf75ac0c6cd9eStatus: Downloaded newer image for ocaml/opam@sha256:515f91384679260c4d76d9346991a9270d017efc081cbcf7b65bf75ac0c6cd9e2026-03-10 04:48.30 ---> using "724e50f554abe841332fd9ee9d83624f9592d1368cc4463ef3d546f6169aa36a" from cache/: (comment debian-13-5.4_arm64_opam-2.5)/: (user (uid 1000) (gid 1000))/: (env CLICOLOR_FORCE 1)/: (env OPAMCOLOR always)/: (workdir /src)/src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))2026-03-10 04:48.30 ---> using "aa3224ffa912fe43af96143f4eb0413b717c2dd972635a9f54d4e269f7a502ce" from cache/src: (run (shell "opam init --reinit -ni"))Configuring from /home/opam/.opamrc and then from built-in defaults.Checking for available remotes: rsync and local, git.- you won't be able to use mercurial repositories unless you install the hg command on your system.- you won't be able to use darcs repositories unless you install the darcs command on your system.This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.You may want to back it up before going further.Continue? [Y/n] yFormat upgrade done.<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>[default] Initialised2026-03-10 04:48.30 ---> using "eee2c0f3ec9a311741a876f0dc227db2a4c2841a510506e4be3f0af545c9e32a" from cache/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))Linux 6.8.0-90-genericThe OCaml toplevel, version 5.4.02.5.02026-03-10 04:48.30 ---> using "9a0be1b07a7818d4a855398e1b66a120fa634d390c857b8966f10a05e63e2e8b" from cache/src: (workdir /src)/src: (run (shell "sudo chown opam /src"))2026-03-10 04:48.30 ---> using "a9f48187e484773581299270020fbba19342c8afca6591785f779c0aec4550a5" from cache/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 31db989bcaf14647d9889b8903120d6202ac37a8 || git fetch origin master) && git reset -q --hard 31db989bcaf14647d9889b8903120d6202ac37a8 && git log --no-decorate -n1 --oneline && opam update -u"))From https://github.com/ocaml/opam-repository* branch master -> FETCH_HEAD340ee6fd1f..31db989bca master -> origin/master31db989bca Merge pull request #29510 from kit-ty-kate/lwt-ocaml5<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from git+file:///home/opam/opam-repositoryEverything as up-to-date as possibleHowever, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.5.0"), which will ask permission to downgrade or uninstall the conflicting packages.Nothing to do.# To update the current shell environment, run: eval $(opam env)2026-03-10 04:48.30 ---> using "3c6c7ee3f36189423f8f9646fd6ca5a6bb0e84476a72a027a6c35809c34efff7" from cache/src: (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mkernel.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)(dst ./))2026-03-10 04:48.30 ---> saved as "29e96bf0dca57820ce4cde5498794549177d2cd40e675675690b0c2b0d389c28"/src: (run (network host)(shell "opam pin add -yn mirage-crypto.dev './' && \\nopam pin add -yn mirage-crypto-rng.dev './' && \\nopam pin add -yn mirage-crypto-rng-mkernel.dev './' && \\nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \\nopam pin add -yn mirage-crypto-pk.dev './' && \\nopam pin add -yn mirage-crypto-ec.dev './'"))[mirage-crypto.dev] synchronised (file:///src)mirage-crypto is now pinned to file:///src (version dev)[mirage-crypto-rng.dev] synchronised (file:///src)mirage-crypto-rng is now pinned to file:///src (version dev)[mirage-crypto-rng-mkernel.dev] synchronised (file:///src)mirage-crypto-rng-mkernel is now pinned to file:///src (version dev)[mirage-crypto-rng-mirage.dev] synchronised (file:///src)mirage-crypto-rng-mirage is now pinned to file:///src (version dev)[mirage-crypto-rng-miou-unix.dev] synchronised (file:///src)mirage-crypto-rng-miou-unix is now pinned to file:///src (version dev)[mirage-crypto-pk.dev] synchronised (file:///src)mirage-crypto-pk is now pinned to file:///src (version dev)[mirage-crypto-ec.dev] synchronised (file:///src)mirage-crypto-ec is now pinned to file:///src (version dev)2026-03-10 04:48.39 ---> saved as "207322b408e5a2585663e0348ab89457a3760d93f182900233366235c6488665"/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))2026-03-10 04:48.40 ---> saved as "7de44aaa7004f4020d1b97caffacf8b44559cb1fc2d0ee048099f70c873a5e2a"/src: (env DEPS "alcotest.1.9.1 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 bstr.0.0.4 bytesrw.0.3.0 cmdliner.2.1.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-libseccomp.1 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-name.0.5.0 dune.3.21.1 dune-configurator.3.21.1 duration.0.2.1 eqaf.0.10 fmt.0.11.0 ipaddr.5.6.2 jsont.0.2.0 logs.0.10.0 lwt.5.9.2 macaddr.5.6.2 miou.0.5.4 mirage-mtime.5.2.0 mirage-runtime.4.10.5 mirage-sleep.4.1.0 mirage-unix.5.0.1 mkernel.0.0.1 mtime.2.1.0 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-solo5.1.2.0 ocaml-src.5.4.0 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 opatch.3.1.0 ounit2.2.2.7 patch.3.1.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_yojson.3.10.0 ppxlib.0.37.0 ptime.1.2.0 randomconv.0.2.0 re.1.14.0 seq.base sexplib0.v0.17.0 solo5.0.10.1 stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4 yojson.3.0.0 zarith.1.14")/src: (env CI true)/src: (env OCAMLCI true)/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mkernel.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS"))+ /usr/bin/sudo "apt-get" "update"- Hit:1 http://deb.debian.org/debian trixie InRelease- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]- Get:4 http://deb.debian.org/debian-security trixie-security/main arm64 Packages [108 kB]- Fetched 199 kB in 0s (1387 kB/s)- Reading package lists...<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>[mirage-crypto.dev] synchronised (file:///src)[mirage-crypto-ec.dev] synchronised (file:///src)[mirage-crypto-pk.dev] synchronised (file:///src)[mirage-crypto-rng.dev] synchronised (file:///src)[mirage-crypto-rng-miou-unix.dev] synchronised (file:///src)[mirage-crypto-rng-mirage.dev] synchronised (file:///src)[mirage-crypto-rng-mkernel.dev] synchronised (file:///src)[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).[NOTE] Package ocaml-config is already installed (current version is 3).[NOTE] Package ocaml-compiler is already installed (current version is 5.4.0).[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).[NOTE] Package ocaml is already installed (current version is 5.4.0).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-nnp is already installed (current version is base).[NOTE] Package base-effects is already installed (current version is base).[NOTE] Package base-domains is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).The following system packages will first need to be installed:libgmp-dev libseccomp-dev pkg-config<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "libseccomp-dev" "pkg-config"- Selecting previously unselected package libgmpxx4ldbl:arm64.- (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20768 files and directories currently installed.)- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_arm64.deb ...- Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3) ...- Selecting previously unselected package libgmp-dev:arm64.- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_arm64.deb ...- Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-3) ...- Selecting previously unselected package libpkgconf3:arm64.- Preparing to unpack .../2-libpkgconf3_1.8.1-4_arm64.deb ...- Unpacking libpkgconf3:arm64 (1.8.1-4) ...- Selecting previously unselected package libseccomp-dev:arm64.- Preparing to unpack .../3-libseccomp-dev_2.6.0-2_arm64.deb ...- Unpacking libseccomp-dev:arm64 (2.6.0-2) ...- Selecting previously unselected package pkgconf-bin.- Preparing to unpack .../4-pkgconf-bin_1.8.1-4_arm64.deb ...- Unpacking pkgconf-bin (1.8.1-4) ...- Selecting previously unselected package pkgconf:arm64.- Preparing to unpack .../5-pkgconf_1.8.1-4_arm64.deb ...- Unpacking pkgconf:arm64 (1.8.1-4) ...- Selecting previously unselected package pkg-config:arm64.- Preparing to unpack .../6-pkg-config_1.8.1-4_arm64.deb ...- Unpacking pkg-config:arm64 (1.8.1-4) ...- Setting up libseccomp-dev:arm64 (2.6.0-2) ...- Setting up libpkgconf3:arm64 (1.8.1-4) ...- Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3) ...- Setting up pkgconf-bin (1.8.1-4) ...- Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-3) ...- Setting up pkgconf:arm64 (1.8.1-4) ...- Setting up pkg-config:arm64 (1.8.1-4) ...- Processing triggers for libc-bin (2.41-12+deb13u1) ...# To update the current shell environment, run: eval $(opam env)2026-03-10 04:48.52 ---> saved as "a239969f6e956171e763c08f2d4615cd89607dddad5551af3bfa7ae15d59badf"/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).[NOTE] Package ocaml-config is already installed (current version is 3).[NOTE] Package ocaml-compiler is already installed (current version is 5.4.0).[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).[NOTE] Package ocaml is already installed (current version is 5.4.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 58 packages- install alcotest 1.9.1- install asn1-combinators 0.3.2- install astring 0.8.5- install base-bytes base- install bstr 0.0.4- install bytesrw 0.3.0- install cmdliner 2.1.0- install conf-gmp 5- install conf-gmp-powm-sec 4- install conf-libseccomp 1- install conf-pkg-config 4- install cppo 1.8.0- install csexp 1.5.2- install digestif 1.3.0- install domain-name 0.5.0- install dune 3.21.1- install dune-configurator 3.21.1- install duration 0.2.1- install eqaf 0.10- install fmt 0.11.0- install ipaddr 5.6.2- install jsont 0.2.0- install logs 0.10.0- install lwt 5.9.2- install macaddr 5.6.2- install miou 0.5.4- install mirage-mtime 5.2.0- install mirage-runtime 4.10.5- install mirage-sleep 4.1.0- install mirage-unix 5.0.1- install mkernel 0.0.1- install mtime 2.1.0- install ocaml-compiler-libs v0.17.0- install ocaml-solo5 1.2.0- install ocaml-src 5.4.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 opatch 3.1.0- install ounit2 2.2.7- install patch 3.1.0- install ppx_derivers 1.2.1- install ppx_deriving 6.1.1- install ppx_deriving_yojson 3.10.0- install ppxlib 0.37.0- install ptime 1.2.0- install randomconv 0.2.0- install re 1.14.0- install seq base- install sexplib0 v0.17.0- install solo5 0.10.1- install stdlib-shims 0.3.0- install topkg 1.1.1- install uutf 1.0.4- install yojson 3.0.0- install zarith 1.14<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>-> retrieved alcotest.1.9.1 (cached)-> retrieved asn1-combinators.0.3.2 (cached)-> retrieved astring.0.8.5 (cached)-> retrieved bstr.0.0.4 (cached)-> retrieved conf-gmp.5 (cached)-> retrieved conf-gmp-powm-sec.4 (cached)-> retrieved bytesrw.0.3.0 (cached)-> retrieved cmdliner.2.1.0 (cached)-> retrieved cppo.1.8.0 (cached)-> installed conf-gmp.5-> installed conf-pkg-config.4-> retrieved csexp.1.5.2 (cached)-> retrieved domain-name.0.5.0 (cached)-> installed conf-gmp-powm-sec.4-> installed conf-libseccomp.1-> retrieved duration.0.2.1 (cached)-> retrieved eqaf.0.10 (cached)-> retrieved fmt.0.11.0 (cached)-> retrieved ipaddr.5.6.2, macaddr.5.6.2 (cached)-> retrieved jsont.0.2.0 (cached)-> retrieved logs.0.10.0 (cached)-> retrieved lwt.5.9.2 (cached)-> retrieved miou.0.5.4 (cached)-> retrieved digestif.1.3.0 (cached)-> retrieved mirage-mtime.5.2.0 (cached)-> retrieved mirage-sleep.4.1.0 (cached)-> retrieved mirage-unix.5.0.1 (cached)-> retrieved mirage-runtime.4.10.5 (cached)-> retrieved mkernel.0.0.1 (cached)-> retrieved mtime.2.1.0 (cached)-> retrieved ocaml-compiler-libs.v0.17.0 (cached)-> retrieved ocaml-solo5.1.2.0 (cached)-> retrieved dune.3.21.1, dune-configurator.3.21.1 (cached)-> retrieved ocaml-src.5.4.0 (cached)-> retrieved ocaml-syntax-shims.1.0.0 (cached)-> retrieved ocamlbuild.0.16.1 (cached)-> retrieved ocamlfind.1.9.8 (cached)-> retrieved ocplib-endian.1.2 (cached)-> retrieved ohex.0.2.0 (cached)-> installed cmdliner.2.1.0-> retrieved opatch.3.1.0, patch.3.1.0 (cached)-> retrieved ounit2.2.2.7 (cached)-> retrieved ppx_derivers.1.2.1 (cached)-> retrieved ppx_deriving.6.1.1 (cached)-> retrieved ppx_deriving_yojson.3.10.0 (cached)-> retrieved randomconv.0.2.0 (cached)-> retrieved ptime.1.2.0 (cached)-> retrieved seq.base (cached)-> retrieved re.1.14.0 (cached)-> retrieved sexplib0.v0.17.0 (cached)-> retrieved stdlib-shims.0.3.0 (cached)-> retrieved ppxlib.0.37.0 (cached)-> retrieved solo5.0.10.1 (cached)-> retrieved topkg.1.1.1 (cached)-> retrieved uutf.1.0.4 (cached)-> retrieved yojson.3.0.0 (cached)-> installed ocaml-src.5.4.0-> installed seq.base-> retrieved zarith.1.14 (cached)-> installed ocamlfind.1.9.8-> installed base-bytes.base-> installed ocamlbuild.0.16.1-> installed zarith.1.14-> installed topkg.1.1.1-> installed solo5.0.10.1-> installed astring.0.8.5-> installed bytesrw.0.3.0-> installed fmt.0.11.0-> installed mtime.2.1.0-> installed ptime.1.2.0-> installed uutf.1.0.4-> installed dune.3.21.1-> installed duration.0.2.1-> installed ppx_derivers.1.2.1-> installed randomconv.0.2.0-> installed ohex.0.2.0-> installed mirage-mtime.5.2.0-> installed bstr.0.0.4-> installed csexp.1.5.2-> installed jsont.0.2.0-> installed asn1-combinators.0.3.2-> installed cppo.1.8.0-> installed domain-name.0.5.0-> installed eqaf.0.10-> installed macaddr.5.6.2-> installed ocaml-compiler-libs.v0.17.0-> installed ocaml-syntax-shims.1.0.0-> installed patch.3.1.0-> installed re.1.14.0-> installed sexplib0.v0.17.0-> installed stdlib-shims.0.3.0-> installed yojson.3.0.0-> installed ocplib-endian.1.2-> installed ipaddr.5.6.2-> installed opatch.3.1.0-> installed digestif.1.3.0-> installed alcotest.1.9.1-> installed ounit2.2.2.7-> installed dune-configurator.3.21.1-> installed miou.0.5.4-> installed lwt.5.9.2-> installed mirage-sleep.4.1.0-> installed logs.0.10.0-> installed mirage-runtime.4.10.5-> installed mirage-unix.5.0.1-> installed ppxlib.0.37.0-> installed ppx_deriving.6.1.1-> installed ppx_deriving_yojson.3.10.0-> installed ocaml-solo5.1.2.0-> installed mkernel.0.0.1Done.# To update the current shell environment, run: eval $(opam env)2026-03-10 04:50.42 ---> saved as "fc24e93f19713026dfb92506e450b24212787bdbde69f162439a16184c899e91"/src: (copy (src .) (dst /src))2026-03-10 04:50.43 ---> saved as "821958a18779ace713ed615824e4142fa4201b25b1081f94c44751ab63842d9d"/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))(cd _build/default/tests && ./test_random_runner.exe).........Ran: 9 tests in: 0.11 seconds.OK(cd _build/default/tests && ./test_symmetric_runner.exe)accel:................................................................Ran: 64 tests in: 0.12 seconds.OK(cd _build/default/tests && ./test_miou_entropy_collection.exe)reseeding:000000 00c8 01ca 27ca 4eca 77ca a3ca d2ca 04cb ....'.N.w.......000010 39cb 71cb aecb eecb 33cc 38cc 3dcc 43cc 9.q.....3.8.=.C.000020 49cc 4fcc 56cc 5dcc 65cc 6dcc 76cc 80cc I.O.V.].e.m.v...000030 8acc 94cc a0cc accc b9cc c7cc d6cc e6cc ................000040 f7cc 09cd 1ccd 30cd 46cd 5ecd 77cd 91cd ......0.F.^.w...000050 aecd cccd eccd 0fce 34ce 5bce 85ce b2ce ........4.[.....000060 e1ce 14cf 4acf 84cf c2cf 04d0 05d0 07d0 ....J...........000070 09d0 0bd0 0dd0 10d0 13d0 15d0 18d0 1bd0 ................000080 1fd0 22d0 26d0 2ad0 2ed0 33d0 38d0 3dd0 ..".&.*...3.8.=.000090 43d0 49d0 4fd0 56d0 5dd0 65d0 6dd0 76d0 C.I.O.V.].e.m.v.0000a0 7fd0 89d0 94d0 a0d0 acd0 b9d0 c7d0 d6d0 ................0000b0 e6d0 f7d0 09d1 1cd1 31d1 47d1 5ed1 77d1 ........1.G.^.w.0000c0 92d1 afd1 cdd1 edd1 10d2 01c8 3ed2 66d2 ............>.f.0000d0 91d2 bed2 efd2 23d3 5ad3 95d3 d4d3 17d4 ......#.Z.......0000e0 1ad4 1dd4 21d4 24d4 28d4 2cd4 31d4 36d4 ....!.$.(.,.1.6.0000f0 3bd4 40d4 46d4 4cd4 53d4 5ad4 61d4 69d4 ;.@.F.L.S.Z.a.i.000100 72d4 7bd4 85d4 8fd4 9ad4 a6d4 b3d4 c0d4 r.{.............000110 cfd4 ded4 eed4 00d5 12d5 26d5 3bd5 52d5 ..........&.;.R.000120 6ad5 84d5 a0d5 bdd5 dcd5 fed5 21d6 48d6 j...........!.H.000130 70d6 9bd6 cad6 fbd6 2fd7 67d7 a3d7 e3d7 p......./.g.....000140 27d8 2bd8 2fd8 34d8 39d8 3ed8 44d8 4ad8 '.+./.4.9.>.D.J.000150 51d8 58d8 5fd8 67d8 6fd8 78d8 82d8 8cd8 Q.X._.g.o.x.....000160 97d8 a3d8 b0d8 bdd8 cbd8 dad8 ebd8 fcd8 ................000170 0ed9 22d9 37d9 4dd9 65d9 7fd9 9ad9 b7d9 ..".7.M.e.......000180 d6d9 f7d9 1ada 40da 68da 93da c0da f1da ......@.h.......000190 25db 5cdb 02c8 9edb dddb 21dc 25dc 29dc %.\.......!.%.).0001a0 2ddc 31dc 36dc 3bdc 41dc 47dc 4ddc 54dc -.1.6.;.A.G.M.T.0001b0 5bdc 62dc 6bdc 73dc 7cdc 86dc 91dc 9cdc [.b.k.s.|.......0001c0 a8dc b5dc c2dc d1dc e1dc f1dc 03dd 16dd ................0001d0 2add 40dd 57dd 6fdd 89dd a5dd c3dd e3dd *.@.W.o.........0001e0 05de 29de 4fde 79de 3bdf 74df b1df f2df ..).O.y.;.t.....0001f0 37e0 3ce0 41e0 47e0 4de0 54e0 5be0 63e0 7.<.A.G.M.T.[.c.000200 6be0 74e0 7de0 87e0 91e0 9de0 a9e0 b6e0 k.t.}...........000210 c3e0 d2e0 e1e0 f2e0 04e1 17e1 2be1 40e1 ............+.@.000220 57e1 70e1 8ae1 a6e1 c4e1 e4e1 06e2 2ae2 W.p...........*.000230 51e2 7ae2 a6e2 d5e2 07e3 3ce3 75e3 b2e3 Q.z.......<.u...000240 f2e3 37e4 3de4 42e4 48e4 4ee4 55e4 5ce4 ..7.=.B.H.N.U.\.000250 64e4 6ce4 75e4 7fe4 89e4 93e4 9fe4 0380 d.l.u...........000260 3088 afd3 7d6f 6647 d8b7 af6f 81c3 6727 0...}ofG...o..g'000270 743d 5f8d c99b d149 1e49 a0bd 459e c92f t=_....I.I..E../000280 2974 f05d 4016 9b88 346d a1e9 5366 4c44 )t.]@...4m..SfLD000290 526b bed0 379c 8b3b 31e4 8df6 303b da4f Rk..7..;1...0;.O0002a0 97cd 1882 dfab ca1c a7e2 d095 82f4 6001 ..............`.0002b0 7a22 ca18 a2e2 a3c1 808c a35e 65bc dbc0 z".........^e...0002c0 d18b d896 4c4a c3a8 02e5 cdcb ba6d 55a7 ....LJ.......mU.0002d0 3dfd f9fa 6ed7 c39e ceb2 5114 f709 f123 =...n.....Q....#entropy sources:accumulate: (src: [0] getrandom) ea18 38c1 e051 f155(cd _build/default/tests && ./test_ec.exe)Testing `EC'.This run has ID `Y9QJONXT'.[OK] P256 Key exchange 0 b*A.[OK] P256 Key exchange 1 a*B.[OK] P256 Key exchange 2 a*A.[OK] P256 Key exchange 3 b*B.[OK] P256 Low level scalar mult 0 Scalar mu...[OK] P256 Low level scalar mult 1 Scalar mu...[OK] P256 Low level scalar mult 2 Scalar mu...[OK] P256 Low level scalar mult 3 Scalar mu...[OK] P256 Low level scalar mult 4 Scalar mu...[OK] P256 Low level scalar mult 5 Scalar mu...[OK] P256 Point validation 0 Ok.[OK] P256 Point validation 1 P=0.[OK] P256 Point validation 2 (0, sqrt(...[OK] P256 Point validation 3 out of ra...[OK] P256 Scalar validation when generating 0 0.[OK] P256 Scalar validation when generating 1 1.[OK] P256 Scalar validation when generating 2 n-1.[OK] P256 Scalar validation when generating 3 n.[OK] ECDSA NIST 0 ECDSA gen.[OK] ECDSA NIST 1 ECDSA sign.[OK] ECDSA NIST 2 ECDSA ver...[OK] ECDSA RFC 6979 P256 0 public ke...[OK] ECDSA RFC 6979 P256 1 public ke...[OK] ECDSA RFC 6979 P256 2 RFC 6979 ...[OK] ECDSA RFC 6979 P256 3 RFC 6979 ...[OK] ECDSA RFC 6979 P256 4 RFC 6979 ...[OK] ECDSA RFC 6979 P256 5 RFC 6979 ...[OK] ECDSA RFC 6979 P256 6 RFC 6979 ...[OK] ECDSA RFC 6979 P256 7 RFC 6979 ...[OK] ECDSA RFC 6979 P256 8 RFC 6979 ...[OK] ECDSA RFC 6979 P256 9 RFC 6979 ...[OK] ECDSA RFC 6979 P256 10 RFC 6979 ...[OK] ECDSA RFC 6979 P256 11 RFC 6979 ...[OK] ECDSA RFC 6979 P384 0 public ke...[OK] ECDSA RFC 6979 P384 1 public ke...[OK] ECDSA RFC 6979 P384 2 RFC 6979 ...[OK] ECDSA RFC 6979 P384 3 RFC 6979 ...[OK] ECDSA RFC 6979 P384 4 RFC 6979 ...[OK] ECDSA RFC 6979 P384 5 RFC 6979 ...[OK] ECDSA RFC 6979 P384 6 RFC 6979 ...[OK] ECDSA RFC 6979 P384 7 RFC 6979 ...[OK] ECDSA RFC 6979 P384 8 RFC 6979 ...[OK] ECDSA RFC 6979 P384 9 RFC 6979 ...[OK] ECDSA RFC 6979 P384 10 RFC 6979 ...[OK] ECDSA RFC 6979 P384 11 RFC 6979 ...[OK] ECDSA RFC 6979 P521 0 public ke...[OK] ECDSA RFC 6979 P521 1 public ke...[OK] ECDSA RFC 6979 P521 2 RFC 6979 ...[OK] ECDSA RFC 6979 P521 3 RFC 6979 ...[OK] ECDSA RFC 6979 P521 4 RFC 6979 ...[OK] ECDSA RFC 6979 P521 5 RFC 6979 ...[OK] ECDSA RFC 6979 P521 6 RFC 6979 ...[OK] ECDSA RFC 6979 P521 7 RFC 6979 ...[OK] ECDSA RFC 6979 P521 8 RFC 6979 ...[OK] ECDSA RFC 6979 P521 9 RFC 6979 ...[OK] ECDSA RFC 6979 P521 10 RFC 6979 ...[OK] ECDSA RFC 6979 P521 11 RFC 6979 ...[OK] X25519 0 RFC 7748.[OK] ED25519 0 RFC 8032 1.[OK] ED25519 1 RFC 8032 2.[OK] ED25519 2 RFC 8032 3.[OK] ED25519 3 RFC 8032 4.[OK] ED25519 4 RFC 8032 5.[OK] ECDSA P521 regression 0 regreesion1.[OK] P256 Group 0 P256 Poin...[OK] P256 Group 1 P256 Poin...[OK] P256 Group 2 P256 Poin...[OK] P256 Group 3 P256 Scal...[OK] P256 Group 4 P256 Scal...[OK] P256 Group 5 P256 Poin...[OK] P256 Group 6 P256 Poin...[OK] P256 Group 7 P256 Scal...[OK] P384 Group 0 P384 Poin...[OK] P384 Group 1 P384 Poin...[OK] P384 Group 2 P384 Poin...[OK] P384 Group 3 P384 Scal...[OK] P384 Group 4 P384 Scal...[OK] P384 Group 5 P384 Poin...[OK] P384 Group 6 P384 Poin...[OK] P384 Group 7 P384 Scal...[OK] P521 Group 0 P521 Poin...[OK] P521 Group 1 P521 Poin...[OK] P521 Group 2 P521 Poin...[OK] P521 Group 3 P521 Scal...[OK] P521 Group 4 P521 Scal...[OK] P521 Group 5 P521 Poin...[OK] P521 Group 6 P521 Poin...[OK] P521 Group 7 P521 Scal...[OK] RFC 5903 0 P-256 i*G...[OK] RFC 5903 1 P-256 r*G...[OK] RFC 5903 2 P-256 DH ...[OK] RFC 5903 3 P-384 i*G...[OK] RFC 5903 4 P-384 r*G...[OK] RFC 5903 5 P-384 DH ...[OK] RFC 5903 6 P-521 i*G...[OK] RFC 5903 7 P-521 r*G...[OK] RFC 5903 8 P-521 DH ...Full test results in `/src/_build/default/tests/_build/_tests/EC'.Test Successful in 0.151s. 97 tests run.(cd _build/default/tests && ./test_miou_rng.exe)32 bit random number: 5bde78501f5618c40557861c4e0dafc19e6ce193358ca04c1238e6fc64e3211516 bit random number: 95d71101c09cf83e13da83b97e7280f3(cd _build/default/tests && ./test_entropy_collection.exe)reseeding:000000 00c8 20ee 34ee 48ee 5dee 72ee 87ee 9eee .. .4.H.].r.....000010 b5ee cdee e6ee ffee 1aef 35ef 51ef 6fef ..........5.Q.o.000020 8def acef ccef edef 10f0 11f0 13f0 14f0 ................000030 16f0 17f0 19f0 1bf0 1cf0 1ef0 20f0 22f0 ............ .".000040 24f0 26f0 28f0 2af0 2cf0 2ff0 31f0 33f0 $.&.(.*.,./.1.3.000050 36f0 39f0 3bf0 3ef0 41f0 44f0 47f0 4af0 6.9.;.>.A.D.G.J.000060 4df0 51f0 54f0 58f0 5cf0 60f0 64f0 68f0 M.Q.T.X.\.`.d.h.000070 6cf0 70f0 75f0 7af0 7ff0 84f0 89f0 8ef0 l.p.u.z.........000080 94f0 9af0 a0f0 a6f0 acf0 b3f0 baf0 c1f0 ................000090 c8f0 cff0 d7f0 dff0 e8f0 f0f0 f9f0 02f1 ................0000a0 0bf1 15f1 1ff1 2af1 34f1 40f1 4bf1 57f1 ......*.4.@.K.W.0000b0 63f1 70f1 7df1 8bf1 99f1 a7f1 b6f1 c6f1 c.p.}...........0000c0 d6f1 e6f1 f7f1 09f2 1bf2 01c8 30f2 43f2 ............0.C.0000d0 57f2 6cf2 82f2 98f2 aff2 c7f2 dff2 f9f2 W.l.............0000e0 13f3 89f5 97f5 a5f5 b4f5 c4f5 d4f5 e4f5 ................0000f0 f5f5 07f6 19f6 2cf6 3ff6 53f6 68f6 7df6 ......,.?.S.h.}.000100 93f6 aaf6 c2f6 daf6 f3f6 0df7 28f7 44f7 ............(.D.000110 61f7 7ff7 9df7 bdf7 def7 00f8 01f8 02f8 a...............000120 03f8 04f8 05f8 06f8 07f8 09f8 0af8 0bf8 ................000130 0df8 0ef8 0ff8 10f8 12f8 13f8 15f8 16f8 ................000140 18f8 19f8 1bf8 1df8 1ef8 20f8 22f8 24f8 .......... .".$.000150 26f8 28f8 2af8 2cf8 2ff8 31f8 33f8 36f8 &.(.*.,./.1.3.6.000160 39f8 3bf8 3ef8 41f8 44f8 47f8 4af8 4df8 9.;.>.A.D.G.J.M.000170 51f8 54f8 58f8 5cf8 60f8 64f8 68f8 6cf8 Q.T.X.\.`.d.h.l.000180 70f8 75f8 7af8 7ff8 84f8 89f8 8ef8 94f8 p.u.z...........000190 9af8 a0f8 02c8 b0f8 b7f8 bef8 c5f8 ccf8 ................0001a0 d4f8 dcf8 e4f8 ecf8 f5f8 fef8 07f9 11f9 ................0001b0 1bf9 25f9 30f9 3bf9 46f9 52f9 5ef9 6bf9 ..%.0.;.F.R.^.k.0001c0 78f9 85f9 93f9 a1f9 b0f9 bff9 cff9 dff9 x...............0001d0 f0f9 01fa 13fa 26fa 39fa 4dfa 62fa 77fa ......&.9.M.b.w.0001e0 8dfa a3fa bbfa d3fa ecfa 06fb 20fb 3cfb ............ .<.0001f0 58fb 76fb 94fb b4fb d4fb f6fb 18fc 1afc X.v.............000200 1cfc 1dfc 1ffc 21fc 23fc 25fc 27fc 29fc ......!.#.%.'.).000210 2bfc 2dfc 2ffc 32fc 34fc 37fc 3afc 3cfc +.-./.2.4.7.:.<.000220 3ffc 42fc 45fc 48fc 4bfc 4ffc 52fc 56fc ?.B.E.H.K.O.R.V.000230 5afc 5dfc 61fc 65fc 6afc 6efc 72fc 77fc Z.].a.e.j.n.r.w.000240 7cfc 81fc 86fc 8bfc 91fc 96fc 9cfc a2fc |...............000250 a8fc affc b5fc bcfc c3fc cbfc d2fc 03c8 ................000260 3cfd 48fd 54fd 60fd 6cfd 79fd 87fd 95fd <.H.T.`.l.y.....000270 a3fd b2fd c1fd d1fd e2fd f2fd 04fe 16fe ................000280 29fe 3cfe 50fe 65fe 7afe 90fe a7fe befe ).<.P.e.z.......000290 d6fe effe 09ff 24ff 40ff 5cff 7aff 98ff ......$.@.\.z...0002a0 b8ff d9ff faff 1d00 1f00 2100 2300 2500 ..........!.#.%.0002b0 2700 2900 2b00 2d00 2f00 3200 3400 3700 '.).+.-./.2.4.7.0002c0 3a00 3c00 3f00 4200 4500 4800 4b00 4f00 :.<.?.B.E.H.K.O.0002d0 5200 5600 5900 5d00 6100 6500 6900 6e00 R.V.Y.].a.e.i.n.0002e0 7200 7700 7b00 8000 8500 8b00 9000 9600 r.w.{...........0002f0 9c00 a200 a800 ae00 b500 bc00 c300 ca00 ................000300 d200 da00 e200 ea00 f300 fc00 0501 0f01 ................000310 1801 2301 2d01 3801 4301 4f01 5b01 6701 ..#.-.8.C.O.[.g.000320 7401 8201 8f01 9d01 t.......entropy sources: [0] timeraccumulate: (src: [0] timer) a448 57ce(cd _build/default/tests && ./test_ec_wycheproof.exe)Testing `Wycheproof NIST curves'.This run has ID `5H9ODACT'.[OK] ECDH P256 test vectors 0 1 - normal case.[OK] ECDH P256 test vectors 1 2 - compressed ...[OK] ECDH P256 test vectors 2 3 - edge case f...[OK] ECDH P256 test vectors 3 4 - edge case f...[OK] ECDH P256 test vectors 4 5 - edge case f...[OK] ECDH P256 test vectors 5 6 - edge case f...[OK] ECDH P256 test vectors 6 7 - edge case f...[OK] ECDH P256 test vectors 7 8 - edge case f...[OK] ECDH P256 test vectors 8 9 - edge case f...[OK] ECDH P256 test vectors 9 10 - edge case ...[OK] ECDH P256 test vectors 10 11 - edge case ...[OK] ECDH P256 test vectors 11 12 - edge case ...[OK] ECDH P256 test vectors 12 13 - edge case ...[OK] ECDH P256 test vectors 13 14 - edge case ...[OK] ECDH P256 test vectors 14 15 - edge case ...[OK] ECDH P256 test vectors 15 16 - edge case ...[OK] ECDH P256 test vectors 16 17 - edge case ...[OK] ECDH P256 test vectors 17 18 - edge case ...[OK] ECDH P256 test vectors 18 19 - y-coordina...[OK] ECDH P256 test vectors 19 20 - y-coordina...[OK] ECDH P256 test vectors 20 21 - y-coordina...[OK] ECDH P256 test vectors 21 22 - y-coordina...[OK] ECDH P256 test vectors 22 23 - y-coordina...[OK] ECDH P256 test vectors 23 24 - y-coordina...[OK] ECDH P256 test vectors 24 25 - y-coordina...[OK] ECDH P256 test vectors 25 26 - y-coordina...[OK] ECDH P256 test vectors 26 27 - y-coordina...[OK] ECDH P256 test vectors 27 28 - y-coordina...[OK] ECDH P256 test vectors 28 29 - y-coordina...[OK] ECDH P256 test vectors 29 30 - y-coordina...[OK] ECDH P256 test vectors 30 31 - edge cases...[OK] ECDH P256 test vectors 31 32 - edge cases...[OK] ECDH P256 test vectors 32 33 - edge cases...[OK] ECDH P256 test vectors 33 34 - edge cases...[OK] ECDH P256 test vectors 34 35 - edge cases...[OK] ECDH P256 test vectors 35 36 - edge cases...[OK] ECDH P256 test vectors 36 37 - edge cases...[OK] ECDH P256 test vectors 37 38 - edge cases...[OK] ECDH P256 test vectors 38 39 - edge cases...[OK] ECDH P256 test vectors 39 40 - edge cases...[OK] ECDH P256 test vectors 40 41 - edge cases...[OK] ECDH P256 test vectors 41 42 - edge cases...[OK] ECDH P256 test vectors 42 43 - edge cases...[OK] ECDH P256 test vectors 43 44 - edge cases...[OK] ECDH P256 test vectors 44 45 - edge cases...[OK] ECDH P256 test vectors 45 46 - edge cases...[OK] ECDH P256 test vectors 46 47 - edge cases...[OK] ECDH P256 test vectors 47 48 - edge cases...[OK] ECDH P256 test vectors 48 49 - edge cases...[OK] ECDH P256 test vectors 49 50 - edge cases...[OK] ECDH P256 test vectors 50 51 - edge cases...[OK] ECDH P256 test vectors 51 52 - edge cases...[OK] ECDH P256 test vectors 52 53 - edge cases...[OK] ECDH P256 test vectors 53 54 - edge cases...[OK] ECDH P256 test vectors 54 55 - edge cases...[OK] ECDH P256 test vectors 55 56 - edge cases...[OK] ECDH P256 test vectors 56 57 - edge cases...[OK] ECDH P256 test vectors 57 58 - edge cases...[OK] ECDH P256 test vectors 58 59 - point with...[OK] ECDH P256 test vectors 59 60 - point with...[OK] ECDH P256 test vectors 60 61 - point with...[OK] ECDH P256 test vectors 61 62 - point with...[OK] ECDH P256 test vectors 62 63 - point with...[OK] ECDH P256 test vectors 63 64 - point with...[OK] ECDH P256 test vectors 64 65 - point with...[OK] ECDH P256 test vectors 65 66 - point with...[OK] ECDH P256 test vectors 66 67 - point with...[OK] ECDH P256 test vectors 67 68 - point with...[OK] ECDH P256 test vectors 68 69 - point with...[OK] ECDH P256 test vectors 69 70 - point with...[OK] ECDH P256 test vectors 70 71 - point with...[OK] ECDH P256 test vectors 71 72 - point with...[OK] ECDH P256 test vectors 72 73 - point with...[OK] ECDH P256 test vectors 73 74 - point with...[OK] ECDH P256 test vectors 74 75 - point with...[OK] ECDH P256 test vectors 75 76 - point with...[OK] ECDH P256 test vectors 76 77 - point with...[OK] ECDH P256 test vectors 77 78 - point with...[OK] ECDH P256 test vectors 78 79 - point with...[OK] ECDH P256 test vectors 79 80 - point with...[OK] ECDH P256 test vectors 80 81 - point with...[OK] ECDH P256 test vectors 81 82 - point with...[OK] ECDH P256 test vectors 82 83 - point with...[OK] ECDH P256 test vectors 83 84 - point with...[OK] ECDH P256 test vectors 84 85 - point with...[OK] ECDH P256 test vectors 85 86 - point with...[OK] ECDH P256 test vectors 86 87 - point with...[OK] ECDH P256 test vectors 87 88 - point with...[OK] ECDH P256 test vectors 88 89 - point with...[OK] ECDH P256 test vectors 89 90 - point with...[OK] ECDH P256 test vectors 90 91 - point with...[OK] ECDH P256 test vectors 91 92 - point with...[OK] ECDH P256 test vectors 92 93 - point with...[OK] ECDH P256 test vectors 93 94 - point with...[OK] ECDH P256 test vectors 94 95 - point with...[OK] ECDH P256 test vectors 95 96 - point with...[OK] ECDH P256 test vectors 96 97 - point with...[OK] ECDH P256 test vectors 97 98 - point with...[OK] ECDH P256 test vectors 98 99 - point with...[OK] ECDH P256 test vectors 99 100 - point wit...[OK] ECDH P256 test vectors 100 101 - point wit...[OK] ECDH P256 test vectors 101 102 - point wit...[OK] ECDH P256 test vectors 102 103 - point wit...[OK] ECDH P256 test vectors 103 104 - point wit...[OK] ECDH P256 test vectors 104 105 - point wit...[OK] ECDH P256 test vectors 105 106 - point wit...[OK] ECDH P256 test vectors 106 107 - point wit...[OK] ECDH P256 test vectors 107 108 - point wit...[OK] ECDH P256 test vectors 108 109 - point wit...[OK] ECDH P256 test vectors 109 110 - point wit...[OK] ECDH P256 test vectors 110 111 - point wit...[OK] ECDH P256 test vectors 111 112 - point wit...[OK] ECDH P256 test vectors 112 113 - point wit...[OK] ECDH P256 test vectors 113 114 - point wit...[OK] ECDH P256 test vectors 114 115 - point wit...[OK] ECDH P256 test vectors 115 116 - point wit...[OK] ECDH P256 test vectors 116 117 - point wit...[OK] ECDH P256 test vectors 117 118 - point wit...[OK] ECDH P256 test vectors 118 119 - point wit...[OK] ECDH P256 test vectors 119 120 - point wit...[OK] ECDH P256 test vectors 120 121 - point wit...[OK] ECDH P256 test vectors 121 122 - point wit...[OK] ECDH P256 test vectors 122 123 - point wit...[OK] ECDH P256 test vectors 123 124 - point wit...[OK] ECDH P256 test vectors 124 125 - point wit...[OK] ECDH P256 test vectors 125 126 - point wit...[OK] ECDH P256 test vectors 126 127 - point wit...[OK] ECDH P256 test vectors 127 128 - point wit...[OK] ECDH P256 test vectors 128 129 - point wit...[OK] ECDH P256 test vectors 129 130 - point wit...[OK] ECDH P256 test vectors 130 131 - point wit...[OK] ECDH P256 test vectors 131 132 - point wit...[OK] ECDH P256 test vectors 132 133 - point wit...[OK] ECDH P256 test vectors 133 134 - point wit...[OK] ECDH P256 test vectors 134 135 - point wit...[OK] ECDH P256 test vectors 135 136 - point wit...[OK] ECDH P256 test vectors 136 137 - point wit...[OK] ECDH P256 test vectors 137 138 - point wit...[OK] ECDH P256 test vectors 138 139 - point wit...[OK] ECDH P256 test vectors 139 140 - point wit...[OK] ECDH P256 test vectors 140 141 - point wit...[OK] ECDH P256 test vectors 141 142 - point wit...[OK] ECDH P256 test vectors 142 143 - point wit...[OK] ECDH P256 test vectors 143 144 - point wit...[OK] ECDH P256 test vectors 144 145 - point wit...[OK] ECDH P256 test vectors 145 146 - point wit...[OK] ECDH P256 test vectors 146 147 - point wit...[OK] ECDH P256 test vectors 147 148 - point wit...[OK] ECDH P256 test vectors 148 149 - point wit...[OK] ECDH P256 test vectors 149 150 - point wit...[OK] ECDH P256 test vectors 150 151 - point wit...[OK] ECDH P256 test vectors 151 152 - point wit...[OK] ECDH P256 test vectors 152 153 - point wit...[OK] ECDH P256 test vectors 153 154 - point wit...[OK] ECDH P256 test vectors 154 155 - point wit...[OK] ECDH P256 test vectors 155 156 - point wit...[OK] ECDH P256 test vectors 156 157 - point wit...[OK] ECDH P256 test vectors 157 158 - point wit...[OK] ECDH P256 test vectors 158 159 - point wit...[OK] ECDH P256 test vectors 159 160 - point wit...[OK] ECDH P256 test vectors 160 161 - point wit...[OK] ECDH P256 test vectors 161 162 - point wit...[OK] ECDH P256 test vectors 162 163 - point wit...[OK] ECDH P256 test vectors 163 164 - point wit...[OK] ECDH P256 test vectors 164 165 - point wit...[OK] ECDH P256 test vectors 165 166 - point wit...[OK] ECDH P256 test vectors 166 167 - point wit...[OK] ECDH P256 test vectors 167 168 - point wit...[OK] ECDH P256 test vectors 168 169 - point wit...[OK] ECDH P256 test vectors 169 170 - point wit...[OK] ECDH P256 test vectors 170 171 - point wit...[OK] ECDH P256 test vectors 171 172 - point wit...[OK] ECDH P256 test vectors 172 173 - point wit...[OK] ECDH P256 test vectors 173 174 - point wit...[OK] ECDH P256 test vectors 174 175 - point wit...[OK] ECDH P256 test vectors 175 176 - edge case...[OK] ECDH P256 test vectors 176 177 - edge case...[OK] ECDH P256 test vectors 177 178 - edge case...[OK] ECDH P256 test vectors 178 179 - edge case...[OK] ECDH P256 test vectors 179 180 - edge case...[OK] ECDH P256 test vectors 180 181 - edge case...[OK] ECDH P256 test vectors 181 182 - edge case...[OK] ECDH P256 test vectors 182 183 - edge case...[OK] ECDH P256 test vectors 183 184 - edge case...[OK] ECDH P256 test vectors 184 185 - edge case...[OK] ECDH P256 test vectors 185 186 - edge case...[OK] ECDH P256 test vectors 186 187 - edge case...[OK] ECDH P256 test vectors 187 188 - edge case...[OK] ECDH P256 test vectors 188 189 - edge case...[OK] ECDH P256 test vectors 189 190 - edge case...[OK] ECDH P256 test vectors 190 191 - CVE-2017-...[OK] ECDH P256 test vectors 191 192 - CVE-2017-...[OK] ECDH P256 test vectors 192 193 - point is ...[OK] ECDH P256 test vectors 193 194 - point is ...[OK] ECDH P256 test vectors 194 195 - point is ...[OK] ECDH P256 test vectors 195 196 - point is ...[OK] ECDH P256 test vectors 196 197 - point is ...[OK] ECDH P256 test vectors 197 198 - point is ...[OK] ECDH P256 test vectors 198 199 - point is ...[OK] ECDH P256 test vectors 199 200 - point is ...[OK] ECDH P256 test vectors 200 201 - point is ...[OK] ECDH P256 test vectors 201 202 - point is ...[OK] ECDH P256 test vectors 202 203 - point is ...[OK] ECDH P256 test vectors 203 204 - point is ...[OK] ECDH P256 test vectors 204 205 - point is ...[OK] ECDH P256 test vectors 205 206 - point is ...[OK] ECDH P256 test vectors 206 207 - point is ...[OK] ECDH P256 test vectors 207 208 - point is ...[OK] ECDH P256 test vectors 208 209 - .[OK] ECDH P256 test vectors 209 210 - public po...[OK] ECDH P256 test vectors 210 211 - public po...[OK] ECDH P256 test vectors 211 224 - using sec...[OK] ECDH P256 test vectors 212 225 - using sec...[OK] ECDH P256 test vectors 213 228 - Public ke...[OK] ECDH P256 test vectors 214 229 - Public ke...[OK] ECDH P256 test vectors 215 230 - Public ke...[OK] ECDH P256 test vectors 216 231 - Public ke...[OK] ECDH P256 test vectors 217 232 - Public ke...[OK] ECDH P256 test vectors 218 233 - Public ke...[OK] ECDH P256 test vectors 219 234 - Public ke...[OK] ECDH P256 test vectors 220 235 - Public ke...[OK] ECDH P256 test vectors 221 236 - Public ke...[OK] ECDH P256 test vectors 222 237 - Public ke...[OK] ECDH P256 test vectors 223 238 - Public ke...[OK] ECDH P256 test vectors 224 239 - Public ke...[OK] ECDH P256 test vectors 225 240 - Public ke...[OK] ECDH P256 test vectors 226 241 - Public ke...[OK] ECDH P256 test vectors 227 242 - Public ke...[OK] ECDH P256 test vectors 228 243 - invalid p...[OK] ECDH P256 test vectors 229 244 - public ke...[OK] ECDH P256 test vectors 230 245 - public ke...[OK] ECDH P256 test vectors 231 246 - public ke...[OK] ECDH P256 test vectors 232 247 - public ke...[OK] ECDH P256 test vectors 233 248 - public ke...[OK] ECDH P256 test vectors 234 249 - public ke...[OK] ECDSA P256 test vectors (SHA256) 0 1 - signature m...[OK] ECDSA P256 test vectors (SHA256) 1 2 - Legacy:ASN ...[OK] ECDSA P256 test vectors (SHA256) 2 3 - valid.[OK] ECDSA P256 test vectors (SHA256) 3 4 - long form e...[OK] ECDSA P256 test vectors (SHA256) 4 5 - length of s...[OK] ECDSA P256 test vectors (SHA256) 5 6 - wrong lengt...[OK] ECDSA P256 test vectors (SHA256) 6 7 - wrong lengt...[OK] ECDSA P256 test vectors (SHA256) 7 8 - uint32 over...[OK] ECDSA P256 test vectors (SHA256) 8 9 - uint64 over...[OK] ECDSA P256 test vectors (SHA256) 9 10 - length of ...[OK] ECDSA P256 test vectors (SHA256) 10 11 - length of ...[OK] ECDSA P256 test vectors (SHA256) 11 12 - length of ...[OK] ECDSA P256 test vectors (SHA256) 12 13 - length of ...[OK] ECDSA P256 test vectors (SHA256) 13 14 - incorrect ...[OK] ECDSA P256 test vectors (SHA256) 14 15 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 15 16 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 16 17 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 17 18 - removing s...[OK] ECDSA P256 test vectors (SHA256) 18 19 - lonely seq...[OK] ECDSA P256 test vectors (SHA256) 19 20 - appending ...[OK] ECDSA P256 test vectors (SHA256) 20 21 - prepending...[OK] ECDSA P256 test vectors (SHA256) 21 22 - appending ...[OK] ECDSA P256 test vectors (SHA256) 22 23 - appending ...[OK] ECDSA P256 test vectors (SHA256) 23 24 - including ...[OK] ECDSA P256 test vectors (SHA256) 24 25 - including ...[OK] ECDSA P256 test vectors (SHA256) 25 26 - including ...[OK] ECDSA P256 test vectors (SHA256) 26 27 - including ...[OK] ECDSA P256 test vectors (SHA256) 27 28 - including ...[OK] ECDSA P256 test vectors (SHA256) 28 29 - including ...[OK] ECDSA P256 test vectors (SHA256) 29 30 - including ...[OK] ECDSA P256 test vectors (SHA256) 30 31 - including ...[OK] ECDSA P256 test vectors (SHA256) 31 32 - including ...[OK] ECDSA P256 test vectors (SHA256) 32 33 - including ...[OK] ECDSA P256 test vectors (SHA256) 33 34 - including ...[OK] ECDSA P256 test vectors (SHA256) 34 35 - including ...[OK] ECDSA P256 test vectors (SHA256) 35 36 - including ...[OK] ECDSA P256 test vectors (SHA256) 36 37 - including ...[OK] ECDSA P256 test vectors (SHA256) 37 38 - including ...[OK] ECDSA P256 test vectors (SHA256) 38 39 - truncated ...[OK] ECDSA P256 test vectors (SHA256) 39 40 - using comp...[OK] ECDSA P256 test vectors (SHA256) 40 41 - using comp...[OK] ECDSA P256 test vectors (SHA256) 41 42 - using comp...[OK] ECDSA P256 test vectors (SHA256) 42 43 - using comp...[OK] ECDSA P256 test vectors (SHA256) 43 44 - using comp...[OK] ECDSA P256 test vectors (SHA256) 44 45 - using comp...[OK] ECDSA P256 test vectors (SHA256) 45 46 - Replacing ...[OK] ECDSA P256 test vectors (SHA256) 46 47 - changing t...[OK] ECDSA P256 test vectors (SHA256) 47 48 - changing t...[OK] ECDSA P256 test vectors (SHA256) 48 49 - changing t...[OK] ECDSA P256 test vectors (SHA256) 49 50 - changing t...[OK] ECDSA P256 test vectors (SHA256) 50 51 - changing t...[OK] ECDSA P256 test vectors (SHA256) 51 52 - dropping v...[OK] ECDSA P256 test vectors (SHA256) 52 53 - using comp...[OK] ECDSA P256 test vectors (SHA256) 53 54 - truncated ...[OK] ECDSA P256 test vectors (SHA256) 54 55 - truncated ...[OK] ECDSA P256 test vectors (SHA256) 55 56 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 56 57 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 57 58 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 58 59 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 59 60 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 60 61 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 61 62 - prepend em...[OK] ECDSA P256 test vectors (SHA256) 62 63 - append emp...[OK] ECDSA P256 test vectors (SHA256) 63 64 - append gar...[OK] ECDSA P256 test vectors (SHA256) 64 65 - sequence o...[OK] ECDSA P256 test vectors (SHA256) 65 66 - truncated ...[OK] ECDSA P256 test vectors (SHA256) 66 67 - repeating ...[OK] ECDSA P256 test vectors (SHA256) 67 68 - long form ...[OK] ECDSA P256 test vectors (SHA256) 68 69 - long form ...[OK] ECDSA P256 test vectors (SHA256) 69 70 - length of ...[OK] ECDSA P256 test vectors (SHA256) 70 71 - length of ...[OK] ECDSA P256 test vectors (SHA256) 71 72 - wrong leng...[OK] ECDSA P256 test vectors (SHA256) 72 73 - wrong leng...[OK] ECDSA P256 test vectors (SHA256) 73 74 - wrong leng...[OK] ECDSA P256 test vectors (SHA256) 74 75 - wrong leng...[OK] ECDSA P256 test vectors (SHA256) 75 76 - uint32 ove...[OK] ECDSA P256 test vectors (SHA256) 76 77 - uint32 ove...[OK] ECDSA P256 test vectors (SHA256) 77 78 - uint64 ove...[OK] ECDSA P256 test vectors (SHA256) 78 79 - uint64 ove...[OK] ECDSA P256 test vectors (SHA256) 79 80 - length of ...[OK] ECDSA P256 test vectors (SHA256) 80 81 - length of ...[OK] ECDSA P256 test vectors (SHA256) 81 82 - length of ...[OK] ECDSA P256 test vectors (SHA256) 82 83 - length of ...[OK] ECDSA P256 test vectors (SHA256) 83 84 - length of ...[OK] ECDSA P256 test vectors (SHA256) 84 85 - length of ...[OK] ECDSA P256 test vectors (SHA256) 85 86 - length of ...[OK] ECDSA P256 test vectors (SHA256) 86 87 - length of ...[OK] ECDSA P256 test vectors (SHA256) 87 88 - incorrect ...[OK] ECDSA P256 test vectors (SHA256) 88 89 - incorrect ...[OK] ECDSA P256 test vectors (SHA256) 89 90 - removing i...[OK] ECDSA P256 test vectors (SHA256) 90 91 - lonely int...[OK] ECDSA P256 test vectors (SHA256) 91 92 - lonely int...[OK] ECDSA P256 test vectors (SHA256) 92 93 - appending ...[OK] ECDSA P256 test vectors (SHA256) 93 94 - appending ...[OK] ECDSA P256 test vectors (SHA256) 94 95 - prepending...[OK] ECDSA P256 test vectors (SHA256) 95 96 - prepending...[OK] ECDSA P256 test vectors (SHA256) 96 97 - appending ...[OK] ECDSA P256 test vectors (SHA256) 97 98 - appending ...[OK] ECDSA P256 test vectors (SHA256) 98 99 - appending ...[OK] ECDSA P256 test vectors (SHA256) 99 100 - truncated...[OK] ECDSA P256 test vectors (SHA256) 100 101 - truncated...[OK] ECDSA P256 test vectors (SHA256) 101 102 - Replacing...[OK] ECDSA P256 test vectors (SHA256) 102 103 - Replacing...[OK] ECDSA P256 test vectors (SHA256) 103 104 - changing ...[OK] ECDSA P256 test vectors (SHA256) 104 105 - changing ...[OK] ECDSA P256 test vectors (SHA256) 105 106 - changing ...[OK] ECDSA P256 test vectors (SHA256) 106 107 - changing ...[OK] ECDSA P256 test vectors (SHA256) 107 108 - changing ...[OK] ECDSA P256 test vectors (SHA256) 108 109 - changing ...[OK] ECDSA P256 test vectors (SHA256) 109 110 - changing ...[OK] ECDSA P256 test vectors (SHA256) 110 111 - changing ...[OK] ECDSA P256 test vectors (SHA256) 111 112 - changing ...[OK] ECDSA P256 test vectors (SHA256) 112 113 - changing ...[OK] ECDSA P256 test vectors (SHA256) 113 114 - dropping ...[OK] ECDSA P256 test vectors (SHA256) 114 115 - dropping ...[OK] ECDSA P256 test vectors (SHA256) 115 116 - using com...[OK] ECDSA P256 test vectors (SHA256) 116 117 - using com...[OK] ECDSA P256 test vectors (SHA256) 117 118 - modify fi...[OK] ECDSA P256 test vectors (SHA256) 118 119 - modify fi...[OK] ECDSA P256 test vectors (SHA256) 119 120 - modify la...[OK] ECDSA P256 test vectors (SHA256) 120 121 - modify la...[OK] ECDSA P256 test vectors (SHA256) 121 122 - truncated...[OK] ECDSA P256 test vectors (SHA256) 122 123 - truncated...[OK] ECDSA P256 test vectors (SHA256) 123 124 - truncated...[OK] ECDSA P256 test vectors (SHA256) 124 125 - leading f...[OK] ECDSA P256 test vectors (SHA256) 125 126 - leading f...[OK] ECDSA P256 test vectors (SHA256) 126 127 - replaced ...[OK] ECDSA P256 test vectors (SHA256) 127 128 - replaced ...[OK] ECDSA P256 test vectors (SHA256) 128 129 - replacing...[OK] ECDSA P256 test vectors (SHA256) 129 130 - replacing...[OK] ECDSA P256 test vectors (SHA256) 130 131 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 131 132 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 132 133 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 133 134 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 134 135 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 135 136 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 136 137 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 137 138 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 138 139 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 139 140 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 140 141 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 141 142 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 142 143 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 143 144 - Signature...[OK] ECDSA P256 test vectors (SHA256) 144 145 - Signature...[OK] ECDSA P256 test vectors (SHA256) 145 146 - Signature...[OK] ECDSA P256 test vectors (SHA256) 146 147 - Signature...[OK] ECDSA P256 test vectors (SHA256) 147 148 - Signature...[OK] ECDSA P256 test vectors (SHA256) 148 149 - Signature...[OK] ECDSA P256 test vectors (SHA256) 149 150 - Signature...[OK] ECDSA P256 test vectors (SHA256) 150 151 - Signature...[OK] ECDSA P256 test vectors (SHA256) 151 152 - Signature...[OK] ECDSA P256 test vectors (SHA256) 152 153 - Signature...[OK] ECDSA P256 test vectors (SHA256) 153 154 - Signature...[OK] ECDSA P256 test vectors (SHA256) 154 155 - Signature...[OK] ECDSA P256 test vectors (SHA256) 155 156 - Signature...[OK] ECDSA P256 test vectors (SHA256) 156 157 - Signature...[OK] ECDSA P256 test vectors (SHA256) 157 158 - Signature...[OK] ECDSA P256 test vectors (SHA256) 158 159 - Signature...[OK] ECDSA P256 test vectors (SHA256) 159 160 - Signature...[OK] ECDSA P256 test vectors (SHA256) 160 161 - Signature...[OK] ECDSA P256 test vectors (SHA256) 161 162 - Signature...[OK] ECDSA P256 test vectors (SHA256) 162 163 - Signature...[OK] ECDSA P256 test vectors (SHA256) 163 164 - Signature...[OK] ECDSA P256 test vectors (SHA256) 164 165 - Signature...[OK] ECDSA P256 test vectors (SHA256) 165 166 - Signature...[OK] ECDSA P256 test vectors (SHA256) 166 167 - Signature...[OK] ECDSA P256 test vectors (SHA256) 167 168 - Signature...[OK] ECDSA P256 test vectors (SHA256) 168 169 - Signature...[OK] ECDSA P256 test vectors (SHA256) 169 170 - Signature...[OK] ECDSA P256 test vectors (SHA256) 170 171 - Signature...[OK] ECDSA P256 test vectors (SHA256) 171 172 - Signature...[OK] ECDSA P256 test vectors (SHA256) 172 173 - Signature...[OK] ECDSA P256 test vectors (SHA256) 173 174 - Signature...[OK] ECDSA P256 test vectors (SHA256) 174 175 - Signature...[OK] ECDSA P256 test vectors (SHA256) 175 176 - Signature...[OK] ECDSA P256 test vectors (SHA256) 176 177 - Signature...[OK] ECDSA P256 test vectors (SHA256) 177 178 - Signature...[OK] ECDSA P256 test vectors (SHA256) 178 179 - Signature...[OK] ECDSA P256 test vectors (SHA256) 179 180 - Signature...[OK] ECDSA P256 test vectors (SHA256) 180 181 - Signature...[OK] ECDSA P256 test vectors (SHA256) 181 182 - Signature...[OK] ECDSA P256 test vectors (SHA256) 182 183 - Signature...[OK] ECDSA P256 test vectors (SHA256) 183 184 - Signature...[OK] ECDSA P256 test vectors (SHA256) 184 185 - Signature...[OK] ECDSA P256 test vectors (SHA256) 185 186 - Signature...[OK] ECDSA P256 test vectors (SHA256) 186 187 - Signature...[OK] ECDSA P256 test vectors (SHA256) 187 188 - Signature...[OK] ECDSA P256 test vectors (SHA256) 188 189 - Signature...[OK] ECDSA P256 test vectors (SHA256) 189 190 - Signature...[OK] ECDSA P256 test vectors (SHA256) 190 191 - Signature...[OK] ECDSA P256 test vectors (SHA256) 191 192 - Signature...[OK] ECDSA P256 test vectors (SHA256) 192 193 - Signature...[OK] ECDSA P256 test vectors (SHA256) 193 194 - Signature...[OK] ECDSA P256 test vectors (SHA256) 194 195 - Signature...[OK] ECDSA P256 test vectors (SHA256) 195 196 - Signature...[OK] ECDSA P256 test vectors (SHA256) 196 197 - Signature...[OK] ECDSA P256 test vectors (SHA256) 197 198 - Signature...[OK] ECDSA P256 test vectors (SHA256) 198 199 - Signature...[OK] ECDSA P256 test vectors (SHA256) 199 200 - Signature...[OK] ECDSA P256 test vectors (SHA256) 200 201 - Signature...[OK] ECDSA P256 test vectors (SHA256) 201 202 - Signature...[OK] ECDSA P256 test vectors (SHA256) 202 203 - Signature...[OK] ECDSA P256 test vectors (SHA256) 203 204 - Signature...[OK] ECDSA P256 test vectors (SHA256) 204 205 - Signature...[OK] ECDSA P256 test vectors (SHA256) 205 206 - Signature...[OK] ECDSA P256 test vectors (SHA256) 206 207 - Signature...[OK] ECDSA P256 test vectors (SHA256) 207 208 - Signature...[OK] ECDSA P256 test vectors (SHA256) 208 209 - Signature...[OK] ECDSA P256 test vectors (SHA256) 209 210 - Signature...[OK] ECDSA P256 test vectors (SHA256) 210 211 - Signature...[OK] ECDSA P256 test vectors (SHA256) 211 212 - Signature...[OK] ECDSA P256 test vectors (SHA256) 212 213 - Signature...[OK] ECDSA P256 test vectors (SHA256) 213 214 - Signature...[OK] ECDSA P256 test vectors (SHA256) 214 215 - Signature...[OK] ECDSA P256 test vectors (SHA256) 215 216 - Signature...[OK] ECDSA P256 test vectors (SHA256) 216 217 - Signature...[OK] ECDSA P256 test vectors (SHA256) 217 218 - Signature...[OK] ECDSA P256 test vectors (SHA256) 218 219 - Signature...[OK] ECDSA P256 test vectors (SHA256) 219 220 - Signature...[OK] ECDSA P256 test vectors (SHA256) 220 221 - Signature...[OK] ECDSA P256 test vectors (SHA256) 221 222 - Signature...[OK] ECDSA P256 test vectors (SHA256) 222 223 - Signature...[OK] ECDSA P256 test vectors (SHA256) 223 224 - Signature...[OK] ECDSA P256 test vectors (SHA256) 224 225 - Signature...[OK] ECDSA P256 test vectors (SHA256) 225 226 - Signature...[OK] ECDSA P256 test vectors (SHA256) 226 227 - Signature...[OK] ECDSA P256 test vectors (SHA256) 227 228 - Signature...[OK] ECDSA P256 test vectors (SHA256) 228 229 - Signature...[OK] ECDSA P256 test vectors (SHA256) 229 230 - Edge case...[OK] ECDSA P256 test vectors (SHA256) 230 231 - special c...[OK] ECDSA P256 test vectors (SHA256) 231 232 - special c...[OK] ECDSA P256 test vectors (SHA256) 232 233 - special c...[OK] ECDSA P256 test vectors (SHA256) 233 234 - special c...[OK] ECDSA P256 test vectors (SHA256) 234 235 - special c...[OK] ECDSA P256 test vectors (SHA256) 235 236 - special c...[OK] ECDSA P256 test vectors (SHA256) 236 237 - special c...[OK] ECDSA P256 test vectors (SHA256) 237 238 - special c...[OK] ECDSA P256 test vectors (SHA256) 238 239 - special c...[OK] ECDSA P256 test vectors (SHA256) 239 240 - special c...[OK] ECDSA P256 test vectors (SHA256) 240 241 - special c...[OK] ECDSA P256 test vectors (SHA256) 241 242 - special c...[OK] ECDSA P256 test vectors (SHA256) 242 243 - special c...[OK] ECDSA P256 test vectors (SHA256) 243 244 - special c...[OK] ECDSA P256 test vectors (SHA256) 244 245 - special c...[OK] ECDSA P256 test vectors (SHA256) 245 246 - special c...[OK] ECDSA P256 test vectors (SHA256) 246 247 - special c...[OK] ECDSA P256 test vectors (SHA256) 247 248 - special c...[OK] ECDSA P256 test vectors (SHA256) 248 249 - special c...[OK] ECDSA P256 test vectors (SHA256) 249 250 - special c...[OK] ECDSA P256 test vectors (SHA256) 250 251 - special c...[OK] ECDSA P256 test vectors (SHA256) 251 252 - special c...[OK] ECDSA P256 test vectors (SHA256) 252 253 - special c...[OK] ECDSA P256 test vectors (SHA256) 253 254 - special c...[OK] ECDSA P256 test vectors (SHA256) 254 255 - special c...[OK] ECDSA P256 test vectors (SHA256) 255 256 - special c...[OK] ECDSA P256 test vectors (SHA256) 256 257 - special c...[OK] ECDSA P256 test vectors (SHA256) 257 258 - special c...[OK] ECDSA P256 test vectors (SHA256) 258 259 - special c...[OK] ECDSA P256 test vectors (SHA256) 259 260 - special c...[OK] ECDSA P256 test vectors (SHA256) 260 261 - special c...[OK] ECDSA P256 test vectors (SHA256) 261 262 - special c...[OK] ECDSA P256 test vectors (SHA256) 262 263 - special c...[OK] ECDSA P256 test vectors (SHA256) 263 264 - special c...[OK] ECDSA P256 test vectors (SHA256) 264 265 - special c...[K] ECDSA P256 test vectors (SHA256) 265 266 - special c...[OK] ECDSA P256 test vectors (SHA256) 266 267 - special c...[OK] ECDSA P256 test vectors (SHA256) 267 268 - special c...[OK] ECDSA P256 test vectors (SHA256) 268 269 - special c...[OK] ECDSA P256 test vectors (SHA256) 269 270 - special c......TRUNCATED BY DUNE...[OK] X25519 test vectors 157 158 - special c...[OK] X25519 test vectors 158 159 - special c...[OK] X25519 test vectors 159 160 - special c...[OK] X25519 test vectors 160 161 - special c...[OK] X25519 test vectors 161 162 - special c...[OK] X25519 test vectors 162 163 - special c...[OK] X25519 test vectors 163 164 - special c...[OK] X25519 test vectors 164 165 - D = 0 in ...[OK] X25519 test vectors 165 166 - D = 0 in ...[OK] X25519 test vectors 166 167 - special c...[OK] X25519 test vectors 167 168 - special c...[OK] X25519 test vectors 168 169 - special c...[OK] X25519 test vectors 169 170 - special c...[OK] X25519 test vectors 170 171 - special c...[OK] X25519 test vectors 171 172 - special c...[OK] X25519 test vectors 172 173 - special c...[OK] X25519 test vectors 173 174 - special c...[OK] X25519 test vectors 174 175 - special c...[OK] X25519 test vectors 175 176 - special c...[OK] X25519 test vectors 176 177 - special c...[OK] X25519 test vectors 177 178 - special c...[OK] X25519 test vectors 178 179 - special c...[OK] X25519 test vectors 179 180 - special c...[OK] X25519 test vectors 180 181 - special c...[OK] X25519 test vectors 181 182 - special c...[OK] X25519 test vectors 182 183 - special c...[OK] X25519 test vectors 183 184 - special c...[OK] X25519 test vectors 184 185 - special c...[OK] X25519 test vectors 185 186 - special c...[OK] X25519 test vectors 186 187 - special c...[OK] X25519 test vectors 187 188 - special c...[OK] X25519 test vectors 188 189 - special c...[OK] X25519 test vectors 189 190 - special c...[OK] X25519 test vectors 190 191 - special c...[OK] X25519 test vectors 191 192 - special c...[OK] X25519 test vectors 192 193 - special c...[OK] X25519 test vectors 193 194 - special c...[OK] X25519 test vectors 194 195 - special c...[OK] X25519 test vectors 195 196 - special c...[OK] X25519 test vectors 196 197 - special c...[OK] X25519 test vectors 197 198 - special c...[OK] X25519 test vectors 198 199 - special c...[OK] X25519 test vectors 199 200 - special c...[OK] X25519 test vectors 200 201 - special c...[OK] X25519 test vectors 201 202 - special c...[OK] X25519 test vectors 202 203 - special c...[OK] X25519 test vectors 203 204 - special c...[OK] X25519 test vectors 204 205 - special c...[OK] X25519 test vectors 205 206 - special c...[OK] X25519 test vectors 206 207 - special c...[OK] X25519 test vectors 207 208 - special c...[OK] X25519 test vectors 208 209 - special c...[OK] X25519 test vectors 209 210 - special c...[OK] X25519 test vectors 210 211 - special c...[OK] X25519 test vectors 211 212 - special c...[OK] X25519 test vectors 212 213 - special c...[OK] X25519 test vectors 213 214 - special c...[OK] X25519 test vectors 214 215 - special c...[OK] X25519 test vectors 215 216 - special c...[OK] X25519 test vectors 216 217 - special c...[OK] X25519 test vectors 217 218 - special c...[OK] X25519 test vectors 218 219 - special c...[OK] X25519 test vectors 219 220 - special c...[OK] X25519 test vectors 220 221 - special c...[OK] X25519 test vectors 221 222 - special c...[OK] X25519 test vectors 222 223 - special c...[OK] X25519 test vectors 223 224 - special c...[OK] X25519 test vectors 224 225 - special c...[OK] X25519 test vectors 225 226 - special c...[OK] X25519 test vectors 226 227 - special c...[OK] X25519 test vectors 227 228 - special c...[OK] X25519 test vectors 228 229 - special c...[OK] X25519 test vectors 229 230 - special c...[OK] X25519 test vectors 230 231 - special c...[OK] X25519 test vectors 231 232 - special c...[OK] X25519 test vectors 232 233 - special c...[OK] X25519 test vectors 233 234 - special c...[OK] X25519 test vectors 234 235 - special c...[OK] X25519 test vectors 235 236 - special c...[OK] X25519 test vectors 236 237 - special c...[OK] X25519 test vectors 237 238 - special c...[OK] X25519 test vectors 238 239 - special c...[OK] X25519 test vectors 239 240 - special c...[OK] X25519 test vectors 240 241 - special c...[OK] X25519 test vectors 241 242 - special c...[OK] X25519 test vectors 242 243 - special c...[OK] X25519 test vectors 243 244 - special c...[OK] X25519 test vectors 244 245 - special c...[OK] X25519 test vectors 245 246 - special c...[OK] X25519 test vectors 246 247 - special c...[OK] X25519 test vectors 247 248 - special c...[OK] X25519 test vectors 248 249 - special c...[OK] X25519 test vectors 249 250 - special c...[OK] X25519 test vectors 250 251 - special c...[OK] X25519 test vectors 251 252 - special c...[OK] X25519 test vectors 252 253 - special c...[OK] X25519 test vectors 253 254 - special c...[OK] X25519 test vectors 254 255 - special c...[OK] X25519 test vectors 255 256 - special c...[OK] X25519 test vectors 256 257 - special c...[OK] X25519 test vectors 257 258 - special c...[OK] X25519 test vectors 258 259 - special c...[OK] X25519 test vectors 259 260 - special c...[OK] X25519 test vectors 260 261 - special c...[OK] X25519 test vectors 261 262 - special c...[OK] X25519 test vectors 262 263 - special c...[OK] X25519 test vectors 263 264 - special c...[OK] X25519 test vectors 264 265 - special c...[OK] X25519 test vectors 265 266 - special c...[OK] X25519 test vectors 266 267 - special c...[OK] X25519 test vectors 267 268 - special c...[OK] X25519 test vectors 268 269 - special c...[OK] X25519 test vectors 269 270 - special c...[OK] X25519 test vectors 270 271 - special c...[OK] X25519 test vectors 271 272 - special c...[OK] X25519 test vectors 272 273 - special c...[OK] X25519 test vectors 273 274 - special c...[OK] X25519 test vectors 274 275 - special c...[OK] X25519 test vectors 275 276 - special c...[OK] X25519 test vectors 276 277 - special c...[OK] X25519 test vectors 277 278 - special c...[OK] X25519 test vectors 278 279 - special c...[OK] X25519 test vectors 279 280 - special c...[OK] X25519 test vectors 280 281 - special c...[OK] X25519 test vectors 281 282 - special c...[OK] X25519 test vectors 282 283 - special c...[OK] X25519 test vectors 283 284 - special c...[OK] X25519 test vectors 284 285 - special c...[OK] X25519 test vectors 285 286 - special c...[OK] X25519 test vectors 286 287 - special c...[OK] X25519 test vectors 287 288 - special c...[OK] X25519 test vectors 288 289 - special c...[OK] X25519 test vectors 289 290 - special c...[OK] X25519 test vectors 290 291 - special c...[OK] X25519 test vectors 291 292 - special c...[OK] X25519 test vectors 292 293 - special c...[OK] X25519 test vectors 293 294 - special c...[OK] X25519 test vectors 294 295 - special c...[OK] X25519 test vectors 295 296 - special c...[OK] X25519 test vectors 296 297 - special c...[OK] X25519 test vectors 297 298 - special c...[OK] X25519 test vectors 298 299 - special c...[OK] X25519 test vectors 299 300 - special c...[OK] X25519 test vectors 300 301 - special c...[OK] X25519 test vectors 301 302 - special c...[OK] X25519 test vectors 302 303 - special c...[OK] X25519 test vectors 303 304 - special c...[OK] X25519 test vectors 304 305 - special c...[OK] X25519 test vectors 305 306 - special c...[OK] X25519 test vectors 306 307 - special c...[OK] X25519 test vectors 307 308 - special c...[OK] X25519 test vectors 308 309 - special c...[OK] X25519 test vectors 309 310 - special c...[OK] X25519 test vectors 310 311 - special c...[OK] X25519 test vectors 311 312 - special c...[OK] X25519 test vectors 312 313 - special c...[OK] X25519 test vectors 313 314 - special c...[OK] X25519 test vectors 314 315 - special c...[OK] X25519 test vectors 315 316 - special c...[OK] X25519 test vectors 316 317 - special c...[OK] X25519 test vectors 317 318 - special c...[OK] X25519 test vectors 318 319 - special c...[OK] X25519 test vectors 319 320 - special c...[OK] X25519 test vectors 320 321 - special c...[OK] X25519 test vectors 321 322 - special c...[OK] X25519 test vectors 322 323 - special c...[OK] X25519 test vectors 323 324 - special c...[OK] X25519 test vectors 324 325 - special c...[OK] X25519 test vectors 325 326 - special c...[OK] X25519 test vectors 326 327 - special c...[OK] X25519 test vectors 327 328 - special c...[OK] X25519 test vectors 328 329 - special c...[OK] X25519 test vectors 329 330 - special c...[OK] X25519 test vectors 330 331 - special c...[OK] X25519 test vectors 331 332 - special c...[OK] X25519 test vectors 332 333 - special c...[OK] X25519 test vectors 333 334 - special c...[OK] X25519 test vectors 334 335 - special c...[OK] X25519 test vectors 335 336 - special c...[OK] X25519 test vectors 336 337 - special c...[OK] X25519 test vectors 337 338 - special c...[OK] X25519 test vectors 338 339 - special c...[OK] X25519 test vectors 339 340 - special c...[OK] X25519 test vectors 340 341 - special c...[OK] X25519 test vectors 341 342 - special c...[OK] X25519 test vectors 342 343 - special c...[OK] X25519 test vectors 343 344 - special c...[OK] X25519 test vectors 344 345 - special c...[OK] X25519 test vectors 345 346 - special c...[OK] X25519 test vectors 346 347 - special c...[OK] X25519 test vectors 347 348 - special c...[OK] X25519 test vectors 348 349 - special c...[OK] X25519 test vectors 349 350 - special c...[OK] X25519 test vectors 350 351 - special c...[OK] X25519 test vectors 351 352 - special c...[OK] X25519 test vectors 352 353 - special c...[OK] X25519 test vectors 353 354 - special c...[OK] X25519 test vectors 354 355 - special c...[OK] X25519 test vectors 355 356 - special c...[OK] X25519 test vectors 356 357 - special c...[OK] X25519 test vectors 357 358 - special c...[OK] X25519 test vectors 358 359 - special c...[OK] X25519 test vectors 359 360 - special c...[OK] X25519 test vectors 360 361 - special c...[OK] X25519 test vectors 361 362 - special c...[OK] X25519 test vectors 362 363 - special c...[OK] X25519 test vectors 363 364 - special c...[OK] X25519 test vectors 364 365 - special c...[OK] X25519 test vectors 365 366 - special c...[OK] X25519 test vectors 366 367 - special c...[OK] X25519 test vectors 367 368 - special c...[OK] X25519 test vectors 368 369 - special c...[OK] X25519 test vectors 369 370 - special c...[OK] X25519 test vectors 370 371 - special c...[OK] X25519 test vectors 371 372 - special c...[OK] X25519 test vectors 372 373 - special c...[OK] X25519 test vectors 373 374 - special c...[OK] X25519 test vectors 374 375 - special c...[OK] X25519 test vectors 375 376 - special c...[OK] X25519 test vectors 376 377 - special c...[OK] X25519 test vectors 377 378 - special c...[OK] X25519 test vectors 378 379 - special c...[OK] X25519 test vectors 379 380 - special c...[OK] X25519 test vectors 380 381 - special c...[OK] X25519 test vectors 381 382 - special c...[OK] X25519 test vectors 382 383 - special c...[OK] X25519 test vectors 383 384 - special c...[OK] X25519 test vectors 384 385 - special c...[OK] X25519 test vectors 385 386 - special c...[OK] X25519 test vectors 386 387 - special c...[OK] X25519 test vectors 387 388 - special c...[OK] X25519 test vectors 388 389 - special c...[OK] X25519 test vectors 389 390 - special c...[OK] X25519 test vectors 390 391 - special c...[OK] X25519 test vectors 391 392 - special c...[OK] X25519 test vectors 392 393 - special c...[OK] X25519 test vectors 393 394 - special c...[OK] X25519 test vectors 394 395 - special c...[OK] X25519 test vectors 395 396 - special c...[OK] X25519 test vectors 396 397 - special c...[OK] X25519 test vectors 397 398 - special c...[OK] X25519 test vectors 398 399 - special c...[OK] X25519 test vectors 399 400 - special c...[OK] X25519 test vectors 400 401 - special c...[OK] X25519 test vectors 401 402 - special c...[OK] X25519 test vectors 402 403 - special c...[OK] X25519 test vectors 403 404 - special c...[OK] X25519 test vectors 404 405 - special c...[OK] X25519 test vectors 405 406 - special c...[OK] X25519 test vectors 406 407 - special c...[OK] X25519 test vectors 407 408 - special c...[OK] X25519 test vectors 408 409 - special c...[OK] X25519 test vectors 409 410 - special c...[OK] X25519 test vectors 410 411 - special c...[OK] X25519 test vectors 411 412 - special c...[OK] X25519 test vectors 412 413 - special c...[OK] X25519 test vectors 413 414 - special c...[OK] X25519 test vectors 414 415 - special c...[OK] X25519 test vectors 415 416 - special c...[OK] X25519 test vectors 416 417 - special c...[OK] X25519 test vectors 417 418 - special c...[OK] X25519 test vectors 418 419 - special c...[OK] X25519 test vectors 419 420 - special c...[OK] X25519 test vectors 420 421 - special c...[OK] X25519 test vectors 421 422 - special c...[OK] X25519 test vectors 422 423 - special c...[OK] X25519 test vectors 423 424 - special c...[OK] X25519 test vectors 424 425 - special c...[OK] X25519 test vectors 425 426 - special c...[OK] X25519 test vectors 426 427 - special c...[OK] X25519 test vectors 427 428 - special c...[OK] X25519 test vectors 428 429 - special c...[OK] X25519 test vectors 429 430 - special c...[OK] X25519 test vectors 430 431 - special c...[OK] X25519 test vectors 431 432 - special c...[OK] X25519 test vectors 432 433 - special c...[OK] X25519 test vectors 433 434 - special c...[OK] X25519 test vectors 434 435 - special c...[OK] X25519 test vectors 435 436 - special c...[OK] X25519 test vectors 436 437 - special c...[OK] X25519 test vectors 437 438 - special c...[OK] X25519 test vectors 438 439 - special c...[OK] X25519 test vectors 439 440 - special c...[OK] X25519 test vectors 440 441 - special c...[OK] X25519 test vectors 441 442 - special c...[OK] X25519 test vectors 442 443 - special c...[OK] X25519 test vectors 443 444 - special c...[OK] X25519 test vectors 444 445 - special c...[OK] X25519 test vectors 445 446 - special c...[OK] X25519 test vectors 446 447 - special c...[OK] X25519 test vectors 447 448 - special c...[OK] X25519 test vectors 448 449 - special c...[OK] X25519 test vectors 449 450 - special c...[OK] X25519 test vectors 450 451 - special c...[OK] X25519 test vectors 451 452 - special c...[OK] X25519 test vectors 452 453 - special c...[OK] X25519 test vectors 453 454 - special c...[OK] X25519 test vectors 454 455 - special c...[OK] X25519 test vectors 455 456 - special c...[OK] X25519 test vectors 456 457 - special c...[OK] X25519 test vectors 457 458 - special c...[OK] X25519 test vectors 458 459 - special c...[OK] X25519 test vectors 459 460 - special c...[OK] X25519 test vectors 460 461 - special c...[OK] X25519 test vectors 461 462 - special c...[OK] X25519 test vectors 462 463 - special c...[OK] X25519 test vectors 463 464 - special c...[OK] X25519 test vectors 464 465 - special c...[OK] X25519 test vectors 465 466 - special c...[OK] X25519 test vectors 466 467 - special c...[OK] X25519 test vectors 467 468 - special c...[OK] X25519 test vectors 468 469 - special c...[OK] X25519 test vectors 469 470 - special c...[OK] X25519 test vectors 470 471 - special c...[OK] X25519 test vectors 471 472 - special c...[OK] X25519 test vectors 472 473 - special c...[OK] X25519 test vectors 473 474 - special c...[OK] X25519 test vectors 474 475 - special c...[OK] X25519 test vectors 475 476 - special c...[OK] X25519 test vectors 476 477 - special c...[OK] X25519 test vectors 477 478 - special c...[OK] X25519 test vectors 478 479 - special c...[OK] X25519 test vectors 479 480 - special c...[OK] X25519 test vectors 480 481 - special c...[OK] X25519 test vectors 481 482 - special c...[OK] X25519 test vectors 482 483 - special c...[OK] X25519 test vectors 483 484 - special c...[OK] X25519 test vectors 484 485 - special c...[OK] X25519 test vectors 485 486 - special c...[OK] X25519 test vectors 486 487 - special c...[OK] X25519 test vectors 487 488 - special c...[OK] X25519 test vectors 488 489 - special c...[OK] X25519 test vectors 489 490 - special c...[OK] X25519 test vectors 490 491 - special c...[OK] X25519 test vectors 491 492 - special c...[OK] X25519 test vectors 492 493 - special c...[OK] X25519 test vectors 493 494 - special c...[OK] X25519 test vectors 494 495 - special c...[OK] X25519 test vectors 495 496 - special c...[OK] X25519 test vectors 496 497 - special c...[OK] X25519 test vectors 497 498 - special c...[OK] X25519 test vectors 498 499 - special c...[OK] X25519 test vectors 499 500 - special c...[OK] X25519 test vectors 500 501 - special c...[OK] X25519 test vectors 501 502 - special c...[OK] X25519 test vectors 502 503 - special c...[OK] X25519 test vectors 503 504 - special c...[OK] X25519 test vectors 504 505 - special c...[OK] X25519 test vectors 505 506 - special c...[OK] X25519 test vectors 506 507 - special c...[OK] X25519 test vectors 507 508 - special c...[OK] X25519 test vectors 508 509 - special c...[OK] X25519 test vectors 509 510 - special c...[OK] X25519 test vectors 510 511 - private k...[OK] X25519 test vectors 511 512 - private k...[OK] X25519 test vectors 512 513 - special c...[OK] X25519 test vectors 513 514 - special c...[OK] X25519 test vectors 514 515 - special c...[OK] X25519 test vectors 515 516 - special c...[OK] X25519 test vectors 516 517 - special c...[OK] X25519 test vectors 517 518 - special c...[OK] ED25519 test vectors 0 1 - .[OK] ED25519 test vectors 1 2 - .[OK] ED25519 test vectors 2 3 - .[OK] ED25519 test vectors 3 4 - .[OK] ED25519 test vectors 4 5 - .[OK] ED25519 test vectors 5 6 - .[OK] ED25519 test vectors 6 7 - .[OK] ED25519 test vectors 7 8 - .[OK] ED25519 test vectors 8 9 - .[OK] ED25519 test vectors 9 10 - special va...[OK] ED25519 test vectors 10 11 - special va...[OK] ED25519 test vectors 11 12 - special va...[OK] ED25519 test vectors 12 13 - special va...[OK] ED25519 test vectors 13 14 - special va...[OK] ED25519 test vectors 14 15 - special va...[OK] ED25519 test vectors 15 16 - special va...[OK] ED25519 test vectors 16 17 - special va...[OK] ED25519 test vectors 17 18 - special va...[OK] ED25519 test vectors 18 19 - special va...[OK] ED25519 test vectors 19 20 - special va...[OK] ED25519 test vectors 20 21 - special va...[OK] ED25519 test vectors 21 22 - special va...[OK] ED25519 test vectors 22 23 - special va...[OK] ED25519 test vectors 23 24 - special va...[OK] ED25519 test vectors 24 25 - special va...[OK] ED25519 test vectors 25 26 - special va...[OK] ED25519 test vectors 26 27 - special va...[OK] ED25519 test vectors 27 28 - special va...[OK] ED25519 test vectors 28 29 - special va...[OK] ED25519 test vectors 29 30 - empty sign...[OK] ED25519 test vectors 30 31 - s missing.[OK] ED25519 test vectors 31 32 - signature ...[OK] ED25519 test vectors 32 33 - signature ...[OK] ED25519 test vectors 33 34 - include pk...[OK] ED25519 test vectors 34 35 - prepending...[OK] ED25519 test vectors 35 36 - prepending...[OK] ED25519 test vectors 36 37 - appending ...[OK] ED25519 test vectors 37 38 - removing 0...[OK] ED25519 test vectors 38 39 - removing 0...[OK] ED25519 test vectors 39 40 - removing l...[OK] ED25519 test vectors 40 41 - dropping b...[OK] ED25519 test vectors 41 42 - modified b...[OK] ED25519 test vectors 42 43 - modified b...[OK] ED25519 test vectors 43 44 - modified b...[OK] ED25519 test vectors 44 45 - modified b...[OK] ED25519 test vectors 45 46 - modified b...[OK] ED25519 test vectors 46 47 - modified b...[OK] ED25519 test vectors 47 48 - modified b...[OK] ED25519 test vectors 48 49 - modified b...[OK] ED25519 test vectors 49 50 - modified b...[OK] ED25519 test vectors 50 51 - modified b...[OK] ED25519 test vectors 51 52 - modified b...[OK] ED25519 test vectors 52 53 - modified b...[OK] ED25519 test vectors 53 54 - modified b...[OK] ED25519 test vectors 54 55 - modified b...[OK] ED25519 test vectors 55 56 - modified b...[OK] ED25519 test vectors 56 57 - modified b...[OK] ED25519 test vectors 57 58 - modified b...[OK] ED25519 test vectors 58 59 - modified b...[OK] ED25519 test vectors 59 60 - R==0.[OK] ED25519 test vectors 60 61 - invalid R.[OK] ED25519 test vectors 61 62 - all bits f...[OK] ED25519 test vectors 62 63 - checking m...[OK] ED25519 test vectors 63 64 - checking m...[OK] ED25519 test vectors 64 65 - checking m...[OK] ED25519 test vectors 65 66 - checking m...[OK] ED25519 test vectors 66 67 - checking m...[OK] ED25519 test vectors 67 68 - checking m...[OK] ED25519 test vectors 68 69 - checking m...[OK] ED25519 test vectors 69 70 - checking m...[OK] ED25519 test vectors 70 71 - .[OK] ED25519 test vectors 71 72 - .[OK] ED25519 test vectors 72 73 - .[OK] ED25519 test vectors 73 74 - .[OK] ED25519 test vectors 74 75 - .[OK] ED25519 test vectors 75 76 - .[OK] ED25519 test vectors 76 77 - .[OK] ED25519 test vectors 77 78 - .[OK] ED25519 test vectors 78 79 - .[OK] ED25519 test vectors 79 80 - draft-jose...[OK] ED25519 test vectors 80 81 - draft-jose...[OK] ED25519 test vectors 81 82 - draft-jose...[OK] ED25519 test vectors 82 83 - draft-jose...[OK] ED25519 test vectors 83 84 - Random tes...[OK] ED25519 test vectors 84 85 - Random tes...[OK] ED25519 test vectors 85 86 - Random tes...[OK] ED25519 test vectors 86 87 - Random tes...[OK] ED25519 test vectors 87 88 - Random tes...[OK] ED25519 test vectors 88 89 - Random tes...[OK] ED25519 test vectors 89 90 - Random tes...[OK] ED25519 test vectors 90 91 - Random tes...[OK] ED25519 test vectors 91 92 - Random tes...[OK] ED25519 test vectors 92 93 - Random tes...[OK] ED25519 test vectors 93 94 - Random tes...[OK] ED25519 test vectors 94 95 - Random tes...[OK] ED25519 test vectors 95 96 - Random tes...[OK] ED25519 test vectors 96 97 - Random tes...[OK] ED25519 test vectors 97 98 - Random tes...[OK] ED25519 test vectors 98 99 - Random tes...[OK] ED25519 test vectors 99 100 - Random te...[OK] ED25519 test vectors 100 101 - Random te...[OK] ED25519 test vectors 101 102 - Random te...[OK] ED25519 test vectors 102 103 - Random te...[OK] ED25519 test vectors 103 104 - Random te...[OK] ED25519 test vectors 104 105 - Random te...[OK] ED25519 test vectors 105 106 - Random te...[OK] ED25519 test vectors 106 107 - Random te...[OK] ED25519 test vectors 107 108 - Random te...[OK] ED25519 test vectors 108 109 - Random te...[OK] ED25519 test vectors 109 110 - Random te...[OK] ED25519 test vectors 110 111 - Random te...[OK] ED25519 test vectors 111 112 - Test case...[OK] ED25519 test vectors 112 113 - Test case...[OK] ED25519 test vectors 113 114 - Test case...[OK] ED25519 test vectors 114 115 - Test case...[OK] ED25519 test vectors 115 116 - Test case...[OK] ED25519 test vectors 116 117 - regressio...[OK] ED25519 test vectors 117 118 - regressio...[OK] ED25519 test vectors 118 119 - regressio...[OK] ED25519 test vectors 119 120 - regressio...[OK] ED25519 test vectors 120 121 - regressio...[OK] ED25519 test vectors 121 122 - regressio...[OK] ED25519 test vectors 122 123 - regressio...[OK] ED25519 test vectors 123 124 - regressio...[OK] ED25519 test vectors 124 125 - regressio...[OK] ED25519 test vectors 125 126 - regressio...[OK] ED25519 test vectors 126 127 - regressio...[OK] ED25519 test vectors 127 128 - regressio...[OK] ED25519 test vectors 128 129 - regressio...[OK] ED25519 test vectors 129 130 - regressio...[OK] ED25519 test vectors 130 131 - regressio...[OK] ED25519 test vectors 131 132 - regressio...[OK] ED25519 test vectors 132 133 - regressio...[OK] ED25519 test vectors 133 134 - regressio...[OK] ED25519 test vectors 134 135 - regressio...[OK] ED25519 test vectors 135 136 - regressio...[OK] ED25519 test vectors 136 137 - regressio...[OK] ED25519 test vectors 137 138 - regressio...[OK] ED25519 test vectors 138 139 - regressio...[OK] ED25519 test vectors 139 140 - regressio...[OK] ED25519 test vectors 140 141 - regressio...[OK] ED25519 test vectors 141 142 - regressio...[OK] ED25519 test vectors 142 143 - regressio...[OK] ED25519 test vectors 143 144 - regressio...[OK] ED25519 test vectors 144 145 - regressio...Full test results in `/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.Test Successful in 4.938s. 3502 tests run.(cd _build/default/tests && ./test_pk_runner.exe).......................................................................................................................................................................................................................................................................................................................................................................Ran: 359 tests in: 2.95 seconds.OK2026-03-10 04:50.59 ---> saved as "ea5dcd587fb3fb88d1794ac565e3e2375809e939b044367ef0f377066535a1be"Job succeeded2026-03-10 04:50.59: Job succeeded