namespace simgrid::mc {
-UdporChecker::UdporChecker(RemoteApp* remote_app) : Exploration(remote_app) {}
+UdporChecker::UdporChecker(RemoteApp& remote_app) : Exploration(remote_app) {}
void UdporChecker::run() {}
void UdporChecker::log_state() {}
-Exploration* create_udpor_checker(RemoteApp* remote_app)
+Exploration* create_udpor_checker(RemoteApp& remote_app)
{
return new UdporChecker(remote_app);
}