Searched refs:MutationGraphFile (Results 1 – 3 of 3) sorted by relevance
63 std::string MutationGraphFile; member
480 static void WriteEdgeToMutationGraphFile(const std::string &MutationGraphFile, in WriteEdgeToMutationGraphFile() argument484 if (MutationGraphFile.empty()) in WriteEdgeToMutationGraphFile()508 AppendToFile(OutputString, MutationGraphFile); in WriteEdgeToMutationGraphFile()547 WriteEdgeToMutationGraphFile(Options.MutationGraphFile, NewII, II, in RunOne()
768 Options.MutationGraphFile = Flags.mutation_graph_file; in FuzzerDriver()