diff options
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 |