diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-07-16 16:33:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-16 09:33:58 -0500 |
commit | 051106d0033c8108008acba65ad02a77b5ddd19c (patch) | |
tree | 28413da244644c8e66176039d2d53ab4a502ae3c /src/options | |
parent | 81821f40c36a6ccbee4bf6ef500cd5dccacb634c (diff) |
Remove cumulative time limits and cpu time limits (#4711)
This PR removes two things from the resource manager:
cumulative time limits
cpu time limits
Cumulative time limiting has been moved to the binary and is (as before) accessible via --tlimit. As per discussion among the devs, we no longer support time limits based on CPU time and thus everything related to that is removed as well.
Note that this includes the option --cpu-time, removes an argument from SmtEngine::setTimeLimit() and the method SmtEngine::getTimeRemaining() .
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/smt_options.toml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index e4847716a..96fccdcdb 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -492,15 +492,6 @@ header = "options/smt_options.h" help = "the resource limit is hard potentially leaving the smtEngine in an unsafe state (should be destroyed and rebuild after resourcing out)" [[option]] - name = "cpuTime" - category = "common" - long = "cpu-time" - type = "bool" - default = "false" - read_only = true - help = "measures CPU time if set to true and wall time if false (default false)" - -[[option]] name = "rewriteStep" category = "expert" long = "rewrite-step=N" |