News for hackers. Stuff that matters.

A comment on CppMem: Interactive C/C++ memory model.

Re:CppMem: Interactive C/C++ memory model by kobybecker on Monday June 15, 2015 @01:00AM (#9717592)
Does anyone in industry use a 'model checker' like this while writing multi-threaded C++ code? Just curious..
[ Parent | on HN ]

There are no comments on this comment yet.