From a3f3df022fdfd22dd6a8e877610b4b82281926fd Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 27 Sep 2012 10:53:37 -0700
Subject: [PATCH] model: add RMW violation debug print

---
 model.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/model.cc b/model.cc
index ea7b657..fd90685 100644
--- a/model.cc
+++ b/model.cc
@@ -723,6 +723,9 @@ bool ModelChecker::isfeasibleprefix() {
 
 /** @return whether the current partial trace is feasible. */
 bool ModelChecker::isfeasible() {
+	if (DBG_ENABLED() && mo_graph->checkForRMWViolation())
+		DEBUG("Infeasible: RMW violation\n");
+
 	return !mo_graph->checkForRMWViolation() && isfeasibleotherthanRMW();
 }
 
-- 
2.34.1