projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f09636) | patch
action: fixup printing for RMW/RMWR
authorBrian Norris <banorris@uci.edu>
Fri, 1 Feb 2013 23:33:38 +0000 (15:33 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:38 +0000 (13:44 -0800)
commitc6dfb2568e6132123341ade757bf2b3119f1646e
tree2bf1b9d37eb0f85e236015c4a5f57bde7dd6dadctree | snapshot
parent7f0963612d33cd3c1e1330bb42c9962259a03da3commit | diff
action: fixup printing for RMW/RMWR

Some read actions didn't really have a correct 'value' saved in the
ModelAction. Now that we have the 'promise' recorded, always retrieve
the value from reads_from or reads_from_promise.
action.cc diff | blob | history
C11 Tester Tool Public Repository