mc_api::get_actors_size() defined and it is used in VisitedState::VisitedState()

diff --git a/src/mc/VisitedState.cpp b/src/mc/VisitedState.cpp
index fa49142..adf130e 100644 (file)
--- a/src/mc/VisitedState.cpp
+++ b/src/mc/VisitedState.cpp
@@ -23,7 +23,7 @@ namespace mc {
 VisitedState::VisitedState(unsigned long state_number) : num(state_number)
 {  
   this->heap_bytes_used = mcapi::get().get_remote_heap_bytes();
-  this->actors_count = mcapi::get().mc_get_remote_simulation().actors().size();
+  this->actors_count = mcapi::get().get_actors_size();
   this->system_state = std::make_shared<simgrid::mc::Snapshot>(state_number);
 }
 

diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp
index 29e895b..3c5412e 100644 (file)
--- a/src/mc/mc_api.cpp
+++ b/src/mc/mc_api.cpp
@@ -205,6 +205,11 @@ unsigned long mc_api::get_maxpid() const
   return MC_smx_get_maxpid();
 }
 
+int mc_api::get_actors_size() const
+{
+  return mc_model_checker->get_remote_simulation().actors().size();
+}
+
 void mc_api::copy_incomplete_comm_pattern(const simgrid::mc::State* state) const
 {
   MC_state_copy_incomplete_communications_pattern((simgrid::mc::State*)state);

diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index c6def81..b7a98a3 100644 (file)
--- a/src/mc/mc_api.hpp
+++ b/src/mc/mc_api.hpp
@@ -42,6 +42,7 @@ public:
   std::vector<simgrid::mc::ActorInformation>& get_actors() const;
   bool actor_is_enabled(aid_t pid) const;
   unsigned long get_maxpid() const;
+  int get_actors_size() const;
 
   // COMMUNICATION APIs
   void copy_incomplete_comm_pattern(const simgrid::mc::State* state) const;