int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){
+ XBT_DEBUG("Compare snapshot");
if(s1->num_reg != s2->num_reg){
XBT_DEBUG("Different num_reg");
return p;
}
-
-
void MC_ddfs_stateless_init(xbt_automaton_t a, char *prgm){
XBT_DEBUG("**************************************************");
xbt_fifo_shift(mc_stack_liveness_stateless);
if((current_pair->automaton_state->type == 1) || (current_pair->automaton_state->type == 2)){
xbt_fifo_shift(reached_pairs);
- MC_free_snapshot(snapshot);
}
+ if(snapshot != NULL)
+ MC_free_snapshot(snapshot);
MC_UNSET_RAW_MEM;
+ MC_pair_stateless_delete(current_pair);
+
+ /* FIXME : free memory (pair, snapshot)*/
+
}