2025-10-18 16:36.58: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/main (154ff24042394d73222935a3cc332a897a9058af) (linux-riscv64:debian-13-5.4_riscv64_opam-2.4) Base: ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288 Opam project build To reproduce locally: git clone --recursive "https://github.com/mirage/mirage-crypto.git" -b "main" && cd "mirage-crypto" && git reset --hard 154ff240 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288 # debian-13-5.4_riscv64_opam-2.4 USER 1000:1000 ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" WORKDIR /src RUN sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam RUN opam init --reinit -ni RUN uname -rs && opam exec -- ocaml -version && opam --version WORKDIR /src RUN sudo chown opam /src RUN cd ~/opam-repository && (git cat-file -e deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 || git fetch origin master) && git reset -q --hard deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 && git log --no-decorate -n1 --oneline && opam update -u COPY --chown=1000:1000 mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam ./ RUN opam pin add -yn mirage-crypto.dev './' && \ opam pin add -yn mirage-crypto-rng.dev './' && \ opam pin add -yn mirage-crypto-rng-mirage.dev './' && \ opam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \ opam pin add -yn mirage-crypto-pk.dev './' && \ opam pin add -yn mirage-crypto-ec.dev './' RUN echo '(lang dune 3.0)' > './dune-project' ENV DEPS="alcotest.1.9.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 cmdliner.2.0.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.20.2 dune-configurator.3.20.2 duration.0.2.1 eqaf.0.10 fmt.0.11.0 ipaddr.5.6.1 logs.0.9.0 lwt.5.9.2 macaddr.5.6.1 miou.0.5.0 mirage-mtime.5.2.0 mirage-runtime.4.10.2 mirage-sleep.4.1.0 mirage-unix.5.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-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.1.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 stdlib-shims.0.3.0 topkg.1.1.0 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.4 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS RUN opam install $DEPS COPY --chown=1000:1000 . /src RUN opam exec -- dune build @install @check @runtest && rm -rf _build END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2025-10-18 16:36.58: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288-debian-13-5.4_riscv64_opam-2.4-3fd7026d89ede71fb5fb26b70178ec83" 2025-10-18 16:36.58: Using OBuilder spec: ((from ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288) (comment debian-13-5.4_riscv64_opam-2.4) (user (uid 1000) (gid 1000)) (env CLICOLOR_FORCE 1) (env OPAMCOLOR always) (workdir /src) (run (shell "sudo ln -f /usr/bin/opam-2.4 /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 deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 || git fetch origin master) && git reset -q --hard deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 && git log --no-decorate -n1 --oneline && opam update -u")) (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam) (dst ./)) (run (network host) (shell "opam pin add -yn mirage-crypto.dev './' && \ \nopam pin add -yn mirage-crypto-rng.dev './' && \ \nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \ \nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \ \nopam pin add -yn mirage-crypto-pk.dev './' && \ \nopam pin add -yn mirage-crypto-ec.dev './'")) (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) (env DEPS "alcotest.1.9.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 cmdliner.2.0.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.20.2 dune-configurator.3.20.2 duration.0.2.1 eqaf.0.10 fmt.0.11.0 ipaddr.5.6.1 logs.0.9.0 lwt.5.9.2 macaddr.5.6.1 miou.0.5.0 mirage-mtime.5.2.0 mirage-runtime.4.10.2 mirage-sleep.4.1.0 mirage-unix.5.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-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.1.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 stdlib-shims.0.3.0 topkg.1.1.0 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.4 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install $DEPS")) (copy (src .) (dst /src)) (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")) ) 2025-10-18 16:36.58: Waiting for resource in pool OCluster 2025-10-19 10:50.14: Waiting for worker… 2025-10-19 19:43.50: Got resource from pool OCluster Building on riscv-bm-02.sw.ci.dev All commits already cached HEAD is now at 154ff24 changes for 2.0.2 (from ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288) Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288' locally docker.io/ocaml/opam@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288: Pulling from ocaml/opam 913254a25f5e: Pulling fs layer d4181e0c64b1: Pulling fs layer 60067d417858: Pulling fs layer 85acc1d96727: Pulling fs layer 3ed6ed890bcc: Pulling fs layer 2dbf4e493c82: Pulling fs layer 2392a1c0faf2: Pulling fs layer a887790579d0: Pulling fs layer 6bf6091e80a7: Pulling fs layer 8335ff7d796a: Pulling fs layer a5cf80048a8d: Pulling fs layer 11557f96dff6: Pulling fs layer 5ffa47544a64: Pulling fs layer b92bc0bdd77f: Pulling fs layer 11bee46e736c: Pulling fs layer 6cdee63da433: Pulling fs layer bd6b847c6301: Pulling fs layer ef94452a17d0: Pulling fs layer bd4498e2bf68: Pulling fs layer cae9012f5512: Pulling fs layer 97e1a82ddbc1: Pulling fs layer 4f4fb700ef54: Pulling fs layer a36b4f4c3856: Pulling fs layer ba5c5eee93b2: Pulling fs layer ccef58c1ec23: Pulling fs layer f58caa225e78: Pulling fs layer e5b816875ec7: Pulling fs layer 637cd996e729: Pulling fs layer 4798bd4315ce: Pulling fs layer 1a9d0398727f: Pulling fs layer 87a13479d21f: Pulling fs layer 826d12795d2a: Pulling fs layer ec3c50c293a6: Pulling fs layer 75873b00ea39: Pulling fs layer 2dc1ede51ef9: Pulling fs layer e521104f43f2: Pulling fs layer 5adb34782261: Pulling fs layer 3902e7196407: Pulling fs layer 58655837ed1a: Pulling fs layer 48f0059e882a: Pulling fs layer ae593e70caf6: Pulling fs layer c31229a73423: Pulling fs layer c1449e0dd683: Pulling fs layer caf6ad521897: Pulling fs layer 329dc00a05ae: Pulling fs layer a47284690750: Pulling fs layer e9c6ab46017e: Pulling fs layer 2392a1c0faf2: Waiting a887790579d0: Waiting 6bf6091e80a7: Waiting 8335ff7d796a: Waiting a5cf80048a8d: Waiting 11557f96dff6: Waiting 5ffa47544a64: Waiting b92bc0bdd77f: Waiting 11bee46e736c: Waiting 6cdee63da433: Waiting bd6b847c6301: Waiting ef94452a17d0: Waiting bd4498e2bf68: Waiting cae9012f5512: Waiting 97e1a82ddbc1: Waiting 4f4fb700ef54: Waiting a36b4f4c3856: Waiting ba5c5eee93b2: Waiting ccef58c1ec23: Waiting f58caa225e78: Waiting e5b816875ec7: Waiting 637cd996e729: Waiting 4798bd4315ce: Waiting 1a9d0398727f: Waiting 87a13479d21f: Waiting 826d12795d2a: Waiting ec3c50c293a6: Waiting 75873b00ea39: Waiting 2dc1ede51ef9: Waiting e521104f43f2: Waiting 5adb34782261: Waiting 3902e7196407: Waiting 58655837ed1a: Waiting 48f0059e882a: Waiting ae593e70caf6: Waiting c31229a73423: Waiting c1449e0dd683: Waiting caf6ad521897: Waiting 329dc00a05ae: Waiting a47284690750: Waiting 85acc1d96727: Waiting e9c6ab46017e: Waiting 3ed6ed890bcc: Waiting 2dbf4e493c82: Waiting 60067d417858: Verifying Checksum d4181e0c64b1: Download complete 60067d417858: Download complete 3ed6ed890bcc: Verifying Checksum 3ed6ed890bcc: Download complete 85acc1d96727: Verifying Checksum 85acc1d96727: Download complete 2392a1c0faf2: Verifying Checksum 913254a25f5e: Verifying Checksum 913254a25f5e: Download complete a887790579d0: Verifying Checksum a887790579d0: Download complete 8335ff7d796a: Verifying Checksum 8335ff7d796a: Download complete 6bf6091e80a7: Verifying Checksum 6bf6091e80a7: Download complete a5cf80048a8d: Verifying Checksum a5cf80048a8d: Download complete 11557f96dff6: Download complete b92bc0bdd77f: Verifying Checksum b92bc0bdd77f: Download complete 11bee46e736c: Verifying Checksum 11bee46e736c: Download complete 5ffa47544a64: Verifying Checksum 5ffa47544a64: Download complete 6cdee63da433: Verifying Checksum 6cdee63da433: Download complete bd6b847c6301: Verifying Checksum bd6b847c6301: Download complete ef94452a17d0: Verifying Checksum ef94452a17d0: Download complete bd4498e2bf68: Verifying Checksum bd4498e2bf68: Download complete 97e1a82ddbc1: Verifying Checksum 97e1a82ddbc1: Download complete cae9012f5512: Verifying Checksum cae9012f5512: Download complete 4f4fb700ef54: Download complete a36b4f4c3856: Verifying Checksum a36b4f4c3856: Download complete ba5c5eee93b2: Download complete ccef58c1ec23: Verifying Checksum ccef58c1ec23: Download complete 913254a25f5e: Pull complete d4181e0c64b1: Pull complete 60067d417858: Pull complete f58caa225e78: Verifying Checksum f58caa225e78: Download complete e5b816875ec7: Verifying Checksum e5b816875ec7: Download complete 637cd996e729: Verifying Checksum 637cd996e729: Download complete 4798bd4315ce: Verifying Checksum 4798bd4315ce: Download complete 1a9d0398727f: Verifying Checksum 1a9d0398727f: Download complete 87a13479d21f: Verifying Checksum 87a13479d21f: Download complete 826d12795d2a: Verifying Checksum 826d12795d2a: Download complete ec3c50c293a6: Verifying Checksum ec3c50c293a6: Download complete 75873b00ea39: Verifying Checksum 75873b00ea39: Download complete e521104f43f2: Verifying Checksum e521104f43f2: Download complete 2dbf4e493c82: Verifying Checksum 2dbf4e493c82: Download complete 3902e7196407: Verifying Checksum 3902e7196407: Download complete 85acc1d96727: Pull complete 58655837ed1a: Verifying Checksum 58655837ed1a: Download complete 48f0059e882a: Verifying Checksum 48f0059e882a: Download complete 3ed6ed890bcc: Pull complete ae593e70caf6: Verifying Checksum ae593e70caf6: Download complete c31229a73423: Verifying Checksum c31229a73423: Download complete c1449e0dd683: Verifying Checksum c1449e0dd683: Download complete 5adb34782261: Verifying Checksum 5adb34782261: Download complete 329dc00a05ae: Verifying Checksum 329dc00a05ae: Download complete a47284690750: Verifying Checksum a47284690750: Download complete e9c6ab46017e: Verifying Checksum e9c6ab46017e: Download complete caf6ad521897: Verifying Checksum caf6ad521897: Download complete 2dc1ede51ef9: Verifying Checksum 2dc1ede51ef9: Download complete 2dbf4e493c82: Pull complete 2392a1c0faf2: Pull complete a887790579d0: Pull complete 6bf6091e80a7: Pull complete 8335ff7d796a: Pull complete a5cf80048a8d: Pull complete 11557f96dff6: Pull complete 5ffa47544a64: Pull complete b92bc0bdd77f: Pull complete 11bee46e736c: Pull complete 6cdee63da433: Pull complete bd6b847c6301: Pull complete ef94452a17d0: Pull complete bd4498e2bf68: Pull complete cae9012f5512: Pull complete 97e1a82ddbc1: Pull complete 4f4fb700ef54: Pull complete a36b4f4c3856: Pull complete ba5c5eee93b2: Pull complete ccef58c1ec23: Pull complete f58caa225e78: Pull complete e5b816875ec7: Pull complete 637cd996e729: Pull complete 4798bd4315ce: Pull complete 1a9d0398727f: Pull complete 87a13479d21f: Pull complete 826d12795d2a: Pull complete ec3c50c293a6: Pull complete 75873b00ea39: Pull complete 2dc1ede51ef9: Pull complete e521104f43f2: Pull complete 5adb34782261: Pull complete 3902e7196407: Pull complete 58655837ed1a: Pull complete 48f0059e882a: Pull complete ae593e70caf6: Pull complete c31229a73423: Pull complete c1449e0dd683: Pull complete caf6ad521897: Pull complete 329dc00a05ae: Pull complete a47284690750: Pull complete e9c6ab46017e: Pull complete Digest: sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288 Status: Downloaded newer image for ocaml/opam@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288 2025-10-19 19:43.51 ---> using "4fbebff2fe9ef1495e2d214609b2035574aee42978f29274f9ade35b3a9e6719" from cache /: (comment debian-13-5.4_riscv64_opam-2.4) /: (user (uid 1000) (gid 1000)) /: (env CLICOLOR_FORCE 1) /: (env OPAMCOLOR always) /: (workdir /src) /src: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam")) 2025-10-19 19:43.51 ---> using "527ab505f1d7efafc8447b9ab5b51e78bded47dc20193bfc1e609a4f5a8660cd" 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] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] Initialised 2025-10-19 19:43.51 ---> using "ef3971c1a78d0fadecd4a56e92a3279693226b19b1d03251b9953afe2a9d9d48" from cache /src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Linux 5.10.113-scw1 The OCaml toplevel, version 5.4.0 2.4.1 2025-10-19 19:43.51 ---> using "99827ec3f74219203532dd967ad83b982b5f930c87faab8530ffa6a021da7b6c" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2025-10-19 19:43.51 ---> using "1e8f4a2b1bf1e3fc977029161890dd1e7a3c35e6f17fcd0be8e8891052cfde27" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 || git fetch origin master) && git reset -q --hard deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD 1abfcdbf14..5bf570252b master -> origin/master deb3de7fc5 Merge pull request #28686 from NathanReb/release-ppxlib-0.37.0 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from git+file:///home/opam/opam-repository Already up-to-date. Nothing to do. # To update the current shell environment, run: eval $(opam env) 2025-10-19 19:43.51 ---> using "df243cdc7f5d0c2827da3694a7917d6d53528fe8af6e97630e58f506fdf35b7c" from cache /src: (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam) (dst ./)) 2025-10-19 19:43.52 ---> saved as "fe99f3bd5b91d1a647534a1584ed80a8fa8b1222b8f0d7961d47fae26fe9cfb1" /src: (run (network host) (shell "opam pin add -yn mirage-crypto.dev './' && \ \nopam pin add -yn mirage-crypto-rng.dev './' && \ \nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \ \nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \ \nopam pin add -yn mirage-crypto-pk.dev './' && \ \nopam pin add -yn mirage-crypto-ec.dev './'")) [mirage-crypto.dev] synchronised (file:///src) mirage-crypto is now pinned to file:///src (version dev) [mirage-crypto-rng.dev] synchronised (file:///src) mirage-crypto-rng is now pinned to file:///src (version dev) [mirage-crypto-rng-mirage.dev] synchronised (file:///src) mirage-crypto-rng-mirage is now pinned to file:///src (version dev) [mirage-crypto-rng-miou-unix.dev] synchronised (file:///src) mirage-crypto-rng-miou-unix is now pinned to file:///src (version dev) [mirage-crypto-pk.dev] synchronised (file:///src) mirage-crypto-pk is now pinned to file:///src (version dev) [mirage-crypto-ec.dev] synchronised (file:///src) mirage-crypto-ec is now pinned to file:///src (version dev) 2025-10-19 19:44.30 ---> saved as "3d6e9821730c156a301c1bececec7f779d69a5d3dcc643b10bd26e19500802ce" /src: (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) 2025-10-19 19:44.31 ---> saved as "36fe8d0a9ef1f92b263adc86a994f4c2ac38166ddade4fbf1ec0dc4ac31b8520" /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 cmdliner.2.0.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.20.2 dune-configurator.3.20.2 duration.0.2.1 eqaf.0.10 fmt.0.11.0 ipaddr.5.6.1 logs.0.9.0 lwt.5.9.2 macaddr.5.6.1 miou.0.5.0 mirage-mtime.5.2.0 mirage-runtime.4.10.2 mirage-sleep.4.1.0 mirage-unix.5.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-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.1.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 stdlib-shims.0.3.0 topkg.1.1.0 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.4 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS")) + /usr/bin/sudo "apt-get" "update" - Hit:1 http://deb.debian.org/debian 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 riscv64 Packages [53.4 kB] - Fetched 144 kB in 0s (332 kB/s) - Reading package lists... - <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [mirage-crypto.dev] synchronised (file:///src) [mirage-crypto-ec.dev] synchronised (file:///src) [mirage-crypto-pk.dev] synchronised (file:///src) [mirage-crypto-rng.dev] synchronised (file:///src) [mirage-crypto-rng-miou-unix.dev] synchronised (file:///src) [mirage-crypto-rng-mirage.dev] synchronised (file:///src) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-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 pkg-config <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config" - Selecting previously unselected package libgmpxx4ldbl:riscv64. - (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 ... 20731 files and directories currently installed.) - Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_riscv64.deb ... - Unpacking libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ... - Selecting previously unselected package libgmp-dev:riscv64. - Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_riscv64.deb ... - Unpacking libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ... - Selecting previously unselected package libpkgconf3:riscv64. - Preparing to unpack .../2-libpkgconf3_1.8.1-4_riscv64.deb ... - Unpacking libpkgconf3:riscv64 (1.8.1-4) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../3-pkgconf-bin_1.8.1-4_riscv64.deb ... - Unpacking pkgconf-bin (1.8.1-4) ... - Selecting previously unselected package pkgconf:riscv64. - Preparing to unpack .../4-pkgconf_1.8.1-4_riscv64.deb ... - Unpacking pkgconf:riscv64 (1.8.1-4) ... - Selecting previously unselected package pkg-config:riscv64. - Preparing to unpack .../5-pkg-config_1.8.1-4_riscv64.deb ... - Unpacking pkg-config:riscv64 (1.8.1-4) ... - Setting up libpkgconf3:riscv64 (1.8.1-4) ... - Setting up libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ... - Setting up pkgconf-bin (1.8.1-4) ... - Setting up libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ... - Setting up pkgconf:riscv64 (1.8.1-4) ... - Setting up pkg-config:riscv64 (1.8.1-4) ... - Processing triggers for libc-bin (2.41-12) ... 2025-10-19 19:45.30 ---> saved as "eb2a1927ce4c8a353316ea5d8d0a42ef5135da944ae987c700a39cfda74e5195" /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 48 packages - install alcotest 1.9.1 - install asn1-combinators 0.3.2 - install astring 0.8.5 - install base-bytes base - install cmdliner 2.0.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.20.2 - install dune-configurator 3.20.2 - install duration 0.2.1 - install eqaf 0.10 - install fmt 0.11.0 - install ipaddr 5.6.1 - install logs 0.9.0 - install lwt 5.9.2 - install macaddr 5.6.1 - install miou 0.5.0 - install mirage-mtime 5.2.0 - install mirage-runtime 4.10.2 - install mirage-sleep 4.1.0 - install mirage-unix 5.0.1 - install mtime 2.1.0 - install ocaml-compiler-libs v0.17.0 - install ocaml-syntax-shims 1.0.0 - install ocamlbuild 0.16.1 - install ocamlfind 1.9.8 - install ocplib-endian 1.2 - install ohex 0.2.0 - install ounit2 2.2.7 - install ppx_derivers 1.2.1 - install ppx_deriving 6.1.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 stdlib-shims 0.3.0 - install topkg 1.1.0 - 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 conf-gmp.5 (cached) -> retrieved conf-gmp-powm-sec.4 (cached) -> retrieved astring.0.8.5 (cached) -> retrieved cmdliner.2.0.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 -> 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 logs.0.9.0 (cached) -> retrieved lwt.5.9.2 (cached) -> retrieved miou.0.5.0 (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 mtime.2.1.0 (cached) -> retrieved mirage-runtime.4.10.2 (cached) -> retrieved ocaml-compiler-libs.v0.17.0 (cached) -> retrieved ocaml-syntax-shims.1.0.0 (cached) -> retrieved ocamlfind.1.9.8 (cached) -> retrieved ocamlbuild.0.16.1 (cached) -> retrieved ocplib-endian.1.2 (cached) -> retrieved ohex.0.2.0 (cached) -> retrieved ppx_derivers.1.2.1 (cached) -> retrieved ounit2.2.2.7 (cached) -> retrieved ppx_deriving.6.1.1 (cached) -> retrieved ppx_deriving_yojson.3.10.0 (cached) -> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached) -> retrieved ppxlib.0.37.0 (cached) -> retrieved ptime.1.2.0 (cached) -> retrieved seq.base (cached) -> retrieved randomconv.0.2.0 (cached) -> retrieved sexplib0.v0.17.0 (cached) -> retrieved re.1.14.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> installed cmdliner.2.0.0 -> retrieved topkg.1.1.0 (cached) -> retrieved uutf.1.0.4 (cached) -> retrieved yojson.3.0.0 (cached) -> retrieved zarith.1.14 (cached) -> installed ocamlbuild.0.16.1 -> installed seq.base -> installed ocamlfind.1.9.8 -> installed base-bytes.base -> installed zarith.1.14 -> installed topkg.1.1.0 -> installed fmt.0.11.0 -> installed astring.0.8.5 -> installed mtime.2.1.0 -> installed ptime.1.2.0 -> installed uutf.1.0.4 -> installed dune.3.20.2 -> installed csexp.1.5.2 -> installed domain-name.0.5.0 -> installed asn1-combinators.0.3.2 -> installed cppo.1.8.0 -> installed duration.0.2.1 -> installed macaddr.5.6.1 -> installed eqaf.0.10 -> installed mirage-mtime.5.2.0 -> installed ipaddr.5.6.1 -> installed dune-configurator.3.20.2 -> installed ocaml-compiler-libs.v0.17.0 -> installed digestif.1.3.0 -> installed ocaml-syntax-shims.1.0.0 -> installed ohex.0.2.0 -> installed ocplib-endian.1.2 -> installed ppx_derivers.1.2.1 -> installed randomconv.0.2.0 -> installed miou.0.5.0 -> installed sexplib0.v0.17.0 -> installed stdlib-shims.0.3.0 -> installed re.1.14.0 -> installed ounit2.2.2.7 -> installed yojson.3.0.0 -> installed alcotest.1.9.1 -> installed lwt.5.9.2 -> installed mirage-sleep.4.1.0 -> installed logs.0.9.0 -> installed mirage-runtime.4.10.2 -> installed mirage-unix.5.0.1 -> installed ppxlib.0.37.0 -> installed ppx_deriving.6.1.1 -> installed ppx_deriving_yojson.3.10.0 Done. # To update the current shell environment, run: eval $(opam env) 2025-10-19 19:56.11 ---> saved as "f73dfb313f09ec3cf44c13ca966fbf7764844ae8b6346035185eb9d9844971dd" /src: (copy (src .) (dst /src)) 2025-10-19 19:56.12 ---> saved as "de61e1478071ec54e4e5c0c0a741f9352983323698636fb2f349dec4ad6339b1" /src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")) File "tests/dune", line 34, characters 7-19: 34 | (name test_entropy) ^^^^^^^^^^^^ (cd _build/default/tests && ./test_entropy.exe) 9e88 c1b8 Fatal error: exception Failure("same data from timer at 2") (cd _build/default/tests && ./test_symmetric_runner.exe) accel: ................................................................ Ran: 64 tests in: 0.26 seconds. OK (cd _build/default/tests && ./test_random_runner.exe) ......... Ran: 9 tests in: 0.15 seconds. OK (cd _build/default/tests && ./test_miou_rng.exe) 32 bit random number: c2607045ea82d25f4684c3fc90e865ce38a4cead26823323ce2eae01650ec834 16 bit random number: ac9793700d5d94bdef8f7b2d6e63ab71 (cd _build/default/tests && ./test_entropy_collection.exe) reseeding: 000000 00c8 eb46 f446 fb46 0347 0a47 1247 1a47 ...F.F.F.G.G.G.G 000010 2247 2a47 3147 3a47 4247 4a47 5247 5a47 "G*G1G:GBGJGRGZG 000020 6347 6b47 7447 7d47 8647 8e47 9747 a047 cGkGtG}G.G.G.G.G 000030 a947 b347 bc47 c547 cf47 d847 e247 ec47 .G.G.G.G.G.G.G.G 000040 f647 0048 0048 0048 0048 0048 0048 0048 .G.H.H.H.H.H.H.H 000050 0048 0048 0148 0148 0148 0148 0148 0148 .H.H.H.H.H.H.H.H 000060 0148 0148 0148 0248 0248 0248 0248 0248 .H.H.H.H.H.H.H.H 000070 0248 0248 0248 0248 0348 0348 0348 0348 .H.H.H.H.H.H.H.H 000080 0348 0348 0348 0348 0448 0448 0448 0448 .H.H.H.H.H.H.H.H 000090 0448 0448 0448 0448 0548 0548 0548 0548 .H.H.H.H.H.H.H.H 0000a0 0548 0548 0548 0648 0648 0648 0648 0648 .H.H.H.H.H.H.H.H 0000b0 0648 0648 0748 0748 0748 0748 0748 0748 .H.H.H.H.H.H.H.H 0000c0 0748 0848 0848 0848 0848 01c8 0948 0a48 .H.H.H.H.H...H.H 0000d0 0a48 0a48 0a48 0a48 0b48 0b48 0b48 0b48 .H.H.H.H.H.H.H.H 0000e0 0b48 0c48 0c48 0c48 0c48 0d48 0d48 0d48 .H.H.H.H.H.H.H.H 0000f0 0d48 0d48 0e48 0e48 0e48 0e48 0e48 0f48 .H.H.H.H.H.H.H.H 000100 0f48 0f48 0f48 1048 1048 1048 1048 1048 .H.H.H.H.H.H.H.H 000110 1148 1148 1148 1148 1248 1248 1248 1248 .H.H.H.H.H.H.H.H 000120 1348 1348 1348 1348 1448 1448 1448 1548 .H.H.H.H.H.H.H.H 000130 1548 1548 1548 1648 1648 1648 1748 1748 .H.H.H.H.H.H.H.H 000140 1748 1748 1848 1848 1848 1948 1948 1948 .H.H.H.H.H.H.H.H 000150 1a48 1a48 1a48 1b48 1b48 1b48 1c48 1c48 .H.H.H.H.H.H.H.H 000160 1c48 1d48 1d48 1d48 1e48 1e48 1f48 1f48 .H.H.H.H.H.H.H.H 000170 1f48 2048 2048 2048 2148 2148 2248 2248 .H H H H!H!H"H"H 000180 2248 2348 2348 2448 2448 2548 2548 2548 "H#H#H$H$H%H%H%H 000190 2648 2648 02c8 2a48 2b48 2b48 2c48 2c48 &H&H..*H+H+H,H,H 0001a0 2d48 2d48 2e48 2e48 2f48 2f48 3048 3048 -H-H.H.H/H/H0H0H 0001b0 3148 3148 3248 3348 3348 3448 3448 3548 1H1H2H3H3H4H4H5H 0001c0 3548 3648 3748 3748 3848 3948 3948 3a48 5H6H7H7H8H9H9H:H 0001d0 3a48 3b48 3c48 3c48 3d48 3e48 3e48 3f48 :H;H<H<H=H>H>H?H 0001e0 4148 4148 4248 4348 4348 4448 4548 4648 AHAHBHCHCHDHEHFH 0001f0 4648 4748 4848 4948 4a48 4a48 4b48 4c48 FHGHHHIHJHJHKHLH 000200 4d48 4e48 4e48 4f48 5048 5148 5248 5348 MHNHNHOHPHQHRHSH 000210 5448 5448 5548 5648 5748 5848 5948 5a48 THTHUHVHWHXHYHZH 000220 5b48 5c48 5d48 5e48 5f48 6048 6148 6248 [H\H]H^H_H`HaHbH 000230 6348 6448 6548 6648 6748 6848 6948 6a48 cHdHeHfHgHhHiHjH 000240 6c48 6d48 6e48 6f48 7048 7148 7248 7448 lHmHnHoHpHqHrHtH 000250 7548 7648 7748 7948 7a48 7b48 7c48 03c8 uHvHwHyHzH{H|H.. 000260 a248 a448 a648 a848 a948 ab48 ad48 af48 .H.H.H.H.H.H.H.H 000270 b048 b248 b448 b648 b848 b948 bb48 bd48 .H.H.H.H.H.H.H.H 000280 bf48 c148 c348 c548 c748 c948 cb48 cd48 .H.H.H.H.H.H.H.H 000290 cf48 d148 d348 d648 d848 da48 dc48 de48 .H.H.H.H.H.H.H.H 0002a0 e148 e348 e548 e748 ea48 ec48 ee48 f148 .H.H.H.H.H.H.H.H 0002b0 f348 f648 f848 fb48 fd48 0049 0249 0549 .H.H.H.H.H.I.I.I 0002c0 0849 0a49 0d49 1049 1249 1549 1849 1b49 .I.I.I.I.I.I.I.I 0002d0 1d49 2049 2349 2649 2949 2c49 2f49 3249 .I I#I&I)I,I/I2I 0002e0 3549 3849 3b49 3e49 4249 4549 4849 4b49 5I8I;I>IBIEIHIKI 0002f0 4f49 5249 5549 5949 5c49 6049 6349 6749 OIRIUIYI\I`IcIgI 000300 6a49 6e49 7249 7549 7949 7d49 8049 8449 jInIrIuIyI}I.I.I 000310 8849 8c49 9049 9449 9849 9c49 a049 a449 .I.I.I.I.I.I.I.I 000320 a849 ad49 b149 b549 .I.I.I.I entropy sources: [0] timer accumulate: (src: [0] timer) dcb1 c3b8 (cd _build/default/tests && ./test_miou_entropy_collection.exe) reseeding: 000000 00c8 b3c5 b9c5 bdc5 c2c5 c7c5 cbc5 d0c5 ................ 000010 d4c5 d9c5 dec5 e2c5 e7c5 ecc5 f1c5 f6c5 ................ 000020 fbc5 00c6 05c6 0ac6 0fc6 14c6 1ac6 1fc6 ................ 000030 24c6 2ac6 2fc6 35c6 3ac6 40c6 46c6 4bc6 $.*./.5.:.@.F.K. 000040 51c6 57c6 5dc6 63c6 69c6 6fc6 75c6 7bc6 Q.W.].c.i.o.u.{. 000050 82c6 88c6 8ec6 95c6 9bc6 a2c6 a9c6 afc6 ................ 000060 b6c6 bdc6 c4c6 cbc6 d2c6 d9c6 e0c6 e7c6 ................ 000070 efc6 f6c6 fec6 05c7 0dc7 14c7 1cc7 24c7 ..............$. 000080 2cc7 13c8 14c8 14c8 14c8 14c8 15c8 15c8 ,............... 000090 15c8 16c8 16c8 16c8 16c8 17c8 17c8 17c8 ................ 0000a0 18c8 18c8 18c8 19c8 19c8 19c8 1ac8 1ac8 ................ 0000b0 1ac8 1bc8 1bc8 1bc8 1cc8 1cc8 1cc8 1dc8 ................ 0000c0 1dc8 1dc8 1ec8 1ec8 1ec8 01c8 20c8 21c8 ............ .!. 0000d0 21c8 22c8 22c8 23c8 23c8 23c8 24c8 24c8 !.".".#.#.#.$.$. 0000e0 25c8 25c8 26c8 26c8 27c8 27c8 27c8 28c8 %.%.&.&.'.'.'.(. 0000f0 28c8 29c8 29c8 2ac8 2ac8 2bc8 2bc8 2cc8 (.).).*.*.+.+.,. 000100 2cc8 2dc8 2dc8 2ec8 2ec8 2fc8 2fc8 30c8 ,.-.-....././.0. 000110 31c8 31c8 32c8 32c8 33c8 33c8 34c8 34c8 1.1.2.2.3.3.4.4. 000120 35c8 36c8 36c8 37c8 38c8 38c8 39c8 39c8 5.6.6.7.8.8.9.9. 000130 3ac8 3bc8 3bc8 3cc8 3dc8 3dc8 3ec8 3fc8 :.;.;.<.=.=.>.?. 000140 3fc8 40c8 41c8 41c8 42c8 43c8 44c8 44c8 ?.@.A.A.B.C.D.D. 000150 45c8 46c8 47c8 47c8 48c8 49c8 4ac8 4bc8 E.F.G.G.H.I.J.K. 000160 4bc8 4cc8 4dc8 4ec8 4fc8 50c8 50c8 51c8 K.L.M.N.O.P.P.Q. 000170 52c8 53c8 54c8 55c8 56c8 57c8 58c8 58c8 R.S.T.U.V.W.X.X. 000180 59c8 5ac8 5bc8 5cc8 5dc8 5ec8 5fc8 60c8 Y.Z.[.\.].^._.`. 000190 61c8 62c8 02c8 66c8 68c8 69c8 6ac8 6bc8 a.b...f.h.i.j.k. 0001a0 6cc8 6dc8 6ec8 6fc8 71c8 72c8 73c8 74c8 l.m.n.o.q.r.s.t. 0001b0 75c8 77c8 78c8 79c8 7ac8 7cc8 7dc8 7ec8 u.w.x.y.z.|.}.~. 0001c0 80c8 81c8 82c8 84c8 85c8 86c8 88c8 89c8 ................ 0001d0 8ac8 8cc8 8dc8 8fc8 90c8 92c8 93c8 95c8 ................ 0001e0 96c8 98c8 99c8 9bc8 9dc8 9ec8 a0c8 a1c8 ................ 0001f0 a3c8 a5c8 a6c8 a8c8 aac8 acc8 adc8 afc8 ................ 000200 b1c8 b3c8 b4c8 b6c8 b8c8 bac8 bcc8 bec8 ................ 000210 c0c8 c2c8 c4c8 c6c8 c8c8 cac8 ccc8 cec8 ................ 000220 d0c8 d2c8 d4c8 d6c8 d8c8 dbc8 ddc8 dfc8 ................ 000230 e1c8 e4c8 e6c8 e8c8 ebc8 edc8 efc8 f2c8 ................ 000240 f4c8 f7c8 f9c8 fcc8 fec8 01c9 03c9 06c9 ................ 000250 09c9 0bc9 0ec9 11c9 13c9 16c9 19c9 0380 ................ 000260 cf20 d7a2 6001 e56e 8144 eb46 a55f 05a0 . ..`..n.D.F._.. 000270 886b 99db a3d3 9543 f50e 4215 6d9b fb3a .k.....C..B.m..: 000280 6895 d737 17dc 71eb 1c5c 4f91 0065 933b h..7..q..\O..e.; 000290 3670 4d2a dd62 7a6e 12ec d37a bb90 622b 6pM*.bzn...z..b+ 0002a0 b6df f11b 9ac6 9265 cdc9 957c 78bc 6fec .......e...|x.o. 0002b0 5ad1 5211 bd55 a10c cdec 834c 5b7e 7f19 Z.R..U.....L[~.. 0002c0 fc7e a181 dad2 5a08 4d2f 00c9 d49f 923b .~....Z.M/.....; 0002d0 4cd9 83f1 f116 c3a8 2399 a8bc 91e0 c637 L.......#......7 entropy sources: accumulate: (src: [0] getrandom) 2969 b109 00e0 2f89 (cd _build/default/tests && ./test_ec.exe) Testing `EC'. This run has ID `F0S35USB'. [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.289s. 64 tests run. (cd _build/default/tests && ./test_ec_wycheproof.exe) Testing `Wycheproof NIST curves'. This run has ID `T4MF63CI'. [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 14.168s. 3502 tests run. (cd _build/default/tests && ./test_pk_runner.exe) ....................................................................................................................................................................................................................................................................................................................................................................... Ran: 359 tests in: 7.50 seconds. OK "/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1 2025-10-19 19:57.36: Job failed: Failed: Build failed