cosmetics in doc

[simgrid.git] / src / mc / Checker.cpp

diff --git a/src/mc/Checker.cpp b/src/mc/Checker.cpp
index 89065a1c400f2fae6a1e321587f0519b222431ff..6ae0aae9468607426e42a9e21733f5a45fc4fb6f 100644 (file)
--- 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()
+{
+}
+
 }
 }