From 6db84410f825c13cdebbdec30aa7955f0864cf08 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 18 Oct 2012 22:00:11 +0200 Subject: [PATCH] model-checker : process can be NULL --- src/mc/mc_global.c | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 9c56d814d7..6c52e8bf19 100644 --- 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) { - 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){ -- 2.20.1