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

/art/tools/dexfuzz/src/dexfuzz/
H A DOptions.java54 public static String dumpMutationsFile = "mutations.dump"; field in class:Options
245 dumpMutationsFile = value;
/art/tools/dexfuzz/src/dexfuzz/program/
H A DProgram.java476 writeMutationsToDisk(Options.dumpMutationsFile);

Completed in 80 milliseconds