diff options
Diffstat (limited to 'src/options/idl_options')
| -rw-r--r-- | src/options/idl_options | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/options/idl_options b/src/options/idl_options new file mode 100644 index 000000000..9d4d2a442 --- /dev/null +++ b/src/options/idl_options @@ -0,0 +1,12 @@ +# +# Option specification file for CVC4 +# See src/options/base_options for a description of this file format +# + +module IDL "options/idl_options.h" Idl + +option idlRewriteEq --enable-idl-rewrite-equalities/--disable-idl-rewrite-equalities bool :default false :read-write + enable rewriting equalities into two inequalities in IDL solver (default is disabled) +/disable rewriting equalities into two inequalities in IDL solver (default is disabled) + +endmodule |