(for PR #29582)
2026-03-25 13:15.03: New job: test callipyge.0.2 with ocaml-compiler.5.4.0~rc1, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29582/head (fa5fb3a6a806e832e4c7791145889a6bbe8b64ef)
on debian-13-ocaml-5.4/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29582/head" && git reset --hard fa5fb3a6
git fetch origin master
git merge --no-edit 2f93e9d4614d6376ed929fc2cee7c59cb9d5833b
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn ocaml-compiler.5.4.0~rc1 5.4.0~rc1
RUN opam reinstall --update-invariant ocaml-compiler.5.4.0~rc1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ocaml-compiler.5.4.0~rc1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall callipyge.0.2; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'callipyge.0.2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test callipyge.0.2) || true
RUN opam reinstall --with-test --verbose callipyge.0.2; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'callipyge.0.2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-03-25 13:15.03: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6-ocaml-compiler.5.4.0~rc1-callipyge.0.2-fa5fb3a6a806e832e4c7791145889a6bbe8b64ef"
2026-03-25 13:15.03: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn ocaml-compiler.5.4.0~rc1 5.4.0~rc1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall --update-invariant ocaml-compiler.5.4.0~rc1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocaml-compiler.5.4.0~rc1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall callipyge.0.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'callipyge.0.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test callipyge.0.2) || true"))
(run (shell "opam reinstall --with-test --verbose callipyge.0.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'callipyge.0.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-03-25 13:15.03: Waiting for resource in pool OCluster
2026-03-25 21:43.03: Waiting for worker…
2026-03-25 21:45.29: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 2f93e9d461 Merge pull request #29592 from dinosaure/release-miou-v0.5.5
Merge made by the 'ort' strategy.
packages/ocaml-compiler/ocaml-compiler.5.3.0/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.3/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.4.0/opam | 5 ++++-
.../ocaml-compiler/ocaml-compiler.5.4.0~alpha1/opam | 5 ++++-
.../ocaml-compiler/ocaml-compiler.5.4.0~beta1/opam | 5 ++++-
.../ocaml-compiler/ocaml-compiler.5.4.0~beta2/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.4.0~rc1/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.4.1/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.4/opam | 5 ++++-
.../ocaml-compiler/ocaml-compiler.5.5.0~alpha1/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.5/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.6/opam | 5 ++++-
packages/ocaml-option-llvm/ocaml-option-llvm.1/opam | 18 ++++++++++++++++++
.../ocaml-options-vanilla/ocaml-options-vanilla.1/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.2.0+msvc/opam | 2 ++
15 files changed, 69 insertions(+), 12 deletions(-)
create mode 100644 packages/ocaml-option-llvm/ocaml-option-llvm.1/opam
(from ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6)
2026-03-25 21:45.32 ---> using "41eea30e3f639c18d8cf57c309ec76919ec7b2398036f7e41744cbce59a133d3" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-03-25 21:45.32 ---> using "4ad7f430d684c40cedc651267e0edf890c044fe4e624255de377c471b4526bac" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-03-25 21:45.32 ---> using "71fa58e52457bf6a7eac317c6a6ef1e2bdf53e533a1e4fd04b90c9349347e038" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# invariant ["ocaml-base-compiler" {= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2026-03-25 21:45.32 ---> using "ed86081cb38ca125a920162bfe6a4bb7b1c27c6973c917551687c83cf44dbfdf" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-03-25 21:45.32 ---> using "04a48515eea40c32b96da0c71328b4bba0edb66eed83d4f78554b39097cf1f25" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-03-25 21:45.33 ---> using "034191995d824300f355cbba1072d6e5fe6d815701f24eb84d82c75009d73829" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-03-25 21:45.33 ---> using "8232259ea36ea8848dc29ae49703acf145fd27b40f3ebd8fb785db7f8da1b9d4" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian trixie/main amd64 Packages [9671 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [114 kB]
- Fetched 10.0 MB in 1s (10.9 MB/s)
- Reading package lists...
-
2026-03-25 21:45.33 ---> using "a75782a571df4fc8f8933e94c681af881015ee87cdd4c652f8ae9af1d8cfad37" from cache
/home/opam: (run (shell "opam pin add -k version -yn ocaml-compiler.5.4.0~rc1 5.4.0~rc1"))
ocaml-compiler is now pinned to version 5.4.0~rc1
2026-03-25 21:45.33 ---> using "27ab7a5f0bff149d4782fba34c0f12f25c2745e4b7ce18ded4528e7b01215403" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall --update-invariant ocaml-compiler.5.4.0~rc1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocaml-compiler.5.4.0~rc1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
ocaml-compiler.5.4.0~rc1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== remove 1 package
- remove ocaml-base-compiler 5.4.0 (pinned) [conflicts with ocaml-compiler]
=== downgrade 1 package
- downgrade ocaml-compiler 5.4.0 to 5.4.0~rc1 (pinned)
=== recompile 6 packages
- recompile base-domains base [uses ocaml]
- recompile base-effects base [uses ocaml]
- recompile base-nnp base [uses base-domains]
- recompile ocaml 5.4.0 [uses ocaml-base-compiler]
- recompile ocaml-config 3 [uses ocaml-base-compiler]
- recompile opam-depext 1.2.3 [uses ocaml]
=== install 1 package
- install ocaml-variants 5.4.0~rc1+options [required by ocaml]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-compiler.5.4.0~rc1 (cached)
-> retrieved ocaml-config.3 (cached)
-> retrieved opam-depext.1.2.3 (cached)
-> removed base-effects.base
-> removed base-nnp.base
-> removed base-domains.base
-> removed opam-depext.1.2.3
-> removed ocaml.5.4.0
-> removed ocaml-config.3
-> removed ocaml-base-compiler.5.4.0
-> removed ocaml-compiler.5.4.0
-> installed ocaml-compiler.5.4.0~rc1
-> installed ocaml-variants.5.4.0~rc1+options
-> installed ocaml-config.3
-> installed ocaml.5.4.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
-> installed opam-depext.1.2.3
[NOTE] Switch invariant was updated to ["ocaml-variants" {= "5.4.0~rc1+options"}]
Use `opam switch set-invariant' to change it.
Done.
<><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# To update the current shell environment, run: eval $(opam env)
2026-03-25 21:45.33 ---> using "b49b6ed909e77c558f677915e871ebeabba006ff37f3f132a79670cd2a9f5db8" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall callipyge.0.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'callipyge.0.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
callipyge.0.2 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 7 packages
- install callipyge 0.2
- install dune 3.22.0 [required by callipyge]
- install eqaf 0.10 [required by callipyge]
- install fmt 0.11.0 [required by callipyge]
- install ocamlbuild 0.16.1 [required by fmt]
- install ocamlfind 1.9.8 [required by fmt]
- install topkg 1.1.1 [required by fmt]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved callipyge.0.2 (https://opam.ocaml.org/cache)
-> retrieved dune.3.22.0 (cached)
-> retrieved eqaf.0.10 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved topkg.1.1.1 (cached)
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed dune.3.22.0
-> installed eqaf.0.10
-> installed callipyge.0.2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-25 21:46.03 ---> saved as "9fbf70878633f5d700004b5d1f307d7ea84e8b5fe33570655b9814b9f8bc8afe"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test callipyge.0.2) || true"))
The following actions will be performed:
=== recompile 2 packages
- recompile callipyge 0.2
- recompile fmt 0.11.0 [uses cmdliner]
=== install 7 packages
- install alcotest 1.9.1 [required by callipyge]
- install astring 0.8.5 [required by alcotest]
- install cmdliner 2.1.0 [required by alcotest]
- install ocaml-syntax-shims 1.0.0 [required by alcotest]
- install re 1.14.0 [required by alcotest]
- install stdlib-shims 0.3.0 [required by alcotest]
- install uutf 1.0.4 [required by alcotest]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.9.1 (https://opam.ocaml.org/cache)
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved callipyge.0.2 (https://opam.ocaml.org/cache)
-> retrieved cmdliner.2.1.0 (https://opam.ocaml.org/cache)
-> retrieved fmt.0.11.0 (https://opam.ocaml.org/cache)
-> retrieved ocaml-syntax-shims.1.0.0 (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0 (https://opam.ocaml.org/cache)
-> retrieved stdlib-shims.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved uutf.1.0.4 (https://opam.ocaml.org/cache)
-> installed stdlib-shims.0.3.0
-> installed ocaml-syntax-shims.1.0.0
-> installed re.1.14.0
-> installed astring.0.8.5
-> removed callipyge.0.2
-> removed fmt.0.11.0
-> installed cmdliner.2.1.0
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed alcotest.1.9.1
-> installed callipyge.0.2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-25 21:46.20 ---> saved as "faa93b959ccadd7ec612215c1966d532d883a5103529f4b75218fe87c39302bf"
/home/opam: (run (shell "opam reinstall --with-test --verbose callipyge.0.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'callipyge.0.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile callipyge 0.2
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [callipyge.0.2: extract]
-> retrieved callipyge.0.2 (cached)
Processing 2/4: [callipyge: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "callipyge" "-j" "255" (CWD=/home/opam/.opam/5.4/.opam-switch/build/callipyge.0.2)
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I lib/.callipyge.objs/byte -I /home/opam/.opam/5.4/lib/eqaf -I /home/opam/.opam/5.4/lib/fmt -cmi-file lib/.callipyge.objs/byte/callipyge.cmi -no-alias-deps -open Callipyge__ -o lib/.callipyge.objs/byte/callipyge.cmo -c -impl lib/callipyge.ml)
- File "lib/callipyge.ml", line 376, characters 5-12:
- 376 | let[@noalloc] [@inline] public_key_of_shared x = identity x
- ^^^^^^^
- Warning 53 [misplaced-attribute]: the noalloc attribute cannot appear in this context
-
- File "lib/callipyge.ml", line 377, characters 5-12:
- 377 | let[@noalloc] [@inline] secret_key_of_shared x = identity x
- ^^^^^^^
- Warning 53 [misplaced-attribute]: the noalloc attribute cannot appear in this context
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w -40 -g -I lib/.callipyge.objs/byte -I lib/.callipyge.objs/native -I /home/opam/.opam/5.4/lib/eqaf -I /home/opam/.opam/5.4/lib/fmt -cmi-file lib/.callipyge.objs/byte/callipyge.cmi -no-alias-deps -open Callipyge__ -o lib/.callipyge.objs/native/callipyge.cmx -c -impl lib/callipyge.ml)
- File "lib/callipyge.ml", line 376, characters 5-12:
- 376 | let[@noalloc] [@inline] public_key_of_shared x = identity x
- ^^^^^^^
- Warning 53 [misplaced-attribute]: the noalloc attribute cannot appear in this context
-
- File "lib/callipyge.ml", line 377, characters 5-12:
- 377 | let[@noalloc] [@inline] secret_key_of_shared x = identity x
- ^^^^^^^
- Warning 53 [misplaced-attribute]: the noalloc attribute cannot appear in this context
Processing 2/4: [callipyge: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "callipyge" "-j" "255" (CWD=/home/opam/.opam/5.4/.opam-switch/build/callipyge.0.2)
- (cd _build/default/test && ./test.exe --color=always)
- Testing `ECDH'.
- This run has ID `1C9LVUAM'.
-
- [OK] 5 steps 0 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 5 steps 1 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 5 steps 2 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 5 steps 3 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 5 steps 4 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 10 steps 0 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 10 steps 1 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 10 steps 2 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 10 steps 3 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 10 steps 4 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 10 steps 5 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 10 steps 6 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 10 steps 7 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 10 steps 8 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 10 steps 9 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 0 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 1 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 2 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 3 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 4 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 5 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 6 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 7 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 8 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 9 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 10 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 11 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 12 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 13 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 14 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 15 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 16 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 17 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 18 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 20 steps 19 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 0 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 1 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 2 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 3 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 4 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 5 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 6 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 7 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 8 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 9 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 10 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 11 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 12 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 13 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 14 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 15 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 16 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 17 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 18 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 19 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 20 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 21 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 22 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 23 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 24 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 25 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 26 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 27 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 28 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 29 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 30 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 31 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 32 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 33 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 34 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 35 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 36 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 37 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 38 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 40 steps 39 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 0 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 1 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 2 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 3 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 4 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 5 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 6 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 7 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 8 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 9 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 10 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 11 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 12 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 13 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 14 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 15 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 16 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 17 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 18 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 19 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 20 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 21 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 22 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 23 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 24 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 25 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 26 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 27 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 28 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 29 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 30 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 31 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 32 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 33 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 34 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 35 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 36 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 37 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 38 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 39 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 40 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 41 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 42 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 43 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 44 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 45 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 46 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 47 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 48 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 49 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 50 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 51 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 52 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 53 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 54 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 55 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 56 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 57 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 58 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 59 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 60 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 61 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 62 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 63 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 64 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 65 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 66 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 67 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 68 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 69 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 70 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 71 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 72 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 73 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 74 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 75 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 76 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 77 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 78 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 80 steps 79 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 0 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 1 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 2 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 3 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 4 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 5 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 6 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 7 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 8 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 9 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 10 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 11 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 12 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 13 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 14 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 15 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 16 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 17 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 18 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 19 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 20 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 21 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 22 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 23 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 24 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 25 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 26 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 27 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 28 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 29 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 30 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 31 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 32 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 33 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 34 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 35 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 36 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 37 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 38 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 39 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 40 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 41 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 42 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 43 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 44 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 45 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 46 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 47 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 48 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 49 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 50 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 51 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 52 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 53 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 54 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 55 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 56 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 57 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 58 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 59 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 60 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 61 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 62 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 63 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 64 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 65 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 66 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 67 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 68 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 69 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 70 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 71 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 72 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 73 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 74 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 75 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 76 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 77 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 78 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 79 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 80 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 81 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 82 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 83 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 84 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 85 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 86 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 87 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 88 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 89 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 90 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 91 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 92 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 93 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 94 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 95 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 96 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 97 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 98 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 99 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 100 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 101 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 102 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 103 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 104 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 105 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 106 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 107 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 108 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 109 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 110 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 111 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 112 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 113 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 114 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 115 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 116 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 117 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 118 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 119 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 120 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 121 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 122 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 123 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 124 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 125 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 126 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 127 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 128 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 129 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 130 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 131 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 132 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 133 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 134 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 135 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 136 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 137 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 138 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 139 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 140 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 141 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 142 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 143 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 144 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 145 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 146 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 147 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 148 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 149 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 150 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 151 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 152 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 153 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 154 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 155 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 156 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 157 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 158 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] 160 steps 159 ecdh(e2, ecdh(e1, k)) = ecdh(e1, ecdh(...
- [OK] nacl 0 alice.
- [OK] nacl 1 bob.
- [OK] nacl 2 shared.
- [OK] oracle 0 oracle.
- [OK] oracle 1 oracle.
- [OK] oracle 2 oracle.
- [OK] oracle 3 oracle.
- [OK] oracle 4 oracle.
- [OK] oracle 5 oracle.
- [OK] oracle 6 oracle.
- [OK] oracle 7 oracle.
- [OK] oracle 8 oracle.
- [OK] oracle 9 oracle.
- [OK] oracle 10 oracle.
- [OK] oracle 11 oracle.
- [OK] oracle 12 oracle.
- [OK] oracle 13 oracle.
- [OK] oracle 14 oracle.
- [OK] oracle 15 oracle.
- [OK] oracle 16 oracle.
- [OK] oracle 17 oracle.
- [OK] oracle 18 oracle.
- [OK] oracle 19 oracle.
- [OK] oracle 20 oracle.
- [OK] oracle 21 oracle.
- [OK] oracle 22 oracle.
- [OK] oracle 23 oracle.
- [OK] oracle 24 oracle.
- [OK] oracle 25 oracle.
- [OK] oracle 26 oracle.
- [OK] oracle 27 oracle.
- [OK] oracle 28 oracle.
- [OK] oracle 29 oracle.
- [OK] oracle 30 oracle.
- [OK] oracle 31 oracle.
- [OK] oracle 32 oracle.
- [OK] oracle 33 oracle.
- [OK] oracle 34 oracle.
- [OK] oracle 35 oracle.
- [OK] oracle 36 oracle.
- [OK] oracle 37 oracle.
- [OK] oracle 38 oracle.
- [OK] oracle 39 oracle.
- [OK] oracle 40 oracle.
- [OK] oracle 41 oracle.
- [OK] oracle 42 oracle.
- [OK] oracle 43 oracle.
- [OK] oracle 44 oracle.
- [OK] oracle 45 oracle.
- [OK] oracle 46 oracle.
- [OK] oracle 47 oracle.
- [OK] oracle 48 oracle.
- [OK] oracle 49 oracle.
- [OK] oracle 50 oracle.
- [OK] oracle 51 oracle.
- [OK] oracle 52 oracle.
- [OK] oracle 53 oracle.
- [OK] oracle 54 oracle.
- [OK] oracle 55 oracle.
- [OK] oracle 56 oracle.
- [OK] oracle 57 oracle.
- [OK] oracle 58 oracle.
- [OK] oracle 59 oracle.
- [OK] oracle 60 oracle.
- [OK] oracle 61 oracle.
- [OK] oracle 62 oracle.
- [OK] oracle 63 oracle.
-
- Full test results in `~/.opam/5.4/.opam-switch/build/callipyge.0.2/_build/default/test/_build/_tests/ECDH'.
- Test Successful in 4.928s. 382 tests run.
-> compiled callipyge.0.2
-> removed callipyge.0.2
-> installed callipyge.0.2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-25 21:46.29 ---> saved as "de9bf2535b11d7caf40edb06b50671d460e988e1973c2a193949a9cdaf69f005"
Job succeeded
2026-03-25 21:46.37: Job succeeded