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