From 36de03001fd78c9e883c926976db95aba997cdef Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 25 Feb 2014 15:42:10 +0100 Subject: [PATCH 1/1] [mc] Log some information for the prefiltering phase of state comparator --- src/mc/mc_dpor.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c index 7aaa065a07..dec62f4682 100644 --- a/src/mc/mc_dpor.c +++ b/src/mc/mc_dpor.c @@ -214,6 +214,8 @@ static mc_visited_state_t visited_state_new(){ * The subrange is the subrange of "equivalence" of the given state. */ static int get_search_interval(xbt_dynar_t all_states, mc_visited_state_t state, int *min, int *max){ + XBT_VERB("Searching interval for state %i: nd_processes=%zu heap_bytes_used=%zu", + state->num, (size_t)state->nb_processes, (size_t)state->heap_bytes_used); int raw_mem_set = (mmalloc_get_current_heap() == raw_heap); -- 2.20.1