projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 68e1d8d) | patch
model: stop thread-trace search once edge is added
authorBrian Norris <banorris@uci.edu>
Wed, 5 Dec 2012 20:20:31 +0000 (12:20 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 5 Dec 2012 20:29:04 +0000 (12:29 -0800)
commit9bdbedb24f7c16c4941ec6b711fc8065e0cee9d3
treece621346f749383677db201bd8020ab266ee68b9tree | snapshot
parent68e1d8d46e038e70ad838aae104f84da29981b31commit | diff
model: stop thread-trace search once edge is added

Once an edge has been added from 'act' to the current thread (or the
'rf' thread), we don't need to continue to search for more edges.
model.cc diff | blob | history
C++11 memory model checker