-
Notifications
You must be signed in to change notification settings - Fork 673
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Solver timeout inconsistency #135
Comments
Good catch. We should definitely implement one of these solutions. I guess the setitimer is indeed more flexible. Do you want to write a patch implementing one of them? |
@251 I believe this very old issue was solved by the new time API you contributed a couple of years back. This being said, I still see a few |
@ccadar Yes, upstream still uses |
@251 thanks. Would |
@ccadar |
Right now the
--max-solver-time
option accepts a double argument. However, that argument is truncated to an integer before calling the solver because the timer is enforced by means ofalarm(unsigned seconds)
.This might cause confusion and also makes the minimum solver timeout 1 second.
Confusion can be avoided by making the
--max-solver-time
take an integer or we can be more flexible by using setitimer.The text was updated successfully, but these errors were encountered: