const char* MC_smx_process_get_host_name(smx_process_t p)
{
if (mc_mode == MC_MODE_CLIENT)
- return SIMIX_host_get_name(p->host);
+ return sg_host_get_name(p->host);
simgrid::mc::Process* process = &mc_model_checker->process();
- /* Horrible hack to find the offset of the id in the simgrid::Host.
+ /* Horrible hack to find the offset of the id in the simgrid::s4u::Host.
Offsetof is not supported for non-POD types but this should
work in pratice for the targets currently supported by the MC
(such as virtual base).
We are using a (C++11) unrestricted union in order to avoid
- any construction/destruction of the simgrid::Host.
+ any construction/destruction of the simgrid::s4u::Host.
*/
union fake_host {
- simgrid::Host host;
+ simgrid::s4u::Host host;
fake_host() {}
~fake_host() {}
};
fake_host foo;
- const size_t offset = (char*) &foo.host.id() - (char*) &foo.host;
+ const size_t offset = (char*) &foo.host.name() - (char*) &foo.host;
// Read the simgrid::xbt::string in the MCed process:
mc_smx_process_info_t info = MC_smx_process_get_info(p);