2025-04-17 09:47.44: New job: test mirage/digestif https://github.com/mirage/digestif.git#refs/heads/main (7884f239d843bfd79fc871c109ed00bdc5248dfb) (macos-arm64:macos-homebrew-4.14_arm64_opam-2.3) Base: macos-homebrew-ocaml-4.14 Opam project build To reproduce locally: git clone --recursive "https://github.com/mirage/digestif.git" -b "main" && cd "digestif" && git reset --hard 7884f239 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM macos-homebrew-ocaml-4.14 # macos-homebrew-4.14_arm64_opam-2.3 USER 1000:1000 ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" RUN ln -f ~/local/bin/opam-2.3 ~/local/bin/opam RUN opam init --reinit -ni RUN uname -rs && opam exec -- ocaml -version && opam --version RUN cd ~/opam-repository && (git cat-file -e 1b767795a4e028a4d45f916f1598c24ee7a7b6cb || git fetch origin master) && git reset -q --hard 1b767795a4e028a4d45f916f1598c24ee7a7b6cb && git log --no-decorate -n1 --oneline && opam update -u COPY --chown=1000:1000 digestif.opam ./src/./ RUN opam pin add -yn digestif.dev './src/./' RUN echo '(lang dune 3.0)' > './src/./dune-project' ENV DEPS="afl-persistent.1.4 alcotest.1.9.0 astring.0.8.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base bos.0.2.1 cmdliner.1.3.0 cppo.1.8.0 crowbar.0.2.1 dune.3.18.0 eqaf.0.10 fmt.0.10.0 fpath.0.7.3 logs.0.8.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 re.1.12.0 rresult.0.7.0 seq.base stdlib-shims.0.3.0 topkg.1.0.8 uutf.1.0.4" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.3 --depext-only -y digestif.dev $DEPS RUN opam install $DEPS COPY --chown=1000:1000 . ./src RUN cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2025-04-17 09:47.44: Using cache hint "mirage/digestif-macos-homebrew-ocaml-4.14-macos-homebrew-4.14_arm64_opam-2.3-b422092a1e6fab0fb5029506d4204880" 2025-04-17 09:47.44: Using OBuilder spec: ((from macos-homebrew-ocaml-4.14) (comment macos-homebrew-4.14_arm64_opam-2.3) (user (uid 1000) (gid 1000)) (env CLICOLOR_FORCE 1) (env OPAMCOLOR always) (run (shell "ln -f ~/local/bin/opam-2.3 ~/local/bin/opam")) (run (shell "opam init --reinit -ni")) (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 1b767795a4e028a4d45f916f1598c24ee7a7b6cb || git fetch origin master) && git reset -q --hard 1b767795a4e028a4d45f916f1598c24ee7a7b6cb && git log --no-decorate -n1 --oneline && opam update -u")) (copy (src digestif.opam) (dst ./src/./)) (run (network host) (shell "opam pin add -yn digestif.dev './src/./'")) (run (network host) (shell "echo '(lang dune 3.0)' > './src/./dune-project'")) (env DEPS "afl-persistent.1.4 alcotest.1.9.0 astring.0.8.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base bos.0.2.1 cmdliner.1.3.0 cppo.1.8.0 crowbar.0.2.1 dune.3.18.0 eqaf.0.10 fmt.0.10.0 fpath.0.7.3 logs.0.8.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 re.1.12.0 rresult.0.7.0 seq.base stdlib-shims.0.3.0 topkg.1.0.8 uutf.1.0.4") (env CI true) (env OCAMLCI true) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam update --depexts && opam install --cli=2.3 --depext-only -y digestif.dev $DEPS")) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam install $DEPS")) (copy (src .) (dst ./src)) (run (shell "cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build")) ) 2025-04-17 09:47.44: Waiting for resource in pool OCluster 2025-04-17 09:47.44: Waiting for worker… 2025-04-17 09:47.44: Got resource from pool OCluster Building on m1-worker-02 HEAD is now at 31dbbe2 Upgrade setup-ocaml HEAD is now at 7884f23 Merge pull request #159 from mirage/prepare-v1.3.0 (from macos-homebrew-ocaml-4.14) 2025-04-17 09:47.45 ---> using "0c60f117aee57abea8364cb033d47bb1d63ff0f68e5ee97378e032498e8442af" from cache /: (comment macos-homebrew-4.14_arm64_opam-2.3) /: (user (uid 1000) (gid 1000)) /: (env CLICOLOR_FORCE 1) /: (env OPAMCOLOR always) /: (run (shell "ln -f ~/local/bin/opam-2.3 ~/local/bin/opam")) 2025-04-17 09:47.45 ---> using "d185bb362ab7a62e22c76fe28c4578fe7a4e17f7cc7bc09a3073972dfb5efd3b" from cache /: (run (shell "opam init --reinit -ni")) No configuration file found, using 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 /Users/mac1000/.opam from version 2.1 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 1 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=1 --global Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] no changes from git+file:///Users/mac1000/opam-repository 2025-04-17 09:47.46 ---> using "1a239dab0512a5f76e4948de67b26faca67b4de935df003aa7f81d4e2d68958d" from cache /: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Darwin 23.4.0 The OCaml toplevel, version 4.14.2 2.3.0 2025-04-17 09:47.46 ---> using "f52eecff7be584d99550d2f8c42b8f22f9135c2276c46c827a485f089226c5ac" from cache /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 1b767795a4e028a4d45f916f1598c24ee7a7b6cb || git fetch origin master) && git reset -q --hard 1b767795a4e028a4d45f916f1598c24ee7a7b6cb && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD 67e940587b..1b767795a4 master -> origin/master 1b767795a4 Merge pull request #27704 from maiste/release-dune-3.18.0 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from git+file:///Users/mac1000/opam-repository Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). The following packages are not being upgraded because the new versions conflict with other installed packages: - ocaml.5.4.0 - ocaml-config.3 However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # To update the current shell environment, run: eval $(opam env) 2025-04-17 09:47.46 ---> using "ed64e1bc0aa7abf84c7688032c36d7dfd408260533e1c388a42b58a5e2f22783" from cache /: (copy (src digestif.opam) (dst ./src/./)) 2025-04-17 09:47.46 ---> using "6893416fa7cfd18ce2f210a93ecc982f202fc554d0d7f8b13831fb9b0d4cd57b" from cache /: (run (network host) (shell "opam pin add -yn digestif.dev './src/./'")) [digestif.dev] synchronised (file:///Users/mac1000/src) digestif is now pinned to file:///Users/mac1000/src (version dev) 2025-04-17 09:47.46 ---> using "59d51de27d6c2c49fb61260b0dc621af5fe54a3a08711382cec7d674fd4c1878" from cache /: (run (network host) (shell "echo '(lang dune 3.0)' > './src/./dune-project'")) 2025-04-17 09:47.46 ---> using "50b299b6537b1da0282b8c1c595c4b9bbb79a0450caef84e1d594bbde86daf71" from cache /: (env DEPS "afl-persistent.1.4 alcotest.1.9.0 astring.0.8.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base bos.0.2.1 cmdliner.1.3.0 cppo.1.8.0 crowbar.0.2.1 dune.3.18.0 eqaf.0.10 fmt.0.10.0 fpath.0.7.3 logs.0.8.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 re.1.12.0 rresult.0.7.0 seq.base stdlib-shims.0.3.0 topkg.1.0.8 uutf.1.0.4") /: (env CI true) /: (env OCAMLCI true) /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam update --depexts && opam install --cli=2.3 --depext-only -y digestif.dev $DEPS")) + /opt/homebrew/bin/brew "update" - ==> Updating Homebrew... - ==> Downloading https://ghcr.io/v2/homebrew/portable-ruby/portable-ruby/blobs/sha256:7645e2d653a335798030f6502e7834dfdbeeec5629429a1a34da5dbb2c57d63e - #=#=# 0.1% 0.4% 0.8% - 1.0% # 1.5% # 1.8% # 1.9% # 2.3% # 2.6% ## 2.9% ## 3.0% ## 3.3% ## 3.4% ## 3.7% - ## 4.0% ## 4.1% ### 4.4% ### 4.5% ### 4.8% ### 5.1% ### 5.2% ### 5.5% #### 5.8% #### 6.1% - #### 6.2% #### 6.5% #### 6.6% #### 6.9% ##### 7.1% ##### 7.3% ##### 7.6% ##### 7.8% ##### 8.0% ##### 8.3% ###### 8.4% - ###### 8.7% ###### 9.0% ###### 9.2% ###### 9.4% ###### 9.6% ####### 9.8% ####### 10.1% ####### 10.3% ####### 10.5% ####### 10.6% ####### 10.9% - ######## 11.2% ######## 11.3% ######## 11.6% ######## 11.7% ######## 12.1% ######## 12.2% ######## 12.4% ######### 12.7% ######### 12.8% ######### 12.9% - ######### 13.2% ######### 13.4% ######### 13.5% ######### 13.8% ########## 13.9% ########## 14.1% ########## 14.2% ########## 14.3% ########## 14.6% ########## 14.8% ########## 14.9% - ########## 15.0% ########### 15.3% ########### 15.5% ########### 15.6% ########### 15.7% ########### 15.9% ########### 16.0% ########### 16.3% ########### 16.4% ########### 16.6% - ############ 16.7% ############ 16.8% ############ 17.1% ############ 17.2% ############ 17.4% ############ 17.5% ############ 17.8% ############ 17.9% ############ 18.1% ############# 18.2% - ############# 18.3% ############# 18.5% ############# 18.6% ############# 18.9% ############# 19.1% ############# 19.2% ############# 19.3% ############## 19.5% ############## 19.6% ############## 19.8% ############## 19.9% - ############## 20.0% ############## 20.2% ############## 20.5% ############## 20.6% ############## 20.7% ############### 20.9% ############### 21.0% ############### 21.2% ############### 21.4% ############### 21.6% - ############### 21.7% ############### 21.8% ############### 22.0% ############### 22.1% ################ 22.3% ################ 22.5% ################ 22.7% ################ 22.8% ################ 23.0% ################ 23.1% ################ 23.2% - ################ 23.5% ################# 23.7% ################# 23.8% ################# 23.9% ################# 24.0% ################# 24.2% ################# 24.4% ################# 24.6% ################# 24.7% ################# 24.9% ################## 25.0% - ################## 25.1% ################## 25.3% ################## 25.4% ################## 25.6% ################## 25.8% ################## 26.0% ################## 26.1% ################## 26.3% ################### 26.4% ################### 26.5% ################### 26.8% - ################### 27.0% ################### 27.1% ################### 27.2% ################### 27.4% ################### 27.5% ################### 27.7% #################### 27.8% #################### 28.1% #################### 28.2% #################### 28.3% - #################### 28.5% #################### 28.6% #################### 28.9% #################### 29.0% #################### 29.1% ##################### 29.3% ##################### 29.4% ##################### 29.6% ##################### 29.8% ##################### 30.0% ##################### 30.1% - ##################### 30.3% ##################### 30.4% ##################### 30.5% ###################### 30.8% ###################### 30.9% ###################### 31.2% ###################### 31.4% ###################### 31.5% ###################### 31.8% ###################### 31.9% - ####################### 32.1% ####################### 32.3% ####################### 32.5% ####################### 32.6% ####################### 32.8% ####################### 32.9% ####################### 33.2% ####################### 33.3% ######################## 33.5% ######################## 33.7% - ######################## 33.9% ######################## 34.1% ######################## 34.2% ######################## 34.4% ######################## 34.7% ######################### 34.8% ######################### 34.9% ######################### 35.1% ######################### 35.2% ######################### 35.4% ######################### 35.6% - ######################### 35.8% ######################### 36.0% ######################### 36.1% ########################## 36.2% ########################## 36.4% ########################## 36.6% ########################## 36.8% ########################## 36.9% ########################## 37.1% ########################## 37.2% ########################## 37.5% - ########################### 37.6% ########################### 37.8% ########################### 37.9% ########################### 38.0% ########################### 38.2% ########################### 38.3% ########################### 38.6% ########################### 38.7% ########################### 38.9% ############################ 39.0% - ############################ 39.2% ############################ 39.4% ############################ 39.6% ############################ 39.7% ############################ 39.8% ############################ 40.0% ############################ 40.1% ############################ 40.3% ############################# 40.4% ############################# 40.5% ############################# 40.7% - ############################# 40.9% ############################# 41.1% ############################# 41.2% ############################# 41.5% ############################# 41.6% ############################## 41.8% ############################## 41.9% ############################## 42.0% ############################## 42.3% ############################## 42.5% - ############################## 42.6% ############################## 42.7% ############################## 42.9% ############################## 43.0% ############################### 43.1% ############################### 43.3% ############################### 43.6% ############################### 43.7% ############################### 43.8% ############################### 44.0% ############################### 44.1% - ############################### 44.3% ################################ 44.5% ################################ 44.7% ################################ 44.8% ################################ 45.0% ################################ 45.1% ################################ 45.4% ################################ 45.5% ################################ 45.7% ################################ 45.8% - ################################# 45.9% ################################# 46.0% ################################# 46.3% ################################# 46.4% ################################# 46.6% ################################# 46.7% ################################# 46.9% ################################# 47.1% ################################## 47.3% ################################## 47.4% - ################################## 47.6% ################################## 47.7% ################################## 47.8% ################################## 48.0% ################################## 48.1% ################################## 48.3% ################################## 48.4% ################################### 48.7% ################################### 48.8% ################################### 48.9% ################################### 49.1% - ################################### 49.2% ################################### 49.4% ################################### 49.6% ################################### 49.8% ################################### 49.9% #################################### 50.1% #################################### 50.2% #################################### 50.3% #################################### 50.5% #################################### 50.6% #################################### 50.9% - #################################### 51.0% #################################### 51.1% #################################### 51.3% ##################################### 51.4% ##################################### 51.7% ##################################### 51.8% ##################################### 52.0% ##################################### 52.1% ##################################### 52.2% ##################################### 52.4% ##################################### 52.5% - ##################################### 52.7% ###################################### 52.8% ###################################### 52.9% ###################################### 53.1% ###################################### 53.4% ###################################### 53.5% ###################################### 53.6% ###################################### 53.8% ###################################### 53.9% ###################################### 54.1% ####################################### 54.2% - ####################################### 54.3% ####################################### 54.6% ####################################### 54.8% ####################################### 54.9% ####################################### 55.0% ####################################### 55.2% ####################################### 55.4% ######################################## 55.6% ######################################## 55.7% ######################################## 55.9% - ######################################## 56.0% ######################################## 56.1% ######################################## 56.3% ######################################## 56.4% ######################################## 56.6% ######################################## 56.8% ######################################### 57.0% ######################################### 57.1% ######################################### 57.3% ######################################### 57.5% ######################################### 57.6% - ######################################### 57.8% ######################################### 57.9% ######################################### 58.2% ######################################### 58.3% ########################################## 58.5% ########################################## 58.6% ########################################## 58.7% ########################################## 58.9% ########################################## 59.0% ########################################## 59.3% - ########################################## 59.4% ########################################## 59.6% ########################################### 59.7% ########################################### 59.9% ########################################### 60.0% ########################################### 60.3% ########################################### 60.4% ########################################### 60.6% ########################################### 60.7% ########################################### 60.8% - ########################################### 61.0% ############################################ 61.3% ############################################ 61.4% ############################################ 61.5% ############################################ 61.7% ############################################ 61.8% ############################################ 62.0% ############################################ 62.1% ############################################ 62.2% ############################################ 62.5% ############################################# 62.6% - ############################################# 62.7% ############################################# 62.9% ############################################# 63.0% ############################################# 63.2% ############################################# 63.3% ############################################# 63.6% ############################################# 63.7% ############################################# 63.9% ############################################## 64.0% ############################################## 64.1% ############################################## 64.3% - ############################################## 64.4% ############################################## 64.6% ############################################## 64.7% ############################################## 64.8% ############################################## 65.0% ############################################## 65.1% ############################################### 65.4% ############################################### 65.5% ############################################### 65.7% ############################################### 65.8% - ############################################### 65.9% ############################################### 66.1% ############################################### 66.2% ############################################### 66.4% ############################################### 66.5% ############################################### 66.6% ################################################ 66.8% ################################################ 66.9% - ################################################ 67.1% ################################################ 67.2% ################################################ 67.3% ################################################ 67.4% ################################################ 67.6% ################################################ 67.7% ################################################ 67.9% ################################################ 68.0% - ################################################# 68.1% ################################################# 68.3% ################################################# 68.4% ################################################# 68.5% ################################################# 68.7% ################################################# 68.8% ################################################# 69.0% ################################################# 69.1% ################################################# 69.2% ################################################# 69.4% - ################################################## 69.5% ################################################## 69.7% ################################################## 69.8% ################################################## 69.9% ################################################## 70.1% ################################################## 70.2% ################################################## 70.4% ################################################## 70.5% - ################################################## 70.6% ################################################## 70.8% ################################################### 70.9% ################################################### 71.1% ################################################### 71.2% ################################################### 71.3% ################################################### 71.5% ################################################### 71.6% ################################################### 71.7% ################################################### 71.9% - ################################################### 72.0% ################################################### 72.2% #################################################### 72.3% #################################################### 72.4% #################################################### 72.6% #################################################### 72.7% #################################################### 72.9% #################################################### 73.0% #################################################### 73.1% #################################################### 73.3% #################################################### 73.4% - #################################################### 73.6% ##################################################### 73.7% ##################################################### 73.8% ##################################################### 74.0% ##################################################### 74.1% ##################################################### 74.2% ##################################################### 74.4% ##################################################### 74.5% ##################################################### 74.6% ##################################################### 74.8% - ##################################################### 74.9% ###################################################### 75.0% ###################################################### 75.2% ###################################################### 75.3% ###################################################### 75.5% ###################################################### 75.6% ###################################################### 75.7% ###################################################### 75.9% ###################################################### 76.0% - ###################################################### 76.2% ###################################################### 76.3% ####################################################### 76.4% ####################################################### 76.6% ####################################################### 76.7% ####################################################### 76.9% ####################################################### 77.0% ####################################################### 77.1% ####################################################### 77.3% ####################################################### 77.4% - ####################################################### 77.6% ####################################################### 77.7% ######################################################## 77.8% ######################################################## 78.0% ######################################################## 78.1% ######################################################## 78.3% ######################################################## 78.4% ######################################################## 78.5% ######################################################## 78.7% ######################################################## 78.8% - ######################################################## 78.9% ######################################################## 79.0% ######################################################### 79.2% ######################################################### 79.3% ######################################################### 79.5% ######################################################### 79.6% ######################################################### 79.7% ######################################################### 79.9% - ######################################################### 80.0% ######################################################### 80.2% ######################################################### 80.3% ######################################################### 80.4% ########################################################## 80.6% ########################################################## 80.7% ########################################################## 80.9% ########################################################## 81.0% ########################################################## 81.1% ########################################################## 81.3% - ########################################################## 81.4% ########################################################## 81.5% ########################################################## 81.7% ########################################################## 81.8% ########################################################### 82.0% ########################################################### 82.1% ########################################################### 82.2% ########################################################### 82.4% - ########################################################### 82.5% ########################################################### 82.7% ########################################################### 82.8% ########################################################### 82.9% ########################################################### 83.1% ########################################################### 83.2% ############################################################ 83.4% ############################################################ 83.5% ############################################################ 83.6% ############################################################ 83.8% - ############################################################ 83.9% ############################################################ 84.0% ############################################################ 84.2% ############################################################ 84.3% ############################################################ 84.4% ############################################################ 84.6% - ############################################################ 84.7% ############################################################# 84.8% ############################################################# 85.0% ############################################################# 85.1% ############################################################# 85.3% ############################################################# 85.4% ############################################################# 85.5% ############################################################# 85.7% ############################################################# 85.8% ############################################################# 86.0% - ############################################################# 86.1% ############################################################## 86.2% ############################################################## 86.4% ############################################################## 86.5% ############################################################## 86.7% ############################################################## 86.8% ############################################################## 86.9% ############################################################## 87.1% - ############################################################## 87.2% ############################################################## 87.4% ############################################################## 87.5% ############################################################### 87.6% ############################################################### 87.8% ############################################################### 87.9% ############################################################### 88.0% ############################################################### 88.2% - ############################################################### 88.3% ############################################################### 88.5% ############################################################### 88.6% ############################################################### 88.7% ############################################################### 88.9% ################################################################ 89.0% ################################################################ 89.1% ################################################################ 89.3% ################################################################ 89.4% - ################################################################ 89.5% ################################################################ 89.7% ################################################################ 89.8% ################################################################ 90.0% ################################################################ 90.1% ################################################################ 90.2% - ################################################################# 90.4% ################################################################# 90.5% ################################################################# 90.7% ################################################################# 90.8% ################################################################# 91.0% ################################################################# 91.1% ################################################################# 91.2% ################################################################# 91.4% ################################################################# 91.5% - ################################################################# 91.7% ################################################################## 91.8% ################################################################## 91.9% ################################################################## 92.1% ################################################################## 92.2% ################################################################## 92.4% ################################################################## 92.5% ################################################################## 92.6% ################################################################## 92.8% ################################################################## 92.9% - ################################################################## 93.1% ################################################################### 93.2% ################################################################### 93.3% ################################################################### 93.5% ################################################################### 93.6% ################################################################### 93.7% ################################################################### 93.9% ################################################################### 94.0% ################################################################### 94.2% ################################################################### 94.3% - ################################################################### 94.4% #################################################################### 94.6% #################################################################### 94.7% #################################################################### 94.9% #################################################################### 95.0% #################################################################### 95.1% #################################################################### 95.3% #################################################################### 95.4% #################################################################### 95.6% #################################################################### 95.7% - ##################################################################### 95.8% ##################################################################### 95.9% ##################################################################### 96.1% ##################################################################### 96.2% ##################################################################### 96.3% ##################################################################### 96.5% ##################################################################### 96.6% ##################################################################### 96.8% ##################################################################### 96.9% - ##################################################################### 97.0% ##################################################################### 97.2% ###################################################################### 97.3% ###################################################################### 97.5% ###################################################################### 97.6% ###################################################################### 97.7% ###################################################################### 97.9% ###################################################################### 98.0% ###################################################################### 98.2% - ###################################################################### 98.3% ###################################################################### 98.4% ###################################################################### 98.6% ####################################################################### 98.7% ####################################################################### 98.9% ####################################################################### 99.0% ####################################################################### 99.1% ####################################################################### 99.3% ####################################################################### 99.4% ####################################################################### 99.6% - ####################################################################### 99.7% ####################################################################### 99.8% ####################################################################### 100.0% ######################################################################## 100.0% - ==> Pouring portable-ruby-3.3.8.arm64_big_sur.bottle.tar.gz - ==> Homebrew collects anonymous analytics. - Read the analytics documentation (and how to opt-out) here: - https://docs.brew.sh/Analytics - No analytics have been recorded yet (nor will be during this `brew` run). - - ==> Homebrew is run entirely by unpaid volunteers. Please consider donating: - https://github.com/Homebrew/brew#donations - - Updated 1 tap (homebrew/cask). - ==> New Casks - font-kumar-one-outline - font-libertinus-math - font-m-plus-rounded-1c - ==> Outdated Formulae - gpatch - - You have 1 outdated formula installed. - You can upgrade it with brew upgrade - or list it with brew outdated. <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [digestif.dev] synchronised (file:///Users/mac1000/src) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 2). [NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2). [NOTE] Package ocaml is already installed (current version is 4.14.2). [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-04-17 09:47.46 ---> using "63231a497464778f475cd86215db0debad824ccba32c265d08184eeb6ef2f1cd" from cache /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam install $DEPS")) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 2). [NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2). [NOTE] Package ocaml is already installed (current version is 4.14.2). [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.0 - install astring 0.8.5 - install base-bytes base - install bos 0.2.1 - install cmdliner 1.3.0 - install cppo 1.8.0 - install crowbar 0.2.1 - install dune 3.18.0 - install eqaf 0.10 - install fmt 0.10.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.12.0 - install rresult 0.7.0 - install seq base - install stdlib-shims 0.3.0 - install topkg 1.0.8 - install uutf 1.0.4 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved afl-persistent.1.4 (cached) -> retrieved astring.0.8.5 (cached) -> retrieved bos.0.2.1 (cached) -> retrieved cmdliner.1.3.0 (cached) -> retrieved crowbar.0.2.1 (cached) -> retrieved cppo.1.8.0 (cached) -> retrieved alcotest.1.9.0 (cached) -> retrieved eqaf.0.10 (cached) -> retrieved fmt.0.10.0 (cached) -> retrieved fpath.0.7.3 (cached) -> retrieved logs.0.8.0 (cached) -> retrieved ocaml-syntax-shims.1.0.0 (cached) -> retrieved ocamlbuild.0.16.1 (cached) -> retrieved ocplib-endian.1.2 (cached) -> retrieved ocamlfind.1.9.8 (cached) -> retrieved rresult.0.7.0 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved re.1.12.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved uutf.1.0.4 (cached) -> retrieved topkg.1.0.8 (cached) -> retrieved dune.3.18.0 (cached) -> installed cmdliner.1.3.0 -> installed ocamlbuild.0.16.1 -> installed ocamlfind.1.9.8 -> installed base-bytes.base -> installed topkg.1.0.8 -> installed rresult.0.7.0 -> installed uutf.1.0.4 -> installed astring.0.8.5 -> installed fmt.0.10.0 -> installed fpath.0.7.3 -> installed logs.0.8.0 -> installed bos.0.2.1 -> installed dune.3.18.0 -> installed stdlib-shims.0.3.0 -> installed afl-persistent.1.4 -> installed eqaf.0.10 -> installed ocaml-syntax-shims.1.0.0 -> installed cppo.1.8.0 -> installed re.1.12.0 -> installed ocplib-endian.1.2 -> installed crowbar.0.2.1 -> installed alcotest.1.9.0 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.14.2+afl ocaml-variants.4.14.2+options ocaml-option-afl # To update the current shell environment, run: eval $(opam env) 2025-04-17 09:47.46 ---> using "951d6b74dcc10132b40516095bd653ee146f6abdd9c88991bdff6a9f50b32701" from cache /: (copy (src .) (dst ./src)) 2025-04-17 09:47.48 ---> saved as "a5df51651decccd7a1d5e95d700327c1dcac3e62883bfa2932f897a7773dd8a2" /: (run (shell "cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build")) (cd _build/default/test/c && ./test_cve.exe --quick-tests --color=always) Testing `digestif (CVE)'. This run has ID `PZZUJWFK'. [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/test/ocaml && ./test_cve.exe --quick-tests --color=always) Testing `digestif (CVE)'. This run has ID `4ECEYQH4'. [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.exe --color=always) Testing `digestif'. This run has ID `1MIEAOV3'. [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.217s. 685 tests 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/ocaml && ./test.exe --quick-tests --color=always) Testing `digestif'. This run has ID `WM9OGGCA'. [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. [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.576s. 684 tests run. 2025-04-17 09:47.51 ---> saved as "5215ba05f9179021af8a47fdb53684512d20fa70fb96344ab8bfb9b1a71560f0" 2025-04-17 09:47.56: Cancelling: Auto-cancelling job because it is no longer needed Job succeeded