From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 12 Jan 2012 09:55:28 +0000 (+0100)
Subject: model-checker : add informations when log debug enabled
X-Git-Tag: exp_20120216~132^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/b8ef9510aee1b2c8a7da1cdd3a2f062b4ad3269a?hp=14226aa8e149636047c44fb76c20163989594cb1

model-checker : add informations when log debug enabled
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 01d0124b81..c0aa52a2ce 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -207,8 +207,14 @@ int reached(xbt_state_t st){
 	    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");
       }
     }
 
@@ -306,11 +312,16 @@ int reached_hash(xbt_state_t st){
 	    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;
     }
     
@@ -407,9 +418,17 @@ int visited(xbt_state_t st, int sc){
 		
 	      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");
       }
     }
 
@@ -479,11 +498,19 @@ int visited_hash(xbt_state_t st, int sc){
 	      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;
     }