diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-07-08 23:24:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-08 16:24:24 -0500 |
| commit | a0a389a1f7c16b6a1fb56b3ce8ee519cf5717f04 (patch) | |
| tree | 6908a4c3aed1be0100057c5b8f97a40673c99779 /src/options/options.h | |
| parent | 37801c1da918ad1c4de97e8a64ca7d1177b61de4 (diff) | |
Re-implement handling of --tlimit (#4655)
As a first step within this project, this PR provides a new implementation that backs --tlimit. It uses setitimer (as timer_settime is not available on MacOS) to make the OS send a signal after the given wall clock time has passed.
In more detail, this PR:
removes the current handling of --tlimit (TlimitListener and its integration in the NodeManager)
adds a new TimeLimitListener that lives in src/main
uses TimeLimitListener directly in runCvc4()
adds a signal handler for SIGALRM (that also uses the existing timeout_handler)
Diffstat (limited to 'src/options/options.h')
| -rw-r--r-- | src/options/options.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/options/options.h b/src/options/options.h index e0f68a182..0732d4ddb 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -203,6 +203,7 @@ public: bool getStatsHideZeros() const; bool getStrictParsing() const; int getTearDownIncremental() const; + unsigned long getCumulativeTimeLimit() const; bool getVersion() const; const std::string& getForceLogicString() const; int getVerbosity() const; |