Organisationsmiragemirage-cryptoe96971 ()windows-server-2022-amd64-5.3_opam-2.3

windows-server-2022-amd64-5.3_opam-2.3

Logs

Show full logs
2025-03-05 00:24.18: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/259/head (e9697142d6504103c5915365c16c16a38e729670) (windows-amd64:windows-server-2022-amd64-5.3_opam-2.3)
Base: windows-server-2022-amd64-ocaml-5.3
Opam project build

To reproduce locally:

git clone --recursive "https://github.com/mirage/mirage-crypto.git" && cd "mirage-crypto" && git fetch origin "refs/pull/259/head" && git reset --hard e9697142
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM windows-server-2022-amd64-ocaml-5.3
# windows-server-2022-amd64-5.3_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
RUN ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
RUN cd ~/opam-repository && (git cat-file -e 5c627de42309bb6474331d403efeb6d68d617b1e || git fetch origin master) && git reset -q --hard 5c627de42309bb6474331d403efeb6d68d617b1e && 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 /Users/opam/src/./
RUN opam pin add -yn mirage-crypto.dev '/Users/opam/src/./' && \
    opam pin add -yn mirage-crypto-rng.dev '/Users/opam/src/./' && \
    opam pin add -yn mirage-crypto-rng-mirage.dev '/Users/opam/src/./' && \
    opam pin add -yn mirage-crypto-rng-miou-unix.dev '/Users/opam/src/./' && \
    opam pin add -yn mirage-crypto-pk.dev '/Users/opam/src/./' && \
    opam pin add -yn mirage-crypto-ec.dev '/Users/opam/src/./'
RUN echo '(lang dune 3.0)' > '/cygdrive/c/Users/opam/src/./dune-project'
ENV DEPS="alcotest.1.8.0 arch-x86_64.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.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-mingw-w64-gcc-x86_64.1 conf-mingw-w64-gmp-x86_64.1 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 flexdll.0.43 fmt.0.9.0 host-arch-x86_64.1 host-system-mingw.1 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 mingw-w64-shims.0.2.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.8.2 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 system-mingw.1 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /Users/opam/src
RUN cd /cygdrive/c/Users/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build

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

