-
Notifications
You must be signed in to change notification settings - Fork 23
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
Clean up timeouts #165
Comments
I agree with that one, so in that sense I'd say we could rename/rework how the timeout works. As I have written in #163 (comment), we could change the submission timeout to work more like Kattis' |
Implementing the Thinking about it, |
30s
and is overridden by--timeout
for e.g.bt generate
--timeout
onbt run
.This makes for some inconsistency because now timeout is both a program and problem property.
We could 'fix' the code and always make timeout a program property, which is either derived from the global timeout or from the problem timeout, but I'm not sure that's actually worth fixing.
I think we should fix the duplicate
--timeout
flag name, since this makesbapctools.yaml
configuration a bit annoying otherwise. I'm not exactly sure how though. One option is to give a different name to one of them, but have-T
as shortcut for both anyway. (-t
is currently the shortcut for timelimit already.)I'm not sure whether
--timelimit
is more common/useful for the problem or generate case. For problems, I typically just change the timelimit, not the timeout, if I want to see how long things take. On the other hand, although rare, I could see generators taking more than 30 seconds.CC @mpsijm
The text was updated successfully, but these errors were encountered: