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/printer_options.toml | |
| 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/printer_options.toml')
0 files changed, 0 insertions, 0 deletions