1. github
2. ocaml
3. opam-repository
4. 3e0c39
5. compilers,4.14,dune-configurator.3.22.2,revdeps,archsat.1.1

(not at the head of any monitored branch or PR)

2026-04-10 17:47.17: New job: test archsat.1.1 with dune-configurator.3.22.2, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/29704/head (3e0c395e7b1393a792367f8edca3654dac71e6fd)
                              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/29704/head" && git reset --hard 3e0c395e
git fetch origin master
git merge --no-edit 9d8ceab8e9f49f5671cf459997c8a47cf0e675ca
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:4457c533769cd1c32fd9fb5fb13e5a0a285ba114860db7ac2f34c1c21e5690e4
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-configurator.3.22.2 3.22.2
RUN opam reinstall dune-configurator.3.22.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" != 'dune-configurator.3.22.2' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
RUN opam reinstall archsat.1.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'archsat.1.1' && 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 archsat.1.1) || true
RUN opam reinstall --with-test --verbose archsat.1.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'archsat.1.1' && 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-10 17:47.17: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:4457c533769cd1c32fd9fb5fb13e5a0a285ba114860db7ac2f34c1c21e5690e4-dune-configurator.3.22.2-archsat.1.1-3e0c395e7b1393a792367f8edca3654dac71e6fd"
2026-04-10 17:47.17: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:4457c533769cd1c32fd9fb5fb13e5a0a285ba114860db7ac2f34c1c21e5690e4)
 (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-configurator.3.22.2 3.22.2"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall dune-configurator.3.22.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\" != 'dune-configurator.3.22.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 (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall archsat.1.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'archsat.1.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (run (network host)
      (shell "(opam reinstall --with-test archsat.1.1) || true"))
 (run (shell  "opam reinstall --with-test --verbose archsat.1.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'archsat.1.1' && 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-10 17:47.17: Waiting for resource in pool OCluster
2026-04-10 21:36.36: Waiting for worker…
2026-04-10 21:45.30: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 9d8ceab8e9 Merge pull request #29697 from filipeom/opam-publish-smtml.0.25.0
Updating 9d8ceab8e9..3e0c395e7b
Fast-forward
 packages/chrome-trace/chrome-trace.3.22.2/opam     | 39 +++++++++++
 .../dune-action-plugin.3.22.2/opam                 | 52 +++++++++++++++
 .../dune-action-trace.3.22.2/opam                  | 39 +++++++++++
 .../dune-build-info/dune-build-info.3.22.2/opam    | 45 +++++++++++++
 .../dune-configurator.3.22.2/opam                  | 49 ++++++++++++++
 packages/dune-glob/dune-glob.3.22.2/opam           | 42 ++++++++++++
 .../dune-private-libs.3.22.2/opam                  | 50 +++++++++++++++
 packages/dune-rpc-lwt/dune-rpc-lwt.3.22.2/opam     | 41 ++++++++++++
 packages/dune-rpc/dune-rpc.3.22.2/opam             | 44 +++++++++++++
 packages/dune-site/dune-site.3.22.2/opam           | 37 +++++++++++
 packages/dune/dune.3.22.2/opam                     | 75 ++++++++++++++++++++++
 packages/dyn/dyn.3.22.2/opam                       | 40 ++++++++++++
 packages/fs-io/fs-io.3.22.2/opam                   | 39 +++++++++++
 packages/ocamlc-loc/ocamlc-loc.3.22.2/opam         | 43 +++++++++++++
 packages/ordering/ordering.3.22.2/opam             | 38 +++++++++++
 packages/stdune/stdune.3.22.2/opam                 | 46 +++++++++++++
 packages/top-closure/top-closure.3.22.2/opam       | 38 +++++++++++
 packages/xdg/xdg.3.22.2/opam                       | 39 +++++++++++
 18 files changed, 796 insertions(+)
 create mode 100644 packages/chrome-trace/chrome-trace.3.22.2/opam
 create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.22.2/opam
 create mode 100644 packages/dune-action-trace/dune-action-trace.3.22.2/opam
 create mode 100644 packages/dune-build-info/dune-build-info.3.22.2/opam
 create mode 100644 packages/dune-configurator/dune-configurator.3.22.2/opam
 create mode 100644 packages/dune-glob/dune-glob.3.22.2/opam
 create mode 100644 packages/dune-private-libs/dune-private-libs.3.22.2/opam
 create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.22.2/opam
 create mode 100644 packages/dune-rpc/dune-rpc.3.22.2/opam
 create mode 100644 packages/dune-site/dune-site.3.22.2/opam
 create mode 100644 packages/dune/dune.3.22.2/opam
 create mode 100644 packages/dyn/dyn.3.22.2/opam
 create mode 100644 packages/fs-io/fs-io.3.22.2/opam
 create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.22.2/opam
 create mode 100644 packages/ordering/ordering.3.22.2/opam
 create mode 100644 packages/stdune/stdune.3.22.2/opam
 create mode 100644 packages/top-closure/top-closure.3.22.2/opam
 create mode 100644 packages/xdg/xdg.3.22.2/opam

(from ocaml/opam:debian-13-ocaml-4.14@sha256:4457c533769cd1c32fd9fb5fb13e5a0a285ba114860db7ac2f34c1c21e5690e4)
2026-04-10 21:45.36 ---> using "e7349b5faa6e8ea47e3f73a0784842b9d8524e468ce596e92633dbea53bd1c16" 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-10 21:45.36 ---> using "345d07c1ddcf0b692213607682954d9bdf190a7dc793f33951a109185e732dcb" from cache

/home/opam: (run (network host)
                 (shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.

This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.

Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
           opam option jobs=71 --global
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-04-10 21:45.36 ---> using "6e021c655ca00bde9af60e23db55b09a0bcc3db0d3ca38d66f78ad53e254a31c" from cache

/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version         2.5.0
# self-upgrade         no
# system               arch=x86_64 os=linux os-distribution=debian os-version=13
# solver               builtin-0install
# install-criteria     -changed,-count[avoid-version,solution]
# upgrade-criteria     -count[avoid-version,solution]
# jobs                 255
# repositories         1 (version-controlled)
# pinned               1 (version)
# current-switch       4.14
# invariant            ["ocaml-base-compiler" {= "4.14.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-10 21:45.36 ---> using "7b2a5ae62cf702b99c177da358372ff585494a0b1c5dfffe5c4eda3046bc59fb" 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-10 21:45.36 ---> using "2d8e28a183d0990d4c5f7a587471f7c743cdf0d9f00bdf4de7761e94ec09202a" from cache

/home/opam: (copy (src .) (dst opam-repository/))
2026-04-10 21:45.36 ---> using "43c49734bd8015921029b9a907dd77c0e05208c46b686916515831f5a9e9d500" from cache

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-04-10 21:45.36 ---> using "bb36992fd0066703535b2984ee1ead3db92bb1f04a8df092631924067dac4082" 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 [121 kB]
- Fetched 211 kB in 0s (2158 kB/s)
- Reading package lists...
2026-04-10 21:45.36 ---> using "e0d9ada0baddc41d2c835edef7d0cf7cceebd2dadac41fda17c9e860b5313a74" from cache

/home/opam: (run (shell "opam pin add -k version -yn dune-configurator.3.22.2 3.22.2"))
dune-configurator is now pinned to version 3.22.2
2026-04-10 21:45.36 ---> using "8fbece27eae7b8b1872db2d5ec5cbfc33cdb5add579ea9e48e614b0af190b025" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall dune-configurator.3.22.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\" != 'dune-configurator.3.22.2' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
dune-configurator.3.22.2 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 3 packages
  - install csexp             1.5.2           [required by dune-configurator]
  - install dune              3.22.2          [required by dune-configurator]
  - install dune-configurator 3.22.2 (pinned)

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved csexp.1.5.2  (cached)
-> retrieved dune.3.22.2, dune-configurator.3.22.2  (cached)
-> installed dune.3.22.2
-> installed csexp.1.5.2
-> installed dune-configurator.3.22.2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-10 21:45.36 ---> using "7277fb141e00e2b955fc61a1dc629ad545b3ac277f9cb3688ec3ccad1d94605e" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall archsat.1.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'archsat.1.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
archsat.1.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 24 packages
  - install archsat         1.1
  - install cmdliner        1.3.0    [required by archsat]
  - install conf-gmp        5        [required by zarith]
  - install conf-pkg-config 4        [required by zarith]
  - install containers      2.8.1    [required by archsat]
  - install dolmen          0.4.1    [required by archsat]
  - install gen             1.1      [required by archsat]
  - install iter            1.9      [required by archsat]
  - install menhir          20250912 [required by dolmen]
  - install menhirCST       20250912 [required by menhir]
  - install menhirLib       20250912 [required by menhir]
  - install menhirSdk       20250912 [required by menhir]
  - install msat            0.7      [required by archsat]
  - install mtime           1.3.0    [required by archsat]
  - install ocamlbuild      0.16.1   [required by archsat]
  - install ocamlfind       1.9.8    [required by archsat]
  - install ocamlgraph      2.2.0    [required by archsat]
  - install seq             base     [required by gen, containers, spelll]
  - install spelll          0.4      [required by archsat]
  - install stdlib-shims    0.3.0    [required by spelll]
  - install topkg           1.1.1    [required by uucp, mtime, uutf]
  - install uucp            17.0.0   [required by archsat]
  - install uutf            1.0.4    [required by archsat]
  - install zarith          1.14     [required by archsat]

The following system packages will first need to be installed:
    libgmp-dev pkg-config

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (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 ... 20623 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u2) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved archsat.1.1  (https://opam.ocaml.org/cache)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved containers.2.8.1  (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved dolmen.0.4.1  (https://opam.ocaml.org/cache)
-> retrieved gen.1.1  (cached)
-> retrieved iter.1.9  (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912  (cached)
-> installed iter.1.9
-> retrieved msat.0.7  (https://opam.ocaml.org/cache)
-> installed menhirCST.20250912
-> retrieved mtime.1.3.0  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ocamlgraph.2.2.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> installed menhirSdk.20250912
-> retrieved spelll.0.4  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved topkg.1.1.1  (cached)
-> installed menhirLib.20250912
-> retrieved uucp.17.0.0  (cached)
-> installed stdlib-shims.0.3.0
-> retrieved uutf.1.0.4  (cached)
-> retrieved zarith.1.14  (cached)
-> installed spelll.0.4
-> installed cmdliner.1.3.0
-> installed containers.2.8.1
-> installed gen.1.1
-> installed ocamlgraph.2.2.0
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed msat.0.7
-> installed topkg.1.1.1
-> installed uutf.1.0.4
-> installed mtime.1.3.0
-> installed menhir.20250912
-> installed dolmen.0.4.1
-> installed uucp.17.0.0
-> installed archsat.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-10 21:46.31 ---> saved as "d1074b9fd18cb586e6ff46898ea733eb750403252a13fb2682204da514243acf"

/home/opam: (run (network host)
                 (shell "(opam reinstall --with-test archsat.1.1) || true"))
The following actions will be performed:
=== recompile 1 package
  - recompile archsat      1.1
=== install 4 packages
  - install   ounit2       2.2.7 [required by qcheck-ounit]
  - install   qcheck       0.91  [required by archsat]
  - install   qcheck-core  0.91  [required by qcheck]
  - install   qcheck-ounit 0.91  [required by qcheck]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved archsat.1.1  (https://opam.ocaml.org/cache)
-> retrieved ounit2.2.2.7  (https://opam.ocaml.org/cache)
-> retrieved qcheck.0.91, qcheck-core.0.91, qcheck-ounit.0.91  (https://opam.ocaml.org/cache)
-> installed ounit2.2.2.7
-> removed   archsat.1.1
-> installed qcheck-core.0.91
-> installed qcheck-ounit.0.91
-> installed qcheck.0.91
-> installed archsat.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-10 21:47.46 ---> saved as "683827dda633daa54b8d848c6b22ed82e37aecb8abd96e21b0207ca452387797"

/home/opam: (run (shell  "opam reinstall --with-test --verbose archsat.1.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'archsat.1.1' && 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 archsat 1.1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/4: [archsat.1.1: extract]
-> retrieved archsat.1.1  (cached)
Processing  2/4: [archsat: make bin]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "bin" (CWD=/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1)
- make -C src bin
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1/src'
- ocamlbuild -log build.log  -use-ocamlfind main.native
- + ocamlfind ocamlc -config
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules main.ml > main.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/dispatcher.mli > core/dispatcher.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules util/backtrack.mli > util/backtrack.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules debug/section.mli > debug/section.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules debug/level.mli > debug/level.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I debug -I algos -I base -I core -I input -I middle -I misc -I output -I proof -I test -I util -o debug/level.cmi debug/level.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I debug -I algos -I base -I core -I input -I middle -I misc -I output -I proof -I test -I util -o debug/section.cmi debug/section.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/expr.mli > base/expr.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/pretty.ml > base/pretty.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/sig.ml > base/sig.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/tag.mli > base/tag.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -w K -w X -w Y -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/pretty.cmo base/pretty.ml
- + ocamlfind ocamlc -c -g -bin-annot -w K -w X -w Y -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/sig.cmo base/sig.ml
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/tag.cmi base/tag.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules middle/extension.mli > middle/extension.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules middle/extension_intf.ml > middle/extension_intf.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -w K -w X -w Y -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -color always -I middle -I algos -I base -I core -I debug -I input -I misc -I output -I proof -I test -I util -o middle/extension_intf.cmo middle/extension_intf.ml
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I util -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -o util/backtrack.cmi util/backtrack.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/expr.cmi base/expr.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I middle -I algos -I base -I core -I debug -I input -I misc -I output -I proof -I test -I util -o middle/extension.cmi middle/extension.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules output/export.mli > output/export.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules input/options.mli > input/options.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules input/in.ml > input/in.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -w K -w X -w Y -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -color always -I input -I algos -I base -I core -I debug -I middle -I misc -I output -I proof -I test -I util -o input/in.cmo input/in.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/term.mli > proof/term.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I input -I algos -I base -I core -I debug -I middle -I misc -I output -I proof -I test -I util -o input/options.cmi input/options.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/term.cmi proof/term.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext.mli > core/ext.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules output/out.mli > output/out.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules middle/pipe.mli > middle/pipe.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/solver.mli > core/solver.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/dispatcher.cmi core/dispatcher.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/solver.cmi core/solver.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules middle/pipeline.mli > middle/pipeline.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/prove.mli > proof/prove.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules input/semantics.mli > input/semantics.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/type.mli > base/type.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/type.cmi base/type.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules debug/stats.mli > debug/stats.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules util/util.mli > util/util.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/export.cmi output/export.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext.cmi core/ext.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/out.cmi output/out.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I middle -I algos -I base -I core -I debug -I input -I misc -I output -I proof -I test -I util -o middle/pipe.cmi middle/pipe.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I middle -I algos -I base -I core -I debug -I input -I misc -I output -I proof -I test -I util -o middle/pipeline.cmi middle/pipeline.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/prove.cmi proof/prove.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I input -I algos -I base -I core -I debug -I middle -I misc -I output -I proof -I test -I util -o input/semantics.cmi input/semantics.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I debug -I algos -I base -I core -I input -I middle -I misc -I output -I proof -I test -I util -o debug/stats.cmi debug/stats.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I util -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -o util/util.cmi util/util.mli
- + ocamlfind ocamlc -c -g -bin-annot -w K -w X -w Y -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -w -58 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o main.cmo main.ml
- + ocamlfind ocamlc -c -g -bin-annot -w K -w X -w Y -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -w -58 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o main.cmo main.ml
- File "main.ml", line 13, characters 28-32:
- 13 |   let info = Cmdliner.Term.(info ~sdocs:Options.copts_sect ~man ~version:"0.1" "archsat") in
-                                  ^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "main.ml", line 15, characters 6-10:
- 15 |       pure (fun () () x -> x)
-            ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- File "main.ml", line 20, characters 18-36:
- 20 |   let opt = match Cmdliner.Term.eval (opts, info) with
-                        ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/dispatcher.ml > core/dispatcher.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules util/backtrack.ml > util/backtrack.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules debug/section.ml > debug/section.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules debug/level.ml > debug/level.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules misc/printBox.ml > misc/printBox.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules misc/printBox.mli > misc/printBox.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I misc -I algos -I base -I core -I debug -I input -I middle -I output -I proof -I test -I util -o misc/printBox.cmi misc/printBox.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I debug -I algos -I base -I core -I input -I middle -I misc -I output -I proof -I test -I util -o debug/level.cmx debug/level.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I misc -I algos -I base -I core -I debug -I input -I middle -I output -I proof -I test -I util -o misc/printBox.cmx misc/printBox.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules util/util.ml > util/util.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I debug -I algos -I base -I core -I input -I middle -I misc -I output -I proof -I test -I util -o debug/section.cmx debug/section.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I util -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -o util/util.cmx util/util.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/expr.ml > base/expr.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/tag.ml > base/tag.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/pretty.cmx base/pretty.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/tag.cmx base/tag.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/tag.cmx base/tag.ml
- File "base/tag.ml", line 13, characters 6-24:
- 13 |       Pervasives.compare a b
-            ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/sig.cmx base/sig.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules middle/extension.ml > middle/extension.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I middle -I algos -I base -I core -I debug -I input -I misc -I output -I proof -I test -I util -o middle/extension_intf.cmx middle/extension_intf.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules debug/stats.ml > debug/stats.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I util -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -o util/backtrack.cmx util/backtrack.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/expr.cmx base/expr.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/expr.cmx base/expr.ml
- File "base/expr.ml", line 426, characters 46-55:
- 426 |       CCFormat.(seq ~sep:(return ";@ ") aux) (Mi.to_seq map)
-                                                     ^^^^^^^^^
- Alert deprecated: Mi.to_seq
- use to_iter instead
- File "base/expr.ml", line 812, characters 21-39:
- 812 |     if hu <> hv then Pervasives.compare hu hv
-                            ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "base/expr.ml", line 819, characters 16-34:
- 819 |       | _, _ -> Pervasives.compare (discr u) (discr v)
-                       ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "base/expr.ml", line 935, characters 21-39:
- 935 |     if hu <> hv then Pervasives.compare hu hv
-                            ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "base/expr.ml", line 943, characters 16-34:
- 943 |       | _, _ -> Pervasives.compare (discr u) (discr v)
-                       ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "base/expr.ml", line 1104, characters 21-39:
- 1104 |     if hf <> hg then Pervasives.compare hf hg
-                             ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "base/expr.ml", line 1121, characters 16-34:
- 1121 |       | _, _ -> Pervasives.compare (discr f) (discr g)
-                        ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I middle -I algos -I base -I core -I debug -I input -I misc -I output -I proof -I test -I util -o middle/extension.cmx middle/extension.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I middle -I algos -I base -I core -I debug -I input -I misc -I output -I proof -I test -I util -o middle/extension.cmx middle/extension.ml
- File "middle/extension.ml", line 60, characters 17-35:
- 60 |       ?(options=(Cmdliner.Term.pure ())) ext =
-                       ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- File "middle/extension.ml", line 132, characters 15-33:
- 132 |     let base = Cmdliner.Term.pure () in
-                      ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- File "middle/extension.ml", line 133, characters 18-36:
- 133 |     let combine = Cmdliner.Term.pure (fun () () -> ()) in
-                         ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I debug -I algos -I base -I core -I input -I middle -I misc -I output -I proof -I test -I util -o debug/stats.cmx debug/stats.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules output/export.ml > output/export.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules input/options.ml > input/options.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/term.ml > proof/term.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/synth.ml > algos/synth.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/synth.ml > algos/synth.ml.depends
- File "algos/synth.ml", line 129, characters 27-29:
- 129 |     Util.debug ~section "  \- unif failed";
-                                  ^^
- Warning 14 [illegal-backslash]: illegal backslash escape in string.
- File "algos/synth.ml", line 132, characters 27-29:
- 132 |     Util.debug ~section "  \- unif found !";
-                                  ^^
- Warning 14 [illegal-backslash]: illegal backslash escape in string.
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/synth.mli > algos/synth.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/synth.cmi algos/synth.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/mapping.ml > base/mapping.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/mapping.mli > base/mapping.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/mapping.cmi base/mapping.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/match.ml > algos/match.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/match.mli > algos/match.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/match.cmi algos/match.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/mapping.cmx base/mapping.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/mapping.cmx base/mapping.ml
- File "base/mapping.ml", line 438, characters 4-15:
- 438 | let meta_expand m t =
-           ^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value meta_expand.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/match.cmx algos/match.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/synth.cmx algos/synth.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/synth.cmx algos/synth.ml
- File "algos/synth.ml", line 129, characters 27-29:
- 129 |     Util.debug ~section "  \- unif failed";
-                                  ^^
- Warning 14 [illegal-backslash]: illegal backslash escape in string.
- File "algos/synth.ml", line 132, characters 27-29:
- 132 |     Util.debug ~section "  \- unif found !";
-                                  ^^
- Warning 14 [illegal-backslash]: illegal backslash escape in string.
- File "algos/synth.ml", line 25, characters 4-8:
- 25 | let size term =
-          ^^^^
- Warning 32 [unused-value-declaration]: unused value size.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I input -I algos -I base -I core -I debug -I middle -I misc -I output -I proof -I test -I util -o input/in.cmx input/in.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/term.cmx proof/term.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/term.cmx proof/term.ml
- File "proof/term.ml", line 80, characters 19-37:
- 80 | let compare t t' = Pervasives.compare t.index t'.index
-                         ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "proof/term.ml", line 37, characters 0-34:
- 37 | exception Unif_Impossible of t * t
-      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 38 [unused-extension]: unused exception Unif_Impossible
- File "proof/term.ml", line 132, characters 4-16:
- 132 | let contract_tag = Tag.create ()
-           ^^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value contract_tag.
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules output/tptp.ml > output/tptp.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules output/tptp.mli > output/tptp.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/tptp.cmi output/tptp.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules util/escape.ml > util/escape.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules util/escape.mli > util/escape.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I util -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -o util/escape.cmi util/escape.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I input -I algos -I base -I core -I debug -I middle -I misc -I output -I proof -I test -I util -o input/options.cmx input/options.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I input -I algos -I base -I core -I debug -I middle -I misc -I output -I proof -I test -I util -o input/options.cmx input/options.ml
- File "input/options.ml", line 484, characters 12-30:
- 484 |   List.sort Pervasives.compare !l
-                   ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I util -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -o util/escape.cmx util/escape.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/tptp.cmx output/tptp.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext.ml > core/ext.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_arith.ml > core/ext_arith.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_arith.mli > core/ext_arith.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_arith.cmi core/ext_arith.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/builtin.ml > base/builtin.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/builtin.mli > base/builtin.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/builtin.cmi base/builtin.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules input/semantics.ml > input/semantics.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/type.ml > base/type.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/unif.ml > algos/unif.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/unif.mli > algos/unif.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/unif.cmi algos/unif.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/unif.cmx algos/unif.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/type.cmx base/type.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/type.cmx base/type.ml
- File "base/type.ml", line 323, characters 4-10:
- 323 | let pp_env fmt env =
-           ^^^^^^
- Warning 32 [unused-value-declaration]: unused value pp_env.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I input -I algos -I base -I core -I debug -I middle -I misc -I output -I proof -I test -I util -o input/semantics.cmx input/semantics.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/dispatcher.cmx core/dispatcher.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/dispatcher.cmx core/dispatcher.ml
- File "core/dispatcher.ml", line 303, characters 4-22:
- 303 | let internal_plugin_id =
-           ^^^^^^^^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value internal_plugin_id.
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/solver.ml > core/solver.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/builtin.cmx base/builtin.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/solver.cmx core/solver.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_array.ml > core/ext_array.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_array.mli > core/ext_array.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_array.cmi core/ext_array.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_constraints.ml > core/ext_constraints.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_constraints.mli > core/ext_constraints.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_constraints.cmi core/ext_constraints.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/constraints.ml > algos/constraints.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/constraints.mli > algos/constraints.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/constraints.cmi algos/constraints.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_meta.ml > core/ext_meta.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_meta.mli > core/ext_meta.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_meta.cmi core/ext_meta.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/dot.ml > proof/dot.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/dot.mli > proof/dot.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/dot.cmi proof/dot.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_rewrite.ml > core/ext_rewrite.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_rewrite.mli > core/ext_rewrite.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/rewrite.mli > algos/rewrite.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/rewrite.cmi algos/rewrite.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_rewrite.cmi core/ext_rewrite.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules util/comparison.ml > util/comparison.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules util/comparison.mli > util/comparison.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I util -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -o util/comparison.cmi util/comparison.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/dot.cmx proof/dot.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/dot.cmx proof/dot.ml
- File "proof/dot.ml", line 85, characters 8-16:
- 85 |     let is_equal = Term.equal Term.equal_term
-              ^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value is_equal.
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/eq.ml > proof/eq.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/eq.mli > proof/eq.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/position.mli > base/position.mli.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/proof.mli > proof/proof.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/position.cmi base/position.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/proof.cmi proof/proof.mli
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/eq.cmi proof/eq.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/coq.ml > proof/coq.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/coq.mli > proof/coq.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/coq.cmi proof/coq.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/dedukti.ml > proof/dedukti.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/dedukti.mli > proof/dedukti.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/dedukti.cmi proof/dedukti.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/logic.ml > proof/logic.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/logic.mli > proof/logic.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/logic.cmi proof/logic.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/coq.cmx proof/coq.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/coq.cmx proof/coq.ml
- File "proof/coq.ml", line 3, characters 4-11:
- 3 | let section = Section.make "coq"
-         ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value section.
- File "proof/coq.ml", line 5, characters 4-11:
- 5 | let formula a = a.Dispatcher.SolverTypes.lit
-         ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value formula.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/dedukti.cmx proof/dedukti.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/dedukti.cmx proof/dedukti.ml
- File "proof/dedukti.ml", line 3, characters 4-11:
- 3 | let section = Section.make "dedukti"
-         ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value section.
- File "proof/dedukti.ml", line 5, characters 4-11:
- 5 | let formula a = a.Dispatcher.SolverTypes.lit
-         ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value formula.
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/proof.ml > proof/proof.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/proof.cmx proof/proof.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/proof.cmx proof/proof.ml
- File "proof/proof.ml", line 250, characters 13-31:
- 250 |       | _ -> Pervasives.compare (_discr t) (_discr t')
-                    ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "proof/proof.ml", line 215, characters 6-11:
- 215 |   let count t = Mt.cardinal t.names + Mt.cardinal t.global
-             ^^^^^
- Warning 32 [unused-value-declaration]: unused value count.
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules base/position.ml > base/position.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/logic.cmx proof/logic.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/position.cmx base/position.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I base -I algos -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o base/position.cmx base/position.ml
- File "base/position.ml", line 34, characters 14-32:
- 34 | let compare = Pervasives.compare
-                    ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_eq.ml > core/ext_eq.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_eq.mli > core/ext_eq.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_eq.cmi core/ext_eq.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/closure.ml > algos/closure.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/closure.mli > algos/closure.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/closure.cmi algos/closure.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/eq.cmx proof/eq.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/eq.cmx proof/eq.ml
- File "proof/eq.ml", line 180, characters 4-15:
- 180 | let eq_ind_term = Term.id eq_ind
-           ^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value eq_ind_term.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/closure.cmx algos/closure.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/inst.ml > core/inst.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/inst.mli > core/inst.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/inst.cmi core/inst.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I util -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -o util/comparison.cmx util/comparison.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_stats.ml > core/ext_stats.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_stats.mli > core/ext_stats.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_stats.cmi core/ext_stats.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/quant.ml > proof/quant.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/quant.mli > proof/quant.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/quant.cmi proof/quant.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_stats.cmx core/ext_stats.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_stats.cmx core/ext_stats.ml
- File "core/ext_stats.ml", line 71, characters 17-21:
- 71 |   Cmdliner.Term.(pure set_opts $ stop)
-                       ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/quant.cmx proof/quant.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/lpo.ml > algos/lpo.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/lpo.mli > algos/lpo.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/lpo.cmi algos/lpo.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/rewrite.ml > algos/rewrite.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_eq.cmx core/ext_eq.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/inst.cmx core/inst.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/inst.cmx core/inst.ml
- File "core/inst.ml", line 137, characters 24-42:
- 137 |   CCList.sort_uniq ~cmp:Pervasives.compare (List.map aux l @ List.map aux l')
-                               ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "core/inst.ml", lines 326-328, characters 12-54:
- 326 | ............Mapping.fold m
- 327 |         ~ty_meta:(aux Expr.Print.meta Expr.Meta.def)
- 328 |         ~term_meta:(aux Expr.Print.meta Expr.Meta.def)...
- Warning 5 [ignored-partial-application]: this function application is partial,
- maybe some arguments are missing.
- File "core/inst.ml", line 651, characters 17-21:
- 651 |   Cmdliner.Term.(pure set_opts $ n_of_inst)
-                        ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/lpo.cmx algos/lpo.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/rewrite.cmx algos/rewrite.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/heuristic.ml > algos/heuristic.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/heuristic.mli > algos/heuristic.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/heuristic.cmi algos/heuristic.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/rigid.ml > algos/rigid.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/rigid.mli > algos/rigid.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/rigid.cmi algos/rigid.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/superposition.ml > algos/superposition.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/superposition.mli > algos/superposition.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/superposition.cmi algos/superposition.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/index.ml > algos/index.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules algos/index.mli > algos/index.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/index.cmi algos/index.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/index.cmx algos/index.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_rewrite.cmx core/ext_rewrite.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_rewrite.cmx core/ext_rewrite.ml
- File "core/ext_rewrite.ml", line 824, characters 17-21:
- 824 |   Cmdliner.Term.(pure aux $ allow_mixed $ forced_mode)
-                        ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/heuristic.cmx algos/heuristic.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/rigid.cmx algos/rigid.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/superposition.cmx algos/superposition.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/superposition.cmx algos/superposition.ml
- File "algos/superposition.ml", line 224, characters 12-30:
- 224 |   | x, y -> Pervasives.compare (_discr x) (_discr y)
-                   ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "algos/superposition.ml", line 334, characters 8-24:
- 334 | let rec compute_rewrites = function
-               ^^^^^^^^^^^^^^^^
- Warning 39 [unused-rec-flag]: unused rec flag.
- File "algos/superposition.ml", line 1205, characters 33-51:
- 1205 |   let l = List.sort (fun c c' -> Pervasives.compare c.id c'.id) @@ S.elements t.clauses in
-                                         ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "algos/superposition.ml", line 271, characters 4-13:
- 271 | let debug_map fmt map =
-           ^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value debug_map.
- File "algos/superposition.ml", line 278, characters 4-11:
- 278 | let pp_hyps fmt c =
-           ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value pp_hyps.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o algos/constraints.cmx algos/constraints.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_meta.cmx core/ext_meta.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_meta.cmx core/ext_meta.ml
- File "core/ext_meta.ml", line 557, characters 17-21:
- 557 |   Cmdliner.Term.(pure set_opts $ ignore_list $ heuristic $
-                        ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_functions.ml > core/ext_functions.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_functions.mli > core/ext_functions.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_functions.cmi core/ext_functions.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_logic.ml > core/ext_logic.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_logic.mli > core/ext_logic.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_logic.cmi core/ext_logic.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_prenex.ml > core/ext_prenex.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_prenex.mli > core/ext_prenex.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_prenex.cmi core/ext_prenex.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_prop.ml > core/ext_prop.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_prop.mli > core/ext_prop.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_prop.cmi core/ext_prop.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_skolem.ml > core/ext_skolem.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules core/ext_skolem.mli > core/ext_skolem.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_skolem.cmi core/ext_skolem.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/prove.ml > proof/prove.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/resolution.ml > proof/resolution.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/resolution.mli > proof/resolution.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/resolution.cmi proof/resolution.mli
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/unsat_core.ml > proof/unsat_core.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules proof/unsat_core.mli > proof/unsat_core.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/unsat_core.cmi proof/unsat_core.mli
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/resolution.cmx proof/resolution.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/unsat_core.cmx proof/unsat_core.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/unsat_core.cmx proof/unsat_core.ml
- File "proof/unsat_core.ml", line 36, characters 16-34:
- 36 |       | a, b -> Pervasives.compare (discr a) (discr b)
-                      ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I proof -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I test -I util -o proof/prove.cmx proof/prove.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_arith.cmx core/ext_arith.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_array.cmx core/ext_array.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_array.cmx core/ext_array.ml
- File "core/ext_array.ml", line 117, characters 17-21:
- 117 |   Cmdliner.Term.(pure aux $ mode)
-                        ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- File "core/ext_array.ml", line 26, characters 12-16:
- 26 | type info = TODO
-                  ^^^^
- Warning 37 [unused-constructor]: unused constructor TODO.
- File "core/ext_array.ml", line 28, characters 30-43:
- 28 | type Dispatcher.lemma_info += Array of info
-                                    ^^^^^^^^^^^^^
- Warning 38 [unused-extension]: unused extension constructor Array
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_constraints.cmx core/ext_constraints.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_constraints.cmx core/ext_constraints.ml
- File "core/ext_constraints.ml", line 216, characters 17-21:
- 216 |   Cmdliner.Term.(pure aux $ kind $ dot)
-                        ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_functions.cmx core/ext_functions.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_logic.cmx core/ext_logic.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_prenex.cmx core/ext_prenex.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_prop.cmx core/ext_prop.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_skolem.cmx core/ext_skolem.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext_skolem.cmx core/ext_skolem.ml
- File "core/ext_skolem.ml", line 327, characters 17-21:
- 327 |   Cmdliner.Term.(pure set_opts $ kind)
-                        ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules output/out.ml > output/out.ml.depends
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules output/std.ml > output/std.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -w K -w X -w Y -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/std.cmo output/std.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules output/szs.ml > output/szs.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -w K -w X -w Y -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/szs.cmo output/szs.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/std.cmx output/std.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/szs.cmx output/szs.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules middle/pipe.ml > middle/pipe.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/export.cmx output/export.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/export.cmx output/export.ml
- File "output/export.ml", line 3, characters 4-11:
- 3 | let section = Section.make "export"
-         ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value section.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I output -I algos -I base -I core -I debug -I input -I middle -I misc -I proof -I test -I util -o output/out.cmx output/out.ml
- + ocamlfind ocamldep -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules middle/pipeline.ml > middle/pipeline.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I core -I algos -I base -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o core/ext.cmx core/ext.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I middle -I algos -I base -I core -I debug -I input -I misc -I output -I proof -I test -I util -o middle/pipe.cmx middle/pipe.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I middle -I algos -I base -I core -I debug -I input -I misc -I output -I proof -I test -I util -o middle/pipe.cmx middle/pipe.ml
- File "middle/pipe.ml", line 243, characters 2-18:
- 243 |   CCList.sort_uniq Dolmen.Id.compare (List.flatten l')
-         ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cmp was omitted in the application of this function.
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I middle -I algos -I base -I core -I debug -I input -I misc -I output -I proof -I test -I util -o middle/pipeline.cmx middle/pipeline.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o main.cmx main.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I test -I util -o main.cmx main.ml
- File "main.ml", line 13, characters 28-32:
- 13 |   let info = Cmdliner.Term.(info ~sdocs:Options.copts_sect ~man ~version:"0.1" "archsat") in
-                                  ^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "main.ml", line 15, characters 6-10:
- 15 |       pure (fun () () x -> x)
-            ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- File "main.ml", line 20, characters 18-36:
- 20 |   let opt = match Cmdliner.Term.eval (opts, info) with
-                        ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- + ocamlfind ocamlopt -linkpkg -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -I debug -I misc -I util -I algos -I base -I proof -I input -I middle -I core -I output debug/level.cmx misc/printBox.cmx debug/section.cmx util/util.cmx util/backtrack.cmx algos/closure.cmx algos/constraints.cmx base/pretty.cmx base/sig.cmx base/tag.cmx base/expr.cmx base/mapping.cmx algos/heuristic.cmx algos/match.cmx algos/synth.cmx proof/term.cmx algos/unif.cmx base/position.cmx debug/stats.cmx algos/index.cmx util/comparison.cmx algos/lpo.cmx base/type.cmx input/in.cmx middle/extension_intf.cmx middle/extension.cmx input/semantics.cmx base/builtin.cmx algos/rewrite.cmx algos/rigid.cmx algos/superposition.cmx core/dispatcher.cmx core/solver.cmx core/ext_arith.cmx input/options.cmx core/ext_array.cmx util/escape.cmx proof/coq.cmx proof/dedukti.cmx proof/dot.cmx proof/proof.cmx proof/logic.cmx proof/eq.cmx core/ext_eq.cmx core/ext_stats.cmx proof/quant.cmx core/inst.cmx core/ext_rewrite.cmx core/ext_meta.cmx core/ext_constraints.cmx core/ext_functions.cmx core/ext_logic.cmx core/ext_prenex.cmx core/ext_prop.cmx proof/resolution.cmx proof/unsat_core.cmx proof/prove.cmx core/ext_skolem.cmx core/ext.cmx output/tptp.cmx output/export.cmx output/std.cmx output/szs.cmx output/out.cmx middle/pipe.cmx middle/pipeline.cmx main.cmx -o main.native
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1/src'
- cp src/main.native archsat
Processing  2/4: [archsat: make test]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "test" (CWD=/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1)
- RUN API tests
- make -C src test
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1/src'
- ocamlbuild -log build.log  -use-ocamlfind run_test.native
- + ocamlfind ocamlc -config
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/run_test.ml > test/run_test.ml.depends
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/closure_test.mli > test/closure_test.mli.depends
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/index_test.mli > test/index_test.mli.depends
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/match_test.mli > test/match_test.mli.depends
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/misc_test.mli > test/misc_test.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/misc_test.cmi test/misc_test.mli
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/meta_test.mli > test/meta_test.mli.depends
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/unif_test.mli > test/unif_test.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/closure_test.cmi test/closure_test.mli
- + ocamlfind ocamlc -c -bin-annot -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/index_test.cmi test/index_test.mli
- + ocamlfind ocamlc -c -bin-annot -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/match_test.cmi test/match_test.mli
- + ocamlfind ocamlc -c -bin-annot -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/meta_test.cmi test/meta_test.mli
- + ocamlfind ocamlc -c -bin-annot -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/unif_test.cmi test/unif_test.mli
- + ocamlfind ocamlc -c -g -bin-annot -w K -w X -w Y -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/run_test.cmo test/run_test.ml
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/closure_test.ml > test/closure_test.ml.depends
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/expr_test.ml > test/expr_test.ml.depends
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/expr_test.mli > test/expr_test.mli.depends
- + ocamlfind ocamlc -c -bin-annot -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/expr_test.cmi test/expr_test.mli
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/misc_test.ml > test/misc_test.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/misc_test.cmx test/misc_test.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/misc_test.cmx test/misc_test.ml
- File "test/misc_test.ml", line 56, characters 5-14:
- 56 |   G.(shuffle_l l >>= fun l ->
-           ^^^^^^^^^
- Alert deprecated: Infix.G.shuffle_l
- Use [shuffle_list] instead
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/expr_test.cmx test/expr_test.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/expr_test.cmx test/expr_test.ml
- File "test/expr_test.ml", line 146, characters 15-23:
- 146 |     let base = G.oneofl [ C.type_a; C.type_b; C.type_prop; ] in
-                      ^^^^^^^^
- Alert deprecated: Misc_test.Infix.G.oneofl
- Use [oneof_list] instead
- File "test/expr_test.ml", line 150, characters 10-21:
- 150 |           G.frequency [
-                 ^^^^^^^^^^^
- Alert deprecated: Misc_test.Infix.G.frequency
- Use [oneof_weighted] instead
- File "test/expr_test.ml", line 302, characters 7-17:
- 302 |     G.(frequencyl l4 >>= (fun x ->
-              ^^^^^^^^^^
- Alert deprecated: Misc_test.Infix.G.frequencyl
- Use [oneof_list_weighted] instead
- File "test/expr_test.ml", line 468, characters 10-21:
- 468 |           G.frequency [
-                 ^^^^^^^^^^^
- Alert deprecated: Misc_test.Infix.G.frequency
- Use [oneof_weighted] instead
- File "test/expr_test.ml", line 473, characters 10-21:
- 473 |           G.frequency [
-                 ^^^^^^^^^^^
- Alert deprecated: Misc_test.Infix.G.frequency
- Use [oneof_weighted] instead
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/index_test.ml > test/index_test.ml.depends
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/match_test.ml > test/match_test.ml.depends
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/meta_test.ml > test/meta_test.ml.depends
- + ocamlfind ocamldep -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -modules test/unif_test.ml > test/unif_test.ml.depends
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/unif_test.cmx test/unif_test.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/closure_test.cmx test/closure_test.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/closure_test.cmx test/closure_test.ml
- File "test/closure_test.ml", line 37, characters 6-15:
- 37 |       shuffle_l (l @ l')
-            ^^^^^^^^^
- Alert deprecated: QCheck.Gen.shuffle_l
- Use [shuffle_list] instead
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/index_test.cmx test/index_test.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/match_test.cmx test/match_test.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/meta_test.cmx test/meta_test.ml
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/meta_test.cmx test/meta_test.ml
- File "test/meta_test.ml", line 25, characters 21-33:
- 25 |                     (list_of_size (G.oneofl [0;1])
-                           ^^^^^^^^^^^^
- Alert deprecated: QCheck.list_of_size
- Use [list_size] instead
- File "test/meta_test.ml", line 25, characters 35-43:
- 25 |                     (list_of_size (G.oneofl [0;1])
-                                         ^^^^^^^^
- Alert deprecated: Misc_test.Infix.G.oneofl
- Use [oneof_list] instead
- File "test/meta_test.ml", line 28, characters 21-33:
- 28 |                     (list_of_size (G.oneofl [0;1])
-                           ^^^^^^^^^^^^
- Alert deprecated: QCheck.list_of_size
- Use [list_size] instead
- File "test/meta_test.ml", line 28, characters 35-43:
- 28 |                     (list_of_size (G.oneofl [0;1])
-                                         ^^^^^^^^
- Alert deprecated: Misc_test.Infix.G.oneofl
- Use [oneof_list] instead
- File "test/meta_test.ml", line 31, characters 21-33:
- 31 |                     (list_of_size (G.oneofl [0;1]) @@ Unif_test.pair_sized G.(1 -- 100))
-                           ^^^^^^^^^^^^
- Alert deprecated: QCheck.list_of_size
- Use [list_size] instead
- File "test/meta_test.ml", line 31, characters 35-43:
- 31 |                     (list_of_size (G.oneofl [0;1]) @@ Unif_test.pair_sized G.(1 -- 100))
-                                         ^^^^^^^^
- Alert deprecated: Misc_test.Infix.G.oneofl
- Use [oneof_list] instead
- + ocamlfind ocamlopt -c -g -bin-annot -w K -w X -w Y -unbox-closures -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -for-pack Archsat -w -58 -inline 100 -O3 -unbox-closures-factor 20 -color always -I test -I algos -I base -I core -I debug -I input -I middle -I misc -I output -I proof -I util -o test/run_test.cmx test/run_test.ml
- + ocamlfind ocamlopt -linkpkg -package qcheck -package unix -package zarith -package msat -package cmdliner -package ocamlgraph -package containers -package containers.data -package dolmen -package iter -package gen -package mtime -package mtime.clock -package mtime.clock.os -package spelll -package uucp -package uutf -I debug -I misc -I util -I algos -I base -I proof -I input -I middle -I core -I test debug/level.cmx misc/printBox.cmx debug/section.cmx util/util.cmx util/backtrack.cmx algos/closure.cmx base/pretty.cmx base/sig.cmx base/tag.cmx base/expr.cmx base/mapping.cmx algos/heuristic.cmx algos/match.cmx algos/synth.cmx proof/term.cmx algos/unif.cmx base/position.cmx debug/stats.cmx algos/index.cmx util/comparison.cmx algos/lpo.cmx base/type.cmx input/in.cmx middle/extension_intf.cmx middle/extension.cmx input/semantics.cmx base/builtin.cmx algos/rewrite.cmx algos/rigid.cmx algos/superposition.cmx core/dispatcher.cmx core/solver.cmx input/options.cmx util/escape.cmx proof/coq.cmx proof/dedukti.cmx proof/dot.cmx proof/proof.cmx proof/logic.cmx proof/eq.cmx core/ext_eq.cmx core/ext_stats.cmx proof/quant.cmx core/inst.cmx core/ext_rewrite.cmx core/ext_meta.cmx test/misc_test.cmx test/expr_test.cmx test/closure_test.cmx test/index_test.cmx test/match_test.cmx test/unif_test.cmx test/meta_test.cmx test/run_test.cmx -o test/run_test.native
- ./run_test.native -bt --colors --verbose | tee qcheck.log
- 
random seed: 127541162
- generated error fail pass / total     time test name
- 
[ ]    0    0    0    0 /  100     0.0s fixpoint_occur
[✓]  119    0    0  100 /  100     0.1s fixpoint_occur
- 
[ ]    0    0    0    0 /  100     0.0s fixpoint_is_proj
[✓]  119    0    0  100 /  100     0.1s fixpoint_is_proj
- 
[ ]    0    0    0    0 /   30     0.0s robinson_subst
[ ]  111    0    0   15 /   30     0.1s robinson_subst (collecting)
[✓]  226    0    0   30 /   30     0.2s robinson_subst
- 
[ ]    0    0    0    0 /  100     0.0s subst_robinson
[✓]  121    0    0  100 /  100     0.1s subst_robinson
- 
[ ]    0    0    0    0 /   30     0.0s match_subst
[ ]  111    0    0   11 /   30     0.1s match_subst (collecting)
[✓]  230    0    0   19 /   30     0.2s match_subst
- 
[ ]    0    0    0    0 /  100     0.0s subst_match
- 
[✓]  100    0    0  100 /  100     0.1s subst_match
- 
[ ]    0    0    0    0 /   10     0.0s naive_correct_equal
[ ]    4    0    0    4 /   10     0.4s naive_correct_equal (collecting)
[ ]    6    0    0    6 /   10     0.5s naive_correct_equal (collecting)
[✓]   10    0    0   10 /   10     0.6s naive_correct_equal
- 
[ ]    0    0    0    0 /   10     0.0s naive_correct_match
- 
[ ]    4    0    0    4 /   10     0.4s naive_correct_match (collecting)
[ ]    6    0    0    6 /   10     0.5s naive_correct_match (collecting)
[✓]   10    0    0   10 /   10     0.6s naive_correct_match
- 
[ ]    0    0    0    0 /   10     0.0s naive_correct_unify
[ ]    2    0    0    2 /   10     0.4s naive_correct_unify (collecting)
[ ]    4    0    0    4 /   10     0.7s naive_correct_unify (collecting)
- 
[✓]   10    0    0   10 /   10     0.8s naive_correct_unify
- 
[ ]    0    0    0    0 /   10     0.0s index_correct_equal
[ ]    3    0    0    3 /   10     0.1s index_correct_equal (collecting)
[ ]    4    0    0    4 /   10     0.4s index_correct_equal (collecting)
[ ]    6    0    0    6 /   10     0.5s index_correct_equal (collecting)
[✓]   10    0    0   10 /   10     0.6s index_correct_equal
- 
[ ]    0    0    0    0 /   10     0.0s index_correct_match
[ ]    3    0    0    3 /   10     0.1s index_correct_match (collecting)
- 
[ ]    4    0    0    4 /   10     0.4s index_correct_match (collecting)
[ ]    6    0    0    6 /   10     0.5s index_correct_match (collecting)
[✓]   10    0    0   10 /   10     0.6s index_correct_match
- 
[ ]    0    0    0    0 /   10     0.0s index_correct_unify
[ ]    2    0    0    2 /   10     0.3s index_correct_unify (collecting)
[ ]    4    0    0    4 /   10     0.7s index_correct_unify (collecting)
[✓]   10    0    0   10 /   10     0.7s index_correct_unify
- 
[ ]    0    0    0    0 /   10     0.0s fingerprint_correct_equal
- 
[ ]    3    0    0    3 /   10     0.1s fingerprint_correct_equal (collecting)
[ ]    4    0    0    4 /   10     0.4s fingerprint_correct_equal (collecting)
[ ]    6    0    0    6 /   10     0.5s fingerprint_correct_equal (collecting)
[✓]   10    0    0   10 /   10     0.6s fingerprint_correct_equal
- 
[ ]    0    0    0    0 /   10     0.0s fingerprint_correct_match
[ ]    4    0    0    4 /   10     0.4s fingerprint_correct_match (collecting)
- 
[ ]    8    0    0    8 /   10     0.6s fingerprint_correct_match (collecting)
[✓]   10    0    0   10 /   10     0.6s fingerprint_correct_match
- 
[ ]    0    0    0    0 /   10     0.0s fingerprint_correct_unify
[ ]    2    0    0    2 /   10     0.3s fingerprint_correct_unify (collecting)
[ ]    4    0    0    4 /   10     0.7s fingerprint_correct_unify (collecting)
[✓]   10    0    0   10 /   10     0.7s fingerprint_correct_unify
- 
[ ]    0    0    0    0 /   10     0.0s index_complete_equal
- 
[ ]    4    0    0    4 /   10     0.4s index_complete_equal (collecting)
[ ]    6    0    0    6 /   10     0.5s index_complete_equal (collecting)
[✓]   10    0    0   10 /   10     0.6s index_complete_equal
- 
[ ]    0    0    0    0 /   10     0.0s index_complete_match
[ ]    4    0    0    4 /   10     0.4s index_complete_match (collecting)
[ ]    6    0    0    6 /   10     0.5s index_complete_match (collecting)
[✓]   10    0    0   10 /   10     0.6s index_complete_match
- 
[ ]    0    0    0    0 /   10     0.0s index_complete_unify
- 
[ ]    2    0    0    2 /   10     0.3s index_complete_unify (collecting)
[ ]    4    0    0    4 /   10     0.7s index_complete_unify (collecting)
[✓]   10    0    0   10 /   10     0.7s index_complete_unify
- 
[ ]    0    0    0    0 /   10     0.0s fingerprint_complete_equal
[ ]    4    0    0    4 /   10     0.4s fingerprint_complete_equal (collecting)
- 
[ ]    6    0    0    6 /   10     0.5s fingerprint_complete_equal (collecting)
[✓]   10    0    0   10 /   10     0.6s fingerprint_complete_equal
- 
[ ]    0    0    0    0 /   10     0.0s fingerprint_complete_match
[ ]    4    0    0    4 /   10     0.4s fingerprint_complete_match (collecting)
[ ]    6    0    0    6 /   10     0.5s fingerprint_complete_match (collecting)
[✓]   10    0    0   10 /   10     0.6s fingerprint_complete_match
- 
[ ]    0    0    0    0 /   10     0.0s fingerprint_complete_unify
- 
[ ]    2    0    0    2 /   10     0.4s fingerprint_complete_unify (collecting)
[ ]    4    0    0    4 /   10     0.7s fingerprint_complete_unify (collecting)
[✓]   10    0    0   10 /   10     0.7s fingerprint_complete_unify
- 
[ ]    0    0    0    0 /    1     0.0s closure_sat
[ ]    4    0    0    0 /    1     0.3s closure_sat (collecting)
[ ]    7    0    0    0 /    1     0.5s closure_sat (collecting)
- 
[ ]    8    0    0    0 /    1     0.6s closure_sat (collecting)
[✓]   12    0    0    1 /    1     0.6s closure_sat
- 
[ ]    0    0    0    0 /   10     0.0s closure_unsat
[ ]    4    0    0    4 /   10     0.3s closure_unsat (collecting)
[ ]    7    0    0    7 /   10     0.4s closure_unsat
[ ]    8    0    0    8 /   10     0.6s closure_unsat (collecting)
[✓]   10    0    0   10 /   10     0.6s closure_unsat
- 
[ ]    0    0    0    0 /   10     0.0s closure_check
- 
[ ]    4    0    0    4 /   10     0.3s closure_check (collecting)
[ ]    7    0    0    7 /   10     0.4s closure_check
[ ]    8    0    0    8 /   10     0.6s closure_check (collecting)
[✓]   10    0    0   10 /   10     0.6s closure_check
- 
[ ]    0    0    0    0 /   10     0.0s cached_robinson
[✓]   10    0    0   10 /   10     0.0s cached_robinson
- 
[ ]    0    0    0    0 /   10     0.0s super_each_simplif
[✓]   10    0    0   10 /   10     0.0s super_each_simplif
- 
[ ]    0    0    0    0 /   10     0.0s super_each_no_simplif
[✓]   10    0    0   10 /   10     0.0s super_each_no_simplif
- 
[ ]    0    0    0    0 /   10     0.0s super_all_simplif
[✓]   10    0    0   10 /   10     0.0s super_all_simplif
- 
[ ]    0    0    0    0 /   10     0.0s super_all_no_simplif
[✓]   10    0    0   10 /   10     0.0s super_all_no_simplif
- ================================================================================
- success (ran 29 tests)
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1/src'
- make -C src bin
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1/src'
- ocamlbuild -log build.log  -use-ocamlfind main.native
- + ocamlfind ocamlc -config
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1/src'
- cp src/main.native archsat
- cd static && make
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1/static'
- echo "Skipping dependency analysis"
- Skipping dependency analysis
- echo "Skipping compilation of logic.dk"
- Skipping compilation of logic.dk
- echo "Skipping compilation of classical.dk"
- Skipping compilation of classical.dk
- echo "Skipping compilation of epsilon.dk"
- Skipping compilation of epsilon.dk
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1/static'
- run BIN tests…
- -ne 
[  ] [parsing/syntax] -- SYN000+1.p
- -ne 
[  ] [parsing/syntax] -- SYN000+2.p
- -ne 
[  ] [parsing/syntax] -- SYN000-1.p
- -ne 
[  ] [parsing/syntax] -- SYN000-2.p
- -ne 
[  ] [parsing/syntax] -- SYN000=2.p
- -ne 
[  ] [parsing/syntax] -- SYN000^1.p
- -ne 
[  ] [parsing/syntax] -- SYN000^2.p
- -ne 
[  ] [parsing/syntax] -- SYN000_1.p
- -ne 
[  ] [parsing/syntax] -- SYN000_2.p
- -e 
[OK] [parsing/syntax]
- -ne 
[  ] [parsing/include] -- test_1.p
- -ne 
[  ] [parsing/include] -- test_2.p
- -ne 
[  ] [parsing/include] -- test_3.p
- -e 
[OK] [parsing/include]
- -ne 
[  ] [typing/standard] -- unify_01.zf
- -e 
[OK] [typing/standard]
- -ne 
[  ] [solve/cnf] -- clause_1.cnf
- -ne 
[  ] [solve/cnf] -- clause_2.cnf
- -e 
[OK] [solve/cnf]
- -ne 
[  ] [solve/logic] -- and_1.smt2
- -ne 
[  ] [solve/logic] -- and_2.smt2
- -ne 
[  ] [solve/logic] -- and_3.smt2
- -ne 
[  ] [solve/logic] -- and_4.smt2
- -ne 
[  ] [solve/logic] -- and_5.smt2
- -ne 
[  ] [solve/logic] -- equiv_1.p
- -ne 
[  ] [solve/logic] -- equiv_2.p
- -ne 
[  ] [solve/logic] -- imply_1.smt2
- -ne 
[  ] [solve/logic] -- imply_2.smt2
- -ne 
[  ] [solve/logic] -- imply_3.smt2
- -ne 
[  ] [solve/logic] -- imply_4.smt2
- -ne 
[  ] [solve/logic] -- imply_5.smt2
- -ne 
[  ] [solve/logic] -- imply_6.smt2
- -ne 
[  ] [solve/logic] -- imply_7.smt2
- -ne 
[  ] [solve/logic] -- imply_8.smt2
- -ne 
[  ] [solve/logic] -- not-and_1.smt2
- -ne 
[  ] [solve/logic] -- not-and_2.smt2
- -ne 
[  ] [solve/logic] -- not-and_3.smt2
- -ne 
[  ] [solve/logic] -- not-and_4.smt2
- -ne 
[  ] [solve/logic] -- not-and_5.smt2
- -ne 
[  ] [solve/logic] -- not-equiv_1.p
- -ne 
[  ] [solve/logic] -- not-equiv_2.p
- -ne 
[  ] [solve/logic] -- not-imply_1.smt2
- -ne 
[  ] [solve/logic] -- not-imply_2.smt2
- -ne 
[  ] [solve/logic] -- not-imply_3.smt2
- -ne 
[  ] [solve/logic] -- not-imply_4.smt2
- -ne 
[  ] [solve/logic] -- not-or_1.smt2
- -ne 
[  ] [solve/logic] -- not-or_2.smt2
- -ne 
[  ] [solve/logic] -- not-or_3.smt2
- -ne 
[  ] [solve/logic] -- not-or_4.smt2
- -ne 
[  ] [solve/logic] -- not-or_5.smt2
- -ne 
[  ] [solve/logic] -- or_1.smt2
- -ne 
[  ] [solve/logic] -- or_2.smt2
- -ne 
[  ] [solve/logic] -- or_3.smt2
- -ne 
[  ] [solve/logic] -- or_4.smt2
- -ne 
[  ] [solve/logic] -- or_5.smt2
- -e 
[OK] [solve/logic]
- -ne 
[  ] [solve/equality] -- eq-fun_1.smt2
- -ne 
[  ] [solve/equality] -- eq-fun_2.smt2
- -ne 
[  ] [solve/equality] -- eq-fun_3.smt2
- -ne 
[  ] [solve/equality] -- eq-fun_4.smt2
- -ne 
[  ] [solve/equality] -- eq-fun_5.smt2
- -ne 
[  ] [solve/equality] -- eq-fun_6.smt2
- -ne 
[  ] [solve/equality] -- eq-pred_1.smt2
- -ne 
[  ] [solve/equality] -- eq-refl_1.smt2
- -ne 
[  ] [solve/equality] -- eq-sym_1.smt2
- -ne 
[  ] [solve/equality] -- eq-sym_2.p
- -ne 
[  ] [solve/equality] -- eq-trans_1.smt2
- -ne 
[  ] [solve/equality] -- eq-trans_2.smt2
- -ne 
[  ] [solve/equality] -- eq-trans_3.smt2
- -e 
[OK] [solve/equality]
- -ne 
[  ] [solve/quant] -- exists_1.p
- -ne 
[  ] [solve/quant] -- exists_2.p
- -ne 
[  ] [solve/quant] -- exists_3.p
- -ne 
[  ] [solve/quant] -- exists_4.p
- -ne 
[  ] [solve/quant] -- exists_5.p
- -ne 
[  ] [solve/quant] -- exists_6.p
- -ne 
[  ] [solve/quant] -- forall_1.p
- -ne 
[  ] [solve/quant] -- forall_2.p
- -ne 
[  ] [solve/quant] -- forall_3.p
- -ne 
[  ] [solve/quant] -- forall_4.p
- -ne 
[  ] [solve/quant] -- forall_5.p
- -ne 
[  ] [solve/quant] -- forall_6.p
- -ne 
[  ] [solve/quant] -- forall_7.p
- -ne 
[  ] [solve/quant] -- inst_1.p
- -ne 
[  ] [solve/quant] -- inst_2.p
- -ne 
[  ] [solve/quant] -- inst_3.p
- -ne 
[  ] [solve/quant] -- inst_4.p
- -ne 
[  ] [solve/quant] -- inst_5.p
- -ne 
[  ] [solve/quant] -- inst_6.p
- -ne 
[  ] [solve/quant] -- not-exists_1.p
- -ne 
[  ] [solve/quant] -- not-exists_2.p
- -ne 
[  ] [solve/quant] -- not-exists_3.p
- -ne 
[  ] [solve/quant] -- not-exists_4.p
- -ne 
[  ] [solve/quant] -- not-exists_5.p
- -ne 
[  ] [solve/quant] -- not-exists_6.p
- -ne 
[  ] [solve/quant] -- not-forall_1.p
- -ne 
[  ] [solve/quant] -- not-forall_2.p
- -ne 
[  ] [solve/quant] -- not-forall_3.p
- -e 
[OK] [solve/quant]
- -ne 
[  ] [solve/poly] -- exists_1.p
- -ne 
[  ] [solve/poly] -- exists_2.p
- -ne 
[  ] [solve/poly] -- forall_1.p
- -ne 
[  ] [solve/poly] -- forall_2.p
- -ne 
[  ] [solve/poly] -- not-exists_1.p
- -ne 
[  ] [solve/poly] -- not-exists_2.p
- -ne 
[  ] [solve/poly] -- not-forall_1.p
- -ne 
[  ] [solve/poly] -- not-forall_2.p
- -e 
[OK] [solve/poly]
- -ne 
[  ] [solve/rewriting] -- array_get_1.zf
- -ne 
[  ] [solve/rewriting] -- array_get_2.zf
- -ne 
[  ] [solve/rewriting] -- array_get_3.zf
- -ne 
[  ] [solve/rewriting] -- diff_empty.zf
- -ne 
[  ] [solve/rewriting] -- eq_1.zf
- -ne 
[  ] [solve/rewriting] -- eq_2.zf
- -ne 
[  ] [solve/rewriting] -- list1.smt2
- -ne 
[  ] [solve/rewriting] -- subset_reflexivity.zf
- -e 
[OK] [solve/rewriting]
- -ne 
[  ] [solve/bugs] -- eq_diamond2.smt2
- -ne 
[  ] [solve/bugs] -- eq_diamond20.smt2
- -ne 
[  ] [solve/bugs] -- list_poly.p
- -ne 
[  ] [solve/bugs] -- list1.smt2
- -e 
[OK] [solve/bugs]
- -ne 
[  ] [prove/cnf] -- coq -- skipping clause_1.cnf
- -ne 
[  ] [prove/cnf] -- coq -- skipping clause_2.cnf
- -ne 
[  ] [prove/cnf] -- dk -- skipping clause_1.cnf
- -ne 
[  ] [prove/cnf] -- dk -- skipping clause_2.cnf
- -e 
[OK] [prove/cnf]
- -ne 
[  ] [prove/logic] -- coq -- skipping and_1.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping and_2.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping and_3.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping and_4.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping and_5.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping equiv_1.p
- -ne 
[  ] [prove/logic] -- coq -- skipping equiv_2.p
- -ne 
[  ] [prove/logic] -- coq -- skipping imply_1.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping imply_2.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping imply_3.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping imply_4.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping imply_5.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping imply_6.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping imply_7.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping imply_8.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-and_1.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-and_2.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-and_3.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-and_4.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-and_5.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-equiv_1.p
- -ne 
[  ] [prove/logic] -- coq -- skipping not-equiv_2.p
- -ne 
[  ] [prove/logic] -- coq -- skipping not-imply_1.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-imply_2.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-imply_3.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-imply_4.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-or_1.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-or_2.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-or_3.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-or_4.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping not-or_5.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping or_1.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping or_2.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping or_3.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping or_4.smt2
- -ne 
[  ] [prove/logic] -- coq -- skipping or_5.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping and_1.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping and_2.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping and_3.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping and_4.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping and_5.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping equiv_1.p
- -ne 
[  ] [prove/logic] -- dk -- skipping equiv_2.p
- -ne 
[  ] [prove/logic] -- dk -- skipping imply_1.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping imply_2.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping imply_3.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping imply_4.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping imply_5.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping imply_6.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping imply_7.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping imply_8.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-and_1.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-and_2.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-and_3.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-and_4.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-and_5.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-equiv_1.p
- -ne 
[  ] [prove/logic] -- dk -- skipping not-equiv_2.p
- -ne 
[  ] [prove/logic] -- dk -- skipping not-imply_1.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-imply_2.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-imply_3.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-imply_4.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-or_1.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-or_2.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-or_3.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-or_4.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping not-or_5.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping or_1.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping or_2.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping or_3.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping or_4.smt2
- -ne 
[  ] [prove/logic] -- dk -- skipping or_5.smt2
- -e 
[OK] [prove/logic]
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-fun_1.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-fun_2.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-fun_3.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-fun_4.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-fun_5.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-fun_6.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-pred_1.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-refl_1.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-sym_1.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-sym_2.p
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-trans_1.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-trans_2.smt2
- -ne 
[  ] [prove/equality] -- coq -- skipping eq-trans_3.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-fun_1.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-fun_2.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-fun_3.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-fun_4.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-fun_5.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-fun_6.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-pred_1.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-refl_1.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-sym_1.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-sym_2.p
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-trans_1.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-trans_2.smt2
- -ne 
[  ] [prove/equality] -- dk -- skipping eq-trans_3.smt2
- -e 
[OK] [prove/equality]
- -ne 
[  ] [prove/quant] -- coq -- skipping exists_1.p
- -ne 
[  ] [prove/quant] -- coq -- skipping exists_2.p
- -ne 
[  ] [prove/quant] -- coq -- skipping exists_3.p
- -ne 
[  ] [prove/quant] -- coq -- skipping exists_4.p
- -ne 
[  ] [prove/quant] -- coq -- skipping exists_5.p
- -ne 
[  ] [prove/quant] -- coq -- skipping exists_6.p
- -ne 
[  ] [prove/quant] -- coq -- skipping forall_1.p
- -ne 
[  ] [prove/quant] -- coq -- skipping forall_2.p
- -ne 
[  ] [prove/quant] -- coq -- skipping forall_3.p
- -ne 
[  ] [prove/quant] -- coq -- skipping forall_4.p
- -ne 
[  ] [prove/quant] -- coq -- skipping forall_5.p
- -ne 
[  ] [prove/quant] -- coq -- skipping forall_6.p
- -ne 
[  ] [prove/quant] -- coq -- skipping forall_7.p
- -ne 
[  ] [prove/quant] -- coq -- skipping inst_1.p
- -ne 
[  ] [prove/quant] -- coq -- skipping inst_2.p
- -ne 
[  ] [prove/quant] -- coq -- skipping inst_3.p
- -ne 
[  ] [prove/quant] -- coq -- skipping inst_4.p
- -ne 
[  ] [prove/quant] -- coq -- skipping inst_5.p
- -ne 
[  ] [prove/quant] -- coq -- skipping inst_6.p
- -ne 
[  ] [prove/quant] -- coq -- skipping not-exists_1.p
- -ne 
[  ] [prove/quant] -- coq -- skipping not-exists_2.p
- -ne 
[  ] [prove/quant] -- coq -- skipping not-exists_3.p
- -ne 
[  ] [prove/quant] -- coq -- skipping not-exists_4.p
- -ne 
[  ] [prove/quant] -- coq -- skipping not-exists_5.p
- -ne 
[  ] [prove/quant] -- coq -- skipping not-exists_6.p
- -ne 
[  ] [prove/quant] -- coq -- skipping not-forall_1.p
- -ne 
[  ] [prove/quant] -- coq -- skipping not-forall_2.p
- -ne 
[  ] [prove/quant] -- coq -- skipping not-forall_3.p
- -ne 
[  ] [prove/quant] -- dk -- skipping exists_1.p
- -ne 
[  ] [prove/quant] -- dk -- skipping exists_2.p
- -ne 
[  ] [prove/quant] -- dk -- skipping exists_3.p
- -ne 
[  ] [prove/quant] -- dk -- skipping exists_4.p
- -ne 
[  ] [prove/quant] -- dk -- skipping exists_5.p
- -ne 
[  ] [prove/quant] -- dk -- skipping exists_6.p
- -ne 
[  ] [prove/quant] -- dk -- skipping forall_1.p
- -ne 
[  ] [prove/quant] -- dk -- skipping forall_2.p
- -ne 
[  ] [prove/quant] -- dk -- skipping forall_3.p
- -ne 
[  ] [prove/quant] -- dk -- skipping forall_4.p
- -ne 
[  ] [prove/quant] -- dk -- skipping forall_5.p
- -ne 
[  ] [prove/quant] -- dk -- skipping forall_6.p
- -ne 
[  ] [prove/quant] -- dk -- skipping forall_7.p
- -ne 
[  ] [prove/quant] -- dk -- skipping inst_1.p
- -ne 
[  ] [prove/quant] -- dk -- skipping inst_2.p
- -ne 
[  ] [prove/quant] -- dk -- skipping inst_3.p
- -ne 
[  ] [prove/quant] -- dk -- skipping inst_4.p
- -ne 
[  ] [prove/quant] -- dk -- skipping inst_5.p
- -ne 
[  ] [prove/quant] -- dk -- skipping inst_6.p
- -ne 
[  ] [prove/quant] -- dk -- skipping not-exists_1.p
- -ne 
[  ] [prove/quant] -- dk -- skipping not-exists_2.p
- -ne 
[  ] [prove/quant] -- dk -- skipping not-exists_3.p
- -ne 
[  ] [prove/quant] -- dk -- skipping not-exists_4.p
- -ne 
[  ] [prove/quant] -- dk -- skipping not-exists_5.p
- -ne 
[  ] [prove/quant] -- dk -- skipping not-exists_6.p
- -ne 
[  ] [prove/quant] -- dk -- skipping not-forall_1.p
- -ne 
[  ] [prove/quant] -- dk -- skipping not-forall_2.p
- -ne 
[  ] [prove/quant] -- dk -- skipping not-forall_3.p
- -e 
[OK] [prove/quant]
- -ne 
[  ] [prove/poly] -- coq -- skipping exists_1.p
- -ne 
[  ] [prove/poly] -- coq -- skipping exists_2.p
- -ne 
[  ] [prove/poly] -- coq -- skipping forall_1.p
- -ne 
[  ] [prove/poly] -- coq -- skipping forall_2.p
- -ne 
[  ] [prove/poly] -- coq -- skipping not-exists_1.p
- -ne 
[  ] [prove/poly] -- coq -- skipping not-exists_2.p
- -ne 
[  ] [prove/poly] -- coq -- skipping not-forall_1.p
- -ne 
[  ] [prove/poly] -- coq -- skipping not-forall_2.p
- -ne 
[  ] [prove/poly] -- dk -- skipping exists_1.p
- -ne 
[  ] [prove/poly] -- dk -- skipping exists_2.p
- -ne 
[  ] [prove/poly] -- dk -- skipping forall_1.p
- -ne 
[  ] [prove/poly] -- dk -- skipping forall_2.p
- -ne 
[  ] [prove/poly] -- dk -- skipping not-exists_1.p
- -ne 
[  ] [prove/poly] -- dk -- skipping not-exists_2.p
- -ne 
[  ] [prove/poly] -- dk -- skipping not-forall_1.p
- -ne 
[  ] [prove/poly] -- dk -- skipping not-forall_2.p
- -e 
[OK] [prove/poly]
- -ne 
[  ] [prove/rewriting] -- coq -- skipping array_get_1.zf
- -ne 
[  ] [prove/rewriting] -- coq -- skipping array_get_2.zf
- -ne 
[  ] [prove/rewriting] -- coq -- skipping array_get_3.zf
- -ne 
[  ] [prove/rewriting] -- coq -- skipping diff_empty.zf
- -ne 
[  ] [prove/rewriting] -- coq -- skipping eq_1.zf
- -ne 
[  ] [prove/rewriting] -- coq -- skipping eq_2.zf
- -ne 
[  ] [prove/rewriting] -- coq -- skipping list1.smt2
- -ne 
[  ] [prove/rewriting] -- coq -- skipping subset_reflexivity.zf
- -ne 
[  ] [prove/rewriting] -- dk -- skipping array_get_1.zf
- -ne 
[  ] [prove/rewriting] -- dk -- skipping array_get_2.zf
- -ne 
[  ] [prove/rewriting] -- dk -- skipping array_get_3.zf
- -ne 
[  ] [prove/rewriting] -- dk -- skipping diff_empty.zf
- -ne 
[  ] [prove/rewriting] -- dk -- skipping eq_1.zf
- -ne 
[  ] [prove/rewriting] -- dk -- skipping eq_2.zf
- -ne 
[  ] [prove/rewriting] -- dk -- skipping list1.smt2
- -ne 
[  ] [prove/rewriting] -- dk -- skipping subset_reflexivity.zf
- -e 
[OK] [prove/rewriting]
- -ne 
[  ] [prove/bugs] -- coq -- skipping eq_diamond2.smt2
- -ne 
[  ] [prove/bugs] -- dk -- skipping eq_diamond2.smt2
- -ne 
[  ] [prove/bugs] -- coq -- skipping eq_diamond20.smt2
- -ne 
[  ] [prove/bugs] -- dk -- skipping eq_diamond20.smt2
- -ne 
[  ] [prove/bugs] -- coq -- skipping list_poly.p
- -ne 
[  ] [prove/bugs] -- dk -- skipping list_poly.p
- -ne 
[  ] [prove/bugs] -- coq -- skipping list1.smt2
- -ne 
[  ] [prove/bugs] -- dk -- skipping list1.smt2
- -e 
[OK] [prove/bugs]
- make test-clean
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1'
- Cleaned tests artifact files
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1'
-> compiled  archsat.1.1
-> removed   archsat.1.1
Processing  4/4: [archsat: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "MANDIR=/home/opam/.opam/4.14/man" "BINDIR=/home/opam/.opam/4.14/bin" "SHAREDIR=/home/opam/.opam/4.14/share/archsat" "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1)
- make -C src bin
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1/src'
- ocamlbuild -log build.log  -use-ocamlfind main.native
- + ocamlfind ocamlc -config
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/archsat.1.1/src'
- cp src/main.native archsat
- ./archsat --help=groff > /home/opam/.opam/4.14/man/man1/archsat.1
- cp archsat /home/opam/.opam/4.14/bin/
-> installed archsat.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-10 21:48.24 ---> saved as "513f0e7d9007dc4bfbd9108ee82bec17cbc445043942efd2eb2c9210126a7b16"
Job succeeded
2026-04-10 21:48.28: Job succeeded