model: remove debug print
authorBrian Norris <banorris@uci.edu>
Mon, 1 Oct 2012 17:55:23 +0000 (10:55 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 1 Oct 2012 17:55:23 +0000 (10:55 -0700)
model.cc

index 3b82770..1711e1a 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1634,8 +1634,6 @@ bool ModelChecker::take_step() {
                if (curr->get_state() == THREAD_READY) {
                        ASSERT(priv->current_action);
 
                if (curr->get_state() == THREAD_READY) {
                        ASSERT(priv->current_action);
 
-                       if (priv->current_action->get_seq_number()>600)
-                               print_summary();
                        priv->nextThread = check_current_action(priv->current_action);
                        priv->current_action = NULL;
                        if (curr->is_blocked() || curr->is_complete())
                        priv->nextThread = check_current_action(priv->current_action);
                        priv->current_action = NULL;
                        if (curr->is_blocked() || curr->is_complete())