From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 19 Mar 2023 20:15:10 +0000 (+0100)
Subject: cosmetics
X-Git-Tag: v3.34~291
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d1cfe0860de9520bb70139033892f6ffe037e5a5

cosmetics
---

diff --git a/src/mc/api/RemoteApp.cpp b/src/mc/api/RemoteApp.cpp
index c72cb851b0..2ddd5c0876 100644
--- a/src/mc/api/RemoteApp.cpp
+++ b/src/mc/api/RemoteApp.cpp
@@ -31,10 +31,8 @@ namespace simgrid::mc {
 
 RemoteApp::RemoteApp(const std::vector<char*>& args)
 {
-
   checker_side_ = std::make_unique<simgrid::mc::CheckerSide>(args);
 
-  /* Take the initial snapshot */
   initial_snapshot_ = std::make_shared<simgrid::mc::Snapshot>(0, page_store_, checker_side_->get_remote_memory());
 }
 
diff --git a/src/mc/remote/CheckerSide.hpp b/src/mc/remote/CheckerSide.hpp
index b385ae036a..2461d335c3 100644
--- a/src/mc/remote/CheckerSide.hpp
+++ b/src/mc/remote/CheckerSide.hpp
@@ -28,6 +28,8 @@ class CheckerSide {
   pid_t pid_;
 
   void setup_events(); // Part of the initialization
+  void clear_memory_cache();
+  void handle_waitpid();
 
 public:
   explicit CheckerSide(const std::vector<char*>& args);
@@ -50,9 +52,7 @@ public:
   pid_t get_pid() const { return pid_; }
   bool running() const { return running_; }
   void terminate() { running_ = false; }
-  void handle_waitpid();
   RemoteProcessMemory& get_remote_memory() { return *remote_memory_.get(); }
-  void clear_memory_cache();
 };
 
 } // namespace simgrid::mc