Organisations mirage digestif 469687 (main)debian-13-4.08_opam-2.4
debian-13-4.08_opam-2.4

Created at Nov 05 15:31 +00:00
7h10m in queue
Finished at Nov 05 22:43 +00:00
469687
Ran for 47s
Link Copied
Code Copied
Logs

Show raw logs
2025-11-05 15:31.58: New job: test mirage/digestif https://github.com/mirage/digestif.git#refs/heads/main (46968733c813b53271f9dc091c3bf06c12d16814) (linux-x86_64:debian-13-4.08_opam-2.4)
Base: ocaml/opam:debian-13-ocaml-4.08@sha256:d8500c15c97ddcfabe40e74b26beae4dbdf65385f70ca81d97f44f1a6556480f
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/mirage/digestif.git" -b "main" && cd "digestif" && git reset --hard 46968733
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.08@sha256:d8500c15c97ddcfabe40e74b26beae4dbdf65385f70ca81d97f44f1a6556480f
# debian-13-4.08_opam-2.4
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 930436c8d2f221ca216e2882d78d5f0486289405 || git fetch origin master) && git reset -q --hard 930436c8d2f221ca216e2882d78d5f0486289405 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 digestif.opam ./
RUN opam pin add -yn digestif.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base bos.0.2.1 cmdliner.2.0.0 cppo.1.8.0 crowbar.0.2.1 dune.3.20.2 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 logs.0.8.0 ocaml.4.08.1 ocaml-base-compiler.4.08.1 ocaml-config.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 re.1.11.0 rresult.0.7.0 seq.base stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.4 --depext-only -y digestif.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


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


2025-11-05 15:31.58: Using cache hint "mirage/digestif-ocaml/opam:debian-13-ocaml-4.08@sha256:d8500c15c97ddcfabe40e74b26beae4dbdf65385f70ca81d97f44f1a6556480f-debian-13-4.08_opam-2.4-fd132cf2703e8de592e572197bf40137"
2025-11-05 15:31.58: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.08@sha256:d8500c15c97ddcfabe40e74b26beae4dbdf65385f70ca81d97f44f1a6556480f)
(comment debian-13-4.08_opam-2.4)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 930436c8d2f221ca216e2882d78d5f0486289405 || git fetch origin master) && git reset -q --hard 930436c8d2f221ca216e2882d78d5f0486289405 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src digestif.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn digestif.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base bos.0.2.1 cmdliner.2.0.0 cppo.1.8.0 crowbar.0.2.1 dune.3.20.2 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 logs.0.8.0 ocaml.4.08.1 ocaml-base-compiler.4.08.1 ocaml-config.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 re.1.11.0 rresult.0.7.0 seq.base stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.4 --depext-only -y digestif.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2025-11-05 15:31.58: Waiting for resource in pool OCluster
2025-11-05 22:39.33: Waiting for worker…
2025-11-05 22:42.16: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 4696873 Merge pull request #162 from kit-ty-kate/patch-1


(from ocaml/opam:debian-13-ocaml-4.08@sha256:d8500c15c97ddcfabe40e74b26beae4dbdf65385f70ca81d97f44f1a6556480f)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.08@sha256:d8500c15c97ddcfabe40e74b26beae4dbdf65385f70ca81d97f44f1a6556480f' locally
docker.io/ocaml/opam@sha256:d8500c15c97ddcfabe40e74b26beae4dbdf65385f70ca81d97f44f1a6556480f: Pulling from ocaml/opam
cae3b572364a: Pulling fs layer
820d433882fc: Pulling fs layer
8f6112f72fa5: Pulling fs layer
f06108004adb: Pulling fs layer
f34ea90e6bf7: Pulling fs layer
b44a65709156: Pulling fs layer
4c25908bbac9: Pulling fs layer
820d433882fc: Waiting
f76df728146d: Pulling fs layer
8f6112f72fa5: Waiting
1fee769dfcf3: Pulling fs layer
f06108004adb: Waiting
9089a7f69af3: Pulling fs layer
f34ea90e6bf7: Waiting
6f758b47b2a0: Pulling fs layer
b44a65709156: Waiting
f76df728146d: Waiting
16b225bbb395: Pulling fs layer
abbf3ec39b68: Pulling fs layer
4c25908bbac9: Waiting
1a61521655a9: Pulling fs layer
1fee769dfcf3: Waiting
6a8565a9e443: Pulling fs layer
c059a4cbd7b9: Pulling fs layer
9089a7f69af3: Waiting
3a00fdc9e291: Pulling fs layer
6f758b47b2a0: Waiting
a0b62589bd38: Pulling fs layer
abbf3ec39b68: Waiting
16b225bbb395: Waiting
1a61521655a9: Waiting
6e8d713bf843: Pulling fs layer
c059a4cbd7b9: Waiting
a0b62589bd38: Waiting
3a00fdc9e291: Waiting
bca1fd5341ba: Pulling fs layer
34b9849c2772: Pulling fs layer
4f4fb700ef54: Pulling fs layer
6e8d713bf843: Waiting
bca1fd5341ba: Waiting
d8d3d0744e38: Pulling fs layer
34b9849c2772: Waiting
788c7ce0e0e5: Pulling fs layer
a297eab0ca3b: Pulling fs layer
2e79af39acdb: Pulling fs layer
8858e600236c: Pulling fs layer
d8d3d0744e38: Waiting
9efe23d1fe7d: Pulling fs layer
a297eab0ca3b: Waiting
2e79af39acdb: Waiting
8858e600236c: Waiting
47d185934312: Pulling fs layer
64a949a6caff: Pulling fs layer
c9d6a7c18bb1: Pulling fs layer
788c7ce0e0e5: Waiting
9efe23d1fe7d: Waiting
47d185934312: Waiting
e4fde4815f0c: Pulling fs layer
c9d6a7c18bb1: Waiting
d1f759c16950: Pulling fs layer
f3dd45bf195f: Pulling fs layer
e4fde4815f0c: Waiting
3985a6049101: Pulling fs layer
d1f759c16950: Waiting
f3dd45bf195f: Waiting
aae849592418: Pulling fs layer
3985a6049101: Waiting
6173459dc6b2: Pulling fs layer
7f16ef63bee0: Pulling fs layer
aae849592418: Waiting
6173459dc6b2: Waiting
fe355de6a899: Pulling fs layer
b0bc5a15bc9d: Pulling fs layer
fe355de6a899: Waiting
0ba06c753f01: Pulling fs layer
f7e4070f86bb: Pulling fs layer
a16d954bd2d3: Pulling fs layer
b0bc5a15bc9d: Waiting
6583f21da642: Pulling fs layer
f7e4070f86bb: Waiting
a16d954bd2d3: Waiting
6583f21da642: Waiting
820d433882fc: Verifying Checksum
820d433882fc: Download complete
8f6112f72fa5: Verifying Checksum
8f6112f72fa5: Download complete
f06108004adb: Verifying Checksum
f06108004adb: Download complete
f34ea90e6bf7: Verifying Checksum
f34ea90e6bf7: Download complete
b44a65709156: Retrying in 5 seconds
b44a65709156: Retrying in 4 seconds
b44a65709156: Retrying in 3 seconds
b44a65709156: Retrying in 2 seconds
b44a65709156: Retrying in 1 second
cae3b572364a: Download complete
4c25908bbac9: Verifying Checksum
4c25908bbac9: Download complete
f76df728146d: Verifying Checksum
f76df728146d: Download complete
cae3b572364a: Pull complete
820d433882fc: Pull complete
8f6112f72fa5: Pull complete
f06108004adb: Pull complete
1fee769dfcf3: Verifying Checksum
1fee769dfcf3: Download complete
f34ea90e6bf7: Pull complete
9089a7f69af3: Verifying Checksum
9089a7f69af3: Download complete
6f758b47b2a0: Verifying Checksum
6f758b47b2a0: Download complete
16b225bbb395: Verifying Checksum
16b225bbb395: Download complete
abbf3ec39b68: Verifying Checksum
abbf3ec39b68: Download complete
1a61521655a9: Verifying Checksum
1a61521655a9: Download complete
6a8565a9e443: Verifying Checksum
6a8565a9e443: Download complete
c059a4cbd7b9: Verifying Checksum
c059a4cbd7b9: Download complete
3a00fdc9e291: Download complete
6e8d713bf843: Download complete
bca1fd5341ba: Download complete
34b9849c2772: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
d8d3d0744e38: Verifying Checksum
d8d3d0744e38: Download complete
788c7ce0e0e5: Verifying Checksum
788c7ce0e0e5: Download complete
a297eab0ca3b: Verifying Checksum
a297eab0ca3b: Download complete
2e79af39acdb: Verifying Checksum
2e79af39acdb: Download complete
8858e600236c: Verifying Checksum
8858e600236c: Download complete
9efe23d1fe7d: Download complete
47d185934312: Verifying Checksum
47d185934312: Download complete
64a949a6caff: Verifying Checksum
64a949a6caff: Download complete
c9d6a7c18bb1: Verifying Checksum
c9d6a7c18bb1: Download complete
e4fde4815f0c: Download complete
d1f759c16950: Verifying Checksum
d1f759c16950: Download complete
f3dd45bf195f: Download complete
3985a6049101: Verifying Checksum
3985a6049101: Download complete
aae849592418: Download complete
6173459dc6b2: Verifying Checksum
6173459dc6b2: Download complete
7f16ef63bee0: Download complete
fe355de6a899: Download complete
b0bc5a15bc9d: Download complete
b44a65709156: Verifying Checksum
b44a65709156: Download complete
f7e4070f86bb: Verifying Checksum
f7e4070f86bb: Download complete
a16d954bd2d3: Verifying Checksum
a16d954bd2d3: Download complete
6583f21da642: Verifying Checksum
6583f21da642: Download complete
b44a65709156: Pull complete
4c25908bbac9: Pull complete
f76df728146d: Pull complete
1fee769dfcf3: Pull complete
9089a7f69af3: Pull complete
6f758b47b2a0: Pull complete
16b225bbb395: Pull complete
abbf3ec39b68: Pull complete
1a61521655a9: Pull complete
6a8565a9e443: Pull complete
c059a4cbd7b9: Pull complete
3a00fdc9e291: Pull complete
a0b62589bd38: Pull complete
6e8d713bf843: Pull complete
bca1fd5341ba: Pull complete
34b9849c2772: Pull complete
4f4fb700ef54: Pull complete
d8d3d0744e38: Pull complete
788c7ce0e0e5: Pull complete
a297eab0ca3b: Pull complete
2e79af39acdb: Pull complete
8858e600236c: Pull complete
9efe23d1fe7d: Pull complete
47d185934312: Pull complete
64a949a6caff: Pull complete
c9d6a7c18bb1: Pull complete
e4fde4815f0c: Pull complete
d1f759c16950: Pull complete
f3dd45bf195f: Pull complete
3985a6049101: Pull complete
aae849592418: Pull complete
6173459dc6b2: Pull complete
7f16ef63bee0: Pull complete
fe355de6a899: Pull complete
b0bc5a15bc9d: Pull complete
0ba06c753f01: Verifying Checksum
0ba06c753f01: Download complete
0ba06c753f01: Pull complete
f7e4070f86bb: Pull complete
a16d954bd2d3: Pull complete
6583f21da642: Pull complete
Digest: sha256:d8500c15c97ddcfabe40e74b26beae4dbdf65385f70ca81d97f44f1a6556480f
Status: Downloaded newer image for ocaml/opam@sha256:d8500c15c97ddcfabe40e74b26beae4dbdf65385f70ca81d97f44f1a6556480f
2025-11-05 22:42.17 ---> using "8a3fb29dc134ae8cb5011e033937cdf0919031452506a2a7eeab7ea43cc7fe2e" from cache


/: (comment debian-13-4.08_opam-2.4)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
2025-11-05 22:42.17 ---> using "7134e21d81f07b88d496fc7d9fd04fcb845e713e71c7127239ae60f709c1f819" from cache


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


This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.


Continue? [Y/n] y
[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-05 22:42.17 ---> using "0de99fe1fc7db47f0d213e483cd4c74c50dc88c047d676e7b3e663d490603d03" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-157-generic
The OCaml toplevel, version 4.08.1
2.4.1
2025-11-05 22:42.17 ---> using "7f5b4185ab939079de06e4b6702889016fe9034c4b93a6a5f33c92159947d2e0" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-11-05 22:42.17 ---> using "644bc905a4b4c723467d7709d79c77aaef4ff740a5c0ccc468070bae516b8a06" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 930436c8d2f221ca216e2882d78d5f0486289405 || git fetch origin master) && git reset -q --hard 930436c8d2f221ca216e2882d78d5f0486289405 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
1abfcdbf14..70d1dfb3b8  master     -> origin/master
930436c8d2 Merge pull request #28833 from dbuenzli/b0-publish-topkg-care.1.1.1-etc-d8693897f289e86e


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.4.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-11-05 22:42.17 ---> using "d50ea78e39280070f4e939ebfb32a41235401b13ab7dab43f691acfd968c5478" from cache


/src: (copy (src digestif.opam) (dst ./))
2025-11-05 22:42.18 ---> saved as "9f31ac632837dec67dd47b85aca189974924060233071fe037f4c463b6a7326b"


