Searched refs:dumpMutationsFile (Results 1 – 2 of 2) sorted by relevance
54 public static String dumpMutationsFile = "mutations.dump"; field in Options245 dumpMutationsFile = value; in handleKeyValueOption()
476 writeMutationsToDisk(Options.dumpMutationsFile); in mutateTheProgram()