2025-01-08 13:20.36: New job: test hannesm/mirage-crypto https://github.com/hannesm/mirage-crypto.git#refs/heads/deprecate-rng-initialize (ef34dc8b2a20fbfd879ac4472c86e415620e0154) (macos-arm64:macos-homebrew-5.2_arm64_opam-2.3)
Base: macos-homebrew-ocaml-5.2
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/hannesm/mirage-crypto.git" -b "deprecate-rng-initialize" && cd "mirage-crypto" && git reset --hard ef34dc8b
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM macos-homebrew-ocaml-5.2
# macos-homebrew-5.2_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 e566c29b12a9c284b68b3f6cbe7fbd4e8452406f || git fetch origin master) && git reset -q --hard e566c29b12a9c284b68b3f6cbe7fbd4e8452406f && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam ./src/./
RUN opam pin add -yn mirage-crypto.dev './src/./' && \
opam pin add -yn mirage-crypto-rng.dev './src/./' && \
opam pin add -yn mirage-crypto-rng-mirage.dev './src/./' && \
opam pin add -yn mirage-crypto-rng-miou-unix.dev './src/./' && \
opam pin add -yn mirage-crypto-rng-lwt.dev './src/./' && \
opam pin add -yn mirage-crypto-rng-eio.dev './src/./' && \
opam pin add -yn mirage-crypto-rng-async.dev './src/./' && \
opam pin add -yn mirage-crypto-pk.dev './src/./' && \
opam pin add -yn mirage-crypto-ec.dev './src/./'
RUN echo '(lang dune 3.0)' > './src/./dune-project'
ENV DEPS="alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 async.v0.17.0 async_kernel.v0.17.0 async_log.v0.17.0 async_rpc_kernel.v0.17.0 async_unix.v0.17.0 base.v0.17.1 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base_bigstring.v0.17.0 base_quickcheck.v0.17.0 bigstringaf.0.10.0 bin_prot.v0.17.0 capitalization.v0.17.0 cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.3 core.v0.17.1 core_kernel.v0.17.0 core_unix.v0.17.0 cppo.1.8.0 csexp.1.5.2 cstruct.6.2.0 digestif.1.2.0 domain-local-await.1.0.1 domain-name.0.4.0 dune.3.17.1 dune-configurator.3.17.1 duration.0.2.1 eio.1.2 eio_main.1.2 eio_posix.1.2 eqaf.0.10 expect_test_helpers_core.v0.17.0 fieldslib.v0.17.0 fmt.0.9.0 gel.v0.17.0 hmap.0.8.1 host-arch-arm64.1 host-system-other.1 int_repr.v0.17.0 iomux.0.3 ipaddr.5.6.0 jane-street-headers.v0.17.0 jst-config.v0.17.0 logs.0.7.0 lwt.5.9.0 lwt-dllist.1.0.1 macaddr.5.6.0 miou.0.3.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.8.2 mirage-time.3.0.0 mirage-time-unix.3.0.0 mirage-unix.5.0.1 mtime.2.1.0 num.1.5-1 ocaml.5.2.1 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 ohex.0.2.0 optint.0.3.0 ounit2.2.2.7 parsexp.v0.17.0 ppx_assert.v0.17.0 ppx_base.v0.17.0 ppx_bench.v0.17.0 ppx_bin_prot.v0.17.0 ppx_cold.v0.17.0 ppx_compare.v0.17.0 ppx_custom_printf.v0.17.0 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppx_diff.v0.17.0 ppx_disable_unused_warnings.v0.17.0 ppx_enumerate.v0.17.0 ppx_expect.v0.17.2 ppx_fields_conv.v0.17.0 ppx_fixed_literal.v0.17.0 ppx_globalize.v0.17.0 ppx_hash.v0.17.0 ppx_here.v0.17.0 ppx_ignore_instrumentation.v0.17.0 ppx_inline_test.v0.17.0 ppx_jane.v0.17.0 ppx_let.v0.17.0 ppx_log.v0.17.0 ppx_module_timer.v0.17.0 ppx_optcomp.v0.17.0 ppx_optional.v0.17.0 ppx_pipebang.v0.17.0 ppx_sexp_conv.v0.17.0 ppx_sexp_message.v0.17.0 ppx_sexp_value.v0.17.0 ppx_stable.v0.17.0 ppx_stable_witness.v0.17.0 ppx_string.v0.17.0 ppx_string_conv.v0.17.0 ppx_tydi.v0.17.0 ppx_typerep_conv.v0.17.0 ppx_variants_conv.v0.17.0 ppxlib.0.34.0 ppxlib_jane.v0.17.0 protocol_version_header.v0.17.0 psq.0.2.1 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexp_pretty.v0.17.0 sexplib.v0.17.0 sexplib0.v0.17.0 spawn.v0.17.0 splittable_random.v0.17.0 stdio.v0.17.0 stdlib-shims.0.3.0 textutils.v0.17.0 thread-table.1.0.0 time_now.v0.17.0 timezone.v0.17.0 topkg.1.0.7 typerep.v0.17.1 uopt.v0.17.0 uutf.1.0.3 variantslib.v0.17.0 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-rng-lwt.dev mirage-crypto-rng-eio.dev mirage-crypto-rng-async.dev mirage-crypto-pk.dev mirage-crypto-ec.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-01-08 13:20.36: Using cache hint "hannesm/mirage-crypto-macos-homebrew-ocaml-5.2-macos-homebrew-5.2_arm64_opam-2.3-70fb04982741511ea2dc36626c451550"
2025-01-08 13:20.36: Using OBuilder spec:
((from macos-homebrew-ocaml-5.2)
(comment macos-homebrew-5.2_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 e566c29b12a9c284b68b3f6cbe7fbd4e8452406f || git fetch origin master) && git reset -q --hard e566c29b12a9c284b68b3f6cbe7fbd4e8452406f && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
(dst ./src/./))
(run (network host)
(shell "opam pin add -yn mirage-crypto.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-mirage.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-lwt.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-eio.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-async.dev './src/./' && \
\nopam pin add -yn mirage-crypto-pk.dev './src/./' && \
\nopam pin add -yn mirage-crypto-ec.dev './src/./'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './src/./dune-project'"))
(env DEPS "alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 async.v0.17.0 async_kernel.v0.17.0 async_log.v0.17.0 async_rpc_kernel.v0.17.0 async_unix.v0.17.0 base.v0.17.1 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base_bigstring.v0.17.0 base_quickcheck.v0.17.0 bigstringaf.0.10.0 bin_prot.v0.17.0 capitalization.v0.17.0 cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.3 core.v0.17.1 core_kernel.v0.17.0 core_unix.v0.17.0 cppo.1.8.0 csexp.1.5.2 cstruct.6.2.0 digestif.1.2.0 domain-local-await.1.0.1 domain-name.0.4.0 dune.3.17.1 dune-configurator.3.17.1 duration.0.2.1 eio.1.2 eio_main.1.2 eio_posix.1.2 eqaf.0.10 expect_test_helpers_core.v0.17.0 fieldslib.v0.17.0 fmt.0.9.0 gel.v0.17.0 hmap.0.8.1 host-arch-arm64.1 host-system-other.1 int_repr.v0.17.0 iomux.0.3 ipaddr.5.6.0 jane-street-headers.v0.17.0 jst-config.v0.17.0 logs.0.7.0 lwt.5.9.0 lwt-dllist.1.0.1 macaddr.5.6.0 miou.0.3.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.8.2 mirage-time.3.0.0 mirage-time-unix.3.0.0 mirage-unix.5.0.1 mtime.2.1.0 num.1.5-1 ocaml.5.2.1 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 ohex.0.2.0 optint.0.3.0 ounit2.2.2.7 parsexp.v0.17.0 ppx_assert.v0.17.0 ppx_base.v0.17.0 ppx_bench.v0.17.0 ppx_bin_prot.v0.17.0 ppx_cold.v0.17.0 ppx_compare.v0.17.0 ppx_custom_printf.v0.17.0 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppx_diff.v0.17.0 ppx_disable_unused_warnings.v0.17.0 ppx_enumerate.v0.17.0 ppx_expect.v0.17.2 ppx_fields_conv.v0.17.0 ppx_fixed_literal.v0.17.0 ppx_globalize.v0.17.0 ppx_hash.v0.17.0 ppx_here.v0.17.0 ppx_ignore_instrumentation.v0.17.0 ppx_inline_test.v0.17.0 ppx_jane.v0.17.0 ppx_let.v0.17.0 ppx_log.v0.17.0 ppx_module_timer.v0.17.0 ppx_optcomp.v0.17.0 ppx_optional.v0.17.0 ppx_pipebang.v0.17.0 ppx_sexp_conv.v0.17.0 ppx_sexp_message.v0.17.0 ppx_sexp_value.v0.17.0 ppx_stable.v0.17.0 ppx_stable_witness.v0.17.0 ppx_string.v0.17.0 ppx_string_conv.v0.17.0 ppx_tydi.v0.17.0 ppx_typerep_conv.v0.17.0 ppx_variants_conv.v0.17.0 ppxlib.0.34.0 ppxlib_jane.v0.17.0 protocol_version_header.v0.17.0 psq.0.2.1 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexp_pretty.v0.17.0 sexplib.v0.17.0 sexplib0.v0.17.0 spawn.v0.17.0 splittable_random.v0.17.0 stdio.v0.17.0 stdlib-shims.0.3.0 textutils.v0.17.0 thread-table.1.0.0 time_now.v0.17.0 timezone.v0.17.0 topkg.1.0.7 typerep.v0.17.1 uopt.v0.17.0 uutf.1.0.3 variantslib.v0.17.0 yojson.2.2.2 zarith.1.14")
(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 mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-rng-lwt.dev mirage-crypto-rng-eio.dev mirage-crypto-rng-async.dev mirage-crypto-pk.dev mirage-crypto-ec.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-01-08 13:20.36: Waiting for resource in pool OCluster
2025-01-08 13:20.36: Waiting for worker…
2025-01-08 13:23.10: Got resource from pool OCluster
Building on m1-worker-03
HEAD is now at a2e976d Mark the initialize functions as deprecated.
HEAD is now at ef34dc8 Mark the initialize functions as deprecated.
(from macos-homebrew-ocaml-5.2)
2025-01-08 13:23.11 ---> using "9b46fe3d2429f2b9195a02468cb57ac45cfa11fb4a87cb32b5e5375232223327" from cache
/: (comment macos-homebrew-5.2_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-01-08 13:23.11 ---> using "0dc20c01dcf9a0b5e61b28633401c2b272e9a81a4b51eb94968d876cf02072b1" 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-01-08 13:23.11 ---> using "7ce6e177b12e24db72f980204e6809b30510654dee0daa79fd13bd75833aad21" from cache
/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Darwin 23.4.0
The OCaml toplevel, version 5.2.1
2.3.0
2025-01-08 13:23.11 ---> using "1a65967ac73e91b58159f313398697410a2a267cec35a0c262c62bd1320e149d" 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 e566c29b12a9c284b68b3f6cbe7fbd4e8452406f || git fetch origin master) && git reset -q --hard e566c29b12a9c284b68b3f6cbe7fbd4e8452406f && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
11bdbee611..2e81d1953c master -> origin/master
e566c29b12 Merge pull request #27141 from NathanReb/release-ppxlib-0.34.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
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-01-08 13:23.11 ---> using "72adcb0a1e17b313eff96253678d4f449603e0d547570eec3926bb58ee39478e" from cache
/: (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-rng-lwt.opam mirage-crypto-rng-eio.opam mirage-crypto-rng-async.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
(dst ./src/./))
2025-01-08 13:23.11 ---> using "554ad374e0bedcbdcc055d48a4f3fcef2ceb73363360f41018428989beead05d" from cache
/: (run (network host)
(shell "opam pin add -yn mirage-crypto.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-mirage.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-lwt.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-eio.dev './src/./' && \
\nopam pin add -yn mirage-crypto-rng-async.dev './src/./' && \
\nopam pin add -yn mirage-crypto-pk.dev './src/./' && \
\nopam pin add -yn mirage-crypto-ec.dev './src/./'"))
[mirage-crypto.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-rng.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-rng is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-rng-mirage.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-rng-mirage is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-rng-miou-unix.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-rng-miou-unix is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-rng-lwt.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-rng-lwt is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-rng-eio.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-rng-eio is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-rng-async.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-rng-async is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-pk.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-pk is now pinned to file:///Users/mac1000/src (version dev)
[mirage-crypto-ec.dev] synchronised (file:///Users/mac1000/src)
mirage-crypto-ec is now pinned to file:///Users/mac1000/src (version dev)
2025-01-08 13:23.12 ---> using "ab8cec0b8c7a3eb4b75a866f97c2730254d452b06a23886adce233feeea67e6f" from cache
/: (run (network host)
(shell "echo '(lang dune 3.0)' > './src/./dune-project'"))
2025-01-08 13:23.12 ---> using "a2ad047ba71dea2d1b90a477d1f3db5a32d6451386f5115d9c6395d5f98a0ac4" from cache
/: (env DEPS "alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 async.v0.17.0 async_kernel.v0.17.0 async_log.v0.17.0 async_rpc_kernel.v0.17.0 async_unix.v0.17.0 base.v0.17.1 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base_bigstring.v0.17.0 base_quickcheck.v0.17.0 bigstringaf.0.10.0 bin_prot.v0.17.0 capitalization.v0.17.0 cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.3 core.v0.17.1 core_kernel.v0.17.0 core_unix.v0.17.0 cppo.1.8.0 csexp.1.5.2 cstruct.6.2.0 digestif.1.2.0 domain-local-await.1.0.1 domain-name.0.4.0 dune.3.17.1 dune-configurator.3.17.1 duration.0.2.1 eio.1.2 eio_main.1.2 eio_posix.1.2 eqaf.0.10 expect_test_helpers_core.v0.17.0 fieldslib.v0.17.0 fmt.0.9.0 gel.v0.17.0 hmap.0.8.1 host-arch-arm64.1 host-system-other.1 int_repr.v0.17.0 iomux.0.3 ipaddr.5.6.0 jane-street-headers.v0.17.0 jst-config.v0.17.0 logs.0.7.0 lwt.5.9.0 lwt-dllist.1.0.1 macaddr.5.6.0 miou.0.3.0 mirage-clock.4.2.0 mirage-clock-unix.4.2.0 mirage-runtime.4.8.2 mirage-time.3.0.0 mirage-time-unix.3.0.0 mirage-unix.5.0.1 mtime.2.1.0 num.1.5-1 ocaml.5.2.1 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 ohex.0.2.0 optint.0.3.0 ounit2.2.2.7 parsexp.v0.17.0 ppx_assert.v0.17.0 ppx_base.v0.17.0 ppx_bench.v0.17.0 ppx_bin_prot.v0.17.0 ppx_cold.v0.17.0 ppx_compare.v0.17.0 ppx_custom_printf.v0.17.0 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppx_diff.v0.17.0 ppx_disable_unused_warnings.v0.17.0 ppx_enumerate.v0.17.0 ppx_expect.v0.17.2 ppx_fields_conv.v0.17.0 ppx_fixed_literal.v0.17.0 ppx_globalize.v0.17.0 ppx_hash.v0.17.0 ppx_here.v0.17.0 ppx_ignore_instrumentation.v0.17.0 ppx_inline_test.v0.17.0 ppx_jane.v0.17.0 ppx_let.v0.17.0 ppx_log.v0.17.0 ppx_module_timer.v0.17.0 ppx_optcomp.v0.17.0 ppx_optional.v0.17.0 ppx_pipebang.v0.17.0 ppx_sexp_conv.v0.17.0 ppx_sexp_message.v0.17.0 ppx_sexp_value.v0.17.0 ppx_stable.v0.17.0 ppx_stable_witness.v0.17.0 ppx_string.v0.17.0 ppx_string_conv.v0.17.0 ppx_tydi.v0.17.0 ppx_typerep_conv.v0.17.0 ppx_variants_conv.v0.17.0 ppxlib.0.34.0 ppxlib_jane.v0.17.0 protocol_version_header.v0.17.0 psq.0.2.1 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexp_pretty.v0.17.0 sexplib.v0.17.0 sexplib0.v0.17.0 spawn.v0.17.0 splittable_random.v0.17.0 stdio.v0.17.0 stdlib-shims.0.3.0 textutils.v0.17.0 thread-table.1.0.0 time_now.v0.17.0 timezone.v0.17.0 topkg.1.0.7 typerep.v0.17.1 uopt.v0.17.0 uutf.1.0.3 variantslib.v0.17.0 yojson.2.2.2 zarith.1.14")
/: (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 mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-rng-lwt.dev mirage-crypto-rng-eio.dev mirage-crypto-rng-async.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS"))
+ /opt/homebrew/bin/brew "update"
- ==> Updating Homebrew...
- Already up-to-date.
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage-crypto.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-ec.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-pk.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-rng.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-rng-async.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-rng-eio.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-rng-lwt.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-rng-miou-unix.dev] synchronised (file:///Users/mac1000/src)
[mirage-crypto-rng-mirage.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 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.1).
[NOTE] Package ocaml is already installed (current version is 5.2.1).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-arm64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following system packages will first need to be installed:
gmp pkgconf
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /opt/homebrew/bin/brew "install" "gmp" "pkgconf"
- ==> Downloading https://ghcr.io/v2/homebrew/core/gmp/manifests/6.3.0
- Already downloaded: /Users/mac1000/Library/Caches/Homebrew/downloads/70a72a71216843d66a953c06ff6337445ce9bc94fae9f0e301e2f59005274a8e--gmp-6.3.0.bottle_manifest.json
- ==> Fetching gmp
- ==> Downloading https://ghcr.io/v2/homebrew/core/gmp/blobs/sha256:78e4f40cba6419cf7e2d81e9c945d1e93744511bd5230bdfac1b69ed894914b4
- Already downloaded: /Users/mac1000/Library/Caches/Homebrew/downloads/96a5c6ba7b30c6f2734be44067ba66ef0de5e0973c913659c7b555a4b063029c--gmp--6.3.0.arm64_sonoma.bottle.tar.gz
- ==> Downloading https://ghcr.io/v2/homebrew/core/pkgconf/manifests/2.3.0_1-1
- Already downloaded: /Users/mac1000/Library/Caches/Homebrew/downloads/4a660f26297baafd06fb3109f473edfa592f4aa00adbd8a2506b05d0374c5c1d--pkgconf-2.3.0_1-1.bottle_manifest.json
- ==> Fetching pkgconf
- ==> Downloading https://ghcr.io/v2/homebrew/core/pkgconf/blobs/sha256:bee6257d97fd7331e4b6c1bc7f150a230d7f2f49e9104cf98cc52e04c26fb69d
- Already downloaded: /Users/mac1000/Library/Caches/Homebrew/downloads/16a6a98313b16a83f7e3b7a728ae77859301335f7eda10f12be54522f88488d1--pkgconf--2.3.0_1.arm64_sonoma.bottle.1.tar.gz
- ==> Pouring gmp--6.3.0.arm64_sonoma.bottle.tar.gz
- 🍺 /opt/homebrew/Cellar/gmp/6.3.0: 22 files, 3.3MB
- ==> Running `brew cleanup gmp`...
- Disable this behaviour by setting HOMEBREW_NO_INSTALL_CLEANUP.
- Hide these hints with HOMEBREW_NO_ENV_HINTS (see `man brew`).
- ==> Pouring pkgconf--2.3.0_1.arm64_sonoma.bottle.1.tar.gz
- 🍺 /opt/homebrew/Cellar/pkgconf/2.3.0_1: 27 files, 472KB
- ==> Running `brew cleanup pkgconf`...
2025-01-08 13:23.12 ---> using "1438bffdee1d0bc4db565950117881ff6dfa252a798a441da162dd3acc38b357" 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 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.1).
[NOTE] Package ocaml is already installed (current version is 5.2.1).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-arm64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains 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 132 packages
- install alcotest 1.8.0
- install asn1-combinators 0.3.2
- install astring 0.8.5
- install async v0.17.0
- install async_kernel v0.17.0
- install async_log v0.17.0
- install async_rpc_kernel v0.17.0
- install async_unix v0.17.0
- install base v0.17.1
- install base-bytes base
- install base_bigstring v0.17.0
- install base_quickcheck v0.17.0
- install bigstringaf 0.10.0
- install bin_prot v0.17.0
- install capitalization v0.17.0
- install cmdliner 1.3.0
- install conf-gmp 4
- install conf-gmp-powm-sec 3
- install conf-pkg-config 3
- install core v0.17.1
- install core_kernel v0.17.0
- install core_unix v0.17.0
- install cppo 1.8.0
- install csexp 1.5.2
- install cstruct 6.2.0
- install digestif 1.2.0
- install domain-local-await 1.0.1
- install domain-name 0.4.0
- install dune 3.17.1
- install dune-configurator 3.17.1
- install duration 0.2.1
- install eio 1.2
- install eio_main 1.2
- install eio_posix 1.2
- install eqaf 0.10
- install expect_test_helpers_core v0.17.0
- install fieldslib v0.17.0
- install fmt 0.9.0
- install gel v0.17.0
- install hmap 0.8.1
- install int_repr v0.17.0
- install iomux 0.3
- install ipaddr 5.6.0
- install jane-street-headers v0.17.0
- install jst-config v0.17.0
- install logs 0.7.0
- install lwt 5.9.0
- install lwt-dllist 1.0.1
- install macaddr 5.6.0
- install miou 0.3.0
- install mirage-clock 4.2.0
- install mirage-clock-unix 4.2.0
- install mirage-runtime 4.8.2
- install mirage-time 3.0.0
- install mirage-time-unix 3.0.0
- install mirage-unix 5.0.1
- install mtime 2.1.0
- install num 1.5-1
- install ocaml-compiler-libs v0.17.0
- install ocaml-syntax-shims 1.0.0
- install ocaml_intrinsics_kernel v0.17.1
- install ocamlbuild 0.15.0
- install ocamlfind 1.9.6
- install ocplib-endian 1.2
- install ohex 0.2.0
- install optint 0.3.0
- install ounit2 2.2.7
- install parsexp v0.17.0
- install ppx_assert v0.17.0
- install ppx_base v0.17.0
- install ppx_bench v0.17.0
- install ppx_bin_prot v0.17.0
- install ppx_cold v0.17.0
- install ppx_compare v0.17.0
- install ppx_custom_printf v0.17.0
- install ppx_derivers 1.2.1
- install ppx_deriving 6.0.3
- install ppx_deriving_yojson 3.9.1
- install ppx_diff v0.17.0
- install ppx_disable_unused_warnings v0.17.0
- install ppx_enumerate v0.17.0
- install ppx_expect v0.17.2
- install ppx_fields_conv v0.17.0
- install ppx_fixed_literal v0.17.0
- install ppx_globalize v0.17.0
- install ppx_hash v0.17.0
- install ppx_here v0.17.0
- install ppx_ignore_instrumentation v0.17.0
- install ppx_inline_test v0.17.0
- install ppx_jane v0.17.0
- install ppx_let v0.17.0
- install ppx_log v0.17.0
- install ppx_module_timer v0.17.0
- install ppx_optcomp v0.17.0
- install ppx_optional v0.17.0
- install ppx_pipebang v0.17.0
- install ppx_sexp_conv v0.17.0
- install ppx_sexp_message v0.17.0
- install ppx_sexp_value v0.17.0
- install ppx_stable v0.17.0
- install ppx_stable_witness v0.17.0
- install ppx_string v0.17.0
- install ppx_string_conv v0.17.0
- install ppx_tydi v0.17.0
- install ppx_typerep_conv v0.17.0
- install ppx_variants_conv v0.17.0
- install ppxlib 0.34.0
- install ppxlib_jane v0.17.0
- install protocol_version_header v0.17.0
- install psq 0.2.1
- install ptime 1.2.0
- install randomconv 0.2.0
- install re 1.12.0
- install seq base
- install sexp_pretty v0.17.0
- install sexplib v0.17.0
- install sexplib0 v0.17.0
- install spawn v0.17.0
- install splittable_random v0.17.0
- install stdio v0.17.0
- install stdlib-shims 0.3.0
- install textutils v0.17.0
- install thread-table 1.0.0
- install time_now v0.17.0
- install timezone v0.17.0
- install topkg 1.0.7
- install typerep v0.17.1
- install uopt v0.17.0
- install uutf 1.0.3
- install variantslib v0.17.0
- install yojson 2.2.2
- install zarith 1.14
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved asn1-combinators.0.3.2 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved alcotest.1.8.0 (cached)
-> retrieved async_kernel.v0.17.0 (cached)
-> retrieved async_log.v0.17.0 (cached)
-> retrieved async.v0.17.0 (cached)
-> retrieved async_unix.v0.17.0 (cached)
-> retrieved async_rpc_kernel.v0.17.0 (cached)
-> retrieved base_bigstring.v0.17.0 (cached)
-> retrieved base_quickcheck.v0.17.0 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved bin_prot.v0.17.0 (cached)
-> retrieved capitalization.v0.17.0 (cached)
-> retrieved conf-gmp.4 (cached)
-> retrieved conf-gmp-powm-sec.3 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> installed conf-pkg-config.3
-> retrieved base.v0.17.1 (cached)
-> installed conf-gmp.4
-> retrieved core_kernel.v0.17.0 (cached)
-> installed conf-gmp-powm-sec.3
-> retrieved core_unix.v0.17.0 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> retrieved core.v0.17.1 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain-name.0.4.0 (cached)
-> retrieved duration.0.2.1 (cached)
-> retrieved digestif.1.2.0 (cached)
-> retrieved eqaf.0.10 (cached)
-> retrieved eio.1.2, eio_main.1.2, eio_posix.1.2 (cached)
-> retrieved expect_test_helpers_core.v0.17.0 (cached)
-> retrieved fieldslib.v0.17.0 (cached)
-> retrieved gel.v0.17.0 (cached)
-> retrieved fmt.0.9.0 (cached)
-> retrieved hmap.0.8.1 (cached)
-> retrieved int_repr.v0.17.0 (cached)
-> retrieved iomux.0.3 (cached)
-> retrieved ipaddr.5.6.0, macaddr.5.6.0 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved logs.0.7.0 (cached)
-> retrieved lwt-dllist.1.0.1 (cached)
-> retrieved lwt.5.9.0 (cached)
-> retrieved miou.0.3.0 (cached)
-> retrieved mirage-clock.4.2.0, mirage-clock-unix.4.2.0 (cached)
-> retrieved mirage-time.3.0.0, mirage-time-unix.3.0.0 (cached)
-> retrieved mirage-unix.5.0.1 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved mirage-runtime.4.8.2 (cached)
-> retrieved num.1.5-1 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ocamlfind.1.9.6 (cached)
-> retrieved optint.0.3.0 (cached)
-> retrieved ohex.0.2.0 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ounit2.2.2.7 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_bench.v0.17.0 (cached)
-> retrieved ppx_bin_prot.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_custom_printf.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving_yojson.3.9.1 (cached)
-> retrieved ppx_deriving.6.0.3 (cached)
-> retrieved ppx_diff.v0.17.0 (cached)
-> retrieved ppx_disable_unused_warnings.v0.17.0 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_fields_conv.v0.17.0 (cached)
-> retrieved ppx_expect.v0.17.2 (cached)
-> retrieved ppx_fixed_literal.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.0 (cached)
-> retrieved dune.3.17.1, dune-configurator.3.17.1 (cached)
-> retrieved ppx_ignore_instrumentation.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_jane.v0.17.0 (cached)
-> retrieved ppx_inline_test.v0.17.0 (cached)
-> retrieved ppx_log.v0.17.0 (cached)
-> retrieved ppx_module_timer.v0.17.0 (cached)
-> retrieved ppx_optcomp.v0.17.0 (cached)
-> retrieved ppx_optional.v0.17.0 (cached)
-> retrieved ppx_let.v0.17.0 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved ppx_sexp_message.v0.17.0 (cached)
-> retrieved ppx_pipebang.v0.17.0 (cached)
-> retrieved ppx_sexp_value.v0.17.0 (cached)
-> retrieved ppx_stable_witness.v0.17.0 (cached)
-> retrieved ppx_stable.v0.17.0 (cached)
-> retrieved ppx_string_conv.v0.17.0 (cached)
-> retrieved ppx_tydi.v0.17.0 (cached)
-> retrieved ppx_string.v0.17.0 (cached)
-> retrieved ppx_variants_conv.v0.17.0 (cached)
-> retrieved ppx_typerep_conv.v0.17.0 (cached)
-> installed ocamlbuild.0.15.0
-> retrieved protocol_version_header.v0.17.0 (cached)
-> retrieved ppxlib_jane.v0.17.0 (cached)
-> installed num.1.5-1
-> retrieved psq.0.2.1 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved randomconv.0.2.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved sexp_pretty.v0.17.0 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved ppxlib.0.34.0 (cached)
-> installed cmdliner.1.3.0
-> retrieved stdio.v0.17.0 (cached)
-> retrieved splittable_random.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved spawn.v0.17.0 (cached)
-> retrieved textutils.v0.17.0 (cached)
-> retrieved time_now.v0.17.0 (cached)
-> retrieved timezone.v0.17.0 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved uopt.v0.17.0 (cached)
-> retrieved typerep.v0.17.1 (cached)
-> retrieved topkg.1.0.7 (cached)
-> retrieved variantslib.v0.17.0 (cached)
-> retrieved uutf.1.0.3 (cached)
-> retrieved zarith.1.14 (cached)
-> retrieved yojson.2.2.2 (cached)
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> installed zarith.1.14
-> installed topkg.1.0.7
-> installed hmap.0.8.1
-> installed uutf.1.0.3
-> installed mtime.2.1.0
-> installed ptime.1.2.0
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed dune.3.17.1
-> installed csexp.1.5.2
-> installed duration.0.2.1
-> installed jane-street-headers.v0.17.0
-> installed eqaf.0.10
-> installed domain-name.0.4.0
-> installed cstruct.6.2.0
-> installed cppo.1.8.0
-> installed asn1-combinators.0.3.2
-> installed lwt-dllist.1.0.1
-> installed macaddr.5.6.0
-> installed mirage-clock.4.2.0
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ocaml-compiler-libs.v0.17.0
-> installed ohex.0.2.0
-> installed ipaddr.5.6.0
-> installed ocaml-syntax-shims.1.0.0
-> installed miou.0.3.0
-> installed ocplib-endian.1.2
-> installed digestif.1.2.0
-> installed ppx_derivers.1.2.1
-> installed randomconv.0.2.0
-> installed optint.0.3.0
-> installed psq.0.2.1
-> installed dune-configurator.3.17.1
-> installed stdlib-shims.0.3.0
-> installed spawn.v0.17.0
-> installed thread-table.1.0.0
-> installed sexplib0.v0.17.0
-> installed bigstringaf.0.10.0
-> installed iomux.0.3
-> installed re.1.12.0
-> installed domain-local-await.1.0.1
-> installed mirage-clock-unix.4.2.0
-> installed yojson.2.2.2
-> installed ounit2.2.2.7
-> installed alcotest.1.8.0
-> installed eio.1.2
-> installed lwt.5.9.0
-> installed mirage-time.3.0.0
-> installed parsexp.v0.17.0
-> installed mirage-time-unix.3.0.0
-> installed eio_posix.1.2
-> installed logs.0.7.0
-> installed sexplib.v0.17.0
-> installed eio_main.1.2
-> installed mirage-runtime.4.8.2
-> installed mirage-unix.5.0.1
-> installed base.v0.17.1
-> installed fieldslib.v0.17.0
-> installed variantslib.v0.17.0
-> installed stdio.v0.17.0
-> installed typerep.v0.17.1
-> installed ppxlib.0.34.0
-> installed ppx_disable_unused_warnings.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_ignore_instrumentation.v0.17.0
-> installed ppx_fixed_literal.v0.17.0
-> installed ppx_fields_conv.v0.17.0
-> installed ppx_deriving.6.0.3
-> installed ppx_pipebang.v0.17.0
-> installed ppx_optcomp.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_tydi.v0.17.0
-> installed ppx_stable.v0.17.0
-> installed ppx_let.v0.17.0
-> installed ppx_typerep_conv.v0.17.0
-> installed ppx_variants_conv.v0.17.0
-> installed ppx_deriving_yojson.3.9.1
-> installed ppxlib_jane.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.0
-> installed ppx_optional.v0.17.0
-> installed ppx_compare.v0.17.0
-> installed ppx_sexp_conv.v0.17.0
-> installed ppx_hash.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_sexp_value.v0.17.0
-> installed ppx_sexp_message.v0.17.0
-> installed ppx_custom_printf.v0.17.0
-> installed ppx_base.v0.17.0
-> installed capitalization.v0.17.0
-> installed jst-config.v0.17.0
-> installed sexp_pretty.v0.17.0
-> installed ppx_string.v0.17.0
-> installed time_now.v0.17.0
-> installed bin_prot.v0.17.0
-> installed ppx_string_conv.v0.17.0
-> installed ppx_module_timer.v0.17.0
-> installed ppx_inline_test.v0.17.0
-> installed ppx_bin_prot.v0.17.0
-> installed ppx_bench.v0.17.0
-> installed ppx_expect.v0.17.2
-> installed splittable_random.v0.17.0
-> installed base_quickcheck.v0.17.0
-> installed ppx_log.v0.17.0
-> installed ppx_jane.v0.17.0
-> installed uopt.v0.17.0
-> installed gel.v0.17.0
-> installed int_repr.v0.17.0
-> installed base_bigstring.v0.17.0
-> installed ppx_diff.v0.17.0
-> installed core.v0.17.1
-> installed protocol_version_header.v0.17.0
-> installed expect_test_helpers_core.v0.17.0
-> installed timezone.v0.17.0
-> installed core_kernel.v0.17.0
-> installed async_kernel.v0.17.0
-> installed core_unix.v0.17.0
-> installed textutils.v0.17.0
-> installed async_rpc_kernel.v0.17.0
-> installed async_unix.v0.17.0
-> installed async_log.v0.17.0
-> installed async.v0.17.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-01-08 13:23.12 ---> using "c1cd532528355e8168f928aaad9a947ff5c9f2db2d9da4b9d1cde9b427892459" from cache
/: (copy (src .) (dst ./src))
2025-01-08 13:23.13 ---> saved as "9d3abe30ead831df9a1c7634f20910aad066e83b41d14dba6ca9d1d564482c23"
/: (run (shell "cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default && /Users/mac1000/.opam/5.2.1/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -bin-annot-occurrences -I tests/.test_entropy_collection_async.eobjs/byte -I /Users/mac1000/.opam/5.2.1/lib/async -I /Users/mac1000/.opam/5.2.1/lib/async/async_command -I /Users/mac1000/.opam/5.2.1/lib/async/async_quickcheck -I /Users/mac1000/.opam/5.2.1/lib/async/async_rpc -I /Users/mac1000/.opam/5.2.1/lib/async_kernel -I /Users/mac1000/.opam/5.2.1/lib/async_kernel/config -I /Users/mac1000/.opam/5.2.1/lib/async_kernel/eager_deferred -I /Users/mac1000/.opam/5.2.1/lib/async_kernel/persistent_connection_kernel -I /Users/mac1000/.opam/5.2.1/lib/async_kernel/read_write_pair -I /Users/mac1000/.opam/5.2.1/lib/async_log -I /Users/mac1000/.opam/5.2.1/lib/async_log/kernel -I /Users/mac1000/.opam/5.2.1/lib/async_rpc_kernel -I /Users/mac1000/.opam/5.2.1/lib/async_unix -I /Users/mac1000/.opam/5.2.1/lib/async_unix/thread_pool -I /Users/mac1000/.opam/5.2.1/lib/async_unix/thread_safe_ivar -I /Users/mac1000/.opam/5.2.1/lib/base -I /Users/mac1000/.opam/5.2.1/lib/base/base_internalhash_types -I /Users/mac1000/.opam/5.2.1/lib/base/md5 -I /Users/mac1000/.opam/5.2.1/lib/base/shadow_stdlib -I /Users/mac1000/.opam/5.2.1/lib/base_bigstring -I /Users/mac1000/.opam/5.2.1/lib/base_quickcheck -I /Users/mac1000/.opam/5.2.1/lib/base_quickcheck/ppx_quickcheck/runtime -I /Users/mac1000/.opam/5.2.1/lib/bin_prot -I /Users/mac1000/.opam/5.2.1/lib/bin_prot/shape -I /Users/mac1000/.opam/5.2.1/lib/core -I /Users/mac1000/.opam/5.2.1/lib/core/base_for_tests -I /Users/mac1000/.opam/5.2.1/lib/core/command -I /Users/mac1000/.opam/5.2.1/lib/core/filename_base -I /Users/mac1000/.opam/5.2.1/lib/core/heap_block -I /Users/mac1000/.opam/5.2.1/lib/core/univ_map -I /Users/mac1000/.opam/5.2.1/lib/core/validate -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/bounded_int_table -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/bus -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/caml_threads -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/caml_unix -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/flags -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/iobuf -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/moption -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/pairing_heap -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/reversed_list -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/sexp_hidden_in_test -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/thread_pool_cpu_affinity -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/thread_safe_queue -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/timing_wheel -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/tuple_pool -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/univ -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/uuid -I /Users/mac1000/.opam/5.2.1/lib/core_kernel/version_util -I /Users/mac1000/.opam/5.2.1/lib/core_unix -I /Users/mac1000/.opam/5.2.1/lib/core_unix/bigstring_unix -I /Users/mac1000/.opam/5.2.1/lib/core_unix/command_unix -I /Users/mac1000/.opam/5.2.1/lib/core_unix/core_thread -I /Users/mac1000/.opam/5.2.1/lib/core_unix/error_checking_mutex -I /Users/mac1000/.opam/5.2.1/lib/core_unix/filename_unix -I /Users/mac1000/.opam/5.2.1/lib/core_unix/iobuf_unix -I /Users/mac1000/.opam/5.2.1/lib/core_unix/linux_ext -I /Users/mac1000/.opam/5.2.1/lib/core_unix/nano_mutex -I /Users/mac1000/.opam/5.2.1/lib/core_unix/ocaml_c_utils -I /Users/mac1000/.opam/5.2.1/lib/core_unix/signal_unix -I /Users/mac1000/.opam/5.2.1/lib/core_unix/squeue -I /Users/mac1000/.opam/5.2.1/lib/core_unix/sys_unix -I /Users/mac1000/.opam/5.2.1/lib/core_unix/time_float_unix -I /Users/mac1000/.opam/5.2.1/lib/core_unix/time_ns_unix -I /Users/mac1000/.opam/5.2.1/lib/core_unix/time_stamp_counter -I /Users/mac1000/.opam/5.2.1/lib/cstruct -I /Users/mac1000/.opam/5.2.1/lib/digestif/c -I /Users/mac1000/.opam/5.2.1/lib/eqaf -I /Users/mac1000/.opam/5.2.1/lib/fieldslib -I /Users/mac1000/.opam/5.2.1/lib/gel -I /Users/mac1000/.opam/5.2.1/lib/int_repr -I /Users/mac1000/.opam/5.2.1/lib/jane-street-headers -I /Users/mac1000/.opam/5.2.1/lib/logs -I /Users/mac1000/.opam/5.2.1/lib/ocaml/threads -I /Users/mac1000/.opam/5.2.1/lib/ocaml/unix -I /Users/mac1000/.opam/5.2.1/lib/ocaml_intrinsics_kernel -I /Users/mac1000/.opam/5.2.1/lib/ohex -I /Users/mac1000/.opam/5.2.1/lib/parsexp -I /Users/mac1000/.opam/5.2.1/lib/ppx_assert/runtime-lib -I /Users/mac1000/.opam/5.2.1/lib/ppx_bench/runtime-lib -I /Users/mac1000/.opam/5.2.1/lib/ppx_compare/runtime-lib -I /Users/mac1000/.opam/5.2.1/lib/ppx_diff/diffable -I /Users/mac1000/.opam/5.2.1/lib/ppx_diff/diffable_cinaps -I /Users/mac1000/.opam/5.2.1/lib/ppx_enumerate/runtime-lib -I /Users/mac1000/.opam/5.2.1/lib/ppx_expect/config -I /Users/mac1000/.opam/5.2.1/lib/ppx_expect/config_types -I /Users/mac1000/.opam/5.2.1/lib/ppx_expect/make_corrected_file -I /Users/mac1000/.opam/5.2.1/lib/ppx_expect/runtime -I /Users/mac1000/.opam/5.2.1/lib/ppx_hash/runtime-lib -I /Users/mac1000/.opam/5.2.1/lib/ppx_here/runtime-lib -I /Users/mac1000/.opam/5.2.1/lib/ppx_inline_test/config -I /Users/mac1000/.opam/5.2.1/lib/ppx_inline_test/runtime-lib -I /Users/mac1000/.opam/5.2.1/lib/ppx_log/syntax -I /Users/mac1000/.opam/5.2.1/lib/ppx_log/types -I /Users/mac1000/.opam/5.2.1/lib/ppx_module_timer/runtime -I /Users/mac1000/.opam/5.2.1/lib/ppx_sexp_conv/runtime-lib -I /Users/mac1000/.opam/5.2.1/lib/ppx_stable_witness/runtime -I /Users/mac1000/.opam/5.2.1/lib/ppx_stable_witness/stable_witness -I /Users/mac1000/.opam/5.2.1/lib/ppx_string/runtime -I /Users/mac1000/.opam/5.2.1/lib/ppxlib/print_diff -I /Users/mac1000/.opam/5.2.1/lib/protocol_version_header -I /Users/mac1000/.opam/5.2.1/lib/sexplib -I /Users/mac1000/.opam/5.2.1/lib/sexplib/unix -I /Users/mac1000/.opam/5.2.1/lib/sexplib0 -I /Users/mac1000/.opam/5.2.1/lib/spawn -I /Users/mac1000/.opam/5.2.1/lib/splittable_random -I /Users/mac1000/.opam/5.2.1/lib/stdio -I /Users/mac1000/.opam/5.2.1/lib/time_now -I /Users/mac1000/.opam/5.2.1/lib/timezone -I /Users/mac1000/.opam/5.2.1/lib/typerep -I /Users/mac1000/.opam/5.2.1/lib/uopt -I /Users/mac1000/.opam/5.2.1/lib/variantslib -I rng/.mirage_crypto_rng.objs/public_cmi -I rng/async/.mirage_crypto_rng_async.objs/byte -I rng/unix/.mirage_crypto_rng_unix.objs/byte -I src/.mirage_crypto.objs/public_cmi -no-alias-deps -opaque -o tests/.test_entropy_collection_async.eobjs/byte/dune__exe__Test_entropy_collection_async.cmo -c -impl tests/test_entropy_collection_async.ml)
File "tests/test_entropy_collection_async.ml", lines 31-33, characters 2-5:
31 | ..begin[@alert "-deprecated"]
32 | E.initialize (module Printing_rng);
33 | end
Error: This expression has type unit
This is not a function; it cannot be applied.
(cd _build/default/tests && ./test_eio_rng.exe)
32 bit random number: "\204e(:(\195g`\127\172\208M\137\182)(\190\197>\193\006\255\026\188:K\239\001\152\006\161\023"
16 bit random number: "\245\154\218\236-\168\154y\244\174\023\1273\235\133\143"
(cd _build/default/tests && ./test_ec.exe)
Testing `EC'.
This run has ID `PQU1O5BN'.
[OK] P256 Key exchange 0 b*A.
[OK] P256 Key exchange 1 a*B.
[OK] P256 Key exchange 2 a*A.
[OK] P256 Key exchange 3 b*B.
[OK] P256 Low level scalar mult 0 Scalar mu...
[OK] P256 Low level scalar mult 1 Scalar mu...
[OK] P256 Low level scalar mult 2 Scalar mu...
[OK] P256 Low level scalar mult 3 Scalar mu...
[OK] P256 Low level scalar mult 4 Scalar mu...
[OK] P256 Low level scalar mult 5 Scalar mu...
[OK] P256 Point validation 0 Ok.
[OK] P256 Point validation 1 P=0.
[OK] P256 Point validation 2 (0, sqrt(...
[OK] P256 Point validation 3 out of ra...
[OK] P256 Scalar validation when generating 0 0.
[OK] P256 Scalar validation when generating 1 1.
[OK] P256 Scalar validation when generating 2 n-1.
[OK] P256 Scalar validation when generating 3 n.
[OK] ECDSA NIST 0 ECDSA gen.
[OK] ECDSA NIST 1 ECDSA sign.
[OK] ECDSA NIST 2 ECDSA ver...
[OK] ECDSA RFC 6979 P256 0 public ke...
[OK] ECDSA RFC 6979 P256 1 public ke...
[OK] ECDSA RFC 6979 P256 2 RFC 6979 ...
[OK] ECDSA RFC 6979 P256 3 RFC 6979 ...
[OK] ECDSA RFC 6979 P256 4 RFC 6979 ...
[OK] ECDSA RFC 6979 P256 5 RFC 6979 ...
[OK] ECDSA RFC 6979 P256 6 RFC 6979 ...
[OK] ECDSA RFC 6979 P256 7 RFC 6979 ...
[OK] ECDSA RFC 6979 P256 8 RFC 6979 ...
[OK] ECDSA RFC 6979 P256 9 RFC 6979 ...
[OK] ECDSA RFC 6979 P256 10 RFC 6979 ...
[OK] ECDSA RFC 6979 P256 11 RFC 6979 ...
[OK] ECDSA RFC 6979 P384 0 public ke...
[OK] ECDSA RFC 6979 P384 1 public ke...
[OK] ECDSA RFC 6979 P384 2 RFC 6979 ...
[OK] ECDSA RFC 6979 P384 3 RFC 6979 ...
[OK] ECDSA RFC 6979 P384 4 RFC 6979 ...
[OK] ECDSA RFC 6979 P384 5 RFC 6979 ...
[OK] ECDSA RFC 6979 P384 6 RFC 6979 ...
[OK] ECDSA RFC 6979 P384 7 RFC 6979 ...
[OK] ECDSA RFC 6979 P384 8 RFC 6979 ...
[OK] ECDSA RFC 6979 P384 9 RFC 6979 ...
[OK] ECDSA RFC 6979 P384 10 RFC 6979 ...
[OK] ECDSA RFC 6979 P384 11 RFC 6979 ...
[OK] ECDSA RFC 6979 P521 0 public ke...
[OK] ECDSA RFC 6979 P521 1 public ke...
[OK] ECDSA RFC 6979 P521 2 RFC 6979 ...
[OK] ECDSA RFC 6979 P521 3 RFC 6979 ...
[OK] ECDSA RFC 6979 P521 4 RFC 6979 ...
[OK] ECDSA RFC 6979 P521 5 RFC 6979 ...
[OK] ECDSA RFC 6979 P521 6 RFC 6979 ...
[OK] ECDSA RFC 6979 P521 7 RFC 6979 ...
[OK] ECDSA RFC 6979 P521 8 RFC 6979 ...
[OK] ECDSA RFC 6979 P521 9 RFC 6979 ...
[OK] ECDSA RFC 6979 P521 10 RFC 6979 ...
[OK] ECDSA RFC 6979 P521 11 RFC 6979 ...
[OK] X25519 0 RFC 7748.
[OK] ED25519 0 RFC 8032 1.
[OK] ED25519 1 RFC 8032 2.
[OK] ED25519 2 RFC 8032 3.
[OK] ED25519 3 RFC 8032 4.
[OK] ED25519 4 RFC 8032 5.
[OK] ECDSA P521 regression 0 regreesion1.
Full test results in `~/src/_build/default/tests/_build/_tests/EC'.
Test Successful in 0.020s. 64 tests run.
(cd _build/default/tests && ./test_symmetric_runner.exe)
accel:
................................................................
Ran: 64 tests in: 0.27 seconds.
OK
(cd _build/default/tests && ./test_random_runner.exe)
.........
Ran: 9 tests in: 0.26 seconds.
OK
(cd _build/default/tests && ./test_eio_entropy_collection.exe)
reseeding:
000000 00c8 8ad8 91d8 98d8 9ed8 a4d8 abd8 b2d8 ................
000010 b9d8 c0d8 c7d8 cfd8 d6d8 ded8 e7d8 efd8 ................
000020 f8d8 02d9 0bd9 15d9 20d9 2ad9 35d9 41d9 ........ .*.5.A.
000030 4cd9 59d9 65d9 72d9 80d9 8ed9 9cd9 abd9 L.Y.e.r.........
000040 bbd9 cbd9 dcd9 edd9 ffd9 11da 24da 38da ............$.8.
000050 4cda 62da 77da 8eda a5da beda d7da f1da L.b.w...........
000060 0cdb 27db 44db 62db 81db a1db c2db e4db ..'.D.b.........
000070 07dc 08dc 09dc 0bdc 0cdc 0ddc 0fdc 10dc ................
000080 11dc 12dc 14dc 15dc 16dc 18dc 19dc 1bdc ................
000090 1cdc 1edc 20dc 21dc 23dc 25dc 27dc 29dc .... .!.#.%.'.).
0000a0 2bdc 2ddc 2fdc 31dc 34dc 36dc 39dc 3bdc +.-./.1.4.6.9.;.
0000b0 3edc 41dc 44dc 47dc 4adc 4ddc 50dc 54dc >.A.D.G.J.M.P.T.
0000c0 57dc 5bdc 5fdc 63dc 67dc 01c8 6ddc 72dc W.[._.c.g...m.r.
0000d0 76dc 7bdc 80dc 85dc 8adc 90dc 95dc 9bdc v.{.............
0000e0 a1dc a7dc aedc b4dc bbdc c3dc cadc d2dc ................
0000f0 dadc e2dc eadc f3dc fcdc 06dd 0fdd 19dd ................
000100 24dd 2fdd 3add 45dd 51dd 5edd 6add 78dd $./.:.E.Q.^.j.x.
000110 85dd 95dd a3dd b3dd c2dd d3dd e4dd f5dd ................
000120 07de 1ade 2dde 41de 57de 6dde 83de 9ade ....-.A.W.m.....
000130 b2de cbde e4de ffde 1adf 36df 53df 72df ..........6.S.r.
000140 91df b2df d3df f7df 1be0 1de0 1ee0 20e0 .............. .
000150 22e0 23e0 25e0 27e0 29e0 2be0 2de0 2fe0 ".#.%.'.).+.-./.
000160 32e0 34e0 37e0 39e0 3ce0 3ee0 41e0 44e0 2.4.7.9.<.>.A.D.
000170 47e0 4ae0 4de0 51e0 54e0 58e0 5be0 5fe0 G.J.M.Q.T.X.[._.
000180 63e0 67e0 6be0 6fe0 73e0 78e0 7de0 82e0 c.g.k.o.s.x.}...
000190 87e0 8ce0 02c8 96e0 9ce0 a2e0 a9e0 afe0 ................
0001a0 b6e0 bde0 c4e0 cbe0 d3e0 dbe0 e3e0 ece0 ................
0001b0 f5e0 fee0 07e1 11e1 1be1 26e1 31e1 3ce1 ..........&.1.<.
0001c0 48e1 54e1 60e1 6de1 7be1 88e1 97e1 a5e1 H.T.`.m.{.......
0001d0 b6e1 c6e1 d6e1 e7e1 f9e1 0be2 1ee2 31e2 ..............1.
0001e0 46e2 5ae2 70e2 86e2 9ee2 b7e2 d0e2 e9e2 F.Z.p...........
0001f0 04e3 1fe3 3ce3 59e3 78e3 98e3 b8e3 dae3 ....<.Y.x.......
000200 fde3 21e4 23e4 25e4 27e4 29e4 2be4 2de4 ..!.#.%.'.).+.-.
000210 2fe4 31e4 34e4 36e4 39e4 3be4 3ee4 41e4 /.1.4.6.9.;.>.A.
000220 44e4 47e4 4ae4 4de4 50e4 54e4 57e4 5be4 D.G.J.M.P.T.W.[.
000230 5fe4 62e4 67e4 6be4 6fe4 74e4 78e4 7de4 _.b.g.k.o.t.x.}.
000240 82e4 87e4 8ce4 92e4 98e4 9ee4 a4e4 aae4 ................
000250 b1e4 b7e4 bee4 c6e4 cde4 d5e4 dde4 0380 ................
000260 56a4 41c4 95ac 7542 afe8 0cc0 5322 d44e V.A...uB....S".N
000270 a7fa 8d82 ea8b a85f 10eb bb15 d4d3 a719 ......._........
000280 ec65 609e 35de 11ae 9809 52d3 fa63 a249 .e`.5.....R..c.I
000290 1272 b074 0d18 6012 619c 2f08 17b6 7764 .r.t..`.a./...wd
0002a0 3f06 9bb8 d141 2dce 5103 4f5f 3fc8 92b5 ?....A-.Q.O_?...
0002b0 179b 1370 ce35 ec96 493c 6bcf d466 32a5 ...p.5..I<k..f2.
0002c0 faa9 666b 8a06 2691 c096 0ca2 3787 39a4 ..fk..&.....7.9.
0002d0 37dd 43e2 cea7 181d a321 b3b6 9197 1216 7.C......!......
entropy sources: [0] getrandom
accumulate: (src: [0] getrandom) 304a f6d0 f277 2803
(cd _build/default/tests && ./test_miou_entropy_collection.exe)
reseeding:
000000 00c8 f896 0697 1497 2297 2f97 3d97 4b97 ........"./.=.K.
000010 5997 6797 7697 8597 9497 a397 b397 c397 Y.g.v...........
000020 d397 e397 f397 0498 0598 0598 0698 0698 ................
000030 0798 0798 0898 0998 0998 0a98 0b98 0b98 ................
000040 0c98 0c98 0d98 0e98 0f98 0f98 1098 1198 ................
000050 1198 1298 1398 1398 1498 1598 1698 1798 ................
000060 1898 1898 1998 1a98 1b98 1c98 1d98 1e98 ................
000070 1f98 2098 2198 2298 2398 2498 2598 2698 .. .!.".#.$.%.&.
000080 2798 2898 2998 2a98 2c98 2d98 2e98 2f98 '.(.).*.,.-.../.
000090 3198 3298 3398 3498 3698 3798 3898 3998 1.2.3.4.6.7.8.9.
0000a0 3b98 3c98 3d98 3f98 4098 4298 4398 4598 ;.<.=.?.@.B.C.E.
0000b0 4698 4898 4998 4b98 4d98 4f98 5098 5298 F.H.I.K.M.O.P.R.
0000c0 5498 5698 5898 5a98 5b98 01c8 5f98 6298 T.V.X.Z.[..._.b.
0000d0 6498 6698 6898 6a98 6d98 6f98 7198 7398 d.f.h.j.m.o.q.s.
0000e0 7698 7898 7b98 7d98 8098 8298 8598 8798 v.x.{.}.........
0000f0 8a98 8d98 8f98 9298 9598 9898 9b98 9e98 ................
000100 a198 a498 a798 aa98 ad98 b198 b498 b798 ................
000110 bb98 be98 c298 c698 c998 cd98 d198 d598 ................
000120 d898 dc98 e098 e598 e998 ed98 f198 f698 ................
000130 fa98 ff98 0399 0899 0c99 1199 1699 1b99 ................
000140 2099 2599 2a99 3099 3599 3b99 4099 4699 .%.*.0.5.;.@.F.
000150 4b99 5199 5799 5d99 6399 6999 7099 7699 K.Q.W.].c.i.p.v.
000160 7d99 8399 8a99 9199 9899 9f99 a699 ad99 }...............
000170 b599 bc99 c499 cb99 d399 db99 e399 ec99 ................
000180 f499 fd99 059a 0e9a 179a 209a 299a 339a .......... .).3.
000190 3c9a 469a 02c8 519a 5b9a 659a 6f9a 799a <.F...Q.[.e.o.y.
0001a0 849a 8f9a 9a9a a59a b09a bc9a c89a d49a ................
0001b0 e09a ec9a f99a 059b 129b 1f9b 2d9b 3a9b ............-.:.
0001c0 489b 569b 649b 739b 819b 909b 9f9b af9b H.V.d.s.........
0001d0 be9b ce9b de9b ef9b ff9b 109c 119c 129c ................
0001e0 139c 139c 149c 159c 169c 169c 179c 189c ................
0001f0 199c 1a9c 1a9c 1b9c 1c9c 1d9c 1e9c 1f9c ................
000200 209c 219c 229c 239c 249c 259c 269c 279c .!.".#.$.%.&.'.
000210 289c 299c 2a9c 2b9c 2c9c 2d9c 2e9c 2f9c (.).*.+.,.-.../.
000220 309c 329c 339c 349c 359c 379c 389c 399c 0.2.3.4.5.7.8.9.
000230 3a9c 3c9c 3d9c 3f9c 409c 419c 439c 449c :.<.=.?.@.A.C.D.
000240 469c 479c 499c 4b9c 4c9c 4e9c 509c 529c F.G.I.K.L.N.P.R.
000250 539c 559c 579c 599c 5b9c 5d9c 5f9c 0380 S.U.W.Y.[.]._...
000260 aa95 1c7d 33e7 40a6 bf83 7a39 9628 d018 ...}3.@...z9.(..
000270 00df 4c28 dd3e b7e0 5a40 62d1 6ee7 89c3 ..L(.>..Z@b.n...
000280 a7a5 611f 588a 56f6 b74b b801 eb66 3b78 ..a.X.V..K...f;x
000290 500f 7817 7386 60e0 aeeb 931f 7397 620f P.x.s.`.....s.b.
0002a0 8fea 868f a816 44ae 1a0c 65cb 59b7 d65d ......D...e.Y..]
0002b0 7fe7 0c87 09d8 323d 1fa6 d3cf 7f63 3964 ......2=.....c9d
0002c0 6708 b548 3d1e 8453 1969 98d9 df5c 4210 g..H=..S.i...\B.
0002d0 f744 d545 7b0d e3c7 2d28 19ee 9ab6 99ea .D.E{...-(......
entropy sources:
accumulate: (src: [0] getrandom) 0a30 2f70 d329 0fc6
accumulate: (src: [0] getrandom) 80d3 01ef 881e 3eeb
(cd _build/default/tests && ./test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `21WEHWYU'.
[OK] ECDH P256 test vectors 0 1 - normal case.
[OK] ECDH P256 test vectors 1 2 - compressed ...
[OK] ECDH P256 test vectors 2 3 - edge case f...
[OK] ECDH P256 test vectors 3 4 - edge case f...
[OK] ECDH P256 test vectors 4 5 - edge case f...
[OK] ECDH P256 test vectors 5 6 - edge case f...
[OK] ECDH P256 test vectors 6 7 - edge case f...
[OK] ECDH P256 test vectors 7 8 - edge case f...
[OK] ECDH P256 test vectors 8 9 - edge case f...
[OK] ECDH P256 test vectors 9 10 - edge case ...
[OK] ECDH P256 test vectors 10 11 - edge case ...
[OK] ECDH P256 test vectors 11 12 - edge case ...
[OK] ECDH P256 test vectors 12 13 - edge case ...
[OK] ECDH P256 test vectors 13 14 - edge case ...
[OK] ECDH P256 test vectors 14 15 - edge case ...
[OK] ECDH P256 test vectors 15 16 - edge case ...
[OK] ECDH P256 test vectors 16 17 - edge case ...
[OK] ECDH P256 test vectors 17 18 - edge case ...
[OK] ECDH P256 test vectors 18 19 - y-coordina...
[OK] ECDH P256 test vectors 19 20 - y-coordina...
[OK] ECDH P256 test vectors 20 21 - y-coordina...
[OK] ECDH P256 test vectors 21 22 - y-coordina...
[OK] ECDH P256 test vectors 22 23 - y-coordina...
[OK] ECDH P256 test vectors 23 24 - y-coordina...
[OK] ECDH P256 test vectors 24 25 - y-coordina...
[OK] ECDH P256 test vectors 25 26 - y-coordina...
[OK] ECDH P256 test vectors 26 27 - y-coordina...
[OK] ECDH P256 test vectors 27 28 - y-coordina...
[OK] ECDH P256 test vectors 28 29 - y-coordina...
[OK] ECDH P256 test vectors 29 30 - y-coordina...
[OK] ECDH P256 test vectors 30 31 - edge cases...
[OK] ECDH P256 test vectors 31 32 - edge cases...
[OK] ECDH P256 test vectors 32 33 - edge cases...
[OK] ECDH P256 test vectors 33 34 - edge cases...
[OK] ECDH P256 test vectors 34 35 - edge cases...
[OK] ECDH P256 test vectors 35 36 - edge cases...
[OK] ECDH P256 test vectors 36 37 - edge cases...
[OK] ECDH P256 test vectors 37 38 - edge cases...
[OK] ECDH P256 test vectors 38 39 - edge cases...
[OK] ECDH P256 test vectors 39 40 - edge cases...
[OK] ECDH P256 test vectors 40 41 - edge cases...
[OK] ECDH P256 test vectors 41 42 - edge cases...
[OK] ECDH P256 test vectors 42 43 - edge cases...
[OK] ECDH P256 test vectors 43 44 - edge cases...
[OK] ECDH P256 test vectors 44 45 - edge cases...
[OK] ECDH P256 test vectors 45 46 - edge cases...
[OK] ECDH P256 test vectors 46 47 - edge cases...
[OK] ECDH P256 test vectors 47 48 - edge cases...
[OK] ECDH P256 test vectors 48 49 - edge cases...
[OK] ECDH P256 test vectors 49 50 - edge cases...
[OK] ECDH P256 test vectors 50 51 - edge cases...
[OK] ECDH P256 test vectors 51 52 - edge cases...
[OK] ECDH P256 test vectors 52 53 - edge cases...
[OK] ECDH P256 test vectors 53 54 - edge cases...
[OK] ECDH P256 test vectors 54 55 - edge cases...
[OK] ECDH P256 test vectors 55 56 - edge cases...
[OK] ECDH P256 test vectors 56 57 - edge cases...
[OK] ECDH P256 test vectors 57 58 - edge cases...
[OK] ECDH P256 test vectors 58 59 - point with...
[OK] ECDH P256 test vectors 59 60 - point with...
[OK] ECDH P256 test vectors 60 61 - point with...
[OK] ECDH P256 test vectors 61 62 - point with...
[OK] ECDH P256 test vectors 62 63 - point with...
[OK] ECDH P256 test vectors 63 64 - point with...
[OK] ECDH P256 test vectors 64 65 - point with...
[OK] ECDH P256 test vectors 65 66 - point with...
[OK] ECDH P256 test vectors 66 67 - point with...
[OK] ECDH P256 test vectors 67 68 - point with...
[OK] ECDH P256 test vectors 68 69 - point with...
[OK] ECDH P256 test vectors 69 70 - point with...
[OK] ECDH P256 test vectors 70 71 - point with...
[OK] ECDH P256 test vectors 71 72 - point with...
[OK] ECDH P256 test vectors 72 73 - point with...
[OK] ECDH P256 test vectors 73 74 - point with...
[OK] ECDH P256 test vectors 74 75 - point with...
[OK] ECDH P256 test vectors 75 76 - point with...
[OK] ECDH P256 test vectors 76 77 - point with...
[OK] ECDH P256 test vectors 77 78 - point with...
[OK] ECDH P256 test vectors 78 79 - point with...
[OK] ECDH P256 test vectors 79 80 - point with...
[OK] ECDH P256 test vectors 80 81 - point with...
[OK] ECDH P256 test vectors 81 82 - point with...
[OK] ECDH P256 test vectors 82 83 - point with...
[OK] ECDH P256 test vectors 83 84 - point with...
[OK] ECDH P256 test vectors 84 85 - point with...
[OK] ECDH P256 test vectors 85 86 - point with...
[OK] ECDH P256 test vectors 86 87 - point with...
[OK] ECDH P256 test vectors 87 88 - point with...
[OK] ECDH P256 test vectors 88 89 - point with...
[OK] ECDH P256 test vectors 89 90 - point with...
[OK] ECDH P256 test vectors 90 91 - point with...
[OK] ECDH P256 test vectors 91 92 - point with...
[OK] ECDH P256 test vectors 92 93 - point with...
[OK] ECDH P256 test vectors 93 94 - point with...
[OK] ECDH P256 test vectors 94 95 - point with...
[OK] ECDH P256 test vectors 95 96 - point with...
[OK] ECDH P256 test vectors 96 97 - point with...
[OK] ECDH P256 test vectors 97 98 - point with...
[OK] ECDH P256 test vectors 98 99 - point with...
[OK] ECDH P256 test vectors 99 100 - point wit...
[OK] ECDH P256 test vectors 100 101 - point wit...
[OK] ECDH P256 test vectors 101 102 - point wit...
[OK] ECDH P256 test vectors 102 103 - point wit...
[OK] ECDH P256 test vectors 103 104 - point wit...
[OK] ECDH P256 test vectors 104 105 - point wit...
[OK] ECDH P256 test vectors 105 106 - point wit...
[OK] ECDH P256 test vectors 106 107 - point wit...
[OK] ECDH P256 test vectors 107 108 - point wit...
[OK] ECDH P256 test vectors 108 109 - point wit...
[OK] ECDH P256 test vectors 109 110 - point wit...
[OK] ECDH P256 test vectors 110 111 - point wit...
[OK] ECDH P256 test vectors 111 112 - point wit...
[OK] ECDH P256 test vectors 112 113 - point wit...
[OK] ECDH P256 test vectors 113 114 - point wit...
[OK] ECDH P256 test vectors 114 115 - point wit...
[OK] ECDH P256 test vectors 115 116 - point wit...
[OK] ECDH P256 test vectors 116 117 - point wit...
[OK] ECDH P256 test vectors 117 118 - point wit...
[OK] ECDH P256 test vectors 118 119 - point wit...
[OK] ECDH P256 test vectors 119 120 - point wit...
[OK] ECDH P256 test vectors 120 121 - point wit...
[OK] ECDH P256 test vectors 121 122 - point wit...
[OK] ECDH P256 test vectors 122 123 - point wit...
[OK] ECDH P256 test vectors 123 124 - point wit...
[OK] ECDH P256 test vectors 124 125 - point wit...
[OK] ECDH P256 test vectors 125 126 - point wit...
[OK] ECDH P256 test vectors 126 127 - point wit...
[OK] ECDH P256 test vectors 127 128 - point wit...
[OK] ECDH P256 test vectors 128 129 - point wit...
[OK] ECDH P256 test vectors 129 130 - point wit...
[OK] ECDH P256 test vectors 130 131 - point wit...
[OK] ECDH P256 test vectors 131 132 - point wit...
[OK] ECDH P256 test vectors 132 133 - point wit...
[OK] ECDH P256 test vectors 133 134 - point wit...
[OK] ECDH P256 test vectors 134 135 - point wit...
[OK] ECDH P256 test vectors 135 136 - point wit...
[OK] ECDH P256 test vectors 136 137 - point wit...
[OK] ECDH P256 test vectors 137 138 - point wit...
[OK] ECDH P256 test vectors 138 139 - point wit...
[OK] ECDH P256 test vectors 139 140 - point wit...
[OK] ECDH P256 test vectors 140 141 - point wit...
[OK] ECDH P256 test vectors 141 142 - point wit...
[OK] ECDH P256 test vectors 142 143 - point wit...
[OK] ECDH P256 test vectors 143 144 - point wit...
[OK] ECDH P256 test vectors 144 145 - point wit...
[OK] ECDH P256 test vectors 145 146 - point wit...
[OK] ECDH P256 test vectors 146 147 - point wit...
[OK] ECDH P256 test vectors 147 148 - point wit...
[OK] ECDH P256 test vectors 148 149 - point wit...
[OK] ECDH P256 test vectors 149 150 - point wit...
[OK] ECDH P256 test vectors 150 151 - point wit...
[OK] ECDH P256 test vectors 151 152 - point wit...
[OK] ECDH P256 test vectors 152 153 - point wit...
[OK] ECDH P256 test vectors 153 154 - point wit...
[OK] ECDH P256 test vectors 154 155 - point wit...
[OK] ECDH P256 test vectors 155 156 - point wit...
[OK] ECDH P256 test vectors 156 157 - point wit...
[OK] ECDH P256 test vectors 157 158 - point wit...
[OK] ECDH P256 test vectors 158 159 - point wit...
[OK] ECDH P256 test vectors 159 160 - point wit...
[OK] ECDH P256 test vectors 160 161 - point wit...
[OK] ECDH P256 test vectors 161 162 - point wit...
[OK] ECDH P256 test vectors 162 163 - point wit...
[OK] ECDH P256 test vectors 163 164 - point wit...
[OK] ECDH P256 test vectors 164 165 - point wit...
[OK] ECDH P256 test vectors 165 166 - point wit...
[OK] ECDH P256 test vectors 166 167 - point wit...
[OK] ECDH P256 test vectors 167 168 - point wit...
[OK] ECDH P256 test vectors 168 169 - point wit...
[OK] ECDH P256 test vectors 169 170 - point wit...
[OK] ECDH P256 test vectors 170 171 - point wit...
[OK] ECDH P256 test vectors 171 172 - point wit...
[OK] ECDH P256 test vectors 172 173 - point wit...
[OK] ECDH P256 test vectors 173 174 - point wit...
[OK] ECDH P256 test vectors 174 175 - point wit...
[OK] ECDH P256 test vectors 175 176 - edge case...
[OK] ECDH P256 test vectors 176 177 - edge case...
[OK] ECDH P256 test vectors 177 178 - edge case...
[OK] ECDH P256 test vectors 178 179 - edge case...
[OK] ECDH P256 test vectors 179 180 - edge case...
[OK] ECDH P256 test vectors 180 181 - edge case...
[OK] ECDH P256 test vectors 181 182 - edge case...
[OK] ECDH P256 test vectors 182 183 - edge case...
[OK] ECDH P256 test vectors 183 184 - edge case...
[OK] ECDH P256 test vectors 184 185 - edge case...
[OK] ECDH P256 test vectors 185 186 - edge case...
[OK] ECDH P256 test vectors 186 187 - edge case...
[OK] ECDH P256 test vectors 187 188 - edge case...
[OK] ECDH P256 test vectors 188 189 - edge case...
[OK] ECDH P256 test vectors 189 190 - edge case...
[OK] ECDH P256 test vectors 190 191 - CVE-2017-...
[OK] ECDH P256 test vectors 191 192 - CVE-2017-...
[OK] ECDH P256 test vectors 192 193 - point is ...
[OK] ECDH P256 test vectors 193 194 - point is ...
[OK] ECDH P256 test vectors 194 195 - point is ...
[OK] ECDH P256 test vectors 195 196 - point is ...
[OK] ECDH P256 test vectors 196 197 - point is ...
[OK] ECDH P256 test vectors 197 198 - point is ...
[OK] ECDH P256 test vectors 198 199 - point is ...
[OK] ECDH P256 test vectors 199 200 - point is ...
[OK] ECDH P256 test vectors 200 201 - point is ...
[OK] ECDH P256 test vectors 201 202 - point is ...
[OK] ECDH P256 test vectors 202 203 - point is ...
[OK] ECDH P256 test vectors 203 204 - point is ...
[OK] ECDH P256 test vectors 204 205 - point is ...
[OK] ECDH P256 test vectors 205 206 - point is ...
[OK] ECDH P256 test vectors 206 207 - point is ...
[OK] ECDH P256 test vectors 207 208 - point is ...
[OK] ECDH P256 test vectors 208 209 - .
[OK] ECDH P256 test vectors 209 210 - public po...
[OK] ECDH P256 test vectors 210 211 - public po...
[OK] ECDH P256 test vectors 211 224 - using sec...
[OK] ECDH P256 test vectors 212 225 - using sec...
[OK] ECDH P256 test vectors 213 228 - Public ke...
[OK] ECDH P256 test vectors 214 229 - Public ke...
[OK] ECDH P256 test vectors 215 230 - Public ke...
[OK] ECDH P256 test vectors 216 231 - Public ke...
[OK] ECDH P256 test vectors 217 232 - Public ke...
[OK] ECDH P256 test vectors 218 233 - Public ke...
[OK] ECDH P256 test vectors 219 234 - Public ke...
[OK] ECDH P256 test vectors 220 235 - Public ke...
[OK] ECDH P256 test vectors 221 236 - Public ke...
[OK] ECDH P256 test vectors 222 237 - Public ke...
[OK] ECDH P256 test vectors 223 238 - Public ke...
[OK] ECDH P256 test vectors 224 239 - Public ke...
[OK] ECDH P256 test vectors 225 240 - Public ke...
[OK] ECDH P256 test vectors 226 241 - Public ke...
[OK] ECDH P256 test vectors 227 242 - Public ke...
[OK] ECDH P256 test vectors 228 243 - invalid p...
[OK] ECDH P256 test vectors 229 244 - public ke...
[OK] ECDH P256 test vectors 230 245 - public ke...
[OK] ECDH P256 test vectors 231 246 - public ke...
[OK] ECDH P256 test vectors 232 247 - public ke...
[OK] ECDH P256 test vectors 233 248 - public ke...
[OK] ECDH P256 test vectors 234 249 - public ke...
[OK] ECDSA P256 test vectors (SHA256) 0 1 - signature m...
[OK] ECDSA P256 test vectors (SHA256) 1 2 - Legacy:ASN ...
[OK] ECDSA P256 test vectors (SHA256) 2 3 - valid.
[OK] ECDSA P256 test vectors (SHA256) 3 4 - long form e...
[OK] ECDSA P256 test vectors (SHA256) 4 5 - length of s...
[OK] ECDSA P256 test vectors (SHA256) 5 6 - wrong lengt...
[OK] ECDSA P256 test vectors (SHA256) 6 7 - wrong lengt...
[OK] ECDSA P256 test vectors (SHA256) 7 8 - uint32 over...
[OK] ECDSA P256 test vectors (SHA256) 8 9 - uint64 over...
[OK] ECDSA P256 test vectors (SHA256) 9 10 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 10 11 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 11 12 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 12 13 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 13 14 - incorrect ...
[OK] ECDSA P256 test vectors (SHA256) 14 15 - indefinite...
[OK] ECDSA P256 test vectors (SHA256) 15 16 - indefinite...
[OK] ECDSA P256 test vectors (SHA256) 16 17 - indefinite...
[OK] ECDSA P256 test vectors (SHA256) 17 18 - removing s...
[OK] ECDSA P256 test vectors (SHA256) 18 19 - lonely seq...
[OK] ECDSA P256 test vectors (SHA256) 19 20 - appending ...
[OK] ECDSA P256 test vectors (SHA256) 20 21 - prepending...
[OK] ECDSA P256 test vectors (SHA256) 21 22 - appending ...
[OK] ECDSA P256 test vectors (SHA256) 22 23 - appending ...
[OK] ECDSA P256 test vectors (SHA256) 23 24 - including ...
[OK] ECDSA P256 test vectors (SHA256) 24 25 - including ...
[OK] ECDSA P256 test vectors (SHA256) 25 26 - including ...
[OK] ECDSA P256 test vectors (SHA256) 26 27 - including ...
[OK] ECDSA P256 test vectors (SHA256) 27 28 - including ...
[OK] ECDSA P256 test vectors (SHA256) 28 29 - including ...
[OK] ECDSA P256 test vectors (SHA256) 29 30 - including ...
[OK] ECDSA P256 test vectors (SHA256) 30 31 - including ...
[OK] ECDSA P256 test vectors (SHA256) 31 32 - including ...
[OK] ECDSA P256 test vectors (SHA256) 32 33 - including ...
[OK] ECDSA P256 test vectors (SHA256) 33 34 - including ...
[OK] ECDSA P256 test vectors (SHA256) 34 35 - including ...
[OK] ECDSA P256 test vectors (SHA256) 35 36 - including ...
[OK] ECDSA P256 test vectors (SHA256) 36 37 - including ...
[OK] ECDSA P256 test vectors (SHA256) 37 38 - including ...
[OK] ECDSA P256 test vectors (SHA256) 38 39 - truncated ...
[OK] ECDSA P256 test vectors (SHA256) 39 40 - using comp...
[OK] ECDSA P256 test vectors (SHA256) 40 41 - using comp...
[OK] ECDSA P256 test vectors (SHA256) 41 42 - using comp...
[OK] ECDSA P256 test vectors (SHA256) 42 43 - using comp...
[OK] ECDSA P256 test vectors (SHA256) 43 44 - using comp...
[OK] ECDSA P256 test vectors (SHA256) 44 45 - using comp...
[OK] ECDSA P256 test vectors (SHA256) 45 46 - Replacing ...
[OK] ECDSA P256 test vectors (SHA256) 46 47 - changing t...
[OK] ECDSA P256 test vectors (SHA256) 47 48 - changing t...
[OK] ECDSA P256 test vectors (SHA256) 48 49 - changing t...
[OK] ECDSA P256 test vectors (SHA256) 49 50 - changing t...
[OK] ECDSA P256 test vectors (SHA256) 50 51 - changing t...
[OK] ECDSA P256 test vectors (SHA256) 51 52 - dropping v...
[OK] ECDSA P256 test vectors (SHA256) 52 53 - using comp...
[OK] ECDSA P256 test vectors (SHA256) 53 54 - truncated ...
[OK] ECDSA P256 test vectors (SHA256) 54 55 - truncated ...
[OK] ECDSA P256 test vectors (SHA256) 55 56 - indefinite...
[OK] ECDSA P256 test vectors (SHA256) 56 57 - indefinite...
[OK] ECDSA P256 test vectors (SHA256) 57 58 - indefinite...
[OK] ECDSA P256 test vectors (SHA256) 58 59 - indefinite...
[OK] ECDSA P256 test vectors (SHA256) 59 60 - indefinite...
[OK] ECDSA P256 test vectors (SHA256) 60 61 - indefinite...
[OK] ECDSA P256 test vectors (SHA256) 61 62 - prepend em...
[OK] ECDSA P256 test vectors (SHA256) 62 63 - append emp...
[OK] ECDSA P256 test vectors (SHA256) 63 64 - append gar...
[OK] ECDSA P256 test vectors (SHA256) 64 65 - sequence o...
[OK] ECDSA P256 test vectors (SHA256) 65 66 - truncated ...
[OK] ECDSA P256 test vectors (SHA256) 66 67 - repeating ...
[OK] ECDSA P256 test vectors (SHA256) 67 68 - long form ...
[OK] ECDSA P256 test vectors (SHA256) 68 69 - long form ...
[OK] ECDSA P256 test vectors (SHA256) 69 70 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 70 71 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 71 72 - wrong leng...
[OK] ECDSA P256 test vectors (SHA256) 72 73 - wrong leng...
[OK] ECDSA P256 test vectors (SHA256) 73 74 - wrong leng...
[OK] ECDSA P256 test vectors (SHA256) 74 75 - wrong leng...
[OK] ECDSA P256 test vectors (SHA256) 75 76 - uint32 ove...
[OK] ECDSA P256 test vectors (SHA256) 76 77 - uint32 ove...
[OK] ECDSA P256 test vectors (SHA256) 77 78 - uint64 ove...
[OK] ECDSA P256 test vectors (SHA256) 78 79 - uint64 ove...
[OK] ECDSA P256 test vectors (SHA256) 79 80 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 80 81 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 81 82 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 82 83 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 83 84 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 84 85 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 85 86 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 86 87 - length of ...
[OK] ECDSA P256 test vectors (SHA256) 87 88 - incorrect ...
[OK] ECDSA P256 test vectors (SHA256) 88 89 - incorrect ...
[OK] ECDSA P256 test vectors (SHA256) 89 90 - removing i...
[OK] ECDSA P256 test vectors (SHA256) 90 91 - lonely int...
[OK] ECDSA P256 test vectors (SHA256) 91 92 - lonely int...
[OK] ECDSA P256 test vectors (SHA256) 92 93 - appending ...
[OK] ECDSA P256 test vectors (SHA256) 93 94 - appending ...
[OK] ECDSA P256 test vectors (SHA256) 94 95 - prepending...
[OK] ECDSA P256 test vectors (SHA256) 95 96 - prepending...
[OK] ECDSA P256 test vectors (SHA256) 96 97 - appending ...
[OK] ECDSA P256 test vectors (SHA256) 97 98 - appending ...
[OK] ECDSA P256 test vectors (SHA256) 98 99 - appending ...
[OK] ECDSA P256 test vectors (SHA256) 99 100 - truncated...
[OK] ECDSA P256 test vectors (SHA256) 100 101 - truncated...
[OK] ECDSA P256 test vectors (SHA256) 101 102 - Replacing...
[OK] ECDSA P256 test vectors (SHA256) 102 103 - Replacing...
[OK] ECDSA P256 test vectors (SHA256) 103 104 - changing ...
[OK] ECDSA P256 test vectors (SHA256) 104 105 - changing ...
[OK] ECDSA P256 test vectors (SHA256) 105 106 - changing ...
[OK] ECDSA P256 test vectors (SHA256) 106 107 - changing ...
[OK] ECDSA P256 test vectors (SHA256) 107 108 - changing ...
[OK] ECDSA P256 test vectors (SHA256) 108 109 - changing ...
[OK] ECDSA P256 test vectors (SHA256) 109 110 - changing ...
[OK] ECDSA P256 test vectors (SHA256) 110 111 - changing ...
[OK] ECDSA P256 test vectors (SHA256) 111 112 - changing ...
[OK] ECDSA P256 test vectors (SHA256) 112 113 - changing ...
[OK] ECDSA P256 test vectors (SHA256) 113 114 - dropping ...
[OK] ECDSA P256 test vectors (SHA256) 114 115 - dropping ...
[OK] ECDSA P256 test vectors (SHA256) 115 116 - using com...
[OK] ECDSA P256 test vectors (SHA256) 116 117 - using com...
[OK] ECDSA P256 test vectors (SHA256) 117 118 - modify fi...
[OK] ECDSA P256 test vectors (SHA256) 118 119 - modify fi...
[OK] ECDSA P256 test vectors (SHA256) 119 120 - modify la...
[OK] ECDSA P256 test vectors (SHA256) 120 121 - modify la...
[OK] ECDSA P256 test vectors (SHA256) 121 122 - truncated...
[OK] ECDSA P256 test vectors (SHA256) 122 123 - truncated...
[OK] ECDSA P256 test v
ctors (SHA256) 123 124 - truncated...
[OK] ECDSA P256 test vectors (SHA256) 124 125 - leading f...
[OK] ECDSA P256 test vectors (SHA256) 125 126 - leading f...
[OK] ECDSA P256 test vectors (SHA256) 126 127 - replaced ...
[OK] ECDSA P256 test vectors (SHA256) 127 128 - replaced ...
[OK] ECDSA P256 test vectors (SHA256) 128 129 - replacing...
[OK] ECDSA P256 test vectors (SHA256) 129 130 - replacing...
[OK] ECDSA P256 test vectors (SHA256) 130 131 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 131 132 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 132 133 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 133 134 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 134 135 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 135 136 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 136 137 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 137 138 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 138 139 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 139 140 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 140 141 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 141 142 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 142 143 - Modified ...
[OK] ECDSA P256 test vectors (SHA256) 143 144 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 144 145 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 145 146 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 146 147 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 147 148 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 148 149 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 149 150 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 150 151 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 151 152 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 152 153 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 153 154 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 154 155 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 155 156 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 156 157 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 157 158 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 158 159 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 159 160 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 160 161 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 161 162 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 162 163 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 163 164 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 164 165 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 165 166 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 166 167 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 167 168 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 168 169 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 169 170 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 170 171 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 171 172 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 172 173 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 173 174 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 174 175 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 175 176 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 176 177 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 177 178 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 178 179 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 179 180 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 180 181 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 181 182 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 182 183 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 183 184 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 184 185 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 185 186 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 186 187 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 187 188 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 188 189 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 189 190 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 190 191 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 191 192 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 192 193 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 193 194 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 194 195 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 195 196 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 196 197 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 197 198 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 198 199 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 199 200 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 200 201 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 201 202 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 202 203 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 203 204 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 204 205 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 205 206 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 206 207 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 207 208 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 208 209 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 209 210 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 210 211 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 211 212 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 212 213 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 213 214 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 214 215 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 215 216 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 216 217 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 217 218 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 218 219 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 219 220 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 220 221 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 221 222 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 222 223 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 223 224 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 224 225 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 225 226 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 226 227 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 227 228 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 228 229 - Signature...
[OK] ECDSA P256 test vectors (SHA256) 229 230 - Edge case...
[OK] ECDSA P256 test vectors (SHA256) 230 231 - special c...
[OK] ECDSA P256 test vectors (SHA256) 231 232 - special c...
[OK] ECDSA P256 test vectors (SHA256) 232 233 - special c...
[OK] ECDSA P256 test vectors (SHA256) 233 234 - special c...
[OK] ECDSA P256 test vectors (SHA256) 234 235 - special c...
[OK] ECDSA P256 test vectors (SHA256) 235 236 - special c...
[OK] ECDSA P256 test vectors (SHA256) 236 237 - special c...
[OK] ECDSA P256 test vectors (SHA256) 237 238 - special c...
[OK] ECDSA P256 test vectors (SHA256) 238 239 - special c...
[OK] ECDSA P256 test vectors (SHA256) 239 240 - special c...
[OK] ECDSA P256 test vectors (SHA256) 240 241 - special c...
[OK] ECDSA P256 test vectors (SHA256) 241 242 - special c...
[OK] ECDSA P256 test vectors (SHA256) 242 243 - special c...
[OK] ECDSA P256 test vectors (SHA256) 243 244 - special c...
[OK] ECDSA P256 test vectors (SHA256) 244 245 - special c...
[OK] ECDSA P256 test vectors (SHA256) 245 246 - special c...
[OK] ECDSA P256 test vectors (SHA256) 246 247 - special c...
[OK] ECDSA P256 test vectors (SHA256) 247 248 - special c...
[OK] ECDSA P256 test vectors (SHA256) 248 249 - special c...
[OK] ECDSA P256 test vectors (SHA256) 249 250 - special c...
[OK] ECDSA P256 test vectors (SHA256) 250 251 - special c...
[OK] ECDSA P256 test vectors (SHA256) 251 252 - special c...
[OK] ECDSA P256 test vectors (SHA256) 252 253 - special c...
[OK] ECDSA P256 test vectors (SHA256) 253 254 - special c...
[OK] ECDSA P256 test vectors (SHA256) 254 255 - special c...
[OK] ECDSA P256 test vectors (SHA256) 255 256 - special c...
[OK] ECDSA P256 test vectors (SHA256) 256 257 - special c...
[OK] ECDSA P256 test vectors (SHA256) 257 258 - special c...
[OK] ECDSA P256 test vectors (SHA256) 258 259 - special c...
[OK] ECDSA P256 test vectors (SHA256) 259 260 - special c...
[OK] ECDSA P256 test vectors (SHA256) 260 261 - special c...
[OK] ECDSA P256 test vectors (SHA256) 261 262 - special c...
[OK] ECDSA P256 test vectors (SHA256) 262 263 - special c...
[OK] ECDSA P256 test vectors (SHA256) 263 264 - special c...
[OK] ECDSA P256 test vectors (SHA256) 264 265 - special c...
[OK] ECDSA P256 test vectors (SHA256) 265 266 - special c...
[OK] ECDSA P256 test vectors (SHA256) 266 267 - special c...
[OK] ECDSA P256 test vectors (SHA256) 267 268 - special c...
[OK] ECDSA P256 test vectors (SHA256) 268 269 - special c...
[OK] ECDSA P256 test vectors (SHA256) 269 270 - special c...
...TRUNCATED BY DUNE...
[OK] X25519 test vectors 157 158 - special c...
[OK] X25519 test vectors 158 159 - special c...
[OK] X25519 test vectors 159 160 - special c...
[OK] X25519 test vectors 160 161 - special c...
[OK] X25519 test vectors 161 162 - special c...
[OK] X25519 test vectors 162 163 - special c...
[OK] X25519 test vectors 163 164 - special c...
[OK] X25519 test vectors 164 165 - D = 0 in ...
[OK] X25519 test vectors 165 166 - D = 0 in ...
[OK] X25519 test vectors 166 167 - special c...
[OK] X25519 test vectors 167 168 - special c...
[OK] X25519 test vectors 168 169 - special c...
[OK] X25519 test vectors 169 170 - special c...
[OK] X25519 test vectors 170 171 - special c...
[OK] X25519 test vectors 171 172 - special c...
[OK] X25519 test vectors 172 173 - special c...
[OK] X25519 test vectors 173 174 - special c...
[OK] X25519 test vectors 174 175 - special c...
[OK] X25519 test vectors 175 176 - special c...
[OK] X25519 test vectors 176 177 - special c...
[OK] X25519 test vectors 177 178 - special c...
[OK] X25519 test vectors 178 179 - special c...
[OK] X25519 test vectors 179 180 - special c...
[OK] X25519 test vectors 180 181 - special c...
[OK] X25519 test vectors 181 182 - special c...
[OK] X25519 test vectors 182 183 - special c...
[OK] X25519 test vectors 183 184 - special c...
[OK] X25519 test vectors 184 185 - special c...
[OK] X25519 test vectors 185 186 - special c...
[OK] X25519 test vectors 186 187 - special c...
[OK] X25519 test vectors 187 188 - special c...
[OK] X25519 test vectors 188 189 - special c...
[OK] X25519 test vectors 189 190 - special c...
[OK] X25519 test vectors 190 191 - special c...
[OK] X25519 test vectors 191 192 - special c...
[OK] X25519 test vectors 192 193 - special c...
[OK] X25519 test vectors 193 194 - special c...
[OK] X25519 test vectors 194 195 - special c...
[OK] X25519 test vectors 195 196 - special c...
[OK] X25519 test vectors 196 197 - special c...
[OK] X25519 test vectors 197 198 - special c...
[OK] X25519 test vectors 198 199 - special c...
[OK] X25519 test vectors 199 200 - special c...
[OK] X25519 test vectors 200 201 - special c...
[OK] X25519 test vectors 201 202 - special c...
[OK] X25519 test vectors 202 203 - special c...
[OK] X25519 test vectors 203 204 - special c...
[OK] X25519 test vectors 204 205 - special c...
[OK] X25519 test vectors 205 206 - special c...
[OK] X25519 test vectors 206 207 - special c...
[OK] X25519 test vectors 207 208 - special c...
[OK] X25519 test vectors 208 209 - special c...
[OK] X25519 test vectors 209 210 - special c...
[OK] X25519 test vectors 210 211 - special c...
[OK] X25519 test vectors 211 212 - special c...
[OK] X25519 test vectors 212 213 - special c...
[OK] X25519 test vectors 213 214 - special c...
[OK] X25519 test vectors 214 215 - special c...
[OK] X25519 test vectors 215 216 - special c...
[OK] X25519 test vectors 216 217 - special c...
[OK] X25519 test vectors 217 218 - special c...
[OK] X25519 test vectors 218 219 - special c...
[OK] X25519 test vectors 219 220 - special c...
[OK] X25519 test vectors 220 221 - special c...
[OK] X25519 test vectors 221 222 - special c...
[OK] X25519 test vectors 222 223 - special c...
[OK] X25519 test vectors 223 224 - special c...
[OK] X25519 test vectors 224 225 - special c...
[OK] X25519 test vectors 225 226 - special c...
[OK] X25519 test vectors 226 227 - special c...
[OK] X25519 test vectors 227 228 - special c...
[OK] X25519 test vectors 228 229 - special c...
[OK] X25519 test vectors 229 230 - special c...
[OK] X25519 test vectors 230 231 - special c...
[OK] X25519 test vectors 231 232 - special c...
[OK] X25519 test vectors 232 233 - special c...
[OK] X25519 test vectors 233 234 - special c...
[OK] X25519 test vectors 234 235 - special c...
[OK] X25519 test vectors 235 236 - special c...
[OK] X25519 test vectors 236 237 - special c...
[OK] X25519 test vectors 237 238 - special c...
[OK] X25519 test vectors 238 239 - special c...
[OK] X25519 test vectors 239 240 - special c...
[OK] X25519 test vectors 240 241 - special c...
[OK] X25519 test vectors 241 242 - special c...
[OK] X25519 test vectors 242 243 - special c...
[OK] X25519 test vectors 243 244 - special c...
[OK] X25519 test vectors 244 245 - special c...
[OK] X25519 test vectors 245 246 - special c...
[OK] X25519 test vectors 246 247 - special c...
[OK] X25519 test vectors 247 248 - special c...
[OK] X25519 test vectors 248 249 - special c...
[OK] X25519 test vectors 249 250 - special c...
[OK] X25519 test vectors 250 251 - special c...
[OK] X25519 test vectors 251 252 - special c...
[OK] X25519 test vectors 252 253 - special c...
[OK] X25519 test vectors 253 254 - special c...
[OK] X25519 test vectors 254 255 - special c...
[OK] X25519 test vectors 255 256 - special c...
[OK] X25519 test vectors 256 257 - special c...
[OK] X25519 test vectors 257 258 - special c...
[OK] X25519 test vectors 258 259 - special c...
[OK] X25519 test vectors 259 260 - special c...
[OK] X25519 test vectors 260 261 - special c...
[OK] X25519 test vectors 261 262 - special c...
[OK] X25519 test vectors 262 263 - special c...
[OK] X25519 test vectors 263 264 - special c...
[OK] X25519 test vectors 264 265 - special c...
[OK] X25519 test vectors 265 266 - special c...
[OK] X25519 test vectors 266 267 - special c...
[OK] X25519 test vectors 267 268 - special c...
[OK] X25519 test vectors 268 269 - special c...
[OK] X25519 test vectors 269 270 - special c...
[OK] X25519 test vectors 270 271 - special c...
[OK] X25519 test vectors 271 272 - special c...
[OK] X25519 test vectors 272 273 - special c...
[OK] X25519 test vectors 273 274 - special c...
[OK] X25519 test vectors 274 275 - special c...
[OK] X25519 test vectors 275 276 - special c...
[OK] X25519 test vectors 276 277 - special c...
[OK] X25519 test vectors 277 278 - special c...
[OK] X25519 test vectors 278 279 - special c...
[OK] X25519 test vectors 279 280 - special c...
[OK] X25519 test vectors 280 281 - special c...
[OK] X25519 test vectors 281 282 - special c...
[OK] X25519 test vectors 282 283 - special c...
[OK] X25519 test vectors 283 284 - special c...
[OK] X25519 test vectors 284 285 - special c...
[OK] X25519 test vectors 285 286 - special c...
[OK] X25519 test vectors 286 287 - special c...
[OK] X25519 test vectors 287 288 - special c...
[OK] X25519 test vectors 288 289 - special c...
[OK] X25519 test vectors 289 290 - special c...
[OK] X25519 test vectors 290 291 - special c...
[OK] X25519 test vectors 291 292 - special c...
[OK] X25519 test vectors 292 293 - special c...
[OK] X25519 test vectors 293 294 - special c...
[OK] X25519 test vectors 294 295 - special c...
[OK] X25519 test vectors 295 296 - special c...
[OK] X25519 test vectors 296 297 - special c...
[OK] X25519 test vectors 297 298 - special c...
[OK] X25519 test vectors 298 299 - special c...
[OK] X25519 test vectors 299 300 - special c...
[OK] X25519 test vectors 300 301 - special c...
[OK] X25519 test vectors 301 302 - special c...
[OK] X25519 test vectors 302 303 - special c...
[OK] X25519 test vectors 303 304 - special c...
[OK] X25519 test vectors 304 305 - special c...
[OK] X25519 test vectors 305 306 - special c...
[OK] X25519 test vectors 306 307 - special c...
[OK] X25519 test vectors 307 308 - special c...
[OK] X25519 test vectors 308 309 - special c...
[OK] X25519 test vectors 309 310 - special c...
[OK] X25519 test vectors 310 311 - special c...
[OK] X25519 test vectors 311 312 - special c...
[OK] X25519 test vectors 312 313 - special c...
[OK] X25519 test vectors 313 314 - special c...
[OK] X25519 test vectors 314 315 - special c...
[OK] X25519 test vectors 315 316 - special c...
[OK] X25519 test vectors 316 317 - special c...
[OK] X25519 test vectors 317 318 - special c...
[OK] X25519 test vectors 318 319 - special c...
[OK] X25519 test vectors 319 320 - special c...
[OK] X25519 test vectors 320 321 - special c...
[OK] X25519 test vectors 321 322 - special c...
[OK] X25519 test vectors 322 323 - special c...
[OK] X25519 test vectors 323 324 - special c...
[OK] X25519 test vectors 324 325 - special c...
[OK] X25519 test vectors 325 326 - special c...
[OK] X25519 test vectors 326 327 - special c...
[OK] X25519 test vectors 327 328 - special c...
[OK] X25519 test vectors 328 329 - special c...
[OK] X25519 test vectors 329 330 - special c...
[OK] X25519 test vectors 330 331 - special c...
[OK] X25519 test vectors 331 332 - special c...
[OK] X25519 test vectors 332 333 - special c...
[OK] X25519 test vectors 333 334 - special c...
[OK] X25519 test vectors 334 335 - special c...
[OK] X25519 test vectors 335 336 - special c...
[OK] X25519 test vectors 336 337 - special c...
[OK] X25519 test vectors 337 338 - special c...
[OK] X25519 test vectors 338 339 - special c...
[OK] X25519 test vectors 339 340 - special c...
[OK] X25519 test vectors 340 341 - special c...
[OK] X25519 test vectors 341 342 - special c...
[OK] X25519 test vectors 342 343 - special c...
[OK] X25519 test vectors 343 344 - special c...
[OK] X25519 test vectors 344 345 - special c...
[OK] X25519 test vectors 345 346 - special c...
[OK] X25519 test vectors 346 347 - special c...
[OK] X25519 test vectors 347 348 - special c...
[OK] X25519 test vectors 348 349 - special c...
[OK] X25519 test vectors 349 350 - special c...
[OK] X25519 test vectors 350 351 - special c...
[OK] X25519 test vectors 351 352 - special c...
[OK] X25519 test vectors 352 353 - special c...
[OK] X25519 test vectors 353 354 - special c...
[OK] X25519 test vectors 354 355 - special c...
[OK] X25519 test vectors 355 356 - special c...
[OK] X25519 test vectors 356 357 - special c...
[OK] X25519 test vectors 357 358 - special c...
[OK] X25519 test vectors 358 359 - special c...
[OK] X25519 test vectors 359 360 - special c...
[OK] X25519 test vectors 360 361 - special c...
[OK] X25519 test vectors 361 362 - special c...
[OK] X25519 test vectors 362 363 - special c...
[OK] X25519 test vectors 363 364 - special c...
[OK] X25519 test vectors 364 365 - special c...
[OK] X25519 test vectors 365 366 - special c...
[OK] X25519 test vectors 366 367 - special c...
[OK] X25519 test vectors 367 368 - special c...
[OK] X25519 test vectors 368 369 - special c...
[OK] X25519 test vectors 369 370 - special c...
[OK] X25519 test vectors 370 371 - special c...
[OK] X25519 test vectors 371 372 - special c...
[OK] X25519 test vectors 372 373 - special c...
[OK] X25519 test vectors 373 374 - special c...
[OK] X25519 test vectors 374 375 - special c...
[OK] X25519 test vectors 375 376 - special c...
[OK] X25519 test vectors 376 377 - special c...
[OK] X25519 test vectors 377 378 - special c...
[OK] X25519 test vectors 378 379 - special c...
[OK] X25519 test vectors 379 380 - special c...
[OK] X25519 test vectors 380 381 - special c...
[OK] X25519 test vectors 381 382 - special c...
[OK] X25519 test vectors 382 383 - special c...
[OK] X25519 test vectors 383 384 - special c...
[OK] X25519 test vectors 384 385 - special c...
[OK] X25519 test vectors 385 386 - special c...
[OK] X25519 test vectors 386 387 - special c...
[OK] X25519 test vectors 387 388 - special c...
[OK] X25519 test vectors 388 389 - special c...
[OK] X25519 test vectors 389 390 - special c...
[OK] X25519 test vectors 390 391 - special c...
[OK] X25519 test vectors 391 392 - special c...
[OK] X25519 test vectors 392 393 - special c...
[OK] X25519 test vectors 393 394 - special c...
[OK] X25519 test vectors 394 395 - special c...
[OK] X25519 test vectors 395 396 - special c...
[OK] X25519 test vectors 396 397 - special c...
[OK] X25519 test vectors 397 398 - special c...
[OK] X25519 test vectors 398 399 - special c...
[OK] X25519 test vectors 399 400 - special c...
[OK] X25519 test vectors 400 401 - special c...
[OK] X25519 test vectors 401 402 - special c...
[OK] X25519 test vectors 402 403 - special c...
[OK] X25519 test vectors 403 404 - special c...
[OK] X25519 test vectors 404 405 - special c...
[OK] X25519 test vectors 405 406 - special c...
[OK] X25519 test vectors 406 407 - special c...
[OK] X25519 test vectors 407 408 - special c...
[OK] X25519 test vectors 408 409 - special c...
[OK] X25519 test vectors 409 410 - special c...
[OK] X25519 test vectors 410 411 - special c...
[OK] X25519 test vectors 411 412 - special c...
[OK] X25519 test vectors 412 413 - special c...
[OK] X25519 test vectors 413 414 - special c...
[OK] X25519 test vectors 414 415 - special c...
[OK] X25519 test vectors 415 416 - special c...
[OK] X25519 test vectors 416 417 - special c...
[OK] X25519 test vectors 417 418 - special c...
[OK] X25519 test vectors 418 419 - special c...
[OK] X25519 test vectors 419 420 - special c...
[OK] X25519 test vectors 420 421 - special c...
[OK] X25519 test vectors 421 422 - special c...
[OK] X25519 test vectors 422 423 - special c...
[OK] X25519 test vectors 423 424 - special c...
[OK] X25519 test vectors 424 425 - special c...
[OK] X25519 test vectors 425 426 - special c...
[OK] X25519 test vectors 426 427 - special c...
[OK] X25519 test vectors 427 428 - special c...
[OK] X25519 test vectors 428 429 - special c...
[OK] X25519 test vectors 429 430 - special c...
[OK] X25519 test vectors 430 431 - special c...
[OK] X25519 test vectors 431 432 - special c...
[OK] X25519 test vectors 432 433 - special c...
[OK] X25519 test vectors 433 434 - special c...
[OK] X25519 test vectors 434 435 - special c...
[OK] X25519 test vectors 435 436 - special c...
[OK] X25519 test vectors 436 437 - special c...
[OK] X25519 test vectors 437 438 - special c...
[OK] X25519 test vectors 438 439 - special c...
[OK] X25519 test vectors 439 440 - special c...
[OK] X25519 test vectors 440 441 - special c...
[OK] X25519 test vectors 441 442 - special c...
[OK] X25519 test vectors 442 443 - special c...
[OK] X25519 test vectors 443 444 - special c...
[OK] X25519 test vectors 444 445 - special c...
[OK] X25519 test vectors 445 446 - special c...
[OK] X25519 test vectors 446 447 - special c...
[OK] X25519 test vectors 447 448 - special c...
[OK] X25519 test vectors 448 449 - special c...
[OK] X25519 test vectors 449 450 - special c...
[OK] X25519 test vectors 450 451 - special c...
[OK] X25519 test vectors 451 452 - special c...
[OK] X25519 test vectors 452 453 - special c...
[OK] X25519 test vectors 453 454 - special c...
[OK] X25519 test vectors 454 455 - special c...
[OK] X25519 test vectors 455 456 - special c...
[OK] X25519 test vectors 456 457 - special c...
[OK] X25519 test vectors 457 458 - special c...
[OK] X25519 test vectors 458 459 - special c...
[OK] X25519 test vectors 459 460 - special c...
[OK] X25519 test vectors 460 461 - special c...
[OK] X25519 test vectors 461 462 - special c...
[OK] X25519 test vectors 462 463 - special c...
[OK] X25519 test vectors 463 464 - special c...
[OK] X25519 test vectors 464 465 - special c...
[OK] X25519 test vectors 465 466 - special c...
[OK] X25519 test vectors 466 467 - special c...
[OK] X25519 test vectors 467 468 - special c...
[OK] X25519 test vectors 468 469 - special c...
[OK] X25519 test vectors 469 470 - special c...
[OK] X25519 test vectors 470 471 - special c...
[OK] X25519 test vectors 471 472 - special c...
[OK] X25519 test vectors 472 473 - special c...
[OK] X25519 test vectors 473 474 - special c...
[OK] X25519 test vectors 474 475 - special c...
[OK] X25519 test vectors 475 476 - special c...
[OK] X25519 test vectors 476 477 - special c...
[OK] X25519 test vectors 477 478 - special c...
[OK] X25519 test vectors 478 479 - special c...
[OK] X25519 test vectors 479 480 - special c...
[OK] X25519 test vectors 480 481 - special c...
[OK] X25519 test vectors 481 482 - special c...
[OK] X25519 test vectors 482 483 - special c...
[OK] X25519 test vectors 483 484 - special c...
[OK] X25519 test vectors 484 485 - special c...
[OK] X25519 test vectors 485 486 - special c...
[OK] X25519 test vectors 486 487 - special c...
[OK] X25519 test vectors 487 488 - special c...
[OK] X25519 test vectors 488 489 - special c...
[OK] X25519 test vectors 489 490 - special c...
[OK] X25519 test vectors 490 491 - special c...
[OK] X25519 test vectors 491 492 - special c...
[OK] X25519 test vectors 492 493 - special c...
[OK] X25519 test vectors 493 494 - special c...
[OK] X25519 test vectors 494 495 - special c...
[OK] X25519 test vectors 495 496 - special c...
[OK] X25519 test vectors 496 497 - special c...
[OK] X25519 test vectors 497 498 - special c...
[OK] X25519 test vectors 498 499 - special c...
[OK] X25519 test vectors 499 500 - special c...
[OK] X25519 test vectors 500 501 - special c...
[OK] X25519 test vectors 501 502 - special c...
[OK] X25519 test vectors 502 503 - special c...
[OK] X25519 test vectors 503 504 - special c...
[OK] X25519 test vectors 504 505 - special c...
[OK] X25519 test vectors 505 506 - special c...
[OK] X25519 test vectors 506 507 - special c...
[OK] X25519 test vectors 507 508 - special c...
[OK] X25519 test vectors 508 509 - special c...
[OK] X25519 test vectors 509 510 - special c...
[OK] X25519 test vectors 510 511 - private k...
[OK] X25519 test vectors 511 512 - private k...
[OK] X25519 test vectors 512 513 - special c...
[OK] X25519 test vectors 513 514 - special c...
[OK] X25519 test vectors 514 515 - special c...
[OK] X25519 test vectors 515 516 - special c...
[OK] X25519 test vectors 516 517 - special c...
[OK] X25519 test vectors 517 518 - special c...
[OK] ED25519 test vectors 0 1 - .
[OK] ED25519 test vectors 1 2 - .
[OK] ED25519 test vectors 2 3 - .
[OK] ED25519 test vectors 3 4 - .
[OK] ED25519 test vectors 4 5 - .
[OK] ED25519 test vectors 5 6 - .
[OK] ED25519 test vectors 6 7 - .
[OK] ED25519 test vectors 7 8 - .
[OK] ED25519 test vectors 8 9 - .
[OK] ED25519 test vectors 9 10 - special va...
[OK] ED25519 test vectors 10 11 - special va...
[OK] ED25519 test vectors 11 12 - special va...
[OK] ED25519 test vectors 12 13 - special va...
[OK] ED25519 test vectors 13 14 - special va...
[OK] ED25519 test vectors 14 15 - special va...
[OK] ED25519 test vectors 15 16 - special va...
[OK] ED25519 test vectors 16 17 - special va...
[OK] ED25519 test vectors 17 18 - special va...
[OK] ED25519 test vectors 18 19 - special va...
[OK] ED25519 test vectors 19 20 - special va...
[OK] ED25519 test vectors 20 21 - special va...
[OK] ED25519 test vectors 21 22 - special va...
[OK] ED25519 test vectors 22 23 - special va...
[OK] ED25519 test vectors 23 24 - special va...
[OK] ED25519 test vectors 24 25 - special va...
[OK] ED25519 test vectors 25 26 - special va...
[OK] ED25519 test vectors 26 27 - special va...
[OK] ED25519 test vectors 27 28 - special va...
[OK] ED25519 test vectors 28 29 - special va...
[OK] ED25519 test vectors 29 30 - empty sign...
[OK] ED25519 test vectors 30 31 - s missing.
[OK] ED25519 test vectors 31 32 - signature ...
[OK] ED25519 test vectors 32 33 - signature ...
[OK] ED25519 test vectors 33 34 - include pk...
[OK] ED25519 test vectors 34 35 - prepending...
[OK] ED25519 test vectors 35 36 - prepending...
[OK] ED25519 test vectors 36 37 - appending ...
[OK] ED25519 test vectors 37 38 - removing 0...
[OK] ED25519 test vectors 38 39 - removing 0...
[OK] ED25519 test vectors 39 40 - removing l...
[OK] ED25519 test vectors 40 41 - dropping b...
[OK] ED25519 test vectors 41 42 - modified b...
[OK] ED25519 test vectors 42 43 - modified b...
[OK] ED25519 test vectors 43 44 - modified b...
[OK] ED25519 test vectors 44 45 - modified b...
[OK] ED25519 test vectors 45 46 - modified b...
[OK] ED25519 test vectors 46 47 - modified b...
[OK] ED25519 test vectors 47 48 - modified b...
[OK] ED25519 test vectors 48 49 - modified b...
[OK] ED25519 test vectors 49 50 - modified b...
[OK] ED25519 test vectors 50 51 - modified b...
[OK] ED25519 test vectors 51 52 - modified b...
[OK] ED25519 test vectors 52 53 - modified b...
[OK] ED25519 test vectors 53 54 - modified b...
[OK] ED25519 test vectors 54 55 - modified b...
[OK] ED25519 test vectors 55 56 - modified b...
[OK] ED25519 test vectors 56 57 - modified b...
[OK] ED25519 test vectors 57 58 - modified b...
[OK] ED25519 test vectors 58 59 - modified b...
[OK] ED25519 test vectors 59 60 - R==0.
[OK] ED25519 test vectors 60 61 - invalid R.
[OK] ED25519 test vectors 61 62 - all bits f...
[OK] ED25519 test vectors 62 63 - checking m...
[OK] ED25519 test vectors 63 64 - checking m...
[OK] ED25519 test vectors 64 65 - checking m...
[OK] ED25519 test vectors 65 66 - checking m...
[OK] ED25519 test vectors 66 67 - checking m...
[OK] ED25519 test vectors 67 68 - checking m...
[OK] ED25519 test vectors 68 69 - checking m...
[OK] ED25519 test vectors 69 70 - checking m...
[OK] ED25519 test vectors 70 71 - .
[OK] ED25519 test vectors 71 72 - .
[OK] ED25519 test vectors 72 73 - .
[OK] ED25519 test vectors 73 74 - .
[OK] ED25519 test vectors 74 75 - .
[OK] ED25519 test vectors 75 76 - .
[OK] ED25519 test vectors 76 77 - .
[OK] ED25519 test vectors 77 78 - .
[OK] ED25519 test vectors 78 79 - .
[OK] ED25519 test vectors 79 80 - draft-jose...
[OK] ED25519 test vectors 80 81 - draft-jose...
[OK] ED25519 test vectors 81 82 - draft-jose...
[OK] ED25519 test vectors 82 83 - draft-jose...
[OK] ED25519 test vectors 83 84 - Random tes...
[OK] ED25519 test vectors 84 85 - Random tes...
[OK] ED25519 test vectors 85 86 - Random tes...
[OK] ED25519 test vectors 86 87 - Random tes...
[OK] ED25519 test vectors 87 88 - Random tes...
[OK] ED25519 test vectors 88 89 - Random tes...
[OK] ED25519 test vectors 89 90 - Random tes...
[OK] ED25519 test vectors 90 91 - Random tes...
[OK] ED25519 test vectors 91 92 - Random tes...
[OK] ED25519 test vectors 92 93 - Random tes...
[OK] ED25519 test vectors 93 94 - Random tes...
[OK] ED25519 test vectors 94 95 - Random tes...
[OK] ED25519 test vectors 95 96 - Random tes...
[OK] ED25519 test vectors 96 97 - Random tes...
[OK] ED25519 test vectors 97 98 - Random tes...
[OK] ED25519 test vectors 98 99 - Random tes...
[OK] ED25519 test vectors 99 100 - Random te...
[OK] ED25519 test vectors 100 101 - Random te...
[OK] ED25519 test vectors 101 102 - Random te...
[OK] ED25519 test vectors 102 103 - Random te...
[OK] ED25519 test vectors 103 104 - Random te...
[OK] ED25519 test vectors 104 105 - Random te...
[OK] ED25519 test vectors 105 106 - Random te...
[OK] ED25519 test vectors 106 107 - Random te...
[OK] ED25519 test vectors 107 108 - Random te...
[OK] ED25519 test vectors 108 109 - Random te...
[OK] ED25519 test vectors 109 110 - Random te...
[OK] ED25519 test vectors 110 111 - Random te...
[OK] ED25519 test vectors 111 112 - Test case...
[OK] ED25519 test vectors 112 113 - Test case...
[OK] ED25519 test vectors 113 114 - Test case...
[OK] ED25519 test vectors 114 115 - Test case...
[OK] ED25519 test vectors 115 116 - Test case...
[OK] ED25519 test vectors 116 117 - regressio...
[OK] ED25519 test vectors 117 118 - regressio...
[OK] ED25519 test vectors 118 119 - regressio...
[OK] ED25519 test vectors 119 120 - regressio...
[OK] ED25519 test vectors 120 121 - regressio...
[OK] ED25519 test vectors 121 122 - regressio...
[OK] ED25519 test vectors 122 123 - regressio...
[OK] ED25519 test vectors 123 124 - regressio...
[OK] ED25519 test vectors 124 125 - regressio...
[OK] ED25519 test vectors 125 126 - regressio...
[OK] ED25519 test vectors 126 127 - regressio...
[OK] ED25519 test vectors 127 128 - regressio...
[OK] ED25519 test vectors 128 129 - regressio...
[OK] ED25519 test vectors 129 130 - regressio...
[OK] ED25519 test vectors 130 131 - regressio...
[OK] ED25519 test vectors 131 132 - regressio...
[OK] ED25519 test vectors 132 133 - regressio...
[OK] ED25519 test vectors 133 134 - regressio...
[OK] ED25519 test vectors 134 135 - regressio...
[OK] ED25519 test vectors 135 136 - regressio...
[OK] ED25519 test vectors 136 137 - regressio...
[OK] ED25519 test vectors 137 138 - regressio...
[OK] ED25519 test vectors 138 139 - regressio...
[OK] ED25519 test vectors 139 140 - regressio...
[OK] ED25519 test vectors 140 141 - regressio...
[OK] ED25519 test vectors 141 142 - regressio...
[OK] ED25519 test vectors 142 143 - regressio...
[OK] ED25519 test vectors 143 144 - regressio...
[OK] ED25519 test vectors 144 145 - regressio...
Full test results in `~/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.
Test Successful in 1.793s. 3502 tests run.
(cd _build/default/tests && ./test_entropy_collection.exe)
reseeding:
000000 00c8 bccd cacd dacd e8cd f7cd 06ce 16ce ................
000010 26ce 37ce 48ce 5ace 6cce 7fce 92ce a6ce &.7.H.Z.l.......
000020 bace cfce e5ce fbce 12cf 29cf 42cf 5acf ..........).B.Z.
000030 74cf 8ecf aacf c5cf e2cf 00d0 01d0 01d0 t...............
000040 02d0 03d0 04d0 05d0 06d0 07d0 07d0 08d0 ................
000050 09d0 0ad0 0bd0 0cd0 0ed0 0fd0 10d0 11d0 ................
000060 12d0 14d0 15d0 16d0 18d0 19d0 1bd0 1cd0 ................
000070 1dd0 1fd0 20d0 22d0 24d0 25d0 27d0 29d0 .... .".$.%.'.).
000080 2bd0 2cd0 2ed0 30d0 32d0 34d0 37d0 39d0 +.,...0.2.4.7.9.
000090 3bd0 3ed0 40d0 43d0 45d0 48d0 4bd0 4dd0 ;.>.@.C.E.H.K.M.
0000a0 50d0 53d0 56d0 5ad0 5dd0 60d0 64d0 67d0 P.S.V.Z.].`.d.g.
0000b0 6bd0 6fd0 73d0 77d0 7bd0 7fd0 83d0 88d0 k.o.s.w.{.......
0000c0 8dd0 91d0 96d0 9bd0 a0d0 01c8 a8d0 aed0 ................
0000d0 b3d0 b9d0 bfd0 c6d0 ccd0 d3d0 d9d0 e0d0 ................
0000e0 e8d0 efd0 f7d0 fed0 06d1 0fd1 17d1 20d1 .............. .
0000f0 29d1 32d1 3cd1 46d1 50d1 5ad1 65d1 70d1 ).2.<.F.P.Z.e.p.
000100 7cd1 87d1 93d1 a0d1 acd1 bad1 c7d1 d5d1 |...............
000110 e3d1 f2d1 01d2 11d2 21d2 31d2 42d2 54d2 ........!.1.B.T.
000120 66d2 78d2 8bd2 a0d2 b4d2 c9d2 ded2 f4d2 f.x.............
000130 0bd3 22d3 3ad3 53d3 6cd3 87d3 a1d3 bdd3 ..".:.S.l.......
000140 dad3 f7d3 15d4 16d4 18d4 19d4 1ad4 1cd4 ................
000150 1dd4 1fd4 20d4 22d4 23d4 25d4 26d4 28d4 .... .".#.%.&.(.
000160 2ad4 2cd4 2ed4 30d4 32d4 34d4 36d4 38d4 *.,...0.2.4.6.8.
000170 3bd4 3dd4 3fd4 42d4 44d4 47d4 4ad4 4dd4 ;.=.?.B.D.G.J.M.
000180 50d4 53d4 56d4 59d4 5cd4 5fd4 63d4 66d4 P.S.V.Y.\._.c.f.
000190 6ad4 6ed4 02c8 74d4 79d4 7dd4 81d4 85d4 j.n...t.y.}.....
0001a0 8ad4 8fd4 94d4 99d4 9ed4 a3d4 a8d4 aed4 ................
0001b0 b4d4 b9d4 c0d4 c6d4 ccd4 d3d4 dad4 e1d4 ................
0001c0 e8d4 efd4 f7d4 ffd4 07d5 0fd5 18d5 20d5 .............. .
0001d0 2ad5 33d5 3cd5 46d5 50d5 5bd5 66d5 70d5 *.3.<.F.P.[.f.p.
0001e0 7bd5 87d5 93d5 9fd5 acd5 b9d5 c7d5 d4d5 {...............
0001f0 e3d5 f1d5 01d6 10d6 20d6 31d6 42d6 53d6 ........ .1.B.S.
000200 65d6 78d6 8bd6 9ed6 b2d6 c7d6 dcd6 f2d6 e.x.............
000210 09d7 20d7 38d7 51d7 6ad7 84d7 9fd7 bbd7 .. .8.Q.j.......
000220 d7d7 f4d7 12d8 14d8 15d8 16d8 17d8 19d8 ................
000230 1ad8 1bd8 1dd8 1ed8 20d8 21d8 23d8 25d8 ........ .!.#.%.
000240 26d8 28d8 2ad8 2cd8 2ed8 2fd8 31d8 34d8 &.(.*.,.../.1.4.
000250 36d8 38d8 3ad8 3dd8 3fd8 42d8 44d8 03c8 6.8.:.=.?.B.D...
000260 49d8 4cd8 4fd8 52d8 55d8 58d8 5bd8 5fd8 I.L.O.R.U.X.[._.
000270 62d8 66d8 69d8 6dd8 71d8 75d8 79d8 7dd8 b.f.i.m.q.u.y.}.
000280 81d8 86d8 8ad8 8fd8 94d8 99d8 9ed8 a3d8 ................
000290 a8d8 aed8 b4d8 bad8 c0d8 c6d8 ccd8 d3d8 ................
0002a0 dad8 e1d8 e8d8 efd8 f7d8 ffd8 07d9 0fd9 ................
0002b0 18d9 21d9 2ad9 33d9 3dd9 47d9 51d9 5bd9 ..!.*.3.=.G.Q.[.
0002c0 66d9 71d9 7cd9 88d9 94d9 a1d9 add9 bbd9 f.q.|...........
0002d0 c8d9 d6d9 e4d9 f3d9 02da 12da 22da 33da ............".3.
0002e0 44da 55da 67da 7ada 8dda a0da b5da c9da D.U.g.z.........
0002f0 dfda f5da 0cdb 23db 3adb 53db 6cdb 86db ......#.:.S.l...
000300 a1db bddb d9db f7db 15dc 16dc 17dc 18dc ................
000310 1adc 1bdc 1ddc 1edc 1fdc 21dc 23dc 24dc ..........!.#.$.
000320 26dc 28dc 29dc 2bdc &.(.).+.
entropy sources: [0] timer
accumulate: (src: [0] timer) e01e b712
(cd _build/default/tests && ./test_miou_rng.exe)
32 bit random number: f8c9ea556a2bcf78fb91ab90220717477f75fb9df14b9d511a3e5e531b17eac9
16 bit random number: 1fc3d744833f6b2ee553551757291ede
(cd _build/default/tests && ./test_pk_runner.exe)
.......................................................................................................................................................................................................................................................................................................................................................................
Ran: 359 tests in: 1.16 seconds.
OK
"/usr/bin/env" "bash" "-c" "cd ./src && opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1
2025-01-08 13:23.25: Job failed: Failed: Build failed