Add time limit for stm tests.

[lyrm]

(Code from picos)

Add a time limit to stm tests.

[polytypic]

Note that some of the STM tests are skipped on some architectures. With the time limits it should be possible to enable those tests on all of the architectures.

[polytypic]

It seems on ❌ debian-12-5.2_arm32_opam-2.2 (failed: Failed: Build failed) there was a failure:

File "test/michael_scott_queue/dune", line 58, characters 7-30:
58 |  (name stm_michael_scott_queue)
            ^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe)

Usually the output looks like that when there is a segmentation fault.

Addition: It might be related to this.

[lyrm]

Thanks for noticing ! If it is unrelated to the PR itself, should I merge ?

[polytypic]

Thanks for noticing ! If it is unrelated to the PR itself, should I merge ?

Yes, I believe the segfaults are not caused by code in this PR. There are at least a couple of known issues in 5.2 that can cause segfaults. One of them has been fixed and will be in 5.3.