debian-13-4.14_riscv64_opam-2.4

2025-12-02 14:09.49: New job: test ocaml-gospel/ortac https://github.com/ocaml-gospel/ortac.git#refs/heads/main (3efeacaea6ab87f383815090dcdf59239980ec6d) (linux-riscv64:debian-13-4.14_riscv64_opam-2.4)
Base: ocaml/opam:debian-13-ocaml-4.14@sha256:cda000de9eec4a5cd6ab249d75a73bfb5e392c1745c5121432c7418ad5cf8adf
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-gospel/ortac.git" -b "main" && cd "ortac" && git reset --hard 3efeacae
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:cda000de9eec4a5cd6ab249d75a73bfb5e392c1745c5121432c7418ad5cf8adf
# debian-13-4.14_riscv64_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-12-02 14:09.49: Using cache hint "ocaml-gospel/ortac-ocaml/opam:debian-13-ocaml-4.14@sha256:cda000de9eec4a5cd6ab249d75a73bfb5e392c1745c5121432c7418ad5cf8adf-debian-13-4.14_riscv64_opam-2.4-930031f7697e58594b8a543205512105"
2025-12-02 14:09.49: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:cda000de9eec4a5cd6ab249d75a73bfb5e392c1745c5121432c7418ad5cf8adf)
(comment debian-13-4.14_riscv64_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-12-02 14:09.49: Waiting for resource in pool OCluster
2025-12-02 14:09.49: Waiting for worker…
2025-12-02 14:09.49: Got resource from pool OCluster
Building on riscv-bm-03.sw.ci.dev
HEAD is now at 709bc27 Update upload-pages-artifact action
HEAD is now at 3efeaca Merge pull request #365 from n-osborne/assym-frequencies


(from ocaml/opam:debian-13-ocaml-4.14@sha256:cda000de9eec4a5cd6ab249d75a73bfb5e392c1745c5121432c7418ad5cf8adf)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:cda000de9eec4a5cd6ab249d75a73bfb5e392c1745c5121432c7418ad5cf8adf' locally
docker.io/ocaml/opam@sha256:cda000de9eec4a5cd6ab249d75a73bfb5e392c1745c5121432c7418ad5cf8adf: Pulling from ocaml/opam
de6b66e2abcf: Pulling fs layer
f69676b5bf8f: Pulling fs layer
bd99c0c73b96: Pulling fs layer
f210851d5991: Pulling fs layer
594b880773c5: Pulling fs layer
88a6edaecebc: Pulling fs layer
8c35beb4616c: Pulling fs layer
e8a4d2e94f85: Pulling fs layer
d0f326f9e9ec: Pulling fs layer
956d5e78253b: Pulling fs layer
7954f716a115: Pulling fs layer
581e2c81493a: Pulling fs layer
5529fc0e1c40: Pulling fs layer
79db350ffd3e: Pulling fs layer
cc43366a44e4: Pulling fs layer
63496b557f2e: Pulling fs layer
357540a23278: Pulling fs layer
9c33f166bcc4: Pulling fs layer
fe47bb149eab: Pulling fs layer
8e454fb1c5ba: Pulling fs layer
e65b908a43b4: Pulling fs layer
4f4fb700ef54: Pulling fs layer
ef05e6691b99: Pulling fs layer
bc5b14d5098c: Pulling fs layer
7f3be6720340: Pulling fs layer
6a2fceda0a19: Pulling fs layer
92ebb3103569: Pulling fs layer
097a5f6d220f: Pulling fs layer
a2f2cdd57c97: Pulling fs layer
4b459e121afa: Pulling fs layer
feea11194646: Pulling fs layer
20fc9743e971: Pulling fs layer
ae11f1720a91: Pulling fs layer
6436fc53390a: Pulling fs layer
1f45d3f5393a: Pulling fs layer
8259f056cd2d: Pulling fs layer
38957e560f26: Pulling fs layer
5afd09ced062: Pulling fs layer
2b07726c09d1: Pulling fs layer
a5b0a9ef817f: Pulling fs layer
f210851d5991: Waiting
4c49558dbf06: Pulling fs layer
594b880773c5: Waiting
88a6edaecebc: Waiting
ff7cea3f4ac5: Pulling fs layer
8c35beb4616c: Waiting
83ed2be0386b: Pulling fs layer
e8a4d2e94f85: Waiting
b110f90dc31d: Pulling fs layer
e65b908a43b4: Waiting
4f4fb700ef54: Waiting
ef05e6691b99: Waiting
bc5b14d5098c: Waiting
7f3be6720340: Waiting
6a2fceda0a19: Waiting
92ebb3103569: Waiting
097a5f6d220f: Waiting
5afd09ced062: Waiting
a2f2cdd57c97: Waiting
2b07726c09d1: Waiting
4b459e121afa: Waiting
feea11194646: Waiting
a5b0a9ef817f: Waiting
20fc9743e971: Waiting
4c49558dbf06: Waiting
ae11f1720a91: Waiting
ff7cea3f4ac5: Waiting
6436fc53390a: Waiting
1f45d3f5393a: Waiting
83ed2be0386b: Waiting
8259f056cd2d: Waiting
38957e560f26: Waiting
b110f90dc31d: Waiting
d0f326f9e9ec: Waiting
956d5e78253b: Waiting
7954f716a115: Waiting
581e2c81493a: Waiting
5529fc0e1c40: Waiting
79db350ffd3e: Waiting
cc43366a44e4: Waiting
63496b557f2e: Waiting
357540a23278: Waiting
9c33f166bcc4: Waiting
fe47bb149eab: Waiting
8e454fb1c5ba: Waiting
f69676b5bf8f: Verifying Checksum
f69676b5bf8f: Download complete
bd99c0c73b96: Verifying Checksum
bd99c0c73b96: Download complete
594b880773c5: Verifying Checksum
594b880773c5: Download complete
f210851d5991: Verifying Checksum
f210851d5991: Download complete
8c35beb4616c: Verifying Checksum
8c35beb4616c: Download complete
de6b66e2abcf: Verifying Checksum
de6b66e2abcf: Download complete
e8a4d2e94f85: Verifying Checksum
e8a4d2e94f85: Download complete
956d5e78253b: Verifying Checksum
956d5e78253b: Download complete
d0f326f9e9ec: Verifying Checksum
d0f326f9e9ec: Download complete
581e2c81493a: Verifying Checksum
581e2c81493a: Download complete
7954f716a115: Verifying Checksum
7954f716a115: Download complete
5529fc0e1c40: Verifying Checksum
5529fc0e1c40: Download complete
cc43366a44e4: Verifying Checksum
cc43366a44e4: Download complete
79db350ffd3e: Download complete
de6b66e2abcf: Pull complete
f69676b5bf8f: Pull complete
bd99c0c73b96: Pull complete
f210851d5991: Pull complete
594b880773c5: Pull complete
88a6edaecebc: Download complete
63496b557f2e: Verifying Checksum
63496b557f2e: Download complete
357540a23278: Download complete
9c33f166bcc4: Verifying Checksum
9c33f166bcc4: Download complete
fe47bb149eab: Download complete
e65b908a43b4: Verifying Checksum
4f4fb700ef54: Download complete
8e454fb1c5ba: Verifying Checksum
8e454fb1c5ba: Download complete
ef05e6691b99: Download complete
bc5b14d5098c: Verifying Checksum
bc5b14d5098c: Download complete
7f3be6720340: Verifying Checksum
7f3be6720340: Download complete
6a2fceda0a19: Verifying Checksum
6a2fceda0a19: Download complete
097a5f6d220f: Verifying Checksum
097a5f6d220f: Download complete
92ebb3103569: Verifying Checksum
92ebb3103569: Download complete
a2f2cdd57c97: Verifying Checksum
a2f2cdd57c97: Download complete
4b459e121afa: Verifying Checksum
4b459e121afa: Download complete
feea11194646: Verifying Checksum
feea11194646: Download complete
ae11f1720a91: Verifying Checksum
ae11f1720a91: Download complete
6436fc53390a: Verifying Checksum
6436fc53390a: Download complete
8259f056cd2d: Verifying Checksum
8259f056cd2d: Download complete
20fc9743e971: Verifying Checksum
20fc9743e971: Download complete
5afd09ced062: Verifying Checksum
5afd09ced062: Download complete
2b07726c09d1: Verifying Checksum
2b07726c09d1: Download complete
a5b0a9ef817f: Download complete
38957e560f26: Verifying Checksum
38957e560f26: Download complete
ff7cea3f4ac5: Verifying Checksum
ff7cea3f4ac5: Download complete
83ed2be0386b: Download complete
1f45d3f5393a: Verifying Checksum
1f45d3f5393a: Download complete
b110f90dc31d: Verifying Checksum
b110f90dc31d: Download complete
4c49558dbf06: Verifying Checksum
4c49558dbf06: Download complete
88a6edaecebc: Pull complete
8c35beb4616c: Pull complete
e8a4d2e94f85: Pull complete
d0f326f9e9ec: Pull complete
956d5e78253b: Pull complete
7954f716a115: Pull complete
581e2c81493a: Pull complete
5529fc0e1c40: Pull complete
79db350ffd3e: Pull complete
cc43366a44e4: Pull complete
63496b557f2e: Pull complete
357540a23278: Pull complete
9c33f166bcc4: Pull complete
fe47bb149eab: Pull complete
8e454fb1c5ba: Pull complete
e65b908a43b4: Pull complete
4f4fb700ef54: Pull complete
ef05e6691b99: Pull complete
bc5b14d5098c: Pull complete
7f3be6720340: Pull complete
6a2fceda0a19: Pull complete
92ebb3103569: Pull complete
097a5f6d220f: Pull complete
a2f2cdd57c97: Pull complete
4b459e121afa: Pull complete
feea11194646: Pull complete
20fc9743e971: Pull complete
ae11f1720a91: Pull complete
6436fc53390a: Pull complete
1f45d3f5393a: Pull complete
8259f056cd2d: Pull complete
38957e560f26: Pull complete
5afd09ced062: Pull complete
2b07726c09d1: Pull complete
a5b0a9ef817f: Pull complete
4c49558dbf06: Pull complete
ff7cea3f4ac5: Pull complete
83ed2be0386b: Pull complete
b110f90dc31d: Pull complete
Digest: sha256:cda000de9eec4a5cd6ab249d75a73bfb5e392c1745c5121432c7418ad5cf8adf
Status: Downloaded newer image for ocaml/opam@sha256:cda000de9eec4a5cd6ab249d75a73bfb5e392c1745c5121432c7418ad5cf8adf
2025-12-02 14:09.51 ---> using "d92264e4bdf2426bd0a75a28e8d5f200891b44df8f32fb9f00ff584244f2cacb" from cache


/: (comment debian-13-4.14_riscv64_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-12-02 14:09.51 ---> using "70cfd89a534ac32b8a03cf7388e0fdb61301f41aaa19dcb6b61dd3f55663ba27" 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-12-02 14:09.51 ---> using "f74819040769082e49a9fea58a1427a0a67d742a64946c725f49c09310b0db0e" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.10.113-scw1
The OCaml toplevel, version 4.14.2
2.4.1
2025-12-02 14:09.51 ---> using "7434d0a37580c0b39246a6cf4a080a75f3e363f86d91ab3095645c56a45f9c6c" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-12-02 14:09.51 ---> using "a30671c3bcc6f8fdaa41418ca2da6a16da8c27e6903e7bfab47cdbafd215b563" 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
21f97b2e6d..1808b67a60  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-12-02 14:09.51 ---> using "85e1cb04592ad7c40cdf9717ff0d1ccf282a107941e119cd3063d4ee6250ec87" 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-12-02 14:09.51 ---> using "b97954bf7a4825c461215e1ff824a472340b0bbe491147052e5d0a05744e8106" 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 './'"))
[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-12-02 14:09.51 ---> using "83bf066d297494b5532c078a14809b23cd5269f1941f706834c1059d9725a9c3" from cache


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-12-02 14:09.51 ---> using "5459db4d51835afdccf5b5b6a217e6126788032bd06954c972242be9c434fdef" from cache


/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://deb.debian.org/debian trixie InRelease [140 kB]
- 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 trixie/main riscv64 Packages [9379 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main riscv64 Packages [71.6 kB]
- Fetched 9682 kB in 5s (1866 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"
- Selecting previously unselected package libgmpxx4ldbl:riscv64.
- (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 ... 20700 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_riscv64.deb ...
- Unpacking libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:riscv64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_riscv64.deb ...
- Unpacking libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:riscv64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_riscv64.deb ...
- Unpacking libpkgconf3:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:riscv64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:riscv64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_riscv64.deb ...
- Unpacking pkg-config:riscv64 (1.8.1-4) ...
- Setting up libpkgconf3:riscv64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:riscv64 (1.8.1-4) ...
- Setting up pkg-config:riscv64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
2025-12-02 14:09.51 ---> using "3fa6207aa47b1506074bb01245b9a9668b482c07e707b93536483fc7d4eb0e4d" from cache


/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 gospel.dev  (no changes)
-> retrieved monolith.20250922  (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 ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocaml-version.4.0.3  (cached)
-> retrieved pp.2.0.0  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ocamlbuild.0.16.1  (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 ppxlib.0.37.0  (cached)
-> retrieved qcheck-core.0.27  (cached)
-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10  (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 topkg.1.1.1  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved zarith.1.14  (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 astring.0.8.5
-> installed uutf.1.0.4
-> installed logs.0.10.0
-> installed dune.3.20.2
-> installed afl-persistent.1.4
-> 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 dune-build-info.3.20.2
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-version.4.0.3
-> installed pp.2.0.0
-> installed pp_loc.2.1.0
-> installed ordering.3.20.2
-> installed pprint.20230830
-> installed ppx_derivers.1.2.1
-> installed dyn.3.20.2
-> installed monolith.20250922
-> installed re.1.14.0
-> installed qcheck-core.0.27
-> installed result.1.5
-> installed qcheck-multicoretests-util.0.10
-> installed sexplib0.v0.17.0
-> installed qcheck-stm.0.10
-> installed stdlib-shims.0.3.0
-> installed mdx.2.5.1
-> installed alcotest.1.9.1
-> installed stdune.3.20.2
-> installed menhir.20250912
-> installed dune-private-libs.3.20.2
-> installed dune-site.3.20.2
-> 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-12-02 14:09.51 ---> using "36ff104f283f32f7f9cb66ee65d824e61ddb1c7365c7ba7f5746148658beec11" from cache


/src: (copy (src .) (dst /src))
2025-12-02 14:09.51 ---> using "8a12a975d5887b938037549c15a5f3a78d51a5fa5543d1c199b654cffda29af9" from cache


/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 && /usr/bin/timeout -s INT -k 3 20 test/runtime/stdlibset.exe)
1K tests run so far (  6K/s overall,  61K/s now) (fuel = 20).
8K tests run so far (  5K/s overall,   7K/s now) (fuel = 20).
12K tests run so far (  4K/s overall,   5K/s now) (fuel = 20).
16K tests run so far (  4K/s overall,   4K/s now) (fuel = 20).
19K tests run so far (  4K/s overall,   3K/s now) (fuel = 20).
22K tests run so far (  3K/s overall,   3K/s now) (fuel = 20).
26K tests run so far (  3K/s overall,   3K/s now) (fuel = 20).
30K tests run so far (  3K/s overall,   3K/s now) (fuel = 20).
34K tests run so far (  3K/s overall,   4K/s now) (fuel = 20).
38K tests run so far (  3K/s overall,   3K/s now) (fuel = 20).
42K tests run so far (  3K/s overall,   3K/s now) (fuel = 20).
46K tests run so far (  3K/s overall,   4K/s now) (fuel = 20).
50K tests run so far (  3K/s overall,   4K/s now) (fuel = 20).
54K tests run so far (  3K/s overall,   4K/s now) (fuel = 20).
58K tests run so far (  3K/s overall,   4K/s now) (fuel = 20).
62K tests run so far (  3K/s overall,   3K/s now) (fuel = 20).
66K tests run so far (  3K/s overall,   3K/s now) (fuel = 20).
70K tests run so far (  3K/s overall,   4K/s now) (fuel = 20).
74K tests run so far (  3K/s overall,   4K/s now) (fuel = 20).


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.


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


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


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.


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


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


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


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


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.


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


queue_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.
(cd _build/default/plugins/wrapper/test/generated && ./test.exe)
Testing `Wrapped lib'.
This run has ID `9FBB2ZOZ'.


[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.008s. 13 tests run.


wrapper.exe has been generated with the ortac-monolith plugin.
(cd _build/default/plugins/wrapper/test/suite && ./test.exe)
Testing `Ortac'.
This run has ID `43RKLVU9'.


[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.143s. 31 tests run.
2025-12-02 14:09.51 ---> using "4975463127570c6c4b4337c62ce330f69c859d6bef63735dd9785553e98ac9f2" from cache
Job succeeded
2025-12-02 14:09.52: Job succeeded