Getting StartedDocumentation
Organisationsocaml-gospelortac8b2396 ()debian-12-5.2_ppc64_opam-2.1

debian-12-5.2_ppc64_opam-2.1

Link Copied
Code Copied

Logs

Show raw logs
2024-07-29 13:57.42: New job: test ocaml-gospel/ortac https://github.com/ocaml-gospel/ortac.git#refs/heads/main (8b2396985df9921399a5c9626424fcabeba253e1) (linux-ppc64:debian-12-5.2_ppc64_opam-2.1)
Base: ocaml/opam@sha256:09204ba3bc2bdcd7b8e00c4fa52d1e94985d694b738d270f9e4f015a1c4195f7
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-gospel/ortac.git" -b "main" && cd "ortac" && git reset --hard 8b239698
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam@sha256:09204ba3bc2bdcd7b8e00c4fa52d1e94985d694b738d270f9e4f015a1c4195f7
# debian-12-5.2_ppc64_opam-2.1
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 44a281fd66344f50c411e5c5300745612282e651 || git fetch origin master) && git reset -q --hard 44a281fd66344f50c411e5c5300745612282e651 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 ortac-wrapper.opam ortac-runtime.opam ortac-runtime-qcheck-stm.opam ortac-runtime-monolith.opam ortac-qcheck-stm.opam ortac-monolith.opam ortac-examples.opam ortac-dune.opam ortac-core.opam ./
RUN opam pin add -yn ortac-wrapper.dev './' && \
    opam pin add -yn ortac-runtime.dev './' && \
    opam pin add -yn ortac-runtime-qcheck-stm.dev './' && \
    opam pin add -yn ortac-runtime-monolith.dev './' && \
    opam pin add -yn ortac-qcheck-stm.dev './' && \
    opam pin add -yn ortac-monolith.dev './' && \
    opam pin add -yn ortac-examples.dev './' && \
    opam pin add -yn ortac-dune.dev './' && \
    opam pin add -yn ortac-core.dev './'
ENV DEPS="afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.6.9 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-ppc64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.7 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.0 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.3 qcheck-stm.0.3 re.1.11.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.1 --depext-only -y ortac-wrapper.dev ortac-runtime.dev ortac-runtime-qcheck-stm.dev ortac-runtime-monolith.dev ortac-qcheck-stm.dev ortac-monolith.dev ortac-examples.dev ortac-dune.dev ortac-core.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2024-07-29 13:57.42: Using cache hint "ocaml-gospel/ortac-ocaml/opam@sha256:09204ba3bc2bdcd7b8e00c4fa52d1e94985d694b738d270f9e4f015a1c4195f7-debian-12-5.2_ppc64_opam-2.1-76fccc978b88200eaed723dfb71ce36e"
2024-07-29 13:57.42: Using OBuilder spec:
((from ocaml/opam@sha256:09204ba3bc2bdcd7b8e00c4fa52d1e94985d694b738d270f9e4f015a1c4195f7)
 (comment debian-12-5.2_ppc64_opam-2.1)
 (user (uid 1000) (gid 1000))
 (env CLICOLOR_FORCE 1)
 (env OPAMCOLOR always)
 (workdir /src)
 (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
 (run (shell "opam init --reinit -ni"))
 (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
 (workdir /src)
 (run (shell "sudo chown opam /src"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "cd ~/opam-repository && (git cat-file -e 44a281fd66344f50c411e5c5300745612282e651 || git fetch origin master) && git reset -q --hard 44a281fd66344f50c411e5c5300745612282e651 && git log --no-decorate -n1 --oneline && opam update -u"))
 (copy (src ortac-wrapper.opam ortac-runtime.opam ortac-runtime-qcheck-stm.opam ortac-runtime-monolith.opam ortac-qcheck-stm.opam ortac-monolith.opam ortac-examples.opam ortac-dune.opam ortac-core.opam)
       (dst ./))
 (run (network host)
      (shell  "opam pin add -yn ortac-wrapper.dev './' && \
             \nopam pin add -yn ortac-runtime.dev './' && \
             \nopam pin add -yn ortac-runtime-qcheck-stm.dev './' && \
             \nopam pin add -yn ortac-runtime-monolith.dev './' && \
             \nopam pin add -yn ortac-qcheck-stm.dev './' && \
             \nopam pin add -yn ortac-monolith.dev './' && \
             \nopam pin add -yn ortac-examples.dev './' && \
             \nopam pin add -yn ortac-dune.dev './' && \
             \nopam pin add -yn ortac-core.dev './'"))
 (env DEPS "afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.6.9 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-ppc64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.7 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.0 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.3 qcheck-stm.0.3 re.1.11.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14")
 (env CI true)
 (env OCAMLCI true)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ortac-wrapper.dev ortac-runtime.dev ortac-runtime-qcheck-stm.dev ortac-runtime-monolith.dev ortac-qcheck-stm.dev ortac-monolith.dev ortac-examples.dev ortac-dune.dev ortac-core.dev $DEPS"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam install $DEPS"))
 (copy (src .) (dst /src))
 (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2024-07-29 13:57.42: Waiting for resource in pool OCluster
2024-07-29 13:57.42: Waiting for worker…
2024-07-29 13:57.42: Got resource from pool OCluster
Building on orithia.caelum.ci.dev
HEAD is now at 5c719e3 Update changelog
HEAD is now at 8b23969 Merge pull request #245 from nikolaushuber/sut-as-type-inst


(from ocaml/opam@sha256:09204ba3bc2bdcd7b8e00c4fa52d1e94985d694b738d270f9e4f015a1c4195f7)
Unable to find image 'ocaml/opam@sha256:09204ba3bc2bdcd7b8e00c4fa52d1e94985d694b738d270f9e4f015a1c4195f7' locally
docker.io/ocaml/opam@sha256:09204ba3bc2bdcd7b8e00c4fa52d1e94985d694b738d270f9e4f015a1c4195f7: Pulling from ocaml/opam
2ebe64104880: Already exists
36d70bb5f38f: Pulling fs layer
a76357984f12: Pulling fs layer
4313c2b0cf63: Pulling fs layer
cd3e526cd33e: Pulling fs layer
3672606a32ef: Pulling fs layer
cd1e440e6332: Pulling fs layer
cfc79bb20113: Pulling fs layer
1715427c2363: Pulling fs layer
25c37d991e95: Pulling fs layer
57aaa5dccec9: Pulling fs layer
7542fd3da18a: Pulling fs layer
473f7c6fc05d: Pulling fs layer
79fa1e053abe: Pulling fs layer
cdd0326d90f0: Pulling fs layer
73f130b3381e: Pulling fs layer
7e2d41fce0b1: Pulling fs layer
d7b2aa295c6a: Pulling fs layer
4f4fb700ef54: Pulling fs layer
ae9856efb8c2: Pulling fs layer
3e136ed4b6c0: Pulling fs layer
ff9a2d21fbc8: Pulling fs layer
851b60ac026a: Pulling fs layer
3271a0835d68: Pulling fs layer
ea29b54d3873: Pulling fs layer
75cf3859a08b: Pulling fs layer
bbd8ebe08c5b: Pulling fs layer
43bb21cb0120: Pulling fs layer
fe1e70a6c3de: Pulling fs layer
bd65dc89789b: Pulling fs layer
1e9832fb251e: Pulling fs layer
e587250ce8d4: Pulling fs layer
d568120d6345: Pulling fs layer
bcebfdf55275: Pulling fs layer
1de0b1daae69: Pulling fs layer
5f7ff389a009: Pulling fs layer
c5c641d5d6de: Pulling fs layer
8880785a2a96: Pulling fs layer
b3adfb945feb: Pulling fs layer
8a0b6fd24128: Pulling fs layer
db958f4444e6: Pulling fs layer
5748e5a1b7cb: Pulling fs layer
7ccea4161c6a: Pulling fs layer
cd3e526cd33e: Waiting
3672606a32ef: Waiting
ea29b54d3873: Waiting
cd1e440e6332: Waiting
cfc79bb20113: Waiting
1715427c2363: Waiting
25c37d991e95: Waiting
57aaa5dccec9: Waiting
75cf3859a08b: Waiting
bbd8ebe08c5b: Waiting
7542fd3da18a: Waiting
43bb21cb0120: Waiting
fe1e70a6c3de: Waiting
473f7c6fc05d: Waiting
79fa1e053abe: Waiting
bd65dc89789b: Waiting
1e9832fb251e: Waiting
cdd0326d90f0: Waiting
73f130b3381e: Waiting
e587250ce8d4: Waiting
7e2d41fce0b1: Waiting
d568120d6345: Waiting
d7b2aa295c6a: Waiting
4f4fb700ef54: Waiting
bcebfdf55275: Waiting
1de0b1daae69: Waiting
ae9856efb8c2: Waiting
3e136ed4b6c0: Waiting
5f7ff389a009: Waiting
ff9a2d21fbc8: Waiting
c5c641d5d6de: Waiting
851b60ac026a: Waiting
8880785a2a96: Waiting
3271a0835d68: Waiting
b3adfb945feb: Waiting
8a0b6fd24128: Waiting
5748e5a1b7cb: Waiting
db958f4444e6: Waiting
7ccea4161c6a: Waiting
a76357984f12: Verifying Checksum
a76357984f12: Download complete
36d70bb5f38f: Verifying Checksum
36d70bb5f38f: Download complete
36d70bb5f38f: Pull complete
a76357984f12: Pull complete
cd3e526cd33e: Download complete
4313c2b0cf63: Verifying Checksum
4313c2b0cf63: Download complete
4313c2b0cf63: Pull complete
cd3e526cd33e: Pull complete
cd1e440e6332: Verifying Checksum
cd1e440e6332: Download complete
cfc79bb20113: Verifying Checksum
cfc79bb20113: Download complete
1715427c2363: Verifying Checksum
1715427c2363: Download complete
25c37d991e95: Verifying Checksum
25c37d991e95: Download complete
7542fd3da18a: Verifying Checksum
7542fd3da18a: Download complete
473f7c6fc05d: Download complete
57aaa5dccec9: Verifying Checksum
57aaa5dccec9: Download complete
79fa1e053abe: Download complete
cdd0326d90f0: Download complete
73f130b3381e: Verifying Checksum
73f130b3381e: Download complete
7e2d41fce0b1: Download complete
4f4fb700ef54: Download complete
ae9856efb8c2: Download complete
d7b2aa295c6a: Verifying Checksum
d7b2aa295c6a: Download complete
3e136ed4b6c0: Download complete
ff9a2d21fbc8: Download complete
3271a0835d68: Download complete
851b60ac026a: Download complete
ea29b54d3873: Verifying Checksum
ea29b54d3873: Download complete
75cf3859a08b: Download complete
bbd8ebe08c5b: Download complete
43bb21cb0120: Download complete
fe1e70a6c3de: Verifying Checksum
fe1e70a6c3de: Download complete
bd65dc89789b: Download complete
3672606a32ef: Verifying Checksum
3672606a32ef: Download complete
d568120d6345: Verifying Checksum
d568120d6345: Download complete
1e9832fb251e: Verifying Checksum
1e9832fb251e: Download complete
1de0b1daae69: Download complete
5f7ff389a009: Download complete
c5c641d5d6de: Verifying Checksum
c5c641d5d6de: Download complete
8880785a2a96: Verifying Checksum
8880785a2a96: Download complete
b3adfb945feb: Verifying Checksum
b3adfb945feb: Download complete
3672606a32ef: Pull complete
cd1e440e6332: Pull complete
cfc79bb20113: Pull complete
1715427c2363: Pull complete
25c37d991e95: Pull complete
57aaa5dccec9: Pull complete
7542fd3da18a: Pull complete
473f7c6fc05d: Pull complete
79fa1e053abe: Pull complete
cdd0326d90f0: Pull complete
73f130b3381e: Pull complete
7e2d41fce0b1: Pull complete
d7b2aa295c6a: Pull complete
4f4fb700ef54: Pull complete
ae9856efb8c2: Pull complete
3e136ed4b6c0: Pull complete
ff9a2d21fbc8: Pull complete
851b60ac026a: Pull complete
3271a0835d68: Pull complete
ea29b54d3873: Pull complete
75cf3859a08b: Pull complete
bbd8ebe08c5b: Pull complete
43bb21cb0120: Pull complete
fe1e70a6c3de: Pull complete
bd65dc89789b: Pull complete
1e9832fb251e: Pull complete
e587250ce8d4: Verifying Checksum
e587250ce8d4: Download complete
db958f4444e6: Download complete
5748e5a1b7cb: Download complete
7ccea4161c6a: Verifying Checksum
7ccea4161c6a: Download complete
8a0b6fd24128: Download complete
bcebfdf55275: Verifying Checksum
bcebfdf55275: Download complete
e587250ce8d4: Pull complete
d568120d6345: Pull complete
bcebfdf55275: Pull complete
1de0b1daae69: Pull complete
5f7ff389a009: Pull complete
c5c641d5d6de: Pull complete
8880785a2a96: Pull complete
b3adfb945feb: Pull complete
8a0b6fd24128: Pull complete
db958f4444e6: Pull complete
5748e5a1b7cb: Pull complete
7ccea4161c6a: Pull complete
Digest: sha256:09204ba3bc2bdcd7b8e00c4fa52d1e94985d694b738d270f9e4f015a1c4195f7
Status: Downloaded newer image for ocaml/opam@sha256:09204ba3bc2bdcd7b8e00c4fa52d1e94985d694b738d270f9e4f015a1c4195f7
2024-07-29 13:57.43 ---> using "20dfee5c32d584117e93f9bbe261179b291407cbac431cfef354e04796a76a49" from cache


/: (comment debian-12-5.2_ppc64_opam-2.1)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2024-07-29 13:57.43 ---> using "9d31cc363a79a6d1f54592234ca72d034317f2e20c385aa7c1609c08f8c37ed4" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then 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 development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.


Continue? [Y/n] y
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-07-29 13:57.43 ---> using "e97d455e29b6b89008386fc78eccd2fb82fe8b1b6083c41af7b83deaac729af1" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-38-generic
The OCaml toplevel, version 5.2.0
2.1.6
2024-07-29 13:57.43 ---> using "beb30e3e59a786efdb6f34b5338d6b87e8496aaa8eeb2edac893a9254566baca" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-07-29 13:57.43 ---> using "9906bdeffacc95785100c8c5a2b20a895b1731c993cc08d7e6e81c45b1f65220" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "cd ~/opam-repository && (git cat-file -e 44a281fd66344f50c411e5c5300745612282e651 || git fetch origin master) && git reset -q --hard 44a281fd66344f50c411e5c5300745612282e651 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   39a5da86fc..d7e8a9dd3d  master     -> origin/master
44a281fd66 [new release] alcotest (5 packages) (1.8.0)


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-07-29 13:57.43 ---> using "5ca52c0e37553981a004efc8d777fdc97cfdac5194f90621bf79e53f803c0da1" from cache


/src: (copy (src ortac-wrapper.opam ortac-runtime.opam ortac-runtime-qcheck-stm.opam ortac-runtime-monolith.opam ortac-qcheck-stm.opam ortac-monolith.opam ortac-examples.opam ortac-dune.opam ortac-core.opam)
            (dst ./))
2024-07-29 13:57.43 ---> using "7694a402e44ea0fe74dd6cd2f12c9a133a289d0fe7317037eae54f21ae3666e0" from cache


/src: (run (network host)
           (shell  "opam pin add -yn ortac-wrapper.dev './' && \
                  \nopam pin add -yn ortac-runtime.dev './' && \
                  \nopam pin add -yn ortac-runtime-qcheck-stm.dev './' && \
                  \nopam pin add -yn ortac-runtime-monolith.dev './' && \
                  \nopam pin add -yn ortac-qcheck-stm.dev './' && \
                  \nopam pin add -yn ortac-monolith.dev './' && \
                  \nopam pin add -yn ortac-examples.dev './' && \
                  \nopam pin add -yn ortac-dune.dev './' && \
                  \nopam pin add -yn ortac-core.dev './'"))
Package ortac-wrapper does not exist, create as a NEW package? [Y/n] y
[ortac-wrapper.dev] synchronised (file:///src)
ortac-wrapper is now pinned to file:///src (version dev)
[ortac-runtime.dev] synchronised (file:///src)
ortac-runtime is now pinned to file:///src (version dev)
[ortac-runtime-qcheck-stm.dev] synchronised (file:///src)
ortac-runtime-qcheck-stm is now pinned to file:///src (version dev)
Package ortac-runtime-monolith does not exist, create as a NEW package? [Y/n] y
[ortac-runtime-monolith.dev] synchronised (file:///src)
ortac-runtime-monolith is now pinned to file:///src (version dev)
[ortac-qcheck-stm.dev] synchronised (file:///src)
ortac-qcheck-stm is now pinned to file:///src (version dev)
Package ortac-monolith does not exist, create as a NEW package? [Y/n] y
[ortac-monolith.dev] synchronised (file:///src)
ortac-monolith is now pinned to file:///src (version dev)
Package ortac-examples does not exist, create as a NEW package? [Y/n] y
[ortac-examples.dev] synchronised (file:///src)
ortac-examples is now pinned to file:///src (version dev)
[ortac-dune.dev] synchronised (file:///src)
ortac-dune is now pinned to file:///src (version dev)
[ortac-core.dev] synchronised (file:///src)
ortac-core is now pinned to file:///src (version dev)
2024-07-29 13:57.43 ---> using "eae9aa5054b5fae46e01853455936597686ace399b2f5ce24eeb39025e067e28" from cache


/src: (env DEPS "afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.6.9 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-ppc64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.7 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.0 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.3 qcheck-stm.0.3 re.1.11.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ortac-wrapper.dev ortac-runtime.dev ortac-runtime-qcheck-stm.dev ortac-runtime-monolith.dev ortac-qcheck-stm.dev ortac-monolith.dev ortac-examples.dev ortac-dune.dev ortac-core.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian-security bookworm-security/main ppc64el Packages [161 kB]
- Fetched 265 kB in 1s (304 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[ortac-dune.dev] synchronised (no changes)
[ortac-core.dev] synchronised (no changes)
[ortac-examples.dev] synchronised (no changes)
[ortac-monolith.dev] synchronised (no changes)
[ortac-qcheck-stm.dev] synchronised (no changes)
[ortac-runtime.dev] synchronised (no changes)
[ortac-runtime-monolith.dev] synchronised (no changes)
[ortac-runtime-qcheck-stm.dev] synchronised (no changes)
[ortac-wrapper.dev] synchronised (no changes)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0).
[NOTE] Package ocaml is already installed (current version is 5.2.0).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-ppc64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).


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


<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed


2024-07-29 13:57.43 ---> using "ef547a796de6b76f15419ba574a135352a4af9b74684f8306c688d88b475132a" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0).
[NOTE] Package ocaml is already installed (current version is 5.2.0).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-ppc64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
  - install ocamlbuild                 0.15.0
  - install ocamlfind                  1.9.6
  - install seq                        base
  - install conf-gmp                   4
  - install conf-pkg-config            3
  - install dune                       3.16.0
  - install cmdliner                   1.3.0
  - install topkg                      1.0.7
  - install zarith                     1.14
  - install varray                     0.2
  - install stdlib-shims               0.3.0
  - install sexplib0                   v0.17.0
  - install result                     1.5
  - install re                         1.11.0
  - install qcheck-core                0.22
  - install ppx_derivers               1.2.1
  - install pprint                     20230830
  - install pp_loc                     2.1.0
  - install pp                         1.2.0
  - install ordering                   3.16.0
  - install ocaml-version              3.6.7
  - install ocaml-syntax-shims         1.0.0
  - install ocaml-compiler-libs        v0.17.0
  - install menhirSdk                  20240715
  - install menhirLib                  20240715
  - install menhirCST                  20240715
  - install lwt-dllist                 1.0.1
  - install dune-build-info            3.16.0
  - install csexp                      1.5.2
  - install cppo                       1.6.9
  - install camlp-streams              5.0.1
  - install afl-persistent             1.4
  - install uutf                       1.0.3
  - install fmt                        0.9.0
  - install astring                    0.8.5
  - install qcheck-multicoretests-util 0.3
  - install dyn                        3.16.0
  - install ppxlib                     0.33.0
  - install menhir                     20240715
  - install monolith                   20230604
  - install logs                       0.7.0
  - install alcotest                   1.8.0
  - install qcheck-stm                 0.3
  - install stdune                     3.16.0
  - install ppx_deriving               6.0.2
  - install mdx                        2.4.1
  - install dune-private-libs          3.16.0
  - install gospel                     0.3.0
  - install dune-site                  3.16.0
===== 49 to install =====


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved afl-persistent.1.4  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved conf-gmp.4  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved cppo.1.6.9  (cached)
-> installed conf-gmp.4
-> installed conf-pkg-config.3
-> retrieved alcotest.1.8.0  (https://github.com/mirage/alcotest/releases/download/1.8.0/alcotest-1.8.0.tbz)
-> retrieved csexp.1.5.2  (cached)
-> installed cmdliner.1.3.0
-> retrieved dune.3.16.0  (cached)
-> retrieved dune-build-info.3.16.0  (cached)
-> retrieved dune-private-libs.3.16.0  (cached)
-> retrieved dune-site.3.16.0  (cached)
-> retrieved dyn.3.16.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved gospel.0.3.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved lwt-dllist.1.0.1  (cached)
-> retrieved mdx.2.4.1  (cached)
-> retrieved menhir.20240715  (cached)
-> retrieved menhirCST.20240715  (cached)
-> retrieved menhirLib.20240715  (cached)
-> retrieved menhirSdk.20240715  (cached)
-> retrieved monolith.20230604  (cached)
-> retrieved ocaml-compiler-libs.v0.17.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocaml-version.3.6.7  (cached)
-> retrieved ocamlbuild.0.15.0  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved pp.1.2.0  (cached)
-> retrieved pp_loc.2.1.0  (cached)
-> retrieved pprint.20230830  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.0.2  (cached)
-> retrieved qcheck-core.0.22  (cached)
-> retrieved ppxlib.0.33.0  (cached)
-> retrieved qcheck-multicoretests-util.0.3  (cached)
-> retrieved qcheck-stm.0.3  (cached)
-> retrieved ordering.3.16.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved re.1.11.0  (cached)
-> retrieved result.1.5  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved varray.0.2  (cached)
-> retrieved zarith.1.14  (cached)
-> installed ocamlbuild.0.15.0
-> installed dune.3.16.0
-> retrieved stdune.3.16.0  (cached)
-> installed ocamlfind.1.9.6
-> installed camlp-streams.5.0.1
-> installed cppo.1.6.9
-> installed csexp.1.5.2
-> installed lwt-dllist.1.0.1
-> installed menhirCST.20240715
-> installed menhirLib.20240715
-> installed menhirSdk.20240715
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.3.6.7
-> installed pp.1.2.0
-> installed pp_loc.2.1.0
-> installed pprint.20230830
-> installed ppx_derivers.1.2.1
-> installed qcheck-core.0.22
-> installed re.1.11.0
-> installed result.1.5
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed varray.0.2
-> installed afl-persistent.1.4
-> installed qcheck-multicoretests-util.0.3
-> installed qcheck-stm.0.3
-> installed ordering.3.16.0
-> installed dune-build-info.3.16.0
-> installed zarith.1.14
-> installed monolith.20230604
-> installed topkg.1.0.7
-> installed dyn.3.16.0
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed logs.0.7.0
-> installed alcotest.1.8.0
-> installed stdune.3.16.0
-> installed mdx.2.4.1
-> installed dune-private-libs.3.16.0
-> installed dune-site.3.16.0
-> installed menhir.20240715
-> installed ppxlib.0.33.0
-> installed ppx_deriving.6.0.2
-> installed gospel.0.3.0
Done.


<><> afl-persistent.1.4 installed successfully ><><><><><><><><><><><><><><><><>
=> afl-persistent is installed, but since the current OCaml compiler does
   not enable AFL instrumentation by default, most packages will not be
   instrumented and fuzzing with afl-fuzz may not be effective.


   To globally enable AFL instrumentation, create an OCaml switch like:


     opam switch create 5.2.0+afl ocaml-variants.5.2.0+options ocaml-option-afl
# Run eval $(opam env) to update the current shell environment
2024-07-29 13:57.43 ---> using "b90a1c58d5eae115061e721b1babdddba6692b36e9ca1c1c86bd48346544719a" from cache


/src: (copy (src .) (dst /src))
2024-07-29 13:57.43 ---> using "d9c349ec8c0b7130810d5b0b55daaa0dd548adf5d14252f2751d5576ce138c10" from cache


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))


wrapper.exe has been generated with the ortac-monolith plugin.


sut_in_type_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


ref_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


sequence_model_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


conjunctive_clauses_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


integer_in_model_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


test_cleanup_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


ghost_as_model_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


record_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


functional_model_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


tuples_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


invariants_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


custom_config_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


test_without_sut_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


hashtbl_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.


array_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.
(cd _build/default/plugins/wrapper/test/suite && ./test.exe)
Testing `Ortac'.
This run has ID `06ZYNW1H'.


  [OK]          Arrays               0   get out of range.
  [OK]          Arrays               1   get wrong value.
  [OK]          Arrays               2   create wrong value.
  [OK]          Arrays               3   correct implementations.
  [OK]          Arrays               4   map correct.
  [OK]          Arrays               5   map wrong length.
  [OK]          Arrays               6   map wrong function.
  [OK]          Arrays               7   create with wrong arguments.
  [OK]          Arrays               8   sort is correct.
  [OK]          Arrays               9   copy sort is correct.
  [OK]          Arrays              10   bad sort is wrong.
  [OK]          Arrays              11   constant sort is wrong.
  [OK]          Arithmetics          0   forall.
  [OK]          Arithmetics          1   double forall.
  [OK]          Arithmetics          2   power.
  [OK]          Exceptions           0   bad_raise_notfound.
  [OK]          Exceptions           1   undeclared_raise_notfound.
  [OK]          Exceptions           2   raise_notfound.
  [OK]          Exceptions           3   allowed exceptions.
  [OK]          Exceptions           4   raise_invalidarg.
  [OK]          Exceptions           5   bad_raise_notfound.
  [OK]          Exceptions           6   valid_checks.
  [OK]          Exceptions           7   bad_checks.
  [OK]          Terms                0   boolean operators.
  [OK]          Terms                1   scopes.
  [OK]          Terms                2   logic.
  [OK]          Terms                3   patterns.
  [OK]          Terms                4   peano.
  [OK]          Terms                5   trees.
  [OK]          Terms                6   ref_access.
  [OK]          Translation          0   type mutable.
  [OK]          Translation          1   type immutable.
  [OK]          Translation          2   type unknown.
  [OK]          Translation          3   type dependant.
  [OK]          Translation          4   value purity.


Full test results in `/src/_build/default/plugins/wrapper/test/suite/_build/_tests/Ortac'.
Test Successful in 0.134s. 35 tests run.
(cd _build/default/examples && ./lwt_dllist_spec_tests.exe --verbose)
random seed: 408738366
generated error fail pass / total     time test name
[✓] 1000    0    0 1000 / 1000     0.2s Lwt_dllist_spec STM tests
================================================================================
success (ran 1 tests)
(cd _build/default/examples && ./varray_spec_tests.exe --verbose)
random seed: 392190730
generated error fail pass / total     time test name
[✓] 1000    0    0 1000 / 1000     0.4s Varray_spec STM tests
================================================================================
success (ran 1 tests)
(cd _build/default/examples && ./varray_circular_spec_tests.exe --verbose)
random seed: 106242321
generated error fail pass / total     time test name
[✓] 1000    0    0 1000 / 1000     0.5s Varray_circular_spec STM tests
================================================================================
success (ran 1 tests)
(cd _build/default && /usr/bin/timeout -s INT -k 3 20 test/runtime/stdlibset.exe)
 37K tests run so far ( 36K/s overall,  42K/s now) (fuel = 20).
 72K tests run so far ( 35K/s overall,  38K/s now) (fuel = 20).
104K tests run so far ( 34K/s overall,  41K/s now) (fuel = 20).
139K tests run so far ( 34K/s overall,  41K/s now) (fuel = 20).
176K tests run so far ( 35K/s overall,  43K/s now) (fuel = 20).
215K tests run so far ( 35K/s overall,  43K/s now) (fuel = 20).
254K tests run so far ( 36K/s overall,  43K/s now) (fuel = 20).
293K tests run so far ( 36K/s overall,  43K/s now) (fuel = 20).
332K tests run so far ( 36K/s overall,  43K/s now) (fuel = 20).
371K tests run so far ( 37K/s overall,  43K/s now) (fuel = 20).
410K tests run so far ( 37K/s overall,  43K/s now) (fuel = 20).
449K tests run so far ( 37K/s overall,  43K/s now) (fuel = 20).
489K tests run so far ( 37K/s overall,  43K/s now) (fuel = 20).
528K tests run so far ( 37K/s overall,  43K/s now) (fuel = 20).
567K tests run so far ( 37K/s overall,  43K/s now) (fuel = 20).
606K tests run so far ( 37K/s overall,  43K/s now) (fuel = 20).
645K tests run so far ( 37K/s overall,  43K/s now) (fuel = 20).
684K tests run so far ( 37K/s overall,  43K/s now) (fuel = 20).
723K tests run so far ( 38K/s overall,  43K/s now) (fuel = 20).
2024-07-29 13:57.43 ---> using "0b9974ba9075ba60dbd861a115f3ab36da6b5fcc71c64e488e3e209f33008455" from cache
Job succeeded
2024-07-29 13:57.43: Job succeeded