Channel channel_;
static std::unique_ptr<AppSide> instance_;
bool need_memory_info_ = false; /* by default we don't send memory info, unless we got a NEED_MEMINFO */
Channel channel_;
static std::unique_ptr<AppSide> instance_;
bool need_memory_info_ = false; /* by default we don't send memory info, unless we got a NEED_MEMINFO */
void handle_deadlock_check(const s_mc_message_t* msg) const;
void handle_simcall_execute(const s_mc_message_simcall_execute_t* message) const;
void handle_finalize(const s_mc_message_int_t* msg) const;
void handle_deadlock_check(const s_mc_message_t* msg) const;
void handle_simcall_execute(const s_mc_message_simcall_execute_t* message) const;
void handle_finalize(const s_mc_message_int_t* msg) const;
void handle_wait_child(const s_mc_message_int_t* msg);
void handle_need_meminfo();
void handle_actors_status() const;
void handle_wait_child(const s_mc_message_int_t* msg);
void handle_need_meminfo();
void handle_actors_status() const;