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()
42 public static String outputFile = ""; field in Options227 outputFile = value; in handleKeyValueOption()337 if (outputFile.equals("")) { in validateOptions()339 outputFile = "fuzzingseed_fuzzed.dex"; in validateOptions()
603 def match(self, outputFile): argument608 outputGroup = outputFile.findGroup(checkGroup.name)718 outputFile = OutputFile(open(outputFilename, "r"))719 for group in outputFile.groups:724 outputFile = OutputFile(open(outputFilename, "r"))725 group = outputFile.findGroup(groupName)758 outputFile = OutputFile(open(outputFilename, "r"), outputBaseName)763 checkFile.match(outputFile)