From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 30 Jan 2019 22:36:47 +0000 (+0100)
Subject: Try to improve coverage reports for MC tests.
X-Git-Tag: v3_22~434
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/db3df03114cb65a9c27c2c1dfd6faf964b571254

Try to improve coverage reports for MC tests.
---

diff --git a/src/mc/remote/Client.cpp b/src/mc/remote/Client.cpp
index ada56e0be0..d357a29ad7 100644
--- a/src/mc/remote/Client.cpp
+++ b/src/mc/remote/Client.cpp
@@ -11,6 +11,7 @@
 #include <sys/socket.h>
 #include <sys/types.h>
 
+#include <xbt/coverage.h>
 #include <xbt/log.h>
 #include <xbt/mmalloc.h>
 #include <xbt/sysdep.h>
@@ -184,6 +185,7 @@ void Client::mainLoop()
     simgrid::mc::wait_for_requests();
     xbt_assert(channel_.send(MC_MESSAGE_WAITING) == 0, "Could not send WAITING message to model-checker");
     this->handleMessages();
+    coverage_checkpoint();
   }
 }