- PageStore page_store_;
- std::unique_ptr<RemoteClient> process_;
- Checker* checker_ = nullptr;
-public:
- std::shared_ptr<simgrid::mc::Snapshot> parent_snapshot_;
+ PageStore page_store_{500};
+ std::unique_ptr<RemoteProcess> remote_process_;
+ Exploration* exploration_ = nullptr;
+
+ // Expect MessageType::SIMCALL_TO_STRING or MessageType::SIMCALL_DOT_LABEL
+ std::string simcall_to_string(MessageType type, aid_t aid, int times_considered);