From 4a4ce608ffa58efc65fdc31c22665ce63a270180 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Wed, 23 Mar 2016 10:15:36 -0700 Subject: [PATCH] Fixed help for tear-down-incremental option --- src/options/main_options | 4 ++-- 1 file 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 -- 2.30.2