projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a99a3c) | patch
datarace: bugfix - use proper multiple-inclusion guard
authorBrian Norris <banorris@uci.edu>
Thu, 18 Apr 2013 01:45:44 +0000 (18:45 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 18 Apr 2013 02:08:12 +0000 (19:08 -0700)
commitf249af2d81c9d4381ed50ceee3cbf393db1f9a01
treedad47d7f96d9ae2093a76d73fad52b13f2ce2179tree | snapshot
parent0a99a3c4c1c9aab7be017682b43ddf12d609ff4bcommit | diff
datarace: bugfix - use proper multiple-inclusion guard

The DATARACE_H macro is never defined, so it never succeeds as a
multiple-inclusion guard.
datarace.h diff | blob | history
C++11 memory model checker