diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-08-31 18:17:24 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-01 01:17:24 +0000 |
| commit | a6cdf2b085aaa9789f47757329a7803053ceb36a (patch) | |
| tree | 98280ce376d9828241d850e6c9e1271c4024f0c2 /src/main/time_limit.cpp | |
| parent | 068a0aa316f3760b401d900d39101955ba66b6c2 (diff) | |
No longer use direct access to options in driver (#7094)
This PR refactors the driver to no longer directly access the Options object, but instead use Solver::getOption() or Solver::getOptionInfo().
Diffstat (limited to 'src/main/time_limit.cpp')
| -rw-r--r-- | src/main/time_limit.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/main/time_limit.cpp b/src/main/time_limit.cpp index 28a0087bb..698d08c6d 100644 --- a/src/main/time_limit.cpp +++ b/src/main/time_limit.cpp @@ -56,7 +56,6 @@ #include <cstring> #include "base/exception.h" -#include "options/base_options.h" #include "signal_handlers.h" namespace cvc5 { @@ -78,9 +77,8 @@ TimeLimit::~TimeLimit() } #endif -TimeLimit install_time_limit(const Options& opts) +TimeLimit install_time_limit(uint64_t ms) { - uint64_t ms = opts.base.cumulativeMillisecondLimit; // Skip if no time limit shall be set. if (ms == 0) { return TimeLimit(); |