[mc] Move initial state into Session

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

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