From 60d48fbee99e2dda511dc64e4a64b9039b20ec69 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 26 Apr 2012 23:42:55 -0700 Subject: [PATCH] model: backtracking messages are only for debugging --- model.cc | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/model.cc b/model.cc index 3d41a2e..d878abb 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); -- 2.34.1