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: Kill a C type and use the C++ one
[simgrid.git]
/
src
/
mc
/
sosp
/
mc_checkpoint.cpp
diff --git
a/src/mc/sosp/mc_checkpoint.cpp
b/src/mc/sosp/mc_checkpoint.cpp
index
58a0bb9
..
0ae2a09
100644
(file)
--- a/
src/mc/sosp/mc_checkpoint.cpp
+++ b/
src/mc/sosp/mc_checkpoint.cpp
@@
-57,7
+57,7
@@
namespace mc {
*
* @param region Target region
*/
*
* @param region Target region
*/
-static void restore(
mc_mem_region_t
region)
+static void restore(
RegionSnapshot*
region)
{
switch (region->storage_type()) {
case simgrid::mc::StorageType::Flat:
{
switch (region->storage_type()) {
case simgrid::mc::StorageType::Flat:
@@
-445,7
+445,7
@@
std::shared_ptr<simgrid::mc::Snapshot> take_snapshot(int num_state)
static inline void restore_snapshot_regions(simgrid::mc::Snapshot* snapshot)
{
static inline void restore_snapshot_regions(simgrid::mc::Snapshot* snapshot)
{
- for (std::unique_ptr<s
_mc_mem_region_
t> const& region : snapshot->snapshot_regions) {
+ for (std::unique_ptr<s
imgrid::mc::RegionSnapsho
t> const& region : snapshot->snapshot_regions) {
// For privatized, variables we decided it was not necessary to take the snapshot:
if (region)
restore(region.get());
// For privatized, variables we decided it was not necessary to take the snapshot:
if (region)
restore(region.get());