MSVC bytecode fails to find Bigarray STM counterexample #467
Description
4 weeks back the scheduled trunk tests failed to find a Bigarray STM test counterexample on MSVC bytecode:
https://github.com/ocaml-multicore/multicoretests/actions/runs/9932690046/job/27434370275
random seed: 171860057
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM BigArray test sequential
[ ] 0 0 0 0 / 1000 0.0s STM BigArray test sequential (generating)
[✓] 1000 0 0 1000 / 1000 2.3s STM BigArray test sequential
[ ] 0 0 0 0 / 5000 0.0s STM BigArray test parallel
[ ] 86 0 0 86 / 5000 58.3s STM BigArray test parallel
[ ] 241 0 0 241 / 5000 119.3s STM BigArray test parallel
[ ] 358 0 0 358 / 5000 187.6s STM BigArray test parallel
[ ] 485 0 0 485 / 5000 247.7s STM BigArray test parallel
[ ] 605 0 0 605 / 5000 310.6s STM BigArray test parallel
[ ] 692 0 0 692 / 5000 372.4s STM BigArray test parallel
[ ] 797 0 0 797 / 5000 433.8s STM BigArray test parallel
[ ] 931 0 0 931 / 5000 495.8s STM BigArray test parallel
[ ] 1007 0 0 1007 / 5000 556.4s STM BigArray test parallel
[ ] 1115 0 0 1115 / 5000 618.3s STM BigArray test parallel
[ ] 1252 0 0 1252 / 5000 679.1s STM BigArray test parallel
[ ] 1363 0 0 1363 / 5000 741.2s STM BigArray test parallel
[ ] 1478 0 0 1478 / 5000 806.4s STM BigArray test parallel
[ ] 1572 0 0 1572 / 5000 867.2s STM BigArray test parallel
[ ] 1737 0 0 1737 / 5000 933.8s STM BigArray test parallel
[ ] 1803 0 0 1803 / 5000 1003.8s STM BigArray test parallel
[ ] 1852 0 0 1852 / 5000 1066.7s STM BigArray test parallel
[ ] 1934 0 0 1934 / 5000 1128.7s STM BigArray test parallel
[ ] 1989 0 0 1989 / 5000 1188.8s STM BigArray test parallel
[ ] 2099 0 0 2099 / 5000 1254.4s STM BigArray test parallel
[ ] 2177 0 0 2177 / 5000 1315.5s STM BigArray test parallel
[ ] 2260 0 0 2260 / 5000 1382.2s STM BigArray test parallel
[ ] 2347 0 0 2347 / 5000 1443.0s STM BigArray test parallel
[ ] 2471 0 0 2471 / 5000 1505.6s STM BigArray test parallel
[ ] 2618 0 0 2618 / 5000 1566.7s STM BigArray test parallel
[ ] 2714 0 0 2714 / 5000 1626.8s STM BigArray test parallel
[ ] 2819 0 0 2819 / 5000 1697.4s STM BigArray test parallel
[ ] 2922 0 0 2922 / 5000 1759.4s STM BigArray test parallel
[ ] 3010 0 0 3010 / 5000 1821.1s STM BigArray test parallel
[ ] 3112 0 0 3112 / 5000 1886.8s STM BigArray test parallel
[ ] 3212 0 0 3212 / 5000 1952.8s STM BigArray test parallel
[ ] 3323 0 0 3323 / 5000 2019.0s STM BigArray test parallel
[ ] 3415 0 0 3415 / 5000 2079.1s STM BigArray test parallel
[ ] 3536 0 0 3536 / 5000 2141.2s STM BigArray test parallel
[ ] 3647 0 0 3647 / 5000 2201.7s STM BigArray test parallel
[ ] 3759 0 0 3759 / 5000 2267.0s STM BigArray test parallel
[ ] 3849 0 0 3849 / 5000 2330.8s STM BigArray test parallel
[ ] 3968 0 0 3968 / 5000 2391.4s STM BigArray test parallel
[ ] 4071 0 0 4071 / 5000 2456.7s STM BigArray test parallel
[ ] 4170 0 0 4170 / 5000 2517.2s STM BigArray test parallel
[ ] 4281 0 0 4281 / 5000 2578.3s STM BigArray test parallel
[ ] 4358 0 0 4358 / 5000 2640.2s STM BigArray test parallel
[ ] 4438 0 0 4438 / 5000 2700.8s STM BigArray test parallel
[ ] 4615 0 0 4615 / 5000 2762.4s STM BigArray test parallel
[ ] 4734 0 0 4734 / 5000 2826.9s STM BigArray test parallel
[ ] 4831 0 0 4831 / 5000 2895.5s STM BigArray test parallel
[ ] 4941 0 0 4941 / 5000 2955.5s STM BigArray test parallel
[✗] 5000 0 0 5000 / 5000 2972.4s STM BigArray test parallel
--- Failure --------------------------------------------------------------------
Test STM BigArray test parallel failed:
Negative test STM BigArray test parallel succeeded but was expected to fail
================================================================================
failure (1 tests failed, 0 tests errored, ran 2 tests)
File "src/bigarray/dune", line 4, characters 7-16:
4 | (name stm_tests)
^^^^^^^^^
(cd _build/default/src/bigarray && ./stm_tests.exe --verbose)
Command exited with code 1.