Merge branch 'master' of framagit.org:simgrid/simgrid

[simgrid.git] / src / mc / checker / simgrid_mc.cpp

diff --git a/src/mc/checker/simgrid_mc.cpp b/src/mc/checker/simgrid_mc.cpp
index 015fb3d25009247d87546d4165958f6c4a21b86a..455290e6a7a64b644a01a810093d86fa4f57dca8 100644 (file)
--- a/src/mc/checker/simgrid_mc.cpp
+++ b/src/mc/checker/simgrid_mc.cpp
@@ -33,6 +33,8 @@ static std::unique_ptr<simgrid::mc::Checker> create_checker()
 {
   if (_sg_mc_comms_determinism || _sg_mc_send_determinism)
     return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createCommunicationDeterminismChecker());
+  else if (_sg_mc_unfolding_checker)
+    return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createUdporChecker());
   else if (_sg_mc_property_file.get().empty())
     return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createSafetyChecker());
   else