Merge branch 'master' of /home/git/model-checker
authorBrian Demsky <bdemsky@uci.edu>
Thu, 15 Nov 2012 07:27:30 +0000 (23:27 -0800)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 15 Nov 2012 07:27:30 +0000 (23:27 -0800)
config.h

index aacbb81..891dfd7 100644 (file)
--- a/config.h
+++ b/config.h
@@ -38,7 +38,7 @@
 #define USE_MPROTECT_SNAPSHOT 2
 
 /** Size of signal stack */
-#define SIGSTACKSIZE 32768
+#define SIGSTACKSIZE 65536
 
 /** Page size configuration */
 #define PAGESIZE 4096