Fix subtle bug in Execution regeneration in DFSExplorer

[simgrid.git] / src / mc / explo / odpor / Execution.hpp

diff --git a/src/mc/explo/odpor/Execution.hpp b/src/mc/explo/odpor/Execution.hpp
index ef1ea54..d89b6db 100644 (file)
--- a/src/mc/explo/odpor/Execution.hpp
+++ b/src/mc/explo/odpor/Execution.hpp
@@ -19,6 +19,8 @@
 
 namespace simgrid::mc::odpor {
 
+std::vector<std::string> get_textual_trace(const PartialExecution& w);
+
 /**
  * @brief The occurrence of a transition in an execution
  *
@@ -93,6 +95,8 @@ public:
   Execution& operator=(Execution const&) = default;
   Execution(Execution&&)                 = default;
 
+  std::vector<std::string> get_textual_trace() const;
+
   size_t size() const { return this->contents_.size(); }
   bool empty() const { return this->contents_.empty(); }
   auto begin() const { return this->contents_.begin(); }