top | item 27680379

(no title)

rigtorp | 4 years ago

Deploy to production :).

You can use a model checker that understands C++11 memory model.

discuss

order

No comments yet.