projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a0167d) | patch
schedule: rename get_enabled() -> get_enabled_array()
authorBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 04:40:30 +0000 (20:40 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 04:40:30 +0000 (20:40 -0800)
commit21f8ca7067d5d6810ea819a183ea50f863c17752
treeac8ef7ffca6a6ac6f8b609c88f4e22f4125768f4tree | snapshot
parent7a0167d52294a9707f81a54d74009c6f82346d18commit | diff
schedule: rename get_enabled() -> get_enabled_array()

This function actually returns the array, not a single "enabled" status.
(There's a separate get_enabled() method for getting a single status.)
model.cc diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker