*/
class ModelChecker {
CheckerSide checker_side_;
- // This is the parent snapshot of the current state:
- PageStore page_store_{500};
std::unique_ptr<RemoteProcess> remote_process_;
Exploration* exploration_ = nullptr;
RemoteProcess& get_remote_process() { return *remote_process_; }
Channel& channel() { return checker_side_.get_channel(); }
- PageStore& page_store() { return page_store_; }
void start();
void shutdown();