model: backtracking messages are only for debugging
authorBrian Norris <banorris@uci.edu>
Fri, 27 Apr 2012 06:42:55 +0000 (23:42 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 27 Apr 2012 06:42:55 +0000 (23:42 -0700)
model.cc

index 3d41a2e..d878abb 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);