void start();
void shutdown();
- void resume(simgrid::mc::RemoteProcess& process);
+ void resume();
void wait_for_requests();
void handle_simcall(Transition const& transition);
XBT_ATTRIB_NORETURN void exit(int status);
bool checkDeadlock();
+ void finalize_app();
Checker* getChecker() const { return checker_; }
void setChecker(Checker* checker) { checker_ = checker; }