From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 18 Feb 2014 13:46:55 +0000 (+0100)
Subject: model-checker : fix comm destroy for send detached and MC enabled
X-Git-Tag: v3_11~199^2~2^2~30
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a609a3bdb941aba4ae9133a800f73b01c9a3811e?hp=4ea540ea3e645b1a0b2c4ffd46643cd2695396f2

model-checker : fix comm destroy for send detached and MC enabled
---

diff --git a/src/simix/smx_network.c b/src/simix/smx_network.c
index 7f9689a1c1..1ca73e5e6b 100644
--- a/src/simix/smx_network.c
+++ b/src/simix/smx_network.c
@@ -445,7 +445,7 @@ smx_action_t SIMIX_comm_isend(smx_process_t src_proc, smx_rdv_t rdv,
 
   if (MC_is_active()) {
     other_action->state = SIMIX_RUNNING;
-    return other_action;
+    return (detached ? NULL : other_action);
   }
 
   SIMIX_comm_start(other_action);