- 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 handle_events(int fd, short events);
- void wait_for_requests();
- void handle_simcall(Transition const& transition);
-
- XBT_ATTRIB_NORETURN void exit(int status);
-
- bool checkDeadlock();
-
- Checker* getChecker() const { return checker_; }
- void setChecker(Checker* checker) { checker_ = checker; }
-
-private:
- void setup_ignore();
- bool handle_message(const char* buffer, ssize_t size);
- void handle_waitpid();
-
-public:
- unsigned long visited_states = 0;
- unsigned long executed_transitions = 0;