- /** String pool for host names */
- std::set<std::string> hostnames_;
- // This is the parent snapshot of the current state:
- PageStore page_store_{500};
- std::unique_ptr<RemoteSimulation> remote_simulation_;
- Checker* checker_ = nullptr;
+ std::unique_ptr<RemoteProcessMemory> remote_process_memory_;
+ Exploration* exploration_ = nullptr;