Searched refs:maxScopingDuration (Results 1 – 1 of 1) sorted by relevance
1633 const double maxScopingDuration = 0.1; // seconds in scopeStringMatches() local1706 timedOut = (currentTime() - startTime) >= maxScopingDuration; in scopeStringMatches()