Getting StartedDocumentation
Organisationsocaml-gospelortac94ceb5 ()ubuntu-22.04-4.14_opam-2.4

ubuntu-22.04-4.14_opam-2.4

Link Copied
Code Copied

Logs

Show raw logs
2025-11-28 07:28.30: New job: test ocaml-gospel/ortac https://github.com/ocaml-gospel/ortac.git#refs/heads/main (94ceb5f6825e80ad746ae455d0b52050d1107d90) (linux-x86_64:ubuntu-22.04-4.14_opam-2.4)
Base: ocaml/opam:ubuntu-22.04-ocaml-4.14@sha256:b3b71c61254cb49599db5af743cc91ca8a6ed2839fa3800e9d205829afe55723
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-gospel/ortac.git" -b "main" && cd "ortac" && git reset --hard 94ceb5f6
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-22.04-ocaml-4.14@sha256:b3b71c61254cb49599db5af743cc91ca8a6ed2839fa3800e9d205829afe55723
# ubuntu-22.04-4.14_opam-2.4
USER 1000:1000
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 8a324a5b9945e0e515da441ede437f3756caa83d || git fetch origin master) && git reset -q --hard 8a324a5b9945e0e515da441ede437f3756caa83d && 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.1 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.1.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.dev logs.0.10.0 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250922 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.3 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.1.1 ppxlib.0.37.0 qcheck-core.0.27 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1 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-11-28 07:28.30: Using cache hint "ocaml-gospel/ortac-ocaml/opam:ubuntu-22.04-ocaml-4.14@sha256:b3b71c61254cb49599db5af743cc91ca8a6ed2839fa3800e9d205829afe55723-ubuntu-22.04-4.14_opam-2.4-930031f7697e58594b8a543205512105"
2025-11-28 07:28.30: Using OBuilder spec:
((from ocaml/opam:ubuntu-22.04-ocaml-4.14@sha256:b3b71c61254cb49599db5af743cc91ca8a6ed2839fa3800e9d205829afe55723)
(comment ubuntu-22.04-4.14_opam-2.4)
(user (uid 1000) (gid 1000))
(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 8a324a5b9945e0e515da441ede437f3756caa83d || git fetch origin master) && git reset -q --hard 8a324a5b9945e0e515da441ede437f3756caa83d && 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.1 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.1.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.dev logs.0.10.0 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250922 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.3 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.1.1 ppxlib.0.37.0 qcheck-core.0.27 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1 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-11-28 07:28.30: Waiting for resource in pool OCluster
2025-11-28 07:53.14: Waiting for worker…
2025-11-28 07:57.40: Got resource from pool OCluster
Building on clete
All commits already cached
HEAD is now at 94ceb5f Merge pull request #364 from n-osborne/gospel.0.3.1


(from ocaml/opam:ubuntu-22.04-ocaml-4.14@sha256:b3b71c61254cb49599db5af743cc91ca8a6ed2839fa3800e9d205829afe55723)
Unable to find image 'ocaml/opam:ubuntu-22.04-ocaml-4.14@sha256:b3b71c61254cb49599db5af743cc91ca8a6ed2839fa3800e9d205829afe55723' locally
docker.io/ocaml/opam@sha256:b3b71c61254cb49599db5af743cc91ca8a6ed2839fa3800e9d205829afe55723: Pulling from ocaml/opam
7e49dc6156b0: Already exists
5b9b1a0eb9f0: Pulling fs layer
39de8fe3fa1a: Pulling fs layer
6d9e9792a3e4: Pulling fs layer
9982f8f74828: Pulling fs layer
cb53ddb9c7ff: Pulling fs layer
6ca4a944ed5d: Pulling fs layer
dc1e39449744: Pulling fs layer
28e5525f5e3e: Pulling fs layer
190837da2626: Pulling fs layer
0dda72a640a0: Pulling fs layer
68597843ffd8: Pulling fs layer
59d78f277710: Pulling fs layer
a3bd35546b90: Pulling fs layer
6c011c78d239: Pulling fs layer
26c7c4223e1f: Pulling fs layer
4f4fb700ef54: Pulling fs layer
0ede47092c2f: Pulling fs layer
968332282b04: Pulling fs layer
8d75d29da602: Pulling fs layer
97fa719c3e94: Pulling fs layer
37ba2a552cc4: Pulling fs layer
d68fd23eb213: Pulling fs layer
270136b3ddde: Pulling fs layer
6aaf02491cf6: Pulling fs layer
9f82d52cf09b: Pulling fs layer
01a6be59f79c: Pulling fs layer
f41be054474a: Pulling fs layer
69c362cbbb1a: Pulling fs layer
9283ce2cc594: Pulling fs layer
4d64f5be11ad: Pulling fs layer
cba509fe7f1e: Pulling fs layer
9e8b588e1294: Pulling fs layer
a463c5aa27d9: Pulling fs layer
9de8f96c8d93: Pulling fs layer
6064abc3f4c1: Pulling fs layer
968332282b04: Waiting
10eae62fe436: Pulling fs layer
bf967208a3c8: Pulling fs layer
8d75d29da602: Waiting
01a6be59f79c: Waiting
8314d80bf40a: Pulling fs layer
f41be054474a: Waiting
69c362cbbb1a: Waiting
9283ce2cc594: Waiting
0e359094c96e: Pulling fs layer
4d64f5be11ad: Waiting
68597843ffd8: Waiting
cba509fe7f1e: Waiting
26c7c4223e1f: Waiting
4f4fb700ef54: Waiting
9eec512ab335: Pulling fs layer
0ede47092c2f: Waiting
97fa719c3e94: Waiting
636310f9a939: Pulling fs layer
10eae62fe436: Waiting
bf967208a3c8: Waiting
8314d80bf40a: Waiting
0e359094c96e: Waiting
dc1e39449744: Waiting
37ba2a552cc4: Waiting
6aaf02491cf6: Waiting
28e5525f5e3e: Waiting
59d78f277710: Waiting
6c011c78d239: Waiting
a3bd35546b90: Waiting
9f82d52cf09b: Waiting
6064abc3f4c1: Waiting
190837da2626: Waiting
0dda72a640a0: Waiting
6ca4a944ed5d: Waiting
270136b3ddde: Waiting
9eec512ab335: Waiting
d68fd23eb213: Waiting
636310f9a939: Waiting
9982f8f74828: Waiting
9e8b588e1294: Waiting
cb53ddb9c7ff: Waiting
5b9b1a0eb9f0: Verifying Checksum
5b9b1a0eb9f0: Download complete
39de8fe3fa1a: Verifying Checksum
39de8fe3fa1a: Download complete
5b9b1a0eb9f0: Pull complete
39de8fe3fa1a: Pull complete
9982f8f74828: Download complete
6ca4a944ed5d: Verifying Checksum
6ca4a944ed5d: Download complete
6d9e9792a3e4: Verifying Checksum
6d9e9792a3e4: Download complete
dc1e39449744: Verifying Checksum
dc1e39449744: Download complete
cb53ddb9c7ff: Verifying Checksum
cb53ddb9c7ff: Download complete
6d9e9792a3e4: Pull complete
9982f8f74828: Pull complete
28e5525f5e3e: Verifying Checksum
28e5525f5e3e: Download complete
190837da2626: Verifying Checksum
190837da2626: Download complete
0dda72a640a0: Verifying Checksum
0dda72a640a0: Download complete
59d78f277710: Verifying Checksum
59d78f277710: Download complete
a3bd35546b90: Download complete
68597843ffd8: Verifying Checksum
68597843ffd8: Download complete
6c011c78d239: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
0ede47092c2f: Verifying Checksum
0ede47092c2f: Download complete
26c7c4223e1f: Verifying Checksum
26c7c4223e1f: Download complete
8d75d29da602: Verifying Checksum
8d75d29da602: Download complete
97fa719c3e94: Verifying Checksum
97fa719c3e94: Download complete
37ba2a552cc4: Download complete
d68fd23eb213: Verifying Checksum
d68fd23eb213: Download complete
968332282b04: Verifying Checksum
968332282b04: Download complete
6aaf02491cf6: Verifying Checksum
6aaf02491cf6: Download complete
270136b3ddde: Verifying Checksum
270136b3ddde: Download complete
9f82d52cf09b: Verifying Checksum
9f82d52cf09b: Download complete
01a6be59f79c: Download complete
69c362cbbb1a: Verifying Checksum
69c362cbbb1a: Download complete
f41be054474a: Verifying Checksum
f41be054474a: Download complete
cba509fe7f1e: Download complete
4d64f5be11ad: Download complete
9283ce2cc594: Verifying Checksum
9283ce2cc594: Download complete
a463c5aa27d9: Verifying Checksum
a463c5aa27d9: Download complete
6064abc3f4c1: Verifying Checksum
6064abc3f4c1: Download complete
10eae62fe436: Verifying Checksum
10eae62fe436: Download complete
bf967208a3c8: Verifying Checksum
bf967208a3c8: Download complete
cb53ddb9c7ff: Pull complete
6ca4a944ed5d: Pull complete
dc1e39449744: Pull complete
28e5525f5e3e: Pull complete
190837da2626: Pull complete
0dda72a640a0: Pull complete
68597843ffd8: Pull complete
59d78f277710: Pull complete
a3bd35546b90: Pull complete
6c011c78d239: Pull complete
26c7c4223e1f: Pull complete
4f4fb700ef54: Pull complete
0ede47092c2f: Pull complete
968332282b04: Pull complete
8d75d29da602: Pull complete
97fa719c3e94: Pull complete
37ba2a552cc4: Pull complete
d68fd23eb213: Pull complete
270136b3ddde: Pull complete
8314d80bf40a: Verifying Checksum
8314d80bf40a: Download complete
6aaf02491cf6: Pull complete
9f82d52cf09b: Pull complete
01a6be59f79c: Pull complete
f41be054474a: Pull complete
69c362cbbb1a: Pull complete
9283ce2cc594: Pull complete
4d64f5be11ad: Pull complete
cba509fe7f1e: Pull complete
0e359094c96e: Verifying Checksum
0e359094c96e: Download complete
9eec512ab335: Download complete
636310f9a939: Verifying Checksum
636310f9a939: Download complete
9de8f96c8d93: Verifying Checksum
9de8f96c8d93: Download complete
9e8b588e1294: Download complete
9e8b588e1294: Pull complete
a463c5aa27d9: Pull complete
9de8f96c8d93: Pull complete
6064abc3f4c1: Pull complete
10eae62fe436: Pull complete
bf967208a3c8: Pull complete
8314d80bf40a: Pull complete
0e359094c96e: Pull complete
9eec512ab335: Pull complete
636310f9a939: Pull complete
Digest: sha256:b3b71c61254cb49599db5af743cc91ca8a6ed2839fa3800e9d205829afe55723
Status: Downloaded newer image for ocaml/opam@sha256:b3b71c61254cb49599db5af743cc91ca8a6ed2839fa3800e9d205829afe55723
2025-11-28 07:57.40 ---> using "f95cadcefb5e76597def8103e41424f6cfa5e7a6b6fbe8791fb2ec4d52cc7f31" from cache


/: (comment ubuntu-22.04-4.14_opam-2.4)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
2025-11-28 07:57.40 ---> using "ecaf949f7f0c49479f68dcf7a0a93af6b081cf5e43ab8924da88ee2c326b8000" 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 version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.


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


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-11-28 07:57.40 ---> using "3e463ffa8d2750faae2bd1466ef2e647ef1ce14012a29a17f940b7fdd1ed7887" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-84-generic
The OCaml toplevel, version 4.14.2
2.4.1
2025-11-28 07:57.40 ---> using "86edd9fdfe9ac6b29d2e8a9e922daaa2f3fa65895a6ec19a54578d744ec47597" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-11-28 07:57.40 ---> using "05115033ccbb7ac23081a7824108c5f0060c49fd7c1355f6c7b022f39090ffea" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 8a324a5b9945e0e515da441ede437f3756caa83d || git fetch origin master) && git reset -q --hard 8a324a5b9945e0e515da441ede437f3756caa83d && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
ee3428377a..eb45f7ec86  master     -> origin/master
8a324a5b99 Add: cmdliner.2.1.0 (#28962)


<><> 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.4.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-11-28 07:57.40 ---> using "3f3885b0abe218a0969bc65bd27a9d379fc259640e57b14fcfec4894dfb62564" 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 ./))
2025-11-28 07:57.41 ---> saved as "ec2b71547cf8fa988ca78b81605b42d9b03568a69a74f49117cf63a7212f24ef"


