* Could this be handled in the Session/ModelChecker instead?
*/
virtual RecordTrace getRecordTrace();
+ virtual std::vector<std::string> getTextualTrace();
protected:
Session& getSession() { return *session_; }
};
+XBT_PUBLIC() Checker* createLivenessChecker(Session& session);
+XBT_PUBLIC() Checker* createSafetyChecker(Session& session);
+XBT_PUBLIC() Checker* createCommunicationDeterminismChecker(Session& session);
+
}
}