assign sequence numbers after initial processing

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 097da8ae9b7c66fae010db5c95d3a6245622f3cc..744fec5e17a27ef75b07a2bca068ff344e951ee8 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -534,6 +534,8 @@ ModelAction * ModelChecker::initialize_curr_action(ModelAction *curr)
                return newcurr;
        }
 
+       curr->set_seq_number(get_next_seq_num());
+
        newcurr = node_stack->explore_action(curr, scheduler->get_enabled());
        if (newcurr) {
                /* First restore type and order in case of RMW operation */