Sanitize MC finalization process and inline a function

[simgrid.git] / src / mc / explo / DFSExplorer.hpp

diff --git a/src/mc/explo/DFSExplorer.hpp b/src/mc/explo/DFSExplorer.hpp
index ceb2a7eb6e02c092b5d0d33ca7f81775cbf7e87d..0eaac540a5b6bdbdbd7473518a3c90b393fa9d03 100644 (file)
--- a/src/mc/explo/DFSExplorer.hpp
+++ b/src/mc/explo/DFSExplorer.hpp
@@ -15,8 +15,7 @@
 #include <string>
 #include <vector>
 
-namespace simgrid {
-namespace mc {
+namespace simgrid::mc {
 
 class XBT_PRIVATE DFSExplorer : public Exploration {
   ReductionMode reductionMode_ = ReductionMode::unset;
@@ -35,7 +34,7 @@ class XBT_PRIVATE DFSExplorer : public Exploration {
   static xbt::signal<void()> on_log_state_signal;
 
 public:
-  explicit DFSExplorer(Session* session);
+  explicit DFSExplorer(RemoteApp& remote_app);
   void run() override;
   RecordTrace get_record_trace() override;
   std::vector<std::string> get_textual_trace() override;
@@ -79,7 +78,6 @@ private:
   std::unique_ptr<VisitedState> visited_state_;
 };
 
-} // namespace mc
-} // namespace simgrid
+} // namespace simgrid::mc
 
 #endif