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() {}
};