add support for pthread_mutex

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index 1d032e1b1e0727113f8167d6e0f09a84ed93fbc1..7e651561a79740af75910d2f7fd1251691644b49 100644 (file)
--- a/model.h
+++ b/model.h
@@ -17,6 +17,7 @@
 #include "params.h"
 
 #include <map>
+#include <mutex>
 
 /* Forward declaration */
 class Node;
@@ -81,6 +82,7 @@ public:
        void set_inspect_plugin(TraceAnalysis *a) {     inspect_plugin=a;       }
        MEMALLOC
        std::map<pthread_t, ModelAction*> pthread_map;
+       std::map<pthread_mutex_t *, std::mutex*> mutex_map;
 private:
        /** Flag indicates whether to restart the model checker. */
        bool restart_flag;