xbt_free(prop_ato);
MC_UNSET_RAW_MEM;
return 1;
+ }else{
+ XBT_DEBUG("Different snapshot");
}
+ }else{
+ XBT_DEBUG("Different values of propositional symbols");
}
+ }else{
+ XBT_DEBUG("Different automaton state");
}
}
xbt_free(prop_ato);
MC_UNSET_RAW_MEM;
return 1;
+ }else{
+ XBT_DEBUG("Different snapshot");
}
+ }else{
+ XBT_DEBUG("Different values of propositional symbols");
}
+ }else{
+ XBT_DEBUG("Different automaton state");
}
-
-
+
region_diff = 0;
}
return 1;
+ }else{
+ XBT_DEBUG("Different snapshot");
}
+ }else{
+ XBT_DEBUG("Different values of propositional symbols");
}
+ }else{
+ XBT_DEBUG("Different automaton state");
}
+ }else{
+ XBT_DEBUG("Different value of search_cycle");
}
}
xbt_free(prop_ato);
MC_UNSET_RAW_MEM;
return 1;
+ }else{
+ XBT_DEBUG("Different snapshot");
}
+ }else{
+ XBT_DEBUG("Different values of propositional symbols");
}
+ }else{
+ XBT_DEBUG("Different automaton state");
}
+ }else{
+ XBT_DEBUG("Different value of search_cycle");
}
-
+
region_diff = 0;
}
}
default :
return -1;
+ break;
}
}