2025-03-05 00:24.18: Using cache hint "mirage/mirage-crypto-windows-server-2022-amd64-ocaml-5.3-windows-server-2022-amd64-5.3_opam-2.3-e2753af94ce9e527b362aef71a619a96"
2025-03-05 00:24.18: Using OBuilder spec:
((from windows-server-2022-amd64-ocaml-5.3)
 (comment windows-server-2022-amd64-5.3_opam-2.3)
 (user (uid 1000) (gid 1000))
 (env CLICOLOR_FORCE 1)
 (env OPAMCOLOR always)
 (run (shell "ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
 (run (shell "opam init --reinit -ni"))
 (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
 (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
      (network host)
      (shell "cd ~/opam-repository && (git cat-file -e 5c627de42309bb6474331d403efeb6d68d617b1e || git fetch origin master) && git reset -q --hard 5c627de42309bb6474331d403efeb6d68d617b1e && 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 /Users/opam/src/./))
 (run (network host)
      (shell  "opam pin add -yn mirage-crypto.dev '/Users/opam/src/./' && \
             \nopam pin add -yn mirage-crypto-rng.dev '/Users/opam/src/./' && \
             \nopam pin add -yn mirage-crypto-rng-mirage.dev '/Users/opam/src/./' && \
             \nopam pin add -yn mirage-crypto-rng-miou-unix.dev '/Users/opam/src/./' && \
             \nopam pin add -yn mirage-crypto-pk.dev '/Users/opam/src/./' && \
             \nopam pin add -yn mirage-crypto-ec.dev '/Users/opam/src/./'"))
 (run (network host)
      (shell "echo '(lang dune 3.0)' > '/cygdrive/c/Users/opam/src/./dune-project'"))
 (env DEPS "alcotest.1.8.0 arch-x86_64.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.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-mingw-w64-gcc-x86_64.1 conf-mingw-w64-gmp-x86_64.1 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 flexdll.0.43 fmt.0.9.0 host-arch-x86_64.1 host-system-mingw.1 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 mingw-w64-shims.0.2.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.8.2 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 system-mingw.1 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14")
 (env CI true)
 (env OCAMLCI true)
 (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
      (network host)
      (shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS"))
 (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
      (network host)
      (shell "opam install $DEPS"))
 (copy (src .) (dst /Users/opam/src))
 (run (shell "cd /cygdrive/c/Users/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
)

2025-03-05 00:24.18: Waiting for resource in pool OCluster
2025-03-05 00:24.18: Waiting for worker…
2025-03-05 00:24.18: Got resource from pool OCluster
Building on odawa
HEAD is now at 1a4e3f2 mirage-crypto-ec: implementation of SECP256K1
HEAD is now at e969714 mirage-crypto-ec: implementation of SECP256K1

(from windows-server-2022-amd64-ocaml-5.3)
2025-03-05 00:24.19 ---> using "1d6ffeb5a52124df73b2e951323e99615c52ca4f9bdf0f65039be6146fabdaab" from cache

/: (comment windows-server-2022-amd64-5.3_opam-2.3)

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

/: (env CLICOLOR_FORCE 1)

/: (env OPAMCOLOR always)

/: (run (shell "ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-03-05 00:24.19 ---> using "95d5d85ee56c2575e196f53fe7f940cc0731fb5c4485beb38b72a714de9d05bf" from cache

/: (run (shell "opam init --reinit -ni"))
No configuration file found, using built-in defaults.

<><> Unix support infrastructure ><><><><><><><><><><><><><><><><><><><><><><><>

opam and the OCaml ecosystem in general require various Unix tools in order to operate correctly. At present, this requires the installation of Cygwin to provide these tools.

How should opam obtain Unix tools?
> 1. Use tools found in PATH (Cygwin installation at C:\cygwin64)
  2. Automatically create an internal Cygwin installation that will be managed by opam (recommended)
  3. Use Cygwin installation found in C:\cygwin64
  4. Use another existing Cygwin/MSYS2 installation
  5. Abort initialisation

[1/2/3/4/5] 1
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://C:/Users/opam/opam-repository
2025-03-05 00:24.19 ---> using "53bae75d46d214e65b51daece9ef873c6c6a891e203ec3d98bbd26c30834d1e2" from cache

/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
CYGWIN_NT-10.0-20348 3.5.5-1.x86_64
The OCaml toplevel, version 5.3.0
2.3.0
2025-03-05 00:24.19 ---> using "2b54922bf0d8d5ddbb1aea4afec4a959968c963bd87de7fe3038a742f957825c" from cache

/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
        (network host)
        (shell "cd ~/opam-repository && (git cat-file -e 5c627de42309bb6474331d403efeb6d68d617b1e || git fetch origin master) && git reset -q --hard 5c627de42309bb6474331d403efeb6d68d617b1e && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   f93eb7cb02..5c627de423  master     -> origin/master
5c627de423 Merge pull request #27523 from hannesm/re-add-base-ocamlbuild

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

Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-03-05 00:24.19 ---> using "1583a10f6b14c0a9a0092b0cbf599021558829c88d12cb9286d7c5c87e3971b7" from cache

/: (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
         (dst /Users/opam/src/./))
2025-03-05 00:24.19 ---> using "2b4fcd1f72b0385ce782241aa3823581ee929dde94b6d5e880d1d2063d26dc35" from cache

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

/: (run (network host)
        (shell "echo '(lang dune 3.0)' > '/cygdrive/c/Users/opam/src/./dune-project'"))
2025-03-05 00:24.19 ---> using "0b261f9599f8220be3f810bf380b3e32924b4c7c27eadda938d0901febe71299" from cache

/: (env DEPS "alcotest.1.8.0 arch-x86_64.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.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-mingw-w64-gcc-x86_64.1 conf-mingw-w64-gmp-x86_64.1 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 flexdll.0.43 fmt.0.9.0 host-arch-x86_64.1 host-system-mingw.1 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 mingw-w64-shims.0.2.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.8.2 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 system-mingw.1 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14")

/: (env CI true)

/: (env OCAMLCI true)

/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
        (network host)
        (shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS"))

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

[NOTE] Package system-mingw is already installed (current version is 1).
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-env-mingw64 is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml is already installed (current version is 5.3.0).
[NOTE] Package mingw-w64-shims is already installed (current version is 0.2.0).
[NOTE] Package host-system-mingw is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package flexdll is already installed (current version is 0.43).
[NOTE] Package conf-mingw-w64-gcc-x86_64 is already installed (current version is 1).
[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).
[NOTE] Package arch-x86_64 is already installed (current version is 1).

The following system packages will first need to be installed:
    mingw64-x86_64-gmp

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

+ C:\Users\opam\AppData\Local\opam\.cygwin\setup-x86_64.exe "--root" "C:\\cygwin64" "--quiet-mode" "unattended" "--no-shortcuts" "--no-startmenu" "--no-desktop" "--no-admin" "--no-version-check" "--no-write-registry" "--packages" "mingw64-x86_64-gmp"
- Starting cygwin install, version 2.932
- User has backup/restore rights
- User has symlink creation right
- Current Directory: C:\Windows\system32
- root: C:\cygwin64 system
- Changing gid to Administrators
- Selected local directory: C:\Windows\system32
- net: Preconfig
- site: https://cygwin.mirror.constant.com/
- solving: 1 tasks, update: no, use test packages: no
- solving: 2 tasks, update: no, use test packages: no
- Augmented Transaction List:
-    0 install mingw64-x86_64-gcc-g++ 12.4.0-1 
-    1 install mingw64-x86_64-gmp     6.3.0-1  
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-x86_64-gcc/mingw64-x86_64-gcc-g++/mingw64-x86_64-gcc-g++-12.4.0-1.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-x86_64-gmp/mingw64-x86_64-gmp-6.3.0-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-x86_64-gcc/mingw64-x86_64-gcc-g++/mingw64-x86_64-gcc-g++-12.4.0-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-x86_64-gmp/mingw64-x86_64-gmp-6.3.0-1.tar.zst
- running: C:\cygwin64\bin\dash.exe "/etc/postinstall/0p_000_autorebase.dash"
- running: C:\cygwin64\bin\dash.exe "/etc/postinstall/0p_update-info-dir.dash"
- running: C:\cygwin64\bin\dash.exe "/etc/postinstall/zp_man-db-update-index.dash"
- Ending cygwin install
- NOTE: you should run 'diskperf -y' to enable the disk statistics
- NOTE: you should run 'diskperf -y' to enable the disk statistics
2025-03-05 00:24.19 ---> using "eabf771d9d0e4079ccc339febbf8f08ea1b2242226dce667e1bb545b36527199" from cache

/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
        (network host)
        (shell "opam install $DEPS"))
[NOTE] Package system-mingw is already installed (current version is 1).
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-env-mingw64 is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml is already installed (current version is 5.3.0).
[NOTE] Package mingw-w64-shims is already installed (current version is 0.2.0).
[NOTE] Package host-system-mingw is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package flexdll is already installed (current version is 0.43).
[NOTE] Package conf-mingw-w64-gcc-x86_64 is already installed (current version is 1).
[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).
[NOTE] Package arch-x86_64 is already installed (current version is 1).
The following actions will be performed:
=== recompile 1 package
  - recompile mingw-w64-shims           0.2.0
=== install 49 packages
  - install   alcotest                  1.8.0
  - install   asn1-combinators          0.3.2
  - install   astring                   0.8.5
  - install   base-bytes                base
  - install   cmdliner                  1.3.0
  - install   conf-gmp                  4
  - install   conf-gmp-powm-sec         3
  - install   conf-mingw-w64-gmp-x86_64 1
  - install   conf-pkg-config           4
  - install   cppo                      1.8.0
  - install   csexp                     1.5.2
  - install   digestif                  1.2.0
  - install   domain-name               0.4.1
  - install   dune                      3.17.2
  - install   dune-configurator         3.17.2
  - install   duration                  0.2.1
  - install   eqaf                      0.10
  - install   fmt                       0.9.0
  - install   ipaddr                    5.6.0
  - install   logs                      0.7.0
  - install   lwt                       5.9.0
  - install   macaddr                   5.6.0
  - install   miou                      0.3.1
  - install   mirage-mtime              5.0.0
  - install   mirage-runtime            4.8.2
  - install   mirage-sleep              4.0.0
  - install   mirage-unix               5.0.1
  - install   mtime                     2.1.0
  - install   ocaml-compiler-libs       v0.17.0
  - install   ocaml-syntax-shims        1.0.0
  - install   ocamlbuild                0.16.1
  - install   ocamlfind                 1.9.8
  - install   ocplib-endian             1.2
  - install   ohex                      0.2.0
  - install   ounit2                    2.2.7
  - install   ppx_derivers              1.2.1
  - install   ppx_deriving              6.0.3
  - install   ppx_deriving_yojson       3.9.1
  - install   ppxlib                    0.35.0
  - install   ptime                     1.2.0
  - install   randomconv                0.2.0
  - install   re                        1.12.0
  - install   seq                       base
  - install   sexplib0                  v0.17.0
  - install   stdlib-shims              0.3.0
  - install   topkg                     1.0.7
  - install   uutf                      1.0.3
  - install   yojson                    2.2.2
  - install   zarith                    1.14

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved asn1-combinators.0.3.2  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved conf-gmp.4  (cached)
-> retrieved conf-gmp-powm-sec.3  (cached)
-> retrieved alcotest.1.8.0  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> retrieved domain-name.0.4.1  (cached)
-> installed conf-pkg-config.4
-> retrieved digestif.1.2.0  (cached)
-> retrieved duration.0.2.1  (cached)
-> installed conf-mingw-w64-gmp-x86_64.1
-> retrieved eqaf.0.10  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved ipaddr.5.6.0, macaddr.5.6.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> installed conf-gmp.4
-> retrieved mingw-w64-shims.0.2.0  (cached)
-> retrieved lwt.5.9.0  (cached)
-> retrieved miou.0.3.1  (cached)
-> installed conf-gmp-powm-sec.3
-> installed mingw-w64-shims.0.2.0
-> retrieved mirage-runtime.4.8.2  (cached)
-> retrieved mirage-mtime.5.0.0  (https://github.com/mirage/mirage-mtime/releases/download/v5.0.0/mirage-mtime-5.0.0.tbz)
-> retrieved mirage-sleep.4.0.0  (https://github.com/mirage/mirage-sleep/releases/download/v4.0.0/mirage-sleep-4.0.0.tbz)
-> retrieved mirage-unix.5.0.1  (cached)
-> retrieved mtime.2.1.0  (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 dune.3.17.2, dune-configurator.3.17.2  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved ounit2.2.2.7  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.0.3  (cached)
-> retrieved ppx_deriving_yojson.3.9.1  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved randomconv.0.2.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved re.1.12.0  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved yojson.2.2.2  (cached)
-> installed cmdliner.1.3.0
-> retrieved ppxlib.0.35.0  (https://github.com/ocaml-ppx/ppxlib/releases/download/0.35.0/ppxlib-0.35.0.tbz)
[WARNING] .install file is missing .exe extension for src/findlib/ocamlfind
[WARNING] .install file is missing .exe extension for src/findlib/ocamlfind_opt
[WARNING] Automatically adding .exe to C:\Users\opam\AppData\Local\opam\5.3.0\.opam-switch\build\ocamlfind.1.9.8\src\findlib\ocamlfind.exe
[WARNING] Automatically adding .exe to C:\Users\opam\AppData\Local\opam\5.3.0\.opam-switch\build\ocamlfind.1.9.8\src\findlib\ocamlfind_opt.exe
[WARNING] C:\Users\opam\AppData\Local\opam\5.3.0\bin\safe_camlp4 is a script; the command won't be available
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed astring.0.8.5
-> installed fmt.0.9.0
-> installed mtime.2.1.0
-> installed dune.3.17.2
-> installed ptime.1.2.0
-> installed csexp.1.5.2
-> installed duration.0.2.1
-> installed asn1-combinators.0.3.2
-> installed cppo.1.8.0
-> installed domain-name.0.4.1
-> installed eqaf.0.10
-> installed macaddr.5.6.0
-> installed miou.0.3.1
-> installed mirage-mtime.5.0.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocplib-endian.1.2
-> installed ohex.0.2.0
-> installed ppx_derivers.1.2.1
-> installed randomconv.0.2.0
-> installed re.1.12.0
-> installed ipaddr.5.6.0
-> installed digestif.1.2.0
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed yojson.2.2.2
-> installed dune-configurator.3.17.2
-> installed alcotest.1.8.0
-> installed ounit2.2.2.7
-> installed lwt.5.9.0
-> installed mirage-sleep.4.0.0
-> installed logs.0.7.0
-> installed mirage-runtime.4.8.2
-> installed ppxlib.0.35.0
-> installed mirage-unix.5.0.1
-> installed ppx_deriving.6.0.3
-> installed ppx_deriving_yojson.3.9.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-03-05 00:24.19 ---> using "907e0c446e0c624f57e29f695ff437e7ab781b384733e9a4f6228ae4dbfc7813" from cache

/: (copy (src .) (dst /Users/opam/src))
2025-03-05 00:24.32 ---> saved as "1ce8b99c561e85ad701d7fdb89d54bf44acdc3a0c509dc4d6d1b7c826e0f14fe"

/: (run (shell "cd /cygdrive/c/Users/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.02 seconds.
OK
(cd _build/default/tests && .\test_random_runner.exe)
.........
Ran: 9 tests in: 0.03 seconds.
OK
File "tests/dune", line 60, characters 26-54:
60 |  (names     test_miou_rng test_miou_entropy_collection)
                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default/tests && .\test_miou_entropy_collection.exe)
Fatal error: exception Unix.Unix_error(Unix.ENOTSOCK, "caml_unix_set_nonblock", "")
File "tests/dune", line 60, characters 12-25:
60 |  (names     test_miou_rng test_miou_entropy_collection)
                 ^^^^^^^^^^^^^
(cd _build/default/tests && .\test_miou_rng.exe)
Fatal error: exception Unix.Unix_error(Unix.ENOTSOCK, "caml_unix_set_nonblock", "")
(cd _build/default/tests && .\test_entropy_collection.exe)
reseeding:
000000  0008 14f2 7c4a 4ed5  dc2e 0108 7db4 7022  ....|JN.....}.p"
000010  46b1 10e4 02c8 5060  0962 8b68 a66a b072  F.....P`.b.h.j.r
000020  eb7a d283 668f bc99  189f 79a8 01aa 21b0  .z..f.....y...!.
000030  9cb0 9eb2 90ba 69c2  c7c9 3ccf 17d9 71dc  ......i...<...q.
000040  e0dd 9ee3 a0ee aaf6  b902 970e 8816 301e  ..............0.
000050  e324 aa27 dc32 923b  6246 a84d bb52 0e5b  .$.'.2.;bF.M.R.[
000060  5764 7d65 156a 7e70  0672 3f78 0379 2b7c  Wd}e.j~p.r?x.y+|
000070  be7c 237f b588 e88a  b693 019f 31a8 dda8  .|#.........1...
000080  8bab 43b6 3fbd 13c1  6dc4 c4c5 38cb fbd4  ..C.?...m...8...
000090  0bd8 55d8 62d9 c9dd  3ee3 32ed d5f0 83f3  ..U.b...>.2.....
0000a0  22fe bd04 0907 5110  4611 4b15 3819 0c1d  ".....Q.F.K.8...
0000b0  4d20 4221 2e25 d128  672b bd35 193b 9244  M B!.%.(g+.5.;.D
0000c0  6446 aa4d bc52 105b  7164 e065 9e6b a076  dF.M.R.[qd.e.k.v
0000d0  917e 6a86 c98d 3d93  199d 8ba0 44a2 0308  .~j...=.....D...
0000e0  ed6b 153b c3fc 1a5d                       .k.;...]

accumulate: (src: [0] rdrand) ef94 f25d b503 8b7d  
entropy sources: [0] rdrand [1] timer 
accumulate: (src: [1] timer) 257f 7e98 
accumulate: (src: [0] rdrand) 8ee1 6881 a103 eb9b  
accumulate: (src: [1] timer) d2a4 1728 
accumulate: (src: [0] rdrand) 59b6 8097 27c8 372b  
accumulate: (src: [1] timer) 4302 23bc 
accumulate: (src: [0] rdrand) 6be7 3038 2229 0c84  
(cd _build/default/tests && .\test_ec.exe)
Testing `EC'.
This run has ID `6470XQQG'.

  [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 mult (#0).
  [OK]          P256 Low level scalar mult                      1   Scalar mult (#1).
  [OK]          P256 Low level scalar mult                      2   Scalar mult (#2).
  [OK]          P256 Low level scalar mult                      3   Scalar mult (#3).
  [OK]          P256 Low level scalar mult                      4   Scalar mult (#4).
  [OK]          P256 Low level scalar mult                      5   Scalar mult (#5).
  [OK]          P256 Point validation                           0   Ok.
  [OK]          P256 Point validation                           1   P=0.
  [OK]          P256 Point validation                           2   (0, sqrt(b)).
  [OK]          P256 Point validation                           3   out of range.
  [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 verify.
  [OK]          ECDSA RFC 6979 P256                             0   public key matches.
  [OK]          ECDSA RFC 6979 P256                             1   public key compression and decompression.
  [OK]          ECDSA RFC 6979 P256                             2   RFC 6979 A.2.5 0.
  [OK]          ECDSA RFC 6979 P256                             3   RFC 6979 A.2.5 1.
  [OK]          ECDSA RFC 6979 P256                             4   RFC 6979 A.2.5 2.
  [OK]          ECDSA RFC 6979 P256                             5   RFC 6979 A.2.5 3.
  [OK]          ECDSA RFC 6979 P256                             6   RFC 6979 A.2.5 4.
  [OK]          ECDSA RFC 6979 P256                             7   RFC 6979 A.2.5 5.
  [OK]          ECDSA RFC 6979 P256                             8   RFC 6979 A.2.5 6.
  [OK]          ECDSA RFC 6979 P256                             9   RFC 6979 A.2.5 7.
  [OK]          ECDSA RFC 6979 P256                            10   RFC 6979 A.2.5 8.
  [OK]          ECDSA RFC 6979 P256                            11   RFC 6979 A.2.5 9.
  [OK]          ECDSA RFC 6979 P384                             0   public key matches.
  [OK]          ECDSA RFC 6979 P384                             1   public key compression and decompression.
  [OK]          ECDSA RFC 6979 P384                             2   RFC 6979 A.2.6 0.
  [OK]          ECDSA RFC 6979 P384                             3   RFC 6979 A.2.6 1.
  [OK]          ECDSA RFC 6979 P384                             4   RFC 6979 A.2.6 2.
  [OK]          ECDSA RFC 6979 P384                             5   RFC 6979 A.2.6 3.
  [OK]          ECDSA RFC 6979 P384                             6   RFC 6979 A.2.6 4.
  [OK]          ECDSA RFC 6979 P384                             7   RFC 6979 A.2.6 5.
  [OK]          ECDSA RFC 6979 P384                             8   RFC 6979 A.2.6 6.
  [OK]          ECDSA RFC 6979 P384                             9   RFC 6979 A.2.6 7.
  [OK]          ECDSA RFC 6979 P384                            10   RFC 6979 A.2.6 8.
  [OK]          ECDSA RFC 6979 P384                            11   RFC 6979 A.2.6 9.
  [OK]          ECDSA RFC 6979 P521                             0   public key matches.
  [OK]          ECDSA RFC 6979 P521                             1   public key compression and decompression.
  [OK]          ECDSA RFC 6979 P521                             2   RFC 6979 A.2.7 0.
  [OK]          ECDSA RFC 6979 P521                             3   RFC 6979 A.2.7 1.
  [OK]          ECDSA RFC 6979 P521                             4   RFC 6979 A.2.7 2.
  [OK]          ECDSA RFC 6979 P521                             5   RFC 6979 A.2.7 3.
  [OK]          ECDSA RFC 6979 P521                             6   RFC 6979 A.2.7 4.
  [OK]          ECDSA RFC 6979 P521                             7   RFC 6979 A.2.7 5.
  [OK]          ECDSA RFC 6979 P521                             8   RFC 6979 A.2.7 6.
  [OK]          ECDSA RFC 6979 P521                             9   RFC 6979 A.2.7 7.
  [OK]          ECDSA RFC 6979 P521                            10   RFC 6979 A.2.7 8.
  [OK]          ECDSA RFC 6979 P521                            11   RFC 6979 A.2.7 9.
  [OK]          X25519                                          0   RFC 7748.
  [OK]          ED25519                                         0   RFC 8032 1.
  [OK]          ED25519                                         1   RFC 8032 2.
  [OK]          ED25519                                         2   RFC 8032 3.
  [OK]          ED25519                                         3   RFC 8032 4.
  [OK]          ED25519                                         4   RFC 8032 5.
  [OK]          ECDSA P521 regression                           0   regression1.
  [OK]          secp256k1 ECDSA                                 0   ECDSA gen.
  [OK]          secp256k1 ECDSA                                 1   ECDSA verify.
  [OK]          secp256k1 ECDSA sign                            0   ECDSA sign 0.
  [OK]          secp256k1 ECDSA sign                            1   ECDSA sign 1.
  [OK]          secp256k1 ECDSA sign                            2   ECDSA sign 2.
  [OK]          secp256k1 ECDSA sign                            3   ECDSA sign 3.
  [OK]          secp256k1 ECDSA sign                            4   ECDSA sign 4.
  [OK]          secp256k1 ECDSA sign                            5   ECDSA sign 5.
  [OK]          secp256k1 ECDSA sign                            6   ECDSA sign 6.

Full test results in `~\src\_build\default\tests\_build\_tests\6470XQQG'.
Test Successful in 0.078s. 73 tests run.
(cd _build/default/tests && .\test_pk_runner.exe)
.......................................................................................................................................................................................................................................................................................................................................................................
Ran: 359 tests in: 2.98 seconds.
OK
(cd _build/default/tests && .\test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `QES0WO01'.

  [OK]          ECDH P256 test vectors                      0   1 - normal case.
  [OK]          ECDH P256 test vectors                      1   2 - compressed public key.
  [OK]          ECDH P256 test vectors                      2   3 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                      3   4 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                      4   5 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                      5   6 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                      6   7 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                      7   8 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                      8   9 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                      9   10 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                     10   11 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                     11   12 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                     12   13 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                     13   14 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                     14   15 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                     15   16 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                     16   17 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                     17   18 - edge case for shared secret.
  [OK]          ECDH P256 test vectors                     18   19 - y-coordinate of the public key is small.
  [OK]          ECDH P256 test vectors                     19   20 - y-coordinate of the public key is small.
  [OK]          ECDH P256 test vectors                     20   21 - y-coordinate of the public key is small.
  [OK]          ECDH P256 test vectors                     21   22 - y-coordinate of the public key is large.
  [OK]          ECDH P256 test vectors                     22   23 - y-coordinate of the public key is large.
  [OK]          ECDH P256 test vectors                     23   24 - y-coordinate of the public key is large.
  [OK]          ECDH P256 test vectors                     24   25 - y-coordinate of the public key has many trailing...
  [OK]          ECDH P256 test vectors                     25   26 - y-coordinate of the public key has many trailing...
  [OK]          ECDH P256 test vectors                     26   27 - y-coordinate of the public key has many trailing...
  [OK]          ECDH P256 test vectors                     27   28 - y-coordinate of the public key has many trailing...
  [OK]          ECDH P256 test vectors                     28   29 - y-coordinate of the public key has many trailing...
  [OK]          ECDH P256 test vectors                     29   30 - y-coordinate of the public key has many trailing...
  [OK]          ECDH P256 test vectors                     30   31 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     31   32 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     32   33 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     33   34 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     34   35 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     35   36 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     36   37 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     37   38 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     38   39 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     39   40 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     40   41 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     41   42 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     42   43 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     43   44 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     44   45 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     45   46 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     46   47 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     47   48 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     48   49 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     49   50 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     50   51 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     51   52 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     52   53 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     53   54 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     54   55 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     55   56 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     56   57 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     57   58 - edge cases for ephemeral key.
  [OK]          ECDH P256 test vectors                     58   59 - point with coordinate x = 0.
  [OK]          ECDH P256 test vectors                     59   60 - point with coordinate x = 0.
  [OK]          ECDH P256 test vectors                     60   61 - point with coordinate x = 0.
  [OK]          ECDH P256 test vectors                     61   62 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     62   63 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     63   64 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     64   65 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     65   66 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     66   67 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     67   68 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     68   69 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     69   70 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     70   71 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     71   72 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     72   73 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     73   74 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     74   75 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     75   76 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     76   77 - point with coordinate x = 0 in left to right add...
  [OK]          ECDH P256 test vectors                     77   78 - point with coordinate x = 0 in precomputation or...
  [OK]          ECDH P256 test vectors                     78   79 - point with coordinate x = 0 in precomputation or...
  [OK]          ECDH P256 test vectors                     79   80 - point with coordinate x = 0 in precomputation or...
  [OK]          ECDH P256 test vectors                     80   81 - point with coordinate x = 0 in precomputation or...
  [OK]          ECDH P256 test vectors                     81   82 - point with coordinate x = 0 in precomputation or...
  [OK]          ECDH P256 test vectors                     82   83 - point with coordinate x = 0 in precomputation or...
  [OK]          ECDH P256 test vectors                     83   84 - point with coordinate x = 0 in right to left add...
  [OK]          ECDH P256 test vectors                     84   85 - point with coordinate x = 0 in right to left add...
  [OK]          ECDH P256 test vectors                     85   86 - point with coordinate x = 0 in right to left add...
  [OK]          ECDH P256 test vectors                     86   87 - point with coordinate x = 0 in right to left add...
  [OK]          ECDH P256 test vectors                     87   88 - point with coordinate x = 0 in right to left add...
  [OK]          ECDH P256 test vectors                     88   89 - point with coordinate y = 1.
  [OK]          ECDH P256 test vectors                     89   90 - point with coordinate y = 1.
  [OK]          ECDH P256 test vectors                     90   91 - point with coordinate y = 1.
  [OK]          ECDH P256 test vectors                     91   92 - point with coordinate y = 1.
  [OK]          ECDH P256 test vectors                     92   93 - point with coordinate y = 1.
  [OK]          ECDH P256 test vectors                     93   94 - point with coordinate y = 1.
  [OK]          ECDH P256 test vectors                     94   95 - point with coordinate y = 1.
  [OK]          ECDH P256 test vectors                     95   96 - point with coordinate y = 1.
  [OK]          ECDH P256 test vectors                     96   97 - point with coordinate y = 1.
  [OK]          ECDH P256 test vectors                     97   98 - point with coordinate y = 1 in left to right add...
  [OK]          ECDH P256 test vectors                     98   99 - point with coordinate y = 1 in left to right add...
  [OK]          ECDH P256 test vectors                     99   100 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    100   101 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    101   102 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    102   103 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    103   104 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    104   105 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    105   106 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    106   107 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    107   108 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    108   109 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    109   110 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    110   111 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    111   112 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    112   113 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    113   114 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    114   115 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    115   116 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    116   117 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    117   118 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    118   119 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    119   120 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    120   121 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    121   122 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    122   123 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    123   124 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    124   125 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    125   126 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    126   127 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    127   128 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    128   129 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    129   130 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    130   131 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    131   132 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    132   133 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    133   134 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    134   135 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    135   136 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    136   137 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    137   138 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    138   139 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    139   140 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    140   141 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    141   142 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    142   143 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    143   144 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    144   145 - point with coordinate y = 1 in left to right ad...
  [OK]          ECDH P256 test vectors                    145   146 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    146   147 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    147   148 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    148   149 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    149   150 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    150   151 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    151   152 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    152   153 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    153   154 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    154   155 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    155   156 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    156   157 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    157   158 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    158   159 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    159   160 - point with coordinate y = 1 in precomputation o...
  [OK]          ECDH P256 test vectors                    160   161 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    161   162 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    162   163 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    163   164 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    164   165 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    165   166 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    166   167 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    167   168 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    168   169 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    169   170 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    170   171 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    171   172 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    172   173 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    173   174 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    174   175 - point with coordinate y = 1 in right to left ad...
  [OK]          ECDH P256 test vectors                    175   176 - edge case private key.
  [OK]          ECDH P256 test vectors                    176   177 - edge case private key.
  [OK]          ECDH P256 test vectors                    177   178 - edge case private key.
  [OK]          ECDH P256 test vectors                    178   179 - edge case private key.
  [OK]          ECDH P256 test vectors                    179   180 - edge case private key.
  [OK]          ECDH P256 test vectors                    180   181 - edge case private key.
  [OK]          ECDH P256 test vectors                    181   182 - edge case private key.
  [OK]          ECDH P256 test vectors                    182   183 - edge case private key.
  [OK]          ECDH P256 test vectors                    183   184 - edge case private key.
  [OK]          ECDH P256 test vectors                    184   185 - edge case private key.
  [OK]          ECDH P256 test vectors                    185   186 - edge case private key.
  [OK]          ECDH P256 test vectors                    186   187 - edge case private key.
  [OK]          ECDH P256 test vectors                    187   188 - edge case private key.
  [OK]          ECDH P256 test vectors                    188   189 - edge case private key.
  [OK]          ECDH P256 test vectors                    189   190 - edge case private key.
  [OK]          ECDH P256 test vectors                    190   191 - CVE-2017-8932.
  [OK]          ECDH P256 test vectors                    191   192 - CVE-2017-8932.
  [OK]          ECDH P256 test vectors                    192   193 - point is not on curve.
  [OK]          ECDH P256 test vectors                    193   194 - point is not on curve.
  [OK]          ECDH P256 test vectors                    194   195 - point is not on curve.
  [OK]          ECDH P256 test vectors                    195   196 - point is not on curve.
  [OK]          ECDH P256 test vectors                    196   197 - point is not on curve.
  [OK]          ECDH P256 test vectors                    197   198 - point is not on curve.
  [OK]          ECDH P256 test vectors                    198   199 - point is not on curve.
  [OK]          ECDH P256 test vectors                    199   200 - point is not on curve.
  [OK]          ECDH P256 test vectors                    200   201 - point is not on curve.
  [OK]          ECDH P256 test vectors                    201   202 - point is not on curve.
  [OK]          ECDH P256 test vectors                    202   203 - point is not on curve.
  [OK]          ECDH P256 test vectors                    203   204 - point is not on curve.
  [OK]          ECDH P256 test vectors                    204   205 - point is not on curve.
  [OK]          ECDH P256 test vectors                    205   206 - point is not on curve.
  [OK]          ECDH P256 test vectors                    206   207 - point is not on curve.
  [OK]          ECDH P256 test vectors                    207   208 - point is not on curve.
  [OK]          ECDH P256 test vectors                    208   209 - .
  [OK]          ECDH P256 test vectors                    209   210 - public point not on curve.
  [OK]          ECDH P256 test vectors                    210   211 - public point = (0,0).
  [OK]          ECDH P256 test vectors                    211   224 - using secp224r1.
  [OK]          ECDH P256 test vectors                    212   225 - using secp256k1.
  [OK]          ECDH P256 test vectors                    213   228 - Public key uses wrong curve: secp224r1.
  [OK]          ECDH P256 test vectors                    214   229 - Public key uses wrong curve: secp384r1.
  [OK]          ECDH P256 test vectors                    215   230 - Public key uses wrong curve: secp521r1.
  [OK]          ECDH P256 test vectors                    216   231 - Public key uses wrong curve: secp256k1.
  [OK]          ECDH P256 test vectors                    217   232 - Public key uses wrong curve: secp224k1.
  [OK]          ECDH P256 test vectors                    218   233 - Public key uses wrong curve: brainpoolP224r1.
  [OK]          ECDH P256 test vectors                    219   234 - Public key uses wrong curve: brainpoolP256r1.
  [OK]          ECDH P256 test vectors                    220   235 - Public key uses wrong curve: brainpoolP320r1.
  [OK]          ECDH P256 test vectors                    221   236 - Public key uses wrong curve: brainpoolP384r1.
  [OK]          ECDH P256 test vectors                    222   237 - Public key uses wrong curve: brainpoolP512r1.
  [OK]          ECDH P256 test vectors                    223   238 - Public key uses wrong curve: brainpoolP224t1.
  [OK]          ECDH P256 test vectors                    224   239 - Public key uses wrong curve: brainpoolP256t1.
  [OK]          ECDH P256 test vectors                    225   240 - Public key uses wrong curve: brainpoolP320t1.
  [OK]          ECDH P256 test vectors                    226   241 - Public key uses wrong curve: brainpoolP384t1.
  [OK]          ECDH P256 test vectors                    227   242 - Public key uses wrong curve: brainpoolP512t1.
  [OK]          ECDH P256 test vectors                    228   243 - invalid public key.
  [OK]          ECDH P256 test vectors                    229   244 - public key is a low order point on twist.
  [OK]          ECDH P256 test vectors                    230   245 - public key is a low order point on twist.
  [OK]          ECDH P256 test vectors                    231   246 - public key is a low order point on twist.
  [OK]          ECDH P256 test vectors                    232   247 - public key is a low order point on twist.
  [OK]          ECDH P256 test vectors                    233   248 - public key is a low order point on twist.
  [OK]          ECDH P256 test vectors                    234   249 - public key is a low order point on twist.
  [OK]          ECDSA P256 test vectors (SHA256)            0   1 - signature malleability.
  [OK]          ECDSA P256 test vectors (SHA256)            1   2 - Legacy:ASN encoding of s misses leading 0.
  [OK]          ECDSA P256 test vectors (SHA256)            2   3 - valid.
  [OK]          ECDSA P256 test vectors (SHA256)            3   4 - long form encoding of length of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)            4   5 - length of sequence contains leading 0.
  [OK]          ECDSA P256 test vectors (SHA256)            5   6 - wrong length of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)            6   7 - wrong length of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)            7   8 - uint32 overflow in length of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)            8   9 - uint64 overflow in length of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)            9   10 - length of sequence = 2**31 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           10   11 - length of sequence = 2**32 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           11   12 - length of sequence = 2**40 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           12   13 - length of sequence = 2**64 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           13   14 - incorrect length of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           14   15 - indefinite length without termination.
  [OK]          ECDSA P256 test vectors (SHA256)           15   16 - indefinite length without termination.
  [OK]          ECDSA P256 test vectors (SHA256)           16   17 - indefinite length without termination.
  [OK]          ECDSA P256 test vectors (SHA256)           17   18 - removing sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           18   19 - lonely sequence tag.
  [OK]          ECDSA P256 test vectors (SHA256)           19   20 - appending 0's to sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           20   21 - prepending 0's to sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           21   22 - appending unused 0's to sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           22   23 - appending null value to sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           23   24 - including garbage.
  [OK]          ECDSA P256 test vectors (SHA256)           24   25 - including garbage.
  [OK]          ECDSA P256 test vectors (SHA256)           25   26 - including garbage.
  [OK]          ECDSA P256 test vectors (SHA256)           26   27 - including garbage.
  [OK]          ECDSA P256 test vectors (SHA256)           27   28 - including garbage.
  [OK]          ECDSA P256 test vectors (SHA256)           28   29 - including garbage.
  [OK]          ECDSA P256 test vectors (SHA256)           29   30 - including garbage.
  [OK]          ECDSA P256 test vectors (SHA256)           30   31 - including garbage.
  [OK]          ECDSA P256 test vectors (SHA256)           31   32 - including garbage.
  [OK]          ECDSA P256 test vectors (SHA256)           32   33 - including undefined tags.
  [OK]          ECDSA P256 test vectors (SHA256)           33   34 - including undefined tags.
  [OK]          ECDSA P256 test vectors (SHA256)           34   35 - including undefined tags.
  [OK]          ECDSA P256 test vectors (SHA256)           35   36 - including undefined tags.
  [OK]          ECDSA P256 test vectors (SHA256)           36   37 - including undefined tags.
  [OK]          ECDSA P256 test vectors (SHA256)           37   38 - including undefined tags.
  [OK]          ECDSA P256 test vectors (SHA256)           38   39 - truncated length of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           39   40 - using composition with indefinite length.
  [OK]          ECDSA P256 test vectors (SHA256)           40   41 - using composition with indefinite length.
  [OK]          ECDSA P256 test vectors (SHA256)           41   42 - using composition with indefinite length.
  [OK]          ECDSA P256 test vectors (SHA256)           42   43 - using composition with wrong tag.
  [OK]          ECDSA P256 test vectors (SHA256)           43   44 - using composition with wrong tag.
  [OK]          ECDSA P256 test vectors (SHA256)           44   45 - using composition with wrong tag.
  [OK]          ECDSA P256 test vectors (SHA256)           45   46 - Replacing sequence with NULL.
  [OK]          ECDSA P256 test vectors (SHA256)           46   47 - changing tag value of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           47   48 - changing tag value of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           48   49 - changing tag value of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           49   50 - changing tag value of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           50   51 - changing tag value of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           51   52 - dropping value of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           52   53 - using composition for sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           53   54 - truncated sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           54   55 - truncated sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           55   56 - indefinite length.
  [OK]          ECDSA P256 test vectors (SHA256)           56   57 - indefinite length with truncated delimiter.
  [OK]          ECDSA P256 test vectors (SHA256)           57   58 - indefinite length with additional element.
  [OK]          ECDSA P256 test vectors (SHA256)           58   59 - indefinite length with truncated element.
  [OK]          ECDSA P256 test vectors (SHA256)           59   60 - indefinite length with garbage.
  [OK]          ECDSA P256 test vectors (SHA256)           60   61 - indefinite length with nonempty EOC.
  [OK]          ECDSA P256 test vectors (SHA256)           61   62 - prepend empty sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           62   63 - append empty sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           63   64 - append garbage with high tag number.
  [OK]          ECDSA P256 test vectors (SHA256)           64   65 - sequence of sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           65   66 - truncated sequence: removed last 1 elements.
  [OK]          ECDSA P256 test vectors (SHA256)           66   67 - repeating element in sequence.
  [OK]          ECDSA P256 test vectors (SHA256)           67   68 - long form encoding of length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           68   69 - long form encoding of length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           69   70 - length of integer contains leading 0.
  [OK]          ECDSA P256 test vectors (SHA256)           70   71 - length of integer contains leading 0.
  [OK]          ECDSA P256 test vectors (SHA256)           71   72 - wrong length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           72   73 - wrong length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           73   74 - wrong length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           74   75 - wrong length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           75   76 - uint32 overflow in length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           76   77 - uint32 overflow in length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           77   78 - uint64 overflow in length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           78   79 - uint64 overflow in length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           79   80 - length of integer = 2**31 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           80   81 - length of integer = 2**31 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           81   82 - length of integer = 2**32 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           82   83 - length of integer = 2**32 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           83   84 - length of integer = 2**40 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           84   85 - length of integer = 2**40 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           85   86 - length of integer = 2**64 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           86   87 - length of integer = 2**64 - 1.
  [OK]          ECDSA P256 test vectors (SHA256)           87   88 - incorrect length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           88   89 - incorrect length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)           89   90 - removing integer.
  [OK]          ECDSA P256 test vectors (SHA256)           90   91 - lonely integer tag.
  [OK]          ECDSA P256 test vectors (SHA256)           91   92 - lonely integer tag.
  [OK]          ECDSA P256 test vectors (SHA256)           92   93 - appending 0's to integer.
  [OK]          ECDSA P256 test vectors (SHA256)           93   94 - appending 0's to integer.
  [OK]          ECDSA P256 test vectors (SHA256)           94   95 - prepending 0's to integer.
  [OK]          ECDSA P256 test vectors (SHA256)           95   96 - prepending 0's to integer.
  [OK]          ECDSA P256 test vectors (SHA256)           96   97 - appending unused 0's to integer.
  [OK]          ECDSA P256 test vectors (SHA256)           97   98 - appending null value to integer.
  [OK]          ECDSA P256 test vectors (SHA256)           98   99 - appending null value to integer.
  [OK]          ECDSA P256 test vectors (SHA256)           99   100 - truncated length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          100   101 - truncated length of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          101   102 - Replacing integer with NULL.
  [OK]          ECDSA P256 test vectors (SHA256)          102   103 - Replacing integer with NULL.
  [OK]          ECDSA P256 test vectors (SHA256)          103   104 - changing tag value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          104   105 - changing tag value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          105   106 - changing tag value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          106   107 - changing tag value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          107   108 - changing tag value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          108   109 - changing tag value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          109   110 - changing tag value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          110   111 - changing tag value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          111   112 - changing tag value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          112   113 - changing tag value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          113   114 - dropping value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          114   115 - dropping value of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          115   116 - using composition for integer.
  [OK]          ECDSA P256 test vectors (SHA256)          116   117 - using composition for integer.
  [OK]          ECDSA P256 test vectors (SHA256)          117   118 - modify first byte of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          118   119 - modify first byte of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          119   120 - modify last byte of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          120   121 - modify last byte of integer.
  [OK]          ECDSA P256 test vectors (SHA256)          121   122 - truncated integer.
  [OK]          ECDSA P256 test vectors (SHA256)          122   123 - truncated integer.
  [OK]          ECDSA P256 test vectors (SHA256)          123   124 - truncated integer.
  [OK]          ECDSA P256 test vectors (SHA256)          124   125 - leading ff in integer.
  [OK]          ECDSA P256 test vectors (SHA256)          125   126 - leading ff in integer.
  [OK]          ECDSA P256 test vectors (SHA256)          126   127 - replaced integer by infinity.
  [OK]          ECDSA P256 test vectors (SHA256)          127   128 - replaced integer by infinity.
  [OK]          ECDSA P256 test vectors (SHA256)          128   129 - replacing integer with zero.
  [OK]          ECDSA P256 test vectors (SHA256)          129   130 - replacing integer with zero.
  [OK]          ECDSA P256 test vectors (SHA256)          130   131 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          131   132 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          132   133 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          133   134 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          134   135 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          135   136 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          136   137 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          137   138 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          138   139 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          139   140 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          140   141 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          141   142 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          142   143 - Modified r or s, e.g. by adding or subtracting ...
  [OK]          ECDSA P256 test vectors (SHA256)          143   144 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          144   145 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          145   146 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          146   147 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          147   148 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          148   149 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          149   150 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          150   151 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          151   152 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          152   153 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          153   154 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          154   155 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          155   156 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          156   157 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          157   158 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          158   159 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          159   160 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          160   161 - Signature with special case values for r and s.
  [OK]          ECDSA P256 test vectors (SHA256)          161   162 - Signature with special case values for r and s.
...TRUNCATED BY DUNE...
  [OK]          X25519 test vectors                       267   268 - special case for E in multiplication by 4.
  [OK]          X25519 test vectors                       268   269 - special case for E in multiplication by 4.
  [OK]          X25519 test vectors                       269   270 - special case for E in multiplication by 4.
  [OK]          X25519 test vectors                       270   271 - special case for B in multiplication by 4.
  [OK]          X25519 test vectors                       271   272 - special case for B in multiplication by 4.
  [OK]          X25519 test vectors                       272   273 - special case for B in multiplication by 4.
  [OK]          X25519 test vectors                       273   274 - special case for B in multiplication by 4.
  [OK]          X25519 test vectors                       274   275 - special case for B in multiplication by 4.
  [OK]          X25519 test vectors                       275   276 - special case for B in multiplication by 4.
  [OK]          X25519 test vectors                       276   277 - special case for B in multiplication by 4.
  [OK]          X25519 test vectors                       277   278 - special case for B in multiplication by 4.
  [OK]          X25519 test vectors                       278   279 - special case for BB in multiplication by 4.
  [OK]          X25519 test vectors                       279   280 - special case for BB in multiplication by 4.
  [OK]          X25519 test vectors                       280   281 - special case for BB in multiplication by 4.
  [OK]          X25519 test vectors                       281   282 - special case for BB in multiplication by 4.
  [OK]          X25519 test vectors                       282   283 - special case for BB in multiplication by 4.
  [OK]          X25519 test vectors                       283   284 - special case for x_2 in multiplication by 4.
  [OK]          X25519 test vectors                       284   285 - special case for x_2 in multiplication by 4.
  [OK]          X25519 test vectors                       285   286 - special case for x_2 in multiplication by 4.
  [OK]          X25519 test vectors                       286   287 - special case for x_2 in multiplication by 4.
  [OK]          X25519 test vectors                       287   288 - special case for x_2 in multiplication by 4.
  [OK]          X25519 test vectors                       288   289 - special case for x_2 in multiplication by 4.
  [OK]          X25519 test vectors                       289   290 - special case for x_2 in multiplication by 4.
  [OK]          X25519 test vectors                       290   291 - special case for x_2 in multiplication by 4.
  [OK]          X25519 test vectors                       291   292 - special case for x_2 in multiplication by 4.
  [OK]          X25519 test vectors                       292   293 - special case for x_2 in multiplication by 4.
  [OK]          X25519 test vectors                       293   294 - special case for DA + CB in multiplication by 4.
  [OK]          X25519 test vectors                       294   295 - special case for DA + CB in multiplication by 4.
  [OK]          X25519 test vectors                       295   296 - special case for DA + CB in multiplication by 4.
  [OK]          X25519 test vectors                       296   297 - special case for A in multiplication by 4.
  [OK]          X25519 test vectors                       297   298 - special case for A in multiplication by 4.
  [OK]          X25519 test vectors                       298   299 - special case for A in multiplication by 4.
  [OK]          X25519 test vectors                       299   300 - special case for A in multiplication by 4.
  [OK]          X25519 test vectors                       300   301 - special case for DA - CB in multiplication by 4.
  [OK]          X25519 test vectors                       301   302 - special case for DA - CB in multiplication by 4.
  [OK]          X25519 test vectors                       302   303 - special case for DA - CB in multiplication by 4.
  [OK]          X25519 test vectors                       303   304 - special case for DA - CB in multiplication by 4.
  [OK]          X25519 test vectors                       304   305 - special case for DA - CB in multiplication by 4.
  [OK]          X25519 test vectors                       305   306 - special case for C in multiplication by 4.
  [OK]          X25519 test vectors                       306   307 - special case for C in multiplication by 4.
  [OK]          X25519 test vectors                       307   308 - special case for C in multiplication by 4.
  [OK]          X25519 test vectors                       308   309 - special case for C in multiplication by 4.
  [OK]          X25519 test vectors                       309   310 - special case for z_2 in multiplication by 4.
  [OK]          X25519 test vectors                       310   311 - special case for z_2 in multiplication by 4.
  [OK]          X25519 test vectors                       311   312 - special case for z_2 in multiplication by 4.
  [OK]          X25519 test vectors                       312   313 - special case for CB in multiplication by 4.
  [OK]          X25519 test vectors                       313   314 - special case for CB in multiplication by 4.
  [OK]          X25519 test vectors                       314   315 - special case for CB in multiplication by 4.
  [OK]          X25519 test vectors                       315   316 - special case for CB in multiplication by 4.
  [OK]          X25519 test vectors                       316   317 - special case for AA in multiplication by 4.
  [OK]          X25519 test vectors                       317   318 - special case for AA in multiplication by 4.
  [OK]          X25519 test vectors                       318   319 - special case for AA in multiplication by 4.
  [OK]          X25519 test vectors                       319   320 - special case for AA in multiplication by 4.
  [OK]          X25519 test vectors                       320   321 - special case for AA in multiplication by 4.
  [OK]          X25519 test vectors                       321   322 - special case for AA in multiplication by 4.
  [OK]          X25519 test vectors                       322   323 - special case for AA in multiplication by 4.
  [OK]          X25519 test vectors                       323   324 - special case for DA in multiplication by 4.
  [OK]          X25519 test vectors                       324   325 - special case for z_2 in multiplication by 5.
  [OK]          X25519 test vectors                       325   326 - special case for z_2 in multiplication by 5.
  [OK]          X25519 test vectors                       326   327 - special case for z_2 in multiplication by 5.
  [OK]          X25519 test vectors                       327   328 - special case for z_2 in multiplication by 5.
  [OK]          X25519 test vectors                       328   329 - special case for z_2 in multiplication by 5.
  [OK]          X25519 test vectors                       329   330 - special case for z_2 in multiplication by 5.
  [OK]          X25519 test vectors                       330   331 - special case for E in multiplication by 5.
  [OK]          X25519 test vectors                       331   332 - special case for E in multiplication by 5.
  [OK]          X25519 test vectors                       332   333 - special case for E in multiplication by 5.
  [OK]          X25519 test vectors                       333   334 - special case for E in multiplication by 5.
  [OK]          X25519 test vectors                       334   335 - special case for E in multiplication by 5.
  [OK]          X25519 test vectors                       335   336 - special case for AA in multiplication by 5.
  [OK]          X25519 test vectors                       336   337 - special case for AA in multiplication by 5.
  [OK]          X25519 test vectors                       337   338 - special case for AA in multiplication by 5.
  [OK]          X25519 test vectors                       338   339 - special case for AA in multiplication by 5.
  [OK]          X25519 test vectors                       339   340 - special case for DA - CB in multiplication by 5.
  [OK]          X25519 test vectors                       340   341 - special case for DA - CB in multiplication by 5.
  [OK]          X25519 test vectors                       341   342 - special case for DA - CB in multiplication by 5.
  [OK]          X25519 test vectors                       342   343 - special case for BB in multiplication by 5.
  [OK]          X25519 test vectors                       343   344 - special case for BB in multiplication by 5.
  [OK]          X25519 test vectors                       344   345 - special case for BB in multiplication by 5.
  [OK]          X25519 test vectors                       345   346 - special case for x_2 in multiplication by 5.
  [OK]          X25519 test vectors                       346   347 - special case for x_2 in multiplication by 5.
  [OK]          X25519 test vectors                       347   348 - special case for x_2 in multiplication by 5.
  [OK]          X25519 test vectors                       348   349 - special case for C in multiplication by 6.
  [OK]          X25519 test vectors                       349   350 - special case for C in multiplication by 6.
  [OK]          X25519 test vectors                       350   351 - special case for C in multiplication by 6.
  [OK]          X25519 test vectors                       351   352 - special case for C in multiplication by 6.
  [OK]          X25519 test vectors                       352   353 - special case for C in multiplication by 6.
  [OK]          X25519 test vectors                       353   354 - special case for CB in multiplication by 6.
  [OK]          X25519 test vectors                       354   355 - special case for CB in multiplication by 6.
  [OK]          X25519 test vectors                       355   356 - special case for CB in multiplication by 6.
  [OK]          X25519 test vectors                       356   357 - special case for CB in multiplication by 6.
  [OK]          X25519 test vectors                       357   358 - special case for CB in multiplication by 6.
  [OK]          X25519 test vectors                       358   359 - special case for CB in multiplication by 6.
  [OK]          X25519 test vectors                       359   360 - special case for CB in multiplication by 6.
  [OK]          X25519 test vectors                       360   361 - special case for CB in multiplication by 6.
  [OK]          X25519 test vectors                       361   362 - special case for x_2 in multiplication by 6.
  [OK]          X25519 test vectors                       362   363 - special case for x_2 in multiplication by 6.
  [OK]          X25519 test vectors                       363   364 - special case for x_2 in multiplication by 6.
  [OK]          X25519 test vectors                       364   365 - special case for x_2 in multiplication by 6.
  [OK]          X25519 test vectors                       365   366 - special case for x_2 in multiplication by 6.
  [OK]          X25519 test vectors                       366   367 - special case for x_2 in multiplication by 6.
  [OK]          X25519 test vectors                       367   368 - special case for x_2 in multiplication by 6.
  [OK]          X25519 test vectors                       368   369 - special case for DA - CB in multiplication by 6.
  [OK]          X25519 test vectors                       369   370 - special case for DA - CB in multiplication by 6.
  [OK]          X25519 test vectors                       370   371 - special case for DA - CB in multiplication by 6.
  [OK]          X25519 test vectors                       371   372 - special case for DA - CB in multiplication by 6.
  [OK]          X25519 test vectors                       372   373 - special case for DA - CB in multiplication by 6.
  [OK]          X25519 test vectors                       373   374 - special case for DA + CB in multiplication by 6.
  [OK]          X25519 test vectors                       374   375 - special case for DA + CB in multiplication by 6.
  [OK]          X25519 test vectors                       375   376 - special case for DA + CB in multiplication by 6.
  [OK]          X25519 test vectors                       376   377 - special case for DA + CB in multiplication by 6.
  [OK]          X25519 test vectors                       377   378 - special case for DA + CB in multiplication by 6.
  [OK]          X25519 test vectors                       378   379 - special case for DA + CB in multiplication by 6.
  [OK]          X25519 test vectors                       379   380 - special case for DA + CB in multiplication by 6.
  [OK]          X25519 test vectors                       380   381 - special case for z_2 in multiplication by 6.
  [OK]          X25519 test vectors                       381   382 - special case for z_2 in multiplication by 6.
  [OK]          X25519 test vectors                       382   383 - special case for z_2 in multiplication by 6.
  [OK]          X25519 test vectors                       383   384 - special case for z_2 in multiplication by 6.
  [OK]          X25519 test vectors                       384   385 - special case for D in multiplication by 6.
  [OK]          X25519 test vectors                       385   386 - special case for D in multiplication by 6.
  [OK]          X25519 test vectors                       386   387 - special case for D in multiplication by 6.
  [OK]          X25519 test vectors                       387   388 - special case for D in multiplication by 6.
  [OK]          X25519 test vectors                       388   389 - special case for DA in multiplication by 6.
  [OK]          X25519 test vectors                       389   390 - special case for DA in multiplication by 6.
  [OK]          X25519 test vectors                       390   391 - special case for DA in multiplication by 6.
  [OK]          X25519 test vectors                       391   392 - special case for DA in multiplication by 6.
  [OK]          X25519 test vectors                       392   393 - special case for z_2 in multiplication by 7.
  [OK]          X25519 test vectors                       393   394 - special case for z_2 in multiplication by 7.
  [OK]          X25519 test vectors                       394   395 - special case for z_2 in multiplication by 7.
  [OK]          X25519 test vectors                       395   396 - special case for z_2 in multiplication by 7.
  [OK]          X25519 test vectors                       396   397 - special case for z_2 in multiplication by 7.
  [OK]          X25519 test vectors                       397   398 - special case for BB in multiplication by 7.
  [OK]          X25519 test vectors                       398   399 - special case for BB in multiplication by 7.
  [OK]          X25519 test vectors                       399   400 - special case for BB in multiplication by 7.
  [OK]          X25519 test vectors                       400   401 - special case for E in multiplication by 7.
  [OK]          X25519 test vectors                       401   402 - special case for E in multiplication by 7.
  [OK]          X25519 test vectors                       402   403 - special case for E in multiplication by 7.
  [OK]          X25519 test vectors                       403   404 - special case for E in multiplication by 7.
  [OK]          X25519 test vectors                       404   405 - special case for AA in multiplication by 7.
  [OK]          X25519 test vectors                       405   406 - special case for AA in multiplication by 7.
  [OK]          X25519 test vectors                       406   407 - special case for AA in multiplication by 7.
  [OK]          X25519 test vectors                       407   408 - special case for AA in multiplication by 7.
  [OK]          X25519 test vectors                       408   409 - special case for AA in multiplication by 7.
  [OK]          X25519 test vectors                       409   410 - special case for AA in multiplication by 7.
  [OK]          X25519 test vectors                       410   411 - special case for AA in multiplication by 7.
  [OK]          X25519 test vectors                       411   412 - special case for x_2 in multiplication by 7.
  [OK]          X25519 test vectors                       412   413 - special case for x_2 in multiplication by 7.
  [OK]          X25519 test vectors                       413   414 - special case for x_2 in multiplication by 7.
  [OK]          X25519 test vectors                       414   415 - special case for x_2 in multiplication by 7.
  [OK]          X25519 test vectors                       415   416 - special case for x_2 in multiplication by 7.
  [OK]          X25519 test vectors                       416   417 - special case for x_2 in multiplication by 7.
  [OK]          X25519 test vectors                       417   418 - special case for x_2 in multiplication by 7.
  [OK]          X25519 test vectors                       418   419 - special case for x_2 in multiplication by 7.
  [OK]          X25519 test vectors                       419   420 - special case for x_2 in multiplication by 7.
  [OK]          X25519 test vectors                       420   421 - special case for DA - CB in multiplication by 7.
  [OK]          X25519 test vectors                       421   422 - special case for DA - CB in multiplication by 7.
  [OK]          X25519 test vectors                       422   423 - special case for DA - CB in multiplication by 7.
  [OK]          X25519 test vectors                       423   424 - special case for DA - CB in multiplication by 7.
  [OK]          X25519 test vectors                       424   425 - special case for D in multiplication by 8.
  [OK]          X25519 test vectors                       425   426 - special case for D in multiplication by 8.
  [OK]          X25519 test vectors                       426   427 - special case for D in multiplication by 8.
  [OK]          X25519 test vectors                       427   428 - special case for DA + CB in multiplication by 8.
  [OK]          X25519 test vectors                       428   429 - special case for DA + CB in multiplication by 8.
  [OK]          X25519 test vectors                       429   430 - special case for DA + CB in multiplication by 8.
  [OK]          X25519 test vectors                       430   431 - special case for DA + CB in multiplication by 8.
  [OK]          X25519 test vectors                       431   432 - special case for DA + CB in multiplication by 8.
  [OK]          X25519 test vectors                       432   433 - special case for DA + CB in multiplication by 8.
  [OK]          X25519 test vectors                       433   434 - special case for DA + CB in multiplication by 8.
  [OK]          X25519 test vectors                       434   435 - special case for DA + CB in multiplication by 8.
  [OK]          X25519 test vectors                       435   436 - special case for AA in multiplication by 8.
  [OK]          X25519 test vectors                       436   437 - special case for AA in multiplication by 8.
  [OK]          X25519 test vectors                       437   438 - special case for AA in multiplication by 8.
  [OK]          X25519 test vectors                       438   439 - special case for z_2 in multiplication by 8.
  [OK]          X25519 test vectors                       439   440 - special case for z_2 in multiplication by 8.
  [OK]          X25519 test vectors                       440   441 - special case for z_2 in multiplication by 8.
  [OK]          X25519 test vectors                       441   442 - special case for B in multiplication by 8.
  [OK]          X25519 test vectors                       442   443 - special case for B in multiplication by 8.
  [OK]          X25519 test vectors                       443   444 - special case for B in multiplication by 8.
  [OK]          X25519 test vectors                       444   445 - special case for C in multiplication by 8.
  [OK]          X25519 test vectors                       445   446 - special case for C in multiplication by 8.
  [OK]          X25519 test vectors                       446   447 - special case for C in multiplication by 8.
  [OK]          X25519 test vectors                       447   448 - special case for C in multiplication by 8.
  [OK]          X25519 test vectors                       448   449 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       449   450 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       450   451 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       451   452 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       452   453 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       453   454 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       454   455 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       455   456 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       456   457 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       457   458 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       458   459 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       459   460 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       460   461 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       461   462 - special case for x_2 in multiplication by 8.
  [OK]          X25519 test vectors                       462   463 - special case for E in multiplication by 8.
  [OK]          X25519 test vectors                       463   464 - special case for E in multiplication by 8.
  [OK]          X25519 test vectors                       464   465 - special case for E in multiplication by 8.
  [OK]          X25519 test vectors                       465   466 - special case for E in multiplication by 8.
  [OK]          X25519 test vectors                       466   467 - special case for E in multiplication by 8.
  [OK]          X25519 test vectors                       467   468 - special case for E in multiplication by 8.
  [OK]          X25519 test vectors                       468   469 - special case for E in multiplication by 8.
  [OK]          X25519 test vectors                       469   470 - special case for E in multiplication by 8.
  [OK]          X25519 test vectors                       470   471 - special case for E in multiplication by 8.
  [OK]          X25519 test vectors                       471   472 - special case for DA - CB in multiplication by 8.
  [OK]          X25519 test vectors                       472   473 - special case for DA - CB in multiplication by 8.
  [OK]          X25519 test vectors                       473   474 - special case for DA - CB in multiplication by 8.
  [OK]          X25519 test vectors                       474   475 - special case for DA - CB in multiplication by 8.
  [OK]          X25519 test vectors                       475   476 - special case for DA - CB in multiplication by 8.
  [OK]          X25519 test vectors                       476   477 - special case for CB in multiplication by 8.
  [OK]          X25519 test vectors                       477   478 - special case for CB in multiplication by 8.
  [OK]          X25519 test vectors                       478   479 - special case for BB in multiplication by 8.
  [OK]          X25519 test vectors                       479   480 - special case for BB in multiplication by 8.
  [OK]          X25519 test vectors                       480   481 - special case for BB in multiplication by 8.
  [OK]          X25519 test vectors                       481   482 - special case for BB in multiplication by 8.
  [OK]          X25519 test vectors                       482   483 - special case for A in multiplication by 8.
  [OK]          X25519 test vectors                       483   484 - special case for A in multiplication by 8.
  [OK]          X25519 test vectors                       484   485 - special case for DA in multiplication by 8.
  [OK]          X25519 test vectors                       485   486 - special case for DA in multiplication by 8.
  [OK]          X25519 test vectors                       486   487 - special case for AA in multiplication by 9.
  [OK]          X25519 test vectors                       487   488 - special case for AA in multiplication by 9.
  [OK]          X25519 test vectors                       488   489 - special case for AA in multiplication by 9.
  [OK]          X25519 test vectors                       489   490 - special case for AA in multiplication by 9.
  [OK]          X25519 test vectors                       490   491 - special case for AA in multiplication by 9.
  [OK]          X25519 test vectors                       491   492 - special case for AA in multiplication by 9.
  [OK]          X25519 test vectors                       492   493 - special case for AA in multiplication by 9.
  [OK]          X25519 test vectors                       493   494 - special case for DA - CB in multiplication by 9.
  [OK]          X25519 test vectors                       494   495 - special case for z_2 in multiplication by 9.
  [OK]          X25519 test vectors                       495   496 - special case for z_2 in multiplication by 9.
  [OK]          X25519 test vectors                       496   497 - special case for z_2 in multiplication by 9.
  [OK]          X25519 test vectors                       497   498 - special case for z_2 in multiplication by 9.
  [OK]          X25519 test vectors                       498   499 - special case for z_2 in multiplication by 9.
  [OK]          X25519 test vectors                       499   500 - special case for z_2 in multiplication by 9.
  [OK]          X25519 test vectors                       500   501 - special case for E in multiplication by 9.
  [OK]          X25519 test vectors                       501   502 - special case for E in multiplication by 9.
  [OK]          X25519 test vectors                       502   503 - special case for E in multiplication by 9.
  [OK]          X25519 test vectors                       503   504 - special case for x_2 in multiplication by 9.
  [OK]          X25519 test vectors                       504   505 - special case for x_2 in multiplication by 9.
  [OK]          X25519 test vectors                       505   506 - special case for x_2 in multiplication by 9.
  [OK]          X25519 test vectors                       506   507 - special case for BB in multiplication by 9.
  [OK]          X25519 test vectors                       507   508 - special case for BB in multiplication by 9.
  [OK]          X25519 test vectors                       508   509 - special case for BB in multiplication by 9.
  [OK]          X25519 test vectors                       509   510 - special case for BB in multiplication by 9.
  [OK]          X25519 test vectors                       510   511 - private key == -1 (mod order).
  [OK]          X25519 test vectors                       511   512 - private key == 1 (mod order) on twist.
  [OK]          X25519 test vectors                       512   513 - special case private key.
  [OK]          X25519 test vectors                       513   514 - special case private key.
  [OK]          X25519 test vectors                       514   515 - special case private key.
  [OK]          X25519 test vectors                       515   516 - special case private key.
  [OK]          X25519 test vectors                       516   517 - special case private key.
  [OK]          X25519 test vectors                       517   518 - special case private key.
  [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 values for r and s.
  [OK]          ED25519 test vectors                       10   11 - special values for r and s.
  [OK]          ED25519 test vectors                       11   12 - special values for r and s.
  [OK]          ED25519 test vectors                       12   13 - special values for r and s.
  [OK]          ED25519 test vectors                       13   14 - special values for r and s.
  [OK]          ED25519 test vectors                       14   15 - special values for r and s.
  [OK]          ED25519 test vectors                       15   16 - special values for r and s.
  [OK]          ED25519 test vectors                       16   17 - special values for r and s.
  [OK]          ED25519 test vectors                       17   18 - special values for r and s.
  [OK]          ED25519 test vectors                       18   19 - special values for r and s.
  [OK]          ED25519 test vectors                       19   20 - special values for r and s.
  [OK]          ED25519 test vectors                       20   21 - special values for r and s.
  [OK]          ED25519 test vectors                       21   22 - special values for r and s.
  [OK]          ED25519 test vectors                       22   23 - special values for r and s.
  [OK]          ED25519 test vectors                       23   24 - special values for r and s.
  [OK]          ED25519 test vectors                       24   25 - special values for r and s.
  [OK]          ED25519 test vectors                       25   26 - special values for r and s.
  [OK]          ED25519 test vectors                       26   27 - special values for r and s.
  [OK]          ED25519 test vectors                       27   28 - special values for r and s.
  [OK]          ED25519 test vectors                       28   29 - special values for r and s.
  [OK]          ED25519 test vectors                       29   30 - empty signature.
  [OK]          ED25519 test vectors                       30   31 - s missing.
  [OK]          ED25519 test vectors                       31   32 - signature too short.
  [OK]          ED25519 test vectors                       32   33 - signature too long.
  [OK]          ED25519 test vectors                       33   34 - include pk in signature.
  [OK]          ED25519 test vectors                       34   35 - prepending 0 byte to signature.
  [OK]          ED25519 test vectors                       35   36 - prepending 0 byte to s.
  [OK]          ED25519 test vectors                       36   37 - appending 0 byte to signature.
  [OK]          ED25519 test vectors                       37   38 - removing 0 byte from signature.
  [OK]          ED25519 test vectors                       38   39 - removing 0 byte from signature.
  [OK]          ED25519 test vectors                       39   40 - removing leading 0 byte from signature.
  [OK]          ED25519 test vectors                       40   41 - dropping byte from signature.
  [OK]          ED25519 test vectors                       41   42 - modified bit 0 in R.
  [OK]          ED25519 test vectors                       42   43 - modified bit 1 in R.
  [OK]          ED25519 test vectors                       43   44 - modified bit 2 in R.
  [OK]          ED25519 test vectors                       44   45 - modified bit 7 in R.
  [OK]          ED25519 test vectors                       45   46 - modified bit 8 in R.
  [OK]          ED25519 test vectors                       46   47 - modified bit 16 in R.
  [OK]          ED25519 test vectors                       47   48 - modified bit 31 in R.
  [OK]          ED25519 test vectors                       48   49 - modified bit 32 in R.
  [OK]          ED25519 test vectors                       49   50 - modified bit 63 in R.
  [OK]          ED25519 test vectors                       50   51 - modified bit 64 in R.
  [OK]          ED25519 test vectors                       51   52 - modified bit 97 in R.
  [OK]          ED25519 test vectors                       52   53 - modified bit 127 in R.
  [OK]          ED25519 test vectors                       53   54 - modified bit 240 in R.
  [OK]          ED25519 test vectors                       54   55 - modified bit 247 in R.
  [OK]          ED25519 test vectors                       55   56 - modified bit 248 in R.
  [OK]          ED25519 test vectors                       56   57 - modified bit 253 in R.
  [OK]          ED25519 test vectors                       57   58 - modified bit 254 in R.
  [OK]          ED25519 test vectors                       58   59 - modified bit 255 in R.
  [OK]          ED25519 test vectors                       59   60 - R==0.
  [OK]          ED25519 test vectors                       60   61 - invalid R.
  [OK]          ED25519 test vectors                       61   62 - all bits flipped in R.
  [OK]          ED25519 test vectors                       62   63 - checking malleability .
  [OK]          ED25519 test vectors                       63   64 - checking malleability .
  [OK]          ED25519 test vectors                       64   65 - checking malleability .
  [OK]          ED25519 test vectors                       65   66 - checking malleability .
  [OK]          ED25519 test vectors                       66   67 - checking malleability .
  [OK]          ED25519 test vectors                       67   68 - checking malleability .
  [OK]          ED25519 test vectors                       68   69 - checking malleability .
  [OK]          ED25519 test vectors                       69   70 - checking malleability .
  [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-josefsson-eddsa-ed25519-02: Test 1.
  [OK]          ED25519 test vectors                       80   81 - draft-josefsson-eddsa-ed25519-02: Test 2.
  [OK]          ED25519 test vectors                       81   82 - draft-josefsson-eddsa-ed25519-02: Test 3.
  [OK]          ED25519 test vectors                       82   83 - draft-josefsson-eddsa-ed25519-02: Test 1024.
  [OK]          ED25519 test vectors                       83   84 - Random test failure 1.
  [OK]          ED25519 test vectors                       84   85 - Random test failure 2.
  [OK]          ED25519 test vectors                       85   86 - Random test failure 24.
  [OK]          ED25519 test vectors                       86   87 - Random test failure 3.
  [OK]          ED25519 test vectors                       87   88 - Random test failure 20.
  [OK]          ED25519 test vectors                       88   89 - Random test failure 4.
  [OK]          ED25519 test vectors                       89   90 - Random test failure 5.
  [OK]          ED25519 test vectors                       90   91 - Random test failure 8.
  [OK]          ED25519 test vectors                       91   92 - Random test failure 10.
  [OK]          ED25519 test vectors                       92   93 - Random test failure 12.
  [OK]          ED25519 test vectors                       93   94 - Random test failure 15.
  [OK]          ED25519 test vectors                       94   95 - Random test failure 19.
  [OK]          ED25519 test vectors                       95   96 - Random test failure 25.
  [OK]          ED25519 test vectors                       96   97 - Random test failure 28.
  [OK]          ED25519 test vectors                       97   98 - Random test failure 6.
  [OK]          ED25519 test vectors                       98   99 - Random test failure 21.
  [OK]          ED25519 test vectors                       99   100 - Random test failure 7.
  [OK]          ED25519 test vectors                      100   101 - Random test failure 9.
  [OK]          ED25519 test vectors                      101   102 - Random test failure 11.
  [OK]          ED25519 test vectors                      102   103 - Random test failure 14.
  [OK]          ED25519 test vectors                      103   104 - Random test failure 18.
  [OK]          ED25519 test vectors                      104   105 - Random test failure 13.
  [OK]          ED25519 test vectors                      105   106 - Random test failure 22.
  [OK]          ED25519 test vectors                      106   107 - Random test failure 16.
  [OK]          ED25519 test vectors                      107   108 - Random test failure 23.
  [OK]          ED25519 test vectors                      108   109 - Random test failure 17.
  [OK]          ED25519 test vectors                      109   110 - Random test failure 26.
  [OK]          ED25519 test vectors                      110   111 - Random test failure 27.
  [OK]          ED25519 test vectors                      111   112 - Test case for overflow in signature generation.
  [OK]          ED25519 test vectors                      112   113 - Test case for overflow in signature generation.
  [OK]          ED25519 test vectors                      113   114 - Test case for overflow in signature generation.
  [OK]          ED25519 test vectors                      114   115 - Test case for overflow in signature generation.
  [OK]          ED25519 test vectors                      115   116 - Test case for overflow in signature generation.
  [OK]          ED25519 test vectors                      116   117 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      117   118 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      118   119 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      119   120 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      120   121 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      121   122 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      122   123 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      123   124 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      124   125 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      125   126 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      126   127 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      127   128 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      128   129 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      129   130 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      130   131 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      131   132 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      132   133 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      133   134 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      134   135 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      135   136 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      136   137 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      137   138 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      138   139 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      139   140 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      140   141 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      141   142 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      142   143 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      143   144 - regression test for arithmetic error.
  [OK]          ED25519 test vectors                      144   145 - regression test for arithmetic error.

Full test results in `~\src\_build\default\tests\_build\_tests\QES0WO01'.
Test Successful in 6.719s. 4106 tests run.
"cd /cygdrive/c/Users/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1
2025-03-05 00:25.04: Job failed: Failed: Build failed