/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)
The following additional pinnings are required by ortac-wrapper.dev:
- gospel.dev at git+https://github.com/ocaml-gospel/gospel#c17ae6b808f11192f42009e2837f9c3c9e829eb3
Pin and install them? [Y/n] y
[gospel.dev] synchronised (no changes)
gospel is now pinned to git+https://github.com/ocaml-gospel/gospel#c17ae6b808f11192f42009e2837f9c3c9e829eb3 (version dev)
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-11-28 07:58.22 ---> saved as "a7ba420aa04dd4e5f8f1ad70ee2c8f7bba3dafd787724f9d3754573fe397616a"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-11-28 07:58.23 ---> saved as "76bec4e164a388529230b802028ebc8bd3eeb95c23c00607b2444903af5b9e1d"


/src: (env DEPS "afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.1.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.dev logs.0.10.0 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250922 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.3 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.1.1 ppxlib.0.37.0 qcheck-core.0.27 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1 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"
- Get:1 http://security.ubuntu.com/ubuntu jammy-security InRelease [129 kB]
- Hit:2 http://archive.ubuntu.com/ubuntu jammy InRelease
- Get:3 http://archive.ubuntu.com/ubuntu jammy-updates InRelease [128 kB]
- Get:4 http://security.ubuntu.com/ubuntu jammy-security/universe amd64 Packages [1290 kB]
- Get:5 http://security.ubuntu.com/ubuntu jammy-security/main amd64 Packages [3539 kB]
- Get:6 http://security.ubuntu.com/ubuntu jammy-security/restricted amd64 Packages [6008 kB]
- Get:7 http://archive.ubuntu.com/ubuntu jammy-backports InRelease [127 kB]
- Get:8 http://archive.ubuntu.com/ubuntu jammy-updates/universe amd64 Packages [1596 kB]
- Get:9 http://archive.ubuntu.com/ubuntu jammy-updates/main amd64 Packages [3876 kB]
- Fetched 16.7 MB in 2s (7653 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)
[gospel.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 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"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libglib2.0-0: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 ... 15645 files and directories currently installed.)
- Preparing to unpack .../0-libglib2.0-0_2.72.4-0ubuntu2.6_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.72.4-0ubuntu2.6) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../1-libglib2.0-data_2.72.4-0ubuntu2.6_all.deb ...
- Unpacking libglib2.0-data (2.72.4-0ubuntu2.6) ...
- Selecting previously unselected package libicu70:amd64.
- Preparing to unpack .../2-libicu70_70.1-2_amd64.deb ...
- Unpacking libicu70:amd64 (70.1-2) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../3-libxml2_2.9.13+dfsg-1ubuntu0.10_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.13+dfsg-1ubuntu0.10) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../4-shared-mime-info_2.1-2_amd64.deb ...
- Unpacking shared-mime-info (2.1-2) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../5-xdg-user-dirs_0.17-2ubuntu4_amd64.deb ...
- Unpacking xdg-user-dirs (0.17-2ubuntu4) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../6-libgmpxx4ldbl_2%3a6.2.1+dfsg-3ubuntu1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3ubuntu1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../7-libgmp-dev_2%3a6.2.1+dfsg-3ubuntu1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-3ubuntu1) ...
- Selecting previously unselected package pkg-config.
- Preparing to unpack .../8-pkg-config_0.29.2-1ubuntu3_amd64.deb ...
- Unpacking pkg-config (0.29.2-1ubuntu3) ...
- Setting up xdg-user-dirs (0.17-2ubuntu4) ...
- Setting up libglib2.0-0:amd64 (2.72.4-0ubuntu2.6) ...
- No schema files found: doing nothing.
- Setting up libglib2.0-data (2.72.4-0ubuntu2.6) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3ubuntu1) ...
- Setting up pkg-config (0.29.2-1ubuntu3) ...
- Setting up libicu70:amd64 (70.1-2) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-3ubuntu1) ...
- Setting up libxml2:amd64 (2.9.13+dfsg-1ubuntu0.10) ...
- Setting up shared-mime-info (2.1-2) ...
- Processing triggers for libc-bin (2.35-0ubuntu3.11) ...
2025-11-28 07:59.00 ---> saved as "917569bfbfeccb84473ac4a1d1e956b88648fd1428104acf24a681fa09146ed7"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[gospel.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 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 46 packages
- install afl-persistent             1.4
- install alcotest                   1.9.1
- install astring                    0.8.5
- install camlp-streams              5.0.1
- install cmdliner                   2.1.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                     dev (pinned)
- install logs                       0.10.0
- install mdx                        2.5.1
- install menhir                     20250912
- install menhirCST                  20250912
- install menhirLib                  20250912
- install menhirSdk                  20250912
- install monolith                   20250922
- install ocaml-compiler-libs        v0.12.4
- install ocaml-syntax-shims         1.0.0
- install ocaml-version              4.0.3
- 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.1.1
- install ppxlib                     0.37.0
- install qcheck-core                0.27
- install qcheck-multicoretests-util 0.10
- install qcheck-stm                 0.10
- install re                         1.14.0
- install result                     1.5
- install sexplib0                   v0.17.0
- install stdlib-shims               0.3.0
- install stdune                     3.20.2
- install topkg                      1.1.1
- install uutf                       1.0.4
- install zarith                     1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved afl-persistent.1.4  (cached)
-> retrieved alcotest.1.9.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved cmdliner.2.1.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved csexp.1.5.2  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved logs.0.10.0  (cached)
-> retrieved mdx.2.5.1  (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912  (cached)
-> retrieved monolith.20250922  (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 gospel.dev  (no changes)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocaml-version.4.0.3  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved pp.2.0.0  (cached)
-> retrieved pp_loc.2.1.0  (cached)
-> retrieved pprint.20230830  (cached)
-> installed cmdliner.2.1.0
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.1.1  (cached)
-> retrieved qcheck-core.0.27  (cached)
-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10  (cached)
-> retrieved ppxlib.0.37.0  (cached)
-> retrieved re.1.14.0  (cached)
-> retrieved result.1.5  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved topkg.1.1.1  (cached)
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed uutf.1.0.4
-> installed astring.0.8.5
-> installed logs.0.10.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.3
-> 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 stdlib-shims.0.3.0
-> installed afl-persistent.1.4
-> installed sexplib0.v0.17.0
-> installed re.1.14.0
-> installed ordering.3.20.2
-> installed qcheck-core.0.27
-> installed monolith.20250922
-> installed dune-build-info.3.20.2
-> installed alcotest.1.9.1
-> installed qcheck-multicoretests-util.0.10
-> installed qcheck-stm.0.10
-> installed dyn.3.20.2
-> installed mdx.2.5.1
-> installed stdune.3.20.2
-> installed dune-private-libs.3.20.2
-> installed dune-site.3.20.2
-> installed menhir.20250912
-> installed ppxlib.0.37.0
-> installed ppx_deriving.6.1.1
-> installed gospel.dev
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-11-28 08:02.55 ---> saved as "52963271d8a0e0a3b8e37eb802ce19ab190b09447877b125151b1b52571c26e4"


/src: (copy (src .) (dst /src))
2025-11-28 08:02.56 ---> saved as "03223a8bdc19b5dbc0b0d7d04ef7d911b32f3d90b545f7786d4f6213bb54e27b"


/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 `QNBHT9NK'.


[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.002s. 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.


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.


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


sequence_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.
(cd _build/default/plugins/wrapper/test/suite && ./test.exe)
Testing `Ortac'.
This run has ID `U9M9QM6V'.


[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.079s. 31 tests run.
(cd _build/default && /usr/bin/timeout -s INT -k 3 20 test/runtime/stdlibset.exe)
1K tests run so far ( 22K/s overall, 228K/s now) (fuel = 20).
23K tests run so far ( 21K/s overall,  25K/s now) (fuel = 20).
48K tests run so far ( 23K/s overall,  28K/s now) (fuel = 20).
63K tests run so far ( 19K/s overall,  12K/s now) (fuel = 20).
74K tests run so far ( 17K/s overall,  14K/s now) (fuel = 20).
95K tests run so far ( 17K/s overall,  25K/s now) (fuel = 20).
118K tests run so far ( 18K/s overall,  23K/s now) (fuel = 20).
141K tests run so far ( 19K/s overall,  23K/s now) (fuel = 20).
159K tests run so far ( 18K/s overall,  18K/s now) (fuel = 20).
180K tests run so far ( 19K/s overall,  25K/s now) (fuel = 20).
203K tests run so far ( 19K/s overall,  23K/s now) (fuel = 20).
227K tests run so far ( 19K/s overall,  30K/s now) (fuel = 20).
251K tests run so far ( 20K/s overall,  25K/s now) (fuel = 20).
280K tests run so far ( 20K/s overall,  32K/s now) (fuel = 20).
308K tests run so far ( 21K/s overall,  28K/s now) (fuel = 20).
338K tests run so far ( 21K/s overall,  28K/s now) (fuel = 20).
365K tests run so far ( 22K/s overall,  31K/s now) (fuel = 20).
392K tests run so far ( 22K/s overall,  30K/s now) (fuel = 20).
445K tests run so far ( 23K/s overall,  61K/s now) (fuel = 20).
494K tests run so far ( 25K/s overall,  60K/s now) (fuel = 20).


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


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


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


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


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


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


queue_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.
2025-11-28 08:03.20 ---> saved as "27c99c491c4e7380d8f69d6ddd9bda686bbea49235f764af7096304dc43dc799"
Job succeeded
2025-11-28 08:03.20: Job succeeded