MC: the state does not need to have the simcall anymore

diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp
index 19c8b63..cee599d 100644 (file)
--- a/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@ -72,8 +72,6 @@ void State::execute_next(int next)
   if (actor->simcall_.mc_max_consider_ <= actor_state->get_times_considered())
     actor_state->set_done();
 
   if (actor->simcall_.mc_max_consider_ <= actor_state->get_times_considered())
     actor_state->set_done();
 

-  executed_req_ = actor->simcall_;
-

   XBT_DEBUG("Let's run actor %ld (times_considered = %d)", aid, times_considered);
 
   Transition::executed_transitions_++;
   XBT_DEBUG("Let's run actor %ld (times_considered = %d)", aid, times_considered);
 
   Transition::executed_transitions_++;

diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp
index 17efbfd..bc5f7a0 100644 (file)
--- a/src/mc/api/State.hpp
+++ b/src/mc/api/State.hpp
@@ -17,7 +17,7 @@ namespace mc {
 class XBT_PRIVATE State : public xbt::Extendable<State> {
   static long expended_states_; /* Count total amount of states, for stats */
 
 class XBT_PRIVATE State : public xbt::Extendable<State> {
   static long expended_states_; /* Count total amount of states, for stats */
 

-  /* Outgoing transition: what was the last transition that we took to leave this state? Useful for replay */
+  /* Outgoing transition: what was the last transition that we took to leave this state? */

   std::unique_ptr<Transition> transition_;
 
 public:
   std::unique_ptr<Transition> transition_;
 
 public:


@@ -29,9 +29,6 @@ public:
   /** State's exploration status by process */
   std::vector<ActorState> actor_states_;
 
   /** State's exploration status by process */
   std::vector<ActorState> actor_states_;
 

-  /** The simcall which was executed, going out of that state */
-  s_smx_simcall executed_req_;
-

   /** Snapshot of system state (if needed) */
   std::shared_ptr<simgrid::mc::Snapshot> system_state_;
 
   /** Snapshot of system state (if needed) */
   std::shared_ptr<simgrid::mc::Snapshot> system_state_;