diff options
Diffstat (limited to 'src/options/main_options')
| -rw-r--r-- | src/options/main_options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/main_options b/src/options/main_options index b468c9284..8b161e5df 100644 --- a/src/options/main_options +++ b/src/options/main_options @@ -54,7 +54,7 @@ option segvSpin --segv-spin bool :default false spin on segfault/other crash waiting for gdb undocumented-alias --segv-nospin = --no-segv-spin -expert-option tearDownIncremental : --tear-down-incremental bool :default false +expert-option tearDownIncremental : --tear-down-incremental int :default 0 implement PUSH/POP/multi-query by destroying and recreating SmtEngine expert-option waitToJoin --wait-to-join bool :default true |