X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/58d95ccaa27bb984b83885dc0bd37d945d946944..0a82e90d4cfdd7e27e1b946d22aff74a5abdda99:/src/mc/Checker.cpp

diff --git a/src/mc/Checker.cpp b/src/mc/Checker.cpp
index 89065a1c40..6ae0aae946 100644
--- a/src/mc/Checker.cpp
+++ b/src/mc/Checker.cpp
@@ -25,10 +25,22 @@ Checker::~Checker()
 {
 }
 
+// virtual
 RecordTrace Checker::getRecordTrace()
 {
   return {};
 }
 
+// virtual
+std::vector<std::string> Checker::getTextualTrace()
+{
+  return {};
+}
+
+// virtual
+void Checker::logState()
+{
+}
+
 }
 }