simgrid::mc::Checker* checker;
switch (algo) {
case CheckerAlgorithm::CommDeterminism:
- checker = simgrid::mc::createCommunicationDeterminismChecker(session);
+ checker = simgrid::mc::create_communication_determinism_checker(session);
break;
case CheckerAlgorithm::UDPOR:
- checker = simgrid::mc::createUdporChecker(session);
+ checker = simgrid::mc::create_udpor_checker(session);
break;
case CheckerAlgorithm::Safety:
- checker = simgrid::mc::createSafetyChecker(session);
+ checker = simgrid::mc::create_safety_checker(session);
break;
case CheckerAlgorithm::Liveness:
- checker = simgrid::mc::createLivenessChecker(session);
+ checker = simgrid::mc::create_liveness_checker(session);
break;
default:
};
// External constructors so that the types (and the types of their content) remain hidden
-XBT_PUBLIC Checker* createLivenessChecker(Session* session);
-XBT_PUBLIC Checker* createSafetyChecker(Session* session);
-XBT_PUBLIC Checker* createCommunicationDeterminismChecker(Session* session);
-XBT_PUBLIC Checker* createUdporChecker(Session* session);
+XBT_PUBLIC Checker* create_liveness_checker(Session* session);
+XBT_PUBLIC Checker* create_safety_checker(Session* session);
+XBT_PUBLIC Checker* create_communication_determinism_checker(Session* session);
+XBT_PUBLIC Checker* create_udpor_checker(Session* session);
} // namespace mc
} // namespace simgrid
this->real_run();
}
-Checker* createCommunicationDeterminismChecker(Session* session)
+Checker* create_communication_determinism_checker(Session* session)
{
return new CommunicationDeterminismChecker(session);
}
api::get().log_state();
}
-Checker* createLivenessChecker(Session* session)
+Checker* create_liveness_checker(Session* session)
{
return new LivenessChecker(session);
}
stack_.push_back(std::move(initial_state));
}
-Checker* createSafetyChecker(Session* session)
+Checker* create_safety_checker(Session* session)
{
return new SafetyChecker(session);
}
void UdporChecker::log_state() {}
-Checker* createUdporChecker(Session* session)
+Checker* create_udpor_checker(Session* session)
{
return new UdporChecker(session);
}