diff options
Diffstat (limited to 'src/options/sep_options')
| -rw-r--r-- | src/options/sep_options | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/options/sep_options b/src/options/sep_options index fecf4401e..ba10cdefb 100644 --- a/src/options/sep_options +++ b/src/options/sep_options @@ -15,4 +15,10 @@ option sepMinimalRefine --sep-min-refine bool :default false option sepDisequalC --sep-deq-c bool :default true assume cardinality elements are distinct +option sepPreSkolemEmp --sep-pre-skolem-emp bool :default false + eliminate emp constraint at preprocess time + +option sepChildRefine --sep-child-refine bool :default false + child-specific refinements of negated star, positive wand + endmodule |