- github
- ocaml
- opam-repository
- db50ce
- compilers,5.4,lwt.6.0.0~beta00,revdeps,dirsp-proscript-mirage.0.1.0
(not at the head of any monitored branch or PR)
2025-11-10 14:41.58: New job: test dirsp-proscript-mirage.0.1.0 with lwt.6.0.0~beta00, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/28558/head (db50ce02bd0238ef1431a20de40a98e9f360a8c0)
on debian-13-ocaml-5.4/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/28558/head" && git reset --hard db50ce02
git fetch origin master
git merge --no-edit 21f97b2e6d7c617fc0a79cc8e59b2e10690960e1
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:0b68f45799a4ff0af182b78277d652e076097f37cbcb04aa9d74bfbd7d300e58
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn lwt.6.0.0~beta00 6.0.0~beta00
RUN opam reinstall lwt.6.0.0~beta00; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'lwt.6.0.0~beta00' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall 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"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dirsp-proscript-mirage.0.1.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test dirsp-proscript-mirage.0.1.0) || true
RUN opam reinstall --with-test --verbose 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"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dirsp-proscript-mirage.0.1.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2025-11-10 14:41.58: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:0b68f45799a4ff0af182b78277d652e076097f37cbcb04aa9d74bfbd7d300e58-lwt.6.0.0~beta00-dirsp-proscript-mirage.0.1.0-db50ce02bd0238ef1431a20de40a98e9f360a8c0"
2025-11-10 14:41.58: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:0b68f45799a4ff0af182b78277d652e076097f37cbcb04aa9d74bfbd7d300e58)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn lwt.6.0.0~beta00 6.0.0~beta00"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall lwt.6.0.0~beta00;\
\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 partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'lwt.6.0.0~beta00' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall 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 partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dirsp-proscript-mirage.0.1.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test dirsp-proscript-mirage.0.1.0) || true"))
(run (shell "opam reinstall --with-test --verbose 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 partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dirsp-proscript-mirage.0.1.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-11-10 14:41.58: Waiting for resource in pool OCluster
2025-11-10 15:32.47: Waiting for worker…
2025-11-10 15:35.55: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 21f97b2e6d Merge pull request #28836 from dbuenzli/b0-publish-bytesrw.0.3.0
Merge made by the 'ort' strategy.
packages/lwt/lwt.6.0.0~beta00/opam | 67 ++++++++++++++++++++++++
packages/lwt_direct/lwt_direct.6.0.0~beta00/opam | 42 +++++++++++++++
2 files changed, 109 insertions(+)
create mode 100644 packages/lwt/lwt.6.0.0~beta00/opam
create mode 100644 packages/lwt_direct/lwt_direct.6.0.0~beta00/opam
(from ocaml/opam:debian-13-ocaml-5.4@sha256:0b68f45799a4ff0af182b78277d652e076097f37cbcb04aa9d74bfbd7d300e58)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:0b68f45799a4ff0af182b78277d652e076097f37cbcb04aa9d74bfbd7d300e58' locally
docker.io/ocaml/opam@sha256:0b68f45799a4ff0af182b78277d652e076097f37cbcb04aa9d74bfbd7d300e58: Pulling from ocaml/opam
8a986146d58a: Pulling fs layer
8a986146d58a: Verifying Checksum
8a986146d58a: Download complete
8a986146d58a: Pull complete
Digest: sha256:0b68f45799a4ff0af182b78277d652e076097f37cbcb04aa9d74bfbd7d300e58
Status: Downloaded newer image for ocaml/opam@sha256:0b68f45799a4ff0af182b78277d652e076097f37cbcb04aa9d74bfbd7d300e58
2025-11-10 16:23.24 ---> using "9f1bc9b76367c8d29be355965b06cbbd4aeb05818e6e1915136daad8eabad361" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-11-10 16:23.24 ---> using "7167cf2609d50147b3cfe8b00e0f1981e785c56c3c47bd6356e0f3732d6bafd7" from cache
/home/opam: (run (network host)
(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.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-11-10 16:23.24 ---> using "db7b310c65b31b91b9590efe8919a126934a7e42418115cd912ed2612662d318" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0~alpha1
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# invariant ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2025-11-10 16:23.24 ---> using "370daf58656f453890b2ebe0d8367763e6fea8bbb7471d68f3d783ad40f9e8ee" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2025-11-10 16:23.24 ---> using "d7d7d34009e7cd5bb4f41663ceab70bbd4c419269902dabc72ab91552d36d91d" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-11-10 16:23.25 ---> using "fcd819d209baf58060026dcfe02be8dd90eb259aa873cfb25ae35c0c8076aac2" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-11-10 16:23.25 ---> using "10ba8df5720754045d2e98ae8fb80dd90f362761469b5e50a1d789244f0270f3" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Fetched 90.7 kB in 0s (1036 kB/s)
- Reading package lists...
2025-11-10 16:23.25 ---> using "477af5ce466e8ba2f8e6be3ec0e272fb83ea119e026b7411512bb0905b823b2c" from cache
/home/opam: (run (shell "opam pin add -k version -yn lwt.6.0.0~beta00 6.0.0~beta00"))
lwt is now pinned to version 6.0.0~beta00
2025-11-10 16:23.25 ---> using "42dccd04f3893e32de5b301c3a927fc162c8ee981eb148a6242f0af3a4e7aa07" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall lwt.6.0.0~beta00;\
\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 partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'lwt.6.0.0~beta00' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
lwt.6.0.0~beta00 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 9 packages
- install base-bytes base [required by ocplib-endian]
- install cppo 1.8.0 [required by lwt]
- install csexp 1.5.2 [required by dune-configurator]
- install domain_shims 0.1.0 [required by lwt]
- install dune 3.20.2 [required by lwt]
- install dune-configurator 3.20.2 [required by lwt]
- install lwt 6.0.0~beta00 (pinned)
- install ocamlfind 1.9.8 [required by base-bytes]
- install ocplib-endian 1.2 [required by lwt]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved domain_shims.0.1.0 (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached)
-> retrieved lwt.6.0.0~beta00 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed dune.3.20.2
-> installed domain_shims.0.1.0
-> installed csexp.1.5.2
-> installed cppo.1.8.0
-> installed ocplib-endian.1.2
-> installed dune-configurator.3.20.2
-> installed lwt.6.0.0~beta00
Done.
# To update the current shell environment, run: eval $(opam env)
2025-11-10 16:23.25 ---> using "7d19709798d6b95bd061256c354546cbc3e2d2fc97783c602cc38b64a7b8afa1" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall 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 partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dirsp-proscript-mirage.0.1.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dirsp-proscript-mirage.0.1.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 21 packages
- install conf-pkg-config 4 [required by mirage-crypto-ec]
- install cstruct 6.2.0 [required by dirsp-proscript, mirage-crypto-ec]
- install dirsp-proscript 0.1.0 [required by dirsp-proscript-mirage]
- install dirsp-proscript-mirage 0.1.0
- install duration 0.2.1 [required by mirage-crypto-rng]
- install eqaf 0.9 [required by mirage-crypto-ec]
- install fmt 0.11.0 [required by cstruct]
- install logs 0.10.0 [required by mirage-crypto-rng]
- install mirage-crypto 0.10.7 [required by mirage-crypto-ec]
- install mirage-crypto-ec 0.10.7 [required by dirsp-proscript-mirage]
- install mirage-crypto-rng 0.10.7 [required by dirsp-proscript-mirage]
- install mtime 2.1.0 [required by mirage-crypto-rng]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocamlbuild 0.16.1 [required by logs, fmt, mtime]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.1.1 [required by ppx_deriving_protobuf]
- install ppx_deriving_protobuf 3.0.0 [required by dirsp-proscript-mirage]
- install ppxlib 0.37.0 [required by ppx_deriving_protobuf]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install topkg 1.1.1 [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. Continue anyway, and, upon success, 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"
- Selecting previously unselected package libpkgconf3: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 ... 20653 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cstruct.6.2.0 (cached)
-> installed conf-pkg-config.4
-> retrieved dirsp-proscript.0.1.0, dirsp-proscript-mirage.0.1.0 (cached)
-> retrieved duration.0.2.1 (cached)
-> retrieved eqaf.0.9 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved logs.0.10.0 (cached)
-> installed duration.0.2.1
-> retrieved mirage-crypto.0.10.7, mirage-crypto-ec.0.10.7, mirage-crypto-rng.0.10.7 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.1.1 (cached)
-> retrieved ppx_deriving_protobuf.3.0.0 (cached)
-> retrieved ppxlib.0.37.0 (cached)
-> installed ppx_derivers.1.2.1
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.17.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed mtime.2.1.0
-> installed cstruct.6.2.0
-> installed eqaf.0.9
-> installed logs.0.10.0
-> installed ppxlib.0.37.0
-> installed mirage-crypto.0.10.7
-> installed mirage-crypto-rng.0.10.7
-> installed ppx_deriving.6.1.1
-> installed ppx_deriving_protobuf.3.0.0
-> installed mirage-crypto-ec.0.10.7
-> installed dirsp-proscript.0.1.0
-> installed dirsp-proscript-mirage.0.1.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-11-10 16:23.52 ---> saved as "f0ca247081f6316eeb5c569f8adbe9b752bb2647a25f9edafdce240944faacd3"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test dirsp-proscript-mirage.0.1.0) || true"))
The following actions will be performed:
=== recompile 9 packages
- recompile cstruct 6.2.0 [uses fmt]
- recompile dirsp-proscript 0.1.0 [uses cstruct]
- recompile dirsp-proscript-mirage 0.1.0
- recompile eqaf 0.9 [uses cstruct]
- recompile fmt 0.11.0 [uses cmdliner]
- recompile logs 0.10.0 [uses cmdliner]
- recompile mirage-crypto 0.10.7 [uses cstruct]
- recompile mirage-crypto-ec 0.10.7 [uses cstruct]
- recompile mirage-crypto-rng 0.10.7 [uses cstruct, logs]
=== install 7 packages
- install alcotest 1.9.1 [required by dirsp-proscript-mirage]
- install astring 0.8.5 [required by alcotest]
- install cmdliner 2.0.0 [required by alcotest]
- install iter 1.9 [required by dirsp-proscript-mirage]
- install ocaml-syntax-shims 1.0.0 [required by alcotest]
- install re 1.14.0 [required by alcotest]
- install uutf 1.0.4 [required by alcotest]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.9.1 (https://opam.ocaml.org/cache)
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved cmdliner.2.0.0 (https://opam.ocaml.org/cache)
-> retrieved cstruct.6.2.0 (https://opam.ocaml.org/cache)
-> retrieved dirsp-proscript.0.1.0, dirsp-proscript-mirage.0.1.0 (https://opam.ocaml.org/cache)
-> retrieved eqaf.0.9 (https://opam.ocaml.org/cache)
-> retrieved fmt.0.11.0 (https://opam.ocaml.org/cache)
-> retrieved iter.1.9 (https://opam.ocaml.org/cache)
-> retrieved logs.0.10.0 (https://opam.ocaml.org/cache)
-> retrieved mirage-crypto.0.10.7, mirage-crypto-ec.0.10.7, mirage-crypto-rng.0.10.7 (https://opam.ocaml.org/cache)
-> installed iter.1.9
-> retrieved ocaml-syntax-shims.1.0.0 (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0 (https://opam.ocaml.org/cache)
-> installed astring.0.8.5
-> retrieved uutf.1.0.4 (https://opam.ocaml.org/cache)
-> installed ocaml-syntax-shims.1.0.0
-> installed re.1.14.0
-> removed dirsp-proscript-mirage.0.1.0
-> removed dirsp-proscript.0.1.0
-> removed mirage-crypto-ec.0.10.7
-> removed mirage-crypto-rng.0.10.7
-> removed logs.0.10.0
-> removed mirage-crypto.0.10.7
-> removed eqaf.0.9
-> removed cstruct.6.2.0
-> removed fmt.0.11.0
-> installed cmdliner.2.0.0
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed cstruct.6.2.0
-> installed dirsp-proscript.0.1.0
-> installed alcotest.1.9.1
-> installed eqaf.0.9
-> installed logs.0.10.0
-> installed mirage-crypto.0.10.7
-> installed mirage-crypto-rng.0.10.7
-> installed mirage-crypto-ec.0.10.7
-> installed dirsp-proscript-mirage.0.1.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-11-10 16:24.33 ---> saved as "fcc5649464705988a41bcdc22fbd31893eda3180cc56610dc823c917112c674e"
/home/opam: (run (shell "opam reinstall --with-test --verbose 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 partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dirsp-proscript-mirage.0.1.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile dirsp-proscript-mirage 0.1.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [dirsp-proscript-mirage.0.1.0: extract]
-> retrieved dirsp-proscript-mirage.0.1.0 (cached)
Processing 2/4: [dirsp-proscript-mirage: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "dirsp-proscript-mirage" "-j" "255" (CWD=/home/opam/.opam/5.4/.opam-switch/build/dirsp-proscript-mirage.0.1.0)
Processing 2/4: [dirsp-proscript-mirage: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "dirsp-proscript-mirage" "-j" "255" (CWD=/home/opam/.opam/5.4/.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 `VWAIF7HT'.
-
- [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/5.4/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/Encoding'.
- Test Successful in 0.002s. 34 tests run.
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_edh25519.exe -e)
- Testing `EDH25519'.
- This run has ID `SBOPVG8P'.
-
- [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/5.4/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/EDH25519'.
- Test Successful in 0.004s. 15 tests run.
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_aes.exe -e)
- Testing `AES'.
- This run has ID `AMI32DJH'.
-
- [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/5.4/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/AES'.
- Test Successful in 0.046s. 512 tests run.
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_dh25519.exe -e)
- Testing `DH25519'.
- This run has ID `CG311ERJ'.
-
- [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/5.4/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/DH25519'.
- Test Successful in 0.095s. 518 tests run.
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_hash.exe -e)
- Testing `Hash'.
- This run has ID `E7T0LJRC'.
-
- [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/5.4/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/Hash'.
- Test Successful in 0.647s. 95 tests run.
- (cd _build/default/src-proscript && ./dirsp_proscript_mirage_tests_random.exe -e)
- Testing `Random'.
- This run has ID `FNYPMCD1'.
-
- [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/5.4/.opam-switch/build/dirsp-proscript-mirage.0.1.0/_build/default/src-proscript/_build/_tests/Random'.
- Test Successful in 20.000s. 9 tests run.
-> compiled dirsp-proscript-mirage.0.1.0
-> removed dirsp-proscript-mirage.0.1.0
-> installed dirsp-proscript-mirage.0.1.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-11-10 16:24.58 ---> saved as "f93fa531ac815d0ceefcc855c53edbe4329825ff8af917b2012e7ca52eaad9be"
Job succeeded
2025-11-10 16:25.06: Job succeeded