From: Ehsan Azimi <eazimi@ehsan.irisa.fr>
Date: Fri, 11 Dec 2020 11:40:39 +0000 (+0100)
Subject: createLivenessChecker without Session argument
X-Git-Tag: v3.26~13^2~7
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7e5f98cca57772e953c7404fac33893f56148524

createLivenessChecker without Session argument
---

diff --git a/src/mc/checker/Checker.hpp b/src/mc/checker/Checker.hpp
index dd8cc10801..9c0439c460 100644
--- a/src/mc/checker/Checker.hpp
+++ b/src/mc/checker/Checker.hpp
@@ -58,7 +58,7 @@ public:
 };
 
 // External constructors so that the types (and the types of their content) remain hidden
-XBT_PUBLIC Checker* createLivenessChecker(Session& session);
+XBT_PUBLIC Checker* createLivenessChecker();
 XBT_PUBLIC Checker* createSafetyChecker(Session& session);
 XBT_PUBLIC Checker* createCommunicationDeterminismChecker(Session& session);
 
diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index ab76c143e0..6c2efae46f 100644
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -411,7 +411,7 @@ void LivenessChecker::run()
   mcapi::get().log_state();
 }
 
-Checker* createLivenessChecker(Session& s)
+Checker* createLivenessChecker()
 {
   return new LivenessChecker();
 }
diff --git a/src/mc/checker/simgrid_mc.cpp b/src/mc/checker/simgrid_mc.cpp
index e382e9ff9f..acdb7c0709 100644
--- a/src/mc/checker/simgrid_mc.cpp
+++ b/src/mc/checker/simgrid_mc.cpp
@@ -38,7 +38,7 @@ static std::unique_ptr<simgrid::mc::Checker> create_checker(simgrid::mc::Session
   else if (_sg_mc_property_file.get().empty())
     return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createSafetyChecker(session));
   else
-    return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createLivenessChecker(session));
+    return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createLivenessChecker());
 }
 
 int main(int argc, char** argv)