I wonder how this works when one runs test in parallel (something I always enable in any project). By this I mean configuring JUnit to run as many tests as cores are available to speed up the run of the whole test suite.

I took a peek at the code and I have the impression it doesn't work that well as it hooks into when a thread is started. Also, I'm not sure if this works with fibers.

Related: https://news.ycombinator.com/item?id=44211779

See also: "lincheck" by Jetbrains

https://github.com/JetBrains/lincheck

Toolkit for automatically deriving linearizability proofs for Concurrent Data Structures/Primtives.

https://blog.jetbrains.com/kotlin/2021/02/how-we-test-concur...