X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ec855b2eab2825f3870232ef7e0a804963231b0e..9932a0c0d2c44e34633c97a827b2b04d615cb4e9:/src/simix/popping_generated.c

diff --git a/src/simix/popping_generated.c b/src/simix/popping_generated.c
index fb72a40b29..c8a3c3ca97 100644
--- a/src/simix/popping_generated.c
+++ b/src/simix/popping_generated.c
@@ -15,6 +15,8 @@
 
 #include "smx_private.h"
 #ifdef HAVE_MC
+#include "mc/mc_process.h"
+#include "mc/mc_model_checker.h"
 #endif
 
 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_popping);
@@ -159,6 +161,11 @@ const char* simcall_names[] = {
  */
 void SIMIX_simcall_handle(smx_simcall_t simcall, int value) {
   XBT_DEBUG("Handling simcall %p: %s", simcall, SIMIX_simcall_name(simcall->call));
+  #ifdef HAVE_MC
+  if (mc_model_checker) {
+    mc_model_checker->process.cache_flags = 0;
+  }
+  #endif
   SIMCALL_SET_MC_VALUE(simcall, value);
   if (simcall->issuer->context->iwannadie && simcall->call != SIMCALL_PROCESS_CLEANUP)
     return;