projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ebd310) | patch
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)
commita7472bf7d514d8c53b22eb64bc552f593c79d506
treec66fcf5ddc8aad5ce3ae196aed14e6933f263a84tree | snapshot
parent0ebd310446ea2a5675ee33eb6f9d75e311af7d36commit | diff
model: THREAD_FINISH triggers release sequence check

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.
model.cc diff | blob | history
C++11 memory model checker