assign sequence numbers after initial processing

[c11tester.git] / action.h

diff --git a/action.h b/action.h
index 2bf01dce092b71d1a0fa37bc82a29802036e9d1c..f6fb06236fe0230eb942c38dcc177c081db341bd 100644 (file)
--- a/action.h
+++ b/action.h
@@ -78,6 +78,7 @@ public:
        void set_node(Node *n) { node = n; }
 
        void copy_from_new(ModelAction *newaction);
+       void set_seq_number(modelclock_t num);
        void set_try_lock(bool obtainedlock);
        bool is_mutex_op() const;
        bool is_lock() const;