Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Terminate all threads explicitly (commit: 4c93dc0) (details)
Commit 4c93dc098955a9395249b479f403051d55dbc1b9 by damien.doligez
Terminate all threads explicitly

This is good style and might help with a mysterious deadlock observed
in "extra-configs" CI.

(cherry picked from commit c550639317c16851c91170d2111ca44ae1784f4b)
 (commit: 4c93dc0)
The file was modifiedtestsuite/tests/lib-threads/bank.ml (diff)