if (state_ != State::WAITING && state_ != State::RUNNING) {
finish();
} else {
+ /* As Messages in Message Queues are virtually instantaneous, we do not need a timeout */
+ /* Or maybe we do, and will have to implement a specific way to handle them is need arises */
+ if (dynamic_cast<MessImpl*>(this) != nullptr)
+ return;
/* we need a sleep action (even when the timeout is infinite) to be notified of host failures */
/* Comms handle that a bit differently of the other activities */
if (auto* comm = dynamic_cast<CommImpl*>(this)) {
xbt_assert(timeout <= 0.0, "Timeout not implemented for waitany in the model-checker");
if (int idx = observer->get_value(); idx != -1) {
auto* act = activities.at(idx);
- act->simcalls_.push_back(&issuer->simcall_);
+ act->register_simcall(&issuer->simcall_);
observer->set_result(idx);
act->set_state(State::DONE);
act->finish();
for (auto* act : activities) {
/* associate this simcall to the the synchro */
- act->simcalls_.push_back(&issuer->simcall_);
+ act->register_simcall(&issuer->simcall_);
/* see if the synchro is already finished */
if (act->get_state() != State::WAITING && act->get_state() != State::RUNNING) {
act->finish();