From d2bb33858171f062e6bd6abd3d6982d37cd51de9 Mon Sep 17 00:00:00 2001
From: cristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Thu, 20 Jan 2011 15:44:45 +0000
Subject: [PATCH] Bugfix: manually increase the time when running the
 model-checkers on sleep calls. This is a horrible hack.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9452 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/simix/smx_process.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index 31843beba0..e182d8dfb5 100644
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -15,6 +15,8 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_process, simix,
                                 "Logging specific to SIMIX (process)");
 
 unsigned long simix_process_maxpid = 0;
+/* FIXME: Ugly hack!*/
+extern double NOW;
 
 /**
  * \brief Returns the current agent.
@@ -419,6 +421,7 @@ xbt_dict_t SIMIX_process_get_properties(smx_process_t process)
 void SIMIX_pre_process_sleep(smx_req_t req)
 {
   if (MC_IS_ENABLED) {
+    NOW += req->process_sleep.duration;
     req->process_sleep.result = SIMIX_DONE;
     SIMIX_request_answer(req);
   }
-- 
2.20.1