model-checker : ignore process_to_run and process_that_ran included in simix_global...

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 117c99f..2007c64 100644 (file)
--- 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_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); 
   MC_SET_RAW_MEM;
 
   acceptance_pairs = xbt_dynar_new(sizeof(mc_pair_t), NULL);