Fix yield bug

[satcheck.git] / benchmarks / satcheck-precompiled / dekker / dekker-fences_unannotated.c

diff --git a/benchmarks/satcheck-precompiled/dekker/dekker-fences_unannotated.c b/benchmarks/satcheck-precompiled/dekker/dekker-fences_unannotated.c
index 15a6d2c539f1cd59629c0e4f90d892d7339b40b5..6f2603120a0466de4486cb6261d61ebbacd2f578 100644 (file)
--- a/benchmarks/satcheck-precompiled/dekker/dekker-fences_unannotated.c
+++ b/benchmarks/satcheck-precompiled/dekker/dekker-fences_unannotated.c
@@ -85,6 +85,8 @@ void p1() {
                        
                        store_32(&flag1, true);
                        // std::atomic_thread_fence(std::memory_order_seq_cst);
+               } else {
+                       MC2_yield();
                }
        }