cosmetics

diff --git a/src/mc/api/RemoteApp.cpp b/src/mc/api/RemoteApp.cpp
index c72cb85..2ddd5c0 100644 (file)
--- 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 b385ae0..2461d33 100644 (file)
--- 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