diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-02-29 10:04:20 -0600 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-02-29 10:04:20 -0600 |
| commit | 8dc28ec4709b847a995d57bc39b8bfbaf7c5a344 (patch) | |
| tree | c2d18d78eba20de0e2ef1e3ce42b66d6e6f55516 /src/options | |
| parent | 135f99f365920097ce48be87cb77fb1144d446a3 (diff) | |
Minor options to datatypes.
Diffstat (limited to 'src/options')
| -rw-r--r-- | src/options/datatypes_options | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/options/datatypes_options b/src/options/datatypes_options index b44a36e2a..e9578f8d7 100644 --- a/src/options/datatypes_options +++ b/src/options/datatypes_options @@ -23,5 +23,9 @@ option cdtBisimilar --cdt-bisimilar bool :default true do bisimilarity check for co-datatypes option dtCyclic --dt-cyclic bool :default true do cyclicity check for datatypes +option dtInferAsLemmas --dt-infer-as-lemmas bool :default false + always send lemmas out instead of making internal inferences +#option dtRExplainLemmas --dt-rexplain-lemmas bool :default true +# regression explanations for datatype lemmas endmodule |