- 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);
-
- 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;