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
Fix more sonar things
[simgrid.git]
/
src
/
mc
/
sosp
/
Snapshot.cpp
diff --git
a/src/mc/sosp/Snapshot.cpp
b/src/mc/sosp/Snapshot.cpp
index
c58c306
..
625cf52
100644
(file)
--- a/
src/mc/sosp/Snapshot.cpp
+++ b/
src/mc/sosp/Snapshot.cpp
@@
-194,9
+194,9
@@
static void snapshot_ignore_restore(const simgrid::mc::Snapshot* snapshot)
remote(ignored_data.start));
}
remote(ignored_data.start));
}
-Snapshot::Snapshot(
int
num_state, RemoteProcess* process) : AddressSpace(process), num_state_(num_state)
+Snapshot::Snapshot(
long
num_state, RemoteProcess* process) : AddressSpace(process), num_state_(num_state)
{
{
- XBT_DEBUG("Taking snapshot %
i
", num_state);
+ XBT_DEBUG("Taking snapshot %
ld
", num_state);
for (auto const& p : process->actors())
enabled_processes_.insert(p.copy.get_buffer()->get_pid());
for (auto const& p : process->actors())
enabled_processes_.insert(p.copy.get_buffer()->get_pid());
@@
-271,7
+271,7
@@
Region* Snapshot::get_region(const void* addr, Region* hinted_region) const
void Snapshot::restore(RemoteProcess* process) const
{
void Snapshot::restore(RemoteProcess* process) const
{
- XBT_DEBUG("Restore snapshot %
i
", num_state_);
+ XBT_DEBUG("Restore snapshot %
ld
", num_state_);
// Restore regions
for (std::unique_ptr<Region> const& region : snapshot_regions_) {
// Restore regions
for (std::unique_ptr<Region> const& region : snapshot_regions_) {