rw_correctness_test added