diff options
Diffstat (limited to 'src/options/sep_options')
-rw-r--r-- | src/options/sep_options | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/options/sep_options b/src/options/sep_options deleted file mode 100644 index ba10cdefb..000000000 --- a/src/options/sep_options +++ /dev/null @@ -1,24 +0,0 @@ -# -# Option specification file for CVC4 -# See src/options/base_options for a description of this file format -# - -module SEP "options/sep_options.h" Sep - -option sepCheckNeg --sep-check-neg bool :default true - check negated spatial assertions - -option sepExp --sep-exp bool :default false - experimental flag for sep -option sepMinimalRefine --sep-min-refine bool :default false - only add refinement lemmas for minimal (innermost) assertions -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 |