patches that old versions of the benchmarks (mcs-lock, rcu & seqlock) used
[model-checker-benchmarks.git] / seqlock / seqlock.cc.patch
1 23c23
2 <             thrd_yield();
3 ---
4 >             //thrd_yield();
5 38c38
6 <             thrd_yield();
7 ---
8 >             //thrd_yield();
9 54c54
10 <             thrd_yield();
11 ---
12 >             //thrd_yield();
13 61c61
14 <             thrd_yield();
15 ---
16 >             //thrd_yield();