#include "src/mc/mc_forward.hpp"
#include "src/mc/mc_record.h"
+#include "src/mc/Session.hpp"
namespace simgrid {
namespace mc {
*/
virtual RecordTrace getRecordTrace();
virtual std::vector<std::string> getTextualTrace();
+ virtual void logState();
protected:
Session& getSession() { return *session_; }
};
+XBT_PUBLIC() Checker* createLivenessChecker(Session& session);
+XBT_PUBLIC() Checker* createSafetyChecker(Session& session);
+XBT_PUBLIC() Checker* createCommunicationDeterminismChecker(Session& session);
+
}
}