projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
snapshot-interface: debug prints: lengthen the "regionname" field
[model-checker.git]
/
snapshot-interface.cc
diff --git
a/snapshot-interface.cc
b/snapshot-interface.cc
index 072c1f959ac07c256129248174665a33fb5e7b30..d93e5c20dce3203378c2ea9d4f611bb90580686d 100644
(file)
--- a/
snapshot-interface.cc
+++ b/
snapshot-interface.cc
@@
-93,7
+93,7
@@
static void SnapshotGlobalSegments(){
size_t len = ((uintptr_t)end - (uintptr_t)begin) / PAGESIZE;
if (len != 0)
addMemoryRegionToSnapShot(begin, len);
size_t len = ((uintptr_t)end - (uintptr_t)begin) / PAGESIZE;
if (len != 0)
addMemoryRegionToSnapShot(begin, len);
- DEBUG("%
4
5s: %18p - %18p\t%c%c%c%c\n", regionname, begin, end, r, w, x, p);
+ DEBUG("%
5
5s: %18p - %18p\t%c%c%c%c\n", regionname, begin, end, r, w, x, p);
}
}
fclose(map);
}
}
fclose(map);