diff options
Diffstat (limited to 'src/main/main.h')
-rw-r--r-- | src/main/main.h | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/src/main/main.h b/src/main/main.h index 9b2f4fcbe..0c78912ae 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -28,12 +28,31 @@ struct Options; namespace main { +/** Class representing an option-parsing exception. */ class OptionException : public CVC4::Exception { public: - OptionException(const std::string& s) throw() : CVC4::Exception("Error in option parsing: " + s) {} + OptionException(const std::string& s) throw() : + CVC4::Exception("Error in option parsing: " + s) { + } };/* class OptionException */ +/** Full argv[0] */ +extern const char *progPath; + +/** Just the basename component of argv[0] */ +extern const char *progName; + +/** + * If true, will not spin on segfault even when CVC4_DEBUG is on. + * Useful for nightly regressions, noninteractive performance runs + * etc. See util.cpp. + */ +extern bool segvNoSpin; + +/** Parse argc/argv and put the result into a CVC4::Options struct. */ int parseOptions(int argc, char** argv, CVC4::Options*) throw(OptionException); + +/** Initialize the driver. Sets signal handlers for SIGINT and SIGSEGV. */ void cvc4_init() throw(); }/* CVC4::main namespace */ |