Searched refs:visualizeExplodedGraphWithGraphViz (Results 1 – 4 of 4) sorted by relevance
264 unsigned visualizeExplodedGraphWithGraphViz : 1; variable325 TrimGraph(false), visualizeExplodedGraphWithGraphViz(false), in AnalyzerOptions()
102 return options.visualizeExplodedGraphWithGraphViz; in shouldVisualize()
781 if (Mgr->options.visualizeExplodedGraphWithGraphViz) in RunPathSensitiveChecks()
7438 MarshallingInfoFlag<AnalyzerOpts<"visualizeExplodedGraphWithGraphViz">>;