Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : process can be NULL
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 18 Oct 2012 20:00:11 +0000 (22:00 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 27 Oct 2012 20:35:39 +0000 (22:35 +0200)
src/mc/mc_global.c

index 9c56d81..6c52e8b 100644 (file)
@@ -629,10 +629,14 @@ void MC_process_clock_add(smx_process_t process, double amount)
 
 double MC_process_clock_get(smx_process_t process)
 {
-  if(mc_time)
-    return mc_time[process->pid];
-  else
+  if(mc_time){
+    if(process != NULL)
+      return mc_time[process->pid];
+    else 
+      return -1;
+  }else{
     return 0;
+  }
 }
 
 void MC_automaton_load(const char *file){