From 7eef6ff4f8ba36e883886a74151b8edef45189e2 Mon Sep 17 00:00:00 2001 From: cristianrosa Date: Mon, 17 May 2010 09:05:21 +0000 Subject: [PATCH 1/1] 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 --- src/mc/mc_global.c | 5 ----- 1 file changed, 5 deletions(-) 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); } -- 2.20.1