2026-02-19 09:10.13: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/main (7db77e5c4cc83c58d46d6937e7e8b65f3e9f5fbc) (openbsd-amd64:openbsd-77-amd64-5.4_opam-2.5)Base: openbsd-77-amd64-ocaml-5.4Opam project buildTo reproduce locally:git clone --recursive "https://github.com/mirage/mirage-crypto.git" -b "main" && cd "mirage-crypto" && git reset --hard 7db77e5ccat > Dockerfile <<'END-OF-DOCKERFILE'FROM openbsd-77-amd64-ocaml-5.4# openbsd-77-amd64-5.4_opam-2.5USER 1000:1000ENV CLICOLOR_FORCE="1"ENV OPAMCOLOR="always"RUN doas ln -f /usr/bin/opam-2.5 /usr/bin/opamRUN opam init --reinit -niRUN uname -rs && opam exec -- ocaml -version && opam --versionRUN cd ~/opam-repository && (git cat-file -e cb9a685cb62886f19cd3e96f0a6fce1585a07d4c || git fetch origin master) && git reset -q --hard cb9a685cb62886f19cd3e96f0a6fce1585a07d4c && 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 /home/opam/src/./RUN opam pin add -yn mirage-crypto.dev '/home/opam/src/./' && \opam pin add -yn mirage-crypto-rng.dev '/home/opam/src/./' && \opam pin add -yn mirage-crypto-rng-mkernel.dev '/home/opam/src/./' && \opam pin add -yn mirage-crypto-rng-mirage.dev '/home/opam/src/./' && \opam pin add -yn mirage-crypto-rng-miou-unix.dev '/home/opam/src/./' && \opam pin add -yn mirage-crypto-pk.dev '/home/opam/src/./' && \opam pin add -yn mirage-crypto-ec.dev '/home/opam/src/./'RUN echo '(lang dune 3.0)' > '/home/opam/src/./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-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.1 jsont.0.2.0 logs.0.10.0 lwt.5.9.2 macaddr.5.6.1 miou.0.5.4 mirage-mtime.5.2.0 mirage-runtime.4.10.4 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.0 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 . /home/opam/srcRUN cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _buildEND-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2026-02-19 09:10.13: Using cache hint "mirage/mirage-crypto-openbsd-77-amd64-ocaml-5.4-openbsd-77-amd64-5.4_opam-2.5-b7bac1d29f291de91ea2a7404e682394"2026-02-19 09:10.13: Using OBuilder spec:((from openbsd-77-amd64-ocaml-5.4)(comment openbsd-77-amd64-5.4_opam-2.5)(user (uid 1000) (gid 1000))(env CLICOLOR_FORCE 1)(env OPAMCOLOR always)(run (shell "doas 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"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e cb9a685cb62886f19cd3e96f0a6fce1585a07d4c || git fetch origin master) && git reset -q --hard cb9a685cb62886f19cd3e96f0a6fce1585a07d4c && 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 /home/opam/src/./))(run (network host)(shell "opam pin add -yn mirage-crypto.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-rng.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-rng-mkernel.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-rng-mirage.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-rng-miou-unix.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-pk.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-ec.dev '/home/opam/src/./'"))(run (network host)(shell "echo '(lang dune 3.0)' > '/home/opam/src/./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-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.1 jsont.0.2.0 logs.0.10.0 lwt.5.9.2 macaddr.5.6.1 miou.0.5.4 mirage-mtime.5.2.0 mirage-runtime.4.10.4 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.0 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 /home/opam/src))(run (shell "cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build")))2026-02-19 09:10.13: Waiting for resource in pool OCluster2026-02-19 09:10.14: Waiting for worker…2026-02-19 09:10.14: Got resource from pool OClusterBuilding on oreganoHEAD is now at 8c39024 Use "architecture" "riscv" to fix the issue to not run on riscv64 #272HEAD is now at 7db77e5 Merge pull request #274 from hannesm/no-riscv(from openbsd-77-amd64-ocaml-5.4)2026-02-19 09:10.15 ---> using "8424522d1f78b81b26ba463ba357c8ca122e0f74070b621aa84fc80c68430631" from cache/: (comment openbsd-77-amd64-5.4_opam-2.5)/: (user (uid 1000) (gid 1000))/: (env CLICOLOR_FORCE 1)/: (env OPAMCOLOR always)/: (run (shell "doas ln -f /usr/bin/opam-2.5 /usr/bin/opam"))2026-02-19 09:10.15 ---> using "cd72dc3a3c8ea2afd18b1257d8b5421d0f9a4dafb0a258b995fdf62c1e2a67c4" from cache/: (run (shell "opam init --reinit -ni"))No configuration file found, using built-in defaults.Checking for available remotes: rsync and local, git.- you won't be able to use mercurial repositories unless you install the hg command on your system.- you won't be able to use darcs repositories unless you install the darcs command on your system.<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>[default] no changes from file:///home/opam/opam-repository2026-02-19 09:10.15 ---> using "25ee98d58d8c907869f6fd5004c258d71c5033e73edf1fe48b86a48a34773b77" from cache/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))OpenBSD 7.7The OCaml toplevel, version 5.4.02.5.02026-02-19 09:10.15 ---> using "b97072ad387d97fa49b3fc7ece6dbbedda3ad8df05946df9b57bbb8c1e1ea296" from cache/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e cb9a685cb62886f19cd3e96f0a6fce1585a07d4c || git fetch origin master) && git reset -q --hard cb9a685cb62886f19cd3e96f0a6fce1585a07d4c && git log --no-decorate -n1 --oneline && opam update -u"))From https://github.com/ocaml/opam-repository* branch master -> FETCH_HEAD93a7bce43a..5ace188191 master -> origin/mastercb9a685cb6 Merge pull request #29400 from dinosaure/release-miou-v0.5.4<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from file:///home/opam/opam-repositoryAlready up-to-date.Nothing to do.# To update the current shell environment, run: eval $(opam env)2026-02-19 09:10.15 ---> using "755783fcdd1f7f80f2b1203900f31d43ab8c73f31da309eeecfcd8889fe787ec" from cache/: (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 /home/opam/src/./))2026-02-19 09:10.15 ---> using "94c8b44ae798baed74d5793135e7326c1eaee7ee0fab301c7ac7cb1f454058c9" from cache/: (run (network host)(shell "opam pin add -yn mirage-crypto.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-rng.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-rng-mkernel.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-rng-mirage.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-rng-miou-unix.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-pk.dev '/home/opam/src/./' && \\nopam pin add -yn mirage-crypto-ec.dev '/home/opam/src/./'"))[mirage-crypto.dev] synchronised (file:///home/opam/src)mirage-crypto is now pinned to file:///home/opam/src (version dev)[mirage-crypto-rng.dev] synchronised (file:///home/opam/src)mirage-crypto-rng is now pinned to file:///home/opam/src (version dev)[mirage-crypto-rng-mkernel.dev] synchronised (file:///home/opam/src)mirage-crypto-rng-mkernel is now pinned to file:///home/opam/src (version dev)[mirage-crypto-rng-mirage.dev] synchronised (file:///home/opam/src)mirage-crypto-rng-mirage is now pinned to file:///home/opam/src (version dev)[mirage-crypto-rng-miou-unix.dev] synchronised (file:///home/opam/src)mirage-crypto-rng-miou-unix is now pinned to file:///home/opam/src (version dev)[mirage-crypto-pk.dev] synchronised (file:///home/opam/src)mirage-crypto-pk is now pinned to file:///home/opam/src (version dev)[mirage-crypto-ec.dev] synchronised (file:///home/opam/src)mirage-crypto-ec is now pinned to file:///home/opam/src (version dev)2026-02-19 09:10.15 ---> using "d9184436860c867be4413f2f04cfacd902cc2b4276d648b72ca1a0e69eaadd99" from cache/: (run (network host)(shell "echo '(lang dune 3.0)' > '/home/opam/src/./dune-project'"))2026-02-19 09:10.15 ---> using "0a35eb38965e152e6a05deb5f6201086b0e313062bc47bdf9e20af38b3b8671c" from cache/: (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-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.1 jsont.0.2.0 logs.0.10.0 lwt.5.9.2 macaddr.5.6.1 miou.0.5.4 mirage-mtime.5.2.0 mirage-runtime.4.10.4 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.0 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"))[WARNING] Unknown update command for bsd, skipping system update<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>[mirage-crypto-pk.dev] synchronised (file:///home/opam/src)[mirage-crypto-ec.dev] synchronised (file:///home/opam/src)[mirage-crypto.dev] synchronised (file:///home/opam/src)[mirage-crypto-rng.dev] synchronised (file:///home/opam/src)[mirage-crypto-rng-miou-unix.dev] synchronised (file:///home/opam/src)[mirage-crypto-rng-mirage.dev] synchronised (file:///home/opam/src)[mirage-crypto-rng-mkernel.dev] synchronised (file:///home/opam/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:gmp<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>+ /usr/bin/doas "pkg_add" "-I" "gmp"- quirks-7.103 signed on 2025-10-13T22:55:16Z# To update the current shell environment, run: eval $(opam env)2026-02-19 09:10.15 ---> using "e2ad6ac134fcb1f848e00de466b74898356905b5533a912b892dff1beb7b4e1f" from cache/: (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 57 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-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.1- install jsont 0.2.0- install logs 0.10.0- install lwt 5.9.2- install macaddr 5.6.1- install miou 0.5.4- install mirage-mtime 5.2.0- install mirage-runtime 4.10.4- 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.0- 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 astring.0.8.5 (cached)-> retrieved asn1-combinators.0.3.2 (cached)-> retrieved alcotest.1.9.1 (cached)-> retrieved bytesrw.0.3.0 (cached)-> retrieved conf-gmp.5 (cached)-> retrieved conf-gmp-powm-sec.4 (cached)-> installed conf-pkg-config.4-> retrieved cmdliner.2.1.0 (cached)-> retrieved csexp.1.5.2 (cached)-> installed conf-gmp.5-> retrieved cppo.1.8.0 (cached)-> retrieved bstr.0.0.4 (cached)-> retrieved domain-name.0.5.0 (cached)-> installed conf-gmp-powm-sec.4-> retrieved duration.0.2.1 (cached)-> retrieved eqaf.0.10 (cached)-> retrieved fmt.0.11.0 (cached)-> retrieved ipaddr.5.6.1, macaddr.5.6.1 (cached)-> retrieved digestif.1.3.0 (cached)-> retrieved jsont.0.2.0 (cached)-> retrieved logs.0.10.0 (cached)-> retrieved lwt.5.9.2 (cached)-> retrieved mirage-mtime.5.2.0 (cached)-> retrieved miou.0.5.4 (https://github.com/robur-coop/miou/releases/download/v0.5.4/miou-0.5.4.tbz)-> retrieved mirage-runtime.4.10.4 (cached)-> retrieved mirage-sleep.4.1.0 (cached)-> retrieved mirage-unix.5.0.1 (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 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 ocaml-src.5.4.0 (cached)-> retrieved ohex.0.2.0 (cached)-> retrieved dune.3.21.1, dune-configurator.3.21.1 (cached)-> retrieved ounit2.2.2.7 (cached)-> retrieved ppx_derivers.1.2.1 (cached)-> retrieved opatch.3.1.0, patch.3.1.0 (cached)-> retrieved ppx_deriving_yojson.3.10.0 (cached)-> retrieved ppx_deriving.6.1.1 (cached)-> retrieved ptime.1.2.0 (cached)-> retrieved randomconv.0.2.0 (cached)-> retrieved seq.base (cached)-> retrieved re.1.14.0 (cached)-> retrieved sexplib0.v0.17.0 (cached)-> retrieved ppxlib.0.37.0 (cached)-> retrieved stdlib-shims.0.3.0 (cached)-> retrieved solo5.0.10.0 (cached)-> retrieved uutf.1.0.4 (cached)-> retrieved topkg.1.1.1 (cached)-> retrieved zarith.1.14 (cached)-> retrieved yojson.3.0.0 (cached)-> installed ocamlbuild.0.16.1-> installed ocamlfind.1.9.8-> installed base-bytes.base-> installed cmdliner.2.1.0-> installed ocaml-src.5.4.0-> installed seq.base-> installed topkg.1.1.1-> installed zarith.1.14-> installed astring.0.8.5-> installed solo5.0.10.0-> 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 jsont.0.2.0-> installed dune.3.21.1-> installed bstr.0.0.4-> installed asn1-combinators.0.3.2-> installed csexp.1.5.2-> installed cppo.1.8.0-> installed duration.0.2.1-> installed domain-name.0.5.0-> installed macaddr.5.6.1-> installed eqaf.0.10-> installed mirage-mtime.5.2.0-> installed ipaddr.5.6.1-> installed dune-configurator.3.21.1-> installed ocaml-compiler-libs.v0.17.0-> installed ocaml-syntax-shims.1.0.0-> installed ocplib-endian.1.2-> installed digestif.1.3.0-> installed ohex.0.2.0-> installed patch.3.1.0-> installed miou.0.5.4-> installed ppx_derivers.1.2.1-> installed randomconv.0.2.0-> installed opatch.3.1.0-> installed sexplib0.v0.17.0-> installed re.1.14.0-> installed stdlib-shims.0.3.0-> installed lwt.5.9.2-> installed yojson.3.0.0-> installed alcotest.1.9.1-> installed mirage-sleep.4.1.0-> installed logs.0.10.0-> installed ounit2.2.2.7-> installed mirage-runtime.4.10.4-> 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-02-19 09:10.15 ---> using "e792950117d802f6e490a0f1b8b85922c5497b17618683bd6044a631c6a2e96d" from cache/: (copy (src .) (dst /home/opam/src))2026-02-19 09:10.15 ---> using "6e9b31fff861badf6cd7cc3765cf2a4c45185d9f8b4ff606ba38ce6905c3d2ca" from cache/: (run (shell "cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))(cd _build/default/tests && ./test_entropy.exe)test entropy OK(cd _build/default/tests && ./test_symmetric_runner.exe)accel: XOR AES GHASH................................................................Ran: 64 tests in: 0.15 seconds.OK(cd _build/default/tests && ./test_entropy_collection.exe)reseeding:000000 0008 4c47 aefd 13b7 6197 0108 05a8 b2c9 ..LG....a.......000010 caae e2f0 02c8 ea55 ce59 195d 1a5f 7864 .......U.Y.]._xd000020 6b65 f967 bf6e 8173 8179 307c b17c 0d7e ke.g.n.s.y0|.|.~000030 a081 8584 9685 6688 4789 968b b791 c994 ......f.G.......000040 4696 3f9a 269e e6a1 3da5 7aa7 6ead ffaf F.?.&...=.z.n...000050 ceb6 a5bb e1c1 29c5 48c7 e8cc 9ece 24d3 ......).H.....$.000060 85d8 96d9 63dc 3edd 7edf 78e5 18e8 69e8 ....c.>.~.x...i.000070 50e9 abeb f0f1 56f5 baf7 17fe c201 da04 P.....V.........000080 7b06 c20a 870f 9015 5418 1119 031b 3420 {.......T.....4000090 c120 2922 f825 6a29 ec2b 9d32 2037 843c . )".%j).+.2 7.<0000a0 893d 4d40 fe40 cc42 a047 d64d 0c51 0153 .=M@.@.B.G.M.Q.S0000b0 2658 9e58 d359 035d e35e e163 7a6a ca6e &X.X.Y.].^.czj.n0000c0 9b73 bf79 d47c 637e 8682 e886 e68b 8e92 .s.y.|c~........0000d0 fc96 219c 8a9c a19d 7da0 82a1 31a4 0308 ..!.....}...1...0000e0 c6fb 61f2 6297 abc6 ..a.b...accumulate: (src: [0] rdrand) 1936 f56f 9b3d 6b58entropy sources: [0] rdrand [1] timeraccumulate: (src: [1] timer) a47f 07a3accumulate: (src: [0] rdrand) 5ad0 ef2d e092 c8a1accumulate: (src: [1] timer) 0c2e f2a0accumulate: (src: [0] rdrand) 9f0c 351c 49ac 34b1accumulate: (src: [1] timer) bcaf 4730(cd _build/default/tests && ./test_random_runner.exe).........Ran: 9 tests in: 0.15 seconds.OK(cd _build/default/tests && ./test_miou_entropy_collection.exe)reseeding:000000 0008 b0d9 ec80 7ed1 93b0 01c8 1c5c 445e ......~......\D^000010 4c68 146a f472 5c7f 5c8d 6493 84a1 2ca8 Lh.j.r\.\.d...,.000020 6ca9 b4af 14bf fccb 7cdc 04df a4eb ccfa l.......|.......000030 8c06 5c11 5c17 5c25 5c2b 6439 843f 244e ..\.\.\%\+d9.?$N000040 4457 ec64 2c69 6c6e ac78 f47b 548c 348e DW.d,iln.x.{T.4.000050 9497 7ca6 fcb0 7cb5 fcbb 84cc 24cf 44dc ..|...|.....$.D.000060 e4dd 0ce6 ccee 8cfa 4c05 140b f417 5428 ........L.....T(000070 342a 9c33 9c42 9c4d 9c54 a457 c466 6472 4*.3.B.M.T.W.fdr000080 847c 2c7f 6c8c ac8e ec99 34a2 94ab 74ba .|,.l.....4...t.000090 d4c4 bcc8 3ccc bccd 3cd5 c4da 64e6 84f0 ....<...<...d...0000a0 24f3 4c00 0c02 cc0a 8c16 5421 3427 9434 $.L.......T!4'.40000b0 7437 dc45 dc4d dc55 dc5d e465 046e a476 t7.E.M.U.].e.n.v0000c0 c481 6c89 ac8f ec9e 2cab 74b8 d4ba b4c6 ..l.....,.t.....0000d0 14d2 fcda 0208 760f 7fcd 7e7a 5e92 0380 ......v...~z^...0000e0 a6af 802e 675d 945c a062 2394 4982 487f ....g].\.b#.I.H.0000f0 296f 23b2 56e8 2c24 b3bf e76e e7d3 05d9 )o#.V.,$...n....000100 cd5a 14b0 3b58 c1b9 ce9b 8918 7d3e af60 .Z..;X......}>.`000110 f60e dfce d05e f66c f32b d679 5ec1 c2ac .....^.l.+.y^...000120 c976 a4fe 5bed 2993 66cd b3aa 4a8d c0bf .v..[.).f...J...000130 7d0c 7a64 abd1 bc25 5b3a aeed fe4c 642b }.zd...%[:...Ld+000140 f5bd d7d1 0682 3ace 15e8 14ae 1e8c b56d ......:........m000150 f3d8 a091 2f02 bb74 f35f c678 baa7 1efe ..../..t._.x....entropy sources:accumulate: (src: [0] rdrand) 6906 e7b4 a7a1 3ef8accumulate: (src: [1] getrandom) c8a6 491a c38d 0952accumulate: (src: [0] rdrand) 006f 7521 ee84 dd1f(cd _build/default/tests && ./test_miou_rng.exe)32 bit random number: d2107bcbaf4a01eae3907492dc77c5d2625709e10ebdca25c376a5180696843b16 bit random number: cd57ae725e90ac75820504daaccd79a6(cd _build/default/tests && ./test_ec.exe)Testing `EC'.This run has ID `UQB9CA23'.[OK] P256 Key exchange 0 b*A.[OK] P256 Key exchange 1 a*B.[OK] P256 Key exchange 2 a*A.[OK] P256 Key exchange 3 b*B.[OK] P256 Low level scalar mult 0 Scalar mu...[OK] P256 Low level scalar mult 1 Scalar mu...[OK] P256 Low level scalar mult 2 Scalar mu...[OK] P256 Low level scalar mult 3 Scalar mu...[OK] P256 Low level scalar mult 4 Scalar mu...[OK] P256 Low level scalar mult 5 Scalar mu...[OK] P256 Point validation 0 Ok.[OK] P256 Point validation 1 P=0.[OK] P256 Point validation 2 (0, sqrt(...[OK] P256 Point validation 3 out of ra...[OK] P256 Scalar validation when generating 0 0.[OK] P256 Scalar validation when generating 1 1.[OK] P256 Scalar validation when generating 2 n-1.[OK] P256 Scalar validation when generating 3 n.[OK] ECDSA NIST 0 ECDSA gen.[OK] ECDSA NIST 1 ECDSA sign.[OK] ECDSA NIST 2 ECDSA ver...[OK] ECDSA RFC 6979 P256 0 public ke...[OK] ECDSA RFC 6979 P256 1 public ke...[OK] ECDSA RFC 6979 P256 2 RFC 6979 ...[OK] ECDSA RFC 6979 P256 3 RFC 6979 ...[OK] ECDSA RFC 6979 P256 4 RFC 6979 ...[OK] ECDSA RFC 6979 P256 5 RFC 6979 ...[OK] ECDSA RFC 6979 P256 6 RFC 6979 ...[OK] ECDSA RFC 6979 P256 7 RFC 6979 ...[OK] ECDSA RFC 6979 P256 8 RFC 6979 ...[OK] ECDSA RFC 6979 P256 9 RFC 6979 ...[OK] ECDSA RFC 6979 P256 10 RFC 6979 ...[OK] ECDSA RFC 6979 P256 11 RFC 6979 ...[OK] ECDSA RFC 6979 P384 0 public ke...[OK] ECDSA RFC 6979 P384 1 public ke...[OK] ECDSA RFC 6979 P384 2 RFC 6979 ...[OK] ECDSA RFC 6979 P384 3 RFC 6979 ...[OK] ECDSA RFC 6979 P384 4 RFC 6979 ...[OK] ECDSA RFC 6979 P384 5 RFC 6979 ...[OK] ECDSA RFC 6979 P384 6 RFC 6979 ...[OK] ECDSA RFC 6979 P384 7 RFC 6979 ...[OK] ECDSA RFC 6979 P384 8 RFC 6979 ...[OK] ECDSA RFC 6979 P384 9 RFC 6979 ...[OK] ECDSA RFC 6979 P384 10 RFC 6979 ...[OK] ECDSA RFC 6979 P384 11 RFC 6979 ...[OK] ECDSA RFC 6979 P521 0 public ke...[OK] ECDSA RFC 6979 P521 1 public ke...[OK] ECDSA RFC 6979 P521 2 RFC 6979 ...[OK] ECDSA RFC 6979 P521 3 RFC 6979 ...[OK] ECDSA RFC 6979 P521 4 RFC 6979 ...[OK] ECDSA RFC 6979 P521 5 RFC 6979 ...[OK] ECDSA RFC 6979 P521 6 RFC 6979 ...[OK] ECDSA RFC 6979 P521 7 RFC 6979 ...[OK] ECDSA RFC 6979 P521 8 RFC 6979 ...[OK] ECDSA RFC 6979 P521 9 RFC 6979 ...[OK] ECDSA RFC 6979 P521 10 RFC 6979 ...[OK] ECDSA RFC 6979 P521 11 RFC 6979 ...[OK] X25519 0 RFC 7748.[OK] ED25519 0 RFC 8032 1.[OK] ED25519 1 RFC 8032 2.[OK] ED25519 2 RFC 8032 3.[OK] ED25519 3 RFC 8032 4.[OK] ED25519 4 RFC 8032 5.[OK] ECDSA P521 regression 0 regreesion1.Full test results in `~/src/_build/default/tests/_build/_tests/EC'.Test Successful in 0.183s. 64 tests run.(cd _build/default/tests && ./test_pk_runner.exe).......................................................................................................................................................................................................................................................................................................................................................................Ran: 359 tests in: 1.91 seconds.OK(cd _build/default/tests && ./test_ec_wycheproof.exe)Testing `Wycheproof NIST curves'.This run has ID `BL56S65F'.[OK] ECDH P256 test vectors 0 1 - normal case.[OK] ECDH P256 test vectors 1 2 - compressed ...[OK] ECDH P256 test vectors 2 3 - edge case f...[OK] ECDH P256 test vectors 3 4 - edge case f...[OK] ECDH P256 test vectors 4 5 - edge case f...[OK] ECDH P256 test vectors 5 6 - edge case f...[OK] ECDH P256 test vectors 6 7 - edge case f...[OK] ECDH P256 test vectors 7 8 - edge case f...[OK] ECDH P256 test vectors 8 9 - edge case f...[OK] ECDH P256 test vectors 9 10 - edge case ...[OK] ECDH P256 test vectors 10 11 - edge case ...[OK] ECDH P256 test vectors 11 12 - edge case ...[OK] ECDH P256 test vectors 12 13 - edge case ...[OK] ECDH P256 test vectors 13 14 - edge case ...[OK] ECDH P256 test vectors 14 15 - edge case ...[OK] ECDH P256 test vectors 15 16 - edge case ...[OK] ECDH P256 test vectors 16 17 - edge case ...[OK] ECDH P256 test vectors 17 18 - edge case ...[OK] ECDH P256 test vectors 18 19 - y-coordina...[OK] ECDH P256 test vectors 19 20 - y-coordina...[OK] ECDH P256 test vectors 20 21 - y-coordina...[OK] ECDH P256 test vectors 21 22 - y-coordina...[OK] ECDH P256 test vectors 22 23 - y-coordina...[OK] ECDH P256 test vectors 23 24 - y-coordina...[OK] ECDH P256 test vectors 24 25 - y-coordina...[OK] ECDH P256 test vectors 25 26 - y-coordina...[OK] ECDH P256 test vectors 26 27 - y-coordina...[OK] ECDH P256 test vectors 27 28 - y-coordina...[OK] ECDH P256 test vectors 28 29 - y-coordina...[OK] ECDH P256 test vectors 29 30 - y-coordina...[OK] ECDH P256 test vectors 30 31 - edge cases...[OK] ECDH P256 test vectors 31 32 - edge cases...[OK] ECDH P256 test vectors 32 33 - edge cases...[OK] ECDH P256 test vectors 33 34 - edge cases...[OK] ECDH P256 test vectors 34 35 - edge cases...[OK] ECDH P256 test vectors 35 36 - edge cases...[OK] ECDH P256 test vectors 36 37 - edge cases...[OK] ECDH P256 test vectors 37 38 - edge cases...[OK] ECDH P256 test vectors 38 39 - edge cases...[OK] ECDH P256 test vectors 39 40 - edge cases...[OK] ECDH P256 test vectors 40 41 - edge cases...[OK] ECDH P256 test vectors 41 42 - edge cases...[OK] ECDH P256 test vectors 42 43 - edge cases...[OK] ECDH P256 test vectors 43 44 - edge cases...[OK] ECDH P256 test vectors 44 45 - edge cases...[OK] ECDH P256 test vectors 45 46 - edge cases...[OK] ECDH P256 test vectors 46 47 - edge cases...[OK] ECDH P256 test vectors 47 48 - edge cases...[OK] ECDH P256 test vectors 48 49 - edge cases...[OK] ECDH P256 test vectors 49 50 - edge cases...[OK] ECDH P256 test vectors 50 51 - edge cases...[OK] ECDH P256 test vectors 51 52 - edge cases...[OK] ECDH P256 test vectors 52 53 - edge cases...[OK] ECDH P256 test vectors 53 54 - edge cases...[OK] ECDH P256 test vectors 54 55 - edge cases...[OK] ECDH P256 test vectors 55 56 - edge cases...[OK] ECDH P256 test vectors 56 57 - edge cases...[OK] ECDH P256 test vectors 57 58 - edge cases...[OK] ECDH P256 test vectors 58 59 - point with...[OK] ECDH P256 test vectors 59 60 - point with...[OK] ECDH P256 test vectors 60 61 - point with...[OK] ECDH P256 test vectors 61 62 - point with...[OK] ECDH P256 test vectors 62 63 - point with...[OK] ECDH P256 test vectors 63 64 - point with...[OK] ECDH P256 test vectors 64 65 - point with...[OK] ECDH P256 test vectors 65 66 - point with...[OK] ECDH P256 test vectors 66 67 - point with...[OK] ECDH P256 test vectors 67 68 - point with...[OK] ECDH P256 test vectors 68 69 - point with...[OK] ECDH P256 test vectors 69 70 - point with...[OK] ECDH P256 test vectors 70 71 - point with...[OK] ECDH P256 test vectors 71 72 - point with...[OK] ECDH P256 test vectors 72 73 - point with...[OK] ECDH P256 test vectors 73 74 - point with...[OK] ECDH P256 test vectors 74 75 - point with...[OK] ECDH P256 test vectors 75 76 - point with...[OK] ECDH P256 test vectors 76 77 - point with...[OK] ECDH P256 test vectors 77 78 - point with...[OK] ECDH P256 test vectors 78 79 - point with...[OK] ECDH P256 test vectors 79 80 - point with...[OK] ECDH P256 test vectors 80 81 - point with...[OK] ECDH P256 test vectors 81 82 - point with...[OK] ECDH P256 test vectors 82 83 - point with...[OK] ECDH P256 test vectors 83 84 - point with...[OK] ECDH P256 test vectors 84 85 - point with...[OK] ECDH P256 test vectors 85 86 - point with...[OK] ECDH P256 test vectors 86 87 - point with...[OK] ECDH P256 test vectors 87 88 - point with...[OK] ECDH P256 test vectors 88 89 - point with...[OK] ECDH P256 test vectors 89 90 - point with...[OK] ECDH P256 test vectors 90 91 - point with...[OK] ECDH P256 test vectors 91 92 - point with...[OK] ECDH P256 test vectors 92 93 - point with...[OK] ECDH P256 test vectors 93 94 - point with...[OK] ECDH P256 test vectors 94 95 - point with...[OK] ECDH P256 test vectors 95 96 - point with...[OK] ECDH P256 test vectors 96 97 - point with...[OK] ECDH P256 test vectors 97 98 - point with...[OK] ECDH P256 test vectors 98 99 - point with...[OK] ECDH P256 test vectors 99 100 - point wit...[OK] ECDH P256 test vectors 100 101 - point wit...[OK] ECDH P256 test vectors 101 102 - point wit...[OK] ECDH P256 test vectors 102 103 - point wit...[OK] ECDH P256 test vectors 103 104 - point wit...[OK] ECDH P256 test vectors 104 105 - point wit...[OK] ECDH P256 test vectors 105 106 - point wit...[OK] ECDH P256 test vectors 106 107 - point wit...[OK] ECDH P256 test vectors 107 108 - point wit...[OK] ECDH P256 test vectors 108 109 - point wit...[OK] ECDH P256 test vectors 109 110 - point wit...[OK] ECDH P256 test vectors 110 111 - point wit...[OK] ECDH P256 test vectors 111 112 - point wit...[OK] ECDH P256 test vectors 112 113 - point wit...[OK] ECDH P256 test vectors 113 114 - point wit...[OK] ECDH P256 test vectors 114 115 - point wit...[OK] ECDH P256 test vectors 115 116 - point wit...[OK] ECDH P256 test vectors 116 117 - point wit...[OK] ECDH P256 test vectors 117 118 - point wit...[OK] ECDH P256 test vectors 118 119 - point wit...[OK] ECDH P256 test vectors 119 120 - point wit...[OK] ECDH P256 test vectors 120 121 - point wit...[OK] ECDH P256 test vectors 121 122 - point wit...[OK] ECDH P256 test vectors 122 123 - point wit...[OK] ECDH P256 test vectors 123 124 - point wit...[OK] ECDH P256 test vectors 124 125 - point wit...[OK] ECDH P256 test vectors 125 126 - point wit...[OK] ECDH P256 test vectors 126 127 - point wit...[OK] ECDH P256 test vectors 127 128 - point wit...[OK] ECDH P256 test vectors 128 129 - point wit...[OK] ECDH P256 test vectors 129 130 - point wit...[OK] ECDH P256 test vectors 130 131 - point wit...[OK] ECDH P256 test vectors 131 132 - point wit...[OK] ECDH P256 test vectors 132 133 - point wit...[OK] ECDH P256 test vectors 133 134 - point wit...[OK] ECDH P256 test vectors 134 135 - point wit...[OK] ECDH P256 test vectors 135 136 - point wit...[OK] ECDH P256 test vectors 136 137 - point wit...[OK] ECDH P256 test vectors 137 138 - point wit...[OK] ECDH P256 test vectors 138 139 - point wit...[OK] ECDH P256 test vectors 139 140 - point wit...[OK] ECDH P256 test vectors 140 141 - point wit...[OK] ECDH P256 test vectors 141 142 - point wit...[OK] ECDH P256 test vectors 142 143 - point wit...[OK] ECDH P256 test vectors 143 144 - point wit...[OK] ECDH P256 test vectors 144 145 - point wit...[OK] ECDH P256 test vectors 145 146 - point wit...[OK] ECDH P256 test vectors 146 147 - point wit...[OK] ECDH P256 test vectors 147 148 - point wit...[OK] ECDH P256 test vectors 148 149 - point wit...[OK] ECDH P256 test vectors 149 150 - point wit...[OK] ECDH P256 test vectors 150 151 - point wit...[OK] ECDH P256 test vectors 151 152 - point wit...[OK] ECDH P256 test vectors 152 153 - point wit...[OK] ECDH P256 test vectors 153 154 - point wit...[OK] ECDH P256 test vectors 154 155 - point wit...[OK] ECDH P256 test vectors 155 156 - point wit...[OK] ECDH P256 test vectors 156 157 - point wit...[OK] ECDH P256 test vectors 157 158 - point wit...[OK] ECDH P256 test vectors 158 159 - point wit...[OK] ECDH P256 test vectors 159 160 - point wit...[OK] ECDH P256 test vectors 160 161 - point wit...[OK] ECDH P256 test vectors 161 162 - point wit...[OK] ECDH P256 test vectors 162 163 - point wit...[OK] ECDH P256 test vectors 163 164 - point wit...[OK] ECDH P256 test vectors 164 165 - point wit...[OK] ECDH P256 test vectors 165 166 - point wit...[OK] ECDH P256 test vectors 166 167 - point wit...[OK] ECDH P256 test vectors 167 168 - point wit...[OK] ECDH P256 test vectors 168 169 - point wit...[OK] ECDH P256 test vectors 169 170 - point wit...[OK] ECDH P256 test vectors 170 171 - point wit...[OK] ECDH P256 test vectors 171 172 - point wit...[OK] ECDH P256 test vectors 172 173 - point wit...[OK] ECDH P256 test vectors 173 174 - point wit...[OK] ECDH P256 test vectors 174 175 - point wit...[OK] ECDH P256 test vectors 175 176 - edge case...[OK] ECDH P256 test vectors 176 177 - edge case...[OK] ECDH P256 test vectors 177 178 - edge case...[OK] ECDH P256 test vectors 178 179 - edge case...[OK] ECDH P256 test vectors 179 180 - edge case...[OK] ECDH P256 test vectors 180 181 - edge case...[OK] ECDH P256 test vectors 181 182 - edge case...[OK] ECDH P256 test vectors 182 183 - edge case...[OK] ECDH P256 test vectors 183 184 - edge case...[OK] ECDH P256 test vectors 184 185 - edge case...[OK] ECDH P256 test vectors 185 186 - edge case...[OK] ECDH P256 test vectors 186 187 - edge case...[OK] ECDH P256 test vectors 187 188 - edge case...[OK] ECDH P256 test vectors 188 189 - edge case...[OK] ECDH P256 test vectors 189 190 - edge case...[OK] ECDH P256 test vectors 190 191 - CVE-2017-...[OK] ECDH P256 test vectors 191 192 - CVE-2017-...[OK] ECDH P256 test vectors 192 193 - point is ...[OK] ECDH P256 test vectors 193 194 - point is ...[OK] ECDH P256 test vectors 194 195 - point is ...[OK] ECDH P256 test vectors 195 196 - point is ...[OK] ECDH P256 test vectors 196 197 - point is ...[OK] ECDH P256 test vectors 197 198 - point is ...[OK] ECDH P256 test vectors 198 199 - point is ...[OK] ECDH P256 test vectors 199 200 - point is ...[OK] ECDH P256 test vectors 200 201 - point is ...[OK] ECDH P256 test vectors 201 202 - point is ...[OK] ECDH P256 test vectors 202 203 - point is ...[OK] ECDH P256 test vectors 203 204 - point is ...[OK] ECDH P256 test vectors 204 205 - point is ...[OK] ECDH P256 test vectors 205 206 - point is ...[OK] ECDH P256 test vectors 206 207 - point is ...[OK] ECDH P256 test vectors 207 208 - point is ...[OK] ECDH P256 test vectors 208 209 - .[OK] ECDH P256 test vectors 209 210 - public po...[OK] ECDH P256 test vectors 210 211 - public po...[OK] ECDH P256 test vectors 211 224 - using sec...[OK] ECDH P256 test vectors 212 225 - using sec...[OK] ECDH P256 test vectors 213 228 - Public ke...[OK] ECDH P256 test vectors 214 229 - Public ke...[OK] ECDH P256 test vectors 215 230 - Public ke...[OK] ECDH P256 test vectors 216 231 - Public ke...[OK] ECDH P256 test vectors 217 232 - Public ke...[OK] ECDH P256 test vectors 218 233 - Public ke...[OK] ECDH P256 test vectors 219 234 - Public ke...[OK] ECDH P256 test vectors 220 235 - Public ke...[OK] ECDH P256 test vectors 221 236 - Public ke...[OK] ECDH P256 test vectors 222 237 - Public ke...[OK] ECDH P256 test vectors 223 238 - Public ke...[OK] ECDH P256 test vectors 224 239 - Public ke...[OK] ECDH P256 test vectors 225 240 - Public ke...[OK] ECDH P256 test vectors 226 241 - Public ke...[OK] ECDH P256 test vectors 227 242 - Public ke...[OK] ECDH P256 test vectors 228 243 - invalid p...[OK] ECDH P256 test vectors 229 244 - public ke...[OK] ECDH P256 test vectors 230 245 - public ke...[OK] ECDH P256 test vectors 231 246 - public ke...[OK] ECDH P256 test vectors 232 247 - public ke...[OK] ECDH P256 test vectors 233 248 - public ke...[OK] ECDH P256 test vectors 234 249 - public ke...[OK] ECDSA P256 test vectors (SHA256) 0 1 - signature m...[OK] ECDSA P256 test vectors (SHA256) 1 2 - Legacy:ASN ...[OK] ECDSA P256 test vectors (SHA256) 2 3 - valid.[OK] ECDSA P256 test vectors (SHA256) 3 4 - long form e...[OK] ECDSA P256 test vectors (SHA256) 4 5 - length of s...[OK] ECDSA P256 test vectors (SHA256) 5 6 - wrong lengt...[OK] ECDSA P256 test vectors (SHA256) 6 7 - wrong lengt...[OK] ECDSA P256 test vectors (SHA256) 7 8 - uint32 over...[OK] ECDSA P256 test vectors (SHA256) 8 9 - uint64 over...[OK] ECDSA P256 test vectors (SHA256) 9 10 - length of ...[OK] ECDSA P256 test vectors (SHA256) 10 11 - length of ...[OK] ECDSA P256 test vectors (SHA256) 11 12 - length of ...[OK] ECDSA P256 test vectors (SHA256) 12 13 - length of ...[OK] ECDSA P256 test vectors (SHA256) 13 14 - incorrect ...[OK] ECDSA P256 test vectors (SHA256) 14 15 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 15 16 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 16 17 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 17 18 - removing s...[OK] ECDSA P256 test vectors (SHA256) 18 19 - lonely seq...[OK] ECDSA P256 test vectors (SHA256) 19 20 - appending ...[OK] ECDSA P256 test vectors (SHA256) 20 21 - prepending...[OK] ECDSA P256 test vectors (SHA256) 21 22 - appending ...[OK] ECDSA P256 test vectors (SHA256) 22 23 - appending ...[OK] ECDSA P256 test vectors (SHA256) 23 24 - including ...[OK] ECDSA P256 test vectors (SHA256) 24 25 - including ...[OK] ECDSA P256 test vectors (SHA256) 25 26 - including ...[OK] ECDSA P256 test vectors (SHA256) 26 27 - including ...[OK] ECDSA P256 test vectors (SHA256) 27 28 - including ...[OK] ECDSA P256 test vectors (SHA256) 28 29 - including ...[OK] ECDSA P256 test vectors (SHA256) 29 30 - including ...[OK] ECDSA P256 test vectors (SHA256) 30 31 - including ...[OK] ECDSA P256 test vectors (SHA256) 31 32 - including ...[OK] ECDSA P256 test vectors (SHA256) 32 33 - including ...[OK] ECDSA P256 test vectors (SHA256) 33 34 - including ...[OK] ECDSA P256 test vectors (SHA256) 34 35 - including ...[OK] ECDSA P256 test vectors (SHA256) 35 36 - including ...[OK] ECDSA P256 test vectors (SHA256) 36 37 - including ...[OK] ECDSA P256 test vectors (SHA256) 37 38 - including ...[OK] ECDSA P256 test vectors (SHA256) 38 39 - truncated ...[OK] ECDSA P256 test vectors (SHA256) 39 40 - using comp...[OK] ECDSA P256 test vectors (SHA256) 40 41 - using comp...[OK] ECDSA P256 test vectors (SHA256) 41 42 - using comp...[OK] ECDSA P256 test vectors (SHA256) 42 43 - using comp...[OK] ECDSA P256 test vectors (SHA256) 43 44 - using comp...[OK] ECDSA P256 test vectors (SHA256) 44 45 - using comp...[OK] ECDSA P256 test vectors (SHA256) 45 46 - Replacing ...[OK] ECDSA P256 test vectors (SHA256) 46 47 - changing t...[OK] ECDSA P256 test vectors (SHA256) 47 48 - changing t...[OK] ECDSA P256 test vectors (SHA256) 48 49 - changing t...[OK] ECDSA P256 test vectors (SHA256) 49 50 - changing t...[OK] ECDSA P256 test vectors (SHA256) 50 51 - changing t...[OK] ECDSA P256 test vectors (SHA256) 51 52 - dropping v...[OK] ECDSA P256 test vectors (SHA256) 52 53 - using comp...[OK] ECDSA P256 test vectors (SHA256) 53 54 - truncated ...[OK] ECDSA P256 test vectors (SHA256) 54 55 - truncated ...[OK] ECDSA P256 test vectors (SHA256) 55 56 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 56 57 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 57 58 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 58 59 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 59 60 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 60 61 - indefinite...[OK] ECDSA P256 test vectors (SHA256) 61 62 - prepend em...[OK] ECDSA P256 test vectors (SHA256) 62 63 - append emp...[OK] ECDSA P256 test vectors (SHA256) 63 64 - append gar...[OK] ECDSA P256 test vectors (SHA256) 64 65 - sequence o...[OK] ECDSA P256 test vectors (SHA256) 65 66 - truncated ...[OK] ECDSA P256 test vectors (SHA256) 66 67 - repeating ...[OK] ECDSA P256 test vectors (SHA256) 67 68 - long form ...[OK] ECDSA P256 test vectors (SHA256) 68 69 - long form ...[OK] ECDSA P256 test vectors (SHA256) 69 70 - length of ...[OK] ECDSA P256 test vectors (SHA256) 70 71 - length of ...[OK] ECDSA P256 test vectors (SHA256) 71 72 - wrong leng...[OK] ECDSA P256 test vectors (SHA256) 72 73 - wrong leng...[OK] ECDSA P256 test vectors (SHA256) 73 74 - wrong leng...[OK] ECDSA P256 test vectors (SHA256) 74 75 - wrong leng...[OK] ECDSA P256 test vectors (SHA256) 75 76 - uint32 ove...[OK] ECDSA P256 test vectors (SHA256) 76 77 - uint32 ove...[OK] ECDSA P256 test vectors (SHA256) 77 78 - uint64 ove...[OK] ECDSA P256 test vectors (SHA256) 78 79 - uint64 ove...[OK] ECDSA P256 test vectors (SHA256) 79 80 - length of ...[OK] ECDSA P256 test vectors (SHA256) 80 81 - length of ...[OK] ECDSA P256 test vectors (SHA256) 81 82 - length of ...[OK] ECDSA P256 test vectors (SHA256) 82 83 - length of ...[OK] ECDSA P256 test vectors (SHA256) 83 84 - length of ...[OK] ECDSA P256 test vectors (SHA256) 84 85 - length of ...[OK] ECDSA P256 test vectors (SHA256) 85 86 - length of ...[OK] ECDSA P256 test vectors (SHA256) 86 87 - length of ...[OK] ECDSA P256 test vectors (SHA256) 87 88 - incorrect ...[OK] ECDSA P256 test vectors (SHA256) 88 89 - incorrect ...[OK] ECDSA P256 test vectors (SHA256) 89 90 - removing i...[OK] ECDSA P256 test vectors (SHA256) 90 91 - lonely int...[OK] ECDSA P256 test vectors (SHA256) 91 92 - lonely int...[OK] ECDSA P256 test vectors (SHA256) 92 93 - appending ...[OK] ECDSA P256 test vectors (SHA256) 93 94 - appending ...[OK] ECDSA P256 test vectors (SHA256) 94 95 - prepending...[OK] ECDSA P256 test vectors (SHA256) 95 96 - prepending...[OK] ECDSA P256 test vectors (SHA256) 96 97 - appending ...[OK] ECDSA P256 test vectors (SHA256) 97 98 - appending ...[OK] ECDSA P256 test vectors (SHA256) 98 99 - appending ...[OK] ECDSA P256 test vectors (SHA256) 99 100 - truncated...[OK] ECDSA P256 test vectors (SHA256) 100 101 - truncated...[OK] ECDSA P256 test vectors (SHA256) 101 102 - Replacing...[OK] ECDSA P256 test vectors (SHA256) 102 103 - Replacing...[OK] ECDSA P256 test vectors (SHA256) 103 104 - changing ...[OK] ECDSA P256 test vectors (SHA256) 104 105 - changing ...[OK] ECDSA P256 test vectors (SHA256) 105 106 - changing ...[OK] ECDSA P256 test vectors (SHA256) 106 107 - changing ...[OK] ECDSA P256 test vectors (SHA256) 107 108 - changing ...[OK] ECDSA P256 test vectors (SHA256) 108 109 - changing ...[OK] ECDSA P256 test vectors (SHA256) 109 110 - changing ...[OK] ECDSA P256 test vectors (SHA256) 110 111 - changing ...[OK] ECDSA P256 test vectors (SHA256) 111 112 - changing ...[OK] ECDSA P256 test vectors (SHA256) 112 113 - changing ...[OK] ECDSA P256 test vectors (SHA256) 113 114 - dropping ...[OK] ECDSA P256 test vectors (SHA256) 114 115 - dropping ...[OK] ECDSA P256 test vectors (SHA256) 115 116 - using com...[OK] ECDSA P256 test vectors (SHA256) 116 117 - using com...[OK] ECDSA P256 test vectors (SHA256) 117 118 - modify fi...[OK] ECDSA P256 test vectors (SHA256) 118 119 - modify fi...[OK] ECDSA P256 test vectors (SHA256) 119 120 - modify la...[OK] ECDSA P256 test vectors (SHA256) 120 121 - modify la...[OK] ECDSA P256 test vectors (SHA256) 121 122 - truncated...[OK] ECDSA P256 test vectors (SHA256) 122 123 - truncated...[OK] ECDSA P256 test vectors (SHA256) 123 124 - truncated...[OK] ECDSA P256 test vectors (SHA256) 124 125 - leading f...[OK] ECDSA P256 test vectors (SHA256) 125 126 - leading f...[OK] ECDSA P256 test vectors (SHA256) 126 127 - replaced ...[OK] ECDSA P256 test vectors (SHA256) 127 128 - replaced ...[OK] ECDSA P256 test vectors (SHA256) 128 129 - replacing...[OK] ECDSA P256 test vectors (SHA256) 129 130 - replacing...[OK] ECDSA P256 test vectors (SHA256) 130 131 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 131 132 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 132 133 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 133 134 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 134 135 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 135 136 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 136 137 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 137 138 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 138 139 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 139 140 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 140 141 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 141 142 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 142 143 - Modified ...[OK] ECDSA P256 test vectors (SHA256) 143 144 - Signature...[OK] ECDSA P256 test vectors (SHA256) 144 145 - Signature...[OK] ECDSA P256 test vectors (SHA256) 145 146 - Signature...[OK] ECDSA P256 test vectors (SHA256) 146 147 - Signature...[OK] ECDSA P256 test vectors (SHA256) 147 148 - Signature...[OK] ECDSA P256 test vectors (SHA256) 148 149 - Signature...[OK] ECDSA P256 test vectors (SHA256) 149 150 - Signature...[OK] ECDSA P256 test vectors (SHA256) 150 151 - Signature...[OK] ECDSA P256 test vectors (SHA256) 151 152 - Signature...[OK] ECDSA P256 test vectors (SHA256) 152 153 - Signature...[OK] ECDSA P256 test vectors (SHA256) 153 154 - Signature...[OK] ECDSA P256 test vectors (SHA256) 154 155 - Signature...[OK] ECDSA P256 test vectors (SHA256) 155 156 - Signature...[OK] ECDSA P256 test vectors (SHA256) 156 157 - Signature...[OK] ECDSA P256 test vectors (SHA256) 157 158 - Signature...[OK] ECDSA P256 test vectors (SHA256) 158 159 - Signature...[OK] ECDSA P256 test vectors (SHA256) 159 160 - Signature...[OK] ECDSA P256 test vectors (SHA256) 160 161 - Signature...[OK] ECDSA P256 test vectors (SHA256) 161 162 - Signature...[OK] ECDSA P256 test vectors (SHA256) 162 163 - Signature...[OK] ECDSA P256 test vectors (SHA256) 163 164 - Signature...[OK] ECDSA P256 test vectors (SHA256) 164 165 - Signature...[OK] ECDSA P256 test vectors (SHA256) 165 166 - Signature...[OK] ECDSA P256 test vectors (SHA256) 166 167 - Signature...[OK] ECDSA P256 test vectors (SHA256) 167 168 - Signature...[OK] ECDSA P256 test vectors (SHA256) 168 169 - Signature...[OK] ECDSA P256 test vectors (SHA256) 169 170 - Signature...[OK] ECDSA P256 test vectors (SHA256) 170 171 - Signature...[OK] ECDSA P256 test vectors (SHA256) 171 172 - Signature...[OK] ECDSA P256 test vectors (SHA256) 172 173 - Signature...[OK] ECDSA P256 test vectors (SHA256) 173 174 - Signature...[OK] ECDSA P256 test vectors (SHA256) 174 175 - Signature...[OK] ECDSA P256 test vectors (SHA256) 175 176 - Signature...[OK] ECDSA P256 test vectors (SHA256) 176 177 - Signature...[OK] ECDSA P256 test vectors (SHA256) 177 178 - Signature...[OK] ECDSA P256 test vectors (SHA256) 178 179 - Signature...[OK] ECDSA P256 test vectors (SHA256) 179 180 - Signature...[OK] ECDSA P256 test vectors (SHA256) 180 181 - Signature...[OK] ECDSA P256 test vectors (SHA256) 181 182 - Signature...[OK] ECDSA P256 test vectors (SHA256) 182 183 - Signature...[OK] ECDSA P256 test vectors (SHA256) 183 184 - Signature...[OK] ECDSA P256 test vectors (SHA256) 184 185 - Signature...[OK] ECDSA P256 test vectors (SHA256) 185 186 - Signature...[OK] ECDSA P256 test vectors (SHA256) 186 187 - Signature...[OK] ECDSA P256 test vectors (SHA256) 187 188 - Signature...[OK] ECDSA P256 test vectors (SHA256) 188 189 - Signature...[OK] ECDSA P256 test vectors (SHA256) 189 190 - Signature...[OK] ECDSA P256 test vectors (SHA256) 190 191 - Signature...[OK] ECDSA P256 test vectors (SHA256) 191 192 - Signature...[OK] ECDSA P256 test vectors (SHA256) 192 193 - Signature...[OK] ECDSA P256 test vectors (SHA256) 193 194 - Signature...[OK] ECDSA P256 test vectors (SHA256) 194 195 - Signature...[OK] ECDSA P256 test vectors (SHA256) 195 196 - Signature...[OK] ECDSA P256 test vectors (SHA256) 196 197 - Signature...[OK] ECDSA P256 test vectors (SHA256) 197 198 - Signature...[OK] ECDSA P256 test vectors (SHA256) 198 199 - Signature...[OK] ECDSA P256 test vectors (SHA256) 199 200 - Signature...[OK] ECDSA P256 test vectors (SHA256) 200 201 - Signature...[OK] ECDSA P256 test vectors (SHA256) 201 202 - Signature...[OK] ECDSA P256 test vectors (SHA256) 202 203 - Signature...[OK] ECDSA P256 test vectors (SHA256) 203 204 - Signature...[OK] ECDSA P256 test vectors (SHA256) 204 205 - Signature...[OK] ECDSA P256 test vectors (SHA256) 205 206 - Signature...[OK] ECDSA P256 test vectors (SHA256) 206 207 - Signature...[OK] ECDSA P256 test vectors (SHA256) 207 208 - Signature...[OK] ECDSA P256 test vectors (SHA256) 208 209 - Signature...[OK] ECDSA P256 test vectors (SHA256) 209 210 - Signature...[OK] ECDSA P256 test vectors (SHA256) 210 211 - Signature...[OK] ECDSA P256 test vectors (SHA256) 211 212 - Signature...[OK] ECDSA P256 test vectors (SHA256) 212 213 - Signature...[OK] ECDSA P256 test vectors (SHA256) 213 214 - Signature...[OK] ECDSA P256 test vectors (SHA256) 214 215 - Signature...[OK] ECDSA P256 test vectors (SHA256) 215 216 - Signature...[OK] ECDSA P256 test vectors (SHA256) 216 217 - Signature...[OK] ECDSA P256 test vectors (SHA256) 217 218 - Signature...[OK] ECDSA P256 test vectors (SHA256) 218 219 - Signature...[OK] ECDSA P256 test vectors (SHA256) 219 220 - Signature...[OK] ECDSA P256 test vectors (SHA256) 220 221 - Signature...[OK] ECDSA P256 test vectors (SHA256) 221 222 - Signature...[OK] ECDSA P256 test vectors (SHA256) 222 223 - Signature...[OK] ECDSA P256 test vectors (SHA256) 223 224 - Signature...[OK] ECDSA P256 test vectors (SHA256) 224 225 - Signature...[OK] ECDSA P256 test vectors (SHA256) 225 226 - Signature...[OK] ECDSA P256 test vectors (SHA256) 226 227 - Signature...[OK] ECDSA P256 test vectors (SHA256) 227 228 - Signature...[OK] ECDSA P256 test vectors (SHA256) 228 229 - Signature...[OK] ECDSA P256 test vectors (SHA256) 229 230 - Edge case...[OK] ECDSA P256 test vectors (SHA256) 230 231 - special c...[OK] ECDSA P256 test vectors (SHA256) 231 232 - special c...[OK] ECDSA P256 test vectors (SHA256) 232 233 - special c...[OK] ECDSA P256 test vectors (SHA256) 233 234 - special c...[OK] ECDSA P256 test vectors (SHA256) 234 235 - special c...[OK] ECDSA P256 test vectors (SHA256) 235 236 - special c...[OK] ECDSA P256 test vectors (SHA256) 236 237 - special c...[OK] ECDSA P256 test vectors (SHA256) 237 238 - special c...[OK] ECDSA P256 test vectors (SHA256) 238 239 - special c...[OK] ECDSA P256 test vectors (SHA256) 239 240 - special c...[OK] ECDSA P256 test vectors (SHA256) 240 241 - special c...[OK] ECDSA P256 test vectors (SHA256) 241 242 - special c...[OK] ECDSA P256 test vectors (SHA256) 242 243 - special c...[OK] ECDSA P256 test vectors (SHA256) 243 244 - special c...[OK] ECDSA P256 test vectors (SHA256) 244 245 - special c...[OK] ECDSA P256 test vectors (SHA256) 245 246 - special c...[OK] ECDSA P256 test vectors (SHA256) 246 247 - special c...[OK] ECDSA P256 test vectors (SHA256) 247 248 - special c...[OK] ECDSA P256 test vectors (SHA256) 248 249 - special c...[OK] ECDSA P256 test vectors (SHA256) 249 250 - special c...[OK] ECDSA P256 test vectors (SHA256) 250 251 - special c...[OK] ECDSA P256 test vectors (SHA256) 251 252 - special c...[OK] ECDSA P256 test vectors (SHA256) 252 253 - special c...[OK] ECDSA P256 test vectors (SHA256) 253 254 - special c...[OK] ECDSA P256 test vectors (SHA256) 254 255 - special c...[OK] ECDSA P256 test vectors (SHA256) 255 256 - special c...[OK] ECDSA P256 test vectors (SHA256) 256 257 - special c...[OK] ECDSA P256 test vectors (SHA256) 257 258 - special c...[OK] ECDSA P256 test vectors (SHA256) 258 259 - special c...[OK] ECDSA P256 test vectors (SHA256) 259 260 - special c...[OK] ECDSA P256 test vectors (SHA256) 260 261 - special c...[OK] ECDSA P256 test vectors (SHA256) 261 262 - special c...[OK] ECDSA P256 test vectors (SHA256) 262 263 - special c...[OK] ECDSA P256 test vectors (SHA256) 263 264 - special c...[OK] ECDSA P256 test vectors (SHA256) 264 265 - special c...[OK] ECDSA P256 test vectors (SHA256) 265 266 - special c...[OK] ECDSA P256 test vectors (SHA256) 266 267 - special c...[OK] ECDSA P256 test vectors (SHA256) 267 268 - special c...[OK] ECDSA P256 test vectors (SHA256) 268 269 - special c...[OK] ECDSA P256 test vectors (SHA256) 269 270 - special c......TRUNCATED BY DUNE...[OK] X25519 test vectors 157 158 - special c...[OK] X25519 test vectors 158 159 - special c...[OK] X25519 test vectors 159 160 - special c...[OK] X25519 test vectors 160 161 - special c...[OK] X25519 test vectors 161 162 - special c...[OK] X25519 test vectors 162 163 - special c...[OK] X25519 test vectors 163 164 - special c...[OK] X25519 test vectors 164 165 - D = 0 in ...[OK] X25519 test vectors 165 166 - D = 0 in ...[OK] X25519 test vectors 166 167 - special c...[OK] X25519 test vectors 167 168 - special c...[OK] X25519 test vectors 168 169 - special c...[OK] X25519 test vectors 169 170 - special c...[OK] X25519 test vectors 170 171 - special c...[OK] X25519 test vectors 171 172 - special c...[OK] X25519 test vectors 172 173 - special c...[OK] X25519 test vectors 173 174 - special c...[OK] X25519 test vectors 174 175 - special c...[OK] X25519 test vectors 175 176 - special c...[OK] X25519 test vectors 176 177 - special c...[OK] X25519 test vectors 177 178 - special c...[OK] X25519 test vectors 178 179 - special c...[OK] X25519 test vectors 179 180 - special c...[OK] X25519 test vectors 180 181 - special c...[OK] X25519 test vectors 181 182 - special c...[OK] X25519 test vectors 182 183 - special c...[OK] X25519 test vectors 183 184 - special c...[OK] X25519 test vectors 184 185 - special c...[OK] X25519 test vectors 185 186 - special c...[OK] X25519 test vectors 186 187 - special c...[OK] X25519 test vectors 187 188 - special c...[OK] X25519 test vectors 188 189 - special c...[OK] X25519 test vectors 189 190 - special c...[OK] X25519 test vectors 190 191 - special c...[OK] X25519 test vectors 191 192 - special c...[OK] X25519 test vectors 192 193 - special c...[OK] X25519 test vectors 193 194 - special c...[OK] X25519 test vectors 194 195 - special c...[OK] X25519 test vectors 195 196 - special c...[OK] X25519 test vectors 196 197 - special c...[OK] X25519 test vectors 197 198 - special c...[OK] X25519 test vectors 198 199 - special c...[OK] X25519 test vectors 199 200 - special c...[OK] X25519 test vectors 200 201 - special c...[OK] X25519 test vectors 201 202 - special c...[OK] X25519 test vectors 202 203 - special c...[OK] X25519 test vectors 203 204 - special c...[OK] X25519 test vectors 204 205 - special c...[OK] X25519 test vectors 205 206 - special c...[OK] X25519 test vectors 206 207 - special c...[OK] X25519 test vectors 207 208 - special c...[OK] X25519 test vectors 208 209 - special c...[OK] X25519 test vectors 209 210 - special c...[OK] X25519 test vectors 210 211 - special c...[OK] X25519 test vectors 211 212 - special c...[OK] X25519 test vectors 212 213 - special c...[OK] X25519 test vectors 213 214 - special c...[OK] X25519 test vectors 214 215 - special c...[OK] X25519 test vectors 215 216 - special c...[OK] X25519 test vectors 216 217 - special c...[OK] X25519 test vectors 217 218 - special c...[OK] X25519 test vectors 218 219 - special c...[OK] X25519 test vectors 219 220 - special c...[OK] X25519 test vectors 220 221 - special c...[OK] X25519 test vectors 221 222 - special c...[OK] X25519 test vectors 222 223 - special c...[OK] X25519 test vectors 223 224 - special c...[OK] X25519 test vectors 224 225 - special c...[OK] X25519 test vectors 225 226 - special c...[OK] X25519 test vectors 226 227 - special c...[OK] X25519 test vectors 227 228 - special c...[OK] X25519 test vectors 228 229 - special c...[OK] X25519 test vectors 229 230 - special c...[OK] X25519 test vectors 230 231 - special c...[OK] X25519 test vectors 231 232 - special c...[OK] X25519 test vectors 232 233 - special c...[OK] X25519 test vectors 233 234 - special c...[OK] X25519 test vectors 234 235 - special c...[OK] X25519 test vectors 235 236 - special c...[OK] X25519 test vectors 236 237 - special c...[OK] X25519 test vectors 237 238 - special c...[OK] X25519 test vectors 238 239 - special c...[OK] X25519 test vectors 239 240 - special c...[OK] X25519 test vectors 240 241 - special c...[OK] X25519 test vectors 241 242 - special c...[OK] X25519 test vectors 242 243 - special c...[OK] X25519 test vectors 243 244 - special c...[OK] X25519 test vectors 244 245 - special c...[OK] X25519 test vectors 245 246 - special c...[OK] X25519 test vectors 246 247 - special c...[OK] X25519 test vectors 247 248 - special c...[OK] X25519 test vectors 248 249 - special c...[OK] X25519 test vectors 249 250 - special c...[OK] X25519 test vectors 250 251 - special c...[OK] X25519 test vectors 251 252 - special c...[OK] X25519 test vectors 252 253 - special c...[OK] X25519 test vectors 253 254 - special c...[OK] X25519 test vectors 254 255 - special c...[OK] X25519 test vectors 255 256 - special c...[OK] X25519 test vectors 256 257 - special c...[OK] X25519 test vectors 257 258 - special c...[OK] X25519 test vectors 258 259 - special c...[OK] X25519 test vectors 259 260 - special c...[OK] X25519 test vectors 260 261 - special c...[OK] X25519 test vectors 261 262 - special c...[OK] X25519 test vectors 262 263 - special c...[OK] X25519 test vectors 263 264 - special c...[OK] X25519 test vectors 264 265 - special c...[OK] X25519 test vectors 265 266 - special c...[OK] X25519 test vectors 266 267 - special c...[OK] X25519 test vectors 267 268 - special c...[OK] X25519 test vectors 268 269 - special c...[OK] X25519 test vectors 269 270 - special c...[OK] X25519 test vectors 270 271 - special c...[OK] X25519 test vectors 271 272 - special c...[OK] X25519 test vectors 272 273 - special c...[OK] X25519 test vectors 273 274 - special c...[OK] X25519 test vectors 274 275 - special c...[OK] X25519 test vectors 275 276 - special c...[OK] X25519 test vectors 276 277 - special c...[OK] X25519 test vectors 277 278 - special c...[OK] X25519 test vectors 278 279 - special c...[OK] X25519 test vectors 279 280 - special c...[OK] X25519 test vectors 280 281 - special c...[OK] X25519 test vectors 281 282 - special c...[OK] X25519 test vectors 282 283 - special c...[OK] X25519 test vectors 283 284 - special c...[OK] X25519 test vectors 284 285 - special c...[OK] X25519 test vectors 285 286 - special c...[OK] X25519 test vectors 286 287 - special c...[OK] X25519 test vectors 287 288 - special c...[OK] X25519 test vectors 288 289 - special c...[OK] X25519 test vectors 289 290 - special c...[OK] X25519 test vectors 290 291 - special c...[OK] X25519 test vectors 291 292 - special c...[OK] X25519 test vectors 292 293 - special c...[OK] X25519 test vectors 293 294 - special c...[OK] X25519 test vectors 294 295 - special c...[OK] X25519 test vectors 295 296 - special c...[OK] X25519 test vectors 296 297 - special c...[OK] X25519 test vectors 297 298 - special c...[OK] X25519 test vectors 298 299 - special c...[OK] X25519 test vectors 299 300 - special c...[OK] X25519 test vectors 300 301 - special c...[OK] X25519 test vectors 301 302 - special c...[OK] X25519 test vectors 302 303 - special c...[OK] X25519 test vectors 303 304 - special c...[OK] X25519 test vectors 304 305 - special c...[OK] X25519 test vectors 305 306 - special c...[OK] X25519 test vectors 306 307 - special c...[OK] X25519 test vectors 307 308 - special c...[OK] X25519 test vectors 308 309 - special c...[OK] X25519 test vectors 309 310 - special c...[OK] X25519 test vectors 310 311 - special c...[OK] X25519 test vectors 311 312 - special c...[OK] X25519 test vectors 312 313 - special c...[OK] X25519 test vectors 313 314 - special c...[OK] X25519 test vectors 314 315 - special c...[OK] X25519 test vectors 315 316 - special c...[OK] X25519 test vectors 316 317 - special c...[OK] X25519 test vectors 317 318 - special c...[OK] X25519 test vectors 318 319 - special c...[OK] X25519 test vectors 319 320 - special c...[OK] X25519 test vectors 320 321 - special c...[OK] X25519 test vectors 321 322 - special c...[OK] X25519 test vectors 322 323 - special c...[OK] X25519 test vectors 323 324 - special c...[OK] X25519 test vectors 324 325 - special c...[OK] X25519 test vectors 325 326 - special c...[OK] X25519 test vectors 326 327 - special c...[OK] X25519 test vectors 327 328 - special c...[OK] X25519 test vectors 328 329 - special c...[OK] X25519 test vectors 329 330 - special c...[OK] X25519 test vectors 330 331 - special c...[OK] X25519 test vectors 331 332 - special c...[OK] X25519 test vectors 332 333 - special c...[OK] X25519 test vectors 333 334 - special c...[OK] X25519 test vectors 334 335 - special c...[OK] X25519 test vectors 335 336 - special c...[OK] X25519 test vectors 336 337 - special c...[OK] X25519 test vectors 337 338 - special c...[OK] X25519 test vectors 338 339 - special c...[OK] X25519 test vectors 339 340 - special c...[OK] X25519 test vectors 340 341 - special c...[OK] X25519 test vectors 341 342 - special c...[OK] X25519 test vectors 342 343 - special c...[OK] X25519 test vectors 343 344 - special c...[OK] X25519 test vectors 344 345 - special c...[OK] X25519 test vectors 345 346 - special c...[OK] X25519 test vectors 346 347 - special c...[OK] X25519 test vectors 347 348 - special c...[OK] X25519 test vectors 348 349 - special c...[OK] X25519 test vectors 349 350 - special c...[OK] X25519 test vectors 350 351 - special c...[OK] X25519 test vectors 351 352 - special c...[OK] X25519 test vectors 352 353 - special c...[OK] X25519 test vectors 353 354 - special c...[OK] X25519 test vectors 354 355 - special c...[OK] X25519 test vectors 355 356 - special c...[OK] X25519 test vectors 356 357 - special c...[OK] X25519 test vectors 357 358 - special c...[OK] X25519 test vectors 358 359 - special c...[OK] X25519 test vectors 359 360 - special c...[OK] X25519 test vectors 360 361 - special c...[OK] X25519 test vectors 361 362 - special c...[OK] X25519 test vectors 362 363 - special c...[OK] X25519 test vectors 363 364 - special c...[OK] X25519 test vectors 364 365 - special c...[OK] X25519 test vectors 365 366 - special c...[OK] X25519 test vectors 366 367 - special c...[OK] X25519 test vectors 367 368 - special c...[OK] X25519 test vectors 368 369 - special c...[OK] X25519 test vectors 369 370 - special c...[OK] X25519 test vectors 370 371 - special c...[OK] X25519 test vectors 371 372 - special c...[OK] X25519 test vectors 372 373 - special c...[OK] X25519 test vectors 373 374 - special c...[OK] X25519 test vectors 374 375 - special c...[OK] X25519 test vectors 375 376 - special c...[OK] X25519 test vectors 376 377 - special c...[OK] X25519 test vectors 377 378 - special c...[OK] X25519 test vectors 378 379 - special c...[OK] X25519 test vectors 379 380 - special c...[OK] X25519 test vectors 380 381 - special c...[OK] X25519 test vectors 381 382 - special c...[OK] X25519 test vectors 382 383 - special c...[OK] X25519 test vectors 383 384 - special c...[OK] X25519 test vectors 384 385 - special c...[OK] X25519 test vectors 385 386 - special c...[OK] X25519 test vectors 386 387 - special c...[OK] X25519 test vectors 387 388 - special c...[OK] X25519 test vectors 388 389 - special c...[OK] X25519 test vectors 389 390 - special c...[OK] X25519 test vectors 390 391 - special c...[OK] X25519 test vectors 391 392 - special c...[OK] X25519 test vectors 392 393 - special c...[OK] X25519 test vectors 393 394 - special c...[OK] X25519 test vectors 394 395 - special c...[OK] X25519 test vectors 395 396 - special c...[OK] X25519 test vectors 396 397 - special c...[OK] X25519 test vectors 397 398 - special c...[OK] X25519 test vectors 398 399 - special c...[OK] X25519 test vectors 399 400 - special c...[OK] X25519 test vectors 400 401 - special c...[OK] X25519 test vectors 401 402 - special c...[OK] X25519 test vectors 402 403 - special c...[OK] X25519 test vectors 403 404 - special c...[OK] X25519 test vectors 404 405 - special c...[OK] X25519 test vectors 405 406 - special c...[OK] X25519 test vectors 406 407 - special c...[OK] X25519 test vectors 407 408 - special c...[OK] X25519 test vectors 408 409 - special c...[OK] X25519 test vectors 409 410 - special c...[OK] X25519 test vectors 410 411 - special c...[OK] X25519 test vectors 411 412 - special c...[OK] X25519 test vectors 412 413 - special c...[OK] X25519 test vectors 413 414 - special c...[OK] X25519 test vectors 414 415 - special c...[OK] X25519 test vectors 415 416 - special c...[OK] X25519 test vectors 416 417 - special c...[OK] X25519 test vectors 417 418 - special c...[OK] X25519 test vectors 418 419 - special c...[OK] X25519 test vectors 419 420 - special c...[OK] X25519 test vectors 420 421 - special c...[OK] X25519 test vectors 421 422 - special c...[OK] X25519 test vectors 422 423 - special c...[OK] X25519 test vectors 423 424 - special c...[OK] X25519 test vectors 424 425 - special c...[OK] X25519 test vectors 425 426 - special c...[OK] X25519 test vectors 426 427 - special c...[OK] X25519 test vectors 427 428 - special c...[OK] X25519 test vectors 428 429 - special c...[OK] X25519 test vectors 429 430 - special c...[OK] X25519 test vectors 430 431 - special c...[OK] X25519 test vectors 431 432 - special c...[OK] X25519 test vectors 432 433 - special c...[OK] X25519 test vectors 433 434 - special c...[OK] X25519 test vectors 434 435 - special c...[OK] X25519 test vectors 435 436 - special c...[OK] X25519 test vectors 436 437 - special c...[OK] X25519 test vectors 437 438 - special c...[OK] X25519 test vectors 438 439 - special c...[OK] X25519 test vectors 439 440 - special c...[OK] X25519 test vectors 440 441 - special c...[OK] X25519 test vectors 441 442 - special c...[OK] X25519 test vectors 442 443 - special c...[OK] X25519 test vectors 443 444 - special c...[OK] X25519 test vectors 444 445 - special c...[OK] X25519 test vectors 445 446 - special c...[OK] X25519 test vectors 446 447 - special c...[OK] X25519 test vectors 447 448 - special c...[OK] X25519 test vectors 448 449 - special c...[OK] X25519 test vectors 449 450 - special c...[OK] X25519 test vectors 450 451 - special c...[OK] X25519 test vectors 451 452 - special c...[OK] X25519 test vectors 452 453 - special c...[OK] X25519 test vectors 453 454 - special c...[OK] X25519 test vectors 454 455 - special c...[OK] X25519 test vectors 455 456 - special c...[OK] X25519 test vectors 456 457 - special c...[OK] X25519 test vectors 457 458 - special c...[OK] X25519 test vectors 458 459 - special c...[OK] X25519 test vectors 459 460 - special c...[OK] X25519 test vectors 460 461 - special c...[OK] X25519 test vectors 461 462 - special c...[OK] X25519 test vectors 462 463 - special c...[OK] X25519 test vectors 463 464 - special c...[OK] X25519 test vectors 464 465 - special c...[OK] X25519 test vectors 465 466 - special c...[OK] X25519 test vectors 466 467 - special c...[OK] X25519 test vectors 467 468 - special c...[OK] X25519 test vectors 468 469 - special c...[OK] X25519 test vectors 469 470 - special c...[OK] X25519 test vectors 470 471 - special c...[OK] X25519 test vectors 471 472 - special c...[OK] X25519 test vectors 472 473 - special c...[OK] X25519 test vectors 473 474 - special c...[OK] X25519 test vectors 474 475 - special c...[OK] X25519 test vectors 475 476 - special c...[OK] X25519 test vectors 476 477 - special c...[OK] X25519 test vectors 477 478 - special c...[OK] X25519 test vectors 478 479 - special c...[OK] X25519 test vectors 479 480 - special c...[OK] X25519 test vectors 480 481 - special c...[OK] X25519 test vectors 481 482 - special c...[OK] X25519 test vectors 482 483 - special c...[OK] X25519 test vectors 483 484 - special c...[OK] X25519 test vectors 484 485 - special c...[OK] X25519 test vectors 485 486 - special c...[OK] X25519 test vectors 486 487 - special c...[OK] X25519 test vectors 487 488 - special c...[OK] X25519 test vectors 488 489 - special c...[OK] X25519 test vectors 489 490 - special c...[OK] X25519 test vectors 490 491 - special c...[OK] X25519 test vectors 491 492 - special c...[OK] X25519 test vectors 492 493 - special c...[OK] X25519 test vectors 493 494 - special c...[OK] X25519 test vectors 494 495 - special c...[OK] X25519 test vectors 495 496 - special c...[OK] X25519 test vectors 496 497 - special c...[OK] X25519 test vectors 497 498 - special c...[OK] X25519 test vectors 498 499 - special c...[OK] X25519 test vectors 499 500 - special c...[OK] X25519 test vectors 500 501 - special c...[OK] X25519 test vectors 501 502 - special c...[OK] X25519 test vectors 502 503 - special c...[OK] X25519 test vectors 503 504 - special c...[OK] X25519 test vectors 504 505 - special c...[OK] X25519 test vectors 505 506 - special c...[OK] X25519 test vectors 506 507 - special c...[OK] X25519 test vectors 507 508 - special c...[OK] X25519 test vectors 508 509 - special c...[OK] X25519 test vectors 509 510 - special c...[OK] X25519 test vectors 510 511 - private k...[OK] X25519 test vectors 511 512 - private k...[OK] X25519 test vectors 512 513 - special c...[OK] X25519 test vectors 513 514 - special c...[OK] X25519 test vectors 514 515 - special c...[OK] X25519 test vectors 515 516 - special c...[OK] X25519 test vectors 516 517 - special c...[OK] X25519 test vectors 517 518 - special c...[OK] ED25519 test vectors 0 1 - .[OK] ED25519 test vectors 1 2 - .[OK] ED25519 test vectors 2 3 - .[OK] ED25519 test vectors 3 4 - .[OK] ED25519 test vectors 4 5 - .[OK] ED25519 test vectors 5 6 - .[OK] ED25519 test vectors 6 7 - .[OK] ED25519 test vectors 7 8 - .[OK] ED25519 test vectors 8 9 - .[OK] ED25519 test vectors 9 10 - special va...[OK] ED25519 test vectors 10 11 - special va...[OK] ED25519 test vectors 11 12 - special va...[OK] ED25519 test vectors 12 13 - special va...[OK] ED25519 test vectors 13 14 - special va...[OK] ED25519 test vectors 14 15 - special va...[OK] ED25519 test vectors 15 16 - special va...[OK] ED25519 test vectors 16 17 - special va...[OK] ED25519 test vectors 17 18 - special va...[OK] ED25519 test vectors 18 19 - special va...[OK] ED25519 test vectors 19 20 - special va...[OK] ED25519 test vectors 20 21 - special va...[OK] ED25519 test vectors 21 22 - special va...[OK] ED25519 test vectors 22 23 - special va...[OK] ED25519 test vectors 23 24 - special va...[OK] ED25519 test vectors 24 25 - special va...[OK] ED25519 test vectors 25 26 - special va...[OK] ED25519 test vectors 26 27 - special va...[OK] ED25519 test vectors 27 28 - special va...[OK] ED25519 test vectors 28 29 - special va...[OK] ED25519 test vectors 29 30 - empty sign...[OK] ED25519 test vectors 30 31 - s missing.[OK] ED25519 test vectors 31 32 - signature ...[OK] ED25519 test vectors 32 33 - signature ...[OK] ED25519 test vectors 33 34 - include pk...[OK] ED25519 test vectors 34 35 - prepending...[OK] ED25519 test vectors 35 36 - prepending...[OK] ED25519 test vectors 36 37 - appending ...[OK] ED25519 test vectors 37 38 - removing 0...[OK] ED25519 test vectors 38 39 - removing 0...[OK] ED25519 test vectors 39 40 - removing l...[OK] ED25519 test vectors 40 41 - dropping b...[OK] ED25519 test vectors 41 42 - modified b...[OK] ED25519 test vectors 42 43 - modified b...[OK] ED25519 test vectors 43 44 - modified b...[OK] ED25519 test vectors 44 45 - modified b...[OK] ED25519 test vectors 45 46 - modified b...[OK] ED25519 test vectors 46 47 - modified b...[OK] ED25519 test vectors 47 48 - modified b...[OK] ED25519 test vectors 48 49 - modified b...[OK] ED25519 test vectors 49 50 - modified b...[OK] ED25519 test vectors 50 51 - modified b...[OK] ED25519 test vectors 51 52 - modified b...[OK] ED25519 test vectors 52 53 - modified b...[OK] ED25519 test vectors 53 54 - modified b...[OK] ED25519 test vectors 54 55 - modified b...[OK] ED25519 test vectors 55 56 - modified b...[OK] ED25519 test vectors 56 57 - modified b...[OK] ED25519 test vectors 57 58 - modified b...[OK] ED25519 test vectors 58 59 - modified b...[OK] ED25519 test vectors 59 60 - R==0.[OK] ED25519 test vectors 60 61 - invalid R.[OK] ED25519 test vectors 61 62 - all bits f...[OK] ED25519 test vectors 62 63 - checking m...[OK] ED25519 test vectors 63 64 - checking m...[OK] ED25519 test vectors 64 65 - checking m...[OK] ED25519 test vectors 65 66 - checking m...[OK] ED25519 test vectors 66 67 - checking m...[OK] ED25519 test vectors 67 68 - checking m...[OK] ED25519 test vectors 68 69 - checking m...[OK] ED25519 test vectors 69 70 - checking m...[OK] ED25519 test vectors 70 71 - .[OK] ED25519 test vectors 71 72 - .[OK] ED25519 test vectors 72 73 - .[OK] ED25519 test vectors 73 74 - .[OK] ED25519 test vectors 74 75 - .[OK] ED25519 test vectors 75 76 - .[OK] ED25519 test vectors 76 77 - .[OK] ED25519 test vectors 77 78 - .[OK] ED25519 test vectors 78 79 - .[OK] ED25519 test vectors 79 80 - draft-jose...[OK] ED25519 test vectors 80 81 - draft-jose...[OK] ED25519 test vectors 81 82 - draft-jose...[OK] ED25519 test vectors 82 83 - draft-jose...[OK] ED25519 test vectors 83 84 - Random tes...[OK] ED25519 test vectors 84 85 - Random tes...[OK] ED25519 test vectors 85 86 - Random tes...[OK] ED25519 test vectors 86 87 - Random tes...[OK] ED25519 test vectors 87 88 - Random tes...[OK] ED25519 test vectors 88 89 - Random tes...[OK] ED25519 test vectors 89 90 - Random tes...[OK] ED25519 test vectors 90 91 - Random tes...[OK] ED25519 test vectors 91 92 - Random tes...[OK] ED25519 test vectors 92 93 - Random tes...[OK] ED25519 test vectors 93 94 - Random tes...[OK] ED25519 test vectors 94 95 - Random tes...[OK] ED25519 test vectors 95 96 - Random tes...[OK] ED25519 test vectors 96 97 - Random tes...[OK] ED25519 test vectors 97 98 - Random tes...[OK] ED25519 test vectors 98 99 - Random tes...[OK] ED25519 test vectors 99 100 - Random te...[OK] ED25519 test vectors 100 101 - Random te...[OK] ED25519 test vectors 101 102 - Random te...[OK] ED25519 test vectors 102 103 - Random te...[OK] ED25519 test vectors 103 104 - Random te...[OK] ED25519 test vectors 104 105 - Random te...[OK] ED25519 test vectors 105 106 - Random te...[OK] ED25519 test vectors 106 107 - Random te...[OK] ED25519 test vectors 107 108 - Random te...[OK] ED25519 test vectors 108 109 - Random te...[OK] ED25519 test vectors 109 110 - Random te...[OK] ED25519 test vectors 110 111 - Random te...[OK] ED25519 test vectors 111 112 - Test case...[OK] ED25519 test vectors 112 113 - Test case...[OK] ED25519 test vectors 113 114 - Test case...[OK] ED25519 test vectors 114 115 - Test case...[OK] ED25519 test vectors 115 116 - Test case...[OK] ED25519 test vectors 116 117 - regressio...[OK] ED25519 test vectors 117 118 - regressio...[OK] ED25519 test vectors 118 119 - regressio...[OK] ED25519 test vectors 119 120 - regressio...[OK] ED25519 test vectors 120 121 - regressio...[OK] ED25519 test vectors 121 122 - regressio...[OK] ED25519 test vectors 122 123 - regressio...[OK] ED25519 test vectors 123 124 - regressio...[OK] ED25519 test vectors 124 125 - regressio...[OK] ED25519 test vectors 125 126 - regressio...[OK] ED25519 test vectors 126 127 - regressio...[OK] ED25519 test vectors 127 128 - regressio...[OK] ED25519 test vectors 128 129 - regressio...[OK] ED25519 test vectors 129 130 - regressio...[OK] ED25519 test vectors 130 131 - regressio...[OK] ED25519 test vectors 131 132 - regressio...[OK] ED25519 test vectors 132 133 - regressio...[OK] ED25519 test vectors 133 134 - regressio...[OK] ED25519 test vectors 134 135 - regressio...[OK] ED25519 test vectors 135 136 - regressio...[OK] ED25519 test vectors 136 137 - regressio...[OK] ED25519 test vectors 137 138 - regressio...[OK] ED25519 test vectors 138 139 - regressio...[OK] ED25519 test vectors 139 140 - regressio...[OK] ED25519 test vectors 140 141 - regressio...[OK] ED25519 test vectors 141 142 - regressio...[OK] ED25519 test vectors 142 143 - regressio...[OK] ED25519 test vectors 143 144 - regressio...[OK] ED25519 test vectors 144 145 - regressio...Full test results in `~/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.Test Successful in 6.756s. 3502 tests run.2026-02-19 09:10.15 ---> using "43c27e159bea1a6061fa2a7ed73d93f136018583846b06c12bdc80bbb7b9ffe4" from cacheJob succeeded2026-02-19 09:10.16: Job succeeded