[mc] Let the Checker give us the current trace

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

diff --git a/src/mc/Checker.cpp b/src/mc/Checker.cpp
index 89065a1..1fefd9d 100644 (file)
--- a/src/mc/Checker.cpp
+++ b/src/mc/Checker.cpp
@@ -25,10 +25,17 @@ Checker::~Checker()
 {
 }
 
+// virtual
 RecordTrace Checker::getRecordTrace()
 {
   return {};
 }
 
+// virtual
+std::vector<std::string> Checker::getTextualTrace()
+{
+  return {};
+}
+
 }
 }