X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f1e469ce075c0a1ad21a7fd0fdb587f9a3cb5289..7cf68ae88d84d10a4afde2c9a564856fecda7666:/src/mc/mc_smx.cpp diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp index 85b31ed962..0bcc7ea4ec 100644 --- a/src/mc/mc_smx.cpp +++ b/src/mc/mc_smx.cpp @@ -145,7 +145,7 @@ smx_actor_t MC_smx_simcall_get_issuer(s_smx_simcall_t const* req) const char* MC_smx_actor_get_host_name(smx_actor_t actor) { if (mc_model_checker == nullptr) - return actor->host->cname(); + return actor->host->getCname(); simgrid::mc::Process* process = &mc_model_checker->process(); @@ -165,7 +165,7 @@ const char* MC_smx_actor_get_host_name(smx_actor_t actor) ~fake_host() {} }; fake_host foo; - const size_t offset = (char*) &foo.host.name() - (char*) &foo.host; + const size_t offset = (char*)&foo.host.getName() - (char*)&foo.host; // Read the simgrid::xbt::string in the MCed process: simgrid::mc::ActorInformation* info = actor_info_cast(actor); @@ -192,7 +192,7 @@ const char* MC_smx_actor_get_name(smx_actor_t actor) } #if HAVE_SMPI -int MC_smpi_process_count(void) +int MC_smpi_process_count() { if (mc_model_checker == nullptr) return smpi_process_count(); @@ -203,7 +203,7 @@ int MC_smpi_process_count(void) } #endif -unsigned long MC_smx_get_maxpid(void) +unsigned long MC_smx_get_maxpid() { unsigned long maxpid; mc_model_checker->process().read_variable("simix_process_maxpid",