Session instance removed from Checker class

diff --git a/src/mc/checker/Checker.cpp b/src/mc/checker/Checker.cpp
index e03f5f2..12c1281 100644 (file)
--- a/src/mc/checker/Checker.cpp
+++ b/src/mc/checker/Checker.cpp
@@ -11,7 +11,7 @@
 namespace simgrid {
 namespace mc {
 
-Checker::Checker(Session& s) : session_(&s)
+Checker::Checker()
 {
   xbt_assert(mc_model_checker);
   xbt_assert(mc_model_checker->getChecker() == nullptr);

diff --git a/src/mc/checker/Checker.hpp b/src/mc/checker/Checker.hpp
index 107e97f..dd8cc10 100644 (file)
--- a/src/mc/checker/Checker.hpp
+++ b/src/mc/checker/Checker.hpp
@@ -28,10 +28,8 @@ namespace mc {
  *  have all the necessary features). */
 // abstract
 class Checker {
-  Session* session_;
-
 public:
-  explicit Checker(Session& session);
+  explicit Checker();
 
   // No copy:
   Checker(Checker const&) = delete;

diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp
index dbb7438..1ec5724 100644 (file)
--- a/src/mc/checker/CommunicationDeterminismChecker.cpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.cpp
@@ -261,7 +261,7 @@ void CommunicationDeterminismChecker::complete_comm_pattern(const kernel::activi
   }
 }
 
-CommunicationDeterminismChecker::CommunicationDeterminismChecker(Session& s) : Checker(s) {}
+CommunicationDeterminismChecker::CommunicationDeterminismChecker(Session& s) : Checker() {}
 
 CommunicationDeterminismChecker::~CommunicationDeterminismChecker() = default;
 

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 476dfef..b034afa 100644 (file)
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -205,7 +205,7 @@ void LivenessChecker::purge_visited_pairs()
   }
 }
 
-LivenessChecker::LivenessChecker(Session& s) : Checker(s)
+LivenessChecker::LivenessChecker(Session& s) : Checker()
 {
 }
 

diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp
index f391d1a..ebb83dc 100644 (file)
--- a/src/mc/checker/SafetyChecker.cpp
+++ b/src/mc/checker/SafetyChecker.cpp
@@ -269,7 +269,7 @@ void SafetyChecker::restore_state()
   }
 }
 
-SafetyChecker::SafetyChecker(Session& s) : Checker(s)
+SafetyChecker::SafetyChecker(Session& s) : Checker()
 {
   reductionMode_ = reduction_mode;
   if (_sg_mc_termination)