Fix yield bug

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

diff --git a/benchmarks/satcheck-precompiled/dekker/dekker-fences.c b/benchmarks/satcheck-precompiled/dekker/dekker-fences.c
index ac796c973b934cbf0ac3f1ae774a6fdf2fee91dd..46898604050c10de35e62546ee797b6be53b7d7c 100644 (file)
--- a/benchmarks/satcheck-precompiled/dekker/dekker-fences.c
+++ b/benchmarks/satcheck-precompiled/dekker/dekker-fences.c
@@ -136,7 +136,9 @@ MC2_exitLoop();
                        // std::atomic_thread_fence(std::memory_order_seq_cst);
                        MC2_merge(_br4);
                }
- else { _br4 = MC2_branchUsesID(_cond4_m, 0, 2, true); MC2_merge(_br4);
+ else { _br4 = MC2_branchUsesID(_cond4_m, 0, 2, true);
+                       MC2_yield();
+        MC2_merge(_br4);
         }      }
 MC2_exitLoop();