model: don't call process_read() for 2nd half of RMW/RMWC
[c11tester.git] / test / wrcs.c
2012-10-25 Brian Demskycheck in test