diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-07-06 04:03:58 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-06 12:03:58 +0100 |
| commit | 1e331468c0bc5ad20f5b3e0e74e6482670c6227a (patch) | |
| tree | db926a3b9367bbb0f15625fda8722d046c41ca75 /src/options | |
| parent | a3a3c6f56ef1593076379e39ec478013d8a01ab8 (diff) | |
Add option for timeout for rewrite candidate check (#2156)
Diffstat (limited to 'src/options')
| -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]] |