diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-15 23:05:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-15 21:05:44 +0000 |
commit | 3564c3345d7fa53744661d815cbd463cc02567d7 (patch) | |
tree | 6e3a9b3c2b5194ce519083f0d54e128d24521aa2 /src/options/smt_options.toml | |
parent | 77bca094a140b35341257f125a55212ff0108250 (diff) |
Avoid options listener for resource manager. (#6366)
This PR simplifies how the resource manager interacts with the options. Instead of using some notification mechanism, the resource manager simply retrieves the options via options::xyz(). This simplifies the options handler, the resource manager interface and the options.
When instructed to do so by the API, the SmtEngine now overwrites the respective option instead of calling out to the resource manager.
Diffstat (limited to 'src/options/smt_options.toml')
-rw-r--r-- | src/options/smt_options.toml | 24 |
1 files changed, 8 insertions, 16 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index c6e42477b..83b83f3be 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -440,40 +440,32 @@ header = "options/smt_options.h" smt_name = "tlimit" category = "common" long = "tlimit=MS" - type = "unsigned long" - handler = "limitHandler" - read_only = true - help = "enable time limiting of wall clock time (give milliseconds)" + type = "uint64_t" + help = "set time limit in milliseconds of wall clock time" [[option]] name = "perCallMillisecondLimit" smt_name = "tlimit-per" category = "common" long = "tlimit-per=MS" - type = "unsigned long" - handler = "limitHandler" - read_only = true - help = "enable time limiting per query (give milliseconds)" + type = "uint64_t" + help = "set time limit per query in milliseconds" [[option]] name = "cumulativeResourceLimit" smt_name = "rlimit" category = "common" long = "rlimit=N" - type = "unsigned long" - handler = "limitHandler" - read_only = true - help = "enable resource limiting (currently, roughly the number of SAT conflicts)" + type = "uint64_t" + help = "set resource limit" [[option]] name = "perCallResourceLimit" smt_name = "reproducible-resource-limit" category = "common" long = "rlimit-per=N" - type = "unsigned long" - handler = "limitHandler" - read_only = true - help = "enable resource limiting per query" + type = "uint64_t" + help = "set resource limit per query" # --rweight is used to override the default of one particular resource weight. # It can be given multiple times to override multiple weights. When options are |