projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 1d5bf75)
model: simple ASSERT() bug
authorBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 17:16:37 +0000 (10:16 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 17:16:37 +0000 (10:16 -0700)
Don't ASSERT(rf->is_write()) until we're sure that rf is non-NULL.


No differences found
C++11 memory model checker