projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a635c5c) | patch
model: refactor r_modification_order 'act != curr' and 'act != rf'
authorBrian Norris <banorris@uci.edu>
Mon, 11 Mar 2013 23:54:10 +0000 (16:54 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 12 Mar 2013 00:12:01 +0000 (17:12 -0700)
commit20994240335ce1d54fb6c4b2c8df684182f0a3f9
tree45d04269b71cd224b0e90949d9de546432968035tree | snapshot
parenta635c5cdf004963a948dfb40e0fa27ce258bbccfcommit | diff
model: refactor r_modification_order 'act != curr' and 'act != rf'

We never want to process 'curr' or 'rf' in r_modification_order, so just
factor this out to the beginning of the loop to save on code clutter
(and potential bugs).
model.cc diff | blob | history
C++11 memory model checker