Searched defs:logFile (Results 1 – 3 of 3) sorted by relevance
49 private String logFile; field in LogFileListener51 public LogFileListener(String logFile) { in LogFileListener()
81 String logFile = String.format("bisection_outputs/%d_log.txt", currentSeed); in handleDivergences() local
192 …ExecutionResult runBisectionSearch(String programName, String expectedOutputFile, String logFile) { in runBisectionSearch()