From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 30 Mar 2021 12:29:11 +0000 (+0200)
Subject: [mc] Add some coverage_checkpoint() for model-checked applications.
X-Git-Tag: v3.28~505
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/90ae0c20da41dd193a8a0672588a2ded4717e149

[mc] Add some coverage_checkpoint() for model-checked applications.
---

diff --git a/src/mc/remote/AppSide.cpp b/src/mc/remote/AppSide.cpp
index db05ef1fa1..ebb9617da1 100644
--- a/src/mc/remote/AppSide.cpp
+++ b/src/mc/remote/AppSide.cpp
@@ -8,6 +8,7 @@
 #include "src/kernel/actor/ActorImpl.hpp"
 #include "src/kernel/actor/SimcallObserver.hpp"
 #include "src/mc/remote/RemoteProcess.hpp"
+#include "xbt/coverage.h"
 #include "xbt/xbt_modinter.h" /* mmalloc_preinit to get the default mmalloc arena address */
 #include <simgrid/modelchecker.h>
 
@@ -200,6 +201,7 @@ void AppSide::handle_messages() const
             SMPI_finalize();
         }
 #endif
+        coverage_checkpoint();
         int send_res = channel_.send(MessageType::DEADLOCK_CHECK_REPLY); // really?
         xbt_assert(send_res == 0, "Could not answer to FINALIZE");
         if (terminate_asap)
@@ -216,6 +218,7 @@ void AppSide::handle_messages() const
 
 void AppSide::main_loop() const
 {
+  coverage_checkpoint();
   while (true) {
     simgrid::mc::execute_actors();
     int send_res = channel_.send(MessageType::WAITING);