class ActorInformation {
public:
/** MCed address of the process */
- RemotePtr<simgrid::simix::ActorImpl> address = nullptr;
+ RemotePtr<simgrid::simix::ActorImpl> address{nullptr};
Remote<simgrid::simix::ActorImpl> copy;
/** Hostname (owned by `mc_modelchecker->hostnames`) */
}
std::string read_string(RemotePtr<char> address) const;
- std::string read_string(RemotePtr<char> address, std::size_t len) const
- {
- return AddressSpace::read_string(address, len);
- }
+ using AddressSpace::read_string;
// Write memory:
void write_bytes(const void* buffer, size_t len, RemotePtr<void> address);