- // Take incremental snapshot:
- region->page_numbers_ = simgrid::mc::PerPageCopy(mc_model_checker->page_store(), *process,
- permanent_addr, page_count);
+ simgrid::mc::PerPageCopy page_data =
+ simgrid::mc::PerPageCopy(mc_model_checker->page_store(), *process,
+ permanent_addr, page_count);
+
+ mc_mem_region_t region = new simgrid::mc::RegionSnapshot(
+ region_type, start_addr, permanent_addr, size);
+ region->page_data(std::move(page_data));