action: synchronize_with - return status for out-of-order synchronization

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 3b13eda66e91cec5d42a219e658f4afc1f3227b4..1711e1a002b6d105cb413efec6c20e644f51f0f8 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -660,6 +660,7 @@ Thread * ModelChecker::check_current_action(ModelAction *curr)
                                if (w_modification_order(act))
                                        updated = true;
                        }
+                       mo_graph->commitChanges();
 
                        if (updated)
                                work_queue.push_back(CheckRelSeqWorkEntry(act->get_location()));
@@ -1633,8 +1634,6 @@ bool ModelChecker::take_step() {
                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())