- void resume(simgrid::mc::Process& process);
- void loop();
- bool handle_events();
- void wait_client(simgrid::mc::Process& process);
- void simcall_handle(simgrid::mc::Process& process, unsigned long pid, int value);
- void wait_for_requests()
- {
- mc_model_checker->wait_client(mc_model_checker->process());
- }
+ void resume(simgrid::mc::RemoteSimulation& get_remote_simulation);
+ 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; }
+