Set data race property to false and comment the other ones in ring_2w1r-1
The modified benchmark shares most of the code via #include "ring.h"
. All other variants (ring_2w1r-2.i
, ring_1w1r-2.i
and ring_1w1r-1.i
) are already marked as racy.
Noticed that last year I was very much against accepting a MR (!1391 (merged)) that commented out the expected results rather than providing a proper solution. However, it was decided that we shouldn't punish tools when it was us that optimistically marked all concurrency benchmarks as race free. I do not have the time to give a proper fix before the freezing deadline, so I am following last year approach and just forcing to use the correct expected results.