X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d13e7abaed40c4572fd65a8833d39789bd87f8d1..23f7bd2d6bcf61608b1ace84d6ff26657aec1a1e:/src/instr/instr_smpi.c

diff --git a/src/instr/instr_smpi.c b/src/instr/instr_smpi.c
index 691b85735d..b794d02436 100644
--- a/src/instr/instr_smpi.c
+++ b/src/instr/instr_smpi.c
@@ -5,6 +5,7 @@
   * under the terms of the license (GNU LGPL) which comes with this package. */
 
 #include "instr/instr_private.h"
+#include "mc/mc.h"
 #include <ctype.h>
 #include <wchar.h>
 
@@ -39,8 +40,7 @@ static const char *smpi_colors[] ={
     "scan",          "1 0.58 0.23",
     "scatterv",      "0.52 0 0.52",
     "scatter",       "1 0.74 0.54",
-    "computing", 	 "0 1 1",
-
+    "computing",     "0 1 1",
     NULL, NULL,
 };
 
@@ -87,7 +87,11 @@ static char *TRACE_smpi_put_key(int src, int dst, char *key, int n)
   }
   //generate the key
   static unsigned long long counter = 0;
-  snprintf(key, n, "%d%d%llu", src, dst, counter++);
+  
+  if(MC_is_active())
+    MC_ignore_data_bss(&counter, sizeof(counter));
+
+  snprintf(key, n, "%d_%d_%llu", src, dst, counter++);
 
   //push it
   char *a = (char*)xbt_strdup(key);