X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=benchmarks%2Fsatcheck-precompiled%2Fdekker%2Fdekker-fences.c;fp=benchmarks%2Fsatcheck-precompiled%2Fdekker%2Fdekker-fences.c;h=ac796c973b934cbf0ac3f1ae774a6fdf2fee91dd;hb=52b59882a22019190a4f6cb35c65ce1221b4a96e;hp=c5319338dc1f287c873b731db160e89b76609d0e;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/benchmarks/satcheck-precompiled/dekker/dekker-fences.c b/benchmarks/satcheck-precompiled/dekker/dekker-fences.c
index c531933..ac796c9 100644
--- a/benchmarks/satcheck-precompiled/dekker/dekker-fences.c
+++ b/benchmarks/satcheck-precompiled/dekker/dekker-fences.c
@@ -37,9 +37,9 @@ void p0() {
 			_br0 = MC2_branchUsesID(_cond0_m, 1, 2, true);
 			break;
 		}
-
-	 else { _br0 = MC2_branchUsesID(_cond0_m, 0, 2, true);	MC2_merge(_br0);
-		 }	MCID _br1;
+ else { _br0 = MC2_branchUsesID(_cond0_m, 0, 2, true);	MC2_merge(_br0);
+ }
+		MCID _br1;
 		MCID _m_cond1_m=MC2_nextOpLoad(MCID_NODEP); 
 		int _cond1 = load_32(&turn);
 		MCID _cond1_m = MC2_function_id(2, 1, sizeof(_cond1), _cond1, _m_cond1_m);
@@ -57,8 +57,8 @@ void p0() {
 					_br2 = MC2_branchUsesID(_cond2_m, 1, 2, true);
 					break;
 				}
-		 else { _br2 = MC2_branchUsesID(_cond2_m, 0, 2, true);	MC2_merge(_br2);
-				 }		
+ else { _br2 = MC2_branchUsesID(_cond2_m, 0, 2, true);	MC2_merge(_br2);
+				 }				
 				MC2_yield();
 			}
 MC2_exitLoop();
@@ -106,8 +106,8 @@ void p1() {
 			_br3 = MC2_branchUsesID(_cond3_m, 1, 2, true);
 			break;
 		}
-		 else { _br3 = MC2_branchUsesID(_cond3_m, 0, 2, true);	MC2_merge(_br3);
-		 }
+ else { _br3 = MC2_branchUsesID(_cond3_m, 0, 2, true);	MC2_merge(_br3);
+		 }		
 		MCID _br4;
 		MCID _m_cond4_m=MC2_nextOpLoad(MCID_NODEP); 
 		int _cond4 = !load_32(&turn);
@@ -124,9 +124,9 @@ void p1() {
 				MCID _cond5_m = MC2_function_id(6, 1, sizeof(_cond5), _cond5, _m_cond5_m);
 				if (_cond5)
 					{_br5 = MC2_branchUsesID(_cond5_m, 1, 2, true);
-					break;
-}	 else { _br5 = MC2_branchUsesID(_cond5_m, 0, 2, true);	MC2_merge(_br5);
-				 }			MC2_yield();
+					break;}
+ else { _br5 = MC2_branchUsesID(_cond5_m, 0, 2, true);	MC2_merge(_br5);
+				 }				MC2_yield();
 			}
 MC2_exitLoop();