+
+ std::string const& get_host_name(const char* hostname)
+ {
+ return *this->hostnames_.insert(hostname).first;
+ }
+ 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);
+ void exit(int status);
+
+ bool checkDeadlock();
+
+ Checker* getChecker() const { return checker_; }
+ void setChecker(Checker* checker) { checker_ = checker; }
+
+private:
+ void setup_ignore();
+ bool handle_message(char* buffer, ssize_t size);
+ void handle_waitpid();
+ void on_signal(int signo);
+
+public:
+ unsigned long visited_states = 0;
+ unsigned long executed_transitions = 0;