- void add_region(RegionType type, ObjectInformation* object_info, void* start_addr, std::size_t size);
- void snapshot_regions(simgrid::mc::RemoteClient* process);
- void snapshot_stacks(simgrid::mc::RemoteClient* process);
+ void add_region(RegionType type, RemoteProcessMemory& memory, ObjectInformation* object_info, void* start_addr,
+ std::size_t size);
+ void snapshot_regions(RemoteProcessMemory& memory);
+ void snapshot_stacks(RemoteProcessMemory& memory);
+ void handle_ignore();
+ void ignore_restore() const;
+ hash_type do_hash() const;