Searched refs:visualizeExplodedGraphWithGraphViz (Results 1 – 4 of 4) sorted by relevance
234 unsigned visualizeExplodedGraphWithGraphViz : 1; variable293 TrimGraph(false), visualizeExplodedGraphWithGraphViz(false), in AnalyzerOptions()
101 return options.visualizeExplodedGraphWithGraphViz; in shouldVisualize()
740 if (Mgr->options.visualizeExplodedGraphWithGraphViz) in RunPathSensitiveChecks()
5262 MarshallingInfoFlag<AnalyzerOpts<"visualizeExplodedGraphWithGraphViz">>;