A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[mc] Move stacks_areas code in mcer_ignore
[simgrid.git]
/
src
/
simix
/
popping_generated.c
diff --git
a/src/simix/popping_generated.c
b/src/simix/popping_generated.c
index
c8a3c3c
..
9f8e55c
100644
(file)
--- a/
src/simix/popping_generated.c
+++ b/
src/simix/popping_generated.c
@@
-16,7
+16,6
@@
#include "smx_private.h"
#ifdef HAVE_MC
#include "mc/mc_process.h"
#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);
#endif
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_popping);
@@
-163,7
+162,7
@@
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) {
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);
}
#endif
SIMCALL_SET_MC_VALUE(simcall, value);