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/smt_options.toml | |
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/smt_options.toml')
-rw-r--r-- | src/options/smt_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index 0a3d65167..13791bfd6 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -451,7 +451,7 @@ header = "options/smt_options.h" type = "unsigned long" handler = "limitHandler" read_only = true - help = "enable time limiting (give milliseconds)" + help = "enable time limiting of wall clock time (give milliseconds)" [[option]] name = "perCallMillisecondLimit" |