MC_UNSET_RAW_MEM;
- //MC_vddfs_stateful_init(a);
MC_ddfs_stateful_init(a);
//MC_dpor2_init(a);
//MC_dpor3_init(a);
void MC_exit_liveness(void)
{
MC_print_statistics_pairs(mc_stats_pair);
- xbt_free(mc_time);
+ //xbt_free(mc_time);
MC_memory_exit();
}