When an atomic read action cannot read from a desired write, make this thread sleep...

[c11tester.git] / action.h

diff --git a/action.h b/action.h
index 00289355be9db60dd14c4cec2eace3381ac2e79a..21d46e5bac789ec34f93340d6fa973f2eb49be52 100644 (file)
--- a/action.h
+++ b/action.h
@@ -122,6 +122,7 @@ public:
 
        void copy_from_new(ModelAction *newaction);
        void set_seq_number(modelclock_t num);
+       void reset_seq_number();
        void set_try_lock(bool obtainedlock);
        bool is_thread_start() const;
        bool is_thread_join() const;