From: cristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Mon, 17 May 2010 09:05:21 +0000 (+0000)
Subject: Bugfix: Do not copy the communication data in the model-checker's main loop, it is... 
X-Git-Tag: v3_5~1060
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7eef6ff4f8ba36e883886a74151b8edef45189e2

Bugfix: Do not copy the communication data in the model-checker's main loop, it is already done by the communication API.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7748 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index db1ad4f4a5..62a5d2973c 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -276,11 +276,6 @@ void MC_execute_surf_actions(void)
           model->name, xbt_swag_size(model->states.running_action_set),
           smx_action->name, smx_action, action->max_duration);
 
-        /* Copy the transfered data of the completed network actions */              
-        /* FIXME: be carefull it might not be an action of the network model */
-        if(smx_action && smx_action->data != NULL)
-          SIMIX_network_copy_data((smx_comm_t)smx_action->data);
-
         if(smx_action)
           SIMIX_action_signal_all(smx_action);
       }