}
}
-LivenessChecker::LivenessChecker(RemoteApp& remote_app) : Exploration(remote_app) {}
+LivenessChecker::LivenessChecker(const std::vector<char*>& args) : Exploration(args) {}
LivenessChecker::~LivenessChecker()
{
if (property_automaton_ != nullptr)
log_state();
}
-Exploration* create_liveness_checker(RemoteApp& remote_app)
+Exploration* create_liveness_checker(const std::vector<char*>& args)
{
- return new LivenessChecker(remote_app);
+ return new LivenessChecker(args);
}
} // namespace simgrid::mc