X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2ab3abe53dde0026da7545fb7a80f29caf22a39b..7d9bf5f4e3d00bbeea1aeef15d46a337c671805b:/src/mc/CommunicationDeterminismChecker.hpp

diff --git a/src/mc/CommunicationDeterminismChecker.hpp b/src/mc/CommunicationDeterminismChecker.hpp
index d23c95c42f..e04657c56e 100644
--- a/src/mc/CommunicationDeterminismChecker.hpp
+++ b/src/mc/CommunicationDeterminismChecker.hpp
@@ -18,6 +18,8 @@ public:
   CommunicationDeterminismChecker(Session& session);
   ~CommunicationDeterminismChecker();
   int run() override;
+  RecordTrace getRecordTrace() override;
+  std::vector<std::string> getTextualTrace() override;
 private:
   void prepare();
   int main();