(not at the head of any monitored branch or PR)
2022-07-26 15:58.08: New job: test dirsp-proscript-mirage.0.1.0 with ounit2.2.2.0, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/21354/head (10b49fadb0efcff442ed8cae85f7cc119fe28629)
                              on debian-11-ocaml-4.14/amd64

To reproduce locally:

git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/21354/head" && git reset --hard 10b49fad
git fetch origin master
git merge 42e749bdca1e36a9f7bbef60b3507d34c6c57fa3
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-11-ocaml-4.14@sha256:1461d919411f5999f6d7ffd573b9b5385cda91accf83d3866b26097e791220be
USER 1000:1000
WORKDIR /home/opam
RUN for pkg in $(opam pin list --short); do opam pin remove "$pkg"; done
RUN opam repository remove -a multicore || true
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMSOLVERTIMEOUT="500"
ENV OPAMPRECISETRACKING="1"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam pin add -k version -yn ounit2.2.2.0 2.2.0
RUN opam update --depexts
RUN opam remove ounit2.2.2.0 && opam install --deps-only ounit2.2.2.0 && opam install -v ounit2.2.2.0; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-11\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    done; \
    exit 1
RUN opam update --depexts
RUN opam remove dirsp-proscript-mirage.0.1.0 && opam install --deps-only dirsp-proscript-mirage.0.1.0 && opam install -v dirsp-proscript-mirage.0.1.0; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-11\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    done; \
    exit 1
RUN opam update --depexts
RUN opam remove dirsp-proscript-mirage.0.1.0 && opam install --deps-only --with-test dirsp-proscript-mirage.0.1.0 && opam install -v --with-test dirsp-proscript-mirage.0.1.0; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-11\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    done; \
    exit 1

END-OF-DOCKERFILE
docker build -f ../Dockerfile .

