Searched refs:executor (Results 1 – 6 of 6) sorted by relevance
112 for (Executor executor : executors) { in shutdown()113 executor.shutdown(); in shutdown()244 for (Executor executor : executors) { in execute()245 executor.reset(); in execute()246 executor.prepareProgramForExecution(programName); in execute()247 executor.execute(programName); in execute()248 if (!executor.didTargetVerify()) { in execute()326 for (Executor executor : executors) { in analyseResults()327 if (executor.getResult().isTimeout()) { in analyseResults()328 timedOut.add(executor); in analyseResults()[all …]
116 for (Executor executor : timedOut) { in handleTimeouts()117 write(" " + executor.getName()); in handleTimeouts()121 for (Executor executor : didNotTimeOut) { in handleTimeouts()122 write(" " + executor.getName()); in handleTimeouts()134 for (Executor executor : executors) { in handleDivergences()135 write(" " + executor.getName()); in handleDivergences()179 public void handleDumpOutput(String outputLine, Executor executor) { in handleDumpOutput() argument180 write(executor.getName() + " OUTPUT:"); in handleDumpOutput()
92 for (Executor executor : executors) { in handleDivergences()93 logToConsole(" " + executor.getName()); in handleDivergences()125 public void handleDumpOutput(String outputLine, Executor executor) { in handleDumpOutput() argument126 logToConsole(executor.getName() + " OUTPUT: " + outputLine); in handleDumpOutput()
92 for (Executor executor : executors) { in handleDivergences()93 if (executor.isBisectable()) { in handleDivergences()95 ExecutionResult result = executor.runBisectionSearch(fuzzedFile, in handleDivergences()
130 public void handleDumpOutput(String outputLine, Executor executor) { in handleDumpOutput() argument132 listener.handleDumpOutput(outputLine, executor); in handleDumpOutput()
56 public void handleDumpOutput(String outputLine, Executor executor) { } in handleDumpOutput() argument