diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-21 09:52:52 -0600 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-21 09:53:08 -0600 |
commit | c12cfca2bdd44b6cda5c61a764ae6aee150c384b (patch) | |
tree | 298eaefaf4e9afe0037331a7d3cab9348682d108 /src/options | |
parent | 5d7ab3e6f6d14795a0e87cce6efb3cd24f9cedc3 (diff) |
Refactoring related to track instantiation option.
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/quantifiers_options | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/quantifiers_options b/src/options/quantifiers_options index 3269b7574..f6b6e2177 100644 --- a/src/options/quantifiers_options +++ b/src/options/quantifiers_options @@ -342,7 +342,7 @@ option quantEqualityEngine --quant-ee bool :default false ### proof options -option trackInstLemmas --track-inst-lemmas bool :default true - when proof is enabled, track instantiation lemmas (for proofs, unsat cores, qe and synthesis minimization) +option trackInstLemmas --track-inst-lemmas bool :read-write :default false + track instantiation lemmas (for proofs, unsat cores, qe and synthesis minimization) endmodule |