[mc] Move the stack as field of SafetyChecker and CommDetChecker

[simgrid.git] / src / mc / CommunicationDeterminismChecker.hpp

diff --git a/src/mc/CommunicationDeterminismChecker.hpp b/src/mc/CommunicationDeterminismChecker.hpp
index e04657c..5fe0011 100644 (file)
--- a/src/mc/CommunicationDeterminismChecker.hpp
+++ b/src/mc/CommunicationDeterminismChecker.hpp
@@ -4,6 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#include <list>
+
 #include "src/mc/mc_forward.hpp"
 #include "src/mc/Checker.hpp"
 
@@ -23,6 +25,9 @@ public:
 private:
   void prepare();
   int main();
+private:
+  /** Stack representing the position in the exploration graph */
+  std::list<simgrid::mc::State*> stack_;
 };
 
 #endif