diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-06 06:25:08 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-06 06:56:54 -0400 |
| commit | ab83b7f8d4cc25580cf140d753e0bfe3c76cb36c (patch) | |
| tree | 471742f4e54178327c9c3413c70927f288dae300 /src/main/options | |
| parent | 1364389f19e55984cc52589b3af42322c300e00f (diff) | |
fix for hiding prompt/header in shell, error-behavior options as in SMTLIB
Diffstat (limited to 'src/main/options')
| -rw-r--r-- | src/main/options | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/options b/src/main/options index 09b06bd07..d84482836 100644 --- a/src/main/options +++ b/src/main/options @@ -39,9 +39,13 @@ option fallbackSequential --fallback-sequential bool :default false option incrementalParallel --incremental-parallel bool :default false :link --incremental Use parallel solver even in incremental mode (may print 'unknown's at times) -option interactivePrompt /--no-interactive-prompt bool :default true +undocumented-option interactivePrompt /--no-interactive-prompt bool :default true turn off interactive prompting while in interactive mode +# error behaviors +option continuedExecution --continued-execution/--immediate-exit bool :default false :link "--interactive --no-interactive-prompt"/ + continue executing commands, even on error + option segvSpin --segv-spin bool :default false spin on segfault/other crash waiting for gdb undocumented-alias --segv-nospin = --no-segv-spin |