namespace simgrid::mc {
-UdporChecker::UdporChecker(RemoteApp& remote_app) : Exploration(remote_app) {}
+UdporChecker::UdporChecker(const std::vector<char*>& args) : Exploration(args) {}
void UdporChecker::run() {}
Exploration::log_state();
}
-Exploration* create_udpor_checker(RemoteApp& remote_app)
+Exploration* create_udpor_checker(const std::vector<char*>& args)
{
- return new UdporChecker(remote_app);
+ return new UdporChecker(args);
}
} // namespace simgrid::mc