/src: (run (network host)
(shell "opam pin add -yn digestif.dev './'"))
[digestif.dev] synchronised (file:///src)
digestif is now pinned to file:///src (version dev)
2025-11-05 22:42.19 ---> saved as "0598b88a97cef74798217353a1f145e100bb226d1c4d6813cb4cd9caf8a7fd23"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-11-05 22:42.20 ---> saved as "a5714d91b6e0775c401cb52b61671d45aeb2ad5fb9182ba1f2445b518358206d"


/src: (env DEPS "afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base bos.0.2.1 cmdliner.2.0.0 cppo.1.8.0 crowbar.0.2.1 dune.3.20.2 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 logs.0.8.0 ocaml.4.08.1 ocaml-base-compiler.4.08.1 ocaml-config.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 re.1.11.0 rresult.0.7.0 seq.base stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.4 --depext-only -y digestif.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [69.2 kB]
- Fetched 160 kB in 0s (1883 kB/s)
- Reading package lists...


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[digestif.dev] synchronised (file:///src)


[NOTE] Package ocaml-config is already installed (current version is 1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.08.1).
[NOTE] Package ocaml is already installed (current version is 4.08.1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2025-11-05 22:42.29 ---> saved as "2a7ea1ab53618d07681355867211454767f7b331384464d3486968c69324e1c5"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-config is already installed (current version is 1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.08.1).
[NOTE] Package ocaml is already installed (current version is 4.08.1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 23 packages
- install afl-persistent     1.4
- install alcotest           1.9.1
- install astring            0.8.5
- install base-bytes         base
- install bos                0.2.1
- install cmdliner           2.0.0
- install cppo               1.8.0
- install crowbar            0.2.1
- install dune               3.20.2
- install eqaf               0.10
- install fmt                0.11.0
- install fpath              0.7.3
- install logs               0.8.0
- install ocaml-syntax-shims 1.0.0
- install ocamlbuild         0.16.1
- install ocamlfind          1.9.8
- install ocplib-endian      1.2
- install re                 1.11.0
- install rresult            0.7.0
- install seq                base
- install stdlib-shims       0.3.0
- install topkg              1.1.1
- install uutf               1.0.4


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved afl-persistent.1.4  (cached)
-> retrieved alcotest.1.9.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved bos.0.2.1  (cached)
-> retrieved cmdliner.2.0.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> retrieved crowbar.0.2.1  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved logs.0.8.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved re.1.11.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved rresult.0.7.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved topkg.1.1.1  (cached)
-> retrieved dune.3.20.2  (cached)
-> installed cmdliner.2.0.0
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed rresult.0.7.0
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed logs.0.8.0
-> installed bos.0.2.1
-> installed dune.3.20.2
-> installed afl-persistent.1.4
-> installed stdlib-shims.0.3.0
-> installed eqaf.0.10
-> installed ocaml-syntax-shims.1.0.0
-> installed re.1.11.0
-> installed cppo.1.8.0
-> installed ocplib-endian.1.2
-> installed crowbar.0.2.1
-> installed alcotest.1.9.1
Done.


<><> afl-persistent.1.4 installed successfully ><><><><><><><><><><><><><><><><>
=> afl-persistent is installed, but since the current OCaml compiler does
not enable AFL instrumentation by default, most packages will not be
instrumented and fuzzing with afl-fuzz may not be effective.


To globally enable AFL instrumentation, create an OCaml switch like:


opam switch create 4.08.1+afl ocaml-variants.4.08.1+options ocaml-option-afl
# To update the current shell environment, run: eval $(opam env)
2025-11-05 22:43.00 ---> saved as "f2324548e41e5bb326ce298bf8a6e62e190eb208086b03a48a55db50ad524c22"


/src: (copy (src .) (dst /src))
2025-11-05 22:43.01 ---> saved as "99797cee94d4fe4ea460591580a8daa983d1fa73fe651d576b52a5672ccfe25b"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/ocaml && ./test_cve.exe --quick-tests --color=always)
Testing `digestif (CVE)'.
This run has ID `KGSQVM1G'.


[SKIP]        sha3 (CVE-2022-37454)          0   buffer overflow.
[SKIP]        sha3 (CVE-2022-37454)          1   infinite loop.


Full test results in `/src/_build/default/test/ocaml/_build/_tests/digestif U+0028CVEU+0029'.
Test Successful in 0.000s. 0 test run.
(cd _build/default/test/c && ./test_cve.exe --quick-tests --color=always)
Testing `digestif (CVE)'.
This run has ID `9IPU0XY7'.


[SKIP]        sha3 (CVE-2022-37454)          0   buffer overflow.
[SKIP]        sha3 (CVE-2022-37454)          1   infinite loop.


Full test results in `/src/_build/default/test/c/_build/_tests/digestif U+0028CVEU+0029'.
Test Successful in 0.000s. 0 test run.
(cd _build/default/fuzz && ./fuzz_c.exe)
get_into_bytes: PASS


(cd _build/default/fuzz && ./fuzz_ocaml.exe)
get_into_bytes: PASS


(cd _build/default/test/c && ./test.exe --color=always)
Testing `digestif'.
This run has ID `06WQVV7Q'.


[OK]          md5                                  0   md5.
[OK]          md5                                  1   md5.
[OK]          md5                                  2   md5.
[OK]          md5                                  3   md5.
[OK]          md5                                  4   md5.
[OK]          md5 (bigstring)                      0   md5.
[OK]          md5 (bigstring)                      1   md5.
[OK]          md5 (bigstring)                      2   md5.
[OK]          md5 (bigstring)                      3   md5.
[OK]          md5 (bigstring)                      4   md5.
[OK]          sha1                                 0   sha1.
[OK]          sha1                                 1   sha1.
[OK]          sha1                                 2   sha1.
[OK]          sha1                                 3   sha1.
[OK]          sha1                                 4   sha1.
[OK]          sha1 (bigstring)                     0   sha1.
[OK]          sha1 (bigstring)                     1   sha1.
[OK]          sha1 (bigstring)                     2   sha1.
[OK]          sha1 (bigstring)                     3   sha1.
[OK]          sha1 (bigstring)                     4   sha1.
[OK]          sha224                               0   sha224.
[OK]          sha224                               1   sha224.
[OK]          sha224                               2   sha224.
[OK]          sha224                               3   sha224.
[OK]          sha224                               4   sha224.
[OK]          sha224 (bigstring)                   0   sha224.
[OK]          sha224 (bigstring)                   1   sha224.
[OK]          sha224 (bigstring)                   2   sha224.
[OK]          sha224 (bigstring)                   3   sha224.
[OK]          sha224 (bigstring)                   4   sha224.
[OK]          sha256                               0   sha256.
[OK]          sha256                               1   sha256.
[OK]          sha256                               2   sha256.
[OK]          sha256                               3   sha256.
[OK]          sha256                               4   sha256.
[OK]          sha256 (bigstring)                   0   sha256.
[OK]          sha256 (bigstring)                   1   sha256.
[OK]          sha256 (bigstring)                   2   sha256.
[OK]          sha256 (bigstring)                   3   sha256.
[OK]          sha256 (bigstring)                   4   sha256.
[OK]          sha256 (feed bytes)                  0   sha256.
[OK]          sha256 (feed bytes)                  1   sha256.
[OK]          sha256 (feed bytes)                  2   sha256.
[OK]          sha256 (feed bytes)                  3   sha256.
[OK]          sha256 (feed bytes)                  4   sha256.
[OK]          sha384                               0   sha384.
[OK]          sha384                               1   sha384.
[OK]          sha384                               2   sha384.
[OK]          sha384                               3   sha384.
[OK]          sha384                               4   sha384.
[OK]          sha384 (bigstring)                   0   sha384.
[OK]          sha384 (bigstring)                   1   sha384.
[OK]          sha384 (bigstring)                   2   sha384.
[OK]          sha384 (bigstring)                   3   sha384.
[OK]          sha384 (bigstring)                   4   sha384.
[OK]          sha512                               0   sha512.
[OK]          sha512                               1   sha512.
[OK]          sha512                               2   sha512.
[OK]          sha512                               3   sha512.
[OK]          sha512                               4   sha512.
[OK]          sha512 (bigstring)                   0   sha512.
[OK]          sha512 (bigstring)                   1   sha512.
[OK]          sha512 (bigstring)                   2   sha512.
[OK]          sha512 (bigstring)                   3   sha512.
[OK]          sha512 (bigstring)                   4   sha512.
[OK]          sha3_224                             0   sha3_224.
[OK]          sha3_224                             1   sha3_224.
[OK]          sha3_224                             2   sha3_224.
[OK]          sha3_224                             3   sha3_224.
[OK]          sha3_224                             4   sha3_224.
[OK]          sha3_224 (bigstring)                 0   sha3_224.
[OK]          sha3_224 (bigstring)                 1   sha3_224.
[OK]          sha3_224 (bigstring)                 2   sha3_224.
[OK]          sha3_224 (bigstring)                 3   sha3_224.
[OK]          sha3_224 (bigstring)                 4   sha3_224.
[OK]          sha3_256                             0   sha3_256.
[OK]          sha3_256                             1   sha3_256.
[OK]          sha3_256                             2   sha3_256.
[OK]          sha3_256                             3   sha3_256.
[OK]          sha3_256                             4   sha3_256.
[OK]          sha3_256 (bigstring)                 0   sha3_256.
[OK]          sha3_256 (bigstring)                 1   sha3_256.
[OK]          sha3_256 (bigstring)                 2   sha3_256.
[OK]          sha3_256 (bigstring)                 3   sha3_256.
[OK]          sha3_256 (bigstring)                 4   sha3_256.
[OK]          keccak_256                           0   keccak_256.
[OK]          keccak_256                           1   keccak_256.
[OK]          keccak_256                           2   keccak_256.
[OK]          keccak_256                           3   keccak_256.
[OK]          keccak_256                           4   keccak_256.
[OK]          keccak_256 (bigstring)               0   keccak_256.
[OK]          keccak_256 (bigstring)               1   keccak_256.
[OK]          keccak_256 (bigstring)               2   keccak_256.
[OK]          keccak_256 (bigstring)               3   keccak_256.
[OK]          keccak_256 (bigstring)               4   keccak_256.
[OK]          sha3_384                             0   sha3_384.
[OK]          sha3_384                             1   sha3_384.
[OK]          sha3_384                             2   sha3_384.
[OK]          sha3_384                             3   sha3_384.
[OK]          sha3_384                             4   sha3_384.
[OK]          sha3_384 (bigstring)                 0   sha3_384.
[OK]          sha3_384 (bigstring)                 1   sha3_384.
[OK]          sha3_384 (bigstring)                 2   sha3_384.
[OK]          sha3_384 (bigstring)                 3   sha3_384.
[OK]          sha3_384 (bigstring)                 4   sha3_384.
[OK]          sha3_512                             0   sha3_512.
[OK]          sha3_512                             1   sha3_512.
[OK]          sha3_512                             2   sha3_512.
[OK]          sha3_512                             3   sha3_512.
[OK]          sha3_512                             4   sha3_512.
[OK]          sha3_512 (bigstring)                 0   sha3_512.
[OK]          sha3_512 (bigstring)                 1   sha3_512.
[OK]          sha3_512 (bigstring)                 2   sha3_512.
[OK]          sha3_512 (bigstring)                 3   sha3_512.
[OK]          sha3_512 (bigstring)                 4   sha3_512.
[OK]          whirlpool                            0   whirlpool.
[OK]          whirlpool                            1   whirlpool.
[OK]          whirlpool                            2   whirlpool.
[OK]          whirlpool                            3   whirlpool.
[OK]          whirlpool                            4   whirlpool.
[OK]          whirlpool (bigstring)                0   whirlpool.
[OK]          whirlpool (bigstring)                1   whirlpool.
[OK]          whirlpool (bigstring)                2   whirlpool.
[OK]          whirlpool (bigstring)                3   whirlpool.
[OK]          whirlpool (bigstring)                4   whirlpool.
[OK]          blake2b                              0   blake2b.
[OK]          blake2b                              1   blake2b.
[OK]          blake2b                              2   blake2b.
[OK]          blake2b                              3   blake2b.
[OK]          blake2b                              4   blake2b.
[OK]          blake2b (bigstring)                  0   blake2b.
[OK]          blake2b (bigstring)                  1   blake2b.
[OK]          blake2b (bigstring)                  2   blake2b.
[OK]          blake2b (bigstring)                  3   blake2b.
[OK]          blake2b (bigstring)                  4   blake2b.
[OK]          rmd160                               0   rmd160.
[OK]          rmd160                               1   rmd160.
[OK]          rmd160                               2   rmd160.
[OK]          rmd160                               3   rmd160.
[OK]          rmd160                               4   rmd160.
[OK]          rmd160 (bigstring)                   0   rmd160.
[OK]          rmd160 (bigstring)                   1   rmd160.
[OK]          rmd160 (bigstring)                   2   rmd160.
[OK]          rmd160 (bigstring)                   3   rmd160.
[OK]          rmd160 (bigstring)                   4   rmd160.
[OK]          blake2s                              0   blake2s.
[OK]          blake2s                              1   blake2s.
[OK]          blake2s                              2   blake2s.
[OK]          blake2s                              3   blake2s.
[OK]          blake2s                              4   blake2s.
[OK]          blake2s (bigstring)                  0   blake2s.
[OK]          blake2s (bigstring)                  1   blake2s.
[OK]          blake2s (bigstring)                  2   blake2s.
[OK]          blake2s (bigstring)                  3   blake2s.
[OK]          blake2s (bigstring)                  4   blake2s.
[OK]          blake2s (keyed, input file)          0   blake2{b,s}.
[OK]          blake2s (keyed, input file)          1   blake2{b,s}.
[OK]          blake2s (keyed, input file)          2   blake2{b,s}.
[OK]          blake2s (keyed, input file)          3   blake2{b,s}.
[OK]          blake2s (keyed, input file)          4   blake2{b,s}.
[OK]          blake2s (keyed, input file)          5   blake2{b,s}.
[OK]          blake2s (keyed, input file)          6   blake2{b,s}.
[OK]          blake2s (keyed, input file)          7   blake2{b,s}.
[OK]          blake2s (keyed, input file)          8   blake2{b,s}.
[OK]          blake2s (keyed, input file)          9   blake2{b,s}.
[OK]          blake2s (keyed, input file)         10   blake2{b,s}.
[OK]          blake2s (keyed, input file)         11   blake2{b,s}.
[OK]          blake2s (keyed, input file)         12   blake2{b,s}.
[OK]          blake2s (keyed, input file)         13   blake2{b,s}.
[OK]          blake2s (keyed, input file)         14   blake2{b,s}.
[OK]          blake2s (keyed, input file)         15   blake2{b,s}.
[OK]          blake2s (keyed, input file)         16   blake2{b,s}.
[OK]          blake2s (keyed, input file)         17   blake2{b,s}.
[OK]          blake2s (keyed, input file)         18   blake2{b,s}.
[OK]          blake2s (keyed, input file)         19   blake2{b,s}.
[OK]          blake2s (keyed, input file)         20   blake2{b,s}.
[OK]          blake2s (keyed, input file)         21   blake2{b,s}.
[OK]          blake2s (keyed, input file)         22   blake2{b,s}.
[OK]          blake2s (keyed, input file)         23   blake2{b,s}.
[OK]          blake2s (keyed, input file)         24   blake2{b,s}.
[OK]          blake2s (keyed, input file)         25   blake2{b,s}.
[OK]          blake2s (keyed, input file)         26   blake2{b,s}.
[OK]          blake2s (keyed, input file)         27   blake2{b,s}.
[OK]          blake2s (keyed, input file)         28   blake2{b,s}.
[OK]          blake2s (keyed, input file)         29   blake2{b,s}.
[OK]          blake2s (keyed, input file)         30   blake2{b,s}.
[OK]          blake2s (keyed, input file)         31   blake2{b,s}.
[OK]          blake2s (keyed, input file)         32   blake2{b,s}.
[OK]          blake2s (keyed, input file)         33   blake2{b,s}.
[OK]          blake2s (keyed, input file)         34   blake2{b,s}.
[OK]          blake2s (keyed, input file)         35   blake2{b,s}.
[OK]          blake2s (keyed, input file)         36   blake2{b,s}.
[OK]          blake2s (keyed, input file)         37   blake2{b,s}.
[OK]          blake2s (keyed, input file)         38   blake2{b,s}.
[OK]          blake2s (keyed, input file)         39   blake2{b,s}.
[OK]          blake2s (keyed, input file)         40   blake2{b,s}.
[OK]          blake2s (keyed, input file)         41   blake2{b,s}.
[OK]          blake2s (keyed, input file)         42   blake2{b,s}.
[OK]          blake2s (keyed, input file)         43   blake2{b,s}.
[OK]          blake2s (keyed, input file)         44   blake2{b,s}.
[OK]          blake2s (keyed, input file)         45   blake2{b,s}.
[OK]          blake2s (keyed, input file)         46   blake2{b,s}.
[OK]          blake2s (keyed, input file)         47   blake2{b,s}.
[OK]          blake2s (keyed, input file)         48   blake2{b,s}.
[OK]          blake2s (keyed, input file)         49   blake2{b,s}.
[OK]          blake2s (keyed, input file)         50   blake2{b,s}.
[OK]          blake2s (keyed, input file)         51   blake2{b,s}.
[OK]          blake2s (keyed, input file)         52   blake2{b,s}.
[OK]          blake2s (keyed, input file)         53   blake2{b,s}.
[OK]          blake2s (keyed, input file)         54   blake2{b,s}.
[OK]          blake2s (keyed, input file)         55   blake2{b,s}.
[OK]          blake2s (keyed, input file)         56   blake2{b,s}.
[OK]          blake2s (keyed, input file)         57   blake2{b,s}.
[OK]          blake2s (keyed, input file)         58   blake2{b,s}.
[OK]          blake2s (keyed, input file)         59   blake2{b,s}.
[OK]          blake2s (keyed, input file)         60   blake2{b,s}.
[OK]          blake2s (keyed, input file)         61   blake2{b,s}.
[OK]          blake2s (keyed, input file)         62   blake2{b,s}.
[OK]          blake2s (keyed, input file)         63   blake2{b,s}.
[OK]          blake2s (keyed, input file)         64   blake2{b,s}.
[OK]          blake2s (keyed, input file)         65   blake2{b,s}.
[OK]          blake2s (keyed, input file)         66   blake2{b,s}.
[OK]          blake2s (keyed, input file)         67   blake2{b,s}.
[OK]          blake2s (keyed, input file)         68   blake2{b,s}.
[OK]          blake2s (keyed, input file)         69   blake2{b,s}.
[OK]          blake2s (keyed, input file)         70   blake2{b,s}.
[OK]          blake2s (keyed, input file)         71   blake2{b,s}.
[OK]          blake2s (keyed, input file)         72   blake2{b,s}.
[OK]          blake2s (keyed, input file)         73   blake2{b,s}.
[OK]          blake2s (keyed, input file)         74   blake2{b,s}.
[OK]          blake2s (keyed, input file)         75   blake2{b,s}.
[OK]          blake2s (keyed, input file)         76   blake2{b,s}.
[OK]          blake2s (keyed, input file)         77   blake2{b,s}.
[OK]          blake2s (keyed, input file)         78   blake2{b,s}.
[OK]          blake2s (keyed, input file)         79   blake2{b,s}.
[OK]          blake2s (keyed, input file)         80   blake2{b,s}.
[OK]          blake2s (keyed, input file)         81   blake2{b,s}.
[OK]          blake2s (keyed, input file)         82   blake2{b,s}.
[OK]          blake2s (keyed, input file)         83   blake2{b,s}.
[OK]          blake2s (keyed, input file)         84   blake2{b,s}.
[OK]          blake2s (keyed, input file)         85   blake2{b,s}.
[OK]          blake2s (keyed, input file)         86   blake2{b,s}.
[OK]          blake2s (keyed, input file)         87   blake2{b,s}.
[OK]          blake2s (keyed, input file)         88   blake2{b,s}.
[OK]          blake2s (keyed, input file)         89   blake2{b,s}.
[OK]          blake2s (keyed, input file)         90   blake2{b,s}.
[OK]          blake2s (keyed, input file)         91   blake2{b,s}.
[OK]          blake2s (keyed, input file)         92   blake2{b,s}.
[OK]          blake2s (keyed, input file)         93   blake2{b,s}.
[OK]          blake2s (keyed, input file)         94   blake2{b,s}.
[OK]          blake2s (keyed, input file)         95   blake2{b,s}.
[OK]          blake2s (keyed, input file)         96   blake2{b,s}.
[OK]          blake2s (keyed, input file)         97   blake2{b,s}.
[OK]          blake2s (keyed, input file)         98   blake2{b,s}.
[OK]          blake2s (keyed, input file)         99   blake2{b,s}.
[OK]          blake2s (keyed, input file)        100   blake2{b,s}.
[OK]          blake2s (keyed, input file)        101   blake2{b,s}.
[OK]          blake2s (keyed, input file)        102   blake2{b,s}.
[OK]          blake2s (keyed, input file)        103   blake2{b,s}.
[OK]          blake2s (keyed, input file)        104   blake2{b,s}.
[OK]          blake2s (keyed, input file)        105   blake2{b,s}.
[OK]          blake2s (keyed, input file)        106   blake2{b,s}.
[OK]          blake2s (keyed, input file)        107   blake2{b,s}.
[OK]          blake2s (keyed, input file)        108   blake2{b,s}.
[OK]          blake2s (keyed, input file)        109   blake2{b,s}.
[OK]          blake2s (keyed, input file)        110   blake2{b,s}.
[OK]          blake2s (keyed, input file)        111   blake2{b,s}.
[OK]          blake2s (keyed, input file)        112   blake2{b,s}.
[OK]          blake2s (keyed, input file)        113   blake2{b,s}.
[OK]          blake2s (keyed, input file)        114   blake2{b,s}.
[OK]          blake2s (keyed, input file)        115   blake2{b,s}.
[OK]          blake2s (keyed, input file)        116   blake2{b,s}.
[OK]          blake2s (keyed, input file)        117   blake2{b,s}.
[OK]          blake2s (keyed, input file)        118   blake2{b,s}.
[OK]          blake2s (keyed, input file)        119   blake2{b,s}.
[OK]          blake2s (keyed, input file)        120   blake2{b,s}.
[OK]          blake2s (keyed, input file)        121   blake2{b,s}.
[OK]          blake2s (keyed, input file)        122   blake2{b,s}.
[OK]          blake2s (keyed, input file)        123   blake2{b,s}.
[OK]          blake2s (keyed, input file)        124   blake2{b,s}.
[OK]          blake2s (keyed, input file)        125   blake2{b,s}.
[OK]          blake2s (keyed, input file)        126   blake2{b,s}.
[OK]          blake2s (keyed, input file)        127   blake2{b,s}.
[OK]          blake2s (keyed, input file)        128   blake2{b,s}.
[OK]          blake2s (keyed, input file)        129   blake2{b,s}.
[OK]          blake2s (keyed, input file)        130   blake2{b,s}.
[OK]          blake2s (keyed, input file)        131   blake2{b,s}.
[OK]          blake2s (keyed, input file)        132   blake2{b,s}.
[OK]          blake2s (keyed, input file)        133   blake2{b,s}.
[OK]          blake2s (keyed, input file)        134   blake2{b,s}.
[OK]          blake2s (keyed, input file)        135   blake2{b,s}.
[OK]          blake2s (keyed, input file)        136   blake2{b,s}.
[OK]          blake2s (keyed, input file)        137   blake2{b,s}.
[OK]          blake2s (keyed, input file)        138   blake2{b,s}.
[OK]          blake2s (keyed, input file)        139   blake2{b,s}.
[OK]          blake2s (keyed, input file)        140   blake2{b,s}.
[OK]          blake2s (keyed, input file)        141   blake2{b,s}.
[OK]          blake2s (keyed, input file)        142   blake2{b,s}.
[OK]          blake2s (keyed, input file)        143   blake2{b,s}.
[OK]          blake2s (keyed, input file)        144   blake2{b,s}.
[OK]          blake2s (keyed, input file)        145   blake2{b,s}.
[OK]          blake2s (keyed, input file)        146   blake2{b,s}.
[OK]          blake2s (keyed, input file)        147   blake2{b,s}.
[OK]          blake2s (keyed, input file)        148   blake2{b,s}.
[OK]          blake2s (keyed, input file)        149   blake2{b,s}.
[OK]          blake2s (keyed, input file)        150   blake2{b,s}.
[OK]          blake2s (keyed, input file)        151   blake2{b,s}.
[OK]          blake2s (keyed, input file)        152   blake2{b,s}.
[OK]          blake2s (keyed, input file)        153   blake2{b,s}.
[OK]          blake2s (keyed, input file)        154   blake2{b,s}.
[OK]          blake2s (keyed, input file)        155   blake2{b,s}.
[OK]          blake2s (keyed, input file)        156   blake2{b,s}.
[OK]          blake2s (keyed, input file)        157   blake2{b,s}.
[OK]          blake2s (keyed, input file)        158   blake2{b,s}.
[OK]          blake2s (keyed, input file)        159   blake2{b,s}.
[OK]          blake2s (keyed, input file)        160   blake2{b,s}.
[OK]          blake2s (keyed, input file)        161   blake2{b,s}.
[OK]          blake2s (keyed, input file)        162   blake2{b,s}.
[OK]          blake2s (keyed, input file)        163   blake2{b,s}.
[OK]          blake2s (keyed, input file)        164   blake2{b,s}.
[OK]          blake2s (keyed, input file)        165   blake2{b,s}.
[OK]          blake2s (keyed, input file)        166   blake2{b,s}.
[OK]          blake2s (keyed, input file)        167   blake2{b,s}.
[OK]          blake2s (keyed, input file)        168   blake2{b,s}.
[OK]          blake2s (keyed, input file)        169   blake2{b,s}.
[OK]          blake2s (keyed, input file)        170   blake2{b,s}.
[OK]          blake2s (keyed, input file)        171   blake2{b,s}.
[OK]          blake2s (keyed, input file)        172   blake2{b,s}.
[OK]          blake2s (keyed, input file)        173   blake2{b,s}.
[OK]          blake2s (keyed, input file)        174   blake2{b,s}.
[OK]          blake2s (keyed, input file)        175   blake2{b,s}.
[OK]          blake2s (keyed, input file)        176   blake2{b,s}.
[OK]          blake2s (keyed, input file)        177   blake2{b,s}.
[OK]          blake2s (keyed, input file)        178   blake2{b,s}.
[OK]          blake2s (keyed, input file)        179   blake2{b,s}.
[OK]          blake2s (keyed, input file)        180   blake2{b,s}.
[OK]          blake2s (keyed, input file)        181   blake2{b,s}.
[OK]          blake2s (keyed, input file)        182   blake2{b,s}.
[OK]          blake2s (keyed, input file)        183   blake2{b,s}.
[OK]          blake2s (keyed, input file)        184   blake2{b,s}.
[OK]          blake2s (keyed, input file)        185   blake2{b,s}.
[OK]          blake2s (keyed, input file)        186   blake2{b,s}.
[OK]          blake2s (keyed, input file)        187   blake2{b,s}.
[OK]          blake2s (keyed, input file)        188   blake2{b,s}.
[OK]          blake2s (keyed, input file)        189   blake2{b,s}.
[OK]          blake2s (keyed, input file)        190   blake2{b,s}.
[OK]          blake2s (keyed, input file)        191   blake2{b,s}.
[OK]          blake2s (keyed, input file)        192   blake2{b,s}.
[OK]          blake2s (keyed, input file)        193   blake2{b,s}.
[OK]          blake2s (keyed, input file)        194   blake2{b,s}.
[OK]          blake2s (keyed, input file)        195   blake2{b,s}.
[OK]          blake2s (keyed, input file)        196   blake2{b,s}.
[OK]          blake2s (keyed, input file)        197   blake2{b,s}.
[OK]          blake2s (keyed, input file)        198   blake2{b,s}.
[OK]          blake2s (keyed, input file)        199   blake2{b,s}.
[OK]          blake2s (keyed, input file)        200   blake2{b,s}.
[OK]          blake2s (keyed, input file)        201   blake2{b,s}.
[OK]          blake2s (keyed, input file)        202   blake2{b,s}.
[OK]          blake2s (keyed, input file)        203   blake2{b,s}.
[OK]          blake2s (keyed, input file)        204   blake2{b,s}.
[OK]          blake2s (keyed, input file)        205   blake2{b,s}.
[OK]          blake2s (keyed, input file)        206   blake2{b,s}.
[OK]          blake2s (keyed, input file)        207   blake2{b,s}.
[OK]          blake2s (keyed, input file)        208   blake2{b,s}.
[OK]          blake2s (keyed, input file)        209   blake2{b,s}.
[OK]          blake2s (keyed, input file)        210   blake2{b,s}.
[OK]          blake2s (keyed, input file)        211   blake2{b,s}.
[OK]          blake2s (keyed, input file)        212   blake2{b,s}.
[OK]          blake2s (keyed, input file)        213   blake2{b,s}.
[OK]          blake2s (keyed, input file)        214   blake2{b,s}.
[OK]          blake2s (keyed, input file)        215   blake2{b,s}.
[OK]          blake2s (keyed, input file)        216   blake2{b,s}.
[OK]          blake2s (keyed, input file)        217   blake2{b,s}.
[OK]          blake2s (keyed, input file)        218   blake2{b,s}.
[OK]          blake2s (keyed, input file)        219   blake2{b,s}.
[OK]          blake2s (keyed, input file)        220   blake2{b,s}.
[OK]          blake2s (keyed, input file)        221   blake2{b,s}.
[OK]          blake2s (keyed, input file)        222   blake2{b,s}.
[OK]          blake2s (keyed, input file)        223   blake2{b,s}.
[OK]          blake2s (keyed, input file)        224   blake2{b,s}.
[OK]          blake2s (keyed, input file)        225   blake2{b,s}.
[OK]          blake2s (keyed, input file)        226   blake2{b,s}.
[OK]          blake2s (keyed, input file)        227   blake2{b,s}.
[OK]          blake2s (keyed, input file)        228   blake2{b,s}.
[OK]          blake2s (keyed, input file)        229   blake2{b,s}.
[OK]          blake2s (keyed, input file)        230   blake2{b,s}.
[OK]          blake2s (keyed, input file)        231   blake2{b,s}.
[OK]          blake2s (keyed, input file)        232   blake2{b,s}.
[OK]          blake2s (keyed, input file)        233   blake2{b,s}.
[OK]          blake2s (keyed, input file)        234   blake2{b,s}.
[OK]          blake2s (keyed, input file)        235   blake2{b,s}.
[OK]          blake2s (keyed, input file)        236   blake2{b,s}.
[OK]          blake2s (keyed, input file)        237   blake2{b,s}.
[OK]          blake2s (keyed, input file)        238   blake2{b,s}.
[OK]          blake2s (keyed, input file)        239   blake2{b,s}.
[OK]          blake2s (keyed, input file)        240   blake2{b,s}.
[OK]          blake2s (keyed, input file)        241   blake2{b,s}.
[OK]          blake2s (keyed, input file)        242   blake2{b,s}.
[OK]          blake2s (keyed, input file)        243   blake2{b,s}.
[OK]          blake2s (keyed, input file)        244   blake2{b,s}.
[OK]          blake2s (keyed, input file)        245   blake2{b,s}.
[OK]          blake2s (keyed, input file)        246   blake2{b,s}.
[OK]          blake2s (keyed, input file)        247   blake2{b,s}.
[OK]          blake2s (keyed, input file)        248   blake2{b,s}.
[OK]          blake2s (keyed, input file)        249   blake2{b,s}.
[OK]          blake2s (keyed, input file)        250   blake2{b,s}.
[OK]          blake2s (keyed, input file)        251   blake2{b,s}.
[OK]          blake2s (keyed, input file)        252   blake2{b,s}.
[OK]          blake2s (keyed, input file)        253   blake2{b,s}.
[OK]          blake2s (keyed, input file)        254   blake2{b,s}.
[OK]          blake2b (keyed, input file)          0   blake2{b,s}.
[OK]          blake2b (keyed, input file)          1   blake2{b,s}.
[OK]          blake2b (keyed, input file)          2   blake2{b,s}.
[OK]          blake2b (keyed, input file)          3   blake2{b,s}.
[OK]          blake2b (keyed, input file)          4   blake2{b,s}.
[OK]          blake2b (keyed, input file)          5   blake2{b,s}.
[OK]          blake2b (keyed, input file)          6   blake2{b,s}.
[OK]          blake2b (keyed, input file)          7   blake2{b,s}.
[OK]          blake2b (keyed, input file)          8   blake2{b,s}.
[OK]          blake2b (keyed, input file)          9   blake2{b,s}.
[OK]          blake2b (keyed, input file)         10   blake2{b,s}.
[OK]          blake2b (keyed, input file)         11   blake2{b,s}.
[OK]          blake2b (keyed, input file)         12   blake2{b,s}.
[OK]          blake2b (keyed, input file)         13   blake2{b,s}.
[OK]          blake2b (keyed, input file)         14   blake2{b,s}.
[OK]          blake2b (keyed, input file)         15   blake2{b,s}.
[OK]          blake2b (keyed, input file)         16   blake2{b,s}.
[OK]          blake2b (keyed, input file)         17   blake2{b,s}.
[OK]          blake2b (keyed, input file)         18   blake2{b,s}.
[OK]          blake2b (keyed, input file)         19   blake2{b,s}.
[OK]          blake2b (keyed, input file)         20   blake2{b,s}.
[OK]          blake2b (keyed, input file)         21   blake2{b,s}.
[OK]          blake2b (keyed, input file)         22   blake2{b,s}.
[OK]          blake2b (keyed, input file)         23   blake2{b,s}.
[OK]          blake2b (keyed, input file)         24   blake2{b,s}.
[OK]          blake2b (keyed, input file)         25   blake2{b,s}.
[OK]          blake2b (keyed, input file)         26   blake2{b,s}.
[OK]          blake2b (keyed, input file)         27   blake2{b,s}.
[OK]          blake2b (keyed, input file)         28   blake2{b,s}.
[OK]          blake2b (keyed, input file)         29   blake2{b,s}.
[OK]          blake2b (keyed, input file)         30   blake2{b,s}.
[OK]          blake2b (keyed, input file)         31   blake2{b,s}.
[OK]          blake2b (keyed, input file)         32   blake2{b,s}.
[OK]          blake2b (keyed, input file)         33   blake2{b,s}.
[OK]          blake2b (keyed, input file)         34   blake2{b,s}.
[OK]          blake2b (keyed, input file)         35   blake2{b,s}.
[OK]          blake2b (keyed, input file)         36   blake2{b,s}.
[OK]          blake2b (keyed, input file)         37   blake2{b,s}.
[OK]          blake2b (keyed, input file)         38   blake2{b,s}.
[OK]          blake2b (keyed, input file)         39   blake2{b,s}.
[OK]          blake2b (keyed, input file)         40   blake2{b,s}.
[OK]          blake2b (keyed, input file)         41   blake2{b,s}.
[OK]          blake2b (keyed, input file)         42   blake2{b,s}.
[OK]          blake2b (keyed, input file)         43   blake2{b,s}.
[OK]          blake2b (keyed, input file)         44   blake2{b,s}.
[OK]          blake2b (keyed, input file)         45   blake2{b,s}.
[OK]          blake2b (keyed, input file)         46   blake2{b,s}.
[OK]          blake2b (keyed, input file)         47   blake2{b,s}.
[OK]          blake2b (keyed, input file)         48   blake2{b,s}.
[OK]          blake2b (keyed, input file)         49   blake2{b,s}.
[OK]          blake2b (keyed, input file)         50   blake2{b,s}.
[OK]          blake2b (keyed, input file)         51   blake2{b,s}.
[OK]          blake2b (keyed, input file)         52   blake2{b,s}.
[OK]          blake2b (keyed, input file)         53   blake2{b,s}.
[OK]          blake2b (keyed, input file)         54   blake2{b,s}.
[OK]          blake2b (keyed, input file)         55   blake2{b,s}.
[OK]          blake2b (keyed, input file)         56   blake2{b,s}.
[OK]          blake2b (keyed, input file)         57   blake2{b,s}.
[OK]          blake2b (keyed, input file)         58   blake2{b,s}.
[OK]          blake2b (keyed, input file)         59   blake2{b,s}.
[OK]          blake2b (keyed, input file)         60   blake2{b,s}.
[OK]          blake2b (keyed, input file)         61   blake2{b,s}.
[OK]          blake2b (keyed, input file)         62   blake2{b,s}.
[OK]          blake2b (keyed, input file)         63   blake2{b,s}.
[OK]          blake2b (keyed, input file)         64   blake2{b,s}.
[OK]          blake2b (keyed, input file)         65   blake2{b,s}.
[OK]          blake2b (keyed, input file)         66   blake2{b,s}.
[OK]          blake2b (keyed, input file)         67   blake2{b,s}.
[OK]          blake2b (keyed, input file)         68   blake2{b,s}.
[OK]          blake2b (keyed, input file)         69   blake2{b,s}.
[OK]          blake2b (keyed, input file)         70   blake2{b,s}.
[OK]          blake2b (keyed, input file)         71   blake2{b,s}.
[OK]          blake2b (keyed, input file)         72   blake2{b,s}.
[OK]          blake2b (keyed, input file)         73   blake2{b,s}.
[OK]          blake2b (keyed, input file)         74   blake2{b,s}.
[OK]          blake2b (keyed, input file)         75   blake2{b,s}.
[OK]          blake2b (keyed, input file)         76   blake2{b,s}.
[OK]          blake2b (keyed, input file)         77   blake2{b,s}.
[OK]          blake2b (keyed, input file)         78   blake2{b,s}.
[OK]          blake2b (keyed, input file)         79   blake2{b,s}.
[OK]          blake2b (keyed, input file)         80   blake2{b,s}.
[OK]          blake2b (keyed, input file)         81   blake2{b,s}.
[OK]          blake2b (keyed, input file)         82   blake2{b,s}.
[OK]          blake2b (keyed, input file)         83   blake2{b,s}.
[OK]          blake2b (keyed, input file)         84   blake2{b,s}.
[OK]          blake2b (keyed, input file)         85   blake2{b,s}.
[OK]          blake2b (keyed, input file)         86   blake2{b,s}.
[OK]          blake2b (keyed, input file)         87   blake2{b,s}.
[OK]          blake2b (keyed, input file)         88   blake2{b,s}.
[OK]          blake2b (keyed, input file)         89   blake2{b,s}.
[OK]          blake2b (keyed, input file)         90   blake2{b,s}.
[OK]          blake2b (keyed, input file)         91   blake2{b,s}.
[OK]          blake2b (keyed, input file)         92   blake2{b,s}.
[OK]          blake2b (keyed, input file)         93   blake2{b,s}.
[OK]          blake2b (keyed, input file)         94   blake2{b,s}.
[OK]          blake2b (keyed, input file)         95   blake2{b,s}.
[OK]          blake2b (keyed, input file)         96   blake2{b,s}.
[OK]          blake2b (keyed, input file)         97   blake2{b,s}.
[OK]          blake2b (keyed, input file)         98   blake2{b,s}.
[OK]          blake2b (keyed, input file)         99   blake2{b,s}.
[OK]          blake2b (keyed, input file)        100   blake2{b,s}.
[OK]          blake2b (keyed, input file)        101   blake2{b,s}.
[OK]          blake2b (keyed, input file)        102   blake2{b,s}.
[OK]          blake2b (keyed, input file)        103   blake2{b,s}.
[OK]          blake2b (keyed, input file)        104   blake2{b,s}.
[OK]          blake2b (keyed, input file)        105   blake2{b,s}.
[OK]          blake2b (keyed, input file)        106   blake2{b,s}.
[OK]          blake2b (keyed, input file)        107   blake2{b,s}.
[OK]          blake2b (keyed, input file)        108   blake2{b,s}.
[OK]          blake2b (keyed, input file)        109   blake2{b,s}.
[OK]          blake2b (keyed, input file)        110   blake2{b,s}.
[OK]          blake2b (keyed, input file)        111   blake2{b,s}.
[OK]          blake2b (keyed, input file)        112   blake2{b,s}.
[OK]          blake2b (keyed, input file)        113   blake2{b,s}.
[OK]          blake2b (keyed, input file)        114   blake2{b,s}.
[OK]          blake2b (keyed, input file)        115   blake2{b,s}.
[OK]          blake2b (keyed, input file)        116   blake2{b,s}.
[OK]          blake2b (keyed, input file)        117   blake2{b,s}.
[OK]          blake2b (keyed, input file)        118   blake2{b,s}.
[OK]          blake2b (keyed, input file)        119   blake2{b,s}.
[OK]          blake2b (keyed, input file)        120   blake2{b,s}.
[OK]          blake2b (keyed, input file)        121   blake2{b,s}.
[OK]          blake2b (keyed, input file)        122   blake2{b,s}.
[OK]          blake2b (keyed, input file)        123   blake2{b,s}.
[OK]          blake2b (keyed, input file)        124   blake2{b,s}.
[OK]          blake2b (keyed, input file)        125   blake2{b,s}.
[OK]          blake2b (keyed, input file)        126   blake2{b,s}.
[OK]          blake2b (keyed, input file)        127   blake2{b,s}.
[OK]          blake2b (keyed, input file)        128   blake2{b,s}.
[OK]          blake2b (keyed, input file)        129   blake2{b,s}.
[OK]          blake2b (keyed, input file)        130   blake2{b,s}.
[OK]          blake2b (keyed, input file)        131   blake2{b,s}.
[OK]          blake2b (keyed, input file)        132   blake2{b,s}.
[OK]          blake2b (keyed, input file)        133   blake2{b,s}.
[OK]          blake2b (keyed, input file)        134   blake2{b,s}.
[OK]          blake2b (keyed, input file)        135   blake2{b,s}.
[OK]          blake2b (keyed, input file)        136   blake2{b,s}.
[OK]          blake2b (keyed, input file)        137   blake2{b,s}.
[OK]          blake2b (keyed, input file)        138   blake2{b,s}.
[OK]          blake2b (keyed, input file)        139   blake2{b,s}.
[OK]          blake2b (keyed, input file)        140   blake2{b,s}.
[OK]          blake2b (keyed, input file)        141   blake2{b,s}.
[OK]          blake2b (keyed, input file)        142   blake2{b,s}.
[OK]          blake2b (keyed, input file)        143   blake2{b,s}.
[OK]          blake2b (keyed, input file)        144   blake2{b,s}.
[OK]          blake2b (keyed, input file)        145   blake2{b,s}.
[OK]          blake2b (keyed, input file)        146   blake2{b,s}.
[OK]          blake2b (keyed, input file)        147   blake2{b,s}.
[OK]          blake2b (keyed, input file)        148   blake2{b,s}.
[OK]          blake2b (keyed, input file)        149   blake2{b,s}.
[OK]          blake2b (keyed, input file)        150   blake2{b,s}.
[OK]          blake2b (keyed, input file)        151   blake2{b,s}.
[OK]          blake2b (keyed, input file)        152   blake2{b,s}.
[OK]          blake2b (keyed, input file)        153   blake2{b,s}.
[OK]          blake2b (keyed, input file)        154   blake2{b,s}.
[OK]          blake2b (keyed, input file)        155   blake2{b,s}.
[OK]          blake2b (keyed, input file)        156   blake2{b,s}.
[OK]          blake2b (keyed, input file)        157   blake2{b,s}.
[OK]          blake2b (keyed, input file)        158   blake2{b,s}.
[OK]          blake2b (keyed, input file)        159   blake2{b,s}.
[OK]          blake2b (keyed, input file)        160   blake2{b,s}.
[OK]          blake2b (keyed, input file)        161   blake2{b,s}.
[OK]          blake2b (keyed, input file)        162   blake2{b,s}.
[OK]          blake2b (keyed, input file)        163   blake2{b,s}.
[OK]          blake2b (keyed, input file)        164   blake2{b,s}.
[OK]          blake2b (keyed, input file)        165   blake2{b,s}.
[OK]          blake2b (keyed, input file)        166   blake2{b,s}.
[OK]          blake2b (keyed, input file)        167   blake2{b,s}.
[OK]          blake2b (keyed, input file)        168   blake2{b,s}.
[OK]          blake2b (keyed, input file)        169   blake2{b,s}.
[OK]          blake2b (keyed, input file)        170   blake2{b,s}.
[OK]          blake2b (keyed, input file)        171   blake2{b,s}.
[OK]          blake2b (keyed, input file)        172   blake2{b,s}.
[OK]          blake2b (keyed, input file)        173   blake2{b,s}.
[OK]          blake2b (keyed, input file)        174   blake2{b,s}.
[OK]          blake2b (keyed, input file)        175   blake2{b,s}.
[OK]          blake2b (keyed, input file)        176   blake2{b,s}.
[OK]          blake2b (keyed, input file)        177   blake2{b,s}.
[OK]          blake2b (keyed, input file)        178   blake2{b,s}.
[OK]          blake2b (keyed, input file)        179   blake2{b,s}.
[OK]          blake2b (keyed, input file)        180   blake2{b,s}.
[OK]          blake2b (keyed, input file)        181   blake2{b,s}.
[OK]          blake2b (keyed, input file)        182   blake2{b,s}.
[OK]          blake2b (keyed, input file)        183   blake2{b,s}.
[OK]          blake2b (keyed, input file)        184   blake2{b,s}.
[OK]          blake2b (keyed, input file)        185   blake2{b,s}.
[OK]          blake2b (keyed, input file)        186   blake2{b,s}.
[OK]          blake2b (keyed, input file)        187   blake2{b,s}.
[OK]          blake2b (keyed, input file)        188   blake2{b,s}.
[OK]          blake2b (keyed, input file)        189   blake2{b,s}.
[OK]          blake2b (keyed, input file)        190   blake2{b,s}.
[OK]          blake2b (keyed, input file)        191   blake2{b,s}.
[OK]          blake2b (keyed, input file)        192   blake2{b,s}.
[OK]          blake2b (keyed, input file)        193   blake2{b,s}.
[OK]          blake2b (keyed, input file)        194   blake2{b,s}.
[OK]          blake2b (keyed, input file)        195   blake2{b,s}.
[OK]          blake2b (keyed, input file)        196   blake2{b,s}.
[OK]          blake2b (keyed, input file)        197   blake2{b,s}.
[OK]          blake2b (keyed, input file)        198   blake2{b,s}.
[OK]          blake2b (keyed, input file)        199   blake2{b,s}.
[OK]          blake2b (keyed, input file)        200   blake2{b,s}.
[OK]          blake2b (keyed, input file)        201   blake2{b,s}.
[OK]          blake2b (keyed, input file)        202   blake2{b,s}.
[OK]          blake2b (keyed, input file)        203   blake2{b,s}.
[OK]          blake2b (keyed, input file)        204   blake2{b,s}.
[OK]          blake2b (keyed, input file)        205   blake2{b,s}.
[OK]          blake2b (keyed, input file)        206   blake2{b,s}.
[OK]          blake2b (keyed, input file)        207   blake2{b,s}.
[OK]          blake2b (keyed, input file)        208   blake2{b,s}.
[OK]          blake2b (keyed, input file)        209   blake2{b,s}.
[OK]          blake2b (keyed, input file)        210   blake2{b,s}.
[OK]          blake2b (keyed, input file)        211   blake2{b,s}.
[OK]          blake2b (keyed, input file)        212   blake2{b,s}.
[OK]          blake2b (keyed, input file)        213   blake2{b,s}.
[OK]          blake2b (keyed, input file)        214   blake2{b,s}.
[OK]          blake2b (keyed, input file)        215   blake2{b,s}.
[OK]          blake2b (keyed, input file)        216   blake2{b,s}.
[OK]          blake2b (keyed, input file)        217   blake2{b,s}.
[OK]          blake2b (keyed, input file)        218   blake2{b,s}.
[OK]          blake2b (keyed, input file)        219   blake2{b,s}.
[OK]          blake2b (keyed, input file)        220   blake2{b,s}.
[OK]          blake2b (keyed, input file)        221   blake2{b,s}.
[OK]          blake2b (keyed, input file)        222   blake2{b,s}.
[OK]          blake2b (keyed, input file)        223   blake2{b,s}.
[OK]          blake2b (keyed, input file)        224   blake2{b,s}.
[OK]          blake2b (keyed, input file)        225   blake2{b,s}.
[OK]          blake2b (keyed, input file)        226   blake2{b,s}.
[OK]          blake2b (keyed, input file)        227   blake2{b,s}.
[OK]          blake2b (keyed, input file)        228   blake2{b,s}.
[OK]          blake2b (keyed, input file)        229   blake2{b,s}.
[OK]          blake2b (keyed, input file)        230   blake2{b,s}.
[OK]          blake2b (keyed, input file)        231   blake2{b,s}.
[OK]          blake2b (keyed, input file)        232   blake2{b,s}.
[OK]          blake2b (keyed, input file)        233   blake2{b,s}.
[OK]          blake2b (keyed, input file)        234   blake2{b,s}.
[OK]          blake2b (keyed, input file)        235   blake2{b,s}.
[OK]          blake2b (keyed, input file)        236   blake2{b,s}.
[OK]          blake2b (keyed, input file)        237   blake2{b,s}.
[OK]          blake2b (keyed, input file)        238   blake2{b,s}.
[OK]          blake2b (keyed, input file)        239   blake2{b,s}.
[OK]          blake2b (keyed, input file)        240   blake2{b,s}.
[OK]          blake2b (keyed, input file)        241   blake2{b,s}.
[OK]          blake2b (keyed, input file)        242   blake2{b,s}.
[OK]          blake2b (keyed, input file)        243   blake2{b,s}.
[OK]          blake2b (keyed, input file)        244   blake2{b,s}.
[OK]          blake2b (keyed, input file)        245   blake2{b,s}.
[OK]          blake2b (keyed, input file)        246   blake2{b,s}.
[OK]          blake2b (keyed, input file)        247   blake2{b,s}.
[OK]          blake2b (keyed, input file)        248   blake2{b,s}.
[OK]          blake2b (keyed, input file)        249   blake2{b,s}.
[OK]          blake2b (keyed, input file)        250   blake2{b,s}.
[OK]          blake2b (keyed, input file)        251   blake2{b,s}.
[OK]          blake2b (keyed, input file)        252   blake2{b,s}.
[OK]          blake2b (keyed, input file)        253   blake2{b,s}.
[OK]          blake2b (keyed, input file)        254   blake2{b,s}.
[OK]          blake2s (specialization)             0   BLAKE2S (digest-size...
[OK]          blake2s (specialization)             1   BLAKE2S (digest-size...
[OK]          blake2s (specialization)             2   BLAKE2S (digest-size...
[OK]          blake2b (specialization)             0   BLAKE2B (digest-size...
[OK]          blake2b (specialization)             1   BLAKE2B (digest-size...
[OK]          blake2b (specialization)             2   BLAKE2B (digest-size...
[OK]          ripemd160                            0   rmd160.
[OK]          ripemd160                            1   rmd160.
[OK]          ripemd160                            2   rmd160.
[OK]          ripemd160                            3   rmd160.
[OK]          ripemd160                            4   rmd160.
[OK]          ripemd160                            5   rmd160.
[OK]          ripemd160                            6   rmd160.
[OK]          ripemd160                            7   rmd160.
[OK]          ripemd160                            8   give me a million.
[OK]          sha3 (vector tests)                  0   ../sha3_224_fips_202...
[OK]          sha3 (vector tests)                  1   ../sha3_256_fips_202...
[OK]          sha3 (vector tests)                  2   ../sha3_384_fips_202...
[OK]          sha3 (vector tests)                  3   ../sha3_512_fips_202...
[OK]          sha3 (vector tests)                  4   ../keccak_256.txt.


Full test results in `/src/_build/default/test/c/_build/_tests/digestif'.
Test Successful in 0.304s. 685 tests run.
(cd _build/default/test/ocaml && ./test.exe --quick-tests --color=always)
Testing `digestif'.
This run has ID `O79OG7F1'.


[OK]          md5                                  0   md5.
[OK]          md5                                  1   md5.
[OK]          md5                                  2   md5.
[OK]          md5                                  3   md5.
[OK]          md5                                  4   md5.
[OK]          md5 (bigstring)                      0   md5.
[OK]          md5 (bigstring)                      1   md5.
[OK]          md5 (bigstring)                      2   md5.
[OK]          md5 (bigstring)                      3   md5.
[OK]          md5 (bigstring)                      4   md5.
[OK]          sha1                                 0   sha1.
[OK]          sha1                                 1   sha1.
[OK]          sha1                                 2   sha1.
[OK]          sha1                                 3   sha1.
[OK]          sha1                                 4   sha1.
[OK]          sha1 (bigstring)                     0   sha1.
[OK]          sha1 (bigstring)                     1   sha1.
[OK]          sha1 (bigstring)                     2   sha1.
[OK]          sha1 (bigstring)                     3   sha1.
[OK]          sha1 (bigstring)                     4   sha1.
[OK]          sha224                               0   sha224.
[OK]          sha224                               1   sha224.
[OK]          sha224                               2   sha224.
[OK]          sha224                               3   sha224.
[OK]          sha224                               4   sha224.
[OK]          sha224 (bigstring)                   0   sha224.
[OK]          sha224 (bigstring)                   1   sha224.
[OK]          sha224 (bigstring)                   2   sha224.
[OK]          sha224 (bigstring)                   3   sha224.
[OK]          sha224 (bigstring)                   4   sha224.
[OK]          sha256                               0   sha256.
[OK]          sha256                               1   sha256.
[OK]          sha256                               2   sha256.
[OK]          sha256                               3   sha256.
[OK]          sha256                               4   sha256.
[OK]          sha256 (bigstring)                   0   sha256.
[OK]          sha256 (bigstring)                   1   sha256.
[OK]          sha256 (bigstring)                   2   sha256.
[OK]          sha256 (bigstring)                   3   sha256.
[OK]          sha256 (bigstring)                   4   sha256.
[OK]          sha256 (feed bytes)                  0   sha256.
[OK]          sha256 (feed bytes)                  1   sha256.
[OK]          sha256 (feed bytes)                  2   sha256.
[OK]          sha256 (feed bytes)                  3   sha256.
[OK]          sha256 (feed bytes)                  4   sha256.
[OK]          sha384                               0   sha384.
[OK]          sha384                               1   sha384.
[OK]          sha384                               2   sha384.
[OK]          sha384                               3   sha384.
[OK]          sha384                               4   sha384.
[OK]          sha384 (bigstring)                   0   sha384.
[OK]          sha384 (bigstring)                   1   sha384.
[OK]          sha384 (bigstring)                   2   sha384.
[OK]          sha384 (bigstring)                   3   sha384.
[OK]          sha384 (bigstring)                   4   sha384.
[OK]          sha512                               0   sha512.
[OK]          sha512                               1   sha512.
[OK]          sha512                               2   sha512.
[OK]          sha512                               3   sha512.
[OK]          sha512                               4   sha512.
[OK]          sha512 (bigstring)                   0   sha512.
[OK]          sha512 (bigstring)                   1   sha512.
[OK]          sha512 (bigstring)                   2   sha512.
[OK]          sha512 (bigstring)                   3   sha512.
[OK]          sha512 (bigstring)                   4   sha512.
[OK]          sha3_224                             0   sha3_224.
[OK]          sha3_224                             1   sha3_224.
[OK]          sha3_224                             2   sha3_224.
[OK]          sha3_224                             3   sha3_224.
[OK]          sha3_224                             4   sha3_224.
[OK]          sha3_224 (bigstring)                 0   sha3_224.
[OK]          sha3_224 (bigstring)                 1   sha3_224.
[OK]          sha3_224 (bigstring)                 2   sha3_224.
[OK]          sha3_224 (bigstring)                 3   sha3_224.
[OK]          sha3_224 (bigstring)                 4   sha3_224.
[OK]          sha3_256                             0   sha3_256.
[OK]          sha3_256                             1   sha3_256.
[OK]          sha3_256                             2   sha3_256.
[OK]          sha3_256                             3   sha3_256.
[OK]          sha3_256                             4   sha3_256.
[OK]          sha3_256 (bigstring)                 0   sha3_256.
[OK]          sha3_256 (bigstring)                 1   sha3_256.
[OK]          sha3_256 (bigstring)                 2   sha3_256.
[OK]          sha3_256 (bigstring)                 3   sha3_256.
[OK]          sha3_256 (bigstring)                 4   sha3_256.
[OK]          keccak_256                           0   keccak_256.
[OK]          keccak_256                           1   keccak_256.
[OK]          keccak_256                           2   keccak_256.
[OK]          keccak_256                           3   keccak_256.
[OK]          keccak_256                           4   keccak_256.
[OK]          keccak_256 (bigstring)               0   keccak_256.
[OK]          keccak_256 (bigstring)               1   keccak_256.
[OK]          keccak_256 (bigstring)               2   keccak_256.
[OK]          keccak_256 (bigstring)               3   keccak_256.
[OK]          keccak_256 (bigstring)               4   keccak_256.
[OK]          sha3_384                             0   sha3_384.
[OK]          sha3_384                             1   sha3_384.
[OK]          sha3_384                             2   sha3_384.
[OK]          sha3_384                             3   sha3_384.
[OK]          sha3_384                             4   sha3_384.
[OK]          sha3_384 (bigstring)                 0   sha3_384.
[OK]          sha3_384 (bigstring)                 1   sha3_384.
[OK]          sha3_384 (bigstring)                 2   sha3_384.
[OK]          sha3_384 (bigstring)                 3   sha3_384.
[OK]          sha3_384 (bigstring)                 4   sha3_384.
[OK]          sha3_512                             0   sha3_512.
[OK]          sha3_512                             1   sha3_512.
[OK]          sha3_512                             2   sha3_512.
[OK]          sha3_512                             3   sha3_512.
[OK]          sha3_512                             4   sha3_512.
[OK]          sha3_512 (bigstring)                 0   sha3_512.
[OK]          sha3_512 (bigstring)                 1   sha3_512.
[OK]          sha3_512 (bigstring)                 2   sha3_512.
[OK]          sha3_512 (bigstring)                 3   sha3_512.
[OK]          sha3_512 (bigstring)                 4   sha3_512.
[OK]          whirlpool                            0   whirlpool.
[OK]          whirlpool                            1   whirlpool.
[OK]          whirlpool                            2   whirlpool.
[OK]          whirlpool                            3   whirlpool.
[OK]          whirlpool                            4   whirlpool.
[OK]          whirlpool (bigstring)                0   whirlpool.
[OK]          whirlpool (bigstring)                1   whirlpool.
[OK]          whirlpool (bigstring)                2   whirlpool.
[OK]          whirlpool (bigstring)                3   whirlpool.
[OK]          whirlpool (bigstring)                4   whirlpool.
[OK]          blake2b                              0   blake2b.
[OK]          blake2b                              1   blake2b.
[OK]          blake2b                              2   blake2b.
[OK]          blake2b                              3   blake2b.
[OK]          blake2b                              4   blake2b.
[OK]          blake2b (bigstring)                  0   blake2b.
[OK]          blake2b (bigstring)                  1   blake2b.
[OK]          blake2b (bigstring)                  2   blake2b.
[OK]          blake2b (bigstring)                  3   blake2b.
[OK]          blake2b (bigstring)                  4   blake2b.
[OK]          rmd160                               0   rmd160.
[OK]          rmd160                               1   rmd160.
[OK]          rmd160                               2   rmd160.
[OK]          rmd160                               3   rmd160.
[OK]          rmd160                               4   rmd160.
[OK]          rmd160 (bigstring)                   0   rmd160.
[OK]          rmd160 (bigstring)                   1   rmd160.
[OK]          rmd160 (bigstring)                   2   rmd160.
[OK]          rmd160 (bigstring)                   3   rmd160.
[OK]          rmd160 (bigstring)                   4   rmd160.
[OK]          blake2s                              0   blake2s.
[OK]          blake2s                              1   blake2s.
[OK]          blake2s                              2   blake2s.
[OK]          blake2s                              3   blake2s.
[OK]          blake2s                              4   blake2s.
[OK]          blake2s (bigstring)                  0   blake2s.
[OK]          blake2s (bigstring)                  1   blake2s.
[OK]          blake2s (bigstring)                  2   blake2s.
[OK]          blake2s (bigstring)                  3   blake2s.
[OK]          blake2s (bigstring)                  4   blake2s.
[OK]          blake2s (keyed, input file)          0   blake2{b,s}.
[OK]          blake2s (keyed, input file)          1   blake2{b,s}.
[OK]          blake2s (keyed, input file)          2   blake2{b,s}.
[OK]          blake2s (keyed, input file)          3   blake2{b,s}.
[OK]          blake2s (keyed, input file)          4   blake2{b,s}.
[OK]          blake2s (keyed, input file)          5   blake2{b,s}.
[OK]          blake2s (keyed, input file)          6   blake2{b,s}.
[OK]          blake2s (keyed, input file)          7   blake2{b,s}.
[OK]          blake2s (keyed, input file)          8   blake2{b,s}.
[OK]          blake2s (keyed, input file)          9   blake2{b,s}.
[OK]          blake2s (keyed, input file)         10   blake2{b,s}.
[OK]          blake2s (keyed, input file)         11   blake2{b,s}.
[OK]          blake2s (keyed, input file)         12   blake2{b,s}.
[OK]          blake2s (keyed, input file)         13   blake2{b,s}.
[OK]          blake2s (keyed, input file)         14   blake2{b,s}.
[OK]          blake2s (keyed, input file)         15   blake2{b,s}.
[OK]          blake2s (keyed, input file)         16   blake2{b,s}.
[OK]          blake2s (keyed, input file)         17   blake2{b,s}.
[OK]          blake2s (keyed, input file)         18   blake2{b,s}.
[OK]          blake2s (keyed, input file)         19   blake2{b,s}.
[OK]          blake2s (keyed, input file)         20   blake2{b,s}.
[OK]          blake2s (keyed, input file)         21   blake2{b,s}.
[OK]          blake2s (keyed, input file)         22   blake2{b,s}.
[OK]          blake2s (keyed, input file)         23   blake2{b,s}.
[OK]          blake2s (keyed, input file)         24   blake2{b,s}.
[OK]          blake2s (keyed, input file)         25   blake2{b,s}.
[OK]          blake2s (keyed, input file)         26   blake2{b,s}.
[OK]          blake2s (keyed, input file)         27   blake2{b,s}.
[OK]          blake2s (keyed, input file)         28   blake2{b,s}.
[OK]          blake2s (keyed, input file)         29   blake2{b,s}.
[OK]          blake2s (keyed, input file)         30   blake2{b,s}.
[OK]          blake2s (keyed, input file)         31   blake2{b,s}.
[OK]          blake2s (keyed, input file)         32   blake2{b,s}.
[OK]          blake2s (keyed, input file)         33   blake2{b,s}.
[OK]          blake2s (keyed, input file)         34   blake2{b,s}.
[OK]          blake2s (keyed, input file)         35   blake2{b,s}.
[OK]          blake2s (keyed, input file)         36   blake2{b,s}.
[OK]          blake2s (keyed, input file)         37   blake2{b,s}.
[OK]          blake2s (keyed, input file)         38   blake2{b,s}.
[OK]          blake2s (keyed, input file)         39   blake2{b,s}.
[OK]          blake2s (keyed, input file)         40   blake2{b,s}.
[OK]          blake2s (keyed, input file)         41   blake2{b,s}.
[OK]          blake2s (keyed, input file)         42   blake2{b,s}.
[OK]          blake2s (keyed, input file)         43   blake2{b,s}.
[OK]          blake2s (keyed, input file)         44   blake2{b,s}.
[OK]          blake2s (keyed, input file)         45   blake2{b,s}.
[OK]          blake2s (keyed, input file)         46   blake2{b,s}.
[OK]          blake2s (keyed, input file)         47   blake2{b,s}.
[OK]          blake2s (keyed, input file)         48   blake2{b,s}.
[OK]          blake2s (keyed, input file)         49   blake2{b,s}.
[OK]          blake2s (keyed, input file)         50   blake2{b,s}.
[OK]          blake2s (keyed, input file)         51   blake2{b,s}.
[OK]          blake2s (keyed, input file)         52   blake2{b,s}.
[OK]          blake2s (keyed, input file)         53   blake2{b,s}.
[OK]          blake2s (keyed, input file)         54   blake2{b,s}.
[OK]          blake2s (keyed, input file)         55   blake2{b,s}.
[OK]          blake2s (keyed, input file)         56   blake2{b,s}.
[OK]          blake2s (keyed, input file)         57   blake2{b,s}.
[OK]          blake2s (keyed, input file)         58   blake2{b,s}.
[OK]          blake2s (keyed, input file)         59   blake2{b,s}.
[OK]          blake2s (keyed, input file)         60   blake2{b,s}.
[OK]          blake2s (keyed, input file)         61   blake2{b,s}.
[OK]          blake2s (keyed, input file)         62   blake2{b,s}.
[OK]          blake2s (keyed, input file)         63   blake2{b,s}.
[OK]          blake2s (keyed, input file)         64   blake2{b,s}.
[OK]          blake2s (keyed, input file)         65   blake2{b,s}.
[OK]          blake2s (keyed, input file)         66   blake2{b,s}.
[OK]          blake2s (keyed, input file)         67   blake2{b,s}.
[OK]          lake2s (keyed, input file)         68   blake2{b,s}.
[OK]          blake2s (keyed, input file)         69   blake2{b,s}.
[OK]          blake2s (keyed, input file)         70   blake2{b,s}.
[OK]          blake2s (keyed, input file)         71   blake2{b,s}.
[OK]          blake2s (keyed, input file)         72   blake2{b,s}.
[OK]          blake2s (keyed, input file)         73   blake2{b,s}.
[OK]          blake2s (keyed, input file)         74   blake2{b,s}.
[OK]          blake2s (keyed, input file)         75   blake2{b,s}.
[OK]          blake2s (keyed, input file)         76   blake2{b,s}.
[OK]          blake2s (keyed, input file)         77   blake2{b,s}.
[OK]          blake2s (keyed, input file)         78   blake2{b,s}.
[OK]          blake2s (keyed, input file)         79   blake2{b,s}.
[OK]          blake2s (keyed, input file)         80   blake2{b,s}.
[OK]          blake2s (keyed, input file)         81   blake2{b,s}.
[OK]          blake2s (keyed, input file)         82   blake2{b,s}.
[OK]          blake2s (keyed, input file)         83   blake2{b,s}.
[OK]          blake2s (keyed, input file)         84   blake2{b,s}.
[OK]          blake2s (keyed, input file)         85   blake2{b,s}.
[OK]          blake2s (keyed, input file)         86   blake2{b,s}.
[OK]          blake2s (keyed, input file)         87   blake2{b,s}.
[OK]          blake2s (keyed, input file)         88   blake2{b,s}.
[OK]          blake2s (keyed, input file)         89   blake2{b,s}.
[OK]          blake2s (keyed, input file)         90   blake2{b,s}.
[OK]          blake2s (keyed, input file)         91   blake2{b,s}.
[OK]          blake2s (keyed, input file)         92   blake2{b,s}.
[OK]          blake2s (keyed, input file)         93   blake2{b,s}.
[OK]          blake2s (keyed, input file)         94   blake2{b,s}.
[OK]          blake2s (keyed, input file)         95   blake2{b,s}.
[OK]          blake2s (keyed, input file)         96   blake2{b,s}.
[OK]          blake2s (keyed, input file)         97   blake2{b,s}.
[OK]          blake2s (keyed, input file)         98   blake2{b,s}.
[OK]          blake2s (keyed, input file)         99   blake2{b,s}.
[OK]          blake2s (keyed, input file)        100   blake2{b,s}.
[OK]          blake2s (keyed, input file)        101   blake2{b,s}.
[OK]          blake2s (keyed, input file)        102   blake2{b,s}.
[OK]          blake2s (keyed, input file)        103   blake2{b,s}.
[OK]          blake2s (keyed, input file)        104   blake2{b,s}.
[OK]          blake2s (keyed, input file)        105   blake2{b,s}.
[OK]          blake2s (keyed, input file)        106   blake2{b,s}.
[OK]          blake2s (keyed, input file)        107   blake2{b,s}.
[OK]          blake2s (keyed, input file)        108   blake2{b,s}.
[OK]          blake2s (keyed, input file)        109   blake2{b,s}.
[OK]          blake2s (keyed, input file)        110   blake2{b,s}.
[OK]          blake2s (keyed, input file)        111   blake2{b,s}.
[OK]          blake2s (keyed, input file)        112   blake2{b,s}.
[OK]          blake2s (keyed, input file)        113   blake2{b,s}.
[OK]          blake2s (keyed, input file)        114   blake2{b,s}.
[OK]          blake2s (keyed, input file)        115   blake2{b,s}.
[OK]          blake2s (keyed, input file)        116   blake2{b,s}.
[OK]          blake2s (keyed, input file)        117   blake2{b,s}.
[OK]          blake2s (keyed, input file)        118   blake2{b,s}.
[OK]          blake2s (keyed, input file)        119   blake2{b,s}.
[OK]          blake2s (keyed, input file)        120   blake2{b,s}.
[OK]          blake2s (keyed, input file)        121   blake2{b,s}.
[OK]          blake2s (keyed, input file)        122   blake2{b,s}.
[OK]          blake2s (keyed, input file)        123   blake2{b,s}.
[OK]          blake2s (keyed, input file)        124   blake2{b,s}.
[OK]          blake2s (keyed, input file)        125   blake2{b,s}.
[OK]          blake2s (keyed, input file)        126   blake2{b,s}.
[OK]          blake2s (keyed, input file)        127   blake2{b,s}.
[OK]          blake2s (keyed, input file)        128   blake2{b,s}.
[OK]          blake2s (keyed, input file)        129   blake2{b,s}.
[OK]          blake2s (keyed, input file)        130   blake2{b,s}.
[OK]          blake2s (keyed, input file)        131   blake2{b,s}.
[OK]          blake2s (keyed, input file)        132   blake2{b,s}.
[OK]          blake2s (keyed, input file)        133   blake2{b,s}.
[OK]          blake2s (keyed, input file)        134   blake2{b,s}.
[OK]          blake2s (keyed, input file)        135   blake2{b,s}.
[OK]          blake2s (keyed, input file)        136   blake2{b,s}.
[OK]          blake2s (keyed, input file)        137   blake2{b,s}.
[OK]          blake2s (keyed, input file)        138   blake2{b,s}.
[OK]          blake2s (keyed, input file)        139   blake2{b,s}.
[OK]          blake2s (keyed, input file)        140   blake2{b,s}.
[OK]          blake2s (keyed, input file)        141   blake2{b,s}.
[OK]          blake2s (keyed, input file)        142   blake2{b,s}.
[OK]          blake2s (keyed, input file)        143   blake2{b,s}.
[OK]          blake2s (keyed, input file)        144   blake2{b,s}.
[OK]          blake2s (keyed, input file)        145   blake2{b,s}.
[OK]          blake2s (keyed, input file)        146   blake2{b,s}.
[OK]          blake2s (keyed, input file)        147   blake2{b,s}.
[OK]          blake2s (keyed, input file)        148   blake2{b,s}.
[OK]          blake2s (keyed, input file)        149   blake2{b,s}.
[OK]          blake2s (keyed, input file)        150   blake2{b,s}.
[OK]          blake2s (keyed, input file)        151   blake2{b,s}.
[OK]          blake2s (keyed, input file)        152   blake2{b,s}.
[OK]          blake2s (keyed, input file)        153   blake2{b,s}.
[OK]          blake2s (keyed, input file)        154   blake2{b,s}.
[OK]          blake2s (keyed, input file)        155   blake2{b,s}.
[OK]          blake2s (keyed, input file)        156   blake2{b,s}.
[OK]          blake2s (keyed, input file)        157   blake2{b,s}.
[OK]          blake2s (keyed, input file)        158   blake2{b,s}.
[OK]          blake2s (keyed, input file)        159   blake2{b,s}.
[OK]          blake2s (keyed, input file)        160   blake2{b,s}.
[OK]          blake2s (keyed, input file)        161   blake2{b,s}.
[OK]          blake2s (keyed, input file)        162   blake2{b,s}.
[OK]          blake2s (keyed, input file)        163   blake2{b,s}.
[OK]          blake2s (keyed, input file)        164   blake2{b,s}.
[OK]          blake2s (keyed, input file)        165   blake2{b,s}.
[OK]          blake2s (keyed, input file)        166   blake2{b,s}.
[OK]          blake2s (keyed, input file)        167   blake2{b,s}.
[OK]          blake2s (keyed, input file)        168   blake2{b,s}.
[OK]          blake2s (keyed, input file)        169   blake2{b,s}.
[OK]          blake2s (keyed, input file)        170   blake2{b,s}.
[OK]          blake2s (keyed, input file)        171   blake2{b,s}.
[OK]          blake2s (keyed, input file)        172   blake2{b,s}.
[OK]          blake2s (keyed, input file)        173   blake2{b,s}.
[OK]          blake2s (keyed, input file)        174   blake2{b,s}.
[OK]          blake2s (keyed, input file)        175   blake2{b,s}.
[OK]          blake2s (keyed, input file)        176   blake2{b,s}.
[OK]          blake2s (keyed, input file)        177   blake2{b,s}.
[OK]          blake2s (keyed, input file)        178   blake2{b,s}.
[OK]          blake2s (keyed, input file)        179   blake2{b,s}.
[OK]          blake2s (keyed, input file)        180   blake2{b,s}.
[OK]          blake2s (keyed, input file)        181   blake2{b,s}.
[OK]          blake2s (keyed, input file)        182   blake2{b,s}.
[OK]          blake2s (keyed, input file)        183   blake2{b,s}.
[OK]          blake2s (keyed, input file)        184   blake2{b,s}.
[OK]          blake2s (keyed, input file)        185   blake2{b,s}.
[OK]          blake2s (keyed, input file)        186   blake2{b,s}.
[OK]          blake2s (keyed, input file)        187   blake2{b,s}.
[OK]          blake2s (keyed, input file)        188   blake2{b,s}.
[OK]          blake2s (keyed, input file)        189   blake2{b,s}.
[OK]          blake2s (keyed, input file)        190   blake2{b,s}.
[OK]          blake2s (keyed, input file)        191   blake2{b,s}.
[OK]          blake2s (keyed, input file)        192   blake2{b,s}.
[OK]          blake2s (keyed, input file)        193   blake2{b,s}.
[OK]          blake2s (keyed, input file)        194   blake2{b,s}.
[OK]          blake2s (keyed, input file)        195   blake2{b,s}.
[OK]          blake2s (keyed, input file)        196   blake2{b,s}.
[OK]          blake2s (keyed, input file)        197   blake2{b,s}.
[OK]          blake2s (keyed, input file)        198   blake2{b,s}.
[OK]          blake2s (keyed, input file)        199   blake2{b,s}.
[OK]          blake2s (keyed, input file)        200   blake2{b,s}.
[OK]          blake2s (keyed, input file)        201   blake2{b,s}.
[OK]          blake2s (keyed, input file)        202   blake2{b,s}.
[OK]          blake2s (keyed, input file)        203   blake2{b,s}.
[OK]          blake2s (keyed, input file)        204   blake2{b,s}.
[OK]          blake2s (keyed, input file)        205   blake2{b,s}.
[OK]          blake2s (keyed, input file)        206   blake2{b,s}.
[OK]          blake2s (keyed, input file)        207   blake2{b,s}.
[OK]          blake2s (keyed, input file)        208   blake2{b,s}.
[OK]          blake2s (keyed, input file)        209   blake2{b,s}.
[OK]          blake2s (keyed, input file)        210   blake2{b,s}.
[OK]          blake2s (keyed, input file)        211   blake2{b,s}.
[OK]          blake2s (keyed, input file)        212   blake2{b,s}.
[OK]          blake2s (keyed, input file)        213   blake2{b,s}.
[OK]          blake2s (keyed, input file)        214   blake2{b,s}.
[OK]          blake2s (keyed, input file)        215   blake2{b,s}.
[OK]          blake2s (keyed, input file)        216   blake2{b,s}.
[OK]          blake2s (keyed, input file)        217   blake2{b,s}.
[OK]          blake2s (keyed, input file)        218   blake2{b,s}.
[OK]          blake2s (keyed, input file)        219   blake2{b,s}.
[OK]          blake2s (keyed, input file)        220   blake2{b,s}.
[OK]          blake2s (keyed, input file)        221   blake2{b,s}.
[OK]          blake2s (keyed, input file)        222   blake2{b,s}.
[OK]          blake2s (keyed, input file)        223   blake2{b,s}.
[OK]          blake2s (keyed, input file)        224   blake2{b,s}.
[OK]          blake2s (keyed, input file)        225   blake2{b,s}.
[OK]          blake2s (keyed, input file)        226   blake2{b,s}.
[OK]          blake2s (keyed, input file)        227   blake2{b,s}.
[OK]          blake2s (keyed, input file)        228   blake2{b,s}.
[OK]          blake2s (keyed, input file)        229   blake2{b,s}.
[OK]          blake2s (keyed, input file)        230   blake2{b,s}.
[OK]          blake2s (keyed, input file)        231   blake2{b,s}.
[OK]          blake2s (keyed, input file)        232   blake2{b,s}.
[OK]          blake2s (keyed, input file)        233   blake2{b,s}.
[OK]          blake2s (keyed, input file)        234   blake2{b,s}.
[OK]          blake2s (keyed, input file)        235   blake2{b,s}.
[OK]          blake2s (keyed, input file)        236   blake2{b,s}.
[OK]          blake2s (keyed, input file)        237   blake2{b,s}.
[OK]          blake2s (keyed, input file)        238   blake2{b,s}.
[OK]          blake2s (keyed, input file)        239   blake2{b,s}.
[OK]          blake2s (keyed, input file)        240   blake2{b,s}.
[OK]          blake2s (keyed, input file)        241   blake2{b,s}.
[OK]          blake2s (keyed, input file)        242   blake2{b,s}.
[OK]          blake2s (keyed, input file)        243   blake2{b,s}.
[OK]          blake2s (keyed, input file)        244   blake2{b,s}.
[OK]          blake2s (keyed, input file)        245   blake2{b,s}.
[OK]          blake2s (keyed, input file)        246   blake2{b,s}.
[OK]          blake2s (keyed, input file)        247   blake2{b,s}.
[OK]          blake2s (keyed, input file)        248   blake2{b,s}.
[OK]          blake2s (keyed, input file)        249   blake2{b,s}.
[OK]          blake2s (keyed, input file)        250   blake2{b,s}.
[OK]          blake2s (keyed, input file)        251   blake2{b,s}.
[OK]          blake2s (keyed, input file)        252   blake2{b,s}.
[OK]          blake2s (keyed, input file)        253   blake2{b,s}.
[OK]          blake2s (keyed, input file)        254   blake2{b,s}.
[OK]          blake2b (keyed, input file)          0   blake2{b,s}.
[OK]          blake2b (keyed, input file)          1   blake2{b,s}.
[OK]          blake2b (keyed, input file)          2   blake2{b,s}.
[OK]          blake2b (keyed, input file)          3   blake2{b,s}.
[OK]          blake2b (keyed, input file)          4   blake2{b,s}.
[OK]          blake2b (keyed, input file)          5   blake2{b,s}.
[OK]          blake2b (keyed, input file)          6   blake2{b,s}.
[OK]          blake2b (keyed, input file)          7   blake2{b,s}.
[OK]          blake2b (keyed, input file)          8   blake2{b,s}.
[OK]          blake2b (keyed, input file)          9   blake2{b,s}.
[OK]          blake2b (keyed, input file)         10   blake2{b,s}.
[OK]          blake2b (keyed, input file)         11   blake2{b,s}.
[OK]          blake2b (keyed, input file)         12   blake2{b,s}.
[OK]          blake2b (keyed, input file)         13   blake2{b,s}.
[OK]          blake2b (keyed, input file)         14   blake2{b,s}.
[OK]          blake2b (keyed, input file)         15   blake2{b,s}.
[OK]          blake2b (keyed, input file)         16   blake2{b,s}.
[OK]          blake2b (keyed, input file)         17   blake2{b,s}.
[OK]          blake2b (keyed, input file)         18   blake2{b,s}.
[OK]          blake2b (keyed, input file)         19   blake2{b,s}.
[OK]          blake2b (keyed, input file)         20   blake2{b,s}.
[OK]          blake2b (keyed, input file)         21   blake2{b,s}.
[OK]          blake2b (keyed, input file)         22   blake2{b,s}.
[OK]          blake2b (keyed, input file)         23   blake2{b,s}.
[OK]          blake2b (keyed, input file)         24   blake2{b,s}.
[OK]          blake2b (keyed, input file)         25   blake2{b,s}.
[OK]          blake2b (keyed, input file)         26   blake2{b,s}.
[OK]          blake2b (keyed, input file)         27   blake2{b,s}.
[OK]          blake2b (keyed, input file)         28   blake2{b,s}.
[OK]          blake2b (keyed, input file)         29   blake2{b,s}.
[OK]          blake2b (keyed, input file)         30   blake2{b,s}.
[OK]          blake2b (keyed, input file)         31   blake2{b,s}.
[OK]          blake2b (keyed, input file)         32   blake2{b,s}.
[OK]          blake2b (keyed, input file)         33   blake2{b,s}.
[OK]          blake2b (keyed, input file)         34   blake2{b,s}.
[OK]          blake2b (keyed, input file)         35   blake2{b,s}.
[OK]          blake2b (keyed, input file)         36   blake2{b,s}.
[OK]          blake2b (keyed, input file)         37   blake2{b,s}.
[OK]          blake2b (keyed, input file)         38   blake2{b,s}.
[OK]          blake2b (keyed, input file)         39   blake2{b,s}.
[OK]          blake2b (keyed, input file)         40   blake2{b,s}.
[OK]          blake2b (keyed, input file)         41   blake2{b,s}.
[OK]          blake2b (keyed, input file)         42   blake2{b,s}.
[OK]          blake2b (keyed, input file)         43   blake2{b,s}.
[OK]          blake2b (keyed, input file)         44   blake2{b,s}.
[OK]          blake2b (keyed, input file)         45   blake2{b,s}.
[OK]          blake2b (keyed, input file)         46   blake2{b,s}.
[OK]          blake2b (keyed, input file)         47   blake2{b,s}.
[OK]          blake2b (keyed, input file)         48   blake2{b,s}.
[OK]          blake2b (keyed, input file)         49   blake2{b,s}.
[OK]          blake2b (keyed, input file)         50   blake2{b,s}.
[OK]          blake2b (keyed, input file)         51   blake2{b,s}.
[OK]          blake2b (keyed, input file)         52   blake2{b,s}.
[OK]          blake2b (keyed, input file)         53   blake2{b,s}.
[OK]          blake2b (keyed, input file)         54   blake2{b,s}.
[OK]          blake2b (keyed, input file)         55   blake2{b,s}.
[OK]          blake2b (keyed, input file)         56   blake2{b,s}.
[OK]          blake2b (keyed, input file)         57   blake2{b,s}.
[OK]          blake2b (keyed, input file)         58   blake2{b,s}.
[OK]          blake2b (keyed, input file)         59   blake2{b,s}.
[OK]          blake2b (keyed, input file)         60   blake2{b,s}.
[OK]          blake2b (keyed, input file)         61   blake2{b,s}.
[OK]          blake2b (keyed, input file)         62   blake2{b,s}.
[OK]          blake2b (keyed, input file)         63   blake2{b,s}.
[OK]          blake2b (keyed, input file)         64   blake2{b,s}.
[OK]          blake2b (keyed, input file)         65   blake2{b,s}.
[OK]          blake2b (keyed, input file)         66   blake2{b,s}.
[OK]          blake2b (keyed, input file)         67   blake2{b,s}.
[OK]          blake2b (keyed, input file)         68   blake2{b,s}.
[OK]          blake2b (keyed, input file)         69   blake2{b,s}.
[OK]          blake2b (keyed, input file)         70   blake2{b,s}.
[OK]          blake2b (keyed, input file)         71   blake2{b,s}.
[OK]          blake2b (keyed, input file)         72   blake2{b,s}.
[OK]          blake2b (keyed, input file)         73   blake2{b,s}.
[OK]          blake2b (keyed, input file)         74   blake2{b,s}.
[OK]          blake2b (keyed, input file)         75   blake2{b,s}.
[OK]          blake2b (keyed, input file)         76   blake2{b,s}.
[OK]          blake2b (keyed, input file)         77   blake2{b,s}.
[OK]          blake2b (keyed, input file)         78   blake2{b,s}.
[OK]          blake2b (keyed, input file)         79   blake2{b,s}.
[OK]          blake2b (keyed, input file)         80   blake2{b,s}.
[OK]          blake2b (keyed, input file)         81   blake2{b,s}.
[OK]          blake2b (keyed, input file)         82   blake2{b,s}.
[OK]          blake2b (keyed, input file)         83   blake2{b,s}.
[OK]          blake2b (keyed, input file)         84   blake2{b,s}.
[OK]          blake2b (keyed, input file)         85   blake2{b,s}.
[OK]          blake2b (keyed, input file)         86   blake2{b,s}.
[OK]          blake2b (keyed, input file)         87   blake2{b,s}.
[OK]          blake2b (keyed, input file)         88   blake2{b,s}.
[OK]          blake2b (keyed, input file)         89   blake2{b,s}.
[OK]          blake2b (keyed, input file)         90   blake2{b,s}.
[OK]          blake2b (keyed, input file)         91   blake2{b,s}.
[OK]          blake2b (keyed, input file)         92   blake2{b,s}.
[OK]          blake2b (keyed, input file)         93   blake2{b,s}.
[OK]          blake2b (keyed, input file)         94   blake2{b,s}.
[OK]          blake2b (keyed, input file)         95   blake2{b,s}.
[OK]          blake2b (keyed, input file)         96   blake2{b,s}.
[OK]          blake2b (keyed, input file)         97   blake2{b,s}.
[OK]          blake2b (keyed, input file)         98   blake2{b,s}.
[OK]          blake2b (keyed, input file)         99   blake2{b,s}.
[OK]          blake2b (keyed, input file)        100   blake2{b,s}.
[OK]          blake2b (keyed, input file)        101   blake2{b,s}.
[OK]          blake2b (keyed, input file)        102   blake2{b,s}.
[OK]          blake2b (keyed, input file)        103   blake2{b,s}.
[OK]          blake2b (keyed, input file)        104   blake2{b,s}.
[OK]          blake2b (keyed, input file)        105   blake2{b,s}.
[OK]          blake2b (keyed, input file)        106   blake2{b,s}.
[OK]          blake2b (keyed, input file)        107   blake2{b,s}.
[OK]          blake2b (keyed, input file)        108   blake2{b,s}.
[OK]          blake2b (keyed, input file)        109   blake2{b,s}.
[OK]          blake2b (keyed, input file)        110   blake2{b,s}.
[OK]          blake2b (keyed, input file)        111   blake2{b,s}.
[OK]          blake2b (keyed, input file)        112   blake2{b,s}.
[OK]          blake2b (keyed, input file)        113   blake2{b,s}.
[OK]          blake2b (keyed, input file)        114   blake2{b,s}.
[OK]          blake2b (keyed, input file)        115   blake2{b,s}.
[OK]          blake2b (keyed, input file)        116   blake2{b,s}.
[OK]          blake2b (keyed, input file)        117   blake2{b,s}.
[OK]          blake2b (keyed, input file)        118   blake2{b,s}.
[OK]          blake2b (keyed, input file)        119   blake2{b,s}.
[OK]          blake2b (keyed, input file)        120   blake2{b,s}.
[OK]          blake2b (keyed, input file)        121   blake2{b,s}.
[OK]          blake2b (keyed, input file)        122   blake2{b,s}.
[OK]          blake2b (keyed, input file)        123   blake2{b,s}.
[OK]          blake2b (keyed, input file)        124   blake2{b,s}.
[OK]          blake2b (keyed, input file)        125   blake2{b,s}.
[OK]          blake2b (keyed, input file)        126   blake2{b,s}.
[OK]          blake2b (keyed, input file)        127   blake2{b,s}.
[OK]          blake2b (keyed, input file)        128   blake2{b,s}.
[OK]          blake2b (keyed, input file)        129   blake2{b,s}.
[OK]          blake2b (keyed, input file)        130   blake2{b,s}.
[OK]          blake2b (keyed, input file)        131   blake2{b,s}.
[OK]          blake2b (keyed, input file)        132   blake2{b,s}.
[OK]          blake2b (keyed, input file)        133   blake2{b,s}.
[OK]          blake2b (keyed, input file)        134   blake2{b,s}.
[OK]          blake2b (keyed, input file)        135   blake2{b,s}.
[OK]          blake2b (keyed, input file)        136   blake2{b,s}.
[OK]          blake2b (keyed, input file)        137   blake2{b,s}.
[OK]          blake2b (keyed, input file)        138   blake2{b,s}.
[OK]          blake2b (keyed, input file)        139   blake2{b,s}.
[OK]          blake2b (keyed, input file)        140   blake2{b,s}.
[OK]          blake2b (keyed, input file)        141   blake2{b,s}.
[OK]          blake2b (keyed, input file)        142   blake2{b,s}.
[OK]          blake2b (keyed, input file)        143   blake2{b,s}.
[OK]          blake2b (keyed, input file)        144   blake2{b,s}.
[OK]          blake2b (keyed, input file)        145   blake2{b,s}.
[OK]          blake2b (keyed, input file)        146   blake2{b,s}.
[OK]          blake2b (keyed, input file)        147   blake2{b,s}.
[OK]          blake2b (keyed, input file)        148   blake2{b,s}.
[OK]          blake2b (keyed, input file)        149   blake2{b,s}.
[OK]          blake2b (keyed, input file)        150   blake2{b,s}.
[OK]          blake2b (keyed, input file)        151   blake2{b,s}.
[OK]          blake2b (keyed, input file)        152   blake2{b,s}.
[OK]          blake2b (keyed, input file)        153   blake2{b,s}.
[OK]          blake2b (keyed, input file)        154   blake2{b,s}.
[OK]          blake2b (keyed, input file)        155   blake2{b,s}.
[OK]          blake2b (keyed, input file)        156   blake2{b,s}.
[OK]          blake2b (keyed, input file)        157   blake2{b,s}.
[OK]          blake2b (keyed, input file)        158   blake2{b,s}.
[OK]          blake2b (keyed, input file)        159   blake2{b,s}.
[OK]          blake2b (keyed, input file)        160   blake2{b,s}.
[OK]          blake2b (keyed, input file)        161   blake2{b,s}.
[OK]          blake2b (keyed, input file)        162   blake2{b,s}.
[OK]          blake2b (keyed, input file)        163   blake2{b,s}.
[OK]          blake2b (keyed, input file)        164   blake2{b,s}.
[OK]          blake2b (keyed, input file)        165   blake2{b,s}.
[OK]          blake2b (keyed, input file)        166   blake2{b,s}.
[OK]          blake2b (keyed, input file)        167   blake2{b,s}.
[OK]          blake2b (keyed, input file)        168   blake2{b,s}.
[OK]          blake2b (keyed, input file)        169   blake2{b,s}.
[OK]          blake2b (keyed, input file)        170   blake2{b,s}.
[OK]          blake2b (keyed, input file)        171   blake2{b,s}.
[OK]          blake2b (keyed, input file)        172   blake2{b,s}.
[OK]          blake2b (keyed, input file)        173   blake2{b,s}.
[OK]          blake2b (keyed, input file)        174   blake2{b,s}.
[OK]          blake2b (keyed, input file)        175   blake2{b,s}.
[OK]          blake2b (keyed, input file)        176   blake2{b,s}.
[OK]          blake2b (keyed, input file)        177   blake2{b,s}.
[OK]          blake2b (keyed, input file)        178   blake2{b,s}.
[OK]          blake2b (keyed, input file)        179   blake2{b,s}.
[OK]          blake2b (keyed, input file)        180   blake2{b,s}.
[OK]          blake2b (keyed, input file)        181   blake2{b,s}.
[OK]          blake2b (keyed, input file)        182   blake2{b,s}.
[OK]          blake2b (keyed, input file)        183   blake2{b,s}.
[OK]          blake2b (keyed, input file)        184   blake2{b,s}.
[OK]          blake2b (keyed, input file)        185   blake2{b,s}.
[OK]          blake2b (keyed, input file)        186   blake2{b,s}.
[OK]          blake2b (keyed, input file)        187   blake2{b,s}.
[OK]          blake2b (keyed, input file)        188   blake2{b,s}.
[OK]          blake2b (keyed, input file)        189   blake2{b,s}.
[OK]          blake2b (keyed, input file)        190   blake2{b,s}.
[OK]          blake2b (keyed, input file)        191   blake2{b,s}.
[OK]          blake2b (keyed, input file)        192   blake2{b,s}.
[OK]          blake2b (keyed, input file)        193   blake2{b,s}.
[OK]          blake2b (keyed, input file)        194   blake2{b,s}.
[OK]          blake2b (keyed, input file)        195   blake2{b,s}.
[OK]          blake2b (keyed, input file)        196   blake2{b,s}.
[OK]          blake2b (keyed, input file)        197   blake2{b,s}.
[OK]          blake2b (keyed, input file)        198   blake2{b,s}.
[OK]          blake2b (keyed, input file)        199   blake2{b,s}.
[OK]          blake2b (keyed, input file)        200   blake2{b,s}.
[OK]          blake2b (keyed, input file)        201   blake2{b,s}.
[OK]          blake2b (keyed, input file)        202   blake2{b,s}.
[OK]          blake2b (keyed, input file)        203   blake2{b,s}.
[OK]          blake2b (keyed, input file)        204   blake2{b,s}.
[OK]          blake2b (keyed, input file)        205   blake2{b,s}.
[OK]          blake2b (keyed, input file)        206   blake2{b,s}.
[OK]          blake2b (keyed, input file)        207   blake2{b,s}.
[OK]          blake2b (keyed, input file)        208   blake2{b,s}.
[OK]          blake2b (keyed, input file)        209   blake2{b,s}.
[OK]          blake2b (keyed, input file)        210   blake2{b,s}.
[OK]          blake2b (keyed, input file)        211   blake2{b,s}.
[OK]          blake2b (keyed, input file)        212   blake2{b,s}.
[OK]          blake2b (keyed, input file)        213   blake2{b,s}.
[OK]          blake2b (keyed, input file)        214   blake2{b,s}.
[OK]          blake2b (keyed, input file)        215   blake2{b,s}.
[OK]          blake2b (keyed, input file)        216   blake2{b,s}.
[OK]          blake2b (keyed, input file)        217   blake2{b,s}.
[OK]          blake2b (keyed, input file)        218   blake2{b,s}.
[OK]          blake2b (keyed, input file)        219   blake2{b,s}.
[OK]          blake2b (keyed, input file)        220   blake2{b,s}.
[OK]          blake2b (keyed, input file)        221   blake2{b,s}.
[OK]          blake2b (keyed, input file)        222   blake2{b,s}.
[OK]          blake2b (keyed, input file)        223   blake2{b,s}.
[OK]          blake2b (keyed, input file)        224   blake2{b,s}.
[OK]          blake2b (keyed, input file)        225   blake2{b,s}.
[OK]          blake2b (keyed, input file)        226   blake2{b,s}.
[OK]          blake2b (keyed, input file)        227   blake2{b,s}.
[OK]          blake2b (keyed, input file)        228   blake2{b,s}.
[OK]          blake2b (keyed, input file)        229   blake2{b,s}.
[OK]          blake2b (keyed, input file)        230   blake2{b,s}.
[OK]          blake2b (keyed, input file)        231   blake2{b,s}.
[OK]          blake2b (keyed, input file)        232   blake2{b,s}.
[OK]          blake2b (keyed, input file)        233   blake2{b,s}.
[OK]          blake2b (keyed, input file)        234   blake2{b,s}.
[OK]          blake2b (keyed, input file)        235   blake2{b,s}.
[OK]          blake2b (keyed, input file)        236   blake2{b,s}.
[OK]          blake2b (keyed, input file)        237   blake2{b,s}.
[OK]          blake2b (keyed, input file)        238   blake2{b,s}.
[OK]          blake2b (keyed, input file)        239   blake2{b,s}.
[OK]          blake2b (keyed, input file)        240   blake2{b,s}.
[OK]          blake2b (keyed, input file)        241   blake2{b,s}.
[OK]          blake2b (keyed, input file)        242   blake2{b,s}.
[OK]          blake2b (keyed, input file)        243   blake2{b,s}.
[OK]          blake2b (keyed, input file)        244   blake2{b,s}.
[OK]          blake2b (keyed, input file)        245   blake2{b,s}.
[OK]          blake2b (keyed, input file)        246   blake2{b,s}.
[OK]          blake2b (keyed, input file)        247   blake2{b,s}.
[OK]          blake2b (keyed, input file)        248   blake2{b,s}.
[OK]          blake2b (keyed, input file)        249   blake2{b,s}.
[OK]          blake2b (keyed, input file)        250   blake2{b,s}.
[OK]          blake2b (keyed, input file)        251   blake2{b,s}.
[OK]          blake2b (keyed, input file)        252   blake2{b,s}.
[OK]          blake2b (keyed, input file)        253   blake2{b,s}.
[OK]          blake2b (keyed, input file)        254   blake2{b,s}.
[OK]          blake2s (specialization)             0   BLAKE2S (digest-size...
[OK]          blake2s (specialization)             1   BLAKE2S (digest-size...
[OK]          blake2s (specialization)             2   BLAKE2S (digest-size...
[OK]          blake2b (specialization)             0   BLAKE2B (digest-size...
[OK]          blake2b (specialization)             1   BLAKE2B (digest-size...
[OK]          blake2b (specialization)             2   BLAKE2B (digest-size...
[OK]          ripemd160                            0   rmd160.
[OK]          ripemd160                            1   rmd160.
[OK]          ripemd160                            2   rmd160.
[OK]          ripemd160                            3   rmd160.
[OK]          ripemd160                            4   rmd160.
[OK]          ripemd160                            5   rmd160.
[OK]          ripemd160                            6   rmd160.
[OK]          ripemd160                            7   rmd160.
[SKIP]        ripemd160                            8   give me a million.
[OK]          sha3 (vector tests)                  0   ../sha3_224_fips_202...
[OK]          sha3 (vector tests)                  1   ../sha3_256_fips_202...
[OK]          sha3 (vector tests)                  2   ../sha3_384_fips_202...
[OK]          sha3 (vector tests)                  3   ../sha3_512_fips_202...
[OK]          sha3 (vector tests)                  4   ../keccak_256.txt.


Full test results in `/src/_build/default/test/ocaml/_build/_tests/digestif'.
Test Successful in 0.810s. 684 tests run.
2025-11-05 22:43.03 ---> saved as "2e2d6548511df0fe777a87027ad0165a5154fa92c0e123171c5d752eb0fca28d"
Job succeeded
2025-11-05 22:43.03: Job succeeded