Searched refs:FileNamePrefix (Results 1 – 1 of 1) sorted by relevance
324 std::string FileNamePrefix, bool IsSimple) { in WriteDOTGraphToFile() argument325 std::string Filename = FileNamePrefix + "." + F.getName().str(); in WriteDOTGraphToFile()