From c7fd4ab992d70d90280677f65c8d35b0826422cc Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 4 Oct 2013 11:49:27 +0200
Subject: [PATCH] model-checker : ignore process_to_run and process_that_ran
 included in simix_global for system state comparison

---
 src/mc/mc_liveness.c | 3 +++
 1 file changed, 3 insertions(+)

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); 
-- 
2.20.1