From 195caa24ef699efa9e51720309d94c34eff5e527 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 3 Jun 2014 17:45:43 +0200 Subject: [PATCH] model-checker : remove useless ignore --- src/mc/mc_comm_determinism.c | 5 ----- src/mc/mc_global.c | 8 -------- src/mc/mc_liveness.c | 3 --- src/mc/mc_safety.c | 5 ----- 4 files changed, 21 deletions(-) diff --git a/src/mc/mc_comm_determinism.c b/src/mc/mc_comm_determinism.c index d034675fc5..fc8cb90d99 100644 --- a/src/mc/mc_comm_determinism.c +++ b/src/mc/mc_comm_determinism.c @@ -248,11 +248,6 @@ void MC_pre_modelcheck_comm_determinism(void) /* Wait for requests (schedules processes) */ MC_wait_for_requests(); - if (_sg_mc_visited > 0) { - MC_ignore_heap(simix_global->process_to_run->data, 0); - MC_ignore_heap(simix_global->process_that_ran->data, 0); - } - MC_SET_MC_HEAP; /* Get an enabled process and insert it in the interleave set of the initial state */ diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 72ab53686c..887aedcd02 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -278,14 +278,6 @@ void MC_init() MC_ignore_global_variable("maestro_stack_end"); MC_ignore_global_variable("smx_total_comms"); - MC_ignore_heap(&(simix_global->process_to_run), - sizeof(simix_global->process_to_run)); - MC_ignore_heap(&(simix_global->process_that_ran), - sizeof(simix_global->process_that_ran)); - MC_ignore_heap(simix_global->process_to_run, - sizeof(*(simix_global->process_to_run))); - MC_ignore_heap(simix_global->process_that_ran, - sizeof(*(simix_global->process_that_ran))); MC_ignore_heap(mc_time, simix_process_maxpid * sizeof(double)); smx_process_t process; diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 2c5ded0349..b45b279bd6 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -216,9 +216,6 @@ void MC_pre_modelcheck_liveness(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_MC_HEAP; acceptance_pairs = xbt_dynar_new(sizeof(mc_visited_pair_t), NULL); diff --git a/src/mc/mc_safety.c b/src/mc/mc_safety.c index 3c4f93f963..d68a78b30a 100644 --- a/src/mc/mc_safety.c +++ b/src/mc/mc_safety.c @@ -45,11 +45,6 @@ void MC_pre_modelcheck_safety() /* Wait for requests (schedules processes) */ MC_wait_for_requests(); - if (_sg_mc_visited > 0) { - MC_ignore_heap(simix_global->process_to_run->data, 0); - MC_ignore_heap(simix_global->process_that_ran->data, 0); - } - MC_SET_MC_HEAP; /* Get an enabled process and insert it in the interleave set of the initial state */ -- 2.20.1