This commit is contained in:
Jan Lahoda 2025-10-07 19:13:43 +02:00
parent 9066c51353
commit 789f09e7c6

View File

@ -640,7 +640,8 @@ public class ExhaustivenessComputer {
}
protected void checkTimeout() {
if (startTime != (-1) && (System.currentTimeMillis() - startTime) > missingExhaustivenessTimeout) {
if (startTime != (-1) &&
(System.currentTimeMillis() - startTime) > missingExhaustivenessTimeout) {
throw new TimeoutException(null);
}
}