projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09b2cb3) | patch
model: refactor check_current_action, next thread computation
authorBrian Norris <banorris@uci.edu>
Tue, 18 Dec 2012 20:46:48 +0000 (12:46 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 18 Dec 2012 23:05:19 +0000 (15:05 -0800)
commit8d0922f803ba8e3c093f20e5243135ea53b619f0
tree9dd9fcf1143232947f5b8017a4bf24d10fa26a7ctree | snapshot
parent09b2cb3cabe0d96f62383a8fdd040e7605a1ffc6commit | diff
model: refactor check_current_action, next thread computation

Pulling the 'get_next_thread()' computation out of
check_current_action() so that I can restructure the model-checker
execution a little.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker