From: Brian Norris <banorris@uci.edu>
Date: Fri, 27 Apr 2012 06:42:55 +0000 (-0700)
Subject: model: backtracking messages are only for debugging
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=60d48fbee99e2dda511dc64e4a64b9039b20ec69;p=c11tester.git

model: backtracking messages are only for debugging
---

diff --git a/model.cc b/model.cc
index 3d41a2ea..d878abbc 100644
--- a/model.cc
+++ b/model.cc
@@ -167,10 +167,12 @@ void ModelChecker::set_backtracking(ModelAction *act)
 	if (node->setBacktrack(act->get_tid()) != 0)
 		return;
 
-	printf("Setting backtrack: conflict = %d, instead tid = %d\n",
+	DEBUG("Setting backtrack: conflict = %d, instead tid = %d\n",
 			prev->get_tid(), act->get_tid());
-	prev->print();
-	act->print();
+	if (DBG_ENABLED()) {
+		prev->print();
+		act->print();
+	}
 
 	Backtrack *back = new Backtrack(prev, action_trace);
 	backtrack_list.push_back(back);