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