Do not use MC_process_clock_add() for now, as it makes the exploration infinitely...

[simgrid.git] / src / s4u / s4u_Actor.cpp

diff --git a/src/s4u/s4u_Actor.cpp b/src/s4u/s4u_Actor.cpp
index 268576e..573d708 100644 (file)
--- a/src/s4u/s4u_Actor.cpp
+++ b/src/s4u/s4u_Actor.cpp
@@ -336,12 +336,12 @@ void sleep_for(double duration)
   kernel::actor::simcall_blocking(
       [issuer, duration]() {
         if (MC_is_active() || MC_record_replay_is_active()) {
-          MC_process_clock_add(issuer, duration);
+          // MC_process_clock_add(issuer, duration); // BUG: Makes the exploration loop
           issuer->simcall_answer();
-          return;
+        } else {
+          kernel::activity::ActivityImplPtr sync = issuer->sleep(duration);
+          sync->register_simcall(&issuer->simcall_);
         }
-        kernel::activity::ActivityImplPtr sync = issuer->sleep(duration);
-        sync->register_simcall(&issuer->simcall_);
       },
       &observer);