| 2519 | } |
| 2520 | |
| 2521 | bool Engine::shouldExitDueToTimeout( double timeout ) const |
| 2522 | { |
| 2523 | // A timeout value of 0 means no time limit |
| 2524 | if ( timeout == 0 ) |
| 2525 | return false; |
| 2526 | |
| 2527 | return static_cast<long double>( _statistics.getTotalTimeInMicro() ) / MICROSECONDS_TO_SECONDS > |
| 2528 | timeout; |
| 2529 | } |
| 2530 | |
| 2531 | void Engine::preContextPushHook() |
| 2532 | { |
nothing calls this directly
no test coverage detected