From c01e4bd2bda6eef36cba3a20241b6f8cff23f102 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 1 Apr 2021 21:02:15 +0200
Subject: [PATCH] snake_case some surviving camels

---
 src/mc/api.cpp                                     | 8 ++++----
 src/mc/checker/Checker.hpp                         | 8 ++++----
 src/mc/checker/CommunicationDeterminismChecker.cpp | 2 +-
 src/mc/checker/LivenessChecker.cpp                 | 2 +-
 src/mc/checker/SafetyChecker.cpp                   | 2 +-
 src/mc/checker/UdporChecker.cpp                    | 2 +-
 6 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/src/mc/api.cpp b/src/mc/api.cpp
index 6f54255a5c..be0b7ed8eb 100644
--- a/src/mc/api.cpp
+++ b/src/mc/api.cpp
@@ -431,19 +431,19 @@ simgrid::mc::Checker* Api::initialize(char** argv, simgrid::mc::CheckerAlgorithm
   simgrid::mc::Checker* checker;
   switch (algo) {
     case CheckerAlgorithm::CommDeterminism:
-      checker = simgrid::mc::createCommunicationDeterminismChecker(session);
+      checker = simgrid::mc::create_communication_determinism_checker(session);
       break;
 
     case CheckerAlgorithm::UDPOR:
-      checker = simgrid::mc::createUdporChecker(session);
+      checker = simgrid::mc::create_udpor_checker(session);
       break;
 
     case CheckerAlgorithm::Safety:
-      checker = simgrid::mc::createSafetyChecker(session);
+      checker = simgrid::mc::create_safety_checker(session);
       break;
 
     case CheckerAlgorithm::Liveness:
-      checker = simgrid::mc::createLivenessChecker(session);
+      checker = simgrid::mc::create_liveness_checker(session);
       break;
 
     default:
diff --git a/src/mc/checker/Checker.hpp b/src/mc/checker/Checker.hpp
index c0ba4a38cf..e187067477 100644
--- a/src/mc/checker/Checker.hpp
+++ b/src/mc/checker/Checker.hpp
@@ -59,10 +59,10 @@ public:
 };
 
 // External constructors so that the types (and the types of their content) remain hidden
-XBT_PUBLIC Checker* createLivenessChecker(Session* session);
-XBT_PUBLIC Checker* createSafetyChecker(Session* session);
-XBT_PUBLIC Checker* createCommunicationDeterminismChecker(Session* session);
-XBT_PUBLIC Checker* createUdporChecker(Session* session);
+XBT_PUBLIC Checker* create_liveness_checker(Session* session);
+XBT_PUBLIC Checker* create_safety_checker(Session* session);
+XBT_PUBLIC Checker* create_communication_determinism_checker(Session* session);
+XBT_PUBLIC Checker* create_udpor_checker(Session* session);
 
 } // namespace mc
 } // namespace simgrid
diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp
index 276fd779f0..1f3bb27c72 100644
--- a/src/mc/checker/CommunicationDeterminismChecker.cpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.cpp
@@ -534,7 +534,7 @@ void CommunicationDeterminismChecker::run()
   this->real_run();
 }
 
-Checker* createCommunicationDeterminismChecker(Session* session)
+Checker* create_communication_determinism_checker(Session* session)
 {
   return new CommunicationDeterminismChecker(session);
 }
diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 1c14bafa2f..1b7953ac9f 100644
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -407,7 +407,7 @@ void LivenessChecker::run()
   api::get().log_state();
 }
 
-Checker* createLivenessChecker(Session* session)
+Checker* create_liveness_checker(Session* session)
 {
   return new LivenessChecker(session);
 }
diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp
index 77e2ff5948..09efb3c235 100644
--- a/src/mc/checker/SafetyChecker.cpp
+++ b/src/mc/checker/SafetyChecker.cpp
@@ -289,7 +289,7 @@ SafetyChecker::SafetyChecker(Session* session) : Checker(session)
   stack_.push_back(std::move(initial_state));
 }
 
-Checker* createSafetyChecker(Session* session)
+Checker* create_safety_checker(Session* session)
 {
   return new SafetyChecker(session);
 }
diff --git a/src/mc/checker/UdporChecker.cpp b/src/mc/checker/UdporChecker.cpp
index a3e4265f88..a209a580b7 100644
--- a/src/mc/checker/UdporChecker.cpp
+++ b/src/mc/checker/UdporChecker.cpp
@@ -29,7 +29,7 @@ std::vector<std::string> UdporChecker::get_textual_trace()
 
 void UdporChecker::log_state() {}
 
-Checker* createUdporChecker(Session* session)
+Checker* create_udpor_checker(Session* session)
 {
   return new UdporChecker(session);
 }
-- 
2.20.1