if ((xbt_fifo_size(mc_stack) > _sg_mc_max_depth) || user_max_depth_reached
} else {
if ((xbt_fifo_size(mc_stack) > _sg_mc_max_depth) || user_max_depth_reached
- || visited_state != -1) {
+ || visited_state != NULL) {
- if (user_max_depth_reached && visited_state == -1)
+ if (user_max_depth_reached && visited_state == NULL)
XBT_DEBUG("User max depth reached !");
XBT_DEBUG("User max depth reached !");
- else if (visited_state == -1)
+ else if (visited_state == NULL)
XBT_WARN("/!\\ Max depth reached ! /!\\ ");
else
XBT_WARN("/!\\ Max depth reached ! /!\\ ");
else
- XBT_DEBUG("State already visited, exploration stopped on this path.");
+ XBT_DEBUG("State already visited (equal to state %d), exploration stopped on this path.", visited_state->other_num == -1 ? visited_state->num : visited_state->other_num);
if (mc_reduce_kind == e_mc_reduce_dpor) {
/* Interleave enabled processes in the state in which they have been enabled for the first time */
if (mc_reduce_kind == e_mc_reduce_dpor) {
/* Interleave enabled processes in the state in which they have been enabled for the first time */