Jan Midtgaard

Acknowledged! Thanks for the report and the small repro :+1: Sorry, the details of `ppxlib` are a bit hazy ATM... :sweat_smile: I suspect this is due to https://github.com/jmid/mutaml/blob/4a3e83feff4e3f7c2e0d9c7fa3caacc4b7c2dcaa/src/ppx/entry.ml#L64 As an...

First of all, help on improving `dune` support would be very welcome! :pray: Mutations are modeled with a `ppxlib`-based instrumentation that runs over the targeted files. The preprocessor creates an...

When originally hacking on this, I needed to output temporary file(s) to record which mutations were created. I tried using [ppxlib's cookie mechanism](https://ocaml-ppx.github.io/ppxlib/ppxlib/Ppxlib/Driver/Cookies/index.html) but found it too constrained - and...

I hand-wrote support for a 6-tuple when I first needed it as part of testing weak hash sets: https://github.com/ocaml-multicore/multicoretests/blob/7b9b1c123286f1f4db7d13e773f68198ca9b04cd/src/weak/stm_tests_hashset.ml#L112-L122 IIUC, it should be possible to generate similar lines (on demand)...

True, tuples in OCaml APIs are relatively rare - and a 2-digit one more so! :smiley: Down the line we may want to extend the support further, e.g., to record...

I believe this one is fixed by #237

Saw this again in focused tests on #304: Linux 5.3.0+trunk debug - this time on `STM Sys test parallel` https://github.com/ocaml-multicore/multicoretests/actions/runs/9131253128/job/25110039250?pr=304 ``` Starting 6-th run random seed: 357814880 generated error fail...

I just observed this locally, on Linux running 5.2.0, trying a run with an extreme `space_overhead` `o=20` and the debug runtime to see if it would reveal anything: ``` multicoretests$...

Closing as this as been fixed upstream and added in #475

Rebased on `main` to trigger a fresh run now that https://github.com/ocaml/ocaml/pull/12184 has been merged. As a result, I expect (read: hope) that the `trunk` tests will now pass... :crossed_fingers: