diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-31 15:22:38 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-31 15:22:38 +0000 |
commit | d4bfaa103d56d5c0172bf1457343a75ddea8a9b5 (patch) | |
tree | 7b5aab14936c3e3e58d38b1c382d9b3eb7006aef /src/main/main.h | |
parent | 29f5a9be53b572d2369d70947942563825c2fa27 (diff) |
maximize stack limit, handle SEGV signals on an alternate signal stack, and try to diagnose stack overflow
Diffstat (limited to 'src/main/main.h')
-rw-r--r-- | src/main/main.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/main.h b/src/main/main.h index b6a8bcfb1..2c2773a92 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -20,6 +20,7 @@ #include <string> #include "util/options.h" +#include "util/exception.h" #include "cvc4autoconfig.h" #ifndef __CVC4__MAIN__MAIN_H @@ -45,7 +46,7 @@ extern bool segvNoSpin; extern Options options; /** Initialize the driver. Sets signal handlers for SIGINT and SIGSEGV. */ -void cvc4_init() throw(); +void cvc4_init() throw(Exception); }/* CVC4::main namespace */ }/* CVC4 namespace */ |