auto* exec = execs[i];
auto j = boost::range::find(exec->simcalls_, simcall);
if (j != exec->simcalls_.end())
exec->simcalls_.erase(j);
}
simcall_execution_waitany_for__set__result(simcall, -1);
auto* exec = execs[i];
auto j = boost::range::find(exec->simcalls_, simcall);
if (j != exec->simcalls_.end())
exec->simcalls_.erase(j);
}
simcall_execution_waitany_for__set__result(simcall, -1);