Build:
- 0
2026-01-13 04:05.01: New job: test elpi.3.2.0 with dune.3.21.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29216/head (001b427da21d4d746e124eaaffab7b4134813f6d)
on debian-13-ocaml-4.14/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/29216/head" && git reset --hard 001b427d
git fetch origin master
git merge --no-edit 1c361fac36225534ee877701522e296785f9a9db
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa
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 dune.3.21.0 3.21.0
RUN opam reinstall dune.3.21.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dune.3.21.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall elpi.3.2.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'elpi.3.2.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test elpi.3.2.0) || true
RUN opam reinstall --with-test --verbose elpi.3.2.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'elpi.3.2.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-01-13 04:05.01: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa-dune.3.21.0-elpi.3.2.0-001b427da21d4d746e124eaaffab7b4134813f6d"
2026-01-13 04:05.01: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa)
(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 dune.3.21.0 3.21.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.21.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.21.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall elpi.3.2.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.2.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test elpi.3.2.0) || true"))
(run (shell "opam reinstall --with-test --verbose elpi.3.2.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.2.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-13 04:05.01: Waiting for resource in pool OCluster
2026-01-13 18:52.47: Waiting for worker…
2026-01-13 18:55.54: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 1c361fac36 Merge pull request #29210 from dinosaure/release-miou-v0.5.1
Merge made by the 'ort' strategy.
packages/chrome-trace/chrome-trace.3.21.0/opam | 41 ++++++++++++
.../dune-action-plugin.3.21.0/opam | 54 ++++++++++++++++
.../dune-build-info/dune-build-info.3.21.0/opam | 47 ++++++++++++++
.../dune-configurator.3.21.0/opam | 51 +++++++++++++++
packages/dune-glob/dune-glob.3.21.0/opam | 44 +++++++++++++
.../dune-private-libs.3.21.0/opam | 52 +++++++++++++++
packages/dune-rpc-lwt/dune-rpc-lwt.3.21.0/opam | 43 +++++++++++++
packages/dune-rpc/dune-rpc.3.21.0/opam | 46 +++++++++++++
packages/dune-site/dune-site.3.21.0/opam | 39 +++++++++++
packages/dune/dune.3.21.0/opam | 75 ++++++++++++++++++++++
packages/dyn/dyn.3.21.0/opam | 42 ++++++++++++
packages/fs-io/fs-io.3.21.0/opam | 41 ++++++++++++
packages/ocamlc-loc/ocamlc-loc.3.21.0/opam | 45 +++++++++++++
packages/ordering/ordering.3.21.0/opam | 40 ++++++++++++
packages/stdune/stdune.3.21.0/opam | 48 ++++++++++++++
packages/top-closure/top-closure.3.21.0/opam | 40 ++++++++++++
packages/xdg/xdg.3.21.0/opam | 41 ++++++++++++
17 files changed, 789 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.21.0/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.21.0/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.21.0/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.21.0/opam
create mode 100644 packages/dune-glob/dune-glob.3.21.0/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.21.0/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.21.0/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.21.0/opam
create mode 100644 packages/dune-site/dune-site.3.21.0/opam
create mode 100644 packages/dune/dune.3.21.0/opam
create mode 100644 packages/dyn/dyn.3.21.0/opam
create mode 100644 packages/fs-io/fs-io.3.21.0/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.21.0/opam
create mode 100644 packages/ordering/ordering.3.21.0/opam
create mode 100644 packages/stdune/stdune.3.21.0/opam
create mode 100644 packages/top-closure/top-closure.3.21.0/opam
create mode 100644 packages/xdg/xdg.3.21.0/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa)
2026-01-13 18:56.19 ---> using "2ecda48447fc68e8dcd256d2898af0a11126a077e05d747a0dcdff2845100de1" 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-01-13 18:56.19 ---> using "79eb1218297339daa5e94be48ad16ae73f417b872defa106efeff5b5f3323e6e" 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-01-13 18:56.19 ---> using "bf81485066c79fc9faf7a51b95869ba9d998fe2bf3de5ff7f59b253fc915122f" 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 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-01-13 18:56.19 ---> using "f7c0c02658daf7a6d6c7671a8028e0e553264100bd569724894645b7844f6d7f" 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-01-13 18:56.19 ---> using "9b3e592c65565b9b3dc8b88c605e54ddba818eb105df981d794040a64c2f9916" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-13 18:56.20 ---> using "09c39d7126e88ed573ca8f78acbffb48c0088baecebf7a9155a91c3290ace20b" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-01-13 18:56.20 ---> using "1f9ebb837e22c3f42b1c3f6e7178a2aa2fcb8206685e62bba70fde550083c584" 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 [9670 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [95.5 kB]
- Fetched 9997 kB in 1s (9884 kB/s)
- Reading package lists...
2026-01-13 18:56.20 ---> using "bc5a313c83583d746179a868806b410c236b5a3d4895b7d8bc464eed6cfe706e" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.21.0 3.21.0"))
dune is now pinned to version 3.21.0
2026-01-13 18:56.20 ---> using "448b2b0e77526967dc1d84c9cd1fd4fdf010f08d862d127b94c63a52bbc324d1" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.21.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.21.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune.3.21.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.21.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0 (cached)
-> installed dune.3.21.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 18:56.20 ---> using "5acb627376dc8b6ecaceedd8635589b9dfb44ea06abcf3fc03092c3e94ea4126" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall elpi.3.2.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.2.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
elpi.3.2.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 23 packages
- install atd 3.0.1 [required by atdgen, atdts]
- install atdgen 3.0.1 [required by elpi]
- install atdgen-runtime 3.0.1 [required by atdgen]
- install atdts 3.0.1 [required by elpi]
- install biniou 1.2.2 [required by atdgen]
- install camlp-streams 5.0.1 [required by biniou]
- install cmdliner 2.1.0 [required by atdts]
- install cppo 1.8.0 [required by ppx_deriving]
- install easy-format 1.3.4 [required by atd]
- install elpi 3.2.0
- install menhir 20250912 [required by elpi]
- install menhirCST 20250912 [required by menhir]
- install menhirLib 20250912 [required by menhir]
- install menhirSdk 20250912 [required by menhir]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocamlfind 1.9.8 [required by ppx_deriving]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.0.3 [required by elpi]
- install ppxlib 0.35.0 [required by elpi]
- install re 1.14.0 [required by elpi]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by elpi]
- install yojson 3.0.0 [required by atdgen]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved atd.3.0.1, atdgen.3.0.1, atdgen-runtime.3.0.1, atdts.3.0.1 (cached)
-> retrieved biniou.1.2.2 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved easy-format.1.3.4 (cached)
-> installed camlp-streams.5.0.1
-> installed easy-format.1.3.4
-> installed biniou.1.2.2
-> retrieved elpi.3.2.0 (cached)
-> installed cppo.1.8.0
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> installed menhirCST.20250912
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.0.3 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> installed ppx_derivers.1.2.1
-> retrieved re.1.14.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed menhirSdk.20250912
-> installed menhirLib.20250912
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.17.0
-> installed cmdliner.2.1.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed re.1.14.0
-> installed yojson.3.0.0
-> installed atdgen-runtime.3.0.1
-> installed ocamlfind.1.9.8
-> installed menhir.20250912
-> installed ppxlib.0.35.0
-> installed atd.3.0.1
-> installed atdts.3.0.1
-> installed atdgen.3.0.1
-> installed ppx_deriving.6.0.3
-> installed elpi.3.2.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 18:57.04 ---> saved as "97d301434133e3afb78ef79c2e4b75ed364274e49c2f3b06ebbb86702b4a04d4"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test elpi.3.2.0) || true"))
The following actions will be performed:
=== downgrade 1 package
- downgrade cmdliner 2.1.0 to 1.3.0 [required by elpi]
=== recompile 4 packages
- recompile atd 3.0.1 [uses cmdliner]
- recompile atdgen 3.0.1 [uses atd]
- recompile atdts 3.0.1 [uses cmdliner]
- recompile elpi 3.2.0
=== install 5 packages
- install ANSITerminal 0.8.5 [required by elpi]
- install base-bytes base [required by ANSITerminal]
- install conf-time 1 [required by elpi]
- install conf-which 1 [required by conf-time]
- install fileutils 0.6.6 [required by elpi]
The following system packages will first need to be installed:
time
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "time"
- Selecting previously unselected package time.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20622 files and directories currently installed.)
- Preparing to unpack .../time_1.9-0.2_amd64.deb ...
- Unpacking time (1.9-0.2) ...
- Setting up time (1.9-0.2) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ANSITerminal.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved atd.3.0.1, atdgen.3.0.1, atdts.3.0.1 (https://opam.ocaml.org/cache)
-> installed base-bytes.base
-> retrieved cmdliner.1.3.0 (https://opam.ocaml.org/cache)
-> installed conf-which.1
-> installed conf-time.1
-> installed ANSITerminal.0.8.5
-> retrieved elpi.3.2.0 (https://opam.ocaml.org/cache)
-> retrieved fileutils.0.6.6 (https://opam.ocaml.org/cache)
-> removed elpi.3.2.0
-> removed atdgen.3.0.1
-> removed atdts.3.0.1
-> removed atd.3.0.1
-> removed cmdliner.2.1.0
-> installed cmdliner.1.3.0
-> installed fileutils.0.6.6
-> installed atd.3.0.1
-> installed atdts.3.0.1
-> installed atdgen.3.0.1
-> installed elpi.3.2.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 18:58.08 ---> saved as "491047037064f1d1a3d9320fe2ccb12d8abde3ef98094a2f50fafac48590d6f1"
/home/opam: (run (shell "opam reinstall --with-test --verbose elpi.3.2.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.2.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile elpi 3.2.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [elpi.3.2.0: extract]
-> retrieved elpi.3.2.0 (cached)
Processing 2/4: [elpi: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "elpi" "-j" "255" (CWD=/home/opam/.opam/4.14/.opam-switch/build/elpi.3.2.0)
- (cd _build/default/src && /home/opam/.opam/4.14/bin/atdgen -o trace_atd -j-std trace.atd)
- Warning: option "-j-std" is deprecated.
- (cd _build/default/src/parser && /home/opam/.opam/4.14/bin/menhir tokens.mly grammar.mly token_precedence.mly --base grammar --compile-errors error_messages.txt) > _build/default/src/parser/error_messages.ml
- Warning: one state has shift/reduce conflicts.
- Warning: 16 shift/reduce conflicts were arbitrarily resolved.
- Read 387 sample input sentences and 41 error messages.
- (cd _build/default && /home/opam/.opam/4.14/bin/menhir --external-tokens Elpi_lexer_config.Tokens --exn-carries-state src/parser/grammar.mly src/parser/tokens.mly src/parser/token_precedence.mly --base src/parser/grammar --infer-read-reply src/parser/grammar__mock.mli.inferred)
- Warning: one state has shift/reduce conflicts.
- Warning: 16 shift/reduce conflicts were arbitrarily resolved.
Processing 2/4: [elpi: make tests]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "tests" "DUNE_OPTS=-p elpi" "SKIP=performance_HO" "SKIP+=performance_FO" "SKIP+=elpi_api_performance" (CWD=/home/opam/.opam/4.14/.opam-switch/build/elpi.3.2.0)
- make build
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/elpi.3.2.0'
- dune build -p elpi @all
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/elpi.3.2.0'
- dune runtest
- (cd _build/default/src/runtime && ./test_discrimination_tree.exe)
-
- -> Running test 1 <-
- Retrived clause number is 3
-
- -> Running test 2 <-
- Retrived clause number is 1
-
- -> Running test 3 <-
- Retrived clause number is 3
-
- -> Running test 4 <-
- Retrived clause number is 2
- Test remove 1
- Test remove 2
- Test remove 3
- Test remove 4
- (cd _build/default/src/compiler && ./test_type_checker.exe)
- The type of the variable X is (pred) -> (pred o:(pred))
- (cd _build/default/src/runtime && ./test_bl.exe)
- build: bl=0.840910 l=0.758480
- ulimit -s 1114112; OCAMLRUNPARAM=l=1114112 \
- tests/test.exe \
- --seed $RANDOM \
- --promote false \
- --ln_nb=-1 \
- --timeout 90.0 \
- --stop-on-first-error=false \
- --time /usr/bin/time \
- --sources=/home/opam/.opam/4.14/.opam-switch/build/elpi.3.2.0/tests/sources/ \
- --plot=/home/opam/.opam/4.14/.opam-switch/build/elpi.3.2.0/tests/plot \
- \
- --cat-skip performance_HO --cat-skip performance_FO --cat-skip elpi_api_performance \
- --runner /home/opam/.opam/4.14/.opam-switch/build/elpi.3.2.0/_build/install/default/bin/elpi --runner /home/opam/.opam/4.14/.opam-switch/build/elpi.3.2.0/_build/install/default/bin/elpi-trace-elaborator
- ------------------------------------------------------------------
- Runners: /home/opam/.opam/4.14/.opam-switch/build/elpi.3.2.0/_build/install/default/bin/elpi /home/opam/.opam/4.14/.opam-switch/build/elpi.3.2.0/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 22533
- Timeout: 90.00 seconds
- Fiber stack: 0
-
- status test time typchk wall mem runner
- ------------------------------------------------------------------
- RUNNING CHR_no_clique (CHR rule on a non constraint) elpi
OK CHR_no_clique 0.00 0.00 0.00 0.0M elpi
- RUNNING IO_COLON (IO_COLON token) elpi
OK IO_COLON 0.00 0.01 0.04 12.0M elpi
- RUNNING accumulate_twice1 (double accumulate) elpi
OK accumulate_twice1 0.00 0.00 0.00 0.0M elpi
- RUNNING accumulate_twice2 (double accumulate) elpi
OK accumulate_twice2 0.00 0.01 0.00 0.0M elpi
- RUNNING asclause (parsing of the .. as X clause) elpi
OK asclause 0.00 0.01 0.03 12.0M elpi
- RUNNING backtracking (backtracking variable assignment) elpi
OK backtracking 0.00 0.01 0.04 12.0M elpi
- RUNNING bad_index (bad indexing directive) elpi
OK bad_index 0.00 0.00 0.00 0.0M elpi
- RUNNING beta (beta reduction) elpi
OK beta 0.00 0.01 0.04 10.0M elpi
- RUNNING block (blocks are closed) elpi
OK block 0.00 0.00 0.00 0.0M elpi
- RUNNING bug-256 (move/unif) elpi
OK bug-256 0.00 0.01 0.03 12.0M elpi
- RUNNING bug19 (unif under binders) elpi
OK bug19 0.00 0.01 0.03 12.0M elpi
- RUNNING bug_226 (move/unif bug) elpi
OK bug_226 0.00 0.01 0.04 12.0M elpi
- RUNNING chr (constraints handling rules) elpi
- OK chr 0.00 0.01 0.05 10.0M elpi
- RUNNING chr-scope (chr-relocation) elpi
OK chr-scope 0.00 0.01 0.03 12.0M elpi
- RUNNING chr-scope-change (chr-relocation) elpi
OK chr-scope-change 0.00 0.01 0.04 12.0M elpi
- RUNNING chr-scope-change-err (chr-relocation) elpi
OK chr-scope-change-err 0.00 0.01 0.00 0.0M elpi
- RUNNING chr_cut (cut not allowed) elpi
OK chr_cut 0.00 0.00 0.00 0.0M elpi
- RUNNING chr_even_odd (CHR example at MLWS) elpi
OK chr_even_odd 0.00 0.01 0.04 10.0M elpi
- RUNNING chr_gcd (greatest common divisor in CHR) elpi
OK chr_gcd 0.00 0.01 0.03 10.0M elpi
- RUNNING chr_leq (chr transitive closure) elpi
OK chr_leq 0.00 0.01 0.03 12.0M elpi
- RUNNING chr_nokey (constraints keyed on _) elpi
OK chr_nokey 0.00 0.01 0.04 10.0M elpi
- RUNNING chr_nokey2 (constraints keyed on _) elpi
OK chr_nokey2 0.00 0.01 0.04 12.0M elpi
- RUNNING chr_sem (refined operational semantics) elpi
OK chr_sem 0.00 0.01 0.04 12.0M elpi
- RUNNING chr_ut (type checker with UT via CHR) elpi
OK chr_ut 0.00 0.01 0.04 12.0M elpi
- RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi
OK chr_with_hypotheses 0.00 0.01 0.03 12.0M elpi
- RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi
OK conj2 0.00 0.01 0.03 12.0M elpi
- RUNNING cut1 (what else) elpi
OK cut1 0.00 0.01 0.03 10.0M elpi
- RUNNING cut2 (what else) elpi
OK cut2 0.00 0.01 0.04 12.0M elpi
- RUNNING cut3 (what else) elpi
OK cut3 0.00 0.01 0.03 12.0M elpi
- RUNNING cut4 (what else) elpi
OK cut4 0.00 0.01 0.03 12.0M elpi
- RUNNING cut5 (what else) elpi
OK cut5 0.00 0.01 0.03 10.0M elpi
- RUNNING cut6 (what else) elpi
OK cut6 0.00 0.01 0.03 10.0M elpi
- RUNNING discard (_) elpi
- OK discard 0.00 0.01 0.04 10.0M elpi
- RUNNING dt_bug272 (dt list truncation heuristic) elpi
OK dt_bug272 0.02 0.01 0.05 12.0M elpi
- RUNNING dt_bug323 (dt on_all_children) elpi
OK dt_bug323 0.00 0.01 0.04 12.0M elpi
- RUNNING dt_empty_list (discrimination_tree empty_list) elpi
OK dt_empty_list 0.00 0.01 0.03 12.0M elpi
- RUNNING dt_max_depths (discrimination_tree max_depth) elpi
OK dt_max_depths 0.00 0.01 0.03 10.0M elpi
- RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi
OK dt_multiparam1 0.58 0.01 0.62 16.0M elpi
- RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi
- OK dt_multiparam2 0.58 0.01 0.61 16.0M elpi
- RUNNING dt_multiparam3 (discrimination_tree indexing multi with flexible in input mode) elpi
- OK dt_multiparam3 0.00 0.01 0.00 0.0M elpi
- RUNNING dt_multivar (discrimination_tree indexing multi with flexible in input mode) elpi
OK dt_multivar 0.00 0.01 0.04 10.0M elpi
- RUNNING dt_var (discrimination_tree indexing flex) elpi
OK dt_var 0.00 0.01 0.04 10.0M elpi
- RUNNING dt_var2 (discrimination_tree indexing flex) elpi
OK dt_var2 0.00 0.01 0.04 10.0M elpi
- RUNNING dt_var3 (discrimination_tree indexing flex) elpi
OK dt_var3 0.00 0.01 0.03 12.0M elpi
- RUNNING elpi_only_llam (full HO unif gives error) elpi
OK elpi_only_llam 0.00 0.00 0.00 0.0M elpi
- RUNNING eta (test eta for rigid terms) elpi
OK eta 0.00 0.01 0.04 10.0M elpi
- RUNNING eta_as (eta expansion of as clause) elpi
OK eta_as 0.00 0.01 0.04 10.0M elpi
- RUNNING eta_oc (eta expansion and occur check) elpi
OK eta_oc 0.00 0.01 0.03 12.0M elpi
- RUNNING findall (stash across backtrack) elpi
OK findall 0.00 0.01 0.03 12.0M elpi
- RUNNING findall_csts (stash across backtrack) elpi
OK findall_csts 0.00 0.01 0.04 10.0M elpi
- RUNNING functionality1 (functionality1) elpi
OK functionality1 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality10 (functionality10) elpi
OK functionality10 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality100 (functionality100) elpi
OK functionality100 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality101 (functionality101) elpi
OK functionality101 0.00 0.01 0.04 12.0M elpi
- RUNNING functionality102 (functionality102) elpi
OK functionality102 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality103 (functionality103) elpi
OK functionality103 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality104 (functionality104) elpi
- OK functionality104 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality105 (functionality105) elpi
OK functionality105 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality106 (functionality106) elpi
OK functionality106 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality107 (functionality107) elpi
OK functionality107 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality108 (functionality108) elpi
OK functionality108 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality109 (functionality109) elpi
OK functionality109 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality11 (functionality11) elpi
OK functionality11 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality110 (functionality110) elpi
OK functionality110 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality111 (functionality111) elpi
OK functionality111 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality112 (functionality112) elpi
OK functionality112 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality113 (functionality113) elpi
OK functionality113 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality114 (functionality114) elpi
OK functionality114 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality115 (functionality115) elpi
OK functionality115 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality116 (functionality116) elpi
OK functionality116 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality117 (functionality117) elpi
OK functionality117 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality118 (functionality118) elpi
OK functionality118 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality119 (functionality119) elpi
OK functionality119 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality12 (functionality12) elpi
OK functionality12 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality13 (functionality13) elpi
OK functionality13 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality14 (functionality14) elpi
OK functionality14 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality15 (functionality15) elpi
OK functionality15 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality16 (functionality16) elpi
OK functionality16 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality17 (functionality17) elpi
- OK functionality17 0.00 0.01 0.04 12.0M elpi
- RUNNING functionality18 (functionality18) elpi
OK functionality18 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality19 (functionality19) elpi
OK functionality19 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality2 (functionality2) elpi
OK functionality2 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality20 (functionality20) elpi
OK functionality20 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality21 (functionality21) elpi
OK functionality21 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality22 (functionality22) elpi
OK functionality22 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality23 (functionality23) elpi
OK functionality23 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality24 (functionality24) elpi
OK functionality24 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality25 (functionality25) elpi
OK functionality25 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality26 (functionality26) elpi
OK functionality26 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality27 (functionality27) elpi
OK functionality27 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality28 (functionality28) elpi
OK functionality28 0.00 0.01 0.04 12.0M elpi
- RUNNING functionality29 (functionality29) elpi
OK functionality29 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality3 (functionality3) elpi
OK functionality3 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality30 (functionality30) elpi
OK functionality30 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality31 (functionality31) elpi
OK functionality31 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality32 (functionality32) elpi
OK functionality32 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality33 (functionality33) elpi
OK functionality33 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality34 (functionality34) elpi
OK functionality34 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality35 (functionality35) elpi
OK functionality35 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality36 (functionality36) elpi
- OK functionality36 0.00 0.01 0.04 12.0M elpi
- RUNNING functionality37 (functionality37) elpi
OK functionality37 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality38 (functionality38) elpi
OK functionality38 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality39 (functionality39) elpi
OK functionality39 0.00 0.01 0.04 12.0M elpi
- RUNNING functionality4 (functionality4) elpi
OK functionality4 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality40 (functionality40) elpi
OK functionality40 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality41 (functionality41) elpi
OK functionality41 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality42 (functionality42) elpi
OK functionality42 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality43 (functionality43) elpi
OK functionality43 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality44 (functionality44) elpi
OK functionality44 0.00 0.01 0.04 12.0M elpi
- RUNNING functionality45 (functionality45) elpi
OK functionality45 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality46 (functionality46) elpi
OK functionality46 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality47 (functionality47) elpi
OK functionality47 0.00 0.01 0.04 10.0M elpi
- RUNNING functionality48 (functionality48) elpi
OK functionality48 0.00 0.01 0.04 10.0M elpi
- RUNNING functionality49 (functionality49) elpi
OK functionality49 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality5 (functionality5) elpi
OK functionality5 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality50 (functionality50) elpi
OK functionality50 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality51 (functionality51) elpi
OK functionality51 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality52 (functionality52) elpi
OK functionality52 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality53 (functionality53) elpi
OK functionality53 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality54 (functionality54) elpi
OK functionality54 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality55 (functionality55) elpi
- OK functionality55 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality56 (functionality56) elpi
OK functionality56 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality57 (functionality57) elpi
OK functionality57 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality58 (functionality58) elpi
OK functionality58 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality59 (functionality59) elpi
OK functionality59 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality6 (functionality6) elpi
OK functionality6 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality60 (functionality60) elpi
OK functionality60 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality61 (functionality61) elpi
OK functionality61 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality62 (functionality62) elpi
OK functionality62 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality63 (functionality63) elpi
OK functionality63 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality64 (functionality64) elpi
OK functionality64 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality65 (functionality65) elpi
OK functionality65 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality66 (functionality66) elpi
OK functionality66 0.00 0.01 0.04 10.0M elpi
- RUNNING functionality67 (functionality67) elpi
OK functionality67 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality68 (functionality68) elpi
OK functionality68 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality69 (functionality69) elpi
OK functionality69 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality7 (functionality7) elpi
OK functionality7 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality70 (functionality70) elpi
OK functionality70 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality71 (functionality71) elpi
OK functionality71 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality72 (functionality72) elpi
OK functionality72 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality73 (functionality73) elpi
OK functionality73 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality74 (functionality74) elpi
- OK functionality74 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality75 (functionality75) elpi
OK functionality75 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality76 (functionality76) elpi
OK functionality76 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality77 (functionality77) elpi
OK functionality77 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality78 (functionality78) elpi
OK functionality78 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality79 (functionality79) elpi
OK functionality79 0.00 0.01 0.03 10.0M elpi
- RUNNING functionality8 (functionality8) elpi
OK functionality8 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality80 (functionality80) elpi
OK functionality80 0.00 0.01 0.04 10.0M elpi
- RUNNING functionality81 (functionality81) elpi
OK functionality81 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality82 (functionality82) elpi
OK functionality82 0.00 0.01 0.04 12.0M elpi
- RUNNING functionality83 (functionality83) elpi
OK functionality83 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality84 (functionality84) elpi
OK functionality84 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality85 (functionality85) elpi
OK functionality85 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality86 (functionality86) elpi
OK functionality86 0.00 0.01 0.04 10.0M elpi
- RUNNING functionality87 (functionality87) elpi
OK functionality87 0.00 0.01 0.04 12.0M elpi
- RUNNING functionality88 (functionality88) elpi
OK functionality88 0.00 0.01 0.04 12.0M elpi
- RUNNING functionality89 (functionality89) elpi
OK functionality89 0.00 0.01 0.04 10.0M elpi
- RUNNING functionality9 (functionality9) elpi
OK functionality9 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality90 (functionality90) elpi
OK functionality90 0.00 0.01 0.03 12.0M elpi
- RUNNING functionality91 (functionality91) elpi
OK functionality91 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality92 (functionality92) elpi
OK functionality92 0.00 0.01 0.04 10.0M elpi
- RUNNING functionality93 (functionality93) elpi
- OK functionality93 0.00 0.01 0.04 12.0M elpi
- RUNNING functionality94 (functionality94) elpi
OK functionality94 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality95 (functionality95) elpi
OK functionality95 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality96 (functionality96) elpi
OK functionality96 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality97 (functionality97) elpi
OK functionality97 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality98 (functionality98) elpi
OK functionality98 0.00 0.00 0.00 0.0M elpi
- RUNNING functionality99 (functionality99) elpi
OK functionality99 0.00 0.01 0.03 12.0M elpi
- RUNNING graft_before (grafting a clause before the clause of another predicate) elpi
OK graft_before 0.00 0.01 0.03 12.0M elpi
- RUNNING graft_before_same (grafting a clause before the clause of the same predicate) elpi
OK graft_before_same 0.00 0.01 0.03 10.0M elpi
- RUNNING graft_remove (remove a clase) elpi
OK graft_remove 0.00 0.01 0.03 10.0M elpi
- RUNNING graft_replace_err (replacing a clase) elpi
OK graft_replace_err 0.00 0.00 0.00 0.0M elpi
- RUNNING graft_replace_ok (replacing a clase) elpi
OK graft_replace_ok 0.00 0.01 0.04 12.0M elpi
- RUNNING hc_interp (Horn Clauses interpreter) elpi
OK hc_interp 0.00 0.01 0.04 12.0M elpi
- RUNNING hdclause (hdclause unification) elpi
OK hdclause 0.00 0.01 0.04 10.0M elpi
- RUNNING heap_discard (heapification of _) elpi
OK heap_discard 0.00 0.01 0.03 10.0M elpi
- RUNNING hilbert (hilbert) elpi
OK hilbert 0.00 0.01 0.03 12.0M elpi
- RUNNING hilbert2 (hilbert2) elpi
OK hilbert2 0.00 0.01 0.04 10.0M elpi
- RUNNING ho (HO predicates) elpi
OK ho 0.00 0.01 0.03 12.0M elpi
- RUNNING hollight (hollight implementation) elpi
OK hollight 0.00 0.00 0.00 0.0M elpi
- RUNNING holp (HOL programming) elpi
OK holp 0.00 0.01 0.05 10.0M elpi
- RUNNING hyp_uvar (uvar at the left of implication) elpi
- OK hyp_uvar 0.00 0.01 0.03 10.0M elpi
- RUNNING ifdef (lexer ifdef) elpi
OK ifdef 0.00 0.01 0.03 10.0M elpi
- RUNNING impl (implication) elpi
OK impl 0.00 0.01 0.03 12.0M elpi
- RUNNING impl2 (implication) elpi
OK impl2 0.00 0.01 0.03 10.0M elpi
- RUNNING impl_order (implication and pair/list) elpi
OK impl_order 0.00 0.01 0.03 10.0M elpi
- RUNNING impl_prec (warning about A => B, C) elpi
OK impl_prec 0.00 0.01 0.03 12.0M elpi
- RUNNING impl_prec_silent (warning about A => B, C) elpi
OK impl_prec_silent 0.00 0.01 0.03 10.0M elpi
- RUNNING is (calc) elpi
OK is 0.00 0.01 0.03 12.0M elpi
- RUNNING lambda4 (simple type checker) elpi
OK lambda4 0.00 0.01 0.03 12.0M elpi
- RUNNING lambda5 (simple type checker) elpi
OK lambda5 0.00 0.00 0.00 0.0M elpi
- RUNNING lambda6 (simple type checker) elpi
OK lambda6 0.00 0.00 0.00 0.0M elpi
- RUNNING lambda_arrow1 (simple type checker) elpi
OK lambda_arrow1 0.00 0.01 0.03 12.0M elpi
- RUNNING lambda_arrow2 (simple type checker) elpi
OK lambda_arrow2 0.00 0.01 0.03 12.0M elpi
- RUNNING lambdadelta (lambda delta tests) elpi
OK lambdadelta 0.00 0.01 0.05 12.0M elpi
- RUNNING linear (linear variable check) elpi
OK linear 0.00 0.01 0.03 12.0M elpi
- RUNNING list_as_conj (list is an nary conjunction) elpi
OK list_as_conj 0.00 0.01 0.03 10.0M elpi
- RUNNING list_comma (lists with spurious , in there) elpi
OK list_comma 0.00 0.01 0.03 12.0M elpi
- RUNNING llam (Miller pattern unification) elpi
OK llam 0.00 0.01 0.04 10.0M elpi
- RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi
OK llamb0_exit1 0.00 0.01 0.03 10.0M elpi
- RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi
OK llamb0_exit2 0.00 0.01 0.03 10.0M elpi
- RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi
- OK llamb0_exit3 0.00 0.01 0.03 10.0M elpi
- RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi
OK llamb0_exit4 0.00 0.01 0.03 12.0M elpi
- RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi
OK llamb0_exit5 0.00 0.01 0.04 10.0M elpi
- RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi
OK llamb0_exit6 0.00 0.01 0.03 12.0M elpi
- RUNNING macro_type (polymorphic macro) elpi
OK macro_type 0.00 0.01 0.04 10.0M elpi
- RUNNING macro_type_err_pos (polymorphic macro) elpi
OK macro_type_err_pos 0.00 0.00 0.00 0.0M elpi
- RUNNING mk_uv_meta (uvar surgery at the meta level) elpi
OK mk_uv_meta 0.00 0.01 0.03 10.0M elpi
- RUNNING name (name builtin) elpi
OK name 0.00 0.01 0.03 10.0M elpi
- RUNNING named_clauses00 (clause grafting using names) elpi
OK named_clauses00 0.00 0.00 0.00 0.0M elpi
- RUNNING named_clauses01 (clause grafting using names) elpi
OK named_clauses01 0.00 0.00 0.00 0.0M elpi
- RUNNING named_clauses02 (clause grafting using names) elpi
OK named_clauses02 0.00 0.01 0.04 12.0M elpi
- RUNNING namespace00 (namespacing of predicates and constants) elpi
OK namespace00 0.00 0.01 0.03 12.0M elpi
- RUNNING namespace01 (namespacing of predicates and constants) elpi
OK namespace01 0.00 0.01 0.03 12.0M elpi
- RUNNING namespace02 (namespacing of predicates and constants) elpi
OK namespace02 0.00 0.01 0.03 10.0M elpi
- RUNNING namespace03 (namespacing of predicates and constants) elpi
OK namespace03 0.00 0.01 0.04 10.0M elpi
- RUNNING nil_cons (nil = []) elpi
OK nil_cons 0.00 0.01 0.03 10.0M elpi
- RUNNING notation (extensible syntax) elpi
OK notation 0.00 0.01 0.04 12.0M elpi
- RUNNING notation_error (infix declaration error) elpi
OK notation_error 0.00 0.00 0.00 0.0M elpi
- RUNNING oc_eta (eta expansion and occur check) elpi
OK oc_eta 0.00 0.01 0.00 0.0M elpi
- RUNNING patternunif (Miller pattern unification) elpi
OK patternunif 0.00 0.01 0.03 12.0M elpi
- RUNNING patternunif2 (Miller pattern unification) elpi
- OK patternunif2 0.00 0.01 0.03 10.0M elpi
- RUNNING pcf (type inference for PCF) elpi
OK pcf 0.00 0.01 0.05 12.0M elpi
- RUNNING pi (pi quantification) elpi
OK pi 0.00 0.01 0.03 12.0M elpi
- RUNNING pi3 (pi quantification) elpi
OK pi3 0.00 0.01 0.04 12.0M elpi
- RUNNING pi5 (pi quantification) elpi
OK pi5 0.00 0.01 0.03 12.0M elpi
- RUNNING pm (pattern matching builtin) elpi
OK pm 0.00 0.01 0.04 10.0M elpi
- RUNNING pnf (some HO programming) elpi
OK pnf 0.00 0.01 0.04 12.0M elpi
- RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi
OK polymorphic_variants 0.00 0.01 0.04 10.0M elpi
- RUNNING printer (printing infix) elpi
OK printer 0.00 0.01 0.03 12.0M elpi
- RUNNING progs (progs) elpi
OK progs 0.00 0.01 0.04 14.0M elpi
- RUNNING random (random numbers) elpi
OK random 0.00 0.01 0.04 12.0M elpi
- RUNNING restriction (HO unification scope checking) elpi
OK restriction 0.00 0.01 0.00 0.0M elpi
- RUNNING restriction3 (HO unification scope checking) elpi
OK restriction3 0.00 0.01 0.03 10.0M elpi
- RUNNING restriction4 (HO unification scope checking) elpi
OK restriction4 0.00 0.01 0.03 10.0M elpi
- RUNNING restriction5 (HO unification scope checking) elpi
OK restriction5 0.00 0.01 0.03 12.0M elpi
- RUNNING restriction6 (HO unification scope checking) elpi
OK restriction6 0.00 0.01 0.03 12.0M elpi
- RUNNING same_term (the == operator) elpi
OK same_term 0.00 0.01 0.03 12.0M elpi
- RUNNING self_assignment (Miller pattern unification) elpi
OK self_assignment 0.00 0.01 0.04 12.0M elpi
- RUNNING shorten (shortening names of a namespace) elpi
OK shorten 0.00 0.01 0.03 10.0M elpi
- RUNNING shorten-EOF (shortening names ends with the file) elpi
- OK shorten-EOF 0.00 0.01 0.03 12.0M elpi
- RUNNING shorten_builtin (shortening a builtin) elpi
OK shorten_builtin 0.00 0.01 0.03 12.0M elpi
- RUNNING shorten_trie (shortening a trie of names) elpi
OK shorten_trie 0.00 0.01 0.03 10.0M elpi
- RUNNING spill-var (spilling a var) elpi
OK spill-var 0.00 0.01 0.03 10.0M elpi
- RUNNING spill2 (spilling 2 arguments) elpi
OK spill2 0.00 0.01 0.03 12.0M elpi
- RUNNING spill_collision (spilling under 2 pi named the same) elpi
OK spill_collision 0.00 0.01 0.03 12.0M elpi
- RUNNING spill_pi (spilling under pi) elpi
OK spill_pi 0.00 0.01 0.03 12.0M elpi
- RUNNING spill_sigma (spilling under sigma) elpi
OK spill_sigma 0.00 0.01 0.03 12.0M elpi
- RUNNING spilling_and (spilling anonymous compound goal) elpi
OK spilling_and 0.00 0.01 0.03 10.0M elpi
- RUNNING spilling_impl (spilling implication) elpi
OK spilling_impl 0.00 0.01 0.03 12.0M elpi
- RUNNING spilling_in_list (spilling prem order) elpi
OK spilling_in_list 0.00 0.01 0.03 10.0M elpi
- RUNNING spilling_lam (spilling inside anonymous clause) elpi
OK spilling_lam 0.00 0.01 0.03 10.0M elpi
- RUNNING spilling_or (spilling prem order) elpi
OK spilling_or 0.00 0.01 0.03 10.0M elpi
- RUNNING tc_ambiguous (tc_ambiguous) elpi
OK tc_ambiguous 0.00 0.00 0.00 0.0M elpi
- RUNNING trace-browser (trace generation) elpi
OK trace-browser 0.00 0.01 0.04 12.0M elpi
- RUNNING trace-browser-chr (trace generation) elpi
OK trace-browser-chr 0.00 0.01 0.03 12.0M elpi
- RUNNING trace-browser-cut (trace generation) elpi
OK trace-browser-cut 0.00 0.01 0.04 12.0M elpi
- RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab 0.00 0.00 0.00 4.0M elpi-trace-elaborator
- RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator
- OK trace-browser-elab-broken1 0.00 0.00 0.14 32.0M elpi-trace-elaborator
- RUNNING trace-browser-elab-broken2 (fatal broken trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-broken2 0.00 0.00 0.00 0.0M elpi-trace-elaborator
- RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-chr 0.00 0.00 0.01 4.0M elpi-trace-elaborator
- RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-cut 0.00 0.00 0.00 4.0M elpi-trace-elaborator
- RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-findall 0.00 0.00 0.00 4.0M elpi-trace-elaborator
- RUNNING trace-browser-findall (trace generation) elpi
OK trace-browser-findall 0.00 0.01 0.03 12.0M elpi
- RUNNING trace-browser-w (trace generation) elpi
- OK trace-browser-w 0.01 0.01 0.05 14.0M elpi
- RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser-w-elab 0.00 0.00 0.01 4.0M elpi-trace-elaborator
- RUNNING trace-browser2 (trace generation) elpi
OK trace-browser2 0.00 0.01 0.03 10.0M elpi
- RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser2-elab 0.00 0.00 0.00 2.0M elpi-trace-elaborator
- RUNNING trace-browser3 (trace generation) elpi
OK trace-browser3 0.00 0.01 0.03 12.0M elpi
- RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser3-elab 0.00 0.00 0.00 4.0M elpi-trace-elaborator
- RUNNING trace-browser4 (trace generation) elpi
OK trace-browser4 0.00 0.01 0.03 12.0M elpi
- RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser4-elab 0.00 0.00 0.00 4.0M elpi-trace-elaborator
- RUNNING trailing_comment (trailing comment) elpi
OK trailing_comment 0.00 0.01 0.03 10.0M elpi
- RUNNING trie (discrimination_tree on trees) elpi
OK trie 0.00 0.01 0.03 12.0M elpi
- RUNNING typeabbrv1 (type abbreviations) elpi
OK typeabbrv1 0.00 0.01 0.03 10.0M elpi
- RUNNING typeabbrv10 (type abbreviations and error messages) elpi
OK typeabbrv10 0.00 0.00 0.00 0.0M elpi
- RUNNING typeabbrv11 (type abbreviations and error messages) elpi
OK typeabbrv11 0.00 0.00 0.00 0.0M elpi
- RUNNING typeabbrv12 (type abbreviations and error messages) elpi
OK typeabbrv12 0.00 0.00 0.00 0.0M elpi
- RUNNING typeabbrv13 (type abbreviations) elpi
OK typeabbrv13 0.00 0.01 0.03 12.0M elpi
- RUNNING typeabbrv15 (type abbreviations) elpi
OK typeabbrv15 0.00 0.01 0.03 12.0M elpi
- RUNNING typeabbrv2 (type abbreviations) elpi
OK typeabbrv2 0.00 0.00 0.00 0.0M elpi
- RUNNING typeabbrv3 (type abbreviations) elpi
OK typeabbrv3 0.00 0.01 0.04 10.0M elpi
- RUNNING typeabbrv4 (type abbreviations) elpi
OK typeabbrv4 0.00 0.01 0.03 12.0M elpi
- RUNNING typeabbrv5 (type abbreviations) elpi
OK typeabbrv5 0.00 0.00 0.00 0.0M elpi
- RUNNING typeabbrv6 (type abbreviations) elpi
OK typeabbrv6 0.00 0.00 0.00 0.0M elpi
- RUNNING typeabbrv7 (type abbreviations) elpi
OK typeabbrv7 0.00 0.01 0.03 10.0M elpi
- RUNNING typeabbrv8 (type abbreviations) elpi
OK typeabbrv8 0.00 0.01 0.04 10.0M elpi
- RUNNING typeabbrv9 (type abbreviations) elpi
- OK typeabbrv9 0.00 0.01 0.03 10.0M elpi
- RUNNING uminus (parsing and evaluation of unary minus) elpi
OK uminus 0.00 0.01 0.03 10.0M elpi
- RUNNING unix (unix APIs) elpi
OK unix 0.01 0.01 0.04 10.0M elpi
- RUNNING uvar_keyword (uvar kwd status at the meta level) elpi
OK uvar_keyword 0.00 0.01 0.03 10.0M elpi
- RUNNING var (var API) elpi
OK var 0.00 0.01 0.03 12.0M elpi
- RUNNING variadic (variadic) elpi
OK variadic 0.00 0.01 0.04 12.0M elpi
- RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi
OK variadic_declare_constraints 0.00 0.01 0.04 10.0M elpi
- RUNNING w (ELPI example at MLWS) elpi
OK w 0.00 0.01 0.03 12.0M elpi
- ------------------------------------------------------------------
- Tests: 296
- Passed: 296
- Failed: 0
-> compiled elpi.3.2.0
-> removed elpi.3.2.0
-> installed elpi.3.2.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 18:59.00 ---> saved as "8c3032551171548ea29b240a2a9ae0a463e380b01e575c2e6eef104b5860be7f"
Job succeeded
2026-01-13 18:59.32: Job succeeded