projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ed7200) | patch
model: bugfix - detect conflicts properly
authorBrian Norris <banorris@uci.edu>
Thu, 26 Apr 2012 19:05:08 +0000 (12:05 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 26 Apr 2012 19:05:08 +0000 (12:05 -0700)
commitc60bc86ea0042408fda05a4a7588992aefc10ea1
tree296bea7dbefbcb1761cf3e7abcc96172154e8006tree | snapshot
parent9ed7200f1ffce5963e5196aa82c2406a62a107d2commit | diff
model: bugfix - detect conflicts properly

Finding a conflict from the same thread does not mean we should quit the search
with no found conflict; we just continue to the next search item.
model.cc diff | blob | history
C++11 memory model checker