+
+
#include "../simix/private.h"
#include "xbt/fifo.h"
#include "private.h"
return state;
}
+mc_state_t MC_state_pair_new(void)
+{
+ mc_state_t state = NULL;
+
+ state = xbt_new0(s_mc_state_t, 1);
+ state->max_pid = simix_process_maxpid;
+ state->proc_status = xbt_new0(s_mc_procstate_t, state->max_pid);
+
+ //mc_stats->expanded_states++;
+ return state;
+}
+
/**
* \brief Deletes a state data structure
* \param trans The state to be deleted