projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a26fa96) | patch
model: rename check_deadlock() to is_circular_wait()
authorBrian Norris <banorris@uci.edu>
Sun, 3 Mar 2013 22:12:31 +0000 (14:12 -0800)
committerBrian Norris <banorris@uci.edu>
Sun, 3 Mar 2013 22:12:31 +0000 (14:12 -0800)
commit664f78de4c437f087e5d0cf0b893a95cf7c50072
tree7f1fc7059bb46efc59807a7299001ba7cc0ff32btree | snapshot
parenta26fa96048fab9b13239e49e37ed8cf8c39583c9commit | diff
model: rename check_deadlock() to is_circular_wait()

This method doesn't check all deadlock situations, just circular waits.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker