A little bit clean up, mc_api::s_log_state() renamed to mc_api::log_state()

diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp
index 85ba0f5..34e669b 100644 (file)
--- a/src/mc/checker/CommunicationDeterminismChecker.cpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.cpp
@@ -143,7 +143,7 @@ void CommunicationDeterminismChecker::deterministic_comm_pattern(int process, co
         XBT_INFO("%s", this->send_diff);
         xbt_free(this->send_diff);
         this->send_diff = nullptr;
         XBT_INFO("%s", this->send_diff);
         xbt_free(this->send_diff);
         this->send_diff = nullptr;

-        mcapi::get().s_log_state();
+        mcapi::get().log_state();

         mcapi::get().mc_exit(SIMGRID_MC_EXIT_NON_DETERMINISM);
       } else if (_sg_mc_comms_determinism && (not this->send_deterministic && not this->recv_deterministic)) {
         XBT_INFO("****************************************************");
         mcapi::get().mc_exit(SIMGRID_MC_EXIT_NON_DETERMINISM);
       } else if (_sg_mc_comms_determinism && (not this->send_deterministic && not this->recv_deterministic)) {
         XBT_INFO("****************************************************");


@@ -159,7 +159,7 @@ void CommunicationDeterminismChecker::deterministic_comm_pattern(int process, co
           xbt_free(this->recv_diff);
           this->recv_diff = nullptr;
         }
           xbt_free(this->recv_diff);
           this->recv_diff = nullptr;
         }

-        mcapi::get().s_log_state();
+        mcapi::get().log_state();

         mcapi::get().mc_exit(SIMGRID_MC_EXIT_NON_DETERMINISM);
       }
     }
         mcapi::get().mc_exit(SIMGRID_MC_EXIT_NON_DETERMINISM);
       }
     }


@@ -499,7 +499,7 @@ void CommunicationDeterminismChecker::real_run()
     }
   }
 
     }
   }
 

-  mcapi::get().s_log_state();
+  mcapi::get().log_state();

 }
 
 void CommunicationDeterminismChecker::run()
 }
 
 void CommunicationDeterminismChecker::run()

diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp
index 9ba128f..cf92614 100644 (file)
--- a/src/mc/checker/SafetyChecker.cpp
+++ b/src/mc/checker/SafetyChecker.cpp
@@ -47,7 +47,7 @@ void SafetyChecker::check_non_termination(const State* current_state)
       for (auto const& s : checker->get_textual_trace())
         XBT_INFO("  %s", s.c_str());
       mcapi::get().mc_dump_record_path();
       for (auto const& s : checker->get_textual_trace())
         XBT_INFO("  %s", s.c_str());
       mcapi::get().mc_dump_record_path();

-      mcapi::get().s_log_state();
+      mcapi::get().log_state();

 
       throw TerminationError();
     }
 
       throw TerminationError();
     }


@@ -173,7 +173,7 @@ void SafetyChecker::run()
   }
 
   XBT_INFO("No property violation found.");
   }
 
   XBT_INFO("No property violation found.");

-  mcapi::get().s_log_state();
+  mcapi::get().log_state();

 }
 
 void SafetyChecker::backtrack()
 }
 
 void SafetyChecker::backtrack()

diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp
index dbec9d9..bee98a6 100644 (file)
--- a/src/mc/mc_api.cpp
+++ b/src/mc/mc_api.cpp
@@ -492,7 +492,7 @@ void mc_api::execute(Transition const& transition)
   session->execute(transition);
 }
 
   session->execute(transition);
 }
 

-void mc_api::s_log_state() const
+void mc_api::log_state() const

 {
   session->log_state();
 }
 {
   session->log_state();
 }

diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index 0abe234..f7f5e13 100644 (file)
--- a/src/mc/mc_api.hpp
+++ b/src/mc/mc_api.hpp
@@ -95,13 +95,13 @@ public:
   // SNAPSHOT APIs
   bool snapshot_equal(const Snapshot* s1, const Snapshot* s2) const;
   simgrid::mc::Snapshot* take_snapshot(int num_state) const;
   // SNAPSHOT APIs
   bool snapshot_equal(const Snapshot* s1, const Snapshot* s2) const;
   simgrid::mc::Snapshot* take_snapshot(int num_state) const;

+  void log_state() const;

 
   // SESSION APIs
   void s_initialize() const;
   void s_close() const;
   void s_restore_initial_state() const;
   void execute(Transition const& transition);
 
   // SESSION APIs
   void s_initialize() const;
   void s_close() const;
   void s_restore_initial_state() const;
   void execute(Transition const& transition);

-  void s_log_state() const;

 };
 
 } // namespace mc
 };
 
 } // namespace mc