projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f0bd83) | patch
model: bugfix - don't clobber 'updated'
authorBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 21:58:36 +0000 (14:58 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 21:58:36 +0000 (14:58 -0700)
commit2c43bb9930926c9671d6fce4c542a4a6c415f1b3
tree830f0ca71c0af7832bf862dd1d6447efcd1b2ee2tree | snapshot
parent0f0bd83aa330ef6461acb1b0758615e1e15a9322commit | diff
model: bugfix - don't clobber 'updated'

The 'updated' variable should stay 'true' even if modification orders and
promises aren't updated by the "write" checks. This could be a RMW which made
updates via the "read" checks.
model.cc diff | blob | history
C++11 memory model checker