projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce35fd2) | patch
model: add release sequence model_thread ASSERT()
authorBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 22:23:37 +0000 (15:23 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 05:22:52 +0000 (22:22 -0700)
commit04980c8b06eb8f1688876dd0989c64e4bc8bcb5b
tree57ccf918cf852e02eb56b1d360b5093943b9d781tree | snapshot
parentce35fd211d8af2b55dfa6fffc9c09036f3313dcfcommit | diff
model: add release sequence model_thread ASSERT()

This ASSERT() should ensure that model-checker threads are always
'future_ordered'.
model.cc diff | blob | history
C++11 memory model checker