model: backtracking messages are only for debugging

diff --git a/model.cc b/model.cc
index 3d41a2eaee664208e19013df322336d03aa9b288..d878abbc002124d4dcacd2651af3c1990f6c19b9 100644 (file)
--- 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);