diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-05-28 02:28:39 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-05-28 02:28:39 -0500 |
| commit | b8bd234936a499d72cb5a9444f8cfd82d980fe8f (patch) | |
| tree | bd2971ad0f7a5239c89f05abba52ebe3b8da2245 /src/smt/options | |
| parent | 3b49d2e6938fbee46737bbd71419febca2ec318d (diff) | |
Add option to avoid dumping partial models/proofs.
Diffstat (limited to 'src/smt/options')
| -rw-r--r-- | src/smt/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/smt/options b/src/smt/options index 7b749fc6c..9c7eea12f 100644 --- a/src/smt/options +++ b/src/smt/options @@ -110,4 +110,7 @@ option lemmaInputChannel LemmaInputChannel* :default NULL :include "util/lemma_i option lemmaOutputChannel LemmaOutputChannel* :default NULL :include "util/lemma_output_channel.h" The output channel to receive notfication events for new lemmas +option forceNoLimitCpuWhileDump --force-no-limit-cpu-while-dump bool :default false + Force no CPU limit when dumping models and proofs + endmodule |