- struct event_base *base_;
- struct event* socket_event_;
- struct event* signal_event_;
- /** String pool for host names */
- // TODO, use std::set with heterogeneous comparison lookup (C++14)?
- std::set<std::string> hostnames_;
- // This is the parent snapshot of the current state:
- PageStore page_store_;
- std::unique_ptr<RemoteClient> process_;
- Checker* checker_ = nullptr;
-public:
- std::shared_ptr<simgrid::mc::Snapshot> parent_snapshot_;
+ CheckerSide checker_side_;
+ std::unique_ptr<RemoteProcessMemory> remote_process_memory_;
+ Exploration* exploration_ = nullptr;