Searched refs:logFile (Results 1 – 3 of 3) sorted by relevance
49 private String logFile; field in LogFileListener51 public LogFileListener(String logFile) { in LogFileListener() argument52 this.logFile = logFile; in LogFileListener()58 writer = new BufferedWriter(new FileWriter(logFile)); in setup()72 Log.always("Full log in " + logFile); in shutdown()
81 String logFile = String.format("bisection_outputs/%d_log.txt", currentSeed); in handleDivergences() local96 expected_output_file.getAbsolutePath(), logFile); in handleDivergences()
192 …ExecutionResult runBisectionSearch(String programName, String expectedOutputFile, String logFile) { in runBisectionSearch() argument198 commandBuilder.append(" --logfile=").append(logFile); in runBisectionSearch()