projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d43a0ee
)
snapshot-interface: don't redefine PAGESIZE
author
Brian Norris
<banorris@uci.edu>
Tue, 29 May 2012 20:22:09 +0000
(13:22 -0700)
committer
Brian Norris
<banorris@uci.edu>
Tue, 29 May 2012 21:39:23 +0000
(14:39 -0700)
snapshot-interface.cc
patch
|
blob
|
history
diff --git
a/snapshot-interface.cc
b/snapshot-interface.cc
index 1bf12a20318797c37bdd4b3477df9f7708c7a9a8..2ef7e4ba94f9ef88b250b9dce1d5d3b3ff551efd 100644
(file)
--- a/
snapshot-interface.cc
+++ b/
snapshot-interface.cc
@@
-1,4
+1,5
@@
#include "snapshot-interface.h"
+#include "snapshot.h"
#include <iostream>
#include <fstream>
#include <unistd.h>
@@
-14,7
+15,6
@@
#define MYLIBRARYNAME "libmodel.so"
#define PROCNAME "/proc/*/maps"
#define REPLACEPOS 6
-#define PAGESIZE 4096
typedef std::basic_string<char, std::char_traits<char>, MyAlloc<char> > MyString;