From 31ab190e8fd70254fe4fc021e2626c8629e477a1 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 10 Jan 2019 09:59:12 +0100
Subject: [PATCH 1/1] [sonar] Rename method (don't use "main").

---
 src/mc/checker/CommunicationDeterminismChecker.cpp | 4 ++--
 src/mc/checker/CommunicationDeterminismChecker.hpp | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp
index 582059dd2d..a049e86514 100644
--- a/src/mc/checker/CommunicationDeterminismChecker.cpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.cpp
@@ -429,7 +429,7 @@ void CommunicationDeterminismChecker::restoreState()
   }
 }
 
-void CommunicationDeterminismChecker::main()
+void CommunicationDeterminismChecker::real_run()
 {
   std::unique_ptr<simgrid::mc::VisitedState> visited_state = nullptr;
   smx_simcall_t req = nullptr;
@@ -565,7 +565,7 @@ void CommunicationDeterminismChecker::run()
 
   this->prepare();
 
-  this->main();
+  this->real_run();
 }
 
 Checker* createCommunicationDeterminismChecker(Session& session)
diff --git a/src/mc/checker/CommunicationDeterminismChecker.hpp b/src/mc/checker/CommunicationDeterminismChecker.hpp
index 59a0bca421..594c65df86 100644
--- a/src/mc/checker/CommunicationDeterminismChecker.hpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.hpp
@@ -28,7 +28,7 @@ public:
   std::vector<std::string> getTextualTrace() override;
 private:
   void prepare();
-  void main();
+  void real_run();
   void logState() override;
   void deterministic_comm_pattern(int process, simgrid::mc::PatternCommunication* comm, int backtracking);
   void restoreState();
-- 
2.20.1