Searched refs:MutationGraphFile (Results 1 – 7 of 7) sorted by relevance
475 static void WriteEdgeToMutationGraphFile(const std::string &MutationGraphFile, in WriteEdgeToMutationGraphFile() argument479 if (MutationGraphFile.empty()) in WriteEdgeToMutationGraphFile()503 AppendToFile(OutputString, MutationGraphFile); in WriteEdgeToMutationGraphFile()542 WriteEdgeToMutationGraphFile(Options.MutationGraphFile, NewII, II, in RunOne()
63 std::string MutationGraphFile; member
768 Options.MutationGraphFile = Flags.mutation_graph_file; in FuzzerDriver()