diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-26 03:07:01 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-26 03:07:01 +0000 |
| commit | 7f84ff856af53047c2af2c1c1987340f9075ec7c (patch) | |
| tree | 6e49732af41fccb76edbc004f6e62f1751cebc64 /src/smt/options_handlers.h | |
| parent | 60c0b1855d20aeb67ac16312bb4dd00664e28f8f (diff) | |
The Tuesday Afternoon Catch-All Commit (TACAC):
* --early-exit and --no-early-exit command line options (the former is default for all builds except debug builds)
* New SEXPR kind for doing lists of things (we previously used TUPLEs for this purpose, but TUPLEs will be used in future by the datatypes theory, and so cannot have function symbols in them, etc.).
* SMT-LIB compliant output for (set-option :produce-unsat-cores true) and (get-unsat-core)
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/smt/options_handlers.h')
| -rw-r--r-- | src/smt/options_handlers.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/options_handlers.h b/src/smt/options_handlers.h index 4f214ddd1..7d5dd56c9 100644 --- a/src/smt/options_handlers.h +++ b/src/smt/options_handlers.h @@ -288,7 +288,7 @@ inline void proofEnabledBuild(std::string option, bool value, SmtEngine* smt) th inline void unsatCoresEnabledBuild(std::string option, bool value, SmtEngine* smt) throw(OptionException) { if(value) { - throw OptionException("CVC4 does not yet have support for unsatisfiable cores"); + throw UnrecognizedOptionException("CVC4 does not yet have support for unsatisfiable cores"); } } |