Build:
- 0
2025-12-10 05:43.36: New job: test elpi.3.4.3 with atdts.3.0.1, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29055/head (334604e5a0a29bbe58058bd842888f2248b6f46d)
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/29055/head" && git reset --hard 334604e5
git fetch origin master
git merge --no-edit d684c896eb6f7e6030d6ee65338d9db22a612f01
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d
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 atdts.3.0.1 3.0.1
RUN opam reinstall atdts.3.0.1; \
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" != 'atdts.3.0.1' && 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.4.3; \
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.4.3' && 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.4.3) || true
RUN opam reinstall --with-test --verbose elpi.3.4.3; \
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.4.3' && 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 .
2025-12-10 05:43.36: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d-atdts.3.0.1-elpi.3.4.3-334604e5a0a29bbe58058bd842888f2248b6f46d"
2025-12-10 05:43.36: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d)
(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 atdts.3.0.1 3.0.1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall atdts.3.0.1;\
\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\" != 'atdts.3.0.1' && 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.4.3;\
\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.4.3' && 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.4.3) || true"))
(run (shell "opam reinstall --with-test --verbose elpi.3.4.3;\
\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.4.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-12-10 05:43.36: Waiting for resource in pool OCluster
2025-12-10 05:43.36: Waiting for worker…
2025-12-10 05:43.52: Got resource from pool OCluster
Building on toxis.caelum.ci.dev
All commits already cached
Updating files: 70% (13358/19008)
Updating files: 71% (13496/19008)
Updating files: 72% (13686/19008)
Updating files: 73% (13876/19008)
Updating files: 74% (14066/19008)
Updating files: 75% (14256/19008)
Updating files: 76% (14447/19008)
Updating files: 77% (14637/19008)
Updating files: 78% (14827/19008)
Updating files: 79% (15017/19008)
Updating files: 80% (15207/19008)
Updating files: 81% (15397/19008)
Updating files: 82% (15587/19008)
Updating files: 83% (15777/19008)
Updating files: 84% (15967/19008)
Updating files: 85% (16157/19008)
Updating files: 86% (16347/19008)
Updating files: 87% (16537/19008)
Updating files: 88% (16728/19008)
Updating files: 89% (16918/19008)
Updating files: 90% (17108/19008)
Updating files: 91% (17298/19008)
Updating files: 92% (17488/19008)
Updating files: 93% (17678/19008)
Updating files: 94% (17868/19008)
Updating files: 95% (18058/19008)
Updating files: 96% (18248/19008)
Updating files: 97% (18438/19008)
Updating files: 98% (18628/19008)
Updating files: 99% (18818/19008)
Updating files: 100% (19008/19008)
Updating files: 100% (19008/19008), done.
HEAD is now at d684c896eb Merge pull request #29052 from balat/maintenance
Updating d684c896eb..334604e5a0
Fast-forward
packages/atd/atd.3.0.1/opam | 124 ++++++++++++++++++++
packages/atdcpp/atdcpp.3.0.1/opam | 116 ++++++++++++++++++
packages/atdd/atdd.3.0.1/opam | 116 ++++++++++++++++++
.../atdgen-codec-runtime.3.0.1/opam | 115 ++++++++++++++++++
packages/atdgen-runtime/atdgen-runtime.3.0.1/opam | 117 +++++++++++++++++++
packages/atdgen/atdgen.3.0.1/opam | 130 +++++++++++++++++++++
packages/atdj/atdj.3.0.1/opam | 129 ++++++++++++++++++++
packages/atdpy/atdpy.3.0.1/opam | 118 +++++++++++++++++++
packages/atds/atds.3.0.1/opam | 114 ++++++++++++++++++
packages/atdts/atdts.3.0.1/opam | 117 +++++++++++++++++++
10 files changed, 1196 insertions(+)
create mode 100644 packages/atd/atd.3.0.1/opam
create mode 100644 packages/atdcpp/atdcpp.3.0.1/opam
create mode 100644 packages/atdd/atdd.3.0.1/opam
create mode 100644 packages/atdgen-codec-runtime/atdgen-codec-runtime.3.0.1/opam
create mode 100644 packages/atdgen-runtime/atdgen-runtime.3.0.1/opam
create mode 100644 packages/atdgen/atdgen.3.0.1/opam
create mode 100644 packages/atdj/atdj.3.0.1/opam
create mode 100644 packages/atdpy/atdpy.3.0.1/opam
create mode 100644 packages/atds/atds.3.0.1/opam
create mode 100644 packages/atdts/atdts.3.0.1/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d' locally
docker.io/ocaml/opam@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d: Pulling from ocaml/opam
53c88f1dfeb7: Pulling fs layer
268d44a12236: Pulling fs layer
f2f36c7402e3: Pulling fs layer
9eb2778f421b: Pulling fs layer
3ca35f1ec5ed: Pulling fs layer
b08866568793: Pulling fs layer
fb0d17ce08c9: Pulling fs layer
c8db2c4fd670: Pulling fs layer
5fa8cfe8f9cb: Pulling fs layer
e7f5f7180a56: Pulling fs layer
9f66154be4d4: Pulling fs layer
f6674de6e5d4: Pulling fs layer
80eb63632584: Pulling fs layer
66f55aa69346: Pulling fs layer
d121bc397a1a: Pulling fs layer
c8db2c4fd670: Waiting
0eff100405dd: Pulling fs layer
7d67d217736c: Pulling fs layer
5fa8cfe8f9cb: Waiting
ac7107dc3d00: Pulling fs layer
e7f5f7180a56: Waiting
f01a17be3cef: Pulling fs layer
9f66154be4d4: Waiting
30a38827b55c: Pulling fs layer
085733096c8e: Pulling fs layer
86db5d63aa02: Pulling fs layer
9eb2778f421b: Waiting
4f4fb700ef54: Pulling fs layer
b08866568793: Waiting
034a62edceac: Pulling fs layer
808c1ae36c95: Pulling fs layer
0eff100405dd: Waiting
7d67d217736c: Waiting
66f55aa69346: Waiting
3ca35f1ec5ed: Waiting
ac7107dc3d00: Waiting
eba808bca592: Pulling fs layer
085733096c8e: Waiting
f01a17be3cef: Waiting
30a38827b55c: Waiting
68b2bb6a330b: Pulling fs layer
4f4fb700ef54: Waiting
f6674de6e5d4: Waiting
fb0d17ce08c9: Waiting
9fee74853ab2: Pulling fs layer
86db5d63aa02: Waiting
80eb63632584: Waiting
00d667d2b4f9: Pulling fs layer
eba808bca592: Waiting
cde2288b7be2: Pulling fs layer
9fee74853ab2: Waiting
034a62edceac: Waiting
808c1ae36c95: Waiting
6e6039e741bd: Pulling fs layer
cde2288b7be2: Waiting
08dc627d7129: Pulling fs layer
fbbf04bee28a: Pulling fs layer
6e6039e741bd: Waiting
cf124fccb693: Pulling fs layer
08dc627d7129: Waiting
16001ee30892: Pulling fs layer
a379ebcf721f: Pulling fs layer
c05951b4b1dd: Pulling fs layer
1238fc26ec9b: Pulling fs layer
a379ebcf721f: Waiting
16001ee30892: Waiting
33d5b2862e74: Pulling fs layer
cf124fccb693: Waiting
c05951b4b1dd: Waiting
1238fc26ec9b: Waiting
6a5c5f5e740e: Pulling fs layer
f97083767ae6: Pulling fs layer
5fbf3379e3de: Pulling fs layer
fa7fd9ad7954: Pulling fs layer
f97083767ae6: Waiting
c0b4ac729b41: Pulling fs layer
fa7fd9ad7954: Waiting
40482318cf81: Pulling fs layer
40482318cf81: Waiting
f2f36c7402e3: Download complete
268d44a12236: Verifying Checksum
268d44a12236: Download complete
3ca35f1ec5ed: Download complete
53c88f1dfeb7: Verifying Checksum
53c88f1dfeb7: Download complete
9eb2778f421b: Verifying Checksum
9eb2778f421b: Download complete
c8db2c4fd670: Verifying Checksum
c8db2c4fd670: Download complete
fb0d17ce08c9: Verifying Checksum
fb0d17ce08c9: Download complete
5fa8cfe8f9cb: Verifying Checksum
5fa8cfe8f9cb: Download complete
e7f5f7180a56: Verifying Checksum
e7f5f7180a56: Download complete
9f66154be4d4: Verifying Checksum
9f66154be4d4: Download complete
80eb63632584: Verifying Checksum
80eb63632584: Download complete
f6674de6e5d4: Verifying Checksum
f6674de6e5d4: Download complete
d121bc397a1a: Verifying Checksum
66f55aa69346: Verifying Checksum
66f55aa69346: Download complete
53c88f1dfeb7: Pull complete
268d44a12236: Pull complete
f2f36c7402e3: Pull complete
7d67d217736c: Download complete
0eff100405dd: Verifying Checksum
0eff100405dd: Download complete
ac7107dc3d00: Verifying Checksum
ac7107dc3d00: Download complete
f01a17be3cef: Download complete
30a38827b55c: Verifying Checksum
30a38827b55c: Download complete
085733096c8e: Verifying Checksum
085733096c8e: Download complete
86db5d63aa02: Download complete
9eb2778f421b: Pull complete
b08866568793: Verifying Checksum
b08866568793: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
3ca35f1ec5ed: Pull complete
034a62edceac: Download complete
808c1ae36c95: Download complete
eba808bca592: Verifying Checksum
eba808bca592: Download complete
68b2bb6a330b: Download complete
9fee74853ab2: Download complete
00d667d2b4f9: Verifying Checksum
00d667d2b4f9: Download complete
cde2288b7be2: Verifying Checksum
cde2288b7be2: Download complete
6e6039e741bd: Verifying Checksum
6e6039e741bd: Download complete
08dc627d7129: Download complete
fbbf04bee28a: Verifying Checksum
fbbf04bee28a: Download complete
16001ee30892: Download complete
cf124fccb693: Verifying Checksum
cf124fccb693: Download complete
c05951b4b1dd: Verifying Checksum
c05951b4b1dd: Download complete
33d5b2862e74: Verifying Checksum
33d5b2862e74: Download complete
6a5c5f5e740e: Verifying Checksum
6a5c5f5e740e: Download complete
f97083767ae6: Download complete
1238fc26ec9b: Verifying Checksum
1238fc26ec9b: Download complete
fa7fd9ad7954: Verifying Checksum
fa7fd9ad7954: Download complete
c0b4ac729b41: Verifying Checksum
c0b4ac729b41: Download complete
40482318cf81: Verifying Checksum
40482318cf81: Download complete
5fbf3379e3de: Verifying Checksum
5fbf3379e3de: Download complete
a379ebcf721f: Verifying Checksum
a379ebcf721f: Download complete
b08866568793: Pull complete
fb0d17ce08c9: Pull complete
c8db2c4fd670: Pull complete
5fa8cfe8f9cb: Pull complete
e7f5f7180a56: Pull complete
9f66154be4d4: Pull complete
f6674de6e5d4: Pull complete
80eb63632584: Pull complete
66f55aa69346: Pull complete
d121bc397a1a: Pull complete
0eff100405dd: Pull complete
7d67d217736c: Pull complete
ac7107dc3d00: Pull complete
f01a17be3cef: Pull complete
30a38827b55c: Pull complete
085733096c8e: Pull complete
86db5d63aa02: Pull complete
4f4fb700ef54: Pull complete
034a62edceac: Pull complete
808c1ae36c95: Pull complete
eba808bca592: Pull complete
68b2bb6a330b: Pull complete
9fee74853ab2: Pull complete
00d667d2b4f9: Pull complete
cde2288b7be2: Pull complete
6e6039e741bd: Pull complete
08dc627d7129: Pull complete
fbbf04bee28a: Pull complete
cf124fccb693: Pull complete
16001ee30892: Pull complete
a379ebcf721f: Pull complete
c05951b4b1dd: Pull complete
1238fc26ec9b: Pull complete
33d5b2862e74: Pull complete
6a5c5f5e740e: Pull complete
f97083767ae6: Pull complete
5fbf3379e3de: Pull complete
fa7fd9ad7954: Pull complete
c0b4ac729b41: Pull complete
40482318cf81: Pull complete
Digest: sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d
Status: Downloaded newer image for ocaml/opam@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d
2025-12-10 05:43.56 ---> using "d81b3b20b9dbe813f4813251eb45f7f230344599357169e34b0d2f872bf65895" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-12-10 05:43.56 ---> using "4c0c738834a7be54719ab9b07c911eba51e45ad4298c42597f7d3da72b1c15d4" 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
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-12-10 05:43.56 ---> using "8bb6d27bb5f7ebe9771219e3ecd730184d5e10ab877134c11c12ee3b1a6d3b96" 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 71
# 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
2025-12-10 05:43.56 ---> using "35019bd57e8933485bd938828fe288c3674216a4757e13b1dac8ce6b21035ac2" 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/"))
2025-12-10 05:43.56 ---> using "e09ab9992a764acab15da9cff99e3d4d978b8a77f33714cc5d19d16d3539eb49" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-12-10 05:43.57 ---> using "630da9564c465ba7e585abc8001b1311290ae4751c398a0ec3f9b62e7ec674dc" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-10 05:43.57 ---> using "9a85eccd7a586226f22a96e3ad75e429cf1855e02b6ef5b5b2e50f6e221f419c" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [81.7 kB]
- Fetched 172 kB in 0s (1570 kB/s)
- Reading package lists...
-
2025-12-10 05:43.57 ---> using "23f7fd3b65e868cc48e811b93c5f90cd22f28a8c9d63a22f401a9e1512a011a7" from cache
/home/opam: (run (shell "opam pin add -k version -yn atdts.3.0.1 3.0.1"))
atdts is now pinned to version 3.0.1
2025-12-10 05:43.59 ---> saved as "b06da77e6310a13a0c4d9a4d0fa8ea4f3a82a68a61bc27ac3640bc46dd627f96"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall atdts.3.0.1;\
\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\" != 'atdts.3.0.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
atdts.3.0.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 11 packages
- install atd 3.0.1 [required by atdts]
- install atdts 3.0.1 (pinned)
- install cmdliner 2.1.0 [required by atdts]
- install dune 3.20.2 [required by atdts]
- install easy-format 1.3.4 [required by atd]
- install menhir 20250912 [required by atd]
- install menhirCST 20250912 [required by menhir]
- install menhirLib 20250912 [required by menhir]
- install menhirSdk 20250912 [required by menhir]
- install re 1.14.0 [required by atdts]
- install yojson 3.0.0 [required by atd]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved atd.3.0.1, atdts.3.0.1 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved dune.3.20.2 (cached)
-> retrieved easy-format.1.3.4 (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed cmdliner.2.1.0
-> installed dune.3.20.2
-> installed easy-format.1.3.4
-> installed menhirCST.20250912
-> installed menhirSdk.20250912
-> installed menhirLib.20250912
-> installed re.1.14.0
-> installed yojson.3.0.0
-> installed menhir.20250912
-> installed atd.3.0.1
-> installed atdts.3.0.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-10 05:46.25 ---> saved as "7550e7438d6a89e07602b60cea4545232f9cd1ff72302a0aecd37a221360469a"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall elpi.3.4.3;\
\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.4.3' && 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.4.3 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 18 packages
- install atdgen 3.0.1 [required by elpi]
- install atdgen-runtime 3.0.1 [required by atdgen]
- install base v0.16.4 [required by ppx_optcomp]
- install biniou 1.2.2 [required by atdgen]
- install camlp-streams 5.0.1 [required by biniou]
- install cppo 1.8.0 [required by ppx_deriving]
- install csexp 1.5.2 [required by dune-configurator]
- install dune-configurator 3.20.2 [required by base]
- install elpi 3.4.3
- 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 ppx_optcomp v0.16.0 [required by elpi]
- install ppxlib 0.35.0 [required by elpi]
- install sexplib0 v0.16.0 [required by ppxlib, base]
- install stdio v0.16.0 [required by ppx_optcomp]
- install stdlib-shims 0.3.0 [required by elpi]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved atdgen.3.0.1, atdgen-runtime.3.0.1 (cached)
-> retrieved base.v0.16.4 (cached)
-> retrieved biniou.1.2.2 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed camlp-streams.5.0.1
-> installed csexp.1.5.2
-> retrieved dune-configurator.3.20.2 (cached)
-> installed cppo.1.8.0
-> installed biniou.1.2.2
-> installed atdgen-runtime.3.0.1
-> retrieved elpi.3.4.3 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.0.3 (cached)
-> retrieved ppx_optcomp.v0.16.0 (cached)
-> installed ppx_derivers.1.2.1
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved sexplib0.v0.16.0 (cached)
-> retrieved stdio.v0.16.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.16.0
-> installed dune-configurator.3.20.2
-> installed ocaml-compiler-libs.v0.12.4
-> installed atdgen.3.0.1
-> installed ocamlfind.1.9.8
-> installed base.v0.16.4
-> installed stdio.v0.16.0
-> installed ppxlib.0.35.0
-> installed ppx_optcomp.v0.16.0
-> installed ppx_deriving.6.0.3
-> installed elpi.3.4.3
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-10 05:49.04 ---> saved as "368c6b5263ac895258342008893691bd59dcf2187789ab2da83890b099679bc6"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test elpi.3.4.3) || 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 (pinned) [uses cmdliner]
- recompile elpi 3.4.3
=== 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://github.com/ahrefs/atd/releases/download/3.0.1/atd-3.0.1.tbz)
-> 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.4.3 (https://opam.ocaml.org/cache)
-> retrieved fileutils.0.6.6 (https://opam.ocaml.org/cache)
-> installed fileutils.0.6.6
-> removed elpi.3.4.3
-> 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 atd.3.0.1
-> installed atdts.3.0.1
-> installed atdgen.3.0.1
-> installed elpi.3.4.3
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-10 05:52.22 ---> saved as "6f3bbcbb3d2e25a3239bf7fba1e105147eb562bca3444d8a1481c43e74137dcb"
/home/opam: (run (shell "opam reinstall --with-test --verbose elpi.3.4.3;\
\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.4.3' && 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.4.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [elpi.3.4.3: extract]
-> retrieved elpi.3.4.3 (cached)
Processing 2/4: [elpi: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "elpi" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/elpi.3.4.3)
- (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: 17 shift/reduce conflicts were arbitrarily resolved.
- Read 384 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: 17 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.4.3)
- make build
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/elpi.3.4.3'
- dune build -p elpi @all
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/elpi.3.4.3'
- 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=1.322272 l=1.217902
- 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.4.3/tests/sources/ \
- --plot=/home/opam/.opam/4.14/.opam-switch/build/elpi.3.4.3/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.4.3/_build/install/default/bin/elpi --runner /home/opam/.opam/4.14/.opam-switch/build/elpi.3.4.3/_build/install/default/bin/elpi-trace-elaborator
- ------------------------------------------------------------------
- Runners: /home/opam/.opam/4.14/.opam-switch/build/elpi.3.4.3/_build/install/default/bin/elpi /home/opam/.opam/4.14/.opam-switch/build/elpi.3.4.3/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 8387
- 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.04 0.10 13.9M 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.04 0.00 0.0M elpi
- RUNNING asclause (parsing of the .. as X clause) elpi
OK asclause 0.00 0.04 0.10 14.0M elpi
- RUNNING backtracking (backtracking variable assignment) elpi
OK backtracking 0.00 0.05 0.11 14.4M 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.03 0.07 13.9M 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.04 0.08 14.5M elpi
- RUNNING bug19 (unif under binders) elpi
OK bug19 0.00 0.04 0.09 14.0M elpi
- RUNNING bug_226 (move/unif bug) elpi
OK bug_226 0.00 0.04 0.08 14.0M elpi
- RUNNING chr (constraints handling rules) elpi
OK chr 0.00 0.06 0.12 14.5M elpi
- RUNNING chr-scope (chr-relocation) elpi
OK chr-scope 0.00 0.03 0.07 14.5M elpi
- RUNNING chr-scope-change (chr-relocation) elpi
OK chr-scope-change 0.00 0.04 0.08 14.0M elpi
- RUNNING chr-scope-change-err (chr-relocation) elpi
OK chr-scope-change-err 0.00 0.04 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.03 0.08 14.4M elpi
- RUNNING chr_gcd (greatest common divisor in CHR) elpi
OK chr_gcd 0.00 0.05 0.10 14.5M elpi
- RUNNING chr_leq (chr transitive closure) elpi
- OK chr_leq 0.00 0.03 0.08 14.5M elpi
- RUNNING chr_nokey (constraints keyed on _) elpi
OK chr_nokey 0.00 0.05 0.11 13.9M elpi
- RUNNING chr_nokey2 (constraints keyed on _) elpi
OK chr_nokey2 0.00 0.05 0.11 13.9M elpi
- RUNNING chr_sem (refined operational semantics) elpi
OK chr_sem 0.00 0.04 0.10 14.6M elpi
- RUNNING chr_ut (type checker with UT via CHR) elpi
OK chr_ut 0.00 0.04 0.09 14.6M elpi
- RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi
OK chr_with_hypotheses 0.00 0.05 0.11 14.5M elpi
- RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi
OK conj2 0.00 0.04 0.09 14.1M elpi
- RUNNING cut1 (what else) elpi
OK cut1 0.00 0.05 0.11 14.5M elpi
- RUNNING cut2 (what else) elpi
OK cut2 0.00 0.03 0.07 14.4M elpi
- RUNNING cut3 (what else) elpi
- OK cut3 0.00 0.03 0.07 14.0M elpi
- RUNNING cut4 (what else) elpi
OK cut4 0.00 0.03 0.07 14.0M elpi
- RUNNING cut5 (what else) elpi
OK cut5 0.00 0.03 0.07 14.5M elpi
- RUNNING cut6 (what else) elpi
OK cut6 0.00 0.05 0.11 14.4M elpi
- RUNNING discard (_) elpi
OK discard 0.00 0.05 0.10 14.0M elpi
- RUNNING dt_bug272 (dt list truncation heuristic) elpi
OK dt_bug272 0.03 0.03 0.10 14.4M elpi
- RUNNING dt_bug323 (dt on_all_children) elpi
OK dt_bug323 0.00 0.05 0.10 13.9M elpi
- RUNNING dt_empty_list (discrimination_tree empty_list) elpi
OK dt_empty_list 0.00 0.03 0.07 14.1M elpi
- RUNNING dt_max_depths (discrimination_tree max_depth) elpi
OK dt_max_depths 0.00 0.05 0.11 14.6M elpi
- RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi
- OK dt_multiparam1 1.47 0.05 1.57 18.2M elpi
- RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi
- OK dt_multiparam2 1.64 0.05 1.76 18.3M elpi
- RUNNING dt_multiparam3 (discrimination_tree indexing multi with flexible in input mode) elpi
- OK dt_multiparam3 0.00 0.05 0.00 0.0M elpi
- RUNNING dt_multivar (discrimination_tree indexing multi with flexible in input mode) elpi
- OK dt_multivar 0.01 0.05 0.12 14.5M elpi
- RUNNING dt_var (discrimination_tree indexing flex) elpi
OK dt_var 0.00 0.04 0.08 14.5M elpi
- RUNNING dt_var2 (discrimination_tree indexing flex) elpi
OK dt_var2 0.00 0.06 0.12 13.9M elpi
- RUNNING dt_var3 (discrimination_tree indexing flex) elpi
OK dt_var3 0.00 0.05 0.10 14.0M elpi
- RUNNING dupta (duplicate type abbreviation) elpi
OK dupta 0.00 0.00 0.00 0.0M elpi
- RUNNING dupta2 (duplicate type abbreviation namespace) elpi
OK dupta2 0.00 0.00 0.00 0.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.05 0.12 14.5M elpi
- RUNNING eta_as (eta expansion of as clause) elpi
- OK eta_as 0.00 0.05 0.13 14.5M elpi
- RUNNING eta_oc (eta expansion and occur check) elpi
OK eta_oc 0.00 0.05 0.11 14.4M elpi
- RUNNING findall (stash across backtrack) elpi
OK findall 0.00 0.06 0.12 14.4M elpi
- RUNNING findall_csts (stash across backtrack) elpi
OK findall_csts 0.00 0.05 0.11 13.9M 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.05 0.11 13.9M elpi
- RUNNING functionality101 (functionality101) elpi
OK functionality101 0.00 0.04 0.10 13.9M 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.05 0.10 13.9M elpi
- RUNNING functionality105 (functionality105) elpi
OK functionality105 0.00 0.05 0.09 14.0M elpi
- RUNNING functionality106 (functionality106) elpi
OK functionality106 0.00 0.03 0.07 14.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.03 0.07 14.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.03 0.07 13.9M 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.03 0.07 14.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.03 0.06 14.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.03 0.08 13.9M elpi
- RUNNING functionality12 (functionality12) elpi
OK functionality12 0.00 0.04 0.09 14.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.04 0.08 14.1M 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.03 0.07 13.9M 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.03 0.06 14.0M elpi
- RUNNING functionality20 (functionality20) elpi
OK functionality20 0.00 0.03 0.06 13.9M 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.05 0.09 13.9M 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.03 0.06 13.9M 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.04 0.10 14.0M elpi
- RUNNING functionality29 (functionality29) elpi
OK functionality29 0.00 0.03 0.07 14.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.04 0.10 14.5M 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.03 0.06 13.9M 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.03 0.06 14.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.03 0.07 14.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.05 0.10 13.9M 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.03 0.06 13.9M 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.05 0.10 14.6M elpi
- RUNNING functionality47 (functionality47) elpi
OK functionality47 0.00 0.04 0.08 14.0M elpi
- RUNNING functionality48 (functionality48) elpi
- OK functionality48 0.00 0.03 0.08 14.0M elpi
- RUNNING functionality49 (functionality49) elpi
OK functionality49 0.00 0.05 0.12 14.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.04 0.11 14.1M 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.05 0.11 14.4M 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.05 0.11 14.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.05 0.12 14.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.05 0.11 13.9M 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.05 0.11 14.0M elpi
- RUNNING functionality63 (functionality63) elpi
OK functionality63 0.00 0.03 0.07 13.9M elpi
- RUNNING functionality64 (functionality64) elpi
OK functionality64 0.00 0.03 0.08 13.9M 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.03 0.07 13.9M 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.03 0.08 13.9M elpi
- RUNNING functionality72 (functionality72) elpi
OK functionality72 0.00 0.03 0.07 13.9M 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.05 0.10 13.9M elpi
- RUNNING functionality77 (functionality77) elpi
OK functionality77 0.00 0.05 0.10 14.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.04 0.10 14.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.03 0.07 14.5M 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.04 0.10 13.9M 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.05 0.11 14.1M 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.04 0.10 13.9M elpi
- RUNNING functionality87 (functionality87) elpi
OK functionality87 0.00 0.04 0.10 14.1M elpi
- RUNNING functionality88 (functionality88) elpi
OK functionality88 0.00 0.04 0.10 14.0M elpi
- RUNNING functionality89 (functionality89) elpi
OK functionality89 0.00 0.06 0.14 14.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.05 0.12 13.9M 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.05 0.11 14.0M elpi
- RUNNING functionality93 (functionality93) elpi
OK functionality93 0.00 0.05 0.12 13.9M 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.05 0.12 13.9M elpi
- RUNNING graft_before (grafting a clause before the clause of another predicate) elpi
OK graft_before 0.00 0.05 0.11 14.0M elpi
- RUNNING graft_before_same (grafting a clause before the clause of the same predicate) elpi
OK graft_before_same 0.00 0.05 0.12 14.1M elpi
- RUNNING graft_remove (remove a clase) elpi
OK graft_remove 0.00 0.05 0.10 14.5M 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.05 0.11 13.9M elpi
- RUNNING hc_interp (Horn Clauses interpreter) elpi
- OK hc_interp 0.00 0.06 0.12 14.5M elpi
- RUNNING hdclause (hdclause unification) elpi
OK hdclause 0.00 0.05 0.12 14.7M elpi
- RUNNING heap_discard (heapification of _) elpi
OK heap_discard 0.00 0.05 0.11 14.0M elpi
- RUNNING heap_discard3 (heapification of _) elpi
OK heap_discard3 0.00 0.05 0.11 13.9M elpi
- RUNNING hilbert (hilbert) elpi
OK hilbert 0.00 0.06 0.12 14.6M elpi
- RUNNING hilbert2 (hilbert2) elpi
OK hilbert2 0.00 0.05 0.12 14.4M elpi
- RUNNING ho (HO predicates) elpi
OK ho 0.00 0.05 0.11 14.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.07 0.15 14.7M elpi
- RUNNING hyp_uvar (uvar at the left of implication) elpi
OK hyp_uvar 0.00 0.05 0.11 14.1M elpi
- RUNNING ifdef (lexer ifdef) elpi
OK ifdef 0.00 0.05 0.11 13.9M elpi
- RUNNING impl (implication) elpi
OK impl 0.00 0.05 0.11 14.4M elpi
- RUNNING impl2 (implication) elpi
OK impl2 0.00 0.05 0.11 14.1M elpi
- RUNNING impl_order (implication and pair/list) elpi
OK impl_order 0.00 0.05 0.11 14.5M elpi
- RUNNING impl_prec (warning about A => B, C) elpi
OK impl_prec 0.00 0.05 0.11 13.9M elpi
- RUNNING impl_prec_silent (warning about A => B, C) elpi
OK impl_prec_silent 0.00 0.05 0.11 14.5M elpi
- RUNNING implbang (tail cut =!=>) elpi
- OK implbang 0.00 0.05 0.12 14.0M elpi
- RUNNING is (calc) elpi
OK is 0.00 0.05 0.11 14.0M elpi
- RUNNING lambda4 (simple type checker) elpi
OK lambda4 0.00 0.05 0.11 14.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.05 0.12 14.5M elpi
- RUNNING lambda_arrow2 (simple type checker) elpi
OK lambda_arrow2 0.00 0.06 0.14 14.4M elpi
- RUNNING lambdadelta (lambda delta tests) elpi
- OK lambdadelta 0.01 0.07 0.15 15.2M elpi
- RUNNING linear (linear variable check) elpi
OK linear 0.00 0.05 0.13 13.9M elpi
- RUNNING list_as_conj (list is an nary conjunction) elpi
OK list_as_conj 0.00 0.06 0.13 14.0M elpi
- RUNNING list_comma (lists with spurious , in there) elpi
OK list_comma 0.00 0.05 0.14 14.1M elpi
- RUNNING llam (Miller pattern unification) elpi
OK llam 0.01 0.06 0.13 14.5M elpi
- RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi
OK llamb0_exit1 0.00 0.05 0.12 13.9M elpi
- RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi
OK llamb0_exit2 0.00 0.05 0.13 13.9M elpi
- RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi
- OK llamb0_exit3 0.00 0.06 0.13 13.9M elpi
- RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi
OK llamb0_exit4 0.00 0.05 0.14 13.9M elpi
- RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi
OK llamb0_exit5 0.00 0.05 0.13 13.9M elpi
- RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi
OK llamb0_exit6 0.00 0.05 0.12 13.9M elpi
- RUNNING macro_type (polymorphic macro) elpi
OK macro_type 0.00 0.05 0.13 13.9M 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.06 0.14 14.4M elpi
- RUNNING name (name builtin) elpi
- OK name 0.00 0.05 0.11 14.5M 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.05 0.12 13.9M elpi
- RUNNING namespace00 (namespacing of predicates and constants) elpi
OK namespace00 0.00 0.05 0.10 14.5M elpi
- RUNNING namespace01 (namespacing of predicates and constants) elpi
OK namespace01 0.00 0.04 0.10 13.9M elpi
- RUNNING namespace02 (namespacing of predicates and constants) elpi
OK namespace02 0.00 0.05 0.11 14.4M elpi
- RUNNING namespace03 (namespacing of predicates and constants) elpi
OK namespace03 0.00 0.05 0.13 14.4M elpi
- RUNNING nil_cons (nil = []) elpi
- OK nil_cons 0.00 0.05 0.13 13.9M elpi
- RUNNING notation (extensible syntax) elpi
OK notation 0.00 0.05 0.11 14.5M 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.05 0.00 0.0M elpi
- RUNNING patternunif (Miller pattern unification) elpi
OK patternunif 0.00 0.05 0.12 14.5M elpi
- RUNNING patternunif2 (Miller pattern unification) elpi
OK patternunif2 0.00 0.05 0.12 14.0M elpi
- RUNNING pcf (type inference for PCF) elpi
OK pcf 0.00 0.07 0.17 15.3M elpi
- RUNNING pi (pi quantification) elpi
- OK pi 0.00 0.05 0.12 14.6M elpi
- RUNNING pi3 (pi quantification) elpi
OK pi3 0.00 0.05 0.12 13.9M elpi
- RUNNING pi5 (pi quantification) elpi
OK pi5 0.00 0.05 0.12 14.4M elpi
- RUNNING pm (pattern matching builtin) elpi
OK pm 0.00 0.05 0.11 14.0M elpi
- RUNNING pnf (some HO programming) elpi
OK pnf 0.00 0.06 0.12 14.5M elpi
- RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi
OK polymorphic_variants 0.00 0.05 0.12 14.5M elpi
- RUNNING printer (printing infix) elpi
OK printer 0.00 0.05 0.11 14.4M elpi
- RUNNING progs (progs) elpi
- OK progs 0.00 0.06 0.15 14.6M elpi
- RUNNING random (random numbers) elpi
OK random 0.00 0.06 0.12 14.0M elpi
- RUNNING restriction (HO unification scope checking) elpi
OK restriction 0.00 0.05 0.00 0.0M elpi
- RUNNING restriction3 (HO unification scope checking) elpi
OK restriction3 0.00 0.05 0.14 14.5M elpi
- RUNNING restriction4 (HO unification scope checking) elpi
OK restriction4 0.00 0.05 0.13 13.9M elpi
- RUNNING restriction5 (HO unification scope checking) elpi
OK restriction5 0.00 0.05 0.14 13.9M elpi
- RUNNING restriction6 (HO unification scope checking) elpi
OK restriction6 0.00 0.05 0.13 14.0M elpi
- RUNNING same_term (the == operator) elpi
- OK same_term 0.00 0.06 0.13 14.0M elpi
- RUNNING self_assignment (Miller pattern unification) elpi
OK self_assignment 0.00 0.06 0.14 14.0M elpi
- RUNNING shorten (shortening names of a namespace) elpi
OK shorten 0.00 0.06 0.14 14.4M elpi
- RUNNING shorten-EOF (shortening names ends with the file) elpi
OK shorten-EOF 0.00 0.06 0.17 14.1M elpi
- RUNNING shorten_builtin (shortening a builtin) elpi
OK shorten_builtin 0.00 0.04 0.15 13.9M elpi
- RUNNING shorten_trie (shortening a trie of names) elpi
OK shorten_trie 0.00 0.05 0.12 13.9M elpi
- RUNNING spill-var (spilling a var) elpi
OK spill-var 0.00 0.05 0.12 14.0M elpi
- RUNNING spill2 (spilling 2 arguments) elpi
- OK spill2 0.00 0.05 0.11 14.0M elpi
- RUNNING spill_collision (spilling under 2 pi named the same) elpi
OK spill_collision 0.00 0.05 0.11 14.0M elpi
- RUNNING spill_pi (spilling under pi) elpi
OK spill_pi 0.00 0.05 0.11 13.9M elpi
- RUNNING spill_sigma (spilling under sigma) elpi
OK spill_sigma 0.00 0.04 0.09 14.0M elpi
- RUNNING spilling_and (spilling anonymous compound goal) elpi
OK spilling_and 0.00 0.03 0.07 14.4M elpi
- RUNNING spilling_impl (spilling implication) elpi
OK spilling_impl 0.00 0.03 0.07 14.6M elpi
- RUNNING spilling_in_list (spilling prem order) elpi
OK spilling_in_list 0.00 0.03 0.07 14.0M elpi
- RUNNING spilling_lam (spilling inside anonymous clause) elpi
OK spilling_lam 0.00 0.04 0.07 14.0M elpi
- RUNNING spilling_or (spilling prem order) elpi
OK spilling_or 0.00 0.04 0.09 14.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.04 0.10 14.1M elpi
- RUNNING trace-browser-chr (trace generation) elpi
OK trace-browser-chr 0.00 0.04 0.09 14.7M elpi
- RUNNING trace-browser-cut (trace generation) elpi
OK trace-browser-cut 0.00 0.04 0.10 14.1M elpi
- RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab 0.00 0.00 0.00 6.3M 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.23 34.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 6.5M elpi-trace-elaborator
- RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-cut 0.00 0.00 0.00 6.2M elpi-trace-elaborator
- RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-findall 0.00 0.00 0.00 5.9M elpi-trace-elaborator
- RUNNING trace-browser-findall (trace generation) elpi
OK trace-browser-findall 0.00 0.05 0.11 14.2M elpi
- RUNNING trace-browser-w (trace generation) elpi
OK trace-browser-w 0.03 0.06 0.17 14.7M elpi
- RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator
- OK trace-browser-w-elab 0.00 0.00 0.03 7.0M elpi-trace-elaborator
- RUNNING trace-browser2 (trace generation) elpi
OK trace-browser2 0.00 0.05 0.12 14.1M elpi
- RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser2-elab 0.00 0.00 0.00 4.9M elpi-trace-elaborator
- RUNNING trace-browser3 (trace generation) elpi
OK trace-browser3 0.00 0.05 0.12 14.2M elpi
- RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser3-elab 0.00 0.00 0.00 6.3M elpi-trace-elaborator
- RUNNING trace-browser4 (trace generation) elpi
OK trace-browser4 0.00 0.05 0.14 14.0M elpi
- RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser4-elab 0.00 0.00 0.00 6.2M elpi-trace-elaborator
- RUNNING trailing_comment (trailing comment) elpi
OK trailing_comment 0.00 0.05 0.12 13.9M elpi
- RUNNING trie (discrimination_tree on trees) elpi
OK trie 0.00 0.06 0.13 14.5M elpi
- RUNNING typeabbrv1 (type abbreviations) elpi
- OK typeabbrv1 0.00 0.05 0.13 13.9M 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.06 0.12 14.0M elpi
- RUNNING typeabbrv15 (type abbreviations) elpi
OK typeabbrv15 0.00 0.06 0.13 13.9M 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.04 0.10 14.0M elpi
- RUNNING typeabbrv4 (type abbreviations) elpi
- OK typeabbrv4 0.00 0.04 0.10 13.9M 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.05 0.12 14.0M elpi
- RUNNING typeabbrv8 (type abbreviations) elpi
OK typeabbrv8 0.00 0.05 0.10 14.0M elpi
- RUNNING typeabbrv9 (type abbreviations) elpi
OK typeabbrv9 0.00 0.05 0.11 14.0M elpi
- RUNNING uminus (parsing and evaluation of unary minus) elpi
OK uminus 0.00 0.05 0.11 13.9M elpi
- RUNNING unix (unix APIs) elpi
OK unix 0.03 0.05 0.15 14.5M elpi
- RUNNING uvar_keyword (uvar kwd status at the meta level) elpi
- OK uvar_keyword 0.00 0.05 0.13 14.5M elpi
- RUNNING var (var API) elpi
OK var 0.00 0.06 0.13 14.4M elpi
- RUNNING variadic (variadic) elpi
OK variadic 0.00 0.06 0.14 13.9M elpi
- RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi
OK variadic_declare_constraints 0.00 0.04 0.13 13.9M elpi
- RUNNING w (ELPI example at MLWS) elpi
OK w 0.00 0.06 0.14 14.6M elpi
- ------------------------------------------------------------------
- Tests: 300
- Passed: 300
- Failed: 0
-> compiled elpi.3.4.3
-> removed elpi.3.4.3
-> installed elpi.3.4.3
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-10 05:54.29 ---> saved as "10b872495466328bd9fb025e7d8299e5c2619980534dfb0fc3edf8a5125786ac"
Job succeeded
2025-12-10 05:54.40: Job succeeded