typedef struct s_mc_global_t{
mc_snapshot_t snapshot;
int raw_mem_set;
+ int prev_pair;
+ char *prev_req;
}s_mc_global_t, *mc_global_t;
mc_snapshot_t SIMIX_pre_mc_snapshot(smx_simcall_t simcall);
extern double *mc_time;
extern FILE *dot_output;
-extern const char* colors[10];
+extern const char* colors[13];
int MC_deadlock_check(void);
void MC_replay(xbt_fifo_t stack, int start);