- s_mc_message_simcall_handle_t m;
- memset(&m, 0, sizeof(m));
- m.type = MessageType::SIMCALL_HANDLE;
- m.aid_ = transition.aid_;
- m.times_considered_ = transition.times_considered_;
- checker_side_.get_channel().send(m);
- this->remote_process_->clear_cache();
- if (this->remote_process_->running())
- checker_side_.dispatch();
-}
-bool ModelChecker::simcall_is_visible(int aid)
-{
- xbt_assert(mc_model_checker != nullptr, "This should be called from the checker side");
-
- s_mc_message_simcall_is_visible_t m;
- memset(&m, 0, sizeof(m));
- m.type = MessageType::SIMCALL_IS_VISIBLE;
- m.aid = aid;
+ s_mc_message_simcall_execute_t m = {};
+ m.type = MessageType::SIMCALL_EXECUTE;
+ m.aid_ = aid;
+ m.times_considered_ = times_considered;