From c0950ef9f902ba40a2c05ca8748acecb3085e752 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 18 Nov 2016 22:56:29 +0100
Subject: [PATCH] more verbose checks

---
 src/kernel/activity/SynchroExec.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/kernel/activity/SynchroExec.cpp b/src/kernel/activity/SynchroExec.cpp
index 31ad7d13b1..15d9a21a17 100644
--- a/src/kernel/activity/SynchroExec.cpp
+++ b/src/kernel/activity/SynchroExec.cpp
@@ -9,6 +9,8 @@
 #include "src/surf/surf_interface.hpp"
 #include "src/simix/smx_host_private.h"
 
+XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_process);
+
 simgrid::kernel::activity::Exec::Exec(const char*name, sg_host_t hostarg)
 {
   if (name)
@@ -26,12 +28,14 @@ simgrid::kernel::activity::Exec::~Exec()
 }
 void simgrid::kernel::activity::Exec::suspend()
 {
+  XBT_VERB("This exec is suspended (remain: %f)", surf_exec->getRemains());
   if (surf_exec)
     surf_exec->suspend();
 }
 
 void simgrid::kernel::activity::Exec::resume()
 {
+  XBT_VERB("This exec is resumed (remain: %f)", surf_exec->getRemains());
   if (surf_exec)
     surf_exec->resume();
 }
-- 
2.20.1