We are using Loom with a C++ adapter for such things. Works reasonably well for us.
I'm really interested in this! Do you have any more details?
Loom is such an amazing project. I was always surprised by the fact that similar tooling for C/C++ is much more cumbersome to use, since that's where the memory model came from.
For anyone else wondering what Loom is, it's a concurrency permutation testing tool in Rust: