model: don't call process_read() for 2nd half of RMW/RMWC
[c11tester.git] / test / mutextest.cc
2012-10-12 Brian Demskyadd two test cases