Searched refs:MutationGraphFile (Results 1 – 3 of 3) sorted by relevance
63 std::string MutationGraphFile; member
477 static void WriteEdgeToMutationGraphFile(const std::string &MutationGraphFile, in WriteEdgeToMutationGraphFile() argument 481 if (MutationGraphFile.empty()) in WriteEdgeToMutationGraphFile() 505 AppendToFile(OutputString, MutationGraphFile); in WriteEdgeToMutationGraphFile() 544 WriteEdgeToMutationGraphFile(Options.MutationGraphFile, NewII, II, in RunOne()
771 Options.MutationGraphFile = Flags.mutation_graph_file; in FuzzerDriver()