MC: Support Mutexes in DPOR

[simgrid.git] / src / mc / transition / Transition.cpp

diff --git a/src/mc/transition/Transition.cpp b/src/mc/transition/Transition.cpp
index 010e23b..29d08ec 100644 (file)
--- a/src/mc/transition/Transition.cpp
+++ b/src/mc/transition/Transition.cpp
@@ -13,6 +13,7 @@
 #include "src/mc/transition/TransitionAny.hpp"
 #include "src/mc/transition/TransitionComm.hpp"
 #include "src/mc/transition/TransitionRandom.hpp"
+#include "src/mc/transition/TransitionSynchro.hpp"
 #endif
 
 #include <sstream>
@@ -79,6 +80,13 @@ Transition* deserialize_transition(aid_t issuer, int times_considered, std::stri
     case Transition::Type::RANDOM:
       return new RandomTransition(issuer, times_considered, stream);
 
+    case Transition::Type::MUTEX_TRYLOCK:
+    case Transition::Type::MUTEX_LOCK:
+    case Transition::Type::MUTEX_TEST:
+    case Transition::Type::MUTEX_WAIT:
+    case Transition::Type::MUTEX_UNLOCK:
+      return new MutexTransition(issuer, times_considered, simcall, stream);
+
     case Transition::Type::UNKNOWN:
       return new Transition(Transition::Type::UNKNOWN, issuer, times_considered);
   }