projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e023a28) | patch
model: factor out a 'switch_from_master()' function
authorBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 23:19:45 +0000 (15:19 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 23:46:47 +0000 (15:46 -0800)
commit0c429b461653b8e02e515819d89b7acd241996ca
treea8f617c7e94dac509d4fb264311e20e98c89b4b7tree | snapshot
parente023a280ce4c4986413c516008ef8f39adf127dccommit | diff
model: factor out a 'switch_from_master()' function

This snippet of code is important and somewhat subtle. Although we only
use it once, let's make it a function to give it a higher-level
abstraction.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker