sanitize things around FINALIZE_REPLY despite my laziness as it seems to break on...

[simgrid.git] / src / mc / remote / AppSide.hpp

diff --git a/src/mc/remote/AppSide.hpp b/src/mc/remote/AppSide.hpp
index beeb920097b870b2e02a7239db8c905cd05d25d7..b63a836b1b3b51bf94aec140314acbb385107f2c 100644 (file)
--- a/src/mc/remote/AppSide.hpp
+++ b/src/mc/remote/AppSide.hpp
@@ -12,8 +12,7 @@
 
 #include <memory>
 
-namespace simgrid {
-namespace mc {
+namespace simgrid::mc {
 
 /** Model-checked-side of the communication protocol
  *
@@ -32,8 +31,8 @@ public:
 private:
   void handle_deadlock_check(const s_mc_message_t* msg) const;
   void handle_simcall_execute(const s_mc_message_simcall_execute_t* message) const;
-  void handle_actor_enabled(const s_mc_message_actor_enabled_t* msg) const;
   void handle_finalize(const s_mc_message_int_t* msg) const;
+  void handle_actors_status() const;
 
 public:
   Channel const& get_channel() const { return channel_; }
@@ -50,10 +49,9 @@ public:
 
   // Singleton :/
   // TODO, remove the singleton antipattern.
-  static AppSide* initialize(xbt_dynar_t actors_addr);
+  static AppSide* initialize();
   static AppSide* get() { return instance_.get(); }
 };
-} // namespace mc
-} // namespace simgrid
+} // namespace simgrid::mc
 
 #endif