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