snake_case some surviving camels

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

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index c3730a96896b70ac312cc015d77e81c8128f2ca6..1b7953ac9fae4f11478797e3c15cb458d1477842 100644 (file)
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -116,7 +116,7 @@ void LivenessChecker::replay()
     }
   }
 
-  session->restore_initial_state();
+  get_session().restore_initial_state();
 
   /* Traverse the stack from the initial state and re-execute the transitions */
   int depth = 1;
@@ -259,7 +259,7 @@ std::shared_ptr<Pair> LivenessChecker::create_pair(const Pair* current_pair, xbt
   /* 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()))
       next_pair->graph_state->mark_todo(actor);
   }
 
@@ -300,7 +300,7 @@ void LivenessChecker::run()
   api::get().automaton_load(_sg_mc_property_file.get().c_str());
 
   XBT_DEBUG("Starting the liveness algorithm");
-  get_session()->take_initial_snapshot();
+  get_session().take_initial_snapshot();
 
   /* Initialize */
   this->previous_pair_ = 0;
@@ -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);
 }