Searched refs:loadMutationsFile (Results 1 – 2 of 2) sorted by relevance
57 public static String loadMutationsFile = "mutations.dump"; field in Options260 loadMutationsFile = value; in handleKeyValueOption()
181 loadMutationsFromDisk(Options.loadMutationsFile); in Program()