Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Put everything in position to re-fork the verified App
[simgrid.git] / src / mc / remote / CheckerSide.hpp
index 2461d33..40e74c5 100644 (file)
@@ -18,12 +18,16 @@ namespace simgrid::mc {
 /* CheckerSide: All what the checker needs to interact with a given application process */
 
 class CheckerSide {
+  void (*const free_event_fun)(event*) = [](event* evt) {
+    event_del(evt);
+    event_free(evt);
+  };
+  std::unique_ptr<event, decltype(&event_free)> socket_event_{nullptr, free_event_fun};
+  std::unique_ptr<event, decltype(&event_free)> signal_event_{nullptr, free_event_fun};
   std::unique_ptr<event_base, decltype(&event_base_free)> base_{nullptr, &event_base_free};
-  std::unique_ptr<event, decltype(&event_free)> socket_event_{nullptr, &event_free};
-  std::unique_ptr<event, decltype(&event_free)> signal_event_{nullptr, &event_free};
   std::unique_ptr<RemoteProcessMemory> remote_memory_;
-  Channel channel_;
 
+  Channel channel_;
   bool running_ = false;
   pid_t pid_;