diff options
Diffstat (limited to 'src/options/quantifiers_options.toml')
-rw-r--r-- | src/options/quantifiers_options.toml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml index be4c66b27..ecd418282 100644 --- a/src/options/quantifiers_options.toml +++ b/src/options/quantifiers_options.toml @@ -1218,6 +1218,13 @@ header = "options/quantifiers_options.h" default = "false" help = "use satisfiability check to verify correctness of candidate rewrites" +[[option]] + name = "sygusRewSynthCheckTimeout" + category = "regular" + long = "sygus-rr-synth-check-timeout" + type = "unsigned long" + help = "timeout (in milliseconds) for the satisfiability check to verify correctness of candidate rewrites" + # CEGQI applied to general quantified formulas [[option]] |