Home
last modified time | relevance | path

Searched refs:dumpMutationsFile (Results 1 – 2 of 2) sorted by relevance

/art/tools/dexfuzz/src/dexfuzz/
DOptions.java56 public static String dumpMutationsFile = "mutations.dump"; field in Options
249 dumpMutationsFile = value; in handleKeyValueOption()
/art/tools/dexfuzz/src/dexfuzz/program/
DProgram.java489 writeMutationsToDisk(Options.dumpMutationsFile); in mutateTheProgram()