snake_case some surviving camels

[simgrid.git] / src / mc / checker / CommunicationDeterminismChecker.cpp

diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp
index 9c179abc9e5c5a1068ea536d0a04acd26c90c030..1f3bb27c72dda2fb5ed7374dc53d8d309bff54e2 100644 (file)
--- a/src/mc/checker/CommunicationDeterminismChecker.cpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.cpp
@@ -316,7 +316,7 @@ void CommunicationDeterminismChecker::prepare()
   /* Add all enabled actors to the interleave set of the initial state */
   for (auto& act : api::get().get_actors()) {
     auto actor = act.copy.get_buffer();
-    if (api::get().actor_is_enabled(actor->get_pid()))
+    if (get_session().actor_is_enabled(actor->get_pid()))
       initial_state->mark_todo(actor);
   }
 
@@ -345,7 +345,7 @@ void CommunicationDeterminismChecker::restoreState()
     return;
   }
 
-  session->restore_initial_state();
+  get_session().restore_initial_state();
 
   const unsigned long maxpid = api::get().get_maxpid();
   assert(maxpid == incomplete_communications_pattern.size());
@@ -471,7 +471,7 @@ void CommunicationDeterminismChecker::real_run()
         /* Add all enabled actors to the interleave set of the next state */
         for (auto& act : api::get().get_actors()) {
           auto actor = act.copy.get_buffer();
-          if (api::get().actor_is_enabled(actor->get_pid()))
+          if (get_session().actor_is_enabled(actor->get_pid()))
             next_state->mark_todo(actor);
         }
 
@@ -528,13 +528,13 @@ void CommunicationDeterminismChecker::real_run()
 void CommunicationDeterminismChecker::run()
 {
   XBT_INFO("Check communication determinism");
-  get_session()->take_initial_snapshot();
+  get_session().take_initial_snapshot();
 
   this->prepare();
   this->real_run();
 }
 
-Checker* createCommunicationDeterminismChecker(Session* session)
+Checker* create_communication_determinism_checker(Session* session)
 {
   return new CommunicationDeterminismChecker(session);
 }