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] RegionSnapshot, make all fields private
[simgrid.git]
/
src
/
mc
/
mc_checkpoint.cpp
diff --git
a/src/mc/mc_checkpoint.cpp
b/src/mc/mc_checkpoint.cpp
index
071caa8
..
9a1285b
100644
(file)
--- a/
src/mc/mc_checkpoint.cpp
+++ b/
src/mc/mc_checkpoint.cpp
@@
-129,15
+129,15
@@
static mc_mem_region_t MC_region_new(
*/
static void MC_region_restore(mc_mem_region_t region)
{
*/
static void MC_region_restore(mc_mem_region_t region)
{
- switch(region->storage_type) {
+ switch(region->storage_type
()
) {
case MC_REGION_STORAGE_TYPE_NONE:
default:
xbt_die("Storage type not supported");
break;
case MC_REGION_STORAGE_TYPE_FLAT:
case MC_REGION_STORAGE_TYPE_NONE:
default:
xbt_die("Storage type not supported");
break;
case MC_REGION_STORAGE_TYPE_FLAT:
- mc_model_checker->process().write_bytes(region->flat_data().data(),
region->size,
- re
mote(region->permanent_addr
));
+ mc_model_checker->process().write_bytes(region->flat_data().data(),
+ re
gion->size(), region->permanent_address(
));
break;
case MC_REGION_STORAGE_TYPE_CHUNKED:
break;
case MC_REGION_STORAGE_TYPE_CHUNKED:
@@
-197,7
+197,7
@@
static void MC_snapshot_add_region(int index, mc_snapshot_t snapshot, mc_region_
else
region = MC_region_new(type, start_addr, permanent_addr, size);
else
region = MC_region_new(type, start_addr, permanent_addr, size);
- region->object_info
= object_info
;
+ region->object_info
(object_info)
;
snapshot->snapshot_regions[index] = region;
return;
}
snapshot->snapshot_regions[index] = region;
return;
}