model: don't call process_read() for 2nd half of RMW/RMWC
[c11tester.git] / test / double-read-fv.c
2013-02-22 Brian Norristest: add double-read-fv