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/main/options | |
| 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/main/options')
| -rw-r--r-- | src/main/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/options b/src/main/options index 47d8da598..58ea5e544 100644 --- a/src/main/options +++ b/src/main/options @@ -19,6 +19,9 @@ option - --show-debug-tags void :handler CVC4::main::showDebugTags :handler-incl option - --show-trace-tags void :handler CVC4::main::showTraceTags :handler-include "main/options_handlers.h" show all available tags for tracing +expert-option earlyExit --early-exit bool :default true + do not run destructors at exit; default on except in debug mode + # portfolio options option printWinner bool enable printing the winning thread (pcvc4 only) |