model-checker : process can be NULL

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 9c56d81..6c52e8b 100644 (file)
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -629,10 +629,14 @@ void MC_process_clock_add(smx_process_t process, double amount)
 
 double MC_process_clock_get(smx_process_t process)
 {
 
 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;
     return 0;

+  }

 }
 
 void MC_automaton_load(const char *file){
 }
 
 void MC_automaton_load(const char *file){