State::State(unsigned long state_number) : num_(state_number)
{
this->internal_comm.clear();
- std::memset(&this->internal_req, 0, sizeof(this->internal_req));
- std::memset(&this->executed_req_, 0, sizeof(this->executed_req_));
+ this->internal_req = s_smx_simcall();
+ this->executed_req_ = s_smx_simcall();
actor_states_.resize(MC_smx_get_maxpid());
/* Stateful model checking */
mc_model_checker->process().read(temp_act, remote_act);
simgrid::kernel::activity::CommImpl* act = temp_act.get_buffer();
if (act->src_actor_.get() && act->dst_actor_.get())
- state->transition_.argument_ = 0;
+ state->transition_.argument_ = 0; // OK
else if (act->src_actor_.get() == nullptr && act->type_ == simgrid::kernel::activity::CommImpl::Type::READY &&
act->detached())
- state->transition_.argument_ = 0;
+ state->transition_.argument_ = 0; // OK
else
- state->transition_.argument_ = -1;
+ state->transition_.argument_ = -1; // timeout
procstate->set_done();
req = &actor->simcall;
break;