-/** Adapt a std::function to a checker */
-class FunctionalChecker : public Checker {
- Session* session_;
- std::function<int(Session& session)> function_;
-public:
- FunctionalChecker(Session& session, std::function<int(Session& session)> f)
- : Checker(session), function_(std::move(f)) {}
- ~FunctionalChecker();
- int run() override;
-};
+XBT_PUBLIC() Checker* createLivenessChecker(Session& session);
+XBT_PUBLIC() Checker* createSafetyChecker(Session& session);
+XBT_PUBLIC() Checker* createCommunicationDeterminismChecker(Session& session);