X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9612030d863ecf627fe05bc73bca003da4e6bde8..e661126772f552f2054d584f62466a751d9fb0f1:/src/mc/mc_liveness.c

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 01d0124b81..19a312f06a 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;
     }
     
@@ -616,6 +643,7 @@ int MC_automaton_evaluate_label(xbt_exp_label_t l){
   }
   default : 
     return -1;
+    break;
   }
 }
 
@@ -742,7 +770,7 @@ void MC_ddfs(int search_cycle){
 
   int value;
   mc_state_t next_graph_state = NULL;
-  smx_req_t req = NULL;
+  smx_simcall_t req = NULL;
   char *req_str;
 
   xbt_transition_t transition_succ;
@@ -774,7 +802,7 @@ void MC_ddfs(int search_cycle){
 	MC_state_set_executed_request(current_pair->graph_state, req, value);   
     
 	/* Answer the request */
-	SIMIX_request_pre(req, value);
+	SIMIX_simcall_pre(req, value);
 
 	/* Wait for requests (schedules processes) */
 	MC_wait_for_requests();