model: check data races during release sequence fixup

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 4032ef1263782f72b55d4841d37a9f9e5fd45e62..68831b867885fe83a7765e2716c8d07cc67f9726 100644 (file)
--- a/model.h
+++ b/model.h
@@ -203,6 +203,10 @@ private:
         * together for efficiency and maintainability. */
        struct model_snapshot_members *priv;
 
+       /** A special model-checker Thread; used for associating with
+        *  model-checker-related ModelAcitons */
+       Thread *model_thread;
+
        /**
         * @brief The modification order graph
         *