From 66013c251781d4c2e926377d2e492334aa6e47ea Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Fri, 11 Dec 2020 12:47:04 +0100 Subject: [PATCH] createSafetyChecker without Session argument --- src/mc/checker/Checker.hpp | 2 +- src/mc/checker/SafetyChecker.cpp | 2 +- src/mc/checker/simgrid_mc.cpp | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/mc/checker/Checker.hpp b/src/mc/checker/Checker.hpp index 9c0439c460..814bf550a2 100644 --- a/src/mc/checker/Checker.hpp +++ b/src/mc/checker/Checker.hpp @@ -59,7 +59,7 @@ public: // External constructors so that the types (and the types of their content) remain hidden XBT_PUBLIC Checker* createLivenessChecker(); -XBT_PUBLIC Checker* createSafetyChecker(Session& session); +XBT_PUBLIC Checker* createSafetyChecker(); XBT_PUBLIC Checker* createCommunicationDeterminismChecker(Session& session); } // namespace mc diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp index d77a96ba1b..7b7d901e9b 100644 --- a/src/mc/checker/SafetyChecker.cpp +++ b/src/mc/checker/SafetyChecker.cpp @@ -306,7 +306,7 @@ SafetyChecker::SafetyChecker() : Checker() stack_.push_back(std::move(initial_state)); } -Checker* createSafetyChecker(Session& s) +Checker* createSafetyChecker() { return new SafetyChecker(); } diff --git a/src/mc/checker/simgrid_mc.cpp b/src/mc/checker/simgrid_mc.cpp index acdb7c0709..b304db5636 100644 --- a/src/mc/checker/simgrid_mc.cpp +++ b/src/mc/checker/simgrid_mc.cpp @@ -36,7 +36,7 @@ static std::unique_ptr create_checker(simgrid::mc::Session if (_sg_mc_comms_determinism || _sg_mc_send_determinism) return std::unique_ptr(simgrid::mc::createCommunicationDeterminismChecker(session)); else if (_sg_mc_property_file.get().empty()) - return std::unique_ptr(simgrid::mc::createSafetyChecker(session)); + return std::unique_ptr(simgrid::mc::createSafetyChecker()); else return std::unique_ptr(simgrid::mc::createLivenessChecker()); } -- 2.20.1