projects / c11tester.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 61d1e3a)
model: don't call process_read() for 2nd half of RMW/RMWC
authorBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 00:36:24 +0000 (16:36 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 00:36:24 +0000 (16:36 -0800)
We don't need to call process_read() for the second half of an RMW or
RMWC ModelAction. Anyway, it does next-to-nothing when
'second_part_of_rmw' is true.


No differences found
C11 Tester Tool Public Repository