- github
- ocaml
- opam-repository
- 89a6ae
- compilers,4.14,dune.3.23.0~alpha2,revdeps,pacomb.1.4.3
(not at the head of any monitored branch or PR)
2026-04-30 02:04.36: New job: test pacomb.1.4.3 with dune.3.23.0~alpha2, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29824/head (89a6ae888498500bf7c0fc05361da936fc6acacf)
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/29824/head" && git reset --hard 89a6ae88
git fetch origin master
git merge --no-edit d1c56642b8ca7e1166c90bfe0c74f38007bbad58
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:9fe84ffeeaa92507d198c7af8adb382726e06ae36c031f5ef645a3241cac0353
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn dune.3.23.0~alpha2 3.23.0~alpha2
RUN opam reinstall dune.3.23.0~alpha2; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dune.3.23.0~alpha2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall pacomb.1.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" != 'pacomb.1.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 pacomb.1.4.3) || true
RUN opam reinstall --with-test --verbose pacomb.1.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" != 'pacomb.1.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 .
2026-04-30 02:04.36: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:9fe84ffeeaa92507d198c7af8adb382726e06ae36c031f5ef645a3241cac0353-dune.3.23.0~alpha2-pacomb.1.4.3-89a6ae888498500bf7c0fc05361da936fc6acacf"
2026-04-30 02:04.36: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:9fe84ffeeaa92507d198c7af8adb382726e06ae36c031f5ef645a3241cac0353)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn dune.3.23.0~alpha2 3.23.0~alpha2"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.23.0~alpha2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.23.0~alpha2' && 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 pacomb.1.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\" != 'pacomb.1.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 pacomb.1.4.3) || true"))
(run (shell "opam reinstall --with-test --verbose pacomb.1.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\" != 'pacomb.1.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"))
)
2026-04-30 02:04.36: Waiting for resource in pool OCluster
2026-04-30 07:35.05: Waiting for worker…
2026-04-30 07:37.36: Got resource from pool OCluster
Building on phoebe.caelum.ci.dev
All commits already cached
HEAD is now at d1c56642b8 Merge pull request #29820 from jmid/core-0.17.1-bound
Merge made by the 'ort' strategy.
.../chrome-trace/chrome-trace.3.23.0~alpha2/opam | 39 +++++++++++
.../dune-action-plugin.3.23.0~alpha2/opam | 52 ++++++++++++++
.../dune-action-trace.3.23.0~alpha2/opam | 39 +++++++++++
.../dune-build-info.3.23.0~alpha2/opam | 45 ++++++++++++
.../dune-configurator.3.23.0~alpha2/opam | 49 +++++++++++++
packages/dune-glob/dune-glob.3.23.0~alpha2/opam | 42 ++++++++++++
.../dune-private-libs.3.23.0~alpha2/opam | 50 ++++++++++++++
.../dune-rpc-lwt/dune-rpc-lwt.3.23.0~alpha2/opam | 41 +++++++++++
packages/dune-rpc/dune-rpc.3.23.0~alpha2/opam | 44 ++++++++++++
packages/dune-site/dune-site.3.23.0~alpha2/opam | 37 ++++++++++
packages/dune/dune.3.23.0~alpha2/opam | 80 ++++++++++++++++++++++
packages/dyn/dyn.3.23.0~alpha2/opam | 40 +++++++++++
packages/fs-io/fs-io.3.23.0~alpha2/opam | 39 +++++++++++
packages/ocamlc-loc/ocamlc-loc.3.23.0~alpha2/opam | 43 ++++++++++++
packages/ordering/ordering.3.23.0~alpha2/opam | 38 ++++++++++
packages/stdune/stdune.3.23.0~alpha2/opam | 46 +++++++++++++
.../top-closure/top-closure.3.23.0~alpha2/opam | 38 ++++++++++
packages/xdg/xdg.3.23.0~alpha2/opam | 39 +++++++++++
18 files changed, 801 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.23.0~alpha2/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.23.0~alpha2/opam
create mode 100644 packages/dune-action-trace/dune-action-trace.3.23.0~alpha2/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.23.0~alpha2/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.23.0~alpha2/opam
create mode 100644 packages/dune-glob/dune-glob.3.23.0~alpha2/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.23.0~alpha2/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.23.0~alpha2/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.23.0~alpha2/opam
create mode 100644 packages/dune-site/dune-site.3.23.0~alpha2/opam
create mode 100644 packages/dune/dune.3.23.0~alpha2/opam
create mode 100644 packages/dyn/dyn.3.23.0~alpha2/opam
create mode 100644 packages/fs-io/fs-io.3.23.0~alpha2/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.23.0~alpha2/opam
create mode 100644 packages/ordering/ordering.3.23.0~alpha2/opam
create mode 100644 packages/stdune/stdune.3.23.0~alpha2/opam
create mode 100644 packages/top-closure/top-closure.3.23.0~alpha2/opam
create mode 100644 packages/xdg/xdg.3.23.0~alpha2/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:9fe84ffeeaa92507d198c7af8adb382726e06ae36c031f5ef645a3241cac0353)
2026-04-30 07:37.51 ---> using "59750879172620501422dd230c4db220684ca7fe3e97409754eb72dcd3390183" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-04-30 07:37.51 ---> using "b9ebb375f27da820f646269f579489455309b96c19083cd92f7f6ddd05a4b5f2" 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
2026-04-30 07:37.51 ---> using "a861010f9e8d58738e62217a8c0fc067b85ae67b915e1ef93e08d814bb3c914c" 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.1
# 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.3"}]
# compiler-packages ocaml-base-compiler.4.14.3, 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.3
2026-04-30 07:37.51 ---> using "a880c606232c92d84d818c349c45696fe9be139917bfa5f7b1065b497e8df441" 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-04-30 07:37.51 ---> using "47c085e53aa5880966ff9fc1e1e12a4661255166181f7931a397db06034201cf" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-04-30 07:37.52 ---> using "4f46738dfb91aa0cd6670022d574de26b7ba05050d8f85957ea4872d96399e01" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-04-30 07:37.52 ---> using "f445e8c26fbca2dd0e343fb9cad949aab8e50ebe8f19361a10c799b6322ab39c" 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 [129 kB]
- Fetched 219 kB in 0s (1225 kB/s)
- Reading package lists...
-
2026-04-30 07:37.52 ---> using "b966a5b49a15ba3eb63ca44315c18e89b0e8b1ab5327a74622eb8f27705503f7" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.23.0~alpha2 3.23.0~alpha2"))
dune is now pinned to version 3.23.0~alpha2
2026-04-30 07:37.52 ---> using "25765793fc7cef20054e052a9de3d7d38466f3811e35fee48d28bad9710db3b2" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.23.0~alpha2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.23.0~alpha2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune.3.23.0~alpha2 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.23.0~alpha2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.23.0~alpha2 (cached)
-> installed dune.3.23.0~alpha2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-30 07:37.52 ---> using "8638839e5ae5cf3f1965d4f7cf42b88935780d5bcff7e41a79deffdd572bdcbf" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall pacomb.1.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\" != 'pacomb.1.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"))
pacomb.1.4.3 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 6 packages
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install pacomb 1.4.3
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppxlib 0.38.0 [required by pacomb]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by pacomb]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved pacomb.1.4.3 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> installed ppx_derivers.1.2.1
-> retrieved ppxlib.0.38.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.17.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed ppxlib.0.38.0
-> installed pacomb.1.4.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-30 07:38.29 ---> saved as "6071d9e8eee592792239e12f33953a261862d3660f2a4cfa306975e64687ca37"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test pacomb.1.4.3) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile pacomb 1.4.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved pacomb.1.4.3 (https://opam.ocaml.org/cache)
-> removed pacomb.1.4.3
-> installed pacomb.1.4.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-30 07:38.56 ---> saved as "c01c93f81fc8e6b5873a40bfa69fa8559c2c2d2d227b7ce7865a390fbc76f91f"
/home/opam: (run (shell "opam reinstall --with-test --verbose pacomb.1.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\" != 'pacomb.1.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 pacomb 1.4.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [pacomb.1.4.3: extract]
-> retrieved pacomb.1.4.3 (cached)
Processing 2/4: [pacomb: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "pacomb" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/pacomb.1.4.3)
Processing 2/4: [pacomb: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "pacomb" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/pacomb.1.4.3)
- (cd _build/default/benchmarks && /home/opam/.opam/4.14/bin/ocamllex lexer.mll)
- 3 states, 257 transitions, table size 1046 bytes
- (cd _build/default/benchmarks/calc && /home/opam/.opam/4.14/bin/ocamllex lexer.mll)
- 17 states, 343 transitions, table size 1474 bytes
- (cd _build/default/benchmarks/sexp && /home/opam/.opam/4.14/bin/ocamllex lexer.mll)
- 6 states, 332 transitions, table size 1364 bytes
- (cd _build/default/examples && /usr/bin/sh -c './paragraphs.exe < test.txt')
- 7 paragraphs
- paragraph 0 at 0-21: 4 word(s)
- paragraph 1 at 22-29: 2 word(s)
- paragraph 2 at 31-46: 4 word(s)
- paragraph 3 at 47-65: 4 word(s)
- paragraph 4 at 69-71: 1 word(s)
- paragraph 5 at 72-74: 1 word(s)
- paragraph 6 at 75-83: 2 word(s)
- (cd _build/default/tests && ./hard.exe 1000)
- parsing 2962 chars in 0.007308 seconds
- parsing 6033 chars in 0.013745 seconds
- parsing 8994 chars in 0.021897 seconds
- parsing 12038 chars in 0.036541 seconds
- (cd _build/default/examples && /usr/bin/sh -c '(cat test_ext2.txt && ../tests/big_expr.exe 3 4 4) | ./calc_ext2.exe')
- => 2
- => 3
- => 4
- => 5
- => new rule accepted
- => new rule accepted
- => 6
- => new rule accepted
- => new rule accepted
- => new rule accepted
- => new rule accepted
- => new rule accepted
- => 9
- => 4
- => 11
- => 8.5
- => 10
- => 23
- => 1 rule(s) removed
- => 1 rule(s) removed
- => 16
- => 512
- => 64
- => 512
- => -nan
- =>
- (cd _build/default/examples && /usr/bin/sh -c '../tests/big_expr.exe 3 4 4 | ./calc_ext.exe')
- => -nan
- =>
- (cd _build/default/examples && /usr/bin/sh -c './catalan.exe 30 2')
- bin_seq ::= () | bin_seq 'a' ( () | bin_seq) | 'a' ( () | bin_seq)
-
- ter_seq ::= () | ter_seq 'a' ( () | ter_seq_aux) | 'a' ( () | ter_seq_aux)
- ter_seq_aux ::= () | ter_seq ( () | ter_seq) | ter_seq
-
- checking the number of parsetrees on an ambiguous example,using merge and cache
- catalan(2): 0 => 1.000000e+00=1.000000e+00 in 0.04ms 3.75 Mb
- catalan(2): 1 => 1.000000e+00=1.000000e+00 in 0.10ms 3.75 Mb
- catalan(2): 2 => 2.000000e+00=2.000000e+00 in 0.04ms 3.75 Mb
- catalan(2): 3 => 5.000000e+00=5.000000e+00 in 0.05ms 3.75 Mb
- catalan(2): 4 => 1.400000e+01=1.400000e+01 in 0.07ms 3.75 Mb
- catalan(2): 5 => 4.200000e+01=4.200000e+01 in 0.10ms 3.75 Mb
- catalan(2): 6 => 1.320000e+02=1.320000e+02 in 0.09ms 3.75 Mb
- catalan(2): 7 => 4.290000e+02=4.290000e+02 in 0.17ms 3.75 Mb
- catalan(2): 8 => 1.430000e+03=1.430000e+03 in 0.15ms 3.75 Mb
- catalan(2): 9 => 4.862000e+03=4.862000e+03 in 0.28ms 3.75 Mb
- catalan(2): 10 => 1.679600e+04=1.679600e+04 in 0.59ms 3.75 Mb
- catalan(2): 11 => 5.878600e+04=5.878600e+04 in 0.66ms 3.75 Mb
- catalan(2): 12 => 2.080120e+05=2.080120e+05 in 0.82ms 3.75 Mb
- catalan(2): 13 => 7.429000e+05=7.429000e+05 in 1.02ms 3.75 Mb
- catalan(2): 14 => 2.674440e+06=2.674440e+06 in 1.71ms 3.75 Mb
- catalan(2): 15 => 9.694845e+06=9.694845e+06 in 1.61ms 3.75 Mb
- catalan(2): 16 => 3.535767e+07=3.535767e+07 in 1.63ms 3.75 Mb
- catalan(2): 17 => 1.296448e+08=1.296448e+08 in 1.85ms 7.50 Mb
- catalan(2): 18 => 4.776387e+08=4.776387e+08 in 2.74ms 7.50 Mb
- catalan(2): 19 => 1.767263e+09=1.767263e+09 in 3.44ms 7.50 Mb
- catalan(2): 20 => 6.564120e+09=6.564120e+09 in 3.31ms 7.50 Mb
- catalan(2): 21 => 2.446627e+10=2.446627e+10 in 5.22ms 11.25 Mb
- catalan(2): 22 => 9.148256e+10=9.148256e+10 in 4.98ms 11.25 Mb
- catalan(2): 23 => 3.430596e+11=3.430596e+11 in 5.46ms 15.00 Mb
- catalan(2): 24 => 1.289904e+12=1.289904e+12 in 6.86ms 15.00 Mb
- catalan(2): 25 => 4.861946e+12=4.861946e+12 in 7.39ms 15.00 Mb
- catalan(2): 26 => 1.836735e+13=1.836735e+13 in 9.02ms 18.75 Mb
- catalan(2): 27 => 6.953355e+13=6.953355e+13 in 10.17ms 22.50 Mb
- catalan(2): 28 => 2.637480e+14=2.637480e+14 in 11.93ms 22.50 Mb
- catalan(2): 29 => 1.002242e+15=1.002242e+15 in 14.04ms 26.25 Mb
- catalan(2): 30 => 3.814987e+15=3.814987e+15 in 13.64ms 30.19 Mb
- catalan Time ~ 5.08722e-06 N^2.11392 (corr: 0.93)
- catalan Space ~ 23917.5 N^0.609538 (corr: 0.70)
- (cd _build/default/examples && /usr/bin/sh -c '../tests/big_expr.exe 4 4 4 | ./calc.exe')
- => -nan
- =>
- (cd _build/default/examples && /usr/bin/sh -c '../tests/big_expr.exe 4 4 4 | ./calc_prio.exe')
- => -nan
- =>
- (cd _build/default/tests && /usr/bin/sh -c './big_expr.exe 4 4 4 | ./calc_utf8.exe')
- => -nan
- => exprs ::= () | exprs_lr from
- exprs_lr ::= expr '
- ' | exprs_lr expr '
- '
-
- expr ::= expr_lr from
- expr_lr ::= prod | expr_lr ( '-' prod | '+' prod)
-
- prod ::= prod_lr from
- prod_lr ::= atom | prod_lr ( '/' atom | '*' atom)
-
- atom ::= '(' expr ')' | FLOAT
- (cd _build/default/tests && /usr/bin/sh -c './big_expr.exe 4 4 4 | ./calc_factor.exe')
- => -nan
- =>
- (cd _build/default/examples && /usr/bin/sh -c './catalan.exe 30 3')
- bin_seq ::= () | bin_seq 'a' ( () | bin_seq) | 'a' ( () | bin_seq)
-
- ter_seq ::= () | ter_seq 'a' ( () | ter_seq_aux) | 'a' ( () | ter_seq_aux)
- ter_seq_aux ::= () | ter_seq ( () | ter_seq) | ter_seq
-
- checking the number of parsetrees on an ambiguous example,using merge and cache
- catalan(3): 0 => 1.000000e+00=1.000000e+00 in 0.02ms 3.75 Mb
- catalan(3): 1 => 1.000000e+00=1.000000e+00 in 0.03ms 3.75 Mb
- catalan(3): 2 => 3.000000e+00=3.000000e+00 in 0.02ms 3.75 Mb
- catalan(3): 3 => 1.200000e+01=1.200000e+01 in 0.03ms 3.75 Mb
- catalan(3): 4 => 5.500000e+01=5.500000e+01 in 0.04ms 3.75 Mb
- catalan(3): 5 => 2.730000e+02=2.730000e+02 in 0.06ms 3.75 Mb
- catalan(3): 6 => 1.428000e+03=1.428000e+03 in 0.10ms 3.75 Mb
- catalan(3): 7 => 7.752000e+03=7.752000e+03 in 0.12ms 3.75 Mb
- catalan(3): 8 => 4.326300e+04=4.326300e+04 in 0.23ms 3.75 Mb
- catalan(3): 9 => 2.466750e+05=2.466750e+05 in 0.31ms 3.75 Mb
- catalan(3): 10 => 1.430715e+06=1.430715e+06 in 0.87ms 3.75 Mb
- catalan(3): 11 => 8.414640e+06=8.414640e+06 in 1.05ms 3.75 Mb
- catalan(3): 12 => 5.006711e+07=5.006711e+07 in 1.42ms 3.75 Mb
- catalan(3): 13 => 3.008306e+08=3.008306e+08 in 1.83ms 3.75 Mb
- catalan(3): 14 => 1.822767e+09=1.822767e+09 in 2.20ms 7.50 Mb
- catalan(3): 15 => 1.112476e+10=1.112476e+10 in 3.54ms 7.50 Mb
- catalan(3): 16 => 6.832875e+10=6.832875e+10 in 3.34ms 7.50 Mb
- catalan(3): 17 => 4.220305e+11=4.220305e+11 in 5.76ms 11.25 Mb
- catalan(3): 18 => 2.619631e+12=2.619631e+12 in 5.33ms 11.25 Mb
- catalan(3): 19 => 1.633292e+13=1.633292e+13 in 6.06ms 15.00 Mb
- catalan(3): 20 => 1.022401e+14=1.022401e+14 in 7.26ms 15.00 Mb
- catalan(3): 21 => 6.423125e+14=6.423125e+14 in 8.59ms 18.75 Mb
- catalan(3): 22 => 4.048515e+15=4.048515e+15 in 10.34ms 18.75 Mb
- catalan(3): 23 => 2.559440e+16=2.559440e+16 in 12.03ms 22.50 Mb
- catalan(3): 24 => 1.622502e+17=1.622502e+17 in 13.66ms 26.25 Mb
- catalan(3): 25 => 1.031148e+18=1.031148e+18 in 15.82ms 30.19 Mb
- catalan(3): 26 => 6.568517e+18=6.568517e+18 in 17.84ms 34.72 Mb
- catalan(3): 27 => 4.193235e+19=4.193235e+19 in 21.04ms 39.94 Mb
- catalan(3): 28 => 2.682252e+20=2.682252e+20 in 23.72ms 45.94 Mb
- catalan(3): 29 => 1.718930e+21=1.718930e+21 in 13.49ms 52.84 Mb
- catalan(3): 30 => 1.103497e+22=1.103497e+22 in 15.27ms 52.84 Mb
- catalan Time ~ 1.68681e-06 N^2.6671 (corr: 0.95)
- catalan Space ~ 16587.3 N^0.884485 (corr: 0.77)
- (cd _build/default/tests && ./ppx_test.exe)
- RE <= s
- RE => \([^<{]\|\({[!`]\)\|\(<[!/]\)\|\(</[!s]\)\|\(</s[! \n\t\r\f>]\)\)
- Parsing ambiguity, use cache with merge
- (cd _build/default/benchmarks/calc && ./calc.exe --test)
- simple 1 2 2 0.00 Mb in 0.10ms 3.75 Mb
- prio 1 2 2 0.00 Mb in 0.11ms 3.75 Mb
- ext 1 2 2 0.00 Mb in 0.18ms 3.75 Mb
- ext2 1 2 2 0.00 Mb in 2.08ms 3.75 Mb
- yacc 1 2 2 0.00 Mb in 0.15ms 7.50 Mb
- simple/yacc : 0.644800 prio/yacc : 0.752000 ext/yacc : 1.227200 ext2/yacc : 13.945600 prio/simple: 1.166253 ext/simple: 1.903226 ext2/simple: 21.627792
- simple 1 2 3 0.00 Mb in 0.17ms 7.50 Mb
- prio 1 2 3 0.00 Mb in 0.15ms 7.50 Mb
- ext 1 2 3 0.00 Mb in 0.20ms 7.50 Mb
- ext2 1 2 3 0.00 Mb in 2.80ms 7.50 Mb
- yacc 1 2 3 0.00 Mb in 0.15ms 7.50 Mb
- simple/yacc : 1.161600 prio/yacc : 1.000000 ext/yacc : 1.342400 ext2/yacc : 18.777600 prio/simple: 0.860882 ext/simple: 1.155647 ext2/simple: 16.165289
- simple 1 2 4 0.00 Mb in 0.17ms 7.50 Mb
- prio 1 2 4 0.00 Mb in 0.20ms 7.50 Mb
- ext 1 2 4 0.00 Mb in 0.22ms 7.50 Mb
- ext2 1 2 4 0.00 Mb in 2.86ms 7.50 Mb
- yacc 1 2 4 0.00 Mb in 0.13ms 11.25 Mb
- simple/yacc : 1.322936 prio/yacc : 1.522936 ext/yacc : 1.684404 ext2/yacc : 22.003670 prio/simple: 1.151179 ext/simple: 1.273232 ext2/simple: 16.632455
- simple 1 3 2 0.00 Mb in 0.15ms 11.25 Mb
- prio 1 3 2 0.00 Mb in 0.16ms 11.25 Mb
- ext 1 3 2 0.00 Mb in 0.20ms 11.25 Mb
- ext2 1 3 2 0.00 Mb in 2.95ms 11.25 Mb
- yacc 1 3 2 0.00 Mb in 0.10ms 11.25 Mb
- simple/yacc : 1.433486 prio/yacc : 1.509174 ext/yacc : 1.922018 ext2/yacc : 28.350917 prio/simple: 1.052800 ext/simple: 1.340800 ext2/simple: 19.777600
- simple 1 3 3 0.00 Mb in 0.16ms 11.25 Mb
- prio 1 3 3 0.00 Mb in 0.18ms 11.25 Mb
- ext 1 3 3 0.00 Mb in 0.23ms 11.25 Mb
- ext2 1 3 3 0.00 Mb in 3.23ms 11.25 Mb
- yacc 1 3 3 0.00 Mb in 0.16ms 15.00 Mb
- simple/yacc : 0.970717 prio/yacc : 1.080527 ext/yacc : 1.424597 ext2/yacc : 19.847731 prio/simple: 1.113122 ext/simple: 1.467572 ext2/simple: 20.446456
- simple 1 3 4 0.00 Mb in 0.16ms 15.00 Mb
- prio 1 3 4 0.00 Mb in 0.20ms 15.00 Mb
- ext 1 3 4 0.00 Mb in 0.16ms 15.00 Mb
- ext2 1 3 4 0.00 Mb in 1.79ms 15.00 Mb
- yacc 1 3 4 0.00 Mb in 0.15ms 15.00 Mb
- simple/yacc : 1.076299 prio/yacc : 1.334416 ext/yacc : 1.123377 ext2/yacc : 12.168831 prio/simple: 1.239819 ext/simple: 1.043741 ext2/simple: 11.306184
- simple 1 4 2 0.00 Mb in 0.16ms 15.00 Mb
- prio 1 4 2 0.00 Mb in 0.19ms 15.00 Mb
- ext 1 4 2 0.00 Mb in 0.23ms 15.00 Mb
- ext2 1 4 2 0.00 Mb in 3.33ms 15.00 Mb
- yacc 1 4 2 0.00 Mb in 0.17ms 18.75 Mb
- simple/yacc : 0.977143 prio/yacc : 1.161429 ext/yacc : 1.397143 ext2/yacc : 19.977143 prio/simple: 1.188596 ext/simple: 1.429825 ext2/simple: 20.444444
- simple 1 4 3 0.00 Mb in 0.18ms 18.75 Mb
- prio 1 4 3 0.00 Mb in 0.21ms 18.75 Mb
- ext 1 4 3 0.00 Mb in 0.29ms 18.75 Mb
- ext2 1 4 3 0.00 Mb in 5.51ms 18.75 Mb
- yacc 1 4 3 0.00 Mb in 0.15ms 18.75 Mb
- simple/yacc : 1.214400 prio/yacc : 1.401600 ext/yacc : 1.939200 ext2/yacc : 37.004800 prio/simple: 1.154150 ext/simple: 1.596838 ext2/simple: 30.471673
- simple 1 4 4 0.00 Mb in 0.16ms 18.75 Mb
- prio 1 4 4 0.00 Mb in 0.21ms 18.75 Mb
- ext 1 4 4 0.00 Mb in 0.28ms 18.75 Mb
- ext2 1 4 4 0.00 Mb in 3.54ms 18.75 Mb
- yacc 1 4 4 0.00 Mb in 0.13ms 22.50 Mb
- simple/yacc : 1.180505 prio/yacc : 1.597473 ext/yacc : 2.104693 ext2/yacc : 26.763538 prio/simple: 1.353211 ext/simple: 1.782875 ext2/simple: 22.671254
- simple 2 2 2 0.00 Mb in 0.35ms 22.50 Mb
- prio 2 2 2 0.00 Mb in 0.38ms 22.50 Mb
- ext 2 2 2 0.00 Mb in 0.71ms 22.50 Mb
- ext2 2 2 2 0.00 Mb in 4.36ms 22.50 Mb
- yacc 2 2 2 0.00 Mb in 0.17ms 22.50 Mb
- simple/yacc : 2.058906 prio/yacc : 2.246844 ext/yacc : 4.176718 ext2/yacc : 25.629734 prio/simple: 1.091281 ext/simple: 2.028610 ext2/simple: 12.448229
- simple 2 2 3 0.00 Mb in 0.35ms 22.50 Mb
- prio 2 2 3 0.00 Mb in 0.38ms 22.50 Mb
- ext 2 2 3 0.00 Mb in 0.62ms 22.50 Mb
- ext2 2 2 3 0.00 Mb in 2.48ms 26.25 Mb
- yacc 2 2 3 0.00 Mb in 0.19ms 26.25 Mb
- simple/yacc : 1.917526 prio/yacc : 2.054124 ext/yacc : 3.351804 ext2/yacc : 13.416237 prio/simple: 1.071237 ext/simple: 1.747984 ext2/simple: 6.996640
- simple 2 2 4 0.00 Mb in 0.60ms 26.25 Mb
- prio 2 2 4 0.00 Mb in 0.64ms 26.25 Mb
- ext 2 2 4 0.00 Mb in 1.05ms 26.25 Mb
- ext2 2 2 4 0.00 Mb in 2.81ms 30.19 Mb
- yacc 2 2 4 0.00 Mb in 0.41ms 30.19 Mb
- simple/yacc : 1.466901 prio/yacc : 1.560633 ext/yacc : 2.577036 ext2/yacc : 6.909197 prio/simple: 1.063898 ext/simple: 1.756789 ext2/simple: 4.710064
- simple 2 3 2 0.00 Mb in 0.38ms 30.19 Mb
- prio 2 3 2 0.00 Mb in 0.38ms 30.19 Mb
- ext 2 3 2 0.00 Mb in 0.67ms 30.19 Mb
- ext2 2 3 2 0.00 Mb in 2.59ms 30.19 Mb
- yacc 2 3 2 0.00 Mb in 0.20ms 30.19 Mb
- simple/yacc : 1.944310 prio/yacc : 1.928571 ext/yacc : 3.381356 ext2/yacc : 13.140436 prio/simple: 0.991905 ext/simple: 1.739103 ext2/simple: 6.758406
- simple 2 3 3 0.00 Mb in 0.59ms 30.19 Mb
- prio 2 3 3 0.00 Mb in 0.59ms 30.19 Mb
- ext 2 3 3 0.00 Mb in 1.07ms 30.19 Mb
- ext2 2 3 3 0.00 Mb in 2.69ms 30.19 Mb
- yacc 2 3 3 0.00 Mb in 0.23ms 34.72 Mb
- simple/yacc : 2.557752 prio/yacc : 2.583767 ext/yacc : 4.679501 ext2/yacc : 11.757544 prio/simple: 1.010171 ext/simple: 1.829536 ext2/simple: 4.596827
- simple 2 3 4 0.00 Mb in 0.83ms 34.72 Mb
- prio 2 3 4 0.00 Mb in 0.85ms 34.72 Mb
- ext 2 3 4 0.00 Mb in 1.61ms 34.72 Mb
- ext2 2 3 4 0.00 Mb in 3.90ms 34.72 Mb
- yacc 2 3 4 0.00 Mb in 0.31ms 34.72 Mb
- simple/yacc : 2.719408 prio/yacc : 2.766173 ext/yacc : 5.270460 ext2/yacc : 12.749805 prio/simple: 1.017197 ext/simple: 1.938091 ext2/simple: 4.688449
- simple 2 4 2 0.00 Mb in 0.39ms 34.72 Mb
- prio 2 4 2 0.00 Mb in 0.49ms 34.72 Mb
- ext 2 4 2 0.00 Mb in 0.93ms 34.72 Mb
- ext2 2 4 2 0.00 Mb in 4.01ms 34.72 Mb
- yacc 2 4 2 0.00 Mb in 0.20ms 34.72 Mb
- simple/yacc : 1.965435 prio/yacc : 2.474374 ext/yacc : 4.669845 ext2/yacc : 20.041716 prio/simple: 1.258945 ext/simple: 2.375985 ext2/simple: 10.197089
- simple 2 4 3 0.00 Mb in 0.64ms 34.72 Mb
- prio 2 4 3 0.00 Mb in 0.83ms 34.72 Mb
- ext 2 4 3 0.00 Mb in 1.58ms 34.72 Mb
- ext2 2 4 3 0.00 Mb in 5.01ms 39.94 Mb
- yacc 2 4 3 0.00 Mb in 0.30ms 39.94 Mb
- simple/yacc : 2.125885 prio/yacc : 2.749017 ext/yacc : 5.217152 ext2/yacc : 16.530291 prio/simple: 1.293116 ext/simple: 2.454108 ext2/simple: 7.775722
- simple 2 4 4 0.01 Mb in 1.11ms 39.94 Mb
- prio 2 4 4 0.01 Mb in 1.21ms 39.94 Mb
- ext 2 4 4 0.01 Mb in 2.66ms 39.94 Mb
- ext2 2 4 4 0.01 Mb in 4.63ms 39.94 Mb
- yacc 2 4 4 0.01 Mb in 0.47ms 39.94 Mb
- simple/yacc : 2.378765 prio/yacc : 2.588566 ext/yacc : 5.684533 ext2/yacc : 9.911179 prio/simple: 1.088197 ext/simple: 2.389700 ext2/simple: 4.166524
- simple Time ~ 1.42815e-05 N^0.467842 (corr: 0.97)
- simple Space ~ 24826.5 N^0.38595 (corr: 0.88)
- prio Time ~ 1.64162e-05 N^0.462986 (corr: 0.98)
- prio Space ~ 24826.5 N^0.38595 (corr: 0.88)
- ext Time ~ 1.09526e-05 N^0.590758 (corr: 0.98)
- ext Space ~ 24826.5 N^0.38595 (corr: 0.88)
- ext2 Time ~ 0.00198704 N^0.0753222 (corr: 0.37)
- ext2 Space ~ 22994.3 N^0.401637 (corr: 0.89)
- yacc Time ~ 4.22582e-05 N^0.23507 (corr: 0.86)
- yacc Space ~ 39346.8 N^0.334724 (corr: 0.91)
- (cd _build/default/benchmarks/sexp && ./sexp.exe --test)
- lr 50000 0.38 Mb in 104.77ms 45.94 Mb
- rr 50000 0.38 Mb in 92.41ms 52.84 Mb
- err 50000 0.38 Mb in 126.70ms 45.94 Mb
- yacc 50000 0.38 Mb in 39.61ms 69.91 Mb
- lr/yacc : 2.645004 rr/yacc : 2.333014 err/yacc : 3.198595 rr/lr: 0.882046 err/lr: 1.209297
- lr 100000 0.78 Mb in 148.62ms 92.47 Mb
- rr 100000 0.78 Mb in 125.70ms 106.34 Mb
- err 100000 0.78 Mb in 141.19ms 92.47 Mb
- yacc 100000 0.78 Mb in 80.11ms 140.69 Mb
- lr/yacc : 1.855240 rr/yacc : 1.569131 err/yacc : 1.762444 rr/lr: 0.845783 err/lr: 0.949982
- lr Time ~ 0.000199341 N^0.4858 (corr: 1.00)
- lr Space ~ 2.71109 N^0.971987 (corr: 1.00)
- rr Time ~ 0.000373023 N^0.427473 (corr: 1.00)
- rr Space ~ 3.13277 N^0.971637 (corr: 1.00)
- err Time ~ 0.0181999 N^0.150473 (corr: 1.00)
- err Space ~ 2.71109 N^0.971987 (corr: 1.00)
- yacc Time ~ 1.311e-07 N^0.978551 (corr: 1.00)
- yacc Space ~ 4.14068 N^0.971705 (corr: 1.00)
- (cd _build/default/benchmarks && ./seq.exe --test)
- lr 200000 0.19 Mb in 76.38ms 3.75 Mb
- rr 200000 0.19 Mb in 75.31ms 3.75 Mb
- rrl 200000 0.19 Mb in 74.28ms 69.91 Mb
- ld 200000 0.19 Mb in 64.94ms 3.75 Mb
- rd 200000 0.19 Mb in 117.63ms 3.75 Mb
- rdl 200000 0.19 Mb in 153.90ms 69.91 Mb
- lp 200000 0.19 Mb in 95.94ms 3.75 Mb
- rp 200000 0.19 Mb in 197.82ms 283.09 Mb
- ly 200000 0.19 Mb in 18.01ms 3.75 Mb
- ry 200000 0.19 Mb in 53.81ms 166.72 Mb
- lr/ly: 4.240605 ry/ly: 2.987861 rr/ly: 4.181473 ld/ly: 3.605655 rd/ly: 6.531168 lp/ly: 5.326953 rp/ly: 10.983202
- rr/lr: 0.986056 ld/lr: 0.850269 rd/lr: 1.540150 lp/lr: 1.256178 rp/lr: 2.590008 rd/rr: 1.561930 rp/rr: 2.626635
- lr 400000 0.38 Mb in 75.55ms 3.75 Mb
- rr 400000 0.38 Mb in 71.43ms 3.75 Mb
- rrl 400000 0.38 Mb in 123.63ms 140.69 Mb
- ld 400000 0.38 Mb in 118.87ms 3.75 Mb
- rd 400000 0.38 Mb in 113.70ms 3.75 Mb
- rdl 400000 0.38 Mb in 166.85ms 140.69 Mb
- lp 400000 0.38 Mb in 95.14ms 3.75 Mb
- rp 400000 0.38 Mb in 321.90ms 569.47 Mb
- ly 400000 0.38 Mb in 33.55ms 3.75 Mb
- ry 400000 0.38 Mb in 98.32ms 276.72 Mb
- lr/ly: 2.251579 ry/ly: 2.930364 rr/ly: 2.128785 ld/ly: 3.542766 rd/ly: 3.388770 lp/ly: 2.835559 rp/ly: 9.593871
- rr/lr: 0.945463 ld/lr: 1.573458 rd/lr: 1.505064 lp/lr: 1.259364 rp/lr: 4.260952 rd/rr: 1.591880 rp/rr: 4.506736
- lr Time ~ 0.0925807 N^-0.0157626 (corr: -1.00)
- lr Space ~ 61440 N^-0 (corr: -nan)
- ld Time ~ 1.54533e-06 N^0.872188 (corr: 1.00)
- ld Space ~ 61440 N^-0 (corr: -nan)
- rr Time ~ 0.191391 N^-0.0764112 (corr: -1.00)
- rr Space ~ 61440 N^-0 (corr: -nan)
- rd Time ~ 0.213956 N^-0.0490092 (corr: -1.00)
- rd Space ~ 61440 N^-0 (corr: -nan)
- lp Time ~ 0.111223 N^-0.0121074 (corr: -1.00)
- lp Space ~ 61440 N^-0 (corr: -nan)
- rp Time ~ 3.73685e-05 N^0.702459 (corr: 1.00)
- rp Space ~ 20.9462 N^1.00834 (corr: 1.00)
- (cd _build/default/tests && ./test.exe)
- test7
- dependant sequence of 'a' right recursive
- parsing 100000 chars in 0.094605 seconds
- parsing 111000 chars in 0.103535 seconds
- parsing 125000 chars in 0.064791 seconds
- parsing 142000 chars in 0.063323 seconds
- parsing 166000 chars in 0.073494 seconds
- parsing 200000 chars in 0.086173 seconds
- parsing 250000 chars in 0.126035 seconds
- parsing 333000 chars in 0.153381 seconds
- parsing 500000 chars in 0.223952 seconds
- parsing 1000000 chars in 0.448179 seconds
- dependant sequence of 'a' right recursive with left pos
- parsing 100000 chars in 0.066634 seconds
- parsing 111000 chars in 0.066021 seconds
- parsing 125000 chars in 0.102027 seconds
- parsing 142000 chars in 0.093017 seconds
- parsing 166000 chars in 0.093578 seconds
- parsing 200000 chars in 0.128747 seconds
- parsing 250000 chars in 0.164640 seconds
- parsing 333000 chars in 0.195138 seconds
- parsing 500000 chars in 0.307779 seconds
- parsing 1000000 chars in 0.623410 seconds
- dependant sequence of 'a' right recursive with right pos
- parsing 100000 chars in 0.067662 seconds
- parsing 111000 chars in 0.073697 seconds
- parsing 125000 chars in 0.084241 seconds
- parsing 142000 chars in 0.079919 seconds
- parsing 166000 chars in 0.093402 seconds
- parsing 200000 chars in 0.182800 seconds
- parsing 250000 chars in 0.136397 seconds
- parsing 333000 chars in 0.319977 seconds
- parsing 500000 chars in 0.376213 seconds
- parsing 1000000 chars in 0.587141 seconds
- sequence of 'a' right recursive
- parsing 100000 chars in 0.045634 seconds
- parsing 111000 chars in 0.044627 seconds
- parsing 125000 chars in 0.048359 seconds
- parsing 142000 chars in 0.054869 seconds
- parsing 166000 chars in 0.105237 seconds
- parsing 200000 chars in 0.076248 seconds
- parsing 250000 chars in 0.098728 seconds
- parsing 333000 chars in 0.132278 seconds
- parsing 500000 chars in 0.217243 seconds
- parsing 1000000 chars in 0.472214 seconds
- sequence of 'a' right recursive, with left pos
- parsing 100000 chars in 0.046329 seconds
- parsing 111000 chars in 0.063461 seconds
- parsing 125000 chars in 0.069957 seconds
- parsing 142000 chars in 0.071707 seconds
- parsing 166000 chars in 0.087187 seconds
- parsing 200000 chars in 0.104396 seconds
- parsing 250000 chars in 0.133237 seconds
- parsing 333000 chars in 0.172661 seconds
- parsing 500000 chars in 0.262663 seconds
- parsing 1000000 chars in 0.560898 seconds
- sequence of 'a' right recursive, with right pos
- parsing 100000 chars in 0.041299 seconds
- parsing 111000 chars in 0.073529 seconds
- parsing 125000 chars in 0.068833 seconds
- parsing 142000 chars in 0.065346 seconds
- parsing 166000 chars in 0.076564 seconds
- parsing 200000 chars in 0.092163 seconds
- parsing 250000 chars in 0.134733 seconds
- parsing 333000 chars in 0.164846 seconds
- parsing 500000 chars in 0.248299 seconds
- parsing 1000000 chars in 0.464570 seconds
- sequence of 'a' left recursive
- parsing 100000 chars in 0.021577 seconds
- parsing 111000 chars in 0.023725 seconds
- parsing 125000 chars in 0.026734 seconds
- parsing 142000 chars in 0.031237 seconds
- parsing 166000 chars in 0.035535 seconds
- parsing 200000 chars in 0.042692 seconds
- parsing 250000 chars in 0.053420 seconds
- parsing 333000 chars in 0.071345 seconds
- parsing 500000 chars in 0.108031 seconds
- parsing 1000000 chars in 0.216120 seconds
- sequence of 'a' left recursive with left pos
- parsing 100000 chars in 0.023402 seconds
- parsing 111000 chars in 0.026160 seconds
- parsing 125000 chars in 0.029393 seconds
- parsing 142000 chars in 0.033293 seconds
- parsing 166000 chars in 0.040699 seconds
- parsing 200000 chars in 0.046869 seconds
- parsing 250000 chars in 0.058774 seconds
- parsing 333000 chars in 0.082455 seconds
- parsing 500000 chars in 0.122094 seconds
- parsing 1000000 chars in 0.243077 seconds
- sequence of 'a' left recursive with right pos
- parsing 100000 chars in 0.023796 seconds
- parsing 111000 chars in 0.042106 seconds
- parsing 125000 chars in 0.029845 seconds
- parsing 142000 chars in 0.033235 seconds
- parsing 166000 chars in 0.039051 seconds
- parsing 200000 chars in 0.050054 seconds
- parsing 250000 chars in 0.059277 seconds
- parsing 333000 chars in 0.079015 seconds
- parsing 500000 chars in 0.126067 seconds
- parsing 1000000 chars in 0.234807 seconds
- sequence of comma separated sequences of 'a'
- parsing 349 chars in 0.000187 seconds
- parsing 404 chars in 0.000166 seconds
- parsing 526 chars in 0.000213 seconds
- parsing 664 chars in 0.000274 seconds
- parsing 901 chars in 0.000368 seconds
- parsing 1324 chars in 0.000518 seconds
- parsing 2014 chars in 0.000789 seconds
- parsing 3568 chars in 0.001412 seconds
- parsing 7999 chars in 0.003251 seconds
- parsing 31624 chars in 0.012640 seconds
- checking the number of parsetrees on an ambiguous example
- catalan: 0 => 1=1
- catalan: 1 => 1=1
- catalan: 2 => 2=2
- catalan: 3 => 5=5
- catalan: 4 => 14=14
- catalan: 5 => 42=42
- catalan: 6 => 132=132
- catalan: 7 => 429=429
- catalan: 8 => 1430=1430
- catalan: 9 => 4862=4862
- checking the number of parsetrees on an ambiguous example,using merge and cache
- catalan: 0 => 1=1 (size 0 0.000000)
- catalan: 1 => 1=1 (size 1 1.000000)
- catalan: 2 => 2=2 (size 5 2.500000)
- catalan: 3 => 5=5 (size 14 2.800000)
- catalan: 4 => 14=14 (size 30 2.142857)
- catalan: 5 => 42=42 (size 55 1.309524)
- catalan: 6 => 132=132 (size 91 0.689394)
- catalan: 7 => 429=429 (size 140 0.326340)
- catalan: 8 => 1430=1430 (size 204 0.142657)
- catalan: 9 => 4862=4862 (size 285 0.058618)
- catalan: 10 => 16796=16796 (size 385 0.022922)
- catalan: 11 => 58786=58786 (size 506 0.008607)
- AB ::= AC 'a' 'c' | BC 'b' 'c' | ()
- AC ::= BC 'b' 'c' | AB 'a' 'b' | ()
- BC ::= AC 'a' 'c' | AB 'a' 'b' | ()
- AB ::= ()
- | AB_lr from
- BC_lr ::= 'a' 'b' | 'a' 'c' | AC_lr 'a' 'c' | AB_lr 'a' 'b'
- AC_lr ::= 'a' 'b' | 'b' 'c' | BC_lr 'b' 'c' | AB_lr 'a' 'b'
- AB_lr ::= 'b' 'c' | 'a' 'c' | BC_lr 'b' 'c' | AC_lr 'a' 'c'
-
-> compiled pacomb.1.4.3
-> removed pacomb.1.4.3
-> installed pacomb.1.4.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-30 07:39.21 ---> saved as "f4d250f94d9235897a67b8d654a3c4c20cdac503bfe11c3cec391c5ee84b7062"
Job succeeded
2026-04-30 07:41.14: Job succeeded