2022-07-26 15:58.08: Using cache hint "ocaml/opam:debian-11-ocaml-4.14@sha256:1461d919411f5999f6d7ffd573b9b5385cda91accf83d3866b26097e791220be-ounit2.2.2.0-dirsp-proscript-mirage.0.1.0-10b49fadb0efcff442ed8cae85f7cc119fe28629"
2022-07-26 15:58.08: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-4.14@sha256:1461d919411f5999f6d7ffd573b9b5385cda91accf83d3866b26097e791220be)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "for pkg in $(opam pin list --short); do opam pin remove \"$pkg\"; done"))
 (run (shell "opam repository remove -a multicore || true"))
 (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
 (run (shell "opam init --reinit --config .opamrc-sandbox -ni"))
 (env OPAMDOWNLOADJOBS 1)
 (env OPAMERRLOGLEN 0)
 (env OPAMSOLVERTIMEOUT 500)
 (env OPAMPRECISETRACKING 1)
 (run (shell "rm -rf opam-repository/"))
 (copy (src .) (dst opam-repository/))
 (run (shell "opam repository set-url --strict default opam-repository/"))
 (run (shell "opam pin add -k version -yn ounit2.2.2.0 2.2.0"))
 (run (network host)
      (shell "opam update --depexts"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam remove ounit2.2.2.0 && opam install --deps-only ounit2.2.2.0 && opam install -v ounit2.2.2.0;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n        done;\
             \n        exit 1"))
 (run (network host)
      (shell "opam update --depexts"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam remove dirsp-proscript-mirage.0.1.0 && opam install --deps-only dirsp-proscript-mirage.0.1.0 && opam install -v dirsp-proscript-mirage.0.1.0;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n        done;\
             \n        exit 1"))
 (run (network host)
      (shell "opam update --depexts"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam remove dirsp-proscript-mirage.0.1.0 && opam install --deps-only --with-test dirsp-proscript-mirage.0.1.0 && opam install -v --with-test dirsp-proscript-mirage.0.1.0;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n        done;\
             \n        exit 1"))
)

2022-07-26 15:58.08: Waiting for resource in pool OCluster
2022-07-27 05:15.27: Waiting for worker...
2022-07-27 05:17.03: Got resource from pool OCluster
Building on x86-bm-1.ocamllabs.io
All commits already cached
Updating files:   8% (2364/26809)
Updating files:   9% (2413/26809)
Updating files:  10% (2681/26809)
Updating files:  11% (2949/26809)
Updating files:  12% (3218/26809)
Updating files:  13% (3486/26809)
Updating files:  14% (3754/26809)
Updating files:  15% (4022/26809)
Updating files:  16% (4290/26809)
Updating files:  16% (4530/26809)
Updating files:  17% (4558/26809)
Updating files:  18% (4826/26809)
Updating files:  19% (5094/26809)
Updating files:  20% (5362/26809)
Updating files:  21% (5630/26809)
Updating files:  22% (5898/26809)
Updating files:  23% (6167/26809)
Updating files:  24% (6435/26809)
Updating files:  24% (6690/26809)
Updating files:  25% (6703/26809)
Updating files:  26% (6971/26809)
Updating files:  27% (7239/26809)
Updating files:  28% (7507/26809)
Updating files:  28% (7712/26809)
Updating files:  29% (7775/26809)
Updating files:  30% (8043/26809)
Updating files:  31% (8311/26809)
Updating files:  32% (8579/26809)
Updating files:  32% (8772/26809)
Updating files:  33% (8847/26809)
Updating files:  34% (9116/26809)
Updating files:  35% (9384/26809)
Updating files:  36% (9652/26809)
Updating files:  37% (9920/26809)
Updating files:  37% (10011/26809)
Updating files:  38% (10188/26809)
Updating files:  39% (10456/26809)
Updating files:  40% (10724/26809)
Updating files:  41% (10992/26809)
Updating files:  42% (11260/26809)
Updating files:  43% (11528/26809)
Updating files:  44% (11796/26809)
Updating files:  45% (12065/26809)
Updating files:  45% (12089/26809)
Updating files:  46% (12333/26809)
Updating files:  47% (12601/26809)
Updating files:  48% (12869/26809)
Updating files:  49% (13137/26809)
Updating files:  50% (13405/26809)
Updating files:  51% (13673/26809)
Updating files:  52% (13941/26809)
Updating files:  53% (14209/26809)
Updating files:  53% (14290/26809)
Updating files:  54% (14477/26809)
Updating files:  55% (14745/26809)
Updating files:  56% (15014/26809)
Updating files:  57% (15282/26809)
Updating files:  58% (15550/26809)
Updating files:  59% (15818/26809)
Updating files:  60% (16086/26809)
Updating files:  61% (16354/26809)
Updating files:  62% (16622/26809)
Updating files:  63% (16890/26809)
Updating files:  64% (17158/26809)
Updating files:  64% (17187/26809)
Updating files:  65% (17426/26809)
Updating files:  66% (17694/26809)
Updating files:  67% (17963/26809)
Updating files:  68% (18231/26809)
Updating files:  69% (18499/26809)
Updating files:  70% (18767/26809)
Updating files:  71% (19035/26809)
Updating files:  72% (19303/26809)
Updating files:  73% (19571/26809)
Updating files:  73% (19666/26809)
Updating files:  74% (19839/26809)
Updating files:  75% (20107/26809)
Updating files:  76% (20375/26809)
Updating files:  77% (20643/26809)
Updating files:  78% (20912/26809)
Updating files:  79% (21180/26809)
Updating files:  80% (21448/26809)
Updating files:  81% (21716/26809)
Updating files:  82% (21984/26809)
Updating files:  82% (22179/26809)
Updating files:  83% (22252/26809)
Updating files:  84% (22520/26809)
Updating files:  85% (22788/26809)
Updating files:  86% (23056/26809)
Updating files:  87% (23324/26809)
Updating files:  88% (23592/26809)
Updating files:  89% (23861/26809)
Updating files:  90% (24129/26809)
Updating files:  90% (24139/26809)
Updating files:  91% (24397/26809)
Updating files:  92% (24665/26809)
Updating files:  93% (24933/26809)
Updating files:  94% (25201/26809)
Updating files:  95% (25469/26809)
Updating files:  96% (25737/26809)
Updating files:  97% (26005/26809)
Updating files:  97% (26032/26809)
Updating files:  98% (26273/26809)
Updating files:  99% (26541/26809)
Updating files: 100% (26809/26809)
Updating files: 100% (26809/26809), done.
HEAD is now at 42e749bdca Merge pull request #21885 from kit-ty-kate/fix-123
Merge made by the 'ort' strategy.
 packages/ounit2/ounit2.2.2.0/opam | 3 +++
 packages/ounit2/ounit2.2.2.1/opam | 3 +++
 packages/ounit2/ounit2.2.2.2/opam | 3 +++
 packages/ounit2/ounit2.2.2.3/opam | 3 +++
 packages/ounit2/ounit2.2.2.4/opam | 3 +++
 packages/ounit2/ounit2.2.2.5/opam | 3 +++
 packages/ounit2/ounit2.2.2.6/opam | 3 +++
 7 files changed, 21 insertions(+)

(from ocaml/opam:debian-11-ocaml-4.14@sha256:1461d919411f5999f6d7ffd573b9b5385cda91accf83d3866b26097e791220be)
2022-07-27 05:17.45 ---> using "d837bbe1b6e58c32e942b55a1eb695ef30d2cac63c8a5d708beb3548d17192b4" from cache

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

/: (workdir /home/opam)

/home/opam: (run (shell "for pkg in $(opam pin list --short); do opam pin remove \"$pkg\"; done"))
Ok, ocaml-base-compiler is no longer pinned to https://github.com/ocaml/ocaml/archive/4.14.0.tar.gz (version 4.14.0)
No package build needed.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2022-07-27 05:17.45 ---> using "543d29c04ee698e03faf7cfdc4bb3cf9e04a80ab924d981f1055393f1479d117" from cache

/home/opam: (run (shell "opam repository remove -a multicore || true"))
[WARNING] No configured repositories by these names found: multicore
2022-07-27 05:17.45 ---> using "e8a5c58b05459f7be98d7b03e29623d3a05b15b34833b50ebffb60eff7871cde" from cache

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2022-07-27 05:17.45 ---> using "4687a20afa7557b4b2498b537430ed75c7b51cd6cad60d9c4757ff852befb1a7" from cache

/home/opam: (run (shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.

Continue? [y/n] y
Format upgrade done.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2022-07-27 05:17.45 ---> using "87c4051d859f505ce794fbdc2ed87105744babed536dd4b09731a9b1e22fd3d4" from cache

/home/opam: (env OPAMDOWNLOADJOBS 1)

/home/opam: (env OPAMERRLOGLEN 0)

/home/opam: (env OPAMSOLVERTIMEOUT 500)

/home/opam: (env OPAMPRECISETRACKING 1)

/home/opam: (run (shell "rm -rf opam-repository/"))
2022-07-27 05:17.45 ---> using "96a067e6b08152c0f77ff1628817c13e12ac3db1ba1ac882a90278edcbb3d011" from cache

/home/opam: (copy (src .) (dst opam-repository/))
2022-07-27 05:17.46 ---> using "5ce106567f73501cd746c3358ba50b49e5b3ad28d47e7894c1f65b44fcda87e7" from cache

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2022-07-27 05:17.46 ---> using "0981e55d831537155c9e161d0ab37d0aeee18cf4c3d1dbad8143304b4c508a5d" from cache

/home/opam: (run (shell "opam pin add -k version -yn ounit2.2.2.0 2.2.0"))
ounit2 is now pinned to version 2.2.0
2022-07-27 05:17.46 ---> using "a5b811fe2c6ab2fd90efb98285ea9db0346a5de8dadc9481e3cd36fb68f11371" from cache

/home/opam: (run (network host)
                 (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bullseye InRelease
- Get:2 http://deb.debian.org/debian-security bullseye-security InRelease [48.4 kB]
- Get:3 http://deb.debian.org/debian bullseye-updates InRelease [44.1 kB]
- Get:4 http://deb.debian.org/debian-security bullseye-security/main amd64 Packages [168 kB]
- Fetched 261 kB in 1s (199 kB/s)
- Reading package lists...
- 
2022-07-27 05:17.46 ---> using "db2d7bb6f3a492dbe20e0d4ddb4733d768da5e64ce8f97c3cbc89325acd13b48" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam remove ounit2.2.2.0 && opam install --deps-only ounit2.2.2.0 && opam install -v ounit2.2.2.0;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n        done;\
                        \n        exit 1"))
[NOTE] ounit2.2.2.0 is not installed.

Nothing to do.
The following actions will be performed:
=== install 4 packages
  - install base-bytes   base  [required by ounit2]
  - install dune         3.4.1 [required by ounit2]
  - install ocamlfind    1.9.5 [required by base-bytes]
  - install stdlib-shims 0.3.0 [required by ounit2]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.4.1  (cached)
-> retrieved ocamlfind.1.9.5  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> installed ocamlfind.1.9.5
-> installed base-bytes.base
-> installed dune.3.4.1
-> installed stdlib-shims.0.3.0
Done.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
=== install 1 package
  - install ounit2 2.2.0 (pinned)

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/3:
-> retrieved ounit2.2.2.0  (cached)
Processing  2/3: [ounit2: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ounit2" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ounit2.2.2.0)
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/ounit2/advanced/.oUnitAdvanced.objs/byte -I /home/opam/.opam/4.14/lib/stdlib-shims -no-alias-deps -o src/lib/ounit2/advanced/.oUnitAdvanced.objs/byte/oUnitAssert.cmo -c -impl src/lib/ounit2/advanced/oUnitAssert.ml)
- File "src/lib/ounit2/advanced/oUnitAssert.ml", line 130, characters 13-27:
- 130 |     ?(sinput=Stream.of_list [])
-                    ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/ounit2/advanced/oUnitAssert.ml", line 270, characters 13-24:
- 270 |              Stream.iter
-                    ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/ounit2/advanced/oUnitAssert.ml", line 315, characters 26-43:
- 315 |                  foutput (Stream.of_channel chn)
-                                 ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/ounit2/.oUnit.objs/byte -I /home/opam/.opam/4.14/lib/stdlib-shims -I src/lib/ounit2/advanced/.oUnitAdvanced.objs/byte -no-alias-deps -o src/lib/ounit2/.oUnit.objs/byte/oUnit2.cmi -c -intf src/lib/ounit2/oUnit2.mli)
- File "src/lib/ounit2/oUnit2.mli", line 88, characters 17-25:
- 88 |     ?sinput:char Stream.t ->
-                       ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/ounit2/oUnit2.mli", line 89, characters 19-27:
- 89 |     ?foutput:(char Stream.t -> unit) ->
-                         ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/lib/ounit2/advanced/.oUnitAdvanced.objs/byte -I src/lib/ounit2/advanced/.oUnitAdvanced.objs/native -I /home/opam/.opam/4.14/lib/stdlib-shims -intf-suffix .ml -no-alias-deps -o src/lib/ounit2/advanced/.oUnitAdvanced.objs/native/oUnitAssert.cmx -c -impl src/lib/ounit2/advanced/oUnitAssert.ml)
- File "src/lib/ounit2/advanced/oUnitAssert.ml", line 130, characters 13-27:
- 130 |     ?(sinput=Stream.of_list [])
-                    ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/ounit2/advanced/oUnitAssert.ml", line 270, characters 13-24:
- 270 |              Stream.iter
-                    ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/ounit2/advanced/oUnitAssert.ml", line 315, characters 26-43:
- 315 |                  foutput (Stream.of_channel chn)
-                                 ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/ounit2/.oUnit.objs/byte -I /home/opam/.opam/4.14/lib/stdlib-shims -I src/lib/ounit2/advanced/.oUnitAdvanced.objs/byte -no-alias-deps -o src/lib/ounit2/.oUnit.objs/byte/oUnit.cmi -c -intf src/lib/ounit2/oUnit.mli)
- File "src/lib/ounit2/oUnit.mli", line 80, characters 17-25:
- 80 |     ?sinput:char Stream.t ->
-                       ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/ounit2/oUnit.mli", line 81, characters 19-27:
- 81 |     ?foutput:(char Stream.t -> unit) ->
-                         ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/ounit2/threads/.oUnitThreads.objs/byte -I src/lib/ounit2/threads/.oUnitThreads.objs/public_cmi -I /home/opam/.opam/4.14/lib/ocaml/threads -I /home/opam/.opam/4.14/lib/stdlib-shims -I src/lib/ounit2/.oUnit.objs/byte -I src/lib/ounit2/advanced/.oUnitAdvanced.objs/byte -no-alias-deps -open OUnitThreads__ -o src/lib/ounit2/threads/.oUnitThreads.objs/byte/oUnitThreads__OUnitRunnerThreads.cmo -c -impl src/lib/ounit2/threads/oUnitRunnerThreads.ml)
- File "src/lib/ounit2/threads/oUnitRunnerThreads.ml", line 147, characters 8-19:
- 147 |         Thread.kill thread;
-               ^^^^^^^^^^^
- Alert deprecated: Thread.kill
- Not implemented, do not use
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/lib/ounit2/threads/.oUnitThreads.objs/byte -I src/lib/ounit2/threads/.oUnitThreads.objs/native -I src/lib/ounit2/threads/.oUnitThreads.objs/public_cmi -I /home/opam/.opam/4.14/lib/ocaml/threads -I /home/opam/.opam/4.14/lib/stdlib-shims -I src/lib/ounit2/.oUnit.objs/byte -I src/lib/ounit2/.oUnit.objs/native -I src/lib/ounit2/advanced/.oUnitAdvanced.objs/byte -I src/lib/ounit2/advanced/.oUnitAdvanced.objs/native -intf-suffix .ml -no-alias-deps -open OUnitThreads__ -o src/lib/ounit2/threads/.oUnitThreads.objs/native/oUnitThreads__OUnitRunnerThreads.cmx -c -impl src/lib/ounit2/threads/oUnitRunnerThreads.ml)
- File "src/lib/ounit2/threads/oUnitRunnerThreads.ml", line 147, characters 8-19:
- 147 |         Thread.kill thread;
-               ^^^^^^^^^^^
- Alert deprecated: Thread.kill
- Not implemented, do not use
-> compiled  ounit2.2.2.0
-> installed ounit2.2.2.0
Done.
# Run eval $(opam env) to update the current shell environment
2022-07-27 05:17.46 ---> using "549816a256be73d9a20d8aac9e10b779e4fdffd8e09de149b8d5e327ac84c14f" from cache

/home/opam: (run (network host)
                 (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bullseye InRelease
- Hit:2 http://deb.debian.org/debian-security bullseye-security InRelease
- Hit:3 http://deb.debian.org/debian bullseye-updates InRelease
- Reading package lists...
- 
2022-07-27 05:17.46 ---> using "ed77e423a302c60a5809ee2b791a97889b346ae238a3ae55d40f898cb095304c" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam remove dirsp-proscript-mirage.0.1.0 && opam install --deps-only dirsp-proscript-mirage.0.1.0 && opam install -v dirsp-proscript-mirage.0.1.0;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n        done;\
                        \n        exit 1"))
[NOTE] dirsp-proscript-mirage.0.1.0 is not installed.

Nothing to do.
The following actions will be performed:
=== install 25 packages
  - install conf-pkg-config       2       [required by mirage-crypto-ec]
  - install cppo                  1.6.9   [required by ppx_deriving_protobuf]
  - install csexp                 1.5.1   [required by dune-configurator]
  - install cstruct               6.1.1   [required by dirsp-proscript, mirage-crypto-ec]
  - install dirsp-proscript       0.1.0   [required by dirsp-proscript-mirage]
  - install dune-configurator     3.4.1   [required by mirage-crypto-ec]
  - install duration              0.2.0   [required by mirage-crypto-rng]
  - install eqaf                  0.9     [required by mirage-crypto-ec]
  - install fmt                   0.9.0   [required by cstruct]
  - install logs                  0.7.0   [required by mirage-crypto-rng]
  - install lwt                   5.6.1   [required by mirage-crypto-rng]
  - install mirage-crypto         0.10.6  [required by mirage-crypto-ec]
  - install mirage-crypto-ec      0.10.6  [required by dirsp-proscript-mirage]
  - install mirage-crypto-rng     0.10.6  [required by dirsp-proscript-mirage]
  - install mtime                 1.4.0   [required by mirage-crypto-rng]
  - install ocaml-compiler-libs   v0.12.4 [required by ppxlib]
  - install ocamlbuild            0.14.1  [required by logs, fmt, mtime]
  - install ocplib-endian         1.2     [required by lwt]
  - install ppx_derivers          1.2.1   [required by ppx_deriving]
  - install ppx_deriving          5.2.1   [required by ppx_deriving_protobuf]
  - install ppx_deriving_protobuf 3.0.0   [required by dirsp-proscript-mirage]
  - install ppxlib                0.27.0  [required by ppx_deriving_protobuf]
  - install result                1.5     [required by ppx_deriving]
  - install sexplib0              v0.15.1 [required by ppxlib]
  - install topkg                 1.0.5   [required by logs, fmt, mtime]

The following system packages will first need to be installed:
    pkg-config

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

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Attempt installation anyway, and permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libglib2.0-0:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
- (Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18331 files and directories currently installed.)
- Preparing to unpack .../0-libglib2.0-0_2.66.8-1_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.66.8-1) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../1-libglib2.0-data_2.66.8-1_all.deb ...
- Unpacking libglib2.0-data (2.66.8-1) ...
- Selecting previously unselected package libicu67:amd64.
- Preparing to unpack .../2-libicu67_67.1-7_amd64.deb ...
- Unpacking libicu67:amd64 (67.1-7) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../3-libxml2_2.9.10+dfsg-6.7+deb11u2_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.10+dfsg-6.7+deb11u2) ...
- Selecting previously unselected package pkg-config.
- Preparing to unpack .../4-pkg-config_0.29.2-1_amd64.deb ...
- Unpacking pkg-config (0.29.2-1) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../5-shared-mime-info_2.0-1_amd64.deb ...
- Unpacking shared-mime-info (2.0-1) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../6-xdg-user-dirs_0.17-2_amd64.deb ...
- Unpacking xdg-user-dirs (0.17-2) ...
- Setting up libicu67:amd64 (67.1-7) ...
- Setting up xdg-user-dirs (0.17-2) ...
- Setting up libglib2.0-0:amd64 (2.66.8-1) ...
- No schema files found: doing nothing.
- Setting up libglib2.0-data (2.66.8-1) ...
- Setting up pkg-config (0.29.2-1) ...
- Setting up libxml2:amd64 (2.9.10+dfsg-6.7+deb11u2) ...
- Setting up shared-mime-info (2.0-1) ...
- Processing triggers for libc-bin (2.31-13+deb11u3) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cppo.1.6.9  (cached)
-> retrieved csexp.1.5.1  (cached)
-> retrieved cstruct.6.1.1  (cached)
-> installed conf-pkg-config.2
-> installed cppo.1.6.9
-> installed csexp.1.5.1
-> retrieved dirsp-proscript.0.1.0  (cached)
-> retrieved dune-configurator.3.4.1  (cached)
-> retrieved duration.0.2.0  (cached)
-> retrieved eqaf.0.9  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved lwt.5.6.1  (cached)
-> installed duration.0.2.0
-> retrieved mirage-crypto.0.10.6, mirage-crypto-ec.0.10.6, mirage-crypto-rng.0.10.6  (cached)
-> retrieved mtime.1.4.0  (cached)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocamlbuild.0.14.1  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.5.2.1  (cached)
-> retrieved ppx_deriving_protobuf.3.0.0  (cached)
-> installed ppx_derivers.1.2.1
-> retrieved ppxlib.0.27.0  (cached)
-> retrieved result.1.5  (cached)
-> retrieved sexplib0.v0.15.1  (cached)
-> retrieved topkg.1.0.5  (cached)
-> installed result.1.5
-> installed ocplib-endian.1.2
-> installed ocaml-compiler-libs.v0.12.4
-> installed dune-configurator.3.4.1
-> installed sexplib0.v0.15.1
-> installed lwt.5.6.1
-> installed ocamlbuild.0.14.1
-> installed topkg.1.0.5
-> installed fmt.0.9.0
-> installed mtime.1.4.0
-> installed cstruct.6.1.1
-> installed logs.0.7.0
-> installed eqaf.0.9
-> installed mirage-crypto.0.10.6
-> installed ppxlib.0.27.0
-> installed mirage-crypto-rng.0.10.6
-> installed ppx_deriving.5.2.1
-> installed mirage-crypto-ec.0.10.6
-> installed ppx_deriving_protobuf.3.0.0
-> installed dirsp-proscript.0.1.0
Done.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
=== install 1 package
  - install dirsp-proscript-mirage 0.1.0

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/3:
-> retrieved dirsp-proscript-mirage.0.1.0  (cached)
Processing  2/3: [dirsp-proscript-mirage: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "dirsp-proscript-mirage" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dirsp-proscript-mirage.0.1.0)
-> compiled  dirsp-proscript-mirage.0.1.0
-> installed dirsp-proscript-mirage.0.1.0
Done.
# Run eval $(opam env) to update the current shell environment
2022-07-27 05:19.06 ---> saved as "6e1193ddc90c28b0d9a6022bdb48a81834a54606129229059740b6c075b3227c"

/home/opam: (run (network host)
                 (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bullseye InRelease
- Hit:2 http://deb.debian.org/debian-security bullseye-security InRelease
- Hit:3 http://deb.debian.org/debian bullseye-updates InRelease
- Reading package lists...
- 
2022-07-27 05:19.09 ---> saved as "1aa8d96b572c300c6f2e61f71f07a6a8c7e8f57aa40bbfe40f75834289abe8bf"

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam remove dirsp-proscript-mirage.0.1.0 && opam install --deps-only --with-test dirsp-proscript-mirage.0.1.0 && opam install -v --with-test dirsp-proscript-mirage.0.1.0;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n        done;\
                        \n        exit 1"))
The following actions will be performed:
=== remove 1 package
  - remove dirsp-proscript-mirage 0.1.0

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> removed   dirsp-proscript-mirage.0.1.0
Done.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
=== recompile 8 packages
  - recompile cstruct            6.1.1  [uses fmt]
  - recompile dirsp-proscript    0.1.0  [uses cstruct]
  - recompile eqaf               0.9    [uses cstruct]
  - recompile fmt                0.9.0  [uses cmdliner]
  - recompile logs               0.7.0  [uses cmdliner]
  - recompile mirage-crypto      0.10.6 [uses cstruct]
  - recompile mirage-crypto-ec   0.10.6 [uses cstruct]
  - recompile mirage-crypto-rng  0.10.6 [uses cstruct, logs]
=== install 8 packages
  - install   alcotest           1.6.0  [required by dirsp-proscript-mirage]
  - install   astring            0.8.5  [required by alcotest]
  - install   cmdliner           1.1.1  [required by alcotest]
  - install   iter               1.5    [required by dirsp-proscript-mirage]
  - install   ocaml-syntax-shims 1.0.0  [required by alcotest]
  - install   re                 1.10.4 [required by alcotest]
  - install   seq                base   [required by iter]
  - install   uutf               1.0.3  [required by alcotest]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.6.0  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved cmdliner.1.1.1  (cached)
-> retrieved cstruct.6.1.1  (cached)
-> retrieved dirsp-proscript.0.1.0  (cached)
-> retrieved eqaf.0.9  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved iter.1.5  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved mirage-crypto.0.10.6, mirage-crypto-ec.0.10.6, mirage-crypto-rng.0.10.6  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved re.1.10.4  (cached)
-> installed seq.base
-> retrieved uutf.1.0.3  (cached)
-> installed re.1.10.4
-> installed astring.0.8.5
-> installed iter.1.5
-> installed ocaml-syntax-shims.1.0.0
-> removed   dirsp-proscript.0.1.0
-> removed   mirage-crypto-ec.0.10.6
-> removed   mirage-crypto-rng.0.10.6
-> removed   logs.0.7.0
-> removed   mirage-crypto.0.10.6
-> removed   eqaf.0.9
-> removed   cstruct.6.1.1
-> removed   fmt.0.9.0
-> installed cmdliner.1.1.1
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed cstruct.6.1.1
-> installed dirsp-proscript.0.1.0
-> installed alcotest.1.6.0
-> installed eqaf.0.9
-> installed logs.0.7.0
-> installed mirage-crypto.0.10.6
-> installed mirage-crypto-rng.0.10.6
-> installed mirage-crypto-ec.0.10.6
Done.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
=== install 1 package
  - install dirsp-proscript-mirage 0.1.0

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/3:
-> retrieved dirsp-proscript-mirage.0.1.0  (cached)
Processing  2/3: [dirsp-proscript-mirage: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "dirsp-proscript-mirage" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dirsp-proscript-mirage.0.1.0)
Processing  2/3: [dirsp-proscript-mirage: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "dirsp-proscript-mirage" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dirsp-proscript-mirage.0.1.0)
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_encoding.exe -e)
- Testing `Encoding'.
- This run has ID `3VJ2SO72'.
- 
-   [OK]          b2h                  0   00.
-   [OK]          b2h                  1   01.
-   [OK]          b2h                  2   02.
-   [OK]          b2h                  3   03.
-   [OK]          b2h                  4   04.
-   [OK]          b2h                  5   05.
-   [OK]          b2h                  6   06.
-   [OK]          b2h                  7   07.
-   [OK]          b2h                  8   08.
-   [OK]          b2h                  9   09.
-   [OK]          b2h                 10   0a.
-   [OK]          b2h                 11   0b.
-   [OK]          b2h                 12   0c.
-   [OK]          b2h                 13   0d.
-   [OK]          b2h                 14   0e.
-   [OK]          b2h                 15   0f.
-   [OK]          b2h                 16   10.
-   [OK]          b2h                 17   20.
-   [OK]          b2h                 18   30.
-   [OK]          b2h                 19   40.
-   [OK]          b2h                 20   50.
-   [OK]          b2h                 21   60.
-   [OK]          b2h                 22   70.
-   [OK]          b2h                 23   80.
-   [OK]          b2h                 24   90.
-   [OK]          b2h                 25   a0.
-   [OK]          b2h                 26   b0.
-   [OK]          b2h                 27   c0.
-   [OK]          b2h                 28   d0.
-   [OK]          b2h                 29   e0.
-   [OK]          b2h                 30   f0.
-   [OK]          b2h                 31   ff.
-   [OK]          hex-strings          0   hexStringTo12ByteArray.
-   [OK]          hex-strings          1   hexStringTo32ByteArray.
- 
- Full test results in `~/.opam/4.14/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/Encoding'.
- Test Successful in 0.005s. 34 tests run.
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_edh25519.exe -e)
- Testing `EDH25519'.
- This run has ID `8HT6FF7O'.
- 
-   [OK]          RFC_8032_publicKey          0   Sec 7.1.1.
-   [OK]          RFC_8032_publicKey          1   Sec 7.1.2.
-   [OK]          RFC_8032_publicKey          2   Sec 7.1.3.
-   [OK]          RFC_8032_publicKey          3   Sec 7.1.1024.
-   [OK]          RFC_8032_publicKey          4   Sec 7.1.SHA(abc).
-   [OK]          RFC_8032_verify             0   Sec 7.1.1.
-   [OK]          RFC_8032_verify             1   Sec 7.1.2.
-   [OK]          RFC_8032_verify             2   Sec 7.1.3.
-   [OK]          RFC_8032_verify             3   Sec 7.1.1024.
-   [OK]          RFC_8032_verify             4   Sec 7.1.SHA(abc).
-   [OK]          RFC_8032_calculate          0   Sec 7.1.1.
-   [OK]          RFC_8032_calculate          1   Sec 7.1.2.
-   [OK]          RFC_8032_calculate          2   Sec 7.1.3.
-   [OK]          RFC_8032_calculate          3   Sec 7.1.1024.
-   [OK]          RFC_8032_calculate          4   Sec 7.1.SHA(abc).
- 
- Full test results in `~/.opam/4.14/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/EDH25519'.
- Test Successful in 0.009s. 15 tests run.
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_aes.exe -e)
- Testing `AES'.
- This run has ID `KQYK2JUB'.
- 
-   [OK]          wycheproof_xAESGCMEncrypt          0   tc1: .
-   [OK]          wycheproof_xAESGCMEncrypt          1   tc2: .
-   [OK]          wycheproof_xAESGCMEncrypt          2   tc3: .
-   [OK]          wycheproof_xAESGCMEncrypt          3   tc4: .
-   [OK]          wycheproof_xAESGCMEncrypt          4   tc5: .
-   [OK]          wycheproof_xAESGCMEncrypt          5   tc6: .
-   [OK]          wycheproof_xAESGCMEncrypt          6   tc7: .
-   [OK]          wycheproof_xAESGCMEncrypt          7   tc8: .
-   [OK]          wycheproof_xAESGCMEncrypt          8   tc9: .
-   [OK]          wycheproof_xAESGCMEncrypt          9   tc10: .
-   [OK]          wycheproof_xAESGCMEncrypt         10   tc11: .
-   [OK]          wycheproof_xAESGCMEncrypt         11   tc12: .
-   [OK]          wycheproof_xAESGCMEncrypt         12   tc13: .
-   [OK]          wycheproof_xAESGCMEncrypt         13   tc14: .
-   [OK]          wycheproof_xAESGCMEncrypt         14   tc15: .
-   [OK]          wycheproof_xAESGCMEncrypt         15   tc16: .
-   [OK]          wycheproof_xAESGCMEncrypt         16   tc17: .
-   [OK]          wycheproof_xAESGCMEncrypt         17   tc18: .
-   [OK]          wycheproof_xAESGCMEncrypt         18   tc19: .
-   [OK]          wycheproof_xAESGCMEncrypt         19   tc20: .
-   [OK]          wycheproof_xAESGCMEncrypt         20   tc21: special case.
-   [OK]          wycheproof_xAESGCMEncrypt         21   tc22: special case.
-   [OK]          wycheproof_xAESGCMEncrypt         22   tc23: Flipped bit 0 in...
-   [OK]          wycheproof_xAESGCMEncrypt         23   tc24: Flipped bit 1 in...
-   [OK]          wycheproof_xAESGCMEncrypt         24   tc25: Flipped bit 7 in...
-   [OK]          wycheproof_xAESGCMEncrypt         25   tc26: Flipped bit 8 in...
-   [OK]          wycheproof_xAESGCMEncrypt         26   tc27: Flipped bit 31 i...
-   [OK]          wycheproof_xAESGCMEncrypt         27   tc28: Flipped bit 32 i...
-   [OK]          wycheproof_xAESGCMEncrypt         28   tc29: Flipped bit 33 i...
-   [OK]          wycheproof_xAESGCMEncrypt         29   tc30: Flipped bit 63 i...
-   [OK]          wycheproof_xAESGCMEncrypt         30   tc31: Flipped bit 64 i...
-   [OK]          wycheproof_xAESGCMEncrypt         31   tc32: Flipped bit 71 i...
-   [OK]          wycheproof_xAESGCMEncrypt         32   tc33: Flipped bit 77 i...
-   [OK]          wycheproof_xAESGCMEncrypt         33   tc34: Flipped bit 80 i...
-   [OK]          wycheproof_xAESGCMEncrypt         34   tc35: Flipped bit 96 i...
-   [OK]          wycheproof_xAESGCMEncrypt         35   tc36: Flipped bit 97 i...
-   [OK]          wycheproof_xAESGCMEncrypt         36   tc37: Flipped bit 103 ...
-   [OK]          wycheproof_xAESGCMEncrypt         37   tc38: Flipped bit 120 ...
-   [OK]          wycheproof_xAESGCMEncrypt         38   tc39: Flipped bit 121 ...
-   [OK]          wycheproof_xAESGCMEncrypt         39   tc40: Flipped bit 126 ...
-   [OK]          wycheproof_xAESGCMEncrypt         40   tc41: Flipped bit 127 ...
-   [OK]          wycheproof_xAESGCMEncrypt         41   tc42: Flipped bits 0 a...
-   [OK]          wycheproof_xAESGCMEncrypt         42   tc43: Flipped bits 31 ...
-   [OK]          wycheproof_xAESGCMEncrypt         43   tc44: Flipped bits 63 ...
-   [OK]          wycheproof_xAESGCMEncrypt         44   tc45: all bits of tag ...
-   [OK]          wycheproof_xAESGCMEncrypt         45   tc46: Tag changed to a...
-   [OK]          wycheproof_xAESGCMEncrypt         46   tc47: tag changed to a...
-   [OK]          wycheproof_xAESGCMEncrypt         47   tc48: msbs changed in ...
-   [OK]          wycheproof_xAESGCMEncrypt         48   tc49: lsbs changed in ...
-   [OK]          wycheproof_xAESGCMEncrypt         49   tc50: .
-   [OK]          wycheproof_xAESGCMEncrypt         50   tc51: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt         51   tc52: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt         52   tc53: .
-   [OK]          wycheproof_xAESGCMEncrypt         53   tc54: .
-   [OK]          wycheproof_xAESGCMEncrypt         54   tc55: .
-   [OK]          wycheproof_xAESGCMEncrypt         55   tc56: .
-   [OK]          wycheproof_xAESGCMEncrypt         56   tc57: .
-   [OK]          wycheproof_xAESGCMEncrypt         57   tc58: .
-   [OK]          wycheproof_xAESGCMEncrypt         58   tc59: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMEncrypt         59   tc60: J0:0000000000000...
-   [OK]          wycheproof_xAESGCMEncrypt         60   tc61: J0:fffffffffffff...
-   [OK]          wycheproof_xAESGCMEncrypt         61   tc62: J0:fffffffffffff...
-   [OK]          wycheproof_xAESGCMEncrypt         62   tc63: J0:fffffffffffff...
-   [OK]          wycheproof_xAESGCMEncrypt         63   tc64: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMEncrypt         64   tc65: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMEncrypt         65   tc66: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMEncrypt         66   tc67: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMEncrypt         67   tc68: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMEncrypt         68   tc69: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMEncrypt         69   tc70: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMEncrypt         70   tc71: special case.
-   [OK]          wycheproof_xAESGCMEncrypt         71   tc72: special case.
-   [OK]          wycheproof_xAESGCMEncrypt         72   tc73: .
-   [OK]          wycheproof_xAESGCMEncrypt         73   tc74: .
-   [OK]          wycheproof_xAESGCMEncrypt         74   tc75: .
-   [OK]          wycheproof_xAESGCMEncrypt         75   tc76: .
-   [OK]          wycheproof_xAESGCMEncrypt         76   tc77: .
-   [OK]          wycheproof_xAESGCMEncrypt         77   tc78: .
-   [OK]          wycheproof_xAESGCMEncrypt         78   tc79: .
-   [OK]          wycheproof_xAESGCMEncrypt         79   tc80: .
-   [OK]          wycheproof_xAESGCMEncrypt         80   tc81: .
-   [OK]          wycheproof_xAESGCMEncrypt         81   tc82: .
-   [OK]          wycheproof_xAESGCMEncrypt         82   tc83: .
-   [OK]          wycheproof_xAESGCMEncrypt         83   tc84: .
-   [OK]          wycheproof_xAESGCMEncrypt         84   tc85: .
-   [OK]          wycheproof_xAESGCMEncrypt         85   tc86: .
-   [OK]          wycheproof_xAESGCMEncrypt         86   tc87: .
-   [OK]          wycheproof_xAESGCMEncrypt         87   tc88: .
-   [OK]          wycheproof_xAESGCMEncrypt         88   tc89: .
-   [OK]          wycheproof_xAESGCMEncrypt         89   tc90: .
-   [OK]          wycheproof_xAESGCMEncrypt         90   tc91: .
-   [OK]          wycheproof_xAESGCMEncrypt         91   tc92: special case.
-   [OK]          wycheproof_xAESGCMEncrypt         92   tc93: special case.
-   [OK]          wycheproof_xAESGCMEncrypt         93   tc94: Flipped bit 0 in...
-   [OK]          wycheproof_xAESGCMEncrypt         94   tc95: Flipped bit 1 in...
-   [OK]          wycheproof_xAESGCMEncrypt         95   tc96: Flipped bit 7 in...
-   [OK]          wycheproof_xAESGCMEncrypt         96   tc97: Flipped bit 8 in...
-   [OK]          wycheproof_xAESGCMEncrypt         97   tc98: Flipped bit 31 i...
-   [OK]          wycheproof_xAESGCMEncrypt         98   tc99: Flipped bit 32 i...
-   [OK]          wycheproof_xAESGCMEncrypt         99   tc100: Flipped bit 33 ...
-   [OK]          wycheproof_xAESGCMEncrypt        100   tc101: Flipped bit 63 ...
-   [OK]          wycheproof_xAESGCMEncrypt        101   tc102: Flipped bit 64 ...
-   [OK]          wycheproof_xAESGCMEncrypt        102   tc103: Flipped bit 71 ...
-   [OK]          wycheproof_xAESGCMEncrypt        103   tc104: Flipped bit 77 ...
-   [OK]          wycheproof_xAESGCMEncrypt        104   tc105: Flipped bit 80 ...
-   [OK]          wycheproof_xAESGCMEncrypt        105   tc106: Flipped bit 96 ...
-   [OK]          wycheproof_xAESGCMEncrypt        106   tc107: Flipped bit 97 ...
-   [OK]          wycheproof_xAESGCMEncrypt        107   tc108: Flipped bit 103...
-   [OK]          wycheproof_xAESGCMEncrypt        108   tc109: Flipped bit 120...
-   [OK]          wycheproof_xAESGCMEncrypt        109   tc110: Flipped bit 121...
-   [OK]          wycheproof_xAESGCMEncrypt        110   tc111: Flipped bit 126...
-   [OK]          wycheproof_xAESGCMEncrypt        111   tc112: Flipped bit 127...
-   [OK]          wycheproof_xAESGCMEncrypt        112   tc113: Flipped bits 0 ...
-   [OK]          wycheproof_xAESGCMEncrypt        113   tc114: Flipped bits 31...
-   [OK]          wycheproof_xAESGCMEncrypt        114   tc115: Flipped bits 63...
-   [OK]          wycheproof_xAESGCMEncrypt        115   tc116: all bits of tag...
-   [OK]          wycheproof_xAESGCMEncrypt        116   tc117: Tag changed to ...
-   [OK]          wycheproof_xAESGCMEncrypt        117   tc118: tag changed to ...
-   [OK]          wycheproof_xAESGCMEncrypt        118   tc119: msbs changed in...
-   [OK]          wycheproof_xAESGCMEncrypt        119   tc120: lsbs changed in...
-   [OK]          wycheproof_xAESGCMEncrypt        120   tc121: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        121   tc122: J0:000000000000...
-   [OK]          wycheproof_xAESGCMEncrypt        122   tc123: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMEncrypt        123   tc124: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMEncrypt        124   tc125: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMEncrypt        125   tc126: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        126   tc127: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        127   tc128: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        128   tc129: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        129   tc130: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        130   tc131: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        131   tc132: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        132   tc133: special case.
-   [OK]          wycheproof_xAESGCMEncrypt        133   tc134: special case.
-   [OK]          wycheproof_xAESGCMEncrypt        134   tc135: .
-   [OK]          wycheproof_xAESGCMEncrypt        135   tc136: .
-   [OK]          wycheproof_xAESGCMEncrypt        136   tc137: .
-   [OK]          wycheproof_xAESGCMEncrypt        137   tc138: .
-   [OK]          wycheproof_xAESGCMEncrypt        138   tc139: .
-   [OK]          wycheproof_xAESGCMEncrypt        139   tc140: special case.
-   [OK]          wycheproof_xAESGCMEncrypt        140   tc141: special case.
-   [OK]          wycheproof_xAESGCMEncrypt        141   tc142: .
-   [OK]          wycheproof_xAESGCMEncrypt        142   tc143: .
-   [OK]          wycheproof_xAESGCMEncrypt        143   tc144: .
-   [OK]          wycheproof_xAESGCMEncrypt        144   tc145: .
-   [OK]          wycheproof_xAESGCMEncrypt        145   tc146: .
-   [OK]          wycheproof_xAESGCMEncrypt        146   tc147: .
-   [OK]          wycheproof_xAESGCMEncrypt        147   tc148: .
-   [OK]          wycheproof_xAESGCMEncrypt        148   tc149: .
-   [OK]          wycheproof_xAESGCMEncrypt        149   tc150: .
-   [OK]          wycheproof_xAESGCMEncrypt        150   tc151: .
-   [OK]          wycheproof_xAESGCMEncrypt        151   tc152: .
-   [OK]          wycheproof_xAESGCMEncrypt        152   tc153: .
-   [OK]          wycheproof_xAESGCMEncrypt        153   tc154: .
-   [OK]          wycheproof_xAESGCMEncrypt        154   tc155: .
-   [OK]          wycheproof_xAESGCMEncrypt        155   tc156: .
-   [OK]          wycheproof_xAESGCMEncrypt        156   tc157: .
-   [OK]          wycheproof_xAESGCMEncrypt        157   tc158: .
-   [OK]          wycheproof_xAESGCMEncrypt        158   tc159: Flipped bit 0 i...
-   [OK]          wycheproof_xAESGCMEncrypt        159   tc160: Flipped bit 1 i...
-   [OK]          wycheproof_xAESGCMEncrypt        160   tc161: Flipped bit 7 i...
-   [OK]          wycheproof_xAESGCMEncrypt        161   tc162: Flipped bit 8 i...
-   [OK]          wycheproof_xAESGCMEncrypt        162   tc163: Flipped bit 31 ...
-   [OK]          wycheproof_xAESGCMEncrypt        163   tc164: Flipped bit 32 ...
-   [OK]          wycheproof_xAESGCMEncrypt        164   tc165: Flipped bit 33 ...
-   [OK]          wycheproof_xAESGCMEncrypt        165   tc166: Flipped bit 63 ...
-   [OK]          wycheproof_xAESGCMEncrypt        166   tc167: Flipped bit 64 ...
-   [OK]          wycheproof_xAESGCMEncrypt        167   tc168: Flipped bit 71 ...
-   [OK]          wycheproof_xAESGCMEncrypt        168   tc169: Flipped bit 77 ...
-   [OK]          wycheproof_xAESGCMEncrypt        169   tc170: Flipped bit 80 ...
-   [OK]          wycheproof_xAESGCMEncrypt        170   tc171: Flipped bit 96 ...
-   [OK]          wycheproof_xAESGCMEncrypt        171   tc172: Flipped bit 97 ...
-   [OK]          wycheproof_xAESGCMEncrypt        172   tc173: Flipped bit 103...
-   [OK]          wycheproof_xAESGCMEncrypt        173   tc174: Flipped bit 120...
-   [OK]          wycheproof_xAESGCMEncrypt        174   tc175: Flipped bit 121...
-   [OK]          wycheproof_xAESGCMEncrypt        175   tc176: Flipped bit 126...
-   [OK]          wycheproof_xAESGCMEncrypt        176   tc177: Flipped bit 127...
-   [OK]          wycheproof_xAESGCMEncrypt        177   tc178: Flipped bits 0 ...
-   [OK]          wycheproof_xAESGCMEncrypt        178   tc179: Flipped bits 31...
-   [OK]          wycheproof_xAESGCMEncrypt        179   tc180: Flipped bits 63...
-   [OK]          wycheproof_xAESGCMEncrypt        180   tc181: all bits of tag...
-   [OK]          wycheproof_xAESGCMEncrypt        181   tc182: Tag changed to ...
-   [OK]          wycheproof_xAESGCMEncrypt        182   tc183: tag changed to ...
-   [OK]          wycheproof_xAESGCMEncrypt        183   tc184: msbs changed in...
-   [OK]          wycheproof_xAESGCMEncrypt        184   tc185: lsbs changed in...
-   [OK]          wycheproof_xAESGCMEncrypt        185   tc186: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        186   tc187: J0:000000000000...
-   [OK]          wycheproof_xAESGCMEncrypt        187   tc188: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMEncrypt        188   tc189: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMEncrypt        189   tc190: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMEncrypt        190   tc191: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        191   tc192: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        192   tc193: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        193   tc194: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        194   tc195: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        195   tc196: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        196   tc197: J0:000102030405...
-   [OK]          wycheproof_xAESGCMEncrypt        197   tc198: special case.
-   [OK]          wycheproof_xAESGCMEncrypt        198   tc199: special case.
-   [OK]          wycheproof_xAESGCMEncrypt        199   tc200: .
-   [OK]          wycheproof_xAESGCMEncrypt        200   tc201: .
-   [OK]          wycheproof_xAESGCMEncrypt        201   tc202: .
-   [OK]          wycheproof_xAESGCMEncrypt        202   tc203: .
-   [OK]          wycheproof_xAESGCMEncrypt        203   tc204: .
-   [OK]          wycheproof_xAESGCMEncrypt        204   tc205: unusual IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        205   tc206: unusual IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        206   tc207: unusual IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        207   tc208: unusual IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        208   tc209: unusual IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        209   tc210: unusual IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        210   tc211: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        211   tc212: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        212   tc213: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        213   tc214: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        214   tc215: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        215   tc216: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        216   tc217: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        217   tc218: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        218   tc219: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        219   tc220: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        220   tc221: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        221   tc222: long IV size.
-   [OK]          wycheproof_xAESGCMEncrypt        222   tc223: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMEncrypt        223   tc224: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMEncrypt        224   tc225: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMEncrypt        225   tc226: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMEncrypt        226   tc227: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMEncrypt        227   tc228: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMEncrypt        228   tc229: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        229   tc230: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        230   tc231: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        231   tc232: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        232   tc233: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        233   tc234: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        234   tc235: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        235   tc236: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        236   tc237: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        237   tc238: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        238   tc239: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        239   tc240: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        240   tc241: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        241   tc242: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        242   tc243: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        243   tc244: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        244   tc245: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        245   tc246: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        246   tc247: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        247   tc248: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        248   tc249: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        249   tc250: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        250   tc251: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        251   tc252: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        252   tc253: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        253   tc254: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        254   tc255: small IV sizes.
-   [OK]          wycheproof_xAESGCMEncrypt        255   tc256: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt          0   tc1: .
-   [OK]          wycheproof_xAESGCMDecrypt          1   tc2: .
-   [OK]          wycheproof_xAESGCMDecrypt          2   tc3: .
-   [OK]          wycheproof_xAESGCMDecrypt          3   tc4: .
-   [OK]          wycheproof_xAESGCMDecrypt          4   tc5: .
-   [OK]          wycheproof_xAESGCMDecrypt          5   tc6: .
-   [OK]          wycheproof_xAESGCMDecrypt          6   tc7: .
-   [OK]          wycheproof_xAESGCMDecrypt          7   tc8: .
-   [OK]          wycheproof_xAESGCMDecrypt          8   tc9: .
-   [OK]          wycheproof_xAESGCMDecrypt          9   tc10: .
-   [OK]          wycheproof_xAESGCMDecrypt         10   tc11: .
-   [OK]          wycheproof_xAESGCMDecrypt         11   tc12: .
-   [OK]          wycheproof_xAESGCMDecrypt         12   tc13: .
-   [OK]          wycheproof_xAESGCMDecrypt         13   tc14: .
-   [OK]          wycheproof_xAESGCMDecrypt         14   tc15: .
-   [OK]          wycheproof_xAESGCMDecrypt         15   tc16: .
-   [OK]          wycheproof_xAESGCMDecrypt         16   tc17: .
-   [OK]          wycheproof_xAESGCMDecrypt         17   tc18: .
-   [OK]          wycheproof_xAESGCMDecrypt         18   tc19: .
-   [OK]          wycheproof_xAESGCMDecrypt         19   tc20: .
-   [OK]          wycheproof_xAESGCMDecrypt         20   tc21: special case.
-   [OK]          wycheproof_xAESGCMDecrypt         21   tc22: special case.
-   [OK]          wycheproof_xAESGCMDecrypt         22   tc23: Flipped bit 0 in...
-   [OK]          wycheproof_xAESGCMDecrypt         23   tc24: Flipped bit 1 in...
-   [OK]          wycheproof_xAESGCMDecrypt         24   tc25: Flipped bit 7 in...
-   [OK]          wycheproof_xAESGCMDecrypt         25   tc26: Flipped bit 8 in...
-   [OK]          wycheproof_xAESGCMDecrypt         26   tc27: Flipped bit 31 i...
-   [OK]          wycheproof_xAESGCMDecrypt         27   tc28: Flipped bit 32 i...
-   [OK]          wycheproof_xAESGCMDecrypt         28   tc29: Flipped bit 33 i...
-   [OK]          wycheproof_xAESGCMDecrypt         29   tc30: Flipped bit 63 i...
-   [OK]          wycheproof_xAESGCMDecrypt         30   tc31: Flipped bit 64 i...
-   [OK]          wycheproof_xAESGCMDecrypt         31   tc32: Flipped bit 71 i...
-   [OK]          wycheproof_xAESGCMDecrypt         32   tc33: Flipped bit 77 i...
-   [OK]          wycheproof_xAESGCMDecrypt         33   tc34: Flipped bit 80 i...
-   [OK]          wycheproof_xAESGCMDecrypt         34   tc35: Flipped bit 96 i...
-   [OK]          wycheproof_xAESGCMDecrypt         35   tc36: Flipped bit 97 i...
-   [OK]          wycheproof_xAESGCMDecrypt         36   tc37: Flipped bit 103 ...
-   [OK]          wycheproof_xAESGCMDecrypt         37   tc38: Flipped bit 120 ...
-   [OK]          wycheproof_xAESGCMDecrypt         38   tc39: Flipped bit 121 ...
-   [OK]          wycheproof_xAESGCMDecrypt         39   tc40: Flipped bit 126 ...
-   [OK]          wycheproof_xAESGCMDecrypt         40   tc41: Flipped bit 127 ...
-   [OK]          wycheproof_xAESGCMDecrypt         41   tc42: Flipped bits 0 a...
-   [OK]          wycheproof_xAESGCMDecrypt         42   tc43: Flipped bits 31 ...
-   [OK]          wycheproof_xAESGCMDecrypt         43   tc44: Flipped bits 63 ...
-   [OK]          wycheproof_xAESGCMDecrypt         44   tc45: all bits of tag ...
-   [OK]          wycheproof_xAESGCMDecrypt         45   tc46: Tag changed to a...
-   [OK]          wycheproof_xAESGCMDecrypt         46   tc47: tag changed to a...
-   [OK]          wycheproof_xAESGCMDecrypt         47   tc48: msbs changed in ...
-   [OK]          wycheproof_xAESGCMDecrypt         48   tc49: lsbs changed in ...
-   [OK]          wycheproof_xAESGCMDecrypt         49   tc50: .
-   [OK]          wycheproof_xAESGCMDecrypt         50   tc51: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt         51   tc52: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt         52   tc53: .
-   [OK]          wycheproof_xAESGCMDecrypt         53   tc54: .
-   [OK]          wycheproof_xAESGCMDecrypt         54   tc55: .
-   [OK]          wycheproof_xAESGCMDecrypt         55   tc56: .
-   [OK]          wycheproof_xAESGCMDecrypt         56   tc57: .
-   [OK]          wycheproof_xAESGCMDecrypt         57   tc58: .
-   [OK]          wycheproof_xAESGCMDecrypt         58   tc59: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMDecrypt         59   tc60: J0:0000000000000...
-   [OK]          wycheproof_xAESGCMDecrypt         60   tc61: J0:fffffffffffff...
-   [OK]          wycheproof_xAESGCMDecrypt         61   tc62: J0:fffffffffffff...
-   [OK]          wycheproof_xAESGCMDecrypt         62   tc63: J0:fffffffffffff...
-   [OK]          wycheproof_xAESGCMDecrypt         63   tc64: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMDecrypt         64   tc65: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMDecrypt         65   tc66: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMDecrypt         66   tc67: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMDecrypt         67   tc68: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMDecrypt         68   tc69: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMDecrypt         69   tc70: J0:0001020304050...
-   [OK]          wycheproof_xAESGCMDecrypt         70   tc71: special case.
-   [OK]          wycheproof_xAESGCMDecrypt         71   tc72: special case.
-   [OK]          wycheproof_xAESGCMDecrypt         72   tc73: .
-   [OK]          wycheproof_xAESGCMDecrypt         73   tc74: .
-   [OK]          wycheproof_xAESGCMDecrypt         74   tc75: .
-   [OK]          wycheproof_xAESGCMDecrypt         75   tc76: .
-   [OK]          wycheproof_xAESGCMDecrypt         76   tc77: .
-   [OK]          wycheproof_xAESGCMDecrypt         77   tc78: .
-   [OK]          wycheproof_xAESGCMDecrypt         78   tc79: .
-   [OK]          wycheproof_xAESGCMDecrypt         79   tc80: .
-   [OK]          wycheproof_xAESGCMDecrypt         80   tc81: .
-   [OK]          wycheproof_xAESGCMDecrypt         81   tc82: .
-   [OK]          wycheproof_xAESGCMDecrypt         82   tc83: .
-   [OK]          wycheproof_xAESGCMDecrypt         83   tc84: .
-   [OK]          wycheproof_xAESGCMDecrypt         84   tc85: .
-   [OK]          wycheproof_xAESGCMDecrypt         85   tc86: .
-   [OK]          wycheproof_xAESGCMDecrypt         86   tc87: .
-   [OK]          wycheproof_xAESGCMDecrypt         87   tc88: .
-   [OK]          wycheproof_xAESGCMDecrypt         88   tc89: .
-   [OK]          wycheproof_xAESGCMDecrypt         89   tc90: .
-   [OK]          wycheproof_xAESGCMDecrypt         90   tc91: .
-   [OK]          wycheproof_xAESGCMDecrypt         91   tc92: special case.
-   [OK]          wycheproof_xAESGCMDecrypt         92   tc93: special case.
-   [OK]          wycheproof_xAESGCMDecrypt         93   tc94: Flipped bit 0 in...
-   [OK]          wycheproof_xAESGCMDecrypt         94   tc95: Flipped bit 1 in...
-   [OK]          wycheproof_xAESGCMDecrypt         95   tc96: Flipped bit 7 in...
-   [OK]          wycheproof_xAESGCMDecrypt         96   tc97: Flipped bit 8 in...
-   [OK]          wycheproof_xAESGCMDecrypt         97   tc98: Flipped bit 31 i...
-   [OK]          wycheproof_xAESGCMDecrypt         98   tc99: Flipped bit 32 i...
-   [OK]          wycheproof_xAESGCMDecrypt         99   tc100: Flipped bit 33 ...
-   [OK]          wycheproof_xAESGCMDecrypt        100   tc101: Flipped bit 63 ...
-   [OK]          wycheproof_xAESGCMDecrypt        101   tc102: Flipped bit 64 ...
-   [OK]          wycheproof_xAESGCMDecrypt        102   tc103: Flipped bit 71 ...
-   [OK]          wycheproof_xAESGCMDecrypt        103   tc104: Flipped bit 77 ...
-   [OK]          wycheproof_xAESGCMDecrypt        104   tc105: Flipped bit 80 ...
-   [OK]          wycheproof_xAESGCMDecrypt        105   tc106: Flipped bit 96 ...
-   [OK]          wycheproof_xAESGCMDecrypt        106   tc107: Flipped bit 97 ...
-   [OK]          wycheproof_xAESGCMDecrypt        107   tc108: Flipped bit 103...
-   [OK]          wycheproof_xAESGCMDecrypt        108   tc109: Flipped bit 120...
-   [OK]          wycheproof_xAESGCMDecrypt        109   tc110: Flipped bit 121...
-   [OK]          wycheproof_xAESGCMDecrypt        110   tc111: Flipped bit 126...
-   [OK]          wycheproof_xAESGCMDecrypt        111   tc112: Flipped bit 127...
-   [OK]          wycheproof_xAESGCMDecrypt        112   tc113: Flipped bits 0 ...
-   [OK]          wycheproof_xAESGCMDecrypt        113   tc114: Flipped bits 31...
-   [OK]          wycheproof_xAESGCMDecrypt        114   tc115: Flipped bits 63...
-   [OK]          wycheproof_xAESGCMDecrypt        115   tc116: all bits of tag...
-   [OK]          wycheproof_xAESGCMDecrypt        116   tc117: Tag changed to ...
-   [OK]          wycheproof_xAESGCMDecrypt        117   tc118: tag changed to ...
-   [OK]          wycheproof_xAESGCMDecrypt        118   tc119: msbs changed in...
-   [OK]          wycheproof_xAESGCMDecrypt        119   tc120: lsbs changed in...
-   [OK]          wycheproof_xAESGCMDecrypt        120   tc121: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        121   tc122: J0:000000000000...
-   [OK]          wycheproof_xAESGCMDecrypt        122   tc123: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMDecrypt        123   tc124: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMDecrypt        124   tc125: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMDecrypt        125   tc126: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        126   tc127: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        127   tc128: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        128   tc129: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        129   tc130: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        130   tc131: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        131   tc132: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        132   tc133: special case.
-   [OK]          wycheproof_xAESGCMDecrypt        133   tc134: special case.
-   [OK]          wycheproof_xAESGCMDecrypt        134   tc135: .
-   [OK]          wycheproof_xAESGCMDecrypt        135   tc136: .
-   [OK]          wycheproof_xAESGCMDecrypt        136   tc137: .
-   [OK]          wycheproof_xAESGCMDecrypt        137   tc138: .
-   [OK]          wycheproof_xAESGCMDecrypt        138   tc139: .
-   [OK]          wycheproof_xAESGCMDecrypt        139   tc140: special case.
-   [OK]          wycheproof_xAESGCMDecrypt        140   tc141: special case.
-   [OK]          wycheproof_xAESGCMDecrypt        141   tc142: .
-   [OK]          wycheproof_xAESGCMDecrypt        142   tc143: .
-   [OK]          wycheproof_xAESGCMDecrypt        143   tc144: .
-   [OK]          wycheproof_xAESGCMDecrypt        144   tc145: .
-   [OK]          wycheproof_xAESGCMDecrypt        145   tc146: .
-   [OK]          wycheproof_xAESGCMDecrypt        146   tc147: .
-   [OK]          wycheproof_xAESGCMDecrypt        147   tc148: .
-   [OK]          wycheproof_xAESGCMDecrypt        148   tc149: .
-   [OK]          wycheproof_xAESGCMDecrypt        149   tc150: .
-   [OK]          wycheproof_xAESGCMDecrypt        150   tc151: .
-   [OK]          wycheproof_xAESGCMDecrypt        151   tc152: .
-   [OK]          wycheproof_xAESGCMDecrypt        152   tc153: .
-   [OK]          wycheproof_xAESGCMDecrypt        153   tc154: .
-   [OK]          wycheproof_xAESGCMDecrypt        154   tc155: .
-   [OK]          wycheproof_xAESGCMDecrypt        155   tc156: .
-   [OK]          wycheproof_xAESGCMDecrypt        156   tc157: .
-   [OK]          wycheproof_xAESGCMDecrypt        157   tc158: .
-   [OK]          wycheproof_xAESGCMDecrypt        158   tc159: Flipped bit 0 i...
-   [OK]          wycheproof_xAESGCMDecrypt        159   tc160: Flipped bit 1 i...
-   [OK]          wycheproof_xAESGCMDecrypt        160   tc161: Flipped bit 7 i...
-   [OK]          wycheproof_xAESGCMDecrypt        161   tc162: Flipped bit 8 i...
-   [OK]          wycheproof_xAESGCMDecrypt        162   tc163: Flipped bit 31 ...
-   [OK]          wycheproof_xAESGCMDecrypt        163   tc164: Flipped bit 32 ...
-   [OK]          wycheproof_xAESGCMDecrypt        164   tc165: Flipped bit 33 ...
-   [OK]          wycheproof_xAESGCMDecrypt        165   tc166: Flipped bit 63 ...
-   [OK]          wycheproof_xAESGCMDecrypt        166   tc167: Flipped bit 64 ...
-   [OK]          wycheproof_xAESGCMDecrypt        167   tc168: Flipped bit 71 ...
-   [OK]          wycheproof_xAESGCMDecrypt        168   tc169: Flipped bit 77 ...
-   [OK]          wycheproof_xAESGCMDecrypt        169   tc170: Flipped bit 80 ...
-   [OK]          wycheproof_xAESGCMDecrypt        170   tc171: Flipped bit 96 ...
-   [OK]          wycheproof_xAESGCMDecrypt        171   tc172: Flipped bit 97 ...
-   [OK]          wycheproof_xAESGCMDecrypt        172   tc173: Flipped bit 103...
-   [OK]          wycheproof_xAESGCMDecrypt        173   tc174: Flipped bit 120...
-   [OK]          wycheproof_xAESGCMDecrypt        174   tc175: Flipped bit 121...
-   [OK]          wycheproof_xAESGCMDecrypt        175   tc176: Flipped bit 126...
-   [OK]          wycheproof_xAESGCMDecrypt        176   tc177: Flipped bit 127...
-   [OK]          wycheproof_xAESGCMDecrypt        177   tc178: Flipped bits 0 ...
-   [OK]          wycheproof_xAESGCMDecrypt        178   tc179: Flipped bits 31...
-   [OK]          wycheproof_xAESGCMDecrypt        179   tc180: Flipped bits 63...
-   [OK]          wycheproof_xAESGCMDecrypt        180   tc181: all bits of tag...
-   [OK]          wycheproof_xAESGCMDecrypt        181   tc182: Tag changed to ...
-   [OK]          wycheproof_xAESGCMDecrypt        182   tc183: tag changed to ...
-   [OK]          wycheproof_xAESGCMDecrypt        183   tc184: msbs changed in...
-   [OK]          wycheproof_xAESGCMDecrypt        184   tc185: lsbs changed in...
-   [OK]          wycheproof_xAESGCMDecrypt        185   tc186: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        186   tc187: J0:000000000000...
-   [OK]          wycheproof_xAESGCMDecrypt        187   tc188: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMDecrypt        188   tc189: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMDecrypt        189   tc190: J0:ffffffffffff...
-   [OK]          wycheproof_xAESGCMDecrypt        190   tc191: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        191   tc192: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        192   tc193: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        193   tc194: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        194   tc195: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        195   tc196: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        196   tc197: J0:000102030405...
-   [OK]          wycheproof_xAESGCMDecrypt        197   tc198: special case.
-   [OK]          wycheproof_xAESGCMDecrypt        198   tc199: special case.
-   [OK]          wycheproof_xAESGCMDecrypt        199   tc200: .
-   [OK]          wycheproof_xAESGCMDecrypt        200   tc201: .
-   [OK]          wycheproof_xAESGCMDecrypt        201   tc202: .
-   [OK]          wycheproof_xAESGCMDecrypt        202   tc203: .
-   [OK]          wycheproof_xAESGCMDecrypt        203   tc204: .
-   [OK]          wycheproof_xAESGCMDecrypt        204   tc205: unusual IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        205   tc206: unusual IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        206   tc207: unusual IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        207   tc208: unusual IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        208   tc209: unusual IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        209   tc210: unusual IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        210   tc211: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        211   tc212: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        212   tc213: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        213   tc214: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        214   tc215: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        215   tc216: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        216   tc217: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        217   tc218: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        218   tc219: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        219   tc220: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        220   tc221: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        221   tc222: long IV size.
-   [OK]          wycheproof_xAESGCMDecrypt        222   tc223: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMDecrypt        223   tc224: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMDecrypt        224   tc225: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMDecrypt        225   tc226: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMDecrypt        226   tc227: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMDecrypt        227   tc228: 0 size IV is no...
-   [OK]          wycheproof_xAESGCMDecrypt        228   tc229: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        229   tc230: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        230   tc231: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        231   tc232: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        232   tc233: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        233   tc234: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        234   tc235: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        235   tc236: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        236   tc237: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        237   tc238: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        238   tc239: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        239   tc240: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        240   tc241: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        241   tc242: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        242   tc243: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        243   tc244: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        244   tc245: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        245   tc246: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        246   tc247: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        247   tc248: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        248   tc249: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        249   tc250: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        250   tc251: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        251   tc252: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        252   tc253: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        253   tc254: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        254   tc255: small IV sizes.
-   [OK]          wycheproof_xAESGCMDecrypt        255   tc256: small IV sizes.
- 
- Full test results in `~/.opam/4.14/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/AES'.
- Test Successful in 0.265s. 512 tests run.
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_dh25519.exe -e)
- Testing `DH25519'.
- This run has ID `CAGR4GTQ'.
- 
-   [OK]          wycheproof_x25519          0   tc1: normal case.
-   [OK]          wycheproof_x25519          1   tc2: public key on twist.
-   [OK]          wycheproof_x25519          2   tc3: public key on twist.
-   [OK]          wycheproof_x25519          3   tc4: public key on twist.
-   [OK]          wycheproof_x25519          4   tc5: public key on twist.
-   [OK]          wycheproof_x25519          5   tc6: public key on twist.
-   [OK]          wycheproof_x25519          6   tc7: public key on twist.
-   [OK]          wycheproof_x25519          7   tc8: public key on twist.
-   [OK]          wycheproof_x25519          8   tc9: public key on twist.
-   [OK]          wycheproof_x25519          9   tc10: public key on twist.
-   [OK]          wycheproof_x25519         10   tc11: public key on twist.
-   [OK]          wycheproof_x25519         11   tc12: public key on twist.
-   [OK]          wycheproof_x25519         12   tc13: public key on twist.
-   [OK]          wycheproof_x25519         13   tc14: public key on twist.
-   [OK]          wycheproof_x25519         14   tc15: public key on twist.
-   [OK]          wycheproof_x25519         15   tc16: public key on twist.
-   [OK]          wycheproof_x25519         16   tc17: public key on twist.
-   [OK]          wycheproof_x25519         17   tc18: public key on twist.
-   [OK]          wycheproof_x25519         18   tc19: public key on twist.
-   [OK]          wycheproof_x25519         19   tc20: public key on twist.
-   [OK]          wycheproof_x25519         20   tc21: public key on twist.
-   [OK]          wycheproof_x25519         21   tc22: public key on twist.
-   [OK]          wycheproof_x25519         22   tc23: public key on twist.
-   [OK]          wycheproof_x25519         23   tc24: public key on twist.
-   [OK]          wycheproof_x25519         24   tc25: public key on twist.
-   [OK]          wycheproof_x25519         25   tc26: public key on twist.
-   [OK]          wycheproof_x25519         26   tc27: public key on twist.
-   [OK]          wycheproof_x25519         27   tc28: public key on twist.
-   [OK]          wycheproof_x25519         28   tc29: public key on twist.
-   [OK]          wycheproof_x25519         29   tc30: public key on twist.
-   [OK]          wycheproof_x25519         30   tc31: public key on twist.
-   [OK]          wycheproof_x25519         31   tc32: public key = 0.
-   [OK]          wycheproof_x25519         32   tc33: public key = 1.
-   [OK]          wycheproof_x25519         33   tc34: edge case public key.
-   [OK]          wycheproof_x25519         34   tc35: edge case public key.
-   [OK]          wycheproof_x25519         35   tc36: edge case public key.
-   [OK]          wycheproof_x25519         36   tc37: edge case public key.
-   [OK]          wycheproof_x25519         37   tc38: edge case public key.
-   [OK]          wycheproof_x25519         38   tc39: edge case public key.
-   [OK]          wycheproof_x25519         39   tc40: edge case public key.
-   [OK]          wycheproof_x25519         40   tc41: edge case public key.
-   [OK]          wycheproof_x25519         41   tc42: edge case public key.
-   [OK]          wycheproof_x25519         42   tc43: edge case public key.
-   [OK]          wycheproof_x25519         43   tc44: edge case public key.
-   [OK]          wycheproof_x25519         44   tc45: edge case public key.
-   [OK]          wycheproof_x25519         45   tc46: edge case public key.
-   [OK]          wycheproof_x25519         46   tc47: edge case public key.
-   [OK]          wycheproof_x25519         47   tc48: edge case public key.
-   [OK]          wycheproof_x25519         48   tc49: edge case public key.
-   [OK]          wycheproof_x25519         49   tc50: edge case public key.
-   [OK]          wycheproof_x25519         50   tc51: edge case public key.
-   [OK]          wycheproof_x25519         51   tc52: edge case public key.
-   [OK]          wycheproof_x25519         52   tc53: edge case public key.
-   [OK]          wycheproof_x25519         53   tc54: edge case public key.
-   [OK]          wycheproof_x25519         54   tc55: edge case public key.
-   [OK]          wycheproof_x25519         55   tc56: edge case public key.
-   [OK]          wycheproof_x25519         56   tc57: edge case public key.
-   [OK]          wycheproof_x25519         57   tc58: edge case public key.
-   [OK]          wycheproof_x25519         58   tc59: edge case public key.
-   [OK]          wycheproof_x25519         59   tc60: edge case public key.
-   [OK]          wycheproof_x25519         60   tc61: edge case public key.
-   [OK]          wycheproof_x25519         61   tc62: edge case public key.
-   [OK]          wycheproof_x25519         62   tc63: public key with low order.
-   [OK]          wycheproof_x25519         63   tc64: public key with low order.
-   [OK]          wycheproof_x25519         64   tc65: public key with low order.
-   [OK]          wycheproof_x25519         65   tc66: public key with low order.
-   [OK]          wycheproof_x25519         66   tc67: public key with low order.
-   [OK]          wycheproof_x25519         67   tc68: public key with low order.
-   [OK]          wycheproof_x25519         68   tc69: public key with low order.
-   [OK]          wycheproof_x25519         69   tc70: public key with low order.
-   [OK]          wycheproof_x25519         70   tc71: public key with low order.
-   [OK]          wycheproof_x25519         71   tc72: public key with low order.
-   [OK]          wycheproof_x25519         72   tc73: public key with low order.
-   [OK]          wycheproof_x25519         73   tc74: public key with low order.
-   [OK]          wycheproof_x25519         74   tc75: public key with low order.
-   [OK]          wycheproof_x25519         75   tc76: public key with low order.
-   [OK]          wycheproof_x25519         76   tc77: public key with low order.
-   [OK]          wycheproof_x25519         77   tc78: public key with low order.
-   [OK]          wycheproof_x25519         78   tc79: public key with low order.
-   [OK]          wycheproof_x25519         79   tc80: public key with low order.
-   [OK]          wycheproof_x25519         80   tc81: public key with low order.
-   [OK]          wycheproof_x25519         81   tc82: public key with low order.
-   [OK]          wycheproof_x25519         82   tc83: public key = 57896044618...
-   [OK]          wycheproof_x25519         83   tc84: public key = 57896044618...
-   [OK]          wycheproof_x25519         84   tc85: non-canonical public key.
-   [OK]          wycheproof_x25519         85   tc86: non-canonical public key.
-   [OK]          wycheproof_x25519         86   tc87: non-canonical public key.
-   [OK]          wycheproof_x25519         87   tc88: non-canonical public key.
-   [OK]          wycheproof_x25519         88   tc89: non-canonical public key.
-   [OK]          wycheproof_x25519         89   tc90: non-canonical public key.
-   [OK]          wycheproof_x25519         90   tc91: non-canonical public key.
-   [OK]          wycheproof_x25519         91   tc92: non-canonical public key.
-   [OK]          wycheproof_x25519         92   tc93: non-canonical public key.
-   [OK]          wycheproof_x25519         93   tc94: non-canonical public key.
-   [OK]          wycheproof_x25519         94   tc95: non-canonical public key.
-   [OK]          wycheproof_x25519         95   tc96: non-canonical public key.
-   [OK]          wycheproof_x25519         96   tc97: non-canonical public key.
-   [OK]          wycheproof_x25519         97   tc98: public key = 57896044618...
-   [OK]          wycheproof_x25519         98   tc99: public key = 57896044618...
-   [OK]          wycheproof_x25519         99   tc100: RFC 7748.
-   [OK]          wycheproof_x25519        100   tc101: RFC 7748.
-   [OK]          wycheproof_x25519        101   tc102: RFC 8037; Section A.6.
-   [OK]          wycheproof_x25519        102   tc103: edge case for shared se...
-   [OK]          wycheproof_x25519        103   tc104: edge case for shared se...
-   [OK]          wycheproof_x25519        104   tc105: edge case for shared se...
-   [OK]          wycheproof_x25519        105   tc106: edge case for shared se...
-   [OK]          wycheproof_x25519        106   tc107: edge case for shared se...
-   [OK]          wycheproof_x25519        107   tc108: edge case for shared se...
-   [OK]          wycheproof_x25519        108   tc109: edge case for shared se...
-   [OK]          wycheproof_x25519        109   tc110: edge case for shared se...
-   [OK]          wycheproof_x25519        110   tc111: edge case for shared se...
-   [OK]          wycheproof_x25519        111   tc112: edge case for shared se...
-   [OK]          wycheproof_x25519        112   tc113: edge case for shared se...
-   [OK]          wycheproof_x25519        113   tc114: edge case for shared se...
-   [OK]          wycheproof_x25519        114   tc115: edge case for shared se...
-   [OK]          wycheproof_x25519        115   tc116: edge case for shared se...
-   [OK]          wycheproof_x25519        116   tc117: special case public key.
-   [OK]          wycheproof_x25519        117   tc118: special case public key.
-   [OK]          wycheproof_x25519        118   tc119: special case public key.
-   [OK]          wycheproof_x25519        119   tc120: special case public key.
-   [OK]          wycheproof_x25519        120   tc121: special case public key.
-   [OK]          wycheproof_x25519        121   tc122: special case public key.
-   [OK]          wycheproof_x25519        122   tc123: special case public key.
-   [OK]          wycheproof_x25519        123   tc124: special case public key.
-   [OK]          wycheproof_x25519        124   tc125: special case public key.
-   [OK]          wycheproof_x25519        125   tc126: special case public key.
-   [OK]          wycheproof_x25519        126   tc127: special case public key.
-   [OK]          wycheproof_x25519        127   tc128: special case public key.
-   [OK]          wycheproof_x25519        128   tc129: special case public key.
-   [OK]          wycheproof_x25519        129   tc130: special case public key.
-   [OK]          wycheproof_x25519        130   tc131: special case public key.
-   [OK]          wycheproof_x25519        131   tc132: special case public key.
-   [OK]          wycheproof_x25519        132   tc133: special case public key.
-   [OK]          wycheproof_x25519        133   tc134: special case public key.
-   [OK]          wycheproof_x25519        134   tc135: special case public key.
-   [OK]          wycheproof_x25519        135   tc136: special case public key.
-   [OK]          wycheproof_x25519        136   tc137: special case public key.
-   [OK]          wycheproof_x25519        137   tc138: special case public key.
-   [OK]          wycheproof_x25519        138   tc139: special case public key.
-   [OK]          wycheproof_x25519        139   tc140: special case public key.
-   [OK]          wycheproof_x25519        140   tc141: special case public key.
-   [OK]          wycheproof_x25519        141   tc142: special case public key.
-   [OK]          wycheproof_x25519        142   tc143: special case public key.
-   [OK]          wycheproof_x25519        143   tc144: special case public key.
-   [OK]          wycheproof_x25519        144   tc145: special case public key.
-   [OK]          wycheproof_x25519        145   tc146: special case public key.
-   [OK]          wycheproof_x25519        146   tc147: special case public key.
-   [OK]          wycheproof_x25519        147   tc148: special case public key.
-   [OK]          wycheproof_x25519        148   tc149: special case public key.
-   [OK]          wycheproof_x25519        149   tc150: special case public key.
-   [OK]          wycheproof_x25519        150   tc151: special case public key.
-   [OK]          wycheproof_x25519        151   tc152: special case public key.
-   [OK]          wycheproof_x25519        152   tc153: special case public key.
-   [OK]          wycheproof_x25519        153   tc154: special case public key.
-   [OK]          wycheproof_x25519        154   tc155: special case for E in m...
-   [OK]          wycheproof_x25519        155   tc156: special case for E in m...
-   [OK]          wycheproof_x25519        156   tc157: special case for E in m...
-   [OK]          wycheproof_x25519        157   tc158: special case for E in m...
-   [OK]          wycheproof_x25519        158   tc159: special case for E in m...
-   [OK]          wycheproof_x25519        159   tc160: special case for E in m...
-   [OK]          wycheproof_x25519        160   tc161: special case for E in m...
-   [OK]          wycheproof_x25519        161   tc162: special case for E in m...
-   [OK]          wycheproof_x25519        162   tc163: special case for E in m...
-   [OK]          wycheproof_x25519        163   tc164: special case for E in m...
-   [OK]          wycheproof_x25519        164   tc165: D = 0 in multiplication...
-   [OK]          wycheproof_x25519        165   tc166: D = 0 in multiplication...
-   [OK]          wycheproof_x25519        166   tc167: special case for DA - C...
-   [OK]          wycheproof_x25519        167   tc168: special case for DA - C...
-   [OK]          wycheproof_x25519        168   tc169: special case for DA - C...
-   [OK]          wycheproof_x25519        169   tc170: special case for DA - C...
-   [OK]          wycheproof_x25519        170   tc171: special case for DA in ...
-   [OK]          wycheproof_x25519        171   tc172: special case for DA in ...
-   [OK]          wycheproof_x25519        172   tc173: special case for DA in ...
-   [OK]          wycheproof_x25519        173   tc174: special case for DA in ...
-   [OK]          wycheproof_x25519        174   tc175: special case for x_2 in...
-   [OK]          wycheproof_x25519        175   tc176: special case for x_2 in...
-   [OK]          wycheproof_x25519        176   tc177: special case for x_2 in...
-   [OK]          wycheproof_x25519        177   tc178: special case for x_2 in...
-   [OK]          wycheproof_x25519        178   tc179: special case for x_2 in...
-   [OK]          wycheproof_x25519        179   tc180: special case for x_2 in...
-   [OK]          wycheproof_x25519        180   tc181: special case for AA in ...
-   [OK]          wycheproof_x25519        181   tc182: special case for AA in ...
-   [OK]          wycheproof_x25519        182   tc183: special case for AA in ...
-   [OK]          wycheproof_x25519        183   tc184: special case for AA in ...
-   [OK]          wycheproof_x25519        184   tc185: special case for BB in ...
-   [OK]          wycheproof_x25519        185   tc186: special case for BB in ...
-   [OK]          wycheproof_x25519        186   tc187: special case for BB in ...
-   [OK]          wycheproof_x25519        187   tc188: special case for BB in ...
-   [OK]          wycheproof_x25519        188   tc189: special case for D in m...
-   [OK]          wycheproof_x25519        189   tc190: special case for D in m...
-   [OK]          wycheproof_x25519        190   tc191: special case for D in m...
-   [OK]          wycheproof_x25519        191   tc192: special case for D in m...
-   [OK]          wycheproof_x25519        192   tc193: special case for D in m...
-   [OK]          wycheproof_x25519        193   tc194: special case for D in m...
-   [OK]          wycheproof_x25519        194   tc195: special case for DA + C...
-   [OK]          wycheproof_x25519        195   tc196: special case for DA + C...
-   [OK]          wycheproof_x25519        196   tc197: special case for DA + C...
-   [OK]          wycheproof_x25519        197   tc198: special case for DA + C...
-   [OK]          wycheproof_x25519        198   tc199: special case for DA + C...
-   [OK]          wycheproof_x25519        199   tc200: special case for DA + C...
-   [OK]          wycheproof_x25519        200   tc201: special case for DA + C...
-   [OK]          wycheproof_x25519        201   tc202: special case for z_2 in...
-   [OK]          wycheproof_x25519        202   tc203: special case for z_2 in...
-   [OK]          wycheproof_x25519        203   tc204: special case for z_2 in...
-   [OK]          wycheproof_x25519        204   tc205: special case for z_2 in...
-   [OK]          wycheproof_x25519        205   tc206: special case for z_2 in...
-   [OK]          wycheproof_x25519        206   tc207: special case for z_2 in...
-   [OK]          wycheproof_x25519        207   tc208: special case for z_2 in...
-   [OK]          wycheproof_x25519        208   tc209: special case for z_2 in...
-   [OK]          wycheproof_x25519        209   tc210: special case for A in m...
-   [OK]          wycheproof_x25519        210   tc211: special case for A in m...
-   [OK]          wycheproof_x25519        211   tc212: special case for A in m...
-   [OK]          wycheproof_x25519        212   tc213: special case for A in m...
-   [OK]          wycheproof_x25519        213   tc214: special case for A in m...
-   [OK]          wycheproof_x25519        214   tc215: special case for A in m...
-   [OK]          wycheproof_x25519        215   tc216: special case for B in m...
-   [OK]          wycheproof_x25519        216   tc217: special case for B in m...
-   [OK]          wycheproof_x25519        217   tc218: special case for B in m...
-   [OK]          wycheproof_x25519        218   tc219: special case for B in m...
-   [OK]          wycheproof_x25519        219   tc220: special case for B in m...
-   [OK]          wycheproof_x25519        220   tc221: special case for B in m...
-   [OK]          wycheproof_x25519        221   tc222: special case for C in m...
-   [OK]          wycheproof_x25519        222   tc223: special case for C in m...
-   [OK]          wycheproof_x25519        223   tc224: special case for C in m...
-   [OK]          wycheproof_x25519        224   tc225: special case for C in m...
-   [OK]          wycheproof_x25519        225   tc226: special case for CB in ...
-   [OK]          wycheproof_x25519        226   tc227: special case for CB in ...
-   [OK]          wycheproof_x25519        227   tc228: special case for CB in ...
-   [OK]          wycheproof_x25519        228   tc229: special case for x_2 in...
-   [OK]          wycheproof_x25519        229   tc230: special case for x_2 in...
-   [OK]          wycheproof_x25519        230   tc231: special case for x_2 in...
-   [OK]          wycheproof_x25519        231   tc232: special case for x_2 in...
-   [OK]          wycheproof_x25519        232   tc233: special case for x_2 in...
-   [OK]          wycheproof_x25519        233   tc234: special case for x_2 in...
-   [OK]          wycheproof_x25519        234   tc235: special case for z_2 in...
-   [OK]          wycheproof_x25519        235   tc236: special case for z_2 in...
-   [OK]          wycheproof_x25519        236   tc237: special case for z_2 in...
-   [OK]          wycheproof_x25519        237   tc238: special case for DA - C...
-   [OK]          wycheproof_x25519        238   tc239: special case for DA - C...
-   [OK]          wycheproof_x25519        239   tc240: special case for BB in ...
-   [OK]          wycheproof_x25519        240   tc241: special case for BB in ...
-   [OK]          wycheproof_x25519        241   tc242: special case for BB in ...
-   [OK]          wycheproof_x25519        242   tc243: special case for BB in ...
-   [OK]          wycheproof_x25519        243   tc244: special case for E in m...
-   [OK]          wycheproof_x25519        244   tc245: special case for E in m...
-   [OK]          wycheproof_x25519        245   tc246: special case for E in m...
-   [OK]          wycheproof_x25519        246   tc247: special case for E in m...
-   [OK]          wycheproof_x25519        247   tc248: special case for E in m...
-   [OK]          wycheproof_x25519        248   tc249: special case for E in m...
-   [OK]          wycheproof_x25519        249   tc250: special case for E in m...
-   [OK]          wycheproof_x25519        250   tc251: special case for AA in ...
-   [OK]          wycheproof_x25519        251   tc252: special case for AA in ...
-   [OK]          wycheproof_x25519        252   tc253: special case for AA in ...
-   [OK]          wycheproof_x25519        253   tc254: special case for AA in ...
-   [OK]          wycheproof_x25519        254   tc255: special case for AA in ...
-   [OK]          wycheproof_x25519        255   tc256: special case for AA in ...
-   [OK]          wycheproof_x25519        256   tc257: special case for AA in ...
-   [OK]          wycheproof_x25519        257   tc258: special case for AA in ...
-   [OK]          wycheproof_x25519        258   tc259: special case for D in m...
-   [OK]          wycheproof_x25519        259   tc260: special case for D in m...
-   [OK]          wycheproof_x25519        260   tc261: special case for D in m...
-   [OK]          wycheproof_x25519        261   tc262: special case for D in m...
-   [OK]          wycheproof_x25519        262   tc263: special case for D in m...
-   [OK]          wycheproof_x25519        263   tc264: special case for D in m...
-   [OK]          wycheproof_x25519        264   tc265: special case for D in m...
-   [OK]          wycheproof_x25519        265   tc266: special case for D in m...
-   [OK]          wycheproof_x25519        266   tc267: special case for E in m...
-   [OK]          wycheproof_x25519        267   tc268: special case for E in m...
-   [OK]          wycheproof_x25519        268   tc269: special case for E in m...
-   [OK]          wycheproof_x25519        269   tc270: special case for E in m...
-   [OK]          wycheproof_x25519        270   tc271: special case for B in m...
-   [OK]          wycheproof_x25519        271   tc272: special case for B in m...
-   [OK]          wycheproof_x25519        272   tc273: special case for B in m...
-   [OK]          wycheproof_x25519        273   tc274: special case for B in m...
-   [OK]          wycheproof_x25519        274   tc275: special case for B in m...
-   [OK]          wycheproof_x25519        275   tc276: special case for B in m...
-   [OK]          wycheproof_x25519        276   tc277: special case for B in m...
-   [OK]          wycheproof_x25519        277   tc278: special case for B in m...
-   [OK]          wycheproof_x25519        278   tc279: special case for BB in ...
-   [OK]          wycheproof_x25519        279   tc280: special case for BB in ...
-   [OK]          wycheproof_x25519        280   tc281: special case for BB in ...
-   [OK]          wycheproof_x25519        281   tc282: special case for BB in ...
-   [OK]          wycheproof_x25519        282   tc283: special case for BB in ...
-   [OK]          wycheproof_x25519        283   tc284: special case for x_2 in...
-   [OK]          wycheproof_x25519        284   tc285: special case for x_2 in...
-   [OK]          wycheproof_x25519        285   tc286: special case for x_2 in...
-   [OK]          wycheproof_x25519        286   tc287: special case for x_2 in...
-   [OK]          wycheproof_x25519        287   tc288: special case for x_2 in...
-   [OK]          wycheproof_x25519        288   tc289: special case for x_2 in...
-   [OK]          wycheproof_x25519        289   tc290: special case for x_2 in...
-   [OK]          wycheproof_x25519        290   tc291: special case for x_2 in...
-   [OK]          wycheproof_x25519        291   tc292: special case for x_2 in...
-   [OK]          wycheproof_x25519        292   tc293: special case for x_2 in...
-   [OK]          wycheproof_x25519        293   tc294: special case for DA + C...
-   [OK]          wycheproof_x25519        294   tc295: special case for DA + C...
-   [OK]          wycheproof_x25519        295   tc296: special case for DA + C...
-   [OK]          wycheproof_x25519        296   tc297: special case for A in m...
-   [OK]          wycheproof_x25519        297   tc298: special case for A in m...
-   [OK]          wycheproof_x25519        298   tc299: special case for A in m...
-   [OK]          wycheproof_x25519        299   tc300: special case for A in m...
-   [OK]          wycheproof_x25519        300   tc301: special case for DA - C...
-   [OK]          wycheproof_x25519        301   tc302: special case for DA - C...
-   [OK]          wycheproof_x25519        302   tc303: special case for DA - C...
-   [OK]          wycheproof_x25519        303   tc304: special case for DA - C...
-   [OK]          wycheproof_x25519        304   tc305: special case for DA - C...
-   [OK]          wycheproof_x25519        305   tc306: special case for C in m...
-   [OK]          wycheproof_x25519        306   tc307: special case for C in m...
-   [OK]          wycheproof_x25519        307   tc308: special case for C in m...
-   [OK]          wycheproof_x25519        308   tc309: special case for C in m...
-   [OK]          wycheproof_x25519        309   tc310: special case for z_2 in...
-   [OK]          wycheproof_x25519        310   tc311: special case for z_2 in...
-   [OK]          wycheproof_x25519        311   tc312: special case for z_2 in...
-   [OK]          wycheproof_x25519        312   tc313: special case for CB in ...
-   [OK]          wycheproof_x25519        313   tc314: special case for CB in ...
-   [OK]          wycheproof_x25519        314   tc315: special case for CB in ...
-   [OK]          wycheproof_x25519        315   tc316: special case for CB in ...
-   [OK]          wycheproof_x25519        316   tc317: special case for AA in ...
-   [OK]          wycheproof_x25519        317   tc318: special case for AA in ...
-   [OK]          wycheproof_x25519        318   tc319: special case for AA in ...
-   [OK]          wycheproof_x25519        319   tc320: special case for AA in ...
-   [OK]          wycheproof_x25519        320   tc321: special case for AA in ...
-   [OK]          wycheproof_x25519        321   tc322: special case for AA in ...
-   [OK]          wycheproof_x25519        322   tc323: special case for AA in ...
-   [OK]          wycheproof_x25519        323   tc324: special case for DA in ...
-   [OK]          wycheproof_x25519        324   tc325: special case for z_2 in...
-   [OK]          wycheproof_x25519        325   tc326: special case for z_2 in...
-   [OK]          wycheproof_x25519        326   tc327: special case for z_2 in...
-   [OK]          wycheproof_x25519        327   tc328: special case for z_2 in...
-   [OK]          wycheproof_x25519        328   tc329: special case for z_2 in...
-   [OK]          wycheproof_x25519        329   tc330: special case for z_2 in...
-   [OK]          wycheproof_x25519        330   tc331: special case for E in m...
-   [OK]          wycheproof_x25519        331   tc332: special case for E in m...
-   [OK]          wycheproof_x25519        332   tc333: special case for E in m...
-   [OK]          wycheproof_x25519        333   tc334: special case for E in m...
-   [OK]          wycheproof_x25519        334   tc335: special case for E in m...
-   [OK]          wycheproof_x25519        335   tc336: special case for AA in ...
-   [OK]          wycheproof_x25519        336   tc337: special case for AA in ...
-   [OK]          wycheproof_x25519        337   tc338: special case for AA in ...
-   [OK]          wycheproof_x25519        338   tc339: special case for AA in ...
-   [OK]          wycheproof_x25519        339   tc340: special case for DA - C...
-   [OK]          wycheproof_x25519        340   tc341: special case for DA - C...
-   [OK]          wycheproof_x25519        341   tc342: special case for DA - C...
-   [OK]          wycheproof_x25519        342   tc343: special case for BB in ...
-   [OK]          wycheproof_x25519        343   tc344: special case for BB in ...
-   [OK]          wycheproof_x25519        344   tc345: special case for BB in ...
-   [OK]          wycheproof_x25519        345   tc346: special case for x_2 in...
-   [OK]          wycheproof_x25519        346   tc347: special case for x_2 in...
-   [OK]          wycheproof_x25519        347   tc348: special case for x_2 in...
-   [OK]          wycheproof_x25519        348   tc349: special case for C in m...
-   [OK]          wycheproof_x25519        349   tc350: special case for C in m...
-   [OK]          wycheproof_x25519        350   tc351: special case for C in m...
-   [OK]          wycheproof_x25519        351   tc352: special case for C in m...
-   [OK]          wycheproof_x25519        352   tc353: special case for C in m...
-   [OK]          wycheproof_x25519        353   tc354: special case for CB in ...
-   [OK]          wycheproof_x25519        354   tc355: special case for CB in ...
-   [OK]          wycheproof_x25519        355   tc356: special case for CB in ...
-   [OK]          wycheproof_x25519        356   tc357: special case for CB in ...
-   [OK]          wycheproof_x25519        357   tc358: special case for CB in ...
-   [OK]          wycheproof_x25519        358   tc359: special case for CB in ...
-   [OK]          wycheproof_x25519        359   tc360: special case for CB in ...
-   [OK]          wycheproof_x25519        360   tc361: special case for CB in ...
-   [OK]          wycheproof_x25519        361   tc362: special case for x_2 in...
-   [OK]          wycheproof_x25519        362   tc363: special case for x_2 in...
-   [OK]          wycheproof_x25519        363   tc364: special case for x_2 in...
-   [OK]          wycheproof_x25519        364   tc365: special case for x_2 in...
-   [OK]          wycheproof_x25519        365   tc366: special case for x_2 in...
-   [OK]          wycheproof_x25519        366   tc367: special case for x_2 in...
-   [OK]          wycheproof_x25519        367   tc368: special case for x_2 in...
-   [OK]          wycheproof_x25519        368   tc369: special case for DA - C...
-   [OK]          wycheproof_x25519        369   tc370: special case for DA - C...
-   [OK]          wycheproof_x25519        370   tc371: special case for DA - C...
-   [OK]          wycheproof_x25519        371   tc372: special case for DA - C...
-   [OK]          wycheproof_x25519        372   tc373: special case for DA - C...
-   [OK]          wycheproof_x25519        373   tc374: special case for DA + C...
-   [OK]          wycheproof_x25519        374   tc375: special case for DA + C...
-   [OK]          wycheproof_x25519        375   tc376: special case for DA + C...
-   [OK]          wycheproof_x25519        376   tc377: special case for DA + C...
-   [OK]          wycheproof_x25519        377   tc378: special case for DA + C...
-   [OK]          wycheproof_x25519        378   tc379: special case for DA + C...
-   [OK]          wycheproof_x25519        379   tc380: special case for DA + C...
-   [OK]          wycheproof_x25519        380   tc381: special case for z_2 in...
-   [OK]          wycheproof_x25519        381   tc382: special case for z_2 in...
-   [OK]          wycheproof_x25519        382   tc383: special case for z_2 in...
-   [OK]          wycheproof_x25519        383   tc384: special case for z_2 in...
-   [OK]          wycheproof_x25519        384   tc385: special case for D in m...
-   [OK]          wycheproof_x25519        385   tc386: special case for D in m...
-   [OK]          wycheproof_x25519        386   tc387: special case for D in m...
-   [OK]          wycheproof_x25519        387   tc388: special case for D in m...
-   [OK]          wycheproof_x25519        388   tc389: special case for DA in ...
-   [OK]          wycheproof_x25519        389   tc390: special case for DA in ...
-   [OK]          wycheproof_x25519        390   tc391: special case for DA in ...
-   [OK]          wycheproof_x25519        391   tc392: special case for DA in ...
-   [OK]          wycheproof_x25519        392   tc393: special case for z_2 in...
-   [OK]          wycheproof_x25519        393   tc394: special case for z_2 in...
-   [OK]          wycheproof_x25519        394   tc395: special case for z_2 in...
-   [OK]          wycheproof_x25519        395   tc396: special case for z_2 in...
-   [OK]          wycheproof_x25519        396   tc397: special case for z_2 in...
-   [OK]          wycheproof_x25519        397   tc398: special case for BB in ...
-   [OK]          wycheproof_x25519        398   tc399: special case for BB in ...
-   [OK]          wycheproof_x25519        399   tc400: special case for BB in ...
-   [OK]          wycheproof_x25519        400   tc401: special case for E in m...
-   [OK]          wycheproof_x25519        401   tc402: special case for E in m...
-   [OK]          wycheproof_x25519        402   tc403: special case for E in m...
-   [OK]          wycheproof_x25519        403   tc404: special case for E in m...
-   [OK]          wycheproof_x25519        404   tc405: special case for AA in ...
-   [OK]          wycheproof_x25519        405   tc406: special case for AA in ...
-   [OK]          wycheproof_x25519        406   tc407: special case for AA in ...
-   [OK]          wycheproof_x25519        407   tc408: special case for AA in ...
-   [OK]          wycheproof_x25519        408   tc409: special case for AA in ...
-   [OK]          wycheproof_x25519        409   tc410: special case for AA in ...
-   [OK]          wycheproof_x25519        410   tc411: special case for AA in ...
-   [OK]          wycheproof_x25519        411   tc412: special case for x_2 in...
-   [OK]          wycheproof_x25519        412   tc413: special case for x_2 in...
-   [OK]          wycheproof_x25519        413   tc414: special case for x_2 in...
-   [OK]          wycheproof_x25519        414   tc415: special case for x_2 in...
-   [OK]          wycheproof_x25519        415   tc416: special case for x_2 in...
-   [OK]          wycheproof_x25519        416   tc417: special case for x_2 in...
-   [OK]          wycheproof_x25519        417   tc418: special case for x_2 in...
-   [OK]          wycheproof_x25519        418   tc419: special case for x_2 in...
-   [OK]          wycheproof_x25519        419   tc420: special case for x_2 in...
-   [OK]          wycheproof_x25519        420   tc421: special case for DA - C...
-   [OK]          wycheproof_x25519        421   tc422: special case for DA - C...
-   [OK]          wycheproof_x25519        422   tc423: special case for DA - C...
-   [OK]          wycheproof_x25519        423   tc424: special case for DA - C...
-   [OK]          wycheproof_x25519        424   tc425: special case for D in m...
-   [OK]          wycheproof_x25519        425   tc426: special case for D in m...
-   [OK]          wycheproof_x25519        426   tc427: special case for D in m...
-   [OK]          wycheproof_x25519        427   tc428: special case for DA + C...
-   [OK]          wycheproof_x25519        428   tc429: special case for DA + C...
-   [OK]          wycheproof_x25519        429   tc430: special case for DA + C...
-   [OK]          wycheproof_x25519        430   tc431: special case for DA + C...
-   [OK]          wycheproof_x25519        431   tc432: special case for DA + C...
-   [OK]          wycheproof_x25519        432   tc433: special case for DA + C...
-   [OK]          wycheproof_x25519        433   tc434: special case for DA + C...
-   [OK]          wycheproof_x25519        434   tc435: special case for DA + C...
-   [OK]          wycheproof_x25519        435   tc436: special case for AA in ...
-   [OK]          wycheproof_x25519        436   tc437: special case for AA in ...
-   [OK]          wycheproof_x25519        437   tc438: special case for AA in ...
-   [OK]          wycheproof_x25519        438   tc439: special case for z_2 in...
-   [OK]          wycheproof_x25519        439   tc440: special case for z_2 in...
-   [OK]          wycheproof_x25519        440   tc441: special case for z_2 in...
-   [OK]          wycheproof_x25519        441   tc442: special case for B in m...
-   [OK]          wycheproof_x25519        442   tc443: special case for B in m...
-   [OK]          wycheproof_x25519        443   tc444: special case for B in m...
-   [OK]          wycheproof_x25519        444   tc445: special case for C in m...
-   [OK]          wycheproof_x25519        445   tc446: special case for C in m...
-   [OK]          wycheproof_x25519        446   tc447: special case for C in m...
-   [OK]          wycheproof_x25519        447   tc448: special case for C in m...
-   [OK]          wycheproof_x25519        448   tc449: special case for x_2 in...
-   [OK]          wycheproof_x25519        449   tc450: special case for x_2 in...
-   [OK]          wycheproof_x25519        450   tc451: special case for x_2 in...
-   [OK]          wycheproof_x25519        451   tc452: special case for x_2 in...
-   [OK]          wycheproof_x25519        452   tc453: special case for x_2 in...
-   [OK]          wycheproof_x25519        453   tc454: special case for x_2 in...
-   [OK]          wycheproof_x25519        454   tc455: special case for x_2 in...
-   [OK]          wycheproof_x25519        455   tc456: special case for x_2 in...
-   [OK]          wycheproof_x25519        456   tc457: special case for x_2 in...
-   [OK]          wycheproof_x25519        457   tc458: special case for x_2 in...
-   [OK]          wycheproof_x25519        458   tc459: special case for x_2 in...
-   [OK]          wycheproof_x25519        459   tc460: special case for x_2 in...
-   [OK]          wycheproof_x25519        460   tc461: special case for x_2 in...
-   [OK]          wycheproof_x25519        461   tc462: special case for x_2 in...
-   [OK]          wycheproof_x25519        462   tc463: special case for E in m...
-   [OK]          wycheproof_x25519        463   tc464: special case for E in m...
-   [OK]          wycheproof_x25519        464   tc465: special case for E in m...
-   [OK]          wycheproof_x25519        465   tc466: special case for E in m...
-   [OK]          wycheproof_x25519        466   tc467: special case for E in m...
-   [OK]          wycheproof_x25519        467   tc468: special case for E in m...
-   [OK]          wycheproof_x25519        468   tc469: special case for E in m...
-   [OK]          wycheproof_x25519        469   tc470: special case for E in m...
-   [OK]          wycheproof_x25519        470   tc471: special case for E in m...
-   [OK]          wycheproof_x25519        471   tc472: special case for DA - C...
-   [OK]          wycheproof_x25519        472   tc473: special case for DA - C...
-   [OK]          wycheproof_x25519        473   tc474: special case for DA - C...
-   [OK]          wycheproof_x25519        474   tc475: special case for DA - C...
-   [OK]          wycheproof_x25519        475   tc476: special case for DA - C...
-   [OK]          wycheproof_x25519        476   tc477: special case for CB in ...
-   [OK]          wycheproof_x25519        477   tc478: special case for CB in ...
-   [OK]          wycheproof_x25519        478   tc479: special case for BB in ...
-   [OK]          wycheproof_x25519        479   tc480: special case for BB in ...
-   [OK]          wycheproof_x25519        480   tc481: special case for BB in ...
-   [OK]          wycheproof_x25519        481   tc482: special case for BB in ...
-   [OK]          wycheproof_x25519        482   tc483: special case for A in m...
-   [OK]          wycheproof_x25519        483   tc484: special case for A in m...
-   [OK]          wycheproof_x25519        484   tc485: special case for DA in ...
-   [OK]          wycheproof_x25519        485   tc486: special case for DA in ...
-   [OK]          wycheproof_x25519        486   tc487: special case for AA in ...
-   [OK]          wycheproof_x25519        487   tc488: special case for AA in ...
-   [OK]          wycheproof_x25519        488   tc489: special case for AA in ...
-   [OK]          wycheproof_x25519        489   tc490: special case for AA in ...
-   [OK]          wycheproof_x25519        490   tc491: special case for AA in ...
-   [OK]          wycheproof_x25519        491   tc492: special case for AA in ...
-   [OK]          wycheproof_x25519        492   tc493: special case for AA in ...
-   [OK]          wycheproof_x25519        493   tc494: special case for DA - C...
-   [OK]          wycheproof_x25519        494   tc495: special case for z_2 in...
-   [OK]          wycheproof_x25519        495   tc496: special case for z_2 in...
-   [OK]          wycheproof_x25519        496   tc497: special case for z_2 in...
-   [OK]          wycheproof_x25519        497   tc498: special case for z_2 in...
-   [OK]          wycheproof_x25519        498   tc499: special case for z_2 in...
-   [OK]          wycheproof_x25519        499   tc500: special case for z_2 in...
-   [OK]          wycheproof_x25519        500   tc501: special case for E in m...
-   [OK]          wycheproof_x25519        501   tc502: special case for E in m...
-   [OK]          wycheproof_x25519        502   tc503: special case for E in m...
-   [OK]          wycheproof_x25519        503   tc504: special case for x_2 in...
-   [OK]          wycheproof_x25519        504   tc505: special case for x_2 in...
-   [OK]          wycheproof_x25519        505   tc506: special case for x_2 in...
-   [OK]          wycheproof_x25519        506   tc507: special case for BB in ...
-   [OK]          wycheproof_x25519        507   tc508: special case for BB in ...
-   [OK]          wycheproof_x25519        508   tc509: special case for BB in ...
-   [OK]          wycheproof_x25519        509   tc510: special case for BB in ...
-   [OK]          wycheproof_x25519        510   tc511: private key == -1 (mod ...
-   [OK]          wycheproof_x25519        511   tc512: private key == 1 (mod o...
-   [OK]          wycheproof_x25519        512   tc513: special case private key.
-   [OK]          wycheproof_x25519        513   tc514: special case private key.
-   [OK]          wycheproof_x25519        514   tc515: special case private key.
-   [OK]          wycheproof_x25519        515   tc516: special case private key.
-   [OK]          wycheproof_x25519        516   tc517: special case private key.
-   [OK]          wycheproof_x25519        517   tc518: special case private key.
- 
- Full test results in `~/.opam/4.14/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/DH25519'.
- Test Successful in 0.312s. 518 tests run.
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_hash.exe -e)
- Testing `Hash'.
- This run has ID `ONSMO370'.
- 
-   [OK]          wycheproof_hmacsha256          0   tc1: empty message.
-   [OK]          wycheproof_hmacsha256          1   tc2: short message.
-   [OK]          wycheproof_hmacsha256          2   tc3: short message.
-   [OK]          wycheproof_hmacsha256          3   tc4: short message.
-   [OK]          wycheproof_hmacsha256          4   tc5: short message.
-   [OK]          wycheproof_hmacsha256          5   tc6: short message.
-   [OK]          wycheproof_hmacsha256          6   tc7: short message.
-   [OK]          wycheproof_hmacsha256          7   tc8: short message.
-   [OK]          wycheproof_hmacsha256          8   tc9: short message.
-   [OK]          wycheproof_hmacsha256          9   tc10: short message.
-   [OK]          wycheproof_hmacsha256         10   tc11: short message.
-   [OK]          wycheproof_hmacsha256         11   tc12: short message.
-   [OK]          wycheproof_hmacsha256         12   tc13: short message.
-   [OK]          wycheproof_hmacsha256         13   tc14: short message.
-   [OK]          wycheproof_hmacsha256         14   tc15: short message.
-   [OK]          wycheproof_hmacsha256         15   tc16: short message.
-   [OK]          wycheproof_hmacsha256         16   tc17: .
-   [OK]          wycheproof_hmacsha256         17   tc18: .
-   [OK]          wycheproof_hmacsha256         18   tc19: .
-   [OK]          wycheproof_hmacsha256         19   tc20: .
-   [OK]          wycheproof_hmacsha256         20   tc21: long message.
-   [OK]          wycheproof_hmacsha256         21   tc22: long message.
-   [OK]          wycheproof_hmacsha256         22   tc23: long message.
-   [OK]          wycheproof_hmacsha256         23   tc24: long message.
-   [OK]          wycheproof_hmacsha256         24   tc25: long message.
-   [OK]          wycheproof_hmacsha256         25   tc26: long message.
-   [OK]          wycheproof_hmacsha256         26   tc27: long message.
-   [OK]          wycheproof_hmacsha256         27   tc28: Flipped bit 0 in tag.
-   [OK]          wycheproof_hmacsha256         28   tc29: Flipped bit 0 in tag.
-   [OK]          wycheproof_hmacsha256         29   tc30: Flipped bit 1 in tag.
-   [OK]          wycheproof_hmacsha256         30   tc31: Flipped bit 1 in tag.
-   [OK]          wycheproof_hmacsha256         31   tc32: Flipped bit 7 in tag.
-   [OK]          wycheproof_hmacsha256         32   tc33: Flipped bit 7 in tag.
-   [OK]          wycheproof_hmacsha256         33   tc34: Flipped bit 8 in tag.
-   [OK]          wycheproof_hmacsha256         34   tc35: Flipped bit 8 in tag.
-   [OK]          wycheproof_hmacsha256         35   tc36: Flipped bit 31 in tag.
-   [OK]          wycheproof_hmacsha256         36   tc37: Flipped bit 31 in tag.
-   [OK]          wycheproof_hmacsha256         37   tc38: Flipped bit 32 in tag.
-   [OK]          wycheproof_hmacsha256         38   tc39: Flipped bit 32 in tag.
-   [OK]          wycheproof_hmacsha256         39   tc40: Flipped bit 33 in tag.
-   [OK]          wycheproof_hmacsha256         40   tc41: Flipped bit 33 in tag.
-   [OK]          wycheproof_hmacsha256         41   tc42: Flipped bit 63 in tag.
-   [OK]          wycheproof_hmacsha256         42   tc43: Flipped bit 63 in tag.
-   [OK]          wycheproof_hmacsha256         43   tc44: Flipped bit 64 in tag.
-   [OK]          wycheproof_hmacsha256         44   tc45: Flipped bit 64 in tag.
-   [OK]          wycheproof_hmacsha256         45   tc46: Flipped bit 71 in tag.
-   [OK]          wycheproof_hmacsha256         46   tc47: Flipped bit 71 in tag.
-   [OK]          wycheproof_hmacsha256         47   tc48: Flipped bit 77 in tag.
-   [OK]          wycheproof_hmacsha256         48   tc49: Flipped bit 77 in tag.
-   [OK]          wycheproof_hmacsha256         49   tc50: Flipped bit 80 in tag.
-   [OK]          wycheproof_hmacsha256         50   tc51: Flipped bit 80 in tag.
-   [OK]          wycheproof_hmacsha256         51   tc52: Flipped bit 96 in tag.
-   [OK]          wycheproof_hmacsha256         52   tc53: Flipped bit 96 in tag.
-   [OK]          wycheproof_hmacsha256         53   tc54: Flipped bit 97 in tag.
-   [OK]          wycheproof_hmacsha256         54   tc55: Flipped bit 97 in tag.
-   [OK]          wycheproof_hmacsha256         55   tc56: Flipped bit 103 in tag.
-   [OK]          wycheproof_hmacsha256         56   tc57: Flipped bit 103 in tag.
-   [OK]          wycheproof_hmacsha256         57   tc58: Flipped bit 248 in tag.
-   [OK]          wycheproof_hmacsha256         58   tc59: Flipped bit 248 in tag.
-   [OK]          wycheproof_hmacsha256         59   tc60: Flipped bit 249 in tag.
-   [OK]          wycheproof_hmacsha256         60   tc61: Flipped bit 249 in tag.
-   [OK]          wycheproof_hmacsha256         61   tc62: Flipped bit 254 in tag.
-   [OK]          wycheproof_hmacsha256         62   tc63: Flipped bit 254 in tag.
-   [OK]          wycheproof_hmacsha256         63   tc64: Flipped bit 255 in tag.
-   [OK]          wycheproof_hmacsha256         64   tc65: Flipped bit 255 in tag.
-   [OK]          wycheproof_hmacsha256         65   tc66: Flipped bits 0 and 6...
-   [OK]          wycheproof_hmacsha256         66   tc67: Flipped bits 0 and 6...
-   [OK]          wycheproof_hmacsha256         67   tc68: Flipped bits 31 and ...
-   [OK]          wycheproof_hmacsha256         68   tc69: Flipped bits 31 and ...
-   [OK]          wycheproof_hmacsha256         69   tc70: Flipped bits 63 and ...
-   [OK]          wycheproof_hmacsha256         70   tc71: Flipped bits 63 and ...
-   [OK]          wycheproof_hmacsha256         71   tc72: all bits of tag flip...
-   [OK]          wycheproof_hmacsha256         72   tc73: all bits of tag flip...
-   [OK]          wycheproof_hmacsha256         73   tc74: Tag changed to all z...
-   [OK]          wycheproof_hmacsha256         74   tc75: Tag changed to all z...
-   [OK]          wycheproof_hmacsha256         75   tc76: tag changed to all 1.
-   [OK]          wycheproof_hmacsha256         76   tc77: tag changed to all 1.
-   [OK]          wycheproof_hmacsha256         77   tc78: msbs changed in tag.
-   [OK]          wycheproof_hmacsha256         78   tc79: msbs changed in tag.
-   [OK]          wycheproof_hmacsha256         79   tc80: lsbs changed in tag.
-   [OK]          wycheproof_hmacsha256         80   tc81: lsbs changed in tag.
-   [OK]          wycheproof_hmacsha256         81   tc163: short key.
-   [OK]          wycheproof_hmacsha256         82   tc164: short key.
-   [OK]          wycheproof_hmacsha256         83   tc165: short key.
-   [OK]          wycheproof_hmacsha256         84   tc169: long key.
-   [OK]          wycheproof_hmacsha256         85   tc170: long key.
-   [OK]          wycheproof_hmacsha256         86   tc171: long key.
-   [OK]          litzenberger_sha256            0   EMPTY.
-   [OK]          litzenberger_sha256            1   NIST.1.
-   [OK]          litzenberger_sha256            2   NIST.3.
-   [OK]          litzenberger_sha256            3   RC4.16.
-   [OK]          litzenberger_sha256            4   RC4.55.
-   [OK]          di_management_sha512           0   abc.
-   [OK]          di_management_sha512           1   empty string.
-   [OK]          di_management_sha512           2   one million 'a'.
- 
- Full test results in `~/.opam/4.14/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/Hash'.
- Test Successful in 2.033s. 95 tests run.
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_random.exe -e)
- Testing `Random'.
- This run has ID `CSINCE5R'.
- 
-   [OK]          ten-bits                0   First ten bits.
-   [OK]          ten-bits                1   Second ten bits.
-   [OK]          ten-bits                2   Third ten bits.
-   [OK]          ten-bits                3   Last ten bits.
-   [OK]          random12Bytes           0   Opso bits  0-9,20-29.
-   [OK]          random12Bytes           1   Opso bits 10-19,22-31.
-   [OK]          random32Bytes           0   Opso bits  0-9,20-29.
-   [OK]          random32Bytes           1   Opso bits 10-19,22-31.
-   [OK]          randomBadBytes          0   Opso bits  0-9,20-29.
- 
- Full test results in `~/.opam/4.14/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/Random'.
- Test Successful in 45.901s. 9 tests run.
-> compiled  dirsp-proscript-mirage.0.1.0
-> installed dirsp-proscript-mirage.0.1.0
Done.
# Run eval $(opam env) to update the current shell environment
2022-07-27 05:21.37 ---> saved as "d9366377f9f0a5f653f30d272be239004c80a40495e2c53977368bcc6a54bdf7"
Job succeeded
2022-07-27 05:23.10: Job succeeded