diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2015-12-30 22:38:13 -0800 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2015-12-30 22:39:13 -0800 |
commit | 395e05c2c443845c71dd1fdbb3eae26a68f15520 (patch) | |
tree | cabd2c720cc4097f41f5883408b21abb2c456eba /src/options | |
parent | fa7f30a4ba08afe066604daee87006b4fb5f21f7 (diff) |
Modified tear-down-incremental option to take an integer - the integer is the
number of times a check must be executed before the system is reset.
Diffstat (limited to 'src/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 |