From: bdemsky <bdemsky@uci.edu>
Date: Wed, 24 Feb 2016 00:07:39 +0000 (-0800)
Subject: bug in fence support fixed
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=178fa56c36e45267d59c545dea0b9c7be93a4e1e

bug in fence support fixed
---

diff --git a/action.cc b/action.cc
index 876de12..d4c6253 100644
--- a/action.cc
+++ b/action.cc
@@ -330,7 +330,7 @@ bool ModelAction::could_synchronize_with(const ModelAction *act) const
 		return false;
 
 	// Different locations commute
-	if (!same_var(act))
+	if (!same_var(act) && !is_fence() && !act->is_fence())
 		return false;
 
 	// Explore interleavings of seqcst writes/fences to guarantee total