#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);
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;
+ MC_invalidate_cache();
}
#endif
SIMCALL_SET_MC_VALUE(simcall, value);