blob: 9d4d2a442cf16124d67d0b99a7b18df000ae1a5c (
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 "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
|