projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
snapshot: remove references to libmymemory.so
[model-checker.git]
/
snapshot-interface.cc
diff --git
a/snapshot-interface.cc
b/snapshot-interface.cc
index 9d6ad7f8b71d2d3c74e470d411ada615a44ce1be..8971169786717cb84201208d565d152d7f80f7cc 100644
(file)
--- a/
snapshot-interface.cc
+++ b/
snapshot-interface.cc
@@
-9,7
+9,6
@@
#define MYBINARYNAME "model"
#define MYLIBRARYNAME "libmodel.so"
#define MYBINARYNAME "model"
#define MYLIBRARYNAME "libmodel.so"
-#define MYALLOCNAME "libmymemory.so"
#define PROCNAME "/proc/*/maps"
#define REPLACEPOS 6
#define PAGESIZE 4096
#define PROCNAME "/proc/*/maps"
#define REPLACEPOS 6
#define PAGESIZE 4096
@@
-48,10
+47,9
@@
static void takeSegmentSnapshot( const MyString & lineText ){
void SnapshotGlobalSegments(){
MyString fn = PROCNAME;
static char sProcessSize[ 12 ] = { 0 };
void SnapshotGlobalSegments(){
MyString fn = PROCNAME;
static char sProcessSize[ 12 ] = { 0 };
- std::pair< const char *, bool > dataSect[
3
];
+ std::pair< const char *, bool > dataSect[
2
];
dataSect[ 0 ] = std::make_pair( MYBINARYNAME, false );
dataSect[ 1 ] = std::make_pair( MYLIBRARYNAME, false );
dataSect[ 0 ] = std::make_pair( MYBINARYNAME, false );
dataSect[ 1 ] = std::make_pair( MYLIBRARYNAME, false );
- dataSect[ 2 ] = std::make_pair( MYALLOCNAME, false );
static pid_t sProcID = 0;
if( 0 == sProcID ) {
sProcID = getpid();
static pid_t sProcID = 0;
if( 0 == sProcID ) {
sProcID = getpid();