blob: c1c9edcef5951ccacda67b1a8bb8e5fe18b2171e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#
# Option specification file for CVC4
# See src/options/base_options for a description of this file format
#
module IDL "theory/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
|