projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
[model-checker.git]
/
snapshotimp.h
diff --git
a/snapshotimp.h
b/snapshotimp.h
index e5c331a2e5ee765fe7e3ec6d7a4fa189fa6e0b2b..2e4929d0477e4605cd5363fb86266cd054d1f3fe 100644
(file)
--- a/
snapshotimp.h
+++ b/
snapshotimp.h
@@
-11,7
+11,7
@@
#include <sys/mman.h>
#include <sys/types.h>
#include <csignal>
#include <sys/mman.h>
#include <sys/types.h>
#include <csignal>
-#define SHARED_MEMORY_DEFAULT (100 * ((size_t)1 << 20)) // 100mb for the shared memory
+#define SHARED_MEMORY_DEFAULT (100 * ((size_t)1 << 20)) // 100mb for the shared memory
#define STACK_SIZE_DEFAULT (((size_t)1 << 20) * 20) // 20 mb out of the above 100 mb for my stack
#if USE_MPROTECT_SNAPSHOT
#define STACK_SIZE_DEFAULT (((size_t)1 << 20) * 20) // 20 mb out of the above 100 mb for my stack
#if USE_MPROTECT_SNAPSHOT