diff options
Diffstat (limited to 'src/main/main.h')
-rw-r--r-- | src/main/main.h | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/main/main.h b/src/main/main.h index 1771198f4..4df5ccc49 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -22,6 +22,7 @@ #include "util/options.h" #include "util/exception.h" #include "util/stats.h" +#include "util/tls.h" #include "cvc4autoconfig.h" #ifndef __CVC4__MAIN__MAIN_H @@ -46,8 +47,8 @@ extern CVC4::StatisticsRegistry* pStatistics; */ extern bool segvNoSpin; -/** The options currently in play */ -extern Options options; +/** A pointer to the options in play */ +extern CVC4_THREADLOCAL(Options*) pOptions; /** Initialize the driver. Sets signal handlers for SIGINT and SIGSEGV. */ void cvc4_init() throw(Exception); @@ -55,4 +56,8 @@ void cvc4_init() throw(Exception); }/* CVC4::main namespace */ }/* CVC4 namespace */ +/** Actual Cvc4 driver functions **/ +int runCvc4(int argc, char* argv[], CVC4::Options&); +void printUsage(CVC4::Options&, bool full = false); + #endif /* __CVC4__MAIN__MAIN_H */ |