6 ms·Deploy to production :). You can use a model checker that understands C++11 memory model.by rigtorp 5y agoDeploy to production :). You can use a model checker that understands C++11 memory model.