model: utilize bad_synchronization flag

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index 54ecce7dd4192e81c5e587041d2df7af27031de8..c744c65f1b5b06223ea08618c3ea1d1700b6c500 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -228,7 +228,8 @@ void ModelAction::read_from(const ModelAction *act)
                rel_heads_list_t release_heads;
                model->get_release_seq_heads(this, &release_heads);
                for (unsigned int i = 0; i < release_heads.size(); i++)
-                       synchronize_with(release_heads[i]);
+                       if (!synchronize_with(release_heads[i]))
+                               model->set_bad_synchronization();
        }
 }