- explicit ModelChecker(std::unique_ptr<RemoteClient> process);
- ~ModelChecker();
-
- RemoteClient& process() { return *process_; }
- PageStore& page_store()
- {
- return page_store_;
- }
-
- std::string const& get_host_name(std::string const& hostname)
- {
- return *this->hostnames_.insert(hostname).first;
- }
-
- void start();
- void shutdown();
- void resume(simgrid::mc::RemoteClient& process);
- void loop();
- void handle_events(int fd, short events);
- void wait_for_requests();
- void handle_simcall(Transition const& transition);
- XBT_ATTRIB_NORETURN void exit(int status);