diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-07-31 11:25:27 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-31 11:25:27 -0700 |
| commit | 0b2eb659087dd3643e57fe39ee84f6cb42721e94 (patch) | |
| tree | d273e0b2d7207f1fb5c1e49ebdfcb77d00eb0992 /src/options/smt_options.toml | |
| parent | cf97bbba5725abcb7a4085271719de8b1a832628 (diff) | |
Fix option handler for lazy/bv-sat-solver combinations. (#2225)
Further, unifies all *limitHandler and *limitPerHandler to limitHandler.
Diffstat (limited to 'src/options/smt_options.toml')
| -rw-r--r-- | src/options/smt_options.toml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index 7301272b1..36ada5a95 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -419,7 +419,7 @@ header = "options/smt_options.h" category = "common" long = "tlimit=MS" type = "unsigned long" - handler = "tlimitHandler" + handler = "limitHandler" notifies = ["notifyTlimit"] read_only = true help = "enable time limiting (give milliseconds)" @@ -430,7 +430,7 @@ header = "options/smt_options.h" category = "common" long = "tlimit-per=MS" type = "unsigned long" - handler = "tlimitPerHandler" + handler = "limitHandler" notifies = ["notifyTlimitPer"] read_only = true help = "enable time limiting per query (give milliseconds)" @@ -441,7 +441,7 @@ header = "options/smt_options.h" category = "common" long = "rlimit=N" type = "unsigned long" - handler = "rlimitHandler" + handler = "limitHandler" notifies = ["notifyRlimit"] read_only = true help = "enable resource limiting (currently, roughly the number of SAT conflicts)" @@ -452,7 +452,7 @@ header = "options/smt_options.h" category = "common" long = "rlimit-per=N" type = "unsigned long" - handler = "rlimitPerHandler" + handler = "limitHandler" notifies = ["notifyRlimitPer"] read_only = true help = "enable resource limiting per query" |