From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 31 May 2013 12:17:15 +0000 (+0200)
Subject: model-checker : remove comment and add debug message
X-Git-Tag: v3_9_90~360
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d7f09767e1c69493afa04dce4b6ed1f2d77b966a

model-checker : remove comment and add debug message
---

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index 5f791a9746..a943e9e9e1 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -77,8 +77,6 @@ static int is_visited_state(){
     int nb_processes_test;
     int same_processes_and_bytes_not_found = 1;
 
-    //XBT_INFO("Is visited state (2) - bytes used in std_heap : %d, bytes used in raw_heap : %d", mmalloc_get_bytes_used(std_heap), mmalloc_get_bytes_used(raw_heap));
-
     while(start <= end && same_processes_and_bytes_not_found){
       cursor = (start + end) / 2;
       state_test = (mc_visited_state_t)xbt_dynar_get_as(visited_states, cursor, mc_visited_state_t);
@@ -490,6 +488,7 @@ void MC_dpor(void)
           XBT_DEBUG("Back-tracking to depth %d", xbt_fifo_size(mc_stack_safety));
           break;
         } else {
+          XBT_DEBUG("Delete state at depth %d",xbt_fifo_size(mc_stack_safety) + 1); 
           MC_state_delete(state);
         }
       }