Searched refs:writeMutationsToDisk (Results 1 – 1 of 1) sorted by relevance
489 writeMutationsToDisk(Options.dumpMutationsFile); in mutateTheProgram()493 private void writeMutationsToDisk(String fileName) { in writeMutationsToDisk() method in Program