merge
authorBrian Demsky <bdemsky@uci.edu>
Thu, 15 Nov 2012 02:15:04 +0000 (18:15 -0800)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 15 Nov 2012 02:15:04 +0000 (18:15 -0800)
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker

Conflicts:
config.h
model.cc

1  2 
config.h
datarace.cc

diff --cc config.h
+++ b/config.h
  /* 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
diff --cc datarace.cc
Simple merge