Searched refs:TimedOut (Results 1 – 4 of 4) sorted by relevance
40 TimedOut, enumerator59 static Result TimedOut() { return Result(Status::TimedOut, {}); } in TimedOut() function
48 bool TimedOut() { in TimedOut() function
891 if (TimedOut()) in Loop()920 while (!TimedOut() && TotalNumberOfRuns < Options.MaxNumberOfRuns) { in MinimizeCrashLoop()
79 case Solver::Result::Status::TimedOut: in debugString()