Fix MC+sthread+coverage.

diff --git a/src/mc/remote/AppSide.cpp b/src/mc/remote/AppSide.cpp
index fc4d1d1..bad0c1c 100644 (file)
--- a/src/mc/remote/AppSide.cpp
+++ b/src/mc/remote/AppSide.cpp
@@ -15,6 +15,7 @@
 #if HAVE_SMPI
 #include "src/smpi/include/private.hpp"
 #endif
+#include "src/sthread/sthread.h"
 #include "xbt/coverage.h"
 #include "xbt/str.h"
 #include "xbt/xbt_modinter.h" /* mmalloc_preinit to get the default mmalloc arena address */
@@ -227,7 +228,9 @@ void AppSide::main_loop() const
   MC_ignore_heap(simgrid::mc::processes_time.data(),
                  simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0]));
 
+  sthread_disable();
   coverage_checkpoint();
+  sthread_enable();
   while (true) {
     simgrid::mc::execute_actors();
     xbt_assert(channel_.send(MessageType::WAITING) == 0, "Could not send WAITING message to model-checker");