2026-07-03 01:05.27: New job: test ocaml-gospel/ortac https://github.com/ocaml-gospel/ortac.git#refs/heads/main (a86251abd76694e2e444bc88ea5c05e342053db9) (openbsd-amd64:openbsd-79-amd64-4.14_opam-2.5)Base: openbsd-79-amd64-ocaml-4.14Opam project buildTo reproduce locally:git clone --recursive "https://github.com/ocaml-gospel/ortac.git" -b "main" && cd "ortac" && git reset --hard a86251abcat > Dockerfile <<'END-OF-DOCKERFILE'FROM openbsd-79-amd64-ocaml-4.14# openbsd-79-amd64-4.14_opam-2.5USER 1000:1000ENV CLICOLOR_FORCE="1"ENV OPAMCOLOR="always"RUN doas ln -f /usr/bin/opam-2.5 /usr/bin/opamRUN cd ~/opam-repository && (git cat-file -e 03a6e0f0ec6ebe18889161edcd1c33549c6400cf || git fetch origin master) && git reset -q --hard 03a6e0f0ec6ebe18889161edcd1c33549c6400cf && git log --no-decorate -n1 --onelineRUN opam init --reinit -niRUN uname -rs && opam exec -- ocaml -version && opam --versionRUN opam update -uCOPY --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 /home/opam/src/./RUN opam pin add -yn ortac-wrapper.dev '/home/opam/src/./' && \opam pin add -yn ortac-runtime.dev '/home/opam/src/./' && \opam pin add -yn ortac-runtime-qcheck-stm.dev '/home/opam/src/./' && \opam pin add -yn ortac-runtime-monolith.dev '/home/opam/src/./' && \opam pin add -yn ortac-qcheck-stm.dev '/home/opam/src/./' && \opam pin add -yn ortac-monolith.dev '/home/opam/src/./' && \opam pin add -yn ortac-examples.dev '/home/opam/src/./' && \opam pin add -yn ortac-dune.dev '/home/opam/src/./' && \opam pin add -yn ortac-core.dev '/home/opam/src/./'RUN echo '(lang dune 3.0)' > '/home/opam/src/./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.1 conf-gmp.5 conf-pkg-config.5 cppo.1.8.0 csexp.1.5.2 dune.3.24.0 dune-build-info.3.24.0 dune-private-libs.3.24.0 dune-site.3.24.0 dyn.3.24.0 fmt.0.11.0 fs-io.3.24.0 gospel.0.3.1 logs.0.10.0 mdx.2.5.2 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 monolith.20250922 ocaml.4.14.4 ocaml-base-compiler.4.14.4 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.1.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.24.0 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.1.2 ppxlib.0.38.0 qcheck-core.0.91 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.24.0 top-closure.3.24.0 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.5 --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 $DEPSRUN opam install $DEPSCOPY --chown=1000:1000 . /home/opam/srcRUN cd /home/opam/src && 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 _buildEND-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2026-07-03 01:05.27: Using cache hint "ocaml-gospel/ortac-openbsd-79-amd64-ocaml-4.14-openbsd-79-amd64-4.14_opam-2.5-989587303569af2f4383217738042d6d"2026-07-03 01:05.27: Using OBuilder spec:((from openbsd-79-amd64-ocaml-4.14)(comment openbsd-79-amd64-4.14_opam-2.5)(user (uid 1000) (gid 1000))(env CLICOLOR_FORCE 1)(env OPAMCOLOR always)(run (shell "doas ln -f /usr/bin/opam-2.5 /usr/bin/opam"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 03a6e0f0ec6ebe18889161edcd1c33549c6400cf || git fetch origin master) && git reset -q --hard 03a6e0f0ec6ebe18889161edcd1c33549c6400cf && git log --no-decorate -n1 --oneline"))(run (shell "opam init --reinit -ni"))(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "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 /home/opam/src/./))(run (network host)(shell "opam pin add -yn ortac-wrapper.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-runtime.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-runtime-qcheck-stm.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-runtime-monolith.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-qcheck-stm.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-monolith.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-examples.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-dune.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-core.dev '/home/opam/src/./'"))(run (shell "echo '(lang dune 3.0)' > '/home/opam/src/./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.1 conf-gmp.5 conf-pkg-config.5 cppo.1.8.0 csexp.1.5.2 dune.3.24.0 dune-build-info.3.24.0 dune-private-libs.3.24.0 dune-site.3.24.0 dyn.3.24.0 fmt.0.11.0 fs-io.3.24.0 gospel.0.3.1 logs.0.10.0 mdx.2.5.2 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 monolith.20250922 ocaml.4.14.4 ocaml-base-compiler.4.14.4 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.1.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.24.0 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.1.2 ppxlib.0.38.0 qcheck-core.0.91 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.24.0 top-closure.3.24.0 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.5 --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 /home/opam/src))(run (shell "cd /home/opam/src && 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")))2026-07-03 01:05.27: Waiting for resource in pool OCluster2026-07-03 01:05.27: Waiting for worker…2026-07-03 08:44.14: Got resource from pool OClusterBuilding on oregano.caelum.ci.devAll commits already cachedHEAD is now at a86251a Merge pull request #378 from n-osborne/quickfix(from openbsd-79-amd64-ocaml-4.14)2026-07-03 08:43.43 ---> using "5e24bfeeaa3de45caf4cd29716e4adc4219199b5c2dd6b757b572d92cc94b31a" from cache/: (comment openbsd-79-amd64-4.14_opam-2.5)/: (user (uid 1000) (gid 1000))/: (env CLICOLOR_FORCE 1)/: (env OPAMCOLOR always)/: (run (shell "doas ln -f /usr/bin/opam-2.5 /usr/bin/opam"))2026-07-03 08:43.43 ---> using "15fe93ccba602f106e67f0bb02c74595328b2e107e8251d9eb7567c2c9da13c0" from cache/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 03a6e0f0ec6ebe18889161edcd1c33549c6400cf || git fetch origin master) && git reset -q --hard 03a6e0f0ec6ebe18889161edcd1c33549c6400cf && git log --no-decorate -n1 --oneline"))From https://github.com/ocaml/opam-repository* branch master -> FETCH_HEAD89a06fb4a7..03a6e0f0ec master -> origin/master03a6e0f0ec Merge pull request #30167 from sim642/release-ppx_deriving-6.1.22026-07-03 08:43.43 ---> using "a8620a1bec8585fe2e9878103a8498830fbc4b5f4a25a56e02b93ab7dddf57e3" from cache/: (run (shell "opam init --reinit -ni"))No configuration file found, using 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.<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from file:///home/opam/opam-repositorydefault (at file:///home/opam/opam-repository):[WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)default (at file:///home/opam/opam-repository):[INFO] opam 2.5.1 includes security fixes; please consider upgrading (https://opam.ocaml.org/doc/Install.html)2026-07-03 08:43.43 ---> using "0df4ef6f4e336c06ff3f9dd00d8a5835e09fb70ae7add6e22bd77c9d9a41cd62" from cache/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))OpenBSD 7.9The OCaml toplevel, version 4.14.42.5.02026-07-03 08:43.43 ---> using "6d8454961270c44b47d6f16b18e0de0b0f7a4f68970e877fd05e1ca09b952e6d" from cache/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update -u"))<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] no changes from file:///home/opam/opam-repositoryEverything 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.5.1"), which will ask permission to downgrade or uninstall the conflicting packages.Nothing to do.# To update the current shell environment, run: eval $(opam env)2026-07-03 08:43.43 ---> using "eef4b6e9f2cb93963d3724374ff3b2dbee7398c43ed05ec1ba33016c60c2300e" from cache/: (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 /home/opam/src/./))2026-07-03 08:44.44 ---> saved as "9a3ff8bd7abd29b5b8ff33b516264f17ecdbce185217c600bbb2cff3e4a5f2be"/: (run (network host)(shell "opam pin add -yn ortac-wrapper.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-runtime.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-runtime-qcheck-stm.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-runtime-monolith.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-qcheck-stm.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-monolith.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-examples.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-dune.dev '/home/opam/src/./' && \\nopam pin add -yn ortac-core.dev '/home/opam/src/./'"))[ortac-wrapper.dev] synchronised (file:///home/opam/src)ortac-wrapper is now pinned to file:///home/opam/src (version dev)[ortac-runtime.dev] synchronised (file:///home/opam/src)ortac-runtime is now pinned to file:///home/opam/src (version dev)[ortac-runtime-qcheck-stm.dev] synchronised (file:///home/opam/src)ortac-runtime-qcheck-stm is now pinned to file:///home/opam/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:///home/opam/src)ortac-runtime-monolith is now pinned to file:///home/opam/src (version dev)[ortac-qcheck-stm.dev] synchronised (file:///home/opam/src)ortac-qcheck-stm is now pinned to file:///home/opam/src (version dev)[NOTE] Package ortac-monolith does not exist in opam repositories registered in the current switch.[ortac-monolith.dev] synchronised (file:///home/opam/src)ortac-monolith is now pinned to file:///home/opam/src (version dev)[NOTE] Package ortac-examples does not exist in opam repositories registered in the current switch.[ortac-examples.dev] synchronised (file:///home/opam/src)ortac-examples is now pinned to file:///home/opam/src (version dev)[ortac-dune.dev] synchronised (file:///home/opam/src)ortac-dune is now pinned to file:///home/opam/src (version dev)[ortac-core.dev] synchronised (file:///home/opam/src)ortac-core is now pinned to file:///home/opam/src (version dev)2026-07-03 08:45.47 ---> saved as "5aadb984b03c3dd2ac74a0b7724f199c05b7240ff46e34e44dd807bfb38f7eaa"/: (run (shell "echo '(lang dune 3.0)' > '/home/opam/src/./dune-project'"))2026-07-03 08:46.51 ---> saved as "01eacff21aecac99321fbbe4baea20ee6733413e63050611b4b10a95bcd9b28f"/: (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.1 conf-gmp.5 conf-pkg-config.5 cppo.1.8.0 csexp.1.5.2 dune.3.24.0 dune-build-info.3.24.0 dune-private-libs.3.24.0 dune-site.3.24.0 dyn.3.24.0 fmt.0.11.0 fs-io.3.24.0 gospel.0.3.1 logs.0.10.0 mdx.2.5.2 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 monolith.20250922 ocaml.4.14.4 ocaml-base-compiler.4.14.4 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.1.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.24.0 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.1.2 ppxlib.0.38.0 qcheck-core.0.91 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.24.0 top-closure.3.24.0 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.5 --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"))[WARNING] Unknown update command for bsd, skipping system update<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>[ortac-monolith.dev] synchronised (file:///home/opam/src)[ortac-dune.dev] synchronised (file:///home/opam/src)[ortac-core.dev] synchronised (file:///home/opam/src)[ortac-qcheck-stm.dev] synchronised (file:///home/opam/src)[ortac-runtime.dev] synchronised (file:///home/opam/src)[ortac-runtime-monolith.dev] synchronised (file:///home/opam/src)[ortac-runtime-qcheck-stm.dev] synchronised (file:///home/opam/src)[ortac-wrapper.dev] synchronised (file:///home/opam/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.4).[NOTE] Package ocaml is already installed (current version is 4.14.4).[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:gmp<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>+ /usr/bin/doas "pkg_add" "-I" "gmp"- quirks-7.194 signed on 2026-07-02T13:26:21Z# To update the current shell environment, run: eval $(opam env)2026-07-03 08:47.51 ---> saved as "cb39072b400da379ce418bec2e5047a6f1724e08f5aba7c978f1e86f42f23dd8"/: (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.4).[NOTE] Package ocaml is already installed (current version is 4.14.4).[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 49 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.1- install conf-gmp 5- install conf-pkg-config 5- install cppo 1.8.0- install csexp 1.5.2- install dune 3.24.0- install dune-build-info 3.24.0- install dune-private-libs 3.24.0- install dune-site 3.24.0- install dyn 3.24.0- install fmt 0.11.0- install fs-io 3.24.0- install gospel 0.3.1- install logs 0.10.0- install mdx 2.5.2- install menhir 20260209- install menhirCST 20260209- install menhirGLR 20260209- install menhirLib 20260209- install menhirSdk 20260209- install monolith 20250922- install ocaml-compiler-libs v0.12.4- install ocaml-syntax-shims 1.0.0- install ocaml-version 4.1.3- install ocamlbuild 0.16.1- install ocamlfind 1.9.8- install ordering 3.24.0- 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.2- install ppxlib 0.38.0- install qcheck-core 0.91- 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.24.0- install top-closure 3.24.0- install topkg 1.1.1- install uutf 1.0.4- install zarith 1.14<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>-> retrieved astring.0.8.5 (cached)-> retrieved alcotest.1.9.1 (cached)-> retrieved camlp-streams.5.0.1 (cached)-> retrieved conf-gmp.5 (cached)-> retrieved conf-pkg-config.5 (cached)-> retrieved afl-persistent.1.4 (cached)-> installed conf-gmp.5-> retrieved cppo.1.8.0 (cached)-> installed conf-pkg-config.5-> retrieved csexp.1.5.2 (cached)-> retrieved cmdliner.2.1.1 (cached)-> retrieved gospel.0.3.1 (cached)-> retrieved fmt.0.11.0 (cached)-> retrieved logs.0.10.0 (cached)-> retrieved mdx.2.5.2 (cached)-> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209 (cached)-> retrieved monolith.20250922 (cached)-> retrieved ocaml-compiler-libs.v0.12.4 (cached)-> retrieved ocaml-syntax-shims.1.0.0 (cached)-> retrieved ocaml-version.4.1.3 (cached)-> retrieved dune.3.24.0, dune-build-info.3.24.0, dune-private-libs.3.24.0, dune-site.3.24.0, dyn.3.24.0, fs-io.3.24.0, ordering.3.24.0, stdune.3.24.0, top-closure.3.24.0 (cached)-> retrieved pp.2.0.0 (cached)-> retrieved ocamlfind.1.9.8 (cached)-> retrieved pprint.20230830 (cached)-> retrieved pp_loc.2.1.0 (cached)-> retrieved ppx_derivers.1.2.1 (cached)-> retrieved ocamlbuild.0.16.1 (cached)-> retrieved ppx_deriving.6.1.2 (cached)-> retrieved qcheck-core.0.91 (cached)-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10 (cached)-> retrieved re.1.14.0 (cached)-> retrieved result.1.5 (cached)-> retrieved ppxlib.0.38.0 (cached)-> retrieved stdlib-shims.0.3.0 (cached)-> retrieved sexplib0.v0.17.0 (cached)-> retrieved uutf.1.0.4 (cached)-> retrieved zarith.1.14 (cached)-> retrieved topkg.1.1.1 (cached)-> installed cmdliner.2.1.1-> installed ocamlfind.1.9.8-> installed zarith.1.14-> installed ocamlbuild.0.16.1-> 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.24.0-> installed afl-persistent.1.4-> installed camlp-streams.5.0.1-> installed csexp.1.5.2-> installed dune-build-info.3.24.0-> installed cppo.1.8.0-> installed menhirCST.20260209-> installed fs-io.3.24.0-> installed menhirGLR.20260209-> installed menhirSdk.20260209-> installed menhirLib.20260209-> installed ocaml-version.4.1.3-> installed ocaml-syntax-shims.1.0.0-> installed ocaml-compiler-libs.v0.12.4-> installed pp.2.0.0-> installed ordering.3.24.0-> installed pp_loc.2.1.0-> installed pprint.20230830-> installed ppx_derivers.1.2.1-> installed dyn.3.24.0-> installed qcheck-core.0.91-> installed monolith.20250922-> installed qcheck-multicoretests-util.0.10-> installed result.1.5-> installed qcheck-stm.0.10-> installed re.1.14.0-> installed stdlib-shims.0.3.0-> installed sexplib0.v0.17.0-> installed menhir.20260209-> installed alcotest.1.9.1-> installed mdx.2.5.2-> installed top-closure.3.24.0-> installed stdune.3.24.0-> installed ppxlib.0.38.0-> installed dune-private-libs.3.24.0-> installed ppx_deriving.6.1.2-> installed dune-site.3.24.0-> installed gospel.0.3.1Done.<><> afl-persistent.1.4 installed successfully ><><><><><><><><><><><><><><><><>=> afl-persistent is installed, but since the current OCaml compiler doesnot enable AFL instrumentation by default, most packages will not beinstrumented and fuzzing with afl-fuzz may not be effective.To globally enable AFL instrumentation, create an OCaml switch like:opam switch create 4.14.4+afl ocaml-variants.4.14.4+options ocaml-option-afl# To update the current shell environment, run: eval $(opam env)2026-07-03 08:56.21 ---> saved as "ecb7cfe835e758dd84153de48ff8779130c28d3a116dedaa28e0c77ffa0d2177"/: (copy (src .) (dst /home/opam/src))2026-07-03 08:57.24 ---> saved as "7cf0653fe679fedfe5def3c0bc101fc14348091867b87f6d4044ba6bd6ff58ac"/: (run (shell "cd /home/opam/src && 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"))File "plugins/wrapper/test/generated/wrapper.expected.ml", line 1, characters 0-0:/usr/local/bin/git --no-pager diff --no-index --color=always -u _build/default/plugins/wrapper/test/generated/wrapper.expected.ml _build/default/plugins/wrapper/test/generated/wrapper.mldiff --git a/_build/default/plugins/wrapper/test/generated/wrapper.expected.ml b/_build/default/plugins/wrapper/test/generated/wrapper.mlindex 162fefc..d3987da 100644--- a/_build/default/plugins/wrapper/test/generated/wrapper.expected.ml+++ b/_build/default/plugins/wrapper/test/generated/wrapper.ml@@ -71,17 +71,17 @@ let create n ={Ortac_runtime.start ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 9;- pos_bol = 399;- pos_cnum = 399+ pos_bol = 409;+ pos_cnum = 409};Ortac_runtime.stop ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 13;- pos_bol = 585;- pos_cnum = 638+ pos_bol = 599;+ pos_cnum = 652}} "create" inif@@ -162,17 +162,17 @@ let add i_2 bv_2 ={Ortac_runtime.start ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 15;- pos_bol = 640;- pos_cnum = 640+ pos_bol = 654;+ pos_cnum = 654};Ortac_runtime.stop ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 20;- pos_bol = 871;- pos_cnum = 926+ pos_bol = 889;+ pos_cnum = 944}} "add" inlet ___ortac_copy_1 = Ortac_runtime.copy bv_2 in@@ -258,17 +258,17 @@ let mem i_3 bv_3 ={Ortac_runtime.start ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 22;- pos_bol = 928;- pos_cnum = 928+ pos_bol = 946;+ pos_cnum = 946};Ortac_runtime.stop ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 25;- pos_bol = 1074;- pos_cnum = 1103+ pos_bol = 1096;+ pos_cnum = 1125}} "mem" inifFile "plugins/wrapper/test/generated/wrapper_behaviour.expected.ml", line 1, characters 0-0:/usr/local/bin/git --no-pager diff --no-index --color=always -u _build/default/plugins/wrapper/test/generated/wrapper_behaviour.expected.ml _build/default/plugins/wrapper/test/generated/wrapper_behaviour.mldiff --git a/_build/default/plugins/wrapper/test/generated/wrapper_behaviour.expected.ml b/_build/default/plugins/wrapper/test/generated/wrapper_behaviour.mlindex f078b5a..1fff5e6 100644--- a/_build/default/plugins/wrapper/test/generated/wrapper_behaviour.expected.ml+++ b/_build/default/plugins/wrapper/test/generated/wrapper_behaviour.ml@@ -29,17 +29,17 @@ let create_int n ={Ortac_runtime.start ={- pos_fname = "lib_behaviour.mli";+ pos_fname = "./lib_behaviour.mli";pos_lnum = 7;- pos_bol = 211;- pos_cnum = 211+ pos_bol = 217;+ pos_cnum = 217};Ortac_runtime.stop ={- pos_fname = "lib_behaviour.mli";+ pos_fname = "./lib_behaviour.mli";pos_lnum = 10;- pos_bol = 365;- pos_cnum = 392+ pos_bol = 375;+ pos_cnum = 402}} "create_int" inif@@ -90,17 +90,17 @@ let bad_create_int n_1 ={Ortac_runtime.start ={- pos_fname = "lib_behaviour.mli";+ pos_fname = "./lib_behaviour.mli";pos_lnum = 16;- pos_bol = 540;- pos_cnum = 540+ pos_bol = 550;+ pos_cnum = 550};Ortac_runtime.stop ={- pos_fname = "lib_behaviour.mli";+ pos_fname = "./lib_behaviour.mli";pos_lnum = 18;- pos_bol = 683;- pos_cnum = 710+ pos_bol = 697;+ pos_cnum = 724}} "bad_create_int" inOrtac_runtime.Errors.report __error__005_;@@ -136,17 +136,17 @@ let increment_int x ={Ortac_runtime.start ={- pos_fname = "lib_behaviour.mli";+ pos_fname = "./lib_behaviour.mli";pos_lnum = 20;- pos_bol = 712;- pos_cnum = 712+ pos_bol = 726;+ pos_cnum = 726};Ortac_runtime.stop ={- pos_fname = "lib_behaviour.mli";+ pos_fname = "./lib_behaviour.mli";pos_lnum = 25;- pos_bol = 948;- pos_cnum = 984+ pos_bol = 966;+ pos_cnum = 1002}} "increment_int" inif@@ -261,17 +261,17 @@ let bad_increment_int x_1 ={Ortac_runtime.start ={- pos_fname = "lib_behaviour.mli";+ pos_fname = "./lib_behaviour.mli";pos_lnum = 30;- pos_bol = 1078;- pos_cnum = 1078+ pos_bol = 1096;+ pos_cnum = 1096};Ortac_runtime.stop ={- pos_fname = "lib_behaviour.mli";+ pos_fname = "./lib_behaviour.mli";pos_lnum = 34;- pos_bol = 1291;- pos_cnum = 1327+ pos_bol = 1313;+ pos_cnum = 1349}} "bad_increment_int" in__invariant___001_ __error__008_ Pre x_1;@@ -370,17 +370,17 @@ let bad2_increment_int x_2 ={Ortac_runtime.start ={- pos_fname = "lib_behaviour.mli";+ pos_fname = "./lib_behaviour.mli";pos_lnum = 39;- pos_bol = 1426;- pos_cnum = 1426+ pos_bol = 1448;+ pos_cnum = 1448};Ortac_runtime.stop ={- pos_fname = "lib_behaviour.mli";+ pos_fname = "./lib_behaviour.mli";pos_lnum = 44;- pos_bol = 1672;- pos_cnum = 1708+ pos_bol = 1698;+ pos_cnum = 1734}} "bad2_increment_int" inifFile "plugins/wrapper/test/generated/wrapper_model.expected.ml", line 1, characters 0-0:/usr/local/bin/git --no-pager diff --no-index --color=always -u _build/default/plugins/wrapper/test/generated/wrapper_model.expected.ml _build/default/plugins/wrapper/test/generated/wrapper_model.mldiff --git a/_build/default/plugins/wrapper/test/generated/wrapper_model.expected.ml b/_build/default/plugins/wrapper/test/generated/wrapper_model.mlindex caf72f1..3bf60a9 100644--- a/_build/default/plugins/wrapper/test/generated/wrapper_model.expected.ml+++ b/_build/default/plugins/wrapper/test/generated/wrapper_model.ml@@ -8,17 +8,17 @@ let __projection_capacity__001_ __arg0 ={Ortac_runtime.start ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 8;- pos_bol = 277;- pos_cnum = 277+ pos_bol = 283;+ pos_cnum = 283};Ortac_runtime.stop ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 8;- pos_bol = 277;- pos_cnum = 303+ pos_bol = 283;+ pos_cnum = 309}} "__projection_capacity__001_" inlet result =@@ -38,17 +38,17 @@ let __projection_view__002_ __arg0_1 ={Ortac_runtime.start ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 9;- pos_bol = 304;- pos_cnum = 304+ pos_bol = 310;+ pos_cnum = 310};Ortac_runtime.stop ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 9;- pos_bol = 304;- pos_cnum = 330+ pos_bol = 310;+ pos_cnum = 336}} "__projection_view__002_" inlet result_1 =@@ -116,17 +116,17 @@ let capacity __arg0 ={Ortac_runtime.start ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 8;- pos_bol = 277;- pos_cnum = 277+ pos_bol = 283;+ pos_cnum = 283};Ortac_runtime.stop ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 8;- pos_bol = 277;- pos_cnum = 303+ pos_bol = 283;+ pos_cnum = 309}} "capacity" in__invariant___006_ __error__009_ Pre __arg0;@@ -157,17 +157,17 @@ let view __arg0_1 ={Ortac_runtime.start ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 9;- pos_bol = 304;- pos_cnum = 304+ pos_bol = 310;+ pos_cnum = 310};Ortac_runtime.stop ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 9;- pos_bol = 304;- pos_cnum = 330+ pos_bol = 310;+ pos_cnum = 336}} "view" in__invariant___006_ __error__010_ Pre __arg0_1;@@ -198,17 +198,17 @@ let create c ={Ortac_runtime.start ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 10;- pos_bol = 331;- pos_cnum = 331+ pos_bol = 337;+ pos_cnum = 337};Ortac_runtime.stop ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 14;- pos_bol = 498;- pos_cnum = 524+ pos_bol = 508;+ pos_cnum = 534}} "create" inif@@ -273,17 +273,17 @@ let is_empty t_3 ={Ortac_runtime.start ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 16;- pos_bol = 526;- pos_cnum = 526+ pos_bol = 536;+ pos_cnum = 536};Ortac_runtime.stop ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 19;- pos_bol = 667;- pos_cnum = 699+ pos_bol = 681;+ pos_cnum = 713}} "is_empty" in__invariant___006_ __error__012_ Pre t_3;@@ -327,17 +327,17 @@ let mem t_4 x ={Ortac_runtime.start ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 21;- pos_bol = 701;- pos_cnum = 701+ pos_bol = 715;+ pos_cnum = 715};Ortac_runtime.stop ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 24;- pos_bol = 846;- pos_cnum = 884+ pos_bol = 864;+ pos_cnum = 902}} "mem" in__invariant___006_ __error__013_ Pre t_4;@@ -385,17 +385,17 @@ let clear t_5 ={Ortac_runtime.start ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 26;- pos_bol = 886;- pos_cnum = 886+ pos_bol = 904;+ pos_cnum = 904};Ortac_runtime.stop ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 29;- pos_bol = 1021;- pos_cnum = 1046+ pos_bol = 1043;+ pos_cnum = 1068}} "clear" in__invariant___006_ __error__014_ Pre t_5;@@ -439,17 +439,17 @@ let add t_6 x_1 ={Ortac_runtime.start ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 31;- pos_bol = 1048;- pos_cnum = 1048+ pos_bol = 1070;+ pos_cnum = 1070};Ortac_runtime.stop ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 35;- pos_bol = 1246;- pos_cnum = 1287+ pos_bol = 1272;+ pos_cnum = 1313}} "add" inlet ___ortac_copy_1 = Ortac_runtime.copy t_6 in@@ -541,17 +541,17 @@ let tail t_7 ={Ortac_runtime.start ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 37;- pos_bol = 1289;- pos_cnum = 1289+ pos_bol = 1315;+ pos_cnum = 1315};Ortac_runtime.stop ={- pos_fname = "lib_model.mli";+ pos_fname = "./lib_model.mli";pos_lnum = 42;- pos_bol = 1511;- pos_cnum = 1555+ pos_bol = 1541;+ pos_cnum = 1585}} "tail" inlet (___ortac_copy_3, ___ortac_copy_2) = Ortac_runtime.copy (t_7, t_7) inFile "plugins/wrapper/test/generated/pascal_wrapped.expected.ml", line 1, characters 0-0:/usr/local/bin/git --no-pager diff --no-index --color=always -u _build/default/plugins/wrapper/test/generated/pascal_wrapped.expected.ml _build/default/plugins/wrapper/test/generated/pascal_wrapped.mldiff --git a/_build/default/plugins/wrapper/test/generated/pascal_wrapped.expected.ml b/_build/default/plugins/wrapper/test/generated/pascal_wrapped.mlindex a8591d5..d999629 100644--- a/_build/default/plugins/wrapper/test/generated/pascal_wrapped.expected.ml+++ b/_build/default/plugins/wrapper/test/generated/pascal_wrapped.ml@@ -8,17 +8,17 @@ let __projection_n__001_ __arg0 ={Ortac_runtime.start ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 10;- pos_bol = 617;- pos_cnum = 617+ pos_bol = 631;+ pos_cnum = 631};Ortac_runtime.stop ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 10;- pos_bol = 617;- pos_cnum = 638+ pos_bol = 631;+ pos_cnum = 652}} "__projection_n__001_" inlet result =@@ -38,17 +38,17 @@ let __projection_row__002_ __arg0_1 ={Ortac_runtime.start ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 11;- pos_bol = 639;- pos_cnum = 639+ pos_bol = 653;+ pos_cnum = 653};Ortac_runtime.stop ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 11;- pos_bol = 639;- pos_cnum = 694+ pos_bol = 653;+ pos_cnum = 708}} "__projection_row__002_" inlet result_1 =@@ -82,17 +82,17 @@ let n __arg0 ={Ortac_runtime.start ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 10;- pos_bol = 617;- pos_cnum = 617+ pos_bol = 631;+ pos_cnum = 631};Ortac_runtime.stop ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 10;- pos_bol = 617;- pos_cnum = 638+ pos_bol = 631;+ pos_cnum = 652}} "n" inOrtac_runtime.Errors.report __error__005_;@@ -113,17 +113,17 @@ let to_list __arg0_1 ={Ortac_runtime.start ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 11;- pos_bol = 639;- pos_cnum = 639+ pos_bol = 653;+ pos_cnum = 653};Ortac_runtime.stop ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 11;- pos_bol = 639;- pos_cnum = 694+ pos_bol = 653;+ pos_cnum = 708}} "to_list" inOrtac_runtime.Errors.report __error__006_;@@ -144,17 +144,17 @@ let init () ={Ortac_runtime.start ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 12;- pos_bol = 695;- pos_cnum = 695+ pos_bol = 709;+ pos_cnum = 709};Ortac_runtime.stop ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 14;- pos_bol = 806;- pos_cnum = 828+ pos_bol = 824;+ pos_cnum = 846}} "init" inOrtac_runtime.Errors.report __error__007_;@@ -190,17 +190,17 @@ let next r_1 ={Ortac_runtime.start ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 16;- pos_bol = 830;- pos_cnum = 830+ pos_bol = 848;+ pos_cnum = 848};Ortac_runtime.stop ={- pos_fname = "pascal.mli";+ pos_fname = "./pascal.mli";pos_lnum = 20;- pos_bol = 1022;- pos_cnum = 1085+ pos_bol = 1044;+ pos_cnum = 1107}} "next" inlet ___ortac_copy_1 = Ortac_runtime.copy r_1 inFile "plugins/qcheck-stm/test/all_warnings_errors.expected", line 1, characters 0-0:/usr/local/bin/git --no-pager diff --no-index --color=always -u _build/default/plugins/qcheck-stm/test/all_warnings_errors.expected _build/default/plugins/qcheck-stm/test/all_warnings_errorsdiff --git a/_build/default/plugins/qcheck-stm/test/all_warnings_errors.expected b/_build/default/plugins/qcheck-stm/test/all_warnings_errorsindex 7812085..e7196fc 100644--- a/_build/default/plugins/qcheck-stm/test/all_warnings_errors.expected+++ b/_build/default/plugins/qcheck-stm/test/all_warnings_errors@@ -1,15 +1,15 @@-File "all_warnings_config.ml", line 9, characters 2-18:+File "./all_warnings_config.ml", line 9, characters 2-18:9 | let lenght = bob^^^^^^^^^^^^^^^^Warning: Ill formed weight configuration is ignored.Weight should be configured as follow:let <function_name> = int litteral>.-File "all_warnings.mli", line 12, characters 0-52:+File "./all_warnings.mli", line 12, characters 0-52:12 | val constant : unit13 | (*@ constant14 | ensures true *)Warning: Skipping constant: constants cannot be tested.-File "all_warnings.mli", line 17, characters 3-24:+File "./all_warnings.mli", line 17, characters 3-24:17 | (*@ t = returning_sut a *)^^^^^^^^^^^^^^^^^^^^^Warning: Skipping returning_sut: the specification of the function does not@@ -17,35 +17,35 @@ Warning: Skipping returning_sut: the specification of the function does notSpecifications should contain at least one"ensures x.contents = expr" where x is the returned SUT and expr canrefer to other SUTs only under an old operator.-File "all_warnings.mli", line 22, characters 24-29:+File "./all_warnings.mli", line 22, characters 24-29:22 | val incompatible_type : int t -> bool^^^^^Warning: Skipping incompatible_type: the type of its SUT-type argument isincompatible with the configured SUT type: char t.-File "all_warnings.mli", line 25, characters 0-26:+File "./all_warnings.mli", line 25, characters 0-26:25 | val no_spec : 'a t -> bool^^^^^^^^^^^^^^^^^^^^^^^^^^Warning: Skipping no_spec: functions without specifications cannot be tested.-File "all_warnings.mli", line 40, characters 3-37:+File "./all_warnings.mli", line 40, characters 3-37:40 | ('a -> 'a -> 'a -> 'a -> 'a -> bool) -> 'a t -> bool^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^Warning: Skipping functional_argument_arity: Can only test function argumentswith arity < 5.-File "all_warnings.mli", line 44, characters 3-35:+File "./all_warnings.mli", line 44, characters 3-35:44 | ('a -> ('a -> 'a -> bool) -> bool) -> 'a t -> bool^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^Warning: Third-order functions and above are not supported in functional_argument_third_order.-File "all_warnings.mli", line 48, characters 24-25:+File "./all_warnings.mli", line 48, characters 24-25:48 | (*@ b = ghost_argument [x : bool] t *)^Warning: Skipping ghost_argument: functions with a ghost argument are notsupported.-File "all_warnings.mli", line 51, characters 6-7:+File "./all_warnings.mli", line 51, characters 6-7:51 | (*@ [ x : bool ], b = ghost_returned_value t *)^Warning: Skipping ghost_returned_value: functions with a ghost returned valueare not supported.-File "all_warnings.mli", line 34, characters 13-23:+File "./all_warnings.mli", line 34, characters 13-23:34 | modifies t.contents *)^^^^^^^^^^Warning: Skipping ensures_not_found_for_next_state: model contents is@@ -53,7 +53,7 @@ Warning: Skipping ensures_not_found_for_next_state: model contents iswas found. Specifications should contain at least one "ensuresx.contents = expr" where x is the SUT and expr can refer to the SUTonly under an old operator and can't refer to the returned value.-File "all_warnings.mli", line 66, characters 13-23:+File "./all_warnings.mli", line 66, characters 13-23:66 | modifies t.contents^^^^^^^^^^Warning: Skipping term_refer_to_returned_value_next_state: model contents is@@ -61,33 +61,33 @@ Warning: Skipping term_refer_to_returned_value_next_state: model contents iswas found. Specifications should contain at least one "ensuresx.contents = expr" where x is the SUT and expr can refer to the SUTonly under an old operator and can't refer to the returned value.-File "all_warnings.mli", line 19, characters 0-85:+File "./all_warnings.mli", line 19, characters 0-85:19 | val multiple_sut_argument : 'a t -> 'a t -> bool20 | (*@ b = multiple_sut_argument x y *)Warning: Incomplete computation of the returned value in the specification of multiple_sut_argument. Failure message won't be able to display the expected returned value.-File "all_warnings.mli", line 36, characters 0-66:+File "./all_warnings.mli", line 36, characters 0-66:36 | val type_not_supported : 'a t -> s37 | (*@ s = type_not_supported t *)Warning: Incomplete computation of the returned value in the specification of type_not_supported. Failure message won't be able to display the expected returned value.-File "all_warnings.mli", line 53, characters 0-144:+File "./all_warnings.mli", line 53, characters 0-144:53 | val unsupported_quantification : 'a t -> bool54 | (*@ b = unsupported_quantification t55 | ensures b = forall a. Sequence.mem a t.contents -> p a *)Warning: Incomplete computation of the returned value in the specification of unsupported_quantification. Failure message won't be able to display the expected returned value.-File "all_warnings.mli", line 55, characters 16-58:+File "./all_warnings.mli", line 55, characters 16-58:55 | ensures b = forall a. Sequence.mem a t.contents -> p a *)^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^Warning: Skipping clause: unsupported quantification.-File "all_warnings.mli", line 57, characters 0-111:+File "./all_warnings.mli", line 57, characters 0-111:57 | val record_not_model_field : 'a t -> bool58 | (*@ b = record_not_model_field t59 | requires Array.length t.v > 0 *)Warning: Incomplete computation of the returned value in the specification of record_not_model_field. Failure message won't be able to display the expected returned value.-File "all_warnings.mli", line 61, characters 0-67:+File "./all_warnings.mli", line 61, characters 0-67:61 | val return_tuple : 'a t -> 'a * bool62 | (*@ (a, b) = return_tuple t *)Warning: Incomplete computation of the returned value in the specification of return_tuple. Failure message won't be able to display the expected returned value.-File "all_warnings.mli", line 64, characters 0-278:+File "./all_warnings.mli", line 64, characters 0-278:64 | val term_refer_to_returned_value_next_state : 'a t -> 'a option65 | (*@ o = term_refer_to_returned_value_next_state t66 | modifies t.contents@@ -95,16 +95,16 @@ File "all_warnings.mli", line 64, characters 0-278:68 | | None -> old t.contents69 | | Some _ -> old t.contents *)Warning: Incomplete computation of the returned value in the specification of term_refer_to_returned_value_next_state. Failure message won't be able to display the expected returned value.-File "all_warnings.mli", line 59, characters 26-29:+File "./all_warnings.mli", line 59, characters 26-29:59 | requires Array.length t.v > 0 *)^^^Warning: Skipping clause: occurrences of the SUT in clauses are onlysupported to access its model fields.-File "all_warnings_config.ml", line 8, characters 6-9:+File "./all_warnings_config.ml", line 8, characters 6-9:8 | let bob = 42^^^Warning: Unused weight from configuration file: bob.-File "all_warnings_config.ml", line 10, characters 6-14:+File "./all_warnings_config.ml", line 10, characters 6-14:10 | let constant = 42^^^^^^^^Warning: Unused weight from configuration file: constant.File "plugins/qcheck-stm/test/submodule_tests.expected.ml", line 1, characters 0-0:/usr/local/bin/git --no-pager diff --no-index --color=always -u _build/default/plugins/qcheck-stm/test/submodule_tests.expected.ml _build/default/plugins/qcheck-stm/test/submodule_tests.mldiff --git a/_build/default/plugins/qcheck-stm/test/submodule_tests.expected.ml b/_build/default/plugins/qcheck-stm/test/submodule_tests.mlindex c7b6bc5..1157b89 100644--- a/_build/default/plugins/qcheck-stm/test/submodule_tests.expected.ml+++ b/_build/default/plugins/qcheck-stm/test/submodule_tests.ml@@ -23,17 +23,17 @@ module ModelElt ={Ortac_runtime.start ={- pos_fname = "submodule.mli";+ pos_fname = "./submodule.mli";pos_lnum = 7;- pos_bol = 241;- pos_cnum = 265+ pos_bol = 249;+ pos_cnum = 273};Ortac_runtime.stop ={- pos_fname = "submodule.mli";+ pos_fname = "./submodule.mli";pos_lnum = 7;- pos_bol = 241;- pos_cnum = 266+ pos_bol = 249;+ pos_cnum = 274}})))}@@ -89,17 +89,17 @@ module Spec ={Ortac_runtime.start ={- pos_fname = "submodule.mli";+ pos_fname = "./submodule.mli";pos_lnum = 7;- pos_bol = 241;- pos_cnum = 265+ pos_bol = 249;+ pos_cnum = 273};Ortac_runtime.stop ={- pos_fname = "submodule.mli";+ pos_fname = "./submodule.mli";pos_lnum = 7;- pos_bol = 241;- pos_cnum = 266+ pos_bol = 249;+ pos_cnum = 274}})))} inFile "plugins/qcheck-stm/test/module_prefix_tests.expected.ml", line 1, characters 0-0:/usr/local/bin/git --no-pager diff --no-index --color=always -u _build/default/plugins/qcheck-stm/test/module_prefix_tests.expected.ml _build/default/plugins/qcheck-stm/test/module_prefix_tests.mldiff --git a/_build/default/plugins/qcheck-stm/test/module_prefix_tests.expected.ml b/_build/default/plugins/qcheck-stm/test/module_prefix_tests.mlindex 3881a3c..cfc6891 100644--- a/_build/default/plugins/qcheck-stm/test/module_prefix_tests.expected.ml+++ b/_build/default/plugins/qcheck-stm/test/module_prefix_tests.ml@@ -23,17 +23,17 @@ module ModelElt ={Ortac_runtime.start ={- pos_fname = "module_prefix.mli";+ pos_fname = "./module_prefix.mli";pos_lnum = 6;- pos_bol = 228;- pos_cnum = 250+ pos_bol = 236;+ pos_cnum = 258};Ortac_runtime.stop ={- pos_fname = "module_prefix.mli";+ pos_fname = "./module_prefix.mli";pos_lnum = 6;- pos_bol = 228;- pos_cnum = 251+ pos_bol = 236;+ pos_cnum = 259}})))}@@ -89,17 +89,17 @@ module Spec ={Ortac_runtime.start ={- pos_fname = "module_prefix.mli";+ pos_fname = "./module_prefix.mli";pos_lnum = 6;- pos_bol = 228;- pos_cnum = 250+ pos_bol = 236;+ pos_cnum = 258};Ortac_runtime.stop ={- pos_fname = "module_prefix.mli";+ pos_fname = "./module_prefix.mli";pos_lnum = 6;- pos_bol = 228;- pos_cnum = 251+ pos_bol = 236;+ pos_cnum = 259}})))} inFile "plugins/qcheck-stm/test/submodule_and_prefix_tests.expected.ml", line 1, characters 0-0:/usr/local/bin/git --no-pager diff --no-index --color=always -u _build/default/plugins/qcheck-stm/test/submodule_and_prefix_tests.expected.ml _build/default/plugins/qcheck-stm/test/submodule_and_prefix_tests.mldiff --git a/_build/default/plugins/qcheck-stm/test/submodule_and_prefix_tests.expected.ml b/_build/default/plugins/qcheck-stm/test/submodule_and_prefix_tests.mlindex 83037b6..ef372f5 100644--- a/_build/default/plugins/qcheck-stm/test/submodule_and_prefix_tests.expected.ml+++ b/_build/default/plugins/qcheck-stm/test/submodule_and_prefix_tests.ml@@ -23,17 +23,17 @@ module ModelElt ={Ortac_runtime.start ={- pos_fname = "submodule_and_prefix.mli";+ pos_fname = "./submodule_and_prefix.mli";pos_lnum = 7;- pos_bol = 285;- pos_cnum = 309+ pos_bol = 293;+ pos_cnum = 317};Ortac_runtime.stop ={- pos_fname = "submodule_and_prefix.mli";+ pos_fname = "./submodule_and_prefix.mli";pos_lnum = 7;- pos_bol = 285;- pos_cnum = 310+ pos_bol = 293;+ pos_cnum = 318}})))}@@ -89,17 +89,17 @@ module Spec ={Ortac_runtime.start ={- pos_fname = "submodule_and_prefix.mli";+ pos_fname = "./submodule_and_prefix.mli";pos_lnum = 7;- pos_bol = 285;- pos_cnum = 309+ pos_bol = 293;+ pos_cnum = 317};Ortac_runtime.stop ={- pos_fname = "submodule_and_prefix.mli";+ pos_fname = "./submodule_and_prefix.mli";pos_lnum = 7;- pos_bol = 285;- pos_cnum = 310+ pos_bol = 293;+ pos_cnum = 318}})))} in./submodule_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_and_prefix_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../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../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../invariants_stm_tests.exe has been generated with the ortac-qcheck-stm plugin../custom_config_stm_tests.exe has been generated with the ortac-qcheck-stm plugin../ghost_as_model_stm_tests.exe has been generated with the ortac-qcheck-stm plugin../tuples_stm_tests.exe has been generated with the ortac-qcheck-stm plugin../test_without_sut_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.(cd _build/default && /usr/bin/timeout -s INT -k 3 20 test/runtime/stdlibset.exe)1K tests run so far ( 31K/s overall, 314K/s now) (fuel = 20).47K tests run so far ( 45K/s overall, 54K/s now) (fuel = 20).96K tests run so far ( 46K/s overall, 54K/s now) (fuel = 20).145K tests run so far ( 47K/s overall, 54K/s now) (fuel = 20).191K tests run so far ( 46K/s overall, 49K/s now) (fuel = 20).232K tests run so far ( 45K/s overall, 55K/s now) (fuel = 20).274K tests run so far ( 44K/s overall, 38K/s now) (fuel = 20).320K tests run so far ( 44K/s overall, 46K/s now) (fuel = 20).363K tests run so far ( 44K/s overall, 47K/s now) (fuel = 20).407K tests run so far ( 44K/s overall, 50K/s now) (fuel = 20).454K tests run so far ( 44K/s overall, 52K/s now) (fuel = 20).500K tests run so far ( 44K/s overall, 46K/s now) (fuel = 20).537K tests run so far ( 44K/s overall, 48K/s now) (fuel = 20).576K tests run so far ( 43K/s overall, 33K/s now) (fuel = 20).621K tests run so far ( 43K/s overall, 47K/s now) (fuel = 20).663K tests run so far ( 43K/s overall, 39K/s now) (fuel = 20).703K tests run so far ( 43K/s overall, 41K/s now) (fuel = 20).739K tests run so far ( 42K/s overall, 38K/s now) (fuel = 20).780K tests run so far ( 42K/s overall, 52K/s now) (fuel = 20).826K tests run so far ( 42K/s overall, 40K/s now) (fuel = 20)../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../queue_stm_tests.exe has been generated with the ortac-qcheck-stm plugin.File "plugins/monolith/test/generated/wrapper.expected.ml", line 1, characters 0-0:/usr/local/bin/git --no-pager diff --no-index --color=always -u _build/default/plugins/monolith/test/generated/wrapper.expected.ml _build/default/plugins/monolith/test/generated/wrapper.mldiff --git a/_build/default/plugins/monolith/test/generated/wrapper.expected.ml b/_build/default/plugins/monolith/test/generated/wrapper.mlindex ccf7308..37647de 100644--- a/_build/default/plugins/monolith/test/generated/wrapper.expected.ml+++ b/_build/default/plugins/monolith/test/generated/wrapper.ml@@ -76,17 +76,17 @@ module R ={Ortac_runtime.start ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 9;- pos_bol = 399;- pos_cnum = 399+ pos_bol = 409;+ pos_cnum = 409};Ortac_runtime.stop ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 13;- pos_bol = 585;- pos_cnum = 638+ pos_bol = 599;+ pos_cnum = 652}} "create" inif@@ -171,17 +171,17 @@ module R ={Ortac_runtime.start ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 15;- pos_bol = 640;- pos_cnum = 640+ pos_bol = 654;+ pos_cnum = 654};Ortac_runtime.stop ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 20;- pos_bol = 871;- pos_cnum = 926+ pos_bol = 889;+ pos_cnum = 944}} "add" inlet ___ortac_copy_1 = Ortac_runtime.copy bv_2 in@@ -268,17 +268,17 @@ module R ={Ortac_runtime.start ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 22;- pos_bol = 928;- pos_cnum = 928+ pos_bol = 946;+ pos_cnum = 946};Ortac_runtime.stop ={- pos_fname = "lib.mli";+ pos_fname = "./lib.mli";pos_lnum = 25;- pos_bol = 1074;- pos_cnum = 1103+ pos_bol = 1096;+ pos_cnum = 1125}} "mem" inif./stack_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 `INI40UHO'.[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.(cd _build/default/plugins/wrapper/test/suite && ./test.exe)Testing `Ortac'.This run has ID `F9SI1I2V'.[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.046s. 31 tests run../wrapper.exe has been generated with the ortac-monolith plugin."cd /home/opam/src && 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" failed with exit status 12026-07-03 08:59.04: Job failed: Failed: Build failed