projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: a7472bf)
model: THREAD_FINISH triggers release sequence check
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 01:09:40 +0000 (18:09 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 01:19:24 +0000 (18:19 -0700)
A THREAD_FINISH action may ensure that a Thread is no longer able to
break release sequences, so all pending release sequences should be
checked.


No differences found
C++11 memory model checker