#include "src/mc/ModelChecker.hpp"
#include "src/mc/remote/RemoteProcess.hpp"
-using simgrid::mc::remote;
/** @file
* @brief (Cross-process, MCer/MCed) Access to SMX structures
*
simgrid::mc::ActorInformation info;
info.address = simgrid::mc::RemotePtr<simgrid::kernel::actor::ActorImpl>(data[i]);
- process->read_bytes(&info.copy, sizeof(info.copy), remote(data[i]));
+ process->read_bytes(&info.copy, sizeof(info.copy), simgrid::mc::remote(data[i]));
target.push_back(std::move(info));
}
::operator delete(data);