- struct event_base* base_ = nullptr;
- struct event* socket_event_ = nullptr;
- struct event* signal_event_ = nullptr;
- /** 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_{500};
- std::unique_ptr<RemoteClient> process_;
- Checker* checker_ = nullptr;
-public:
+ CheckerSide checker_side_;
+ std::unique_ptr<RemoteProcessMemory> remote_process_memory_;
+ Exploration* exploration_ = nullptr;