diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2016-03-23 10:15:36 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-03-23 10:15:36 -0700 |
| commit | 4a4ce608ffa58efc65fdc31c22665ce63a270180 (patch) | |
| tree | d022a213c891262c1bdff7c716adc4801b5ccd78 /src | |
| parent | 0335ed65fbdd9d446ccfb3e3339f02e81cdca8e3 (diff) | |
Fixed help for tear-down-incremental option
Diffstat (limited to 'src')
| -rw-r--r-- | src/options/main_options | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/main_options b/src/options/main_options index 7ec4fedb3..0fa799df2 100644 --- a/src/options/main_options +++ b/src/options/main_options @@ -54,8 +54,8 @@ 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 int :default 0 - implement PUSH/POP/multi-query by destroying and recreating SmtEngine +expert-option tearDownIncremental : --tear-down-incremental=N int :default 0 + implement PUSH/POP/multi-query by destroying and recreating SmtEngine every N queries expert-option waitToJoin --wait-to-join bool :default true wait for other threads to join before quitting |