Improve tests for concurrency safety
We need to make tests in ext-modules/linux/concurrency-safety/
symmetric against threads to have applicable marks on traces with switched main and thread.
We need to make tests in ext-modules/linux/concurrency-safety/
symmetric against threads to have applicable marks on traces with switched main and thread.