mcapi::s_restore_initial_state() renamed to mcapi::restore_initial_state()

diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp
index 34e669b..f4795c7 100644 (file)
--- a/src/mc/checker/CommunicationDeterminismChecker.cpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.cpp
@@ -344,7 +344,7 @@ void CommunicationDeterminismChecker::restoreState()
   }
 
   /* Restore the initial state */
   }
 
   /* Restore the initial state */

-  mcapi::get().s_restore_initial_state();
+  mcapi::get().restore_initial_state();

 
   unsigned n = mcapi::get().get_maxpid();
   assert(n == incomplete_communications_pattern.size());
 
   unsigned n = mcapi::get().get_maxpid();
   assert(n == incomplete_communications_pattern.size());

diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp
index cf92614..19a3d16 100644 (file)
--- a/src/mc/checker/SafetyChecker.cpp
+++ b/src/mc/checker/SafetyChecker.cpp
@@ -256,7 +256,7 @@ void SafetyChecker::restore_state()
   }
 
   /* Restore the initial state */
   }
 
   /* Restore the initial state */

-  mcapi::get().s_restore_initial_state();
+  mcapi::get().restore_initial_state();

 
   /* Traverse the stack from the state at position start and re-execute the transitions */
   for (std::unique_ptr<State> const& state : stack_) {
 
   /* Traverse the stack from the state at position start and re-execute the transitions */
   for (std::unique_ptr<State> const& state : stack_) {

diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp
index bee98a6..3d37b20 100644 (file)
--- a/src/mc/mc_api.cpp
+++ b/src/mc/mc_api.cpp
@@ -482,7 +482,7 @@ void mc_api::s_close() const
   session->close();
 }
 
   session->close();
 }
 

-void mc_api::s_restore_initial_state() const
+void mc_api::restore_initial_state() const

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

diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index f7f5e13..f4aeb89 100644 (file)
--- a/src/mc/mc_api.hpp
+++ b/src/mc/mc_api.hpp
@@ -91,16 +91,16 @@ public:
 
   // STATE APIs
   void restore_state(std::shared_ptr<simgrid::mc::Snapshot> system_state) const;
 
   // STATE APIs
   void restore_state(std::shared_ptr<simgrid::mc::Snapshot> system_state) const;

+  void log_state() const;
+  void restore_initial_state() const;

 
   // 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;
 
   // SESSION APIs
   void s_initialize() const;
   void s_close() const;

-  void s_restore_initial_state() const;

   void execute(Transition const& transition);
 };
 
   void execute(Transition const& transition);
 };