diff options
Diffstat (limited to 'src/options/idl_options.toml')
| -rw-r--r-- | src/options/idl_options.toml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/options/idl_options.toml b/src/options/idl_options.toml new file mode 100644 index 000000000..d3bee7018 --- /dev/null +++ b/src/options/idl_options.toml @@ -0,0 +1,11 @@ +id = "IDL" +name = "Idl" +header = "options/idl_options.h" + +[[option]] + name = "idlRewriteEq" + category = "regular" + long = "idl-rewrite-equalities" + type = "bool" + default = "false" + help = "enable rewriting equalities into two inequalities in IDL solver (default is disabled)" |