mc_api::check_send_request_detached() defined and used in comm_deter checker

[simgrid.git] / src / mc / mc_api.hpp

diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index 78644a7..b551b33 100644 (file)
--- a/src/mc/mc_api.hpp
+++ b/src/mc/mc_api.hpp
@@ -52,6 +52,7 @@ public:
   unsigned long get_pattern_comm_dst_proc(void* addr) const;
   std::vector<char> get_pattern_comm_data(void* addr) const;
   const char* get_actor_host_name(smx_actor_t actor) const;
+  bool check_send_request_detached(smx_simcall_t const& simcall) const;
 
   // REMOTE
   std::size_t get_remote_heap_bytes() const;