From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 25 Mar 2013 21:37:39 +0000 (+0100)
Subject: model-checker : ignore variable about time used with tracing
X-Git-Tag: v3_9_90~412^2~92
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4ccbf812a79a1577f9d125f46ad168d34d3371a5?ds=sidebyside

model-checker : ignore variable about time used with tracing
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 38118a9dc9..025dfe02de 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -216,6 +216,9 @@ void MC_init(){
   MC_ignore_stack("next_context", "smx_ctx_sysv_suspend_serial");
   MC_ignore_stack("i", "smx_ctx_sysv_suspend_serial");
 
+  /* Ignore local variable about time used for tracing */
+  MC_ignore_stack("start_time", "*"); 
+
   MC_ignore_data_bss(&mc_comp_times, sizeof(mc_comp_times));
   MC_ignore_data_bss(&mc_snapshot_comparison_time, sizeof(mc_snapshot_comparison_time)); 
   MC_ignore_data_bss(&mc_time, sizeof(mc_time));