projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4a228d) | patch
schedule: add is_enabled() function
authorBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 21:57:42 +0000 (14:57 -0700)
committerBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 22:26:48 +0000 (15:26 -0700)
commite919b30ee6f7aa594c61fc305e6e88e789dbd700
tree8412a5e6f49e70892ad8e2be6ba2b02cee1381f5tree | snapshot
parentb4a228de75d93aad50a07b3b048f69bc57ba2dd8commit | diff
schedule: add is_enabled() function

The release sequence functionality needs to check whether a Thread is
currently enabled (rather than finding this information in a particular
Node).

Also, rename the (private) 'is_enabled' field to avoid a name conflict.
schedule.cc diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker