+/* Copyright (c) 2020-2021. The SimGrid Team. All rights reserved. */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
#ifndef SIMGRID_MC_API_HPP
#define SIMGRID_MC_API_HPP
unsigned long get_pattern_comm_src_proc(RemotePtr<kernel::activity::CommImpl> const& addr) const;
unsigned long get_pattern_comm_dst_proc(RemotePtr<kernel::activity::CommImpl> const& addr) const;
std::vector<char> get_pattern_comm_data(RemotePtr<kernel::activity::CommImpl> const& addr) const;
- std::string get_actor_name(smx_actor_t actor) const;
+ xbt::string const& get_actor_name(smx_actor_t actor) const;
xbt::string const& get_actor_host_name(smx_actor_t actor) const;
#if HAVE_SMPI
bool check_send_request_detached(smx_simcall_t const& simcall) const;
unsigned long mc_get_visited_states() const;
unsigned long mc_get_executed_trans() const;
void mc_check_deadlock() const;
- bool mc_is_null() const;
Checker* mc_get_checker() const;
void handle_simcall(Transition const& transition) const;
void mc_wait_for_requests() const;