- github
- ocaml
- opam-repository
- 710097
- extras,opam-2.1-ocaml-5.4,elpi.3.6.2,tests
(not at the head of any monitored branch or PR)
2026-03-18 13:42.24: New job: test elpi.3.6.2, using opam 2.1
from https://github.com/ocaml/opam-repository.git#refs/pull/29558/head (710097a1b048881d8a70c503fd3a92b6b2b0f887)
on debian-13-ocaml-5.4/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29558/head" && git reset --hard 710097a1
git fetch origin master
git merge --no-edit 74d66d2cf829136a685389bbb8429d662a76164b
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.1 /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 elpi.3.6.2 3.6.2
RUN opam reinstall elpi.3.6.2; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'elpi.3.6.2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test elpi.3.6.2) || true
RUN opam reinstall --with-test --verbose elpi.3.6.2; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'elpi.3.6.2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-03-18 13:42.24: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6-elpi.3.6.2-710097a1b048881d8a70c503fd3a92b6b2b0f887"
2026-03-18 13:42.24: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.1 /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 elpi.3.6.2 3.6.2"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall elpi.3.6.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.6.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test elpi.3.6.2) || true"))
(run (shell "opam reinstall --with-test --verbose elpi.3.6.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.6.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-03-18 13:42.24: Waiting for resource in pool OCluster
2026-03-18 13:42.25: Waiting for worker…
2026-03-18 13:43.49: Got resource from pool OCluster
Building on clete
All commits already cached
Updating files: 92% (17052/18483)
Updating files: 93% (17190/18483)
Updating files: 94% (17375/18483)
Updating files: 95% (17559/18483)
Updating files: 96% (17744/18483)
Updating files: 97% (17929/18483)
Updating files: 98% (18114/18483)
Updating files: 99% (18299/18483)
Updating files: 100% (18483/18483)
Updating files: 100% (18483/18483), done.
HEAD is now at 74d66d2cf8 Merge pull request #29553 from Julow/release-ocamlformat-0.29.0
Updating 74d66d2cf8..710097a1b0
Fast-forward
packages/elpi/elpi.3.6.2/opam | 92 +++++++++++++++++++++++++++++++++++++++++++
1 file changed, 92 insertions(+)
create mode 100644 packages/elpi/elpi.3.6.2/opam
(from ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6)
2026-03-18 13:43.52 ---> using "41eea30e3f639c18d8cf57c309ec76919ec7b2398036f7e41744cbce59a133d3" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2026-03-18 13:43.52 ---> using "84073b6daa86f86d6aaabcae0b9510ae92aef1992c1d9d64600002afada31ede" 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.
Continue? [Y/n] y
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-03-18 13:43.52 ---> using "d4a13c53d672ea86ca6eb9b1efd4ec14bfaff38dcf6cf71ff73f4a9a79c0a0da" 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.1.6 (263921263e1f745613e2882745114b7b08f3608b)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria
# upgrade-criteria
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2026-03-18 13:43.52 ---> using "b05d3b05d4c3c083ce745f90e05265d8bc1e37934712ceb0ea58c4229dc90669" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-03-18 13:43.52 ---> using "f9320a8a7e0da1cdce3fbd889035ad4dbbc1ef01b097e8eabcab41a0ecb7e8b1" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-03-18 13:43.53 ---> using "0868ffe43f89adb40aef9ebd67438890204c542bec102c3fd073c050dd8cb01f" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-03-18 13:44.03 ---> saved as "688e47afa9f50f367db5c3ab809bd65ff27365d5f582834576e6c5fab52654fd"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian trixie/main amd64 Packages [9671 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [115 kB]
- Fetched 10.0 MB in 2s (4822 kB/s)
- Reading package lists...
-
2026-03-18 13:44.07 ---> saved as "74635158065de43d9bbfc65aae37fa0a2f00c9b45263f3d27e38e4c274ce5ce7"
/home/opam: (run (shell "opam pin add -k version -yn elpi.3.6.2 3.6.2"))
elpi is now pinned to version 3.6.2
2026-03-18 13:44.08 ---> saved as "a4576d1c98d3320870c93e7089bfcb4cc187935881482dcbc4cb80a678c02674"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall elpi.3.6.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.6.2' && 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.6.2 is not installed. Install it? [Y/n] y
The following actions will be performed:
- recompile ocaml-compiler 5.4.0 [upstream or system changes]
- recompile ocaml-base-compiler 5.4.0* [uses ocaml-compiler]
- recompile ocaml-config 3 [uses ocaml-base-compiler]
- recompile ocaml 5.4.0 [uses ocaml-base-compiler]
- install ocamlfind 1.9.8 [required by ppx_deriving]
- install dune 3.21.1 [required by elpi]
- install cmdliner 2.1.0 [required by atdts]
- recompile opam-depext 1.2.3 [uses ocaml]
- recompile base-effects base [uses ocaml]
- recompile base-domains base [uses ocaml]
- install yojson 3.0.0 [required by atdgen]
- install stdlib-shims 0.3.0 [required by elpi]
- install sexplib0 v0.17.0 [required by ppxlib, base]
- install re 1.14.0 [required by elpi]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install menhirSdk 20260209 [required by menhir]
- install menhirLib 20260209 [required by menhir]
- install menhirGLR 20260209 [required by menhir]
- install menhirCST 20260209 [required by menhir]
- install easy-format 1.3.4 [required by atd]
- install csexp 1.5.2 [required by dune-configurator]
- install cppo 1.8.0 [required by ppx_deriving]
- install camlp-streams 5.0.1 [required by biniou]
- recompile base-nnp base [uses base-domains]
- install ppxlib 0.38.0~5.5preview [required by elpi]
- install menhir 20260209 [required by elpi]
- install dune-configurator 3.21.1 [required by base]
- install biniou 1.2.2 [required by atdgen]
- install ppx_deriving 6.1.1 [required by elpi]
- install atd 4.0.0 [required by atdgen, atdts]
- install base v0.17.3 [required by ppx_optcomp]
- install atdgen-runtime 4.0.0 [required by atdgen]
- install atdts 4.0.0 [required by elpi]
- install stdio v0.17.0 [required by ppx_optcomp]
- install atdgen 4.0.0 [required by elpi]
- install ppx_optcomp v0.17.1 [required by elpi]
- install elpi 3.6.2*
===== 31 to install | 8 to recompile =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved atd.4.0.0 (cached)
-> retrieved atdgen.4.0.0 (cached)
-> retrieved atdgen-runtime.4.0.0 (cached)
-> retrieved atdts.4.0.0 (cached)
-> retrieved base.v0.17.3 (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 csexp.1.5.2 (cached)
-> retrieved dune.3.21.1 (cached)
-> retrieved dune-configurator.3.21.1 (cached)
-> retrieved easy-format.1.3.4 (cached)
-> retrieved elpi.3.6.2 (https://github.com/LPCIC/elpi/releases/download/v3.6.2/elpi-3.6.2.tbz)
-> retrieved menhir.20260209 (cached)
-> retrieved menhirCST.20260209 (cached)
-> retrieved menhirGLR.20260209 (cached)
-> retrieved menhirLib.20260209 (cached)
-> retrieved menhirSdk.20260209 (cached)
-> retrieved ocaml-compiler.5.4.0 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml-config.3 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved opam-depext.1.2.3 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.1.1 (cached)
-> retrieved ppx_optcomp.v0.17.1 (cached)
-> retrieved ppxlib.0.38.0~5.5preview (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved yojson.3.0.0 (cached)
-> removed base-effects.base
-> removed base-nnp.base
-> removed base-domains.base
-> removed opam-depext.1.2.3
-> removed ocaml.5.4.0
-> removed ocaml-config.3
-> removed ocaml-base-compiler.5.4.0
-> removed ocaml-compiler.5.4.0
-> installed ocaml-compiler.5.4.0
-> installed ocaml-base-compiler.5.4.0
-> installed ocaml-config.3
-> installed ocaml.5.4.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
-> installed opam-depext.1.2.3
-> installed ocamlfind.1.9.8
-> installed cmdliner.2.1.0
-> installed dune.3.21.1
-> installed csexp.1.5.2
-> installed camlp-streams.5.0.1
-> installed easy-format.1.3.4
-> installed menhirCST.20260209
-> installed menhirGLR.20260209
-> installed menhirLib.20260209
-> installed menhirSdk.20260209
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ppx_derivers.1.2.1
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed cppo.1.8.0
-> installed re.1.14.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed biniou.1.2.2
-> installed yojson.3.0.0
-> installed atdgen-runtime.4.0.0
-> installed dune-configurator.3.21.1
-> installed menhir.20260209
-> installed base.v0.17.3
-> installed stdio.v0.17.0
-> installed atd.4.0.0
-> installed atdts.4.0.0
-> installed atdgen.4.0.0
-> installed ppxlib.0.38.0~5.5preview
-> installed ppx_optcomp.v0.17.1
-> installed ppx_deriving.6.1.1
-> installed elpi.3.6.2
Done.
<><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment
2026-03-18 13:48.49 ---> saved as "ee67567507874224a32194210bed9453c98db96aff7491fee924c224a5978793"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test elpi.3.6.2) || true"))
The following actions will be performed:
- install conf-which 1 [required by conf-time]
- install base-bytes base [required by ANSITerminal]
- install fileutils 0.6.6 [required by elpi]
- downgrade cmdliner 2.1.0 to 1.3.0 [required by elpi]
- install conf-time 1 [required by elpi]
- install ANSITerminal 0.8.5 [required by elpi]
- recompile atd 4.0.0 [uses cmdliner]
- recompile atdts 4.0.0 [uses cmdliner]
- recompile atdgen 4.0.0 [uses atd]
- recompile elpi 3.6.2*
===== 5 to install | 4 to recompile | 1 to downgrade =====
The following system packages will first need to be installed:
time
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /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 ... 20654 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.4.0.0 (https://opam.ocaml.org/cache)
-> retrieved atdgen.4.0.0 (cached)
-> retrieved atdts.4.0.0 (cached)
-> installed base-bytes.base
-> retrieved cmdliner.1.3.0 (https://opam.ocaml.org/cache)
-> installed conf-which.1
-> installed conf-time.1
-> retrieved fileutils.0.6.6 (https://opam.ocaml.org/cache)
-> installed ANSITerminal.0.8.5
-> installed fileutils.0.6.6
-> removed elpi.3.6.2
-> removed atdgen.4.0.0
-> removed atdts.4.0.0
-> removed atd.4.0.0
-> removed cmdliner.2.1.0
-> installed cmdliner.1.3.0
-> installed atd.4.0.0
-> installed atdts.4.0.0
-> installed atdgen.4.0.0
-> installed elpi.3.6.2
Done.
# Run eval $(opam env) to update the current shell environment
2026-03-18 13:49.50 ---> saved as "6b31101b670ff61df353a0db942a426e396e559d9258ee3d56f7ee9e1181acc7"
/home/opam: (run (shell "opam reinstall --with-test --verbose elpi.3.6.2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'elpi.3.6.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
- recompile elpi 3.6.2*
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
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/5.4/.opam-switch/build/elpi.3.6.2)
- (cd _build/default/src && /home/opam/.opam/5.4/bin/atdgen -o trace_atd -j-std trace.atd)
- Warning: option "-j-std" is deprecated.
- (cd _build/default/src/parser && /home/opam/.opam/5.4/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/5.4/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I trace/runtime/.trace_ppx_runtime.objs/byte -I /home/opam/.opam/5.4/lib/re -cmi-file trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmi -no-alias-deps -open Trace_ppx_runtime -o trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmo -c -impl trace/runtime/runtime.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w -40 -g -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -I /home/opam/.opam/5.4/lib/re -cmi-file trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmi -no-alias-deps -open Trace_ppx_runtime -o trace/runtime/.trace_ppx_runtime.objs/native/trace_ppx_runtime__Runtime.cmx -c -impl trace/runtime/runtime.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- (cd _build/default && /home/opam/.opam/5.4/bin/menhir --external-tokens Elpi_lexer_config.Tokens --table 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.
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/parser/.elpi_parser.objs/byte -I /home/opam/.opam/5.4/lib/menhirLib -I /home/opam/.opam/5.4/lib/ocaml/unix -I /home/opam/.opam/5.4/lib/ppx_deriving/runtime -I /home/opam/.opam/5.4/lib/re -I /home/opam/.opam/5.4/lib/re/str -I /home/opam/.opam/5.4/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/utils/.elpi_util.objs/byte -cmi-file src/parser/.elpi_parser.objs/byte/elpi_parser__Grammar.cmi -no-alias-deps -open Elpi_parser -o src/parser/.elpi_parser.objs/byte/elpi_parser__Grammar.cmo -c -impl src/parser/grammar.ml)
- File "src/parser/grammar.ml", line 1059, characters 14-18:
- 1059 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
-
- File "src/parser/grammar.ml", line 1106, characters 14-18:
- 1106 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
-
- File "src/parser/grammar.ml", line 1143, characters 14-18:
- 1143 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
-
- File "src/parser/grammar.ml", line 1511, characters 14-15:
- 1511 | let v : unit = Obj.magic v in
- ^
- Warning 26 [unused-var]: unused variable v.
-
- File "src/parser/grammar.ml", line 1641, characters 14-16:
- 1641 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 1686, characters 14-16:
- 1686 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 4045, characters 14-15:
- 4045 | let a : unit = Obj.magic a in
- ^
- Warning 26 [unused-var]: unused variable a.
-
- File "src/parser/grammar.ml", line 4166, characters 14-15:
- 4166 | let l : unit = Obj.magic l in
- ^
- Warning 26 [unused-var]: unused variable l.
-
- File "src/parser/grammar.ml", line 5284, characters 14-15:
- 5284 | let l : (Ast.Func.t list) = Obj.magic l in
- ^
- Warning 26 [unused-var]: unused variable l.
-
- File "src/parser/grammar.ml", line 5360, characters 14-15:
- 5360 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in
- ^
- Warning 26 [unused-var]: unused variable f.
-
- File "src/parser/grammar.ml", line 7990, characters 14-15:
- 7990 | let x : unit = Obj.magic x in
- ^
- Warning 26 [unused-var]: unused variable x.
-
- File "src/parser/grammar.ml", line 8157, characters 14-15:
- 8157 | let r : unit = Obj.magic r in
- ^
- Warning 26 [unused-var]: unused variable r.
-
- File "src/parser/grammar.ml", line 10436, characters 14-16:
- 10436 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 10481, characters 14-16:
- 10481 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 12833, characters 14-16:
- 12833 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 12878, characters 14-16:
- 12878 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w -40 -g -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I /home/opam/.opam/5.4/lib/menhirLib -I /home/opam/.opam/5.4/lib/ocaml/unix -I /home/opam/.opam/5.4/lib/ppx_deriving/runtime -I /home/opam/.opam/5.4/lib/re -I /home/opam/.opam/5.4/lib/re/str -I /home/opam/.opam/5.4/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -cmi-file src/parser/.elpi_parser.objs/byte/elpi_parser__Grammar.cmi -no-alias-deps -open Elpi_parser -o src/parser/.elpi_parser.objs/native/elpi_parser__Grammar.cmx -c -impl src/parser/grammar.ml)
- File "src/parser/grammar.ml", line 1059, characters 14-18:
- 1059 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
-
- File "src/parser/grammar.ml", line 1106, characters 14-18:
- 1106 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
-
- File "src/parser/grammar.ml", line 1143, characters 14-18:
- 1143 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
-
- File "src/parser/grammar.ml", line 1511, characters 14-15:
- 1511 | let v : unit = Obj.magic v in
- ^
- Warning 26 [unused-var]: unused variable v.
-
- File "src/parser/grammar.ml", line 1641, characters 14-16:
- 1641 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 1686, characters 14-16:
- 1686 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 4045, characters 14-15:
- 4045 | let a : unit = Obj.magic a in
- ^
- Warning 26 [unused-var]: unused variable a.
-
- File "src/parser/grammar.ml", line 4166, characters 14-15:
- 4166 | let l : unit = Obj.magic l in
- ^
- Warning 26 [unused-var]: unused variable l.
-
- File "src/parser/grammar.ml", line 5284, characters 14-15:
- 5284 | let l : (Ast.Func.t list) = Obj.magic l in
- ^
- Warning 26 [unused-var]: unused variable l.
-
- File "src/parser/grammar.ml", line 5360, characters 14-15:
- 5360 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in
- ^
- Warning 26 [unused-var]: unused variable f.
-
- File "src/parser/grammar.ml", line 7990, characters 14-15:
- 7990 | let x : unit = Obj.magic x in
- ^
- Warning 26 [unused-var]: unused variable x.
-
- File "src/parser/grammar.ml", line 8157, characters 14-15:
- 8157 | let r : unit = Obj.magic r in
- ^
- Warning 26 [unused-var]: unused variable r.
-
- File "src/parser/grammar.ml", line 10436, characters 14-16:
- 10436 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 10481, characters 14-16:
- 10481 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 12833, characters 14-16:
- 12833 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 12878, characters 14-16:
- 12878 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
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/5.4/.opam-switch/build/elpi.3.6.2)
- make build
- make[1]: Entering directory '/home/opam/.opam/5.4/.opam-switch/build/elpi.3.6.2'
- dune build -p elpi @all
- make[1]: Leaving directory '/home/opam/.opam/5.4/.opam-switch/build/elpi.3.6.2'
- dune runtest
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -w -9 -w -27 -warn-error -A -g -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -I /home/opam/.opam/5.4/lib/re -cmi-file trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmi -no-alias-deps -opaque -open Trace_ppx_runtime -o trace/runtime/.trace_ppx_runtime.objs/native/trace_ppx_runtime__Runtime.cmx -c -impl trace/runtime/runtime.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -w -9 -w -27 -warn-error -A -w -9 -w -27 -warn-error -A -g -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I /home/opam/.opam/5.4/lib/menhirLib -I /home/opam/.opam/5.4/lib/ocaml/unix -I /home/opam/.opam/5.4/lib/ppx_deriving/runtime -I /home/opam/.opam/5.4/lib/re -I /home/opam/.opam/5.4/lib/re/str -I /home/opam/.opam/5.4/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -cmi-file src/parser/.elpi_parser.objs/byte/elpi_parser__Grammar.cmi -no-alias-deps -opaque -open Elpi_parser -o src/parser/.elpi_parser.objs/native/elpi_parser__Grammar.cmx -c -impl src/parser/grammar.ml)
- File "src/parser/grammar.ml", line 1059, characters 14-18:
- 1059 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
-
- File "src/parser/grammar.ml", line 1106, characters 14-18:
- 1106 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
-
- File "src/parser/grammar.ml", line 1143, characters 14-18:
- 1143 | let bind : unit = Obj.magic bind in
- ^^^^
- Warning 26 [unused-var]: unused variable bind.
-
- File "src/parser/grammar.ml", line 1511, characters 14-15:
- 1511 | let v : unit = Obj.magic v in
- ^
- Warning 26 [unused-var]: unused variable v.
-
- File "src/parser/grammar.ml", line 1641, characters 14-16:
- 1641 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 1686, characters 14-16:
- 1686 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 4045, characters 14-15:
- 4045 | let a : unit = Obj.magic a in
- ^
- Warning 26 [unused-var]: unused variable a.
-
- File "src/parser/grammar.ml", line 4166, characters 14-15:
- 4166 | let l : unit = Obj.magic l in
- ^
- Warning 26 [unused-var]: unused variable l.
-
- File "src/parser/grammar.ml", line 5284, characters 14-15:
- 5284 | let l : (Ast.Func.t list) = Obj.magic l in
- ^
- Warning 26 [unused-var]: unused variable l.
-
- File "src/parser/grammar.ml", line 5360, characters 14-15:
- 5360 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in
- ^
- Warning 26 [unused-var]: unused variable f.
-
- File "src/parser/grammar.ml", line 7990, characters 14-15:
- 7990 | let x : unit = Obj.magic x in
- ^
- Warning 26 [unused-var]: unused variable x.
-
- File "src/parser/grammar.ml", line 8157, characters 14-15:
- 8157 | let r : unit = Obj.magic r in
- ^
- Warning 26 [unused-var]: unused variable r.
-
- File "src/parser/grammar.ml", line 10436, characters 14-16:
- 10436 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 10481, characters 14-16:
- 10481 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 12833, characters 14-16:
- 12833 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
-
- File "src/parser/grammar.ml", line 12878, characters 14-16:
- 12878 | let hd : unit = Obj.magic hd in
- ^^
- Warning 26 [unused-var]: unused variable hd.
- (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 -> (pred))
- (cd _build/default/src/runtime && ./test_bl.exe)
- build: bl=1.061306 l=0.817155
- 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/5.4/.opam-switch/build/elpi.3.6.2/tests/sources/ \
- --plot=/home/opam/.opam/5.4/.opam-switch/build/elpi.3.6.2/tests/plot \
- \
- --cat-skip performance_HO --cat-skip performance_FO --cat-skip elpi_api_performance \
- --runner /home/opam/.opam/5.4/.opam-switch/build/elpi.3.6.2/_build/install/default/bin/elpi --runner /home/opam/.opam/5.4/.opam-switch/build/elpi.3.6.2/_build/install/default/bin/elpi-trace-elaborator
- ------------------------------------------------------------------
- Runners: /home/opam/.opam/5.4/.opam-switch/build/elpi.3.6.2/_build/install/default/bin/elpi /home/opam/.opam/5.4/.opam-switch/build/elpi.3.6.2/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 1924
- Timeout: 90.00 seconds
- Fiber stack: 1114112
-
- 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.05 14.1M 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.04 14.6M elpi
- RUNNING backtracking (backtracking variable assignment) elpi
OK backtracking 0.00 0.01 0.04 14.1M 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.05 14.1M 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.04 14.6M elpi
- RUNNING bug19 (unif under binders) elpi
OK bug19 0.00 0.01 0.04 14.1M elpi
- RUNNING bug_226 (move/unif bug) elpi
OK bug_226 0.00 0.01 0.04 14.6M elpi
- RUNNING chr (constraints handling rules) elpi
OK chr 0.00 0.01 0.05 14.1M elpi
- RUNNING chr-scope (chr-relocation) elpi
OK chr-scope 0.00 0.01 0.04 14.6M elpi
- RUNNING chr-scope-change (chr-relocation) elpi
OK chr-scope-change 0.00 0.01 0.05 14.1M 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.05 14.1M elpi
- RUNNING chr_gcd (greatest common divisor in CHR) elpi
OK chr_gcd 0.00 0.01 0.04 14.1M elpi
- RUNNING chr_leq (chr transitive closure) elpi
OK chr_leq 0.00 0.01 0.05 14.1M elpi
- RUNNING chr_nokey (constraints keyed on _) elpi
OK chr_nokey 0.00 0.01 0.04 14.6M elpi
- RUNNING chr_nokey2 (constraints keyed on _) elpi
OK chr_nokey2 0.00 0.01 0.04 14.6M elpi
- RUNNING chr_sem (refined operational semantics) elpi
OK chr_sem 0.00 0.01 0.05 14.6M elpi
- RUNNING chr_ut (type checker with UT via CHR) elpi
OK chr_ut 0.00 0.01 0.05 14.6M elpi
- RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi
OK chr_with_hypotheses 0.00 0.01 0.05 14.6M elpi
- RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi
OK conj2 0.00 0.01 0.04 14.6M elpi
- RUNNING cut1 (what else) elpi
OK cut1 0.00 0.01 0.05 14.1M elpi
- RUNNING cut2 (what else) elpi
OK cut2 0.00 0.01 0.05 14.6M elpi
- RUNNING cut3 (what else) elpi
OK cut3 0.00 0.01 0.05 14.1M elpi
- RUNNING cut4 (what else) elpi
OK cut4 0.00 0.01 0.05 14.6M elpi
- RUNNING cut5 (what else) elpi
OK cut5 0.00 0.01 0.04 14.1M elpi
- RUNNING cut6 (what else) elpi
OK cut6 0.00 0.01 0.05 14.1M elpi
- RUNNING discard (_) elpi
- OK discard 0.00 0.01 0.05 14.1M elpi
- RUNNING dt_bug272 (dt list truncation heuristic) elpi
OK dt_bug272 0.01 0.01 0.06 14.1M elpi
- RUNNING dt_bug323 (dt on_all_children) elpi
OK dt_bug323 0.00 0.01 0.05 14.6M elpi
- RUNNING dt_empty_list (discrimination_tree empty_list) elpi
OK dt_empty_list 0.00 0.01 0.04 14.1M elpi
- RUNNING dt_max_depths (discrimination_tree max_depth) elpi
OK dt_max_depths 0.00 0.01 0.05 14.1M elpi
- RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi
OK dt_multiparam1 0.60 0.01 0.64 18.5M elpi
- RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi
- OK dt_multiparam2 0.60 0.01 0.65 18.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.05 14.6M elpi
- RUNNING dt_var (discrimination_tree indexing flex) elpi
OK dt_var 0.00 0.01 0.04 14.1M elpi
- RUNNING dt_var2 (discrimination_tree indexing flex) elpi
OK dt_var2 0.00 0.01 0.04 14.6M elpi
- RUNNING dt_var3 (discrimination_tree indexing flex) elpi
OK dt_var3 0.00 0.01 0.04 14.1M 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 errmsg_arity (missing argument) elpi
OK errmsg_arity 0.00 0.00 0.00 0.0M elpi
- RUNNING errmsg_unknown (unknown type constructor) elpi
OK errmsg_unknown 0.00 0.00 0.00 0.0M elpi
- RUNNING eta (test eta for rigid terms) elpi
OK eta 0.00 0.01 0.05 14.6M elpi
- RUNNING eta_as (eta expansion of as clause) elpi
OK eta_as 0.00 0.01 0.05 14.1M elpi
- RUNNING eta_oc (eta expansion and occur check) elpi
OK eta_oc 0.00 0.01 0.04 14.6M elpi
- RUNNING findall (stash across backtrack) elpi
- OK findall 0.00 0.01 0.04 14.1M elpi
- RUNNING findall_csts (stash across backtrack) elpi
OK findall_csts 0.00 0.01 0.05 14.1M 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.04 14.1M elpi
- RUNNING functionality101 (functionality101) elpi
OK functionality101 0.00 0.01 0.04 14.6M 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.04 14.1M elpi
- RUNNING functionality105 (functionality105) elpi
OK functionality105 0.00 0.01 0.05 14.1M elpi
- RUNNING functionality106 (functionality106) elpi
OK functionality106 0.00 0.01 0.04 14.6M 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.05 14.6M 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.04 14.6M 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.04 14.1M 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.04 14.1M 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.05 14.6M elpi
- RUNNING functionality12 (functionality12) elpi
OK functionality12 0.00 0.01 0.05 14.6M 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.04 14.6M 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.05 14.6M 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.04 14.6M elpi
- RUNNING functionality20 (functionality20) elpi
OK functionality20 0.00 0.01 0.04 14.6M 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.04 14.6M 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.04 14.6M 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 14.6M elpi
- RUNNING functionality29 (functionality29) elpi
OK functionality29 0.00 0.01 0.05 14.6M 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.04 14.1M 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.05 14.1M 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 14.6M 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.04 14.6M 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.05 14.6M 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 14.1M 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.04 14.6M elpi
- RUNNING functionality47 (functionality47) elpi
OK functionality47 0.00 0.01 0.05 14.6M elpi
- RUNNING functionality48 (functionality48) elpi
OK functionality48 0.00 0.01 0.04 14.6M elpi
- RUNNING functionality49 (functionality49) elpi
OK functionality49 0.00 0.01 0.04 14.6M 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.04 14.6M 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.05 14.6M 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.04 14.6M 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.04 14.6M 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.04 14.6M 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.04 14.1M elpi
- RUNNING functionality63 (functionality63) elpi
OK functionality63 0.00 0.01 0.05 14.1M elpi
- RUNNING functionality64 (functionality64) elpi
OK functionality64 0.00 0.01 0.04 14.6M 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 14.6M 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.04 14.6M elpi
- RUNNING functionality72 (functionality72) elpi
OK functionality72 0.00 0.01 0.04 14.6M 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.04 14.6M elpi
- RUNNING functionality77 (functionality77) elpi
OK functionality77 0.00 0.01 0.05 14.1M 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.05 14.1M 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 14.1M 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.05 14.1M 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.04 14.6M 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 14.6M elpi
- RUNNING functionality87 (functionality87) elpi
OK functionality87 0.00 0.01 0.05 14.1M elpi
- RUNNING functionality88 (functionality88) elpi
OK functionality88 0.00 0.01 0.04 14.1M elpi
- RUNNING functionality89 (functionality89) elpi
OK functionality89 0.00 0.01 0.04 14.6M 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.04 14.6M 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 14.1M elpi
- RUNNING functionality93 (functionality93) elpi
OK functionality93 0.00 0.01 0.05 14.6M 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.05 14.1M elpi
- RUNNING graft_before (grafting a clause before the clause of another predicate) elpi
OK graft_before 0.00 0.01 0.04 14.6M 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.04 14.6M elpi
- RUNNING graft_remove (remove a clase) elpi
OK graft_remove 0.00 0.01 0.04 14.6M 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 14.6M elpi
- RUNNING hc_interp (Horn Clauses interpreter) elpi
OK hc_interp 0.00 0.01 0.05 14.6M elpi
- RUNNING hdclause (hdclause unification) elpi
OK hdclause 0.00 0.01 0.05 14.1M elpi
- RUNNING heap_discard (heapification of _) elpi
OK heap_discard 0.00 0.01 0.04 14.1M elpi
- RUNNING heap_discard3 (heapification of _) elpi
- OK heap_discard3 0.00 0.01 0.04 14.6M elpi
- RUNNING hilbert (hilbert) elpi
OK hilbert 0.00 0.01 0.05 14.6M elpi
- RUNNING hilbert2 (hilbert2) elpi
OK hilbert2 0.00 0.01 0.04 14.1M elpi
- RUNNING ho (HO predicates) elpi
OK ho 0.00 0.01 0.04 14.6M 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.02 0.05 14.6M elpi
- RUNNING hyp_uvar (uvar at the left of implication) elpi
OK hyp_uvar 0.00 0.01 0.05 14.1M elpi
- RUNNING ifdef (lexer ifdef) elpi
OK ifdef 0.00 0.01 0.04 14.1M elpi
- RUNNING impl (implication) elpi
OK impl 0.00 0.01 0.04 14.6M elpi
- RUNNING impl2 (implication) elpi
OK impl2 0.00 0.01 0.04 14.6M elpi
- RUNNING impl_order (implication and pair/list) elpi
OK impl_order 0.00 0.01 0.04 14.1M elpi
- RUNNING impl_prec (warning about A => B, C) elpi
OK impl_prec 0.00 0.01 0.05 14.6M elpi
- RUNNING impl_prec_silent (warning about A => B, C) elpi
OK impl_prec_silent 0.00 0.01 0.04 14.6M elpi
- RUNNING implbang (tail cut =!=>) elpi
OK implbang 0.00 0.01 0.04 14.1M elpi
- RUNNING is (calc) elpi
OK is 0.00 0.01 0.05 14.1M elpi
- RUNNING lambda4 (simple type checker) elpi
OK lambda4 0.00 0.01 0.05 14.1M 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.04 14.6M elpi
- RUNNING lambda_arrow2 (simple type checker) elpi
OK lambda_arrow2 0.00 0.01 0.04 14.1M elpi
- RUNNING lambdadelta (lambda delta tests) elpi
OK lambdadelta 0.00 0.02 0.05 14.6M elpi
- RUNNING linear (linear variable check) elpi
OK linear 0.00 0.01 0.04 14.6M elpi
- RUNNING list_as_conj (list is an nary conjunction) elpi
OK list_as_conj 0.00 0.01 0.04 14.1M elpi
- RUNNING list_comma (lists with spurious , in there) elpi
OK list_comma 0.00 0.01 0.04 14.1M elpi
- RUNNING llam (Miller pattern unification) elpi
OK llam 0.00 0.01 0.05 14.1M elpi
- RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi
OK llamb0_exit1 0.00 0.01 0.05 14.1M elpi
- RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi
OK llamb0_exit2 0.00 0.01 0.05 14.1M elpi
- RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi
OK llamb0_exit3 0.00 0.01 0.04 14.1M elpi
- RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi
OK llamb0_exit4 0.00 0.01 0.05 14.6M elpi
- RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi
OK llamb0_exit5 0.00 0.01 0.05 14.6M elpi
- RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi
OK llamb0_exit6 0.00 0.01 0.05 14.6M elpi
- RUNNING macro_type (polymorphic macro) elpi
OK macro_type 0.00 0.01 0.05 14.6M 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.05 14.1M elpi
- RUNNING name (name builtin) elpi
OK name 0.00 0.01 0.04 14.6M 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.05 14.6M elpi
- RUNNING namespace00 (namespacing of predicates and constants) elpi
OK namespace00 0.00 0.01 0.04 14.6M elpi
- RUNNING namespace01 (namespacing of predicates and constants) elpi
OK namespace01 0.00 0.01 0.04 14.1M elpi
- RUNNING namespace02 (namespacing of predicates and constants) elpi
OK namespace02 0.00 0.01 0.04 14.6M elpi
- RUNNING namespace03 (namespacing of predicates and constants) elpi
OK namespace03 0.00 0.01 0.05 14.6M elpi
- RUNNING nil_cons (nil = []) elpi
OK nil_cons 0.00 0.01 0.04 14.6M elpi
- RUNNING notation (extensible syntax) elpi
OK notation 0.00 0.01 0.04 14.6M 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.04 14.1M elpi
- RUNNING patternunif2 (Miller pattern unification) elpi
OK patternunif2 0.00 0.01 0.05 14.6M elpi
- RUNNING pcf (type inference for PCF) elpi
OK pcf 0.00 0.02 0.06 15.2M elpi
- RUNNING pi (pi quantification) elpi
OK pi 0.00 0.01 0.04 13.5M elpi
- RUNNING pi3 (pi quantification) elpi
OK pi3 0.00 0.01 0.04 14.6M elpi
- RUNNING pi5 (pi quantification) elpi
OK pi5 0.00 0.01 0.05 14.6M elpi
- RUNNING pm (pattern matching builtin) elpi
- OK pm 0.00 0.01 0.04 14.6M elpi
- RUNNING pnf (some HO programming) elpi
OK pnf 0.00 0.01 0.05 14.6M elpi
- RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi
OK polymorphic_variants 0.00 0.01 0.05 15.2M elpi
- RUNNING printer (printing infix) elpi
OK printer 0.00 0.01 0.04 13.5M elpi
- RUNNING progs (progs) elpi
OK progs 0.00 0.01 0.06 14.6M elpi
- RUNNING random (random numbers) elpi
OK random 0.00 0.01 0.04 14.6M 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.05 14.6M elpi
- RUNNING restriction4 (HO unification scope checking) elpi
OK restriction4 0.00 0.01 0.04 14.6M elpi
- RUNNING restriction5 (HO unification scope checking) elpi
OK restriction5 0.00 0.01 0.04 14.1M elpi
- RUNNING restriction6 (HO unification scope checking) elpi
OK restriction6 0.00 0.01 0.04 14.1M elpi
- RUNNING same_term (the == operator) elpi
OK same_term 0.00 0.01 0.04 14.1M elpi
- RUNNING self_assignment (Miller pattern unification) elpi
OK self_assignment 0.00 0.01 0.05 14.1M elpi
- RUNNING shorten (shortening names of a namespace) elpi
OK shorten 0.00 0.01 0.04 14.1M elpi
- RUNNING shorten-EOF (shortening names ends with the file) elpi
OK shorten-EOF 0.00 0.01 0.04 14.1M elpi
- RUNNING shorten_builtin (shortening a builtin) elpi
OK shorten_builtin 0.00 0.01 0.04 14.6M elpi
- RUNNING shorten_trie (shortening a trie of names) elpi
- OK shorten_trie 0.00 0.01 0.05 14.1M elpi
- RUNNING sigma_toplevel (sigma elimination) elpi
OK sigma_toplevel 0.00 0.01 0.04 14.1M elpi
- RUNNING spill-var (spilling a var) elpi
OK spill-var 0.00 0.01 0.04 14.6M elpi
- RUNNING spill2 (spilling 2 arguments) elpi
OK spill2 0.00 0.01 0.05 14.1M elpi
- RUNNING spill_collision (spilling under 2 pi named the same) elpi
OK spill_collision 0.00 0.01 0.04 14.6M elpi
- RUNNING spill_pi (spilling under pi) elpi
OK spill_pi 0.00 0.01 0.04 14.6M elpi
- RUNNING spill_sigma (spilling under sigma) elpi
OK spill_sigma 0.00 0.01 0.04 14.6M elpi
- RUNNING spilling_and (spilling anonymous compound goal) elpi
OK spilling_and 0.00 0.01 0.04 14.6M elpi
- RUNNING spilling_impl (spilling implication) elpi
OK spilling_impl 0.00 0.01 0.04 14.1M elpi
- RUNNING spilling_in_list (spilling prem order) elpi
OK spilling_in_list 0.00 0.01 0.05 14.1M elpi
- RUNNING spilling_lam (spilling inside anonymous clause) elpi
OK spilling_lam 0.00 0.01 0.04 14.6M elpi
- RUNNING spilling_or (spilling prem order) elpi
OK spilling_or 0.00 0.01 0.04 14.6M elpi
- RUNNING tc_ambiguous (tc_ambiguous) elpi
OK tc_ambiguous 0.00 0.00 0.00 0.0M elpi
- RUNNING tc_overload (hard overloading resolution) elpi
OK tc_overload 0.00 0.01 0.05 14.1M elpi
- RUNNING trace-browser (trace generation) elpi
OK trace-browser 0.00 0.01 0.04 14.1M elpi
- RUNNING trace-browser-chr (trace generation) elpi
OK trace-browser-chr 0.00 0.01 0.05 14.6M elpi
- RUNNING trace-browser-cut (trace generation) elpi
OK trace-browser-cut 0.00 0.01 0.05 14.6M elpi
- RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab 0.00 0.00 0.00 6.2M 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.13 30.1M 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.00 6.8M 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.6M elpi-trace-elaborator
- RUNNING trace-browser-findall (trace generation) elpi
OK trace-browser-findall 0.00 0.01 0.04 14.1M elpi
- RUNNING trace-browser-w (trace generation) elpi
OK trace-browser-w 0.01 0.01 0.06 15.2M elpi
- RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser-w-elab 0.00 0.00 0.01 7.3M elpi-trace-elaborator
- RUNNING trace-browser2 (trace generation) elpi
OK trace-browser2 0.00 0.01 0.04 14.1M elpi
- RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser2-elab 0.00 0.00 0.00 5.1M elpi-trace-elaborator
- RUNNING trace-browser3 (trace generation) elpi
OK trace-browser3 0.00 0.01 0.04 14.1M elpi
- RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser3-elab 0.00 0.00 0.00 5.6M elpi-trace-elaborator
- RUNNING trace-browser4 (trace generation) elpi
OK trace-browser4 0.00 0.01 0.04 14.6M 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.01 0.05 14.6M elpi
- RUNNING trie (discrimination_tree on trees) elpi
OK trie 0.00 0.01 0.05 14.1M elpi
- RUNNING typeabbrv1 (type abbreviations) elpi
OK typeabbrv1 0.00 0.01 0.04 14.6M 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.04 14.6M elpi
- RUNNING typeabbrv15 (type abbreviations) elpi
OK typeabbrv15 0.00 0.01 0.04 14.1M 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 14.6M elpi
- RUNNING typeabbrv4 (type abbreviations) elpi
OK typeabbrv4 0.00 0.01 0.04 14.6M 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.04 14.1M elpi
- RUNNING typeabbrv8 (type abbreviations) elpi
OK typeabbrv8 0.00 0.01 0.04 14.1M elpi
- RUNNING typeabbrv9 (type abbreviations) elpi
OK typeabbrv9 0.00 0.01 0.04 14.1M elpi
- RUNNING uminus (parsing and evaluation of unary minus) elpi
OK uminus 0.00 0.01 0.04 14.1M elpi
- RUNNING unix (unix APIs) elpi
- OK unix 0.01 0.01 0.05 14.1M elpi
- RUNNING uvar_keyword (uvar kwd status at the meta level) elpi
OK uvar_keyword 0.00 0.01 0.04 14.6M elpi
- RUNNING var (var API) elpi
OK var 0.00 0.01 0.04 14.1M elpi
- RUNNING variadic (variadic) elpi
OK variadic 0.00 0.01 0.04 14.1M elpi
- RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi
OK variadic_declare_constraints 0.00 0.01 0.04 14.1M elpi
- RUNNING w (ELPI example at MLWS) elpi
OK w 0.00 0.01 0.05 14.6M elpi
- ------------------------------------------------------------------
- Tests: 304
- Passed: 304
- Failed: 0
-> compiled elpi.3.6.2
-> removed elpi.3.6.2
-> installed elpi.3.6.2
Done.
# Run eval $(opam env) to update the current shell environment
2026-03-18 13:50.34 ---> saved as "0841aade56d33e7412b63328e329575c17b8149c2c586f9d60e71a58408b74ed"
Job succeeded
2026-03-18 13:50.42: Job succeeded