]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/mc_state.cpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[sonar] Constify pointer and reference local variables in src/simdag/.
[simgrid.git] / src / mc / mc_state.cpp
index 96692005c93a177c10a0907d396a954f8c52a343..5670d07021a1da54b7516748b2b0f887f816d84d 100644 (file)
@@ -19,8 +19,6 @@ namespace mc {
 State::State(unsigned long state_number) : num_(state_number)
 {
   this->internal_comm_.clear();
-  this->internal_req_ = s_smx_simcall();
-  this->executed_req_ = s_smx_simcall();
 
   actor_states_.resize(MC_smx_get_maxpid());
   /* Stateful model checking */