Skip to content

Set data race property to false and comment the other ones in ring_2w1r-1

Hernan Ponce de Leon requested to merge divine-race into main

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.

Merge request reports