From: Clark Barrett <barrett@cs.nyu.edu>
Date: Wed, 23 Mar 2016 17:15:36 +0000 (-0700)
Subject: Fixed help for tear-down-incremental option
X-Git-Tag: cvc5-1.0.0~6049^2~94
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4a4ce608ffa58efc65fdc31c22665ce63a270180;p=cvc5.git

Fixed help for tear-down-incremental option
---

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