There do exist frameworks that allow exhaustive testing of concurrent code. They never really became mainstream though. https://www.microsoft.com/en-us/researc

There do exist frameworks that allow exhaustive testing of concurrent code. They never really became mainstream though. https://www.microsoft.com/en-us/research/publication/chess-a-systematic-testing-tool-for-concurrent-software/ https://www.microsoft.com/en-us/research/publication/chess-a... http://www.1024cores.net/home/relacy-race-detector http://www.1024cores.net/home/relacy-race-detector