Merge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into...

[c11tester.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index b4944f45527e8e93303235d6ddaa5d7f0b9f208e..d73613832e867eb069b5f5288b72f95bc04c96ff 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -249,7 +249,7 @@ static void mprot_roll_back(snapshot_id theID)
 
 #else  /* !USE_MPROTECT_SNAPSHOT */
 
 
 #else  /* !USE_MPROTECT_SNAPSHOT */
 

-#define SHARED_MEMORY_DEFAULT  (100 * ((size_t)1 << 20))       // 100mb for the shared memory
+#define SHARED_MEMORY_DEFAULT  (200 * ((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
 
 struct fork_snapshotter {
 #define STACK_SIZE_DEFAULT      (((size_t)1 << 20) * 20)       // 20 mb out of the above 100 mb for my stack
 
 struct fork_snapshotter {