There are tools for that stuff. You can run the unit tests a million times and count the failures for starters. You can also run tests under TSAN which often ju

There are tools for that stuff. You can run the unit tests a million times and count the failures for starters. You can also run tests under TSAN which often just points out races. You can also inject clocks or other dependencies and simply create the precondition necessary and advance time manually to show the problem.