From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 4 Oct 2013 09:49:27 +0000 (+0200)
Subject: model-checker : ignore process_to_run and process_that_ran included in simix_global... 
X-Git-Tag: v3_9_90~40^2~20
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c7fd4ab992d70d90280677f65c8d35b0826422cc

model-checker : ignore process_to_run and process_that_ran included in simix_global for system state comparison
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 117c99f7c2..2007c64952 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -451,6 +451,9 @@ void MC_ddfs_init(void){
 
   MC_wait_for_requests();
 
+  MC_ignore_heap(simix_global->process_to_run->data, 0);
+  MC_ignore_heap(simix_global->process_that_ran->data, 0);
+
   MC_SET_RAW_MEM;
 
   acceptance_pairs = xbt_dynar_new(sizeof(mc_pair_t), NULL);