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

diff --combined config.h
+++ b/config.h
@@@ -9,6 -9,10 +9,10 @@@
  /*            #ifndef CONFIG_DEBUG
                #define CONFIG_DEBUG
                #endif
+               #ifndef CONFIG_ASSERT
+               #define CONFIG_ASSERT
+               #endif
  */
  
  /** Turn on support for dumping cyclegraphs as dot files at each
@@@ -34,7 -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
  /* Size of stack to allocate for a thread. */
  #define STACK_SIZE (1024 * 1024)
  
+ /** How many shadow tables of memory to preallocate for data race detector. */
+ #define SHADOWBASETABLES 4
+ /** Enable debugging assertions (via ASSERT()) */
+ #define CONFIG_ASSERT
  
  #endif