3 packages from ocaml-multicore/multicoretests at 0.4

[jmid]

This pull-request concerns:

• qcheck-lin.0.4: A multicore testing library for OCaml
• qcheck-multicoretests-util.0.4: Various utility functions for property-based testing of multicore programs
• qcheck-stm.0.4: State-machine testing library for sequential and parallel model-based tests

---

• Homepage: https://github.com/ocaml-multicore/multicoretests
• Source repo: git+https://github.com/ocaml-multicore/multicoretests.git
• Bug tracker: https://github.com/ocaml-multicore/multicoretests/issues

---

:camel: Pull-request generated by opam-publish v2.4.0

[jmid]

There are 2 CI failures:

• picos.0.2.0 failed with exception Invalid_argument("Picos_select has not been configured")) while executing (cd _build/default/bench && ./main.exe -brief)
• saturn.0.4.1 timed out during opam reinstall --with-test saturn.0.4.1

Both of these show up on 4.14 and on older picos or saturn releases.

The former indicates an internal picos.0.2.0 error.

The latter also triggered on https://github.com/ocaml/opam-repository/pull/26195 https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/b0bf598e34cb04c0c2bc402fafb48007a093caa5 and is hence unrelated to this release.

This should thus be good to go.

[mseri]

Thanks