| 562 | } |
| 563 | |
| 564 | static void |
| 565 | check_timeout(void) |
| 566 | { |
| 567 | if (wall_timeout) |
| 568 | { |
| 569 | int wall_ms = get_wall_time_ms(); |
| 570 | if (wall_ms > wall_timeout) |
| 571 | err("TO: Time limit exceeded (wall clock)"); |
| 572 | if (verbose > 1) |
| 573 | fprintf(stderr, "[wall time check: %d msec]\n", wall_ms); |
| 574 | } |
| 575 | if (timeout) |
| 576 | { |
| 577 | int ms = get_run_time_ms(NULL); |
| 578 | if (verbose > 1) |
| 579 | fprintf(stderr, "[time check: %d msec]\n", ms); |
| 580 | if (ms > timeout && ms > extra_timeout) |
| 581 | err("TO: Time limit exceeded"); |
| 582 | } |
| 583 | } |
| 584 | |
| 585 | static void |
| 586 | box_keeper(void) |
no test coverage detected
searching dependent graphs…