projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 379bbd9) | patch
action: update 'reads_from' field before synchronization
authorBrian Norris <banorris@uci.edu>
Mon, 20 Aug 2012 22:59:25 +0000 (15:59 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 23 Aug 2012 01:36:50 +0000 (18:36 -0700)
commit9115c8a01b0367665b4b7b3f74dc63a375ac81c6
treee062ed9ce564839fe5dbc17a929527bf7c651b73tree | snapshot
parent379bbd92e88f756e39883dbac98c68b1d0699a66commit | diff
action: update 'reads_from' field before synchronization

As the ModelChecker's release/acquire functionality gets more complex,
it makes more sense to assign the ModelAction::reads_from field before
checking synchronization. Currently, this makes no change in behavior.
action.cc diff | blob | history
C++11 memory model checker