On the merge to main of #553 we just saw a timeout after excessive time spent shrinking in STM Dynarray test parallel
on Cygwin 5.3:
https://github.com/ocaml-multicore/multicoretests/actions/runs/14813376084/job/41590879310
random seed: 523011271
generated error fail pass / total time test name
[ ] 0 0 0 0 / 1000 0.0s STM Dynarray test sequential agreement (int)
[ ] 0 0 0 0 / 1000 0.0s STM Dynarray test sequential agreement (int) (generating)
[✓] 1000 0 0 1000 / 1000 0.0s STM Dynarray test sequential agreement (int)
[ ] 0 0 0 0 / 1000 0.0s STM Dynarray test parallel (int)
[ ] 0 0 0 0 / 1000 60.1s STM Dynarray test parallel (int) (shrinking: 31.0010)
[ ] 0 0 0 0 / 1000 123.7s STM Dynarray test parallel (int) (shrinking: 31.0045)
[ ] 0 0 0 0 / 1000 200.4s STM Dynarray test parallel (int) (shrinking: 31.0051)
[ ] 0 0 0 0 / 1000 269.9s STM Dynarray test parallel (int) (shrinking: 31.0059)
[ ] 0 0 0 0 / 1000 337.0s STM Dynarray test parallel (int) (shrinking: 31.0068)
[...]
[ ] 0 0 0 0 / 1000 5053.1s STM Dynarray test parallel (int) (shrinking: 44.0021)
[ ] 0 0 0 0 / 1000 5141.3s STM Dynarray test parallel (int) (shrinking: 44.0024)
[ ] 0 0 0 0 / 1000 5207.5s STM Dynarray test parallel (int) (shrinking: 44.0027)
[ ] 0 0 0 0 / 1000 5274.2s STM Dynarray test parallel (int) (shrinking: 44.0030)
[ ] 0 0 0 0 / 1000 5341.3s STM Dynarray test parallel (int) (shrinking: 44.0035)
[✓] 1 0 1 0 / 1000 5375.8s STM Dynarray test parallel (int)
[ ] 0 0 0 0 / 1000 0.0s STM Dynarray stress test (int)
Error: The operation was canceled.
This issue is analogous to #514 for the corresponding Lin test fixed in #517.
On the merge to
mainof #553 we just saw a timeout after excessive time spent shrinking inSTM Dynarray test parallelon Cygwin 5.3:
https://github.com/ocaml-multicore/multicoretests/actions/runs/14813376084/job/41590879310
This issue is analogous to #514 for the corresponding
Lintest fixed in #517.