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] Implement remote support for MC_ignore
[simgrid.git]
/
src
/
mc
/
mc_checkpoint.c
diff --git
a/src/mc/mc_checkpoint.c
b/src/mc/mc_checkpoint.c
index
bce4bbd
..
fe602a4
100644
(file)
--- a/
src/mc/mc_checkpoint.c
+++ b/
src/mc/mc_checkpoint.c
@@
-599,7
+599,7
@@
static void MC_snapshot_handle_ignore(mc_snapshot_t snapshot)
unsigned int cursor = 0;
mc_checkpoint_ignore_region_t region;
// FIXME, cross-process support (mc_checkpoint_ignore)
unsigned int cursor = 0;
mc_checkpoint_ignore_region_t region;
// FIXME, cross-process support (mc_checkpoint_ignore)
- xbt_dynar_foreach (mc_checkpoint_ignore, cursor, region) {
+ xbt_dynar_foreach (mc_
model_checker->process.
checkpoint_ignore, cursor, region) {
s_mc_snapshot_ignored_data_t ignored_data;
ignored_data.start = region->addr;
ignored_data.size = region->size;
s_mc_snapshot_ignored_data_t ignored_data;
ignored_data.start = region->addr;
ignored_data.size = region->size;
@@
-612,7
+612,7
@@
static void MC_snapshot_handle_ignore(mc_snapshot_t snapshot)
}
// Zero the memory:
}
// Zero the memory:
- xbt_dynar_foreach (mc_checkpoint_ignore, cursor, region) {
+ xbt_dynar_foreach (mc_
model_checker->process.
checkpoint_ignore, cursor, region) {
MC_process_clear_memory(snapshot->process, region->addr, region->size);
}
MC_process_clear_memory(snapshot->process, region->addr, region->size);
}