diff options
Diffstat (limited to 'runner/executor.h')
| -rw-r--r-- | runner/executor.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/runner/executor.h b/runner/executor.h index 8fe1605b..252339ab 100644 --- a/runner/executor.h +++ b/runner/executor.h @@ -7,6 +7,12 @@ struct execute_state { size_t next; + /* + * < 0 : No overall timeout used. + * = 0 : Timeouted, don't execute any more. + * > 0 : Timeout in use, time left. + */ + double time_left; }; enum { |