From b5b3f6e2f7cb378b14beda45623375aef69dda64 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 4 Oct 2013 15:12:13 +0200 Subject: [PATCH] model-checker : ignore information about simix_global in safety MC --- src/mc/mc_dpor.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c index 58d9728dde..643acf88dc 100644 --- a/src/mc/mc_dpor.c +++ b/src/mc/mc_dpor.c @@ -224,6 +224,9 @@ void MC_dpor_init() /* Wait for requests (schedules processes) */ 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; /* Get an enabled process and insert it in the interleave set of the initial state */ -- 2.20.1