Automatize the computation of executed_transitions_

[simgrid.git] / src / mc / Transition.cpp

diff --git a/src/mc/Transition.cpp b/src/mc/Transition.cpp
index ba0337e114e06ef7e78285e4ed34a8a2a628b544..5167e2273eb510f3e8c372a0404c2ec7825112ba 100644 (file)
--- a/src/mc/Transition.cpp
+++ b/src/mc/Transition.cpp
@@ -10,16 +10,18 @@
 
 namespace simgrid {
 namespace mc {
+unsigned long Transition::executed_transitions_ = 0;
 
 std::string Transition::to_string()
 {
   xbt_assert(mc_model_checker != nullptr, "Must be called from MCer");
 
-  return textual;
+  return textual_;
 }
 RemotePtr<simgrid::kernel::actor::SimcallObserver> Transition::execute()
 {
-  textual = mc_model_checker->simcall_to_string(aid_, times_considered_);
+  textual_ = mc_model_checker->simcall_to_string(aid_, times_considered_);
+  executed_transitions_++;
   return session_singleton->execute(*this);
 }
 } // namespace mc