We want to know what has changed since the last per-page snapshot: we
have to reset the soft dirty bits just after the per-page restoration.
switch_data_segment(snapshot->privatization_index);
}
switch_data_segment(snapshot->privatization_index);
}
- MC_snapshot_ignore_restore(snapshot);
if (_sg_mc_sparse_checkpoint && _sg_mc_soft_dirty) {
mc_softdirty_reset();
}
if (_sg_mc_sparse_checkpoint && _sg_mc_soft_dirty) {
mc_softdirty_reset();
}
+
+ MC_snapshot_ignore_restore(snapshot);
mc_model_checker->parent_snapshot = snapshot;
}
mc_model_checker->parent_snapshot = snapshot;
}