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