state->proc_status = xbt_new0(s_mc_procstate_t, state->max_pid);
state->system_state = NULL;
state->num = ++mc_stats->expanded_states;
state->in_visited_states = 0;
state->incomplete_comm_pattern = NULL;
/* Stateful model checking */
state->proc_status = xbt_new0(s_mc_procstate_t, state->max_pid);
state->system_state = NULL;
state->num = ++mc_stats->expanded_states;
state->in_visited_states = 0;
state->incomplete_comm_pattern = NULL;
/* Stateful model checking */