model: add read-acquire/fence-release support

[c11tester.git] / action.h

diff --git a/action.h b/action.h
index 82b8532dacb97b4c748620b4b5af8308d377ed6a..be87eca33f7400da44e308a598c6c3084044d620 100644 (file)
--- a/action.h
+++ b/action.h
@@ -96,6 +96,7 @@ public:
        void copy_from_new(ModelAction *newaction);
        void set_seq_number(modelclock_t num);
        void set_try_lock(bool obtainedlock);
+       bool is_thread_start() const;
        bool is_relseq_fixup() const;
        bool is_mutex_op() const;
        bool is_lock() const;