X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=benchmarks%2Fsatcheck-precompiled%2Fdekker%2Fdekker-fences.c;h=46898604050c10de35e62546ee797b6be53b7d7c;hb=bd644b5504a9bfc394bf245dc7a8579ebed9254a;hp=ac796c973b934cbf0ac3f1ae774a6fdf2fee91dd;hpb=9031836d066385fcd527a2e6dc7e065473096f10;p=satcheck.git

diff --git a/benchmarks/satcheck-precompiled/dekker/dekker-fences.c b/benchmarks/satcheck-precompiled/dekker/dekker-fences.c
index ac796c9..4689860 100644
--- 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();