Searched refs:outputFile (Results 1 – 5 of 5) sorted by relevance
36 return Options.outputFile; in getNextOutputFilename()
34 return String.format("%09d_%s", iterations, Options.outputFile); in getNextOutputFilename()
35 return Options.outputFile; in getNextOutputFilename()
80 String outputFile = String.format("bisection_outputs/%d_out.txt", currentSeed); in handleDivergences() local97 writeToFile(outputFile, result.getFlattenedAllWithNewlines()); in handleDivergences()
42 public static String outputFile = ""; field in Options229 outputFile = value; in handleKeyValueOption()343 if (outputFile.equals("")) { in validateOptions()345 outputFile = "fuzzingseed_fuzzed.dex"; in validateOptions()