debian-13-4.14_x86_32_opam-2.4

2025-09-16 10:10.31: New job: test ocaml-gospel/ortac https://github.com/ocaml-gospel/ortac.git#refs/heads/main (aa3ab097f722916e7be2f4b970ae4efc0ccacd28) (linux-x86_64:debian-13-4.14_x86_32_opam-2.4)
Base: ocaml/opam:debian-13-ocaml-4.14@sha256:f7771327eb3a959fdb0fe778a3bb1b22985cb04b683952c6a4b63ad155a08b64
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-gospel/ortac.git" -b "main" && cd "ortac" && git reset --hard aa3ab097
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:f7771327eb3a959fdb0fe778a3bb1b22985cb04b683952c6a4b63ad155a08b64
# debian-13-4.14_x86_32_opam-2.4
USER 1000:1000
SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ]
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.4 /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 6ef6813522b6ea29933f6451236a1639bdbaec61 || git fetch origin master) && git reset -q --hard 6ef6813522b6ea29933f6451236a1639bdbaec61 && 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 './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="afl-persistent.1.4 alcotest.1.9.0 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2 dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 gospel.0.3.0 logs.0.9.0 mdx.2.5.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250314 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.20.2 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppxlib.0.35.0 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-stm.0.9 re.1.13.2 result.1.5 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.0 uutf.1.0.4 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.4 --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-dune.dev ortac-core.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build --only-packages=ortac-wrapper,ortac-runtime,ortac-runtime-qcheck-stm,ortac-runtime-monolith,ortac-qcheck-stm,ortac-monolith,ortac-dune,ortac-core @install @check @runtest && rm -rf _build


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


2025-09-16 10:10.31: Using cache hint "ocaml-gospel/ortac-ocaml/opam:debian-13-ocaml-4.14@sha256:f7771327eb3a959fdb0fe778a3bb1b22985cb04b683952c6a4b63ad155a08b64-debian-13-4.14_x86_32_opam-2.4-4773c73d4dd2cf7a467e5915739501e9"
2025-09-16 10:10.31: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:f7771327eb3a959fdb0fe778a3bb1b22985cb04b683952c6a4b63ad155a08b64)
(comment debian-13-4.14_x86_32_opam-2.4)
(user (uid 1000) (gid 1000))
(shell /usr/bin/linux32 /bin/sh -c)
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.4 /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 6ef6813522b6ea29933f6451236a1639bdbaec61 || git fetch origin master) && git reset -q --hard 6ef6813522b6ea29933f6451236a1639bdbaec61 && 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 './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "afl-persistent.1.4 alcotest.1.9.0 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2 dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 gospel.0.3.0 logs.0.9.0 mdx.2.5.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250314 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.20.2 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppxlib.0.35.0 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-stm.0.9 re.1.13.2 result.1.5 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.0 uutf.1.0.4 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.4 --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-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 --only-packages=ortac-wrapper,ortac-runtime,ortac-runtime-qcheck-stm,ortac-runtime-monolith,ortac-qcheck-stm,ortac-monolith,ortac-dune,ortac-core @install @check @runtest && rm -rf _build"))
)


2025-09-16 10:10.31: Waiting for resource in pool OCluster
2025-09-16 10:10.31: Waiting for worker…
2025-09-16 10:10.34: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at aa3ab09 Merge pull request #355 from n-osborne/add-domain-example


(from ocaml/opam:debian-13-ocaml-4.14@sha256:f7771327eb3a959fdb0fe778a3bb1b22985cb04b683952c6a4b63ad155a08b64)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:f7771327eb3a959fdb0fe778a3bb1b22985cb04b683952c6a4b63ad155a08b64' locally
docker.io/ocaml/opam@sha256:f7771327eb3a959fdb0fe778a3bb1b22985cb04b683952c6a4b63ad155a08b64: Pulling from ocaml/opam
c9dedb413b40: Pulling fs layer
f837638c463a: Pulling fs layer
0f10188fd397: Pulling fs layer
fdd37291e755: Pulling fs layer
a55e52baefab: Pulling fs layer
386c2e37ee48: Pulling fs layer
0857da6a87f6: Pulling fs layer
f8f57246dbb6: Pulling fs layer
f1cc898bfa73: Pulling fs layer
5f5e0e9320fb: Pulling fs layer
e71cb2b79246: Pulling fs layer
65b77d0e6ddf: Pulling fs layer
0f10188fd397: Waiting
32b3ac319680: Pulling fs layer
332b4f70bda8: Pulling fs layer
fdd37291e755: Waiting
c9dedb413b40: Waiting
c7487749a26d: Pulling fs layer
0857da6a87f6: Waiting
5f129db7df1d: Pulling fs layer
f8f57246dbb6: Waiting
e71cb2b79246: Waiting
120fe700baf0: Pulling fs layer
f1cc898bfa73: Waiting
3f1bc6b935d7: Pulling fs layer
65b77d0e6ddf: Waiting
9b3cd3bec5e7: Pulling fs layer
32b3ac319680: Waiting
68870f10c39f: Pulling fs layer
4f4fb700ef54: Pulling fs layer
332b4f70bda8: Waiting
313ffe921dc9: Pulling fs layer
c7487749a26d: Waiting
6e022cac4b49: Pulling fs layer
b6e0545365a9: Pulling fs layer
178a2230f6bc: Pulling fs layer
120fe700baf0: Waiting
43ec319d5b4b: Pulling fs layer
887948c2fa1d: Pulling fs layer
fa0835f5eb56: Pulling fs layer
b834ef866483: Pulling fs layer
b6e0545365a9: Waiting
6e022cac4b49: Waiting
cd4567e6bde2: Pulling fs layer
887948c2fa1d: Waiting
fa0835f5eb56: Waiting
b834ef866483: Waiting
ed94b946f82a: Pulling fs layer
3f1bc6b935d7: Waiting
f837638c463a: Waiting
3916e2f43ad3: Pulling fs layer
cd4567e6bde2: Waiting
c512f818c56e: Pulling fs layer
6df78b4411ca: Pulling fs layer
313ffe921dc9: Waiting
d92949f24bca: Pulling fs layer
72569c0b1e6f: Pulling fs layer
91f47f4eed6f: Pulling fs layer
4f4fb700ef54: Waiting
76d7e22f5a6c: Pulling fs layer
72569c0b1e6f: Waiting
39a2d3171290: Pulling fs layer
b1c09bc25311: Pulling fs layer
91f47f4eed6f: Waiting
681c028ea2d0: Pulling fs layer
62e4589769df: Pulling fs layer
338b2ebae701: Pulling fs layer
39a2d3171290: Waiting
5f129db7df1d: Waiting
62e4589769df: Waiting
338b2ebae701: Waiting
ed94b946f82a: Waiting
76d7e22f5a6c: Waiting
178a2230f6bc: Waiting
c9dedb413b40: Verifying Checksum
c9dedb413b40: Download complete
f837638c463a: Download complete
0f10188fd397: Verifying Checksum
0f10188fd397: Download complete
fdd37291e755: Verifying Checksum
fdd37291e755: Download complete
a55e52baefab: Verifying Checksum
a55e52baefab: Download complete
c9dedb413b40: Pull complete
f837638c463a: Pull complete
0f10188fd397: Pull complete
fdd37291e755: Pull complete
a55e52baefab: Pull complete
386c2e37ee48: Verifying Checksum
386c2e37ee48: Download complete
0857da6a87f6: Verifying Checksum
0857da6a87f6: Download complete
f8f57246dbb6: Verifying Checksum
f8f57246dbb6: Download complete
f1cc898bfa73: Verifying Checksum
f1cc898bfa73: Download complete
5f5e0e9320fb: Verifying Checksum
5f5e0e9320fb: Download complete
e71cb2b79246: Verifying Checksum
e71cb2b79246: Download complete
65b77d0e6ddf: Verifying Checksum
65b77d0e6ddf: Download complete
386c2e37ee48: Pull complete
0857da6a87f6: Pull complete
f8f57246dbb6: Pull complete
f1cc898bfa73: Pull complete
5f5e0e9320fb: Pull complete
e71cb2b79246: Pull complete
65b77d0e6ddf: Pull complete
332b4f70bda8: Download complete
c7487749a26d: Verifying Checksum
c7487749a26d: Download complete
5f129db7df1d: Verifying Checksum
5f129db7df1d: Download complete
32b3ac319680: Verifying Checksum
32b3ac319680: Download complete
3f1bc6b935d7: Verifying Checksum
3f1bc6b935d7: Download complete
32b3ac319680: Pull complete
332b4f70bda8: Pull complete
120fe700baf0: Verifying Checksum
120fe700baf0: Download complete
c7487749a26d: Pull complete
5f129db7df1d: Pull complete
120fe700baf0: Pull complete
3f1bc6b935d7: Pull complete
68870f10c39f: Verifying Checksum
68870f10c39f: Download complete
9b3cd3bec5e7: Verifying Checksum
9b3cd3bec5e7: Download complete
9b3cd3bec5e7: Pull complete
68870f10c39f: Pull complete
313ffe921dc9: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
4f4fb700ef54: Pull complete
313ffe921dc9: Pull complete
6e022cac4b49: Download complete
b6e0545365a9: Verifying Checksum
b6e0545365a9: Download complete
6e022cac4b49: Pull complete
b6e0545365a9: Pull complete
43ec319d5b4b: Download complete
178a2230f6bc: Download complete
178a2230f6bc: Pull complete
43ec319d5b4b: Pull complete
fa0835f5eb56: Verifying Checksum
fa0835f5eb56: Download complete
887948c2fa1d: Verifying Checksum
887948c2fa1d: Download complete
887948c2fa1d: Pull complete
fa0835f5eb56: Pull complete
cd4567e6bde2: Verifying Checksum
cd4567e6bde2: Download complete
b834ef866483: Verifying Checksum
b834ef866483: Download complete
b834ef866483: Pull complete
cd4567e6bde2: Pull complete
3916e2f43ad3: Verifying Checksum
3916e2f43ad3: Download complete
ed94b946f82a: Verifying Checksum
ed94b946f82a: Download complete
ed94b946f82a: Pull complete
3916e2f43ad3: Pull complete
c512f818c56e: Verifying Checksum
c512f818c56e: Download complete
c512f818c56e: Pull complete
d92949f24bca: Verifying Checksum
d92949f24bca: Download complete
72569c0b1e6f: Verifying Checksum
72569c0b1e6f: Download complete
91f47f4eed6f: Download complete
76d7e22f5a6c: Verifying Checksum
76d7e22f5a6c: Download complete
39a2d3171290: Verifying Checksum
39a2d3171290: Download complete
6df78b4411ca: Verifying Checksum
6df78b4411ca: Download complete
681c028ea2d0: Download complete
62e4589769df: Verifying Checksum
62e4589769df: Download complete
338b2ebae701: Download complete
6df78b4411ca: Pull complete
d92949f24bca: Pull complete
72569c0b1e6f: Pull complete
91f47f4eed6f: Pull complete
76d7e22f5a6c: Pull complete
39a2d3171290: Pull complete
b1c09bc25311: Verifying Checksum
b1c09bc25311: Download complete
b1c09bc25311: Pull complete
681c028ea2d0: Pull complete
62e4589769df: Pull complete
338b2ebae701: Pull complete
Digest: sha256:f7771327eb3a959fdb0fe778a3bb1b22985cb04b683952c6a4b63ad155a08b64
Status: Downloaded newer image for ocaml/opam@sha256:f7771327eb3a959fdb0fe778a3bb1b22985cb04b683952c6a4b63ad155a08b64
WARNING: The requested image's platform (linux/386) does not match the detected host platform (linux/amd64) and no specific platform was requested
2025-09-16 10:12.55 ---> saved as "2410126bd648536e6a38bb4dd4d127b56e708103e682af4c8aa1013072241b6f"


/: (comment debian-13-4.14_x86_32_opam-2.4)


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


/: (shell /usr/bin/linux32 /bin/sh -c)


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
2025-09-16 10:12.56 ---> saved as "51bab2a779ba0ec7fba770a0b7552240801a9966139c6ef2e734398900c3dc7e"


/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 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
2025-09-16 10:13.43 ---> saved as "fa4232f2cd6aa98e1a2b42bd708a2fd075408b16393cca0eb73f48bcccadc94c"


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-142-generic
The OCaml toplevel, version 4.14.2
2.4.1
2025-09-16 10:13.44 ---> saved as "7aeac4a5cfd4cddef97e57519536bc812d6cd83d832dc1ba493e9461e5b3322b"


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-09-16 10:13.44 ---> saved as "48766fc1978247a56d1c121d9bde86502c315571a484d88b9f44f89d17820fa8"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 6ef6813522b6ea29933f6451236a1639bdbaec61 || git fetch origin master) && git reset -q --hard 6ef6813522b6ea29933f6451236a1639bdbaec61 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
bcac5d1731..7949ff40d8  master     -> origin/master
6ef6813522 Merge pull request #28449 from dra27/ocaml-compiler-msvc


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+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 at these versions (e.g. "opam upgrade ocaml.5.3.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-09-16 10:14.23 ---> saved as "e5816ea23cb6e969c29a0dd93b879d300baea71caca28ce06dcbc6f5dfea3c5d"


/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 ./))
2025-09-16 10:14.24 ---> saved as "3d21c821c63c73836d3c34b8431ae244a8177b21cf2b05e4f057ee2f03146b79"


/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 './'"))
[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)
[NOTE] Package ortac-runtime-monolith does not exist in opam repositories registered in the current switch.
[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)
[NOTE] Package ortac-monolith does not exist in opam repositories registered in the current switch.
[ortac-monolith.dev] synchronised (file:///src)
ortac-monolith is now pinned to file:///src (version dev)
[NOTE] Package ortac-examples does not exist in opam repositories registered in the current switch.
[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)
2025-09-16 10:14.47 ---> saved as "2a8630e74d2c1d585a4853c1274c219dcd713f81e67ec80589bc3ee8a3cd7806"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-09-16 10:14.47 ---> saved as "d9a47e92a7cec8949a7be19198eb16c3313175a4d357827dc2c1155e1740b27c"


/src: (env DEPS "afl-persistent.1.4 alcotest.1.9.0 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2 dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 gospel.0.3.0 logs.0.9.0 mdx.2.5.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250314 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.20.2 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppxlib.0.35.0 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-stm.0.9 re.1.13.2 result.1.5 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.0 uutf.1.0.4 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.4 --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-dune.dev ortac-core.dev $DEPS"))
+ /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 i386 Packages [36.4 kB]
- Fetched 127 kB in 1s (171 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[ortac-core.dev] synchronised (file:///src)
[ortac-dune.dev] synchronised (file:///src)
[ortac-monolith.dev] synchronised (file:///src)
[ortac-qcheck-stm.dev] synchronised (file:///src)
[ortac-runtime.dev] synchronised (file:///src)
[ortac-runtime-monolith.dev] synchronised (file:///src)
[ortac-runtime-qcheck-stm.dev] synchronised (file:///src)
[ortac-wrapper.dev] synchronised (file:///src)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[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-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"
- Selecting previously unselected package libgmpxx4ldbl:i386.
- (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 ... 20592 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_i386.deb ...
- Unpacking libgmpxx4ldbl:i386 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:i386.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_i386.deb ...
- Unpacking libgmp-dev:i386 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:i386.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_i386.deb ...
- Unpacking libpkgconf3:i386 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_i386.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:i386.
- Preparing to unpack .../4-pkgconf_1.8.1-4_i386.deb ...
- Unpacking pkgconf:i386 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:i386.
- Preparing to unpack .../5-pkg-config_1.8.1-4_i386.deb ...
- Unpacking pkg-config:i386 (1.8.1-4) ...
- Setting up libpkgconf3:i386 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:i386 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:i386 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:i386 (1.8.1-4) ...
- Setting up pkg-config:i386 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
2025-09-16 10:15.09 ---> saved as "3b14125a6ea534eb3b9a291ac7f42ed7e49f4f2e8a265347c2ae9c78c3b08954"


/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 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[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-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 47 packages
- install afl-persistent             1.4
- install alcotest                   1.9.0
- install astring                    0.8.5
- install camlp-streams              5.0.1
- install cmdliner                   1.3.0
- install conf-gmp                   5
- install conf-pkg-config            4
- install cppo                       1.8.0
- install csexp                      1.5.2
- install dune                       3.20.2
- install dune-build-info            3.20.2
- install dune-private-libs          3.20.2
- install dune-site                  3.20.2
- install dyn                        3.20.2
- install fmt                        0.11.0
- install gospel                     0.3.0
- install logs                       0.9.0
- install mdx                        2.5.0
- install menhir                     20250912
- install menhirCST                  20250912
- install menhirLib                  20250912
- install menhirSdk                  20250912
- install monolith                   20250314
- install ocaml-compiler-libs        v0.12.4
- install ocaml-syntax-shims         1.0.0
- install ocaml-version              4.0.1
- install ocamlbuild                 0.16.1
- install ocamlfind                  1.9.8
- install ordering                   3.20.2
- install pp                         2.0.0
- install pp_loc                     2.1.0
- install pprint                     20230830
- install ppx_derivers               1.2.1
- install ppx_deriving               6.0.3
- install ppxlib                     0.35.0
- install qcheck-core                0.26
- install qcheck-multicoretests-util 0.9
- install qcheck-stm                 0.9
- install re                         1.13.2
- install result                     1.5
- install seq                        base
- install sexplib0                   v0.16.0
- install stdlib-shims               0.3.0
- install stdune                     3.20.2
- install topkg                      1.1.0
- install uutf                       1.0.4
- install zarith                     1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved afl-persistent.1.4  (cached)
-> retrieved alcotest.1.9.0  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> installed conf-gmp.5
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> installed conf-pkg-config.4
-> retrieved csexp.1.5.2  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved logs.0.9.0  (cached)
-> retrieved gospel.0.3.0  (cached)
-> retrieved mdx.2.5.0  (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912  (cached)
-> retrieved dune.3.20.2, dune-build-info.3.20.2, dune-private-libs.3.20.2, dune-site.3.20.2, dyn.3.20.2, ordering.3.20.2, stdune.3.20.2  (cached)
-> retrieved monolith.20250314  (cached)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocaml-version.4.0.1  (cached)
-> retrieved pp.2.0.0  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> installed cmdliner.1.3.0
-> retrieved pp_loc.2.1.0  (cached)
-> retrieved pprint.20230830  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.0.3  (cached)
-> retrieved qcheck-core.0.26  (cached)
-> retrieved qcheck-multicoretests-util.0.9, qcheck-stm.0.9  (cached)
-> retrieved ppxlib.0.35.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved re.1.13.2  (cached)
-> retrieved result.1.5  (cached)
-> retrieved sexplib0.v0.16.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved topkg.1.1.0  (cached)
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.0
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed logs.0.9.0
-> installed dune.3.20.2
-> installed camlp-streams.5.0.1
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.4.0.1
-> installed pp.2.0.0
-> installed pp_loc.2.1.0
-> installed pprint.20230830
-> installed ppx_derivers.1.2.1
-> installed result.1.5
-> installed sexplib0.v0.16.0
-> installed stdlib-shims.0.3.0
-> installed afl-persistent.1.4
-> installed re.1.13.2
-> installed qcheck-core.0.26
-> installed monolith.20250314
-> installed ordering.3.20.2
-> installed dune-build-info.3.20.2
-> installed alcotest.1.9.0
-> installed mdx.2.5.0
-> installed qcheck-multicoretests-util.0.9
-> installed qcheck-stm.0.9
-> installed dyn.3.20.2
-> installed stdune.3.20.2
-> installed menhir.20250912
-> installed dune-private-libs.3.20.2
-> installed ppxlib.0.35.0
-> installed dune-site.3.20.2
-> installed ppx_deriving.6.0.3
-> 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 4.14.2+afl ocaml-variants.4.14.2+options ocaml-option-afl
# To update the current shell environment, run: eval $(opam env)
2025-09-16 10:17.14 ---> saved as "665cbed6fde67a5a7c7ee49231b6c56d46ec73ef08f7a7fc55bf3e4f5b635675"


/src: (copy (src .) (dst /src))
2025-09-16 10:17.16 ---> saved as "83b852b85a7e5c814dc195a8762ac1c582e4df09e3654dbba7cdd401702346a6"


/src: (run (shell "opam exec -- dune build --only-packages=ortac-wrapper,ortac-runtime,ortac-runtime-qcheck-stm,ortac-runtime-monolith,ortac-qcheck-stm,ortac-monolith,ortac-dune,ortac-core @install @check @runtest && rm -rf _build"))
(cd _build/default/plugins/wrapper/test/generated && ./test.exe)
Testing `Wrapped lib'.
This run has ID `QH31J42K'.


[OK]          lib                      0   create is correct.
[OK]          lib                      1   create fails with negativ size.
[OK]          lib                      2   add is correct.
[OK]          lib                      3   add fails with negativ arg.
[OK]          lib                      4   mem fails with negativ arg.
[OK]          behaviour tests          0   invariant violated hit.
[OK]          behaviour tests          1   good incrementation.
[OK]          behaviour tests          2   precondition violated hit.
[OK]          behaviour tests          3   Int_overflow raised.
[OK]          behaviour tests          4   checks no hold, Invalid_argument...
[OK]          behaviour tests          5   postcondition hit.
[OK]          model tests              0   add model.
[OK]          pascal tests             0   three nexts.


Full test results in `/src/_build/default/plugins/wrapper/test/generated/_build/_tests/Wrapped lib'.
Test Successful in 0.005s. 13 tests run.


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


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


ref_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.


module_prefix_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.


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.


invariants_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.


test_cleanup_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.


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


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


sut_in_type_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.


array_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.


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


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


stack_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 `6SKC24EV'.


[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   value purity.


Full test results in `/src/_build/default/plugins/wrapper/test/suite/_build/_tests/Ortac'.
Test Successful in 0.030s. 31 tests run.
(cd _build/default && /usr/bin/timeout -s INT -k 3 20 test/runtime/stdlibset.exe)
1K tests run so far ( 39K/s overall, 399K/s now) (fuel = 20).
55K tests run so far ( 52K/s overall,  54K/s now) (fuel = 20).
101K tests run so far ( 49K/s overall,  48K/s now) (fuel = 20).
147K tests run so far ( 47K/s overall,  49K/s now) (fuel = 20).
192K tests run so far ( 47K/s overall,  49K/s now) (fuel = 20).
229K tests run so far ( 44K/s overall,  29K/s now) (fuel = 20).
275K tests run so far ( 45K/s overall,  51K/s now) (fuel = 20).
322K tests run so far ( 45K/s overall,  56K/s now) (fuel = 20).
370K tests run so far ( 45K/s overall,  50K/s now) (fuel = 20).
417K tests run so far ( 45K/s overall,  51K/s now) (fuel = 20).
463K tests run so far ( 45K/s overall,  51K/s now) (fuel = 20).
509K tests run so far ( 45K/s overall,  51K/s now) (fuel = 20).
556K tests run so far ( 45K/s overall,  53K/s now) (fuel = 20).
599K tests run so far ( 45K/s overall,  47K/s now) (fuel = 20).
643K tests run so far ( 45K/s overall,  50K/s now) (fuel = 20).
688K tests run so far ( 45K/s overall,  48K/s now) (fuel = 20).
731K tests run so far ( 45K/s overall,  50K/s now) (fuel = 20).
772K tests run so far ( 44K/s overall,  41K/s now) (fuel = 20).
815K tests run so far ( 44K/s overall,  51K/s now) (fuel = 20).
863K tests run so far ( 44K/s overall,  51K/s now) (fuel = 20).
2025-09-16 10:17.39 ---> saved as "8a839a6053d94ab7fb7f109ff24f683cf7eb0680743e4628be68ed9e5e9bb9d8"
Job succeeded
2025-09-16 10:17.40: Job succeeded