- CheckerSide event_loop_;
- /** 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<RemoteClient> process_;
- Checker* checker_ = nullptr;
+ CheckerSide checker_side_;
+ std::unique_ptr<RemoteProcessMemory> remote_process_memory_;
+ Exploration* exploration_ = nullptr;