Searched refs:visualizeExplodedGraphWithGraphViz (Results 1 – 4 of 4) sorted by relevance
250 unsigned visualizeExplodedGraphWithGraphViz : 1; variable309 visualizeExplodedGraphWithGraphViz(false), UnoptimizedCFG(false), in AnalyzerOptions()
101 return options.visualizeExplodedGraphWithGraphViz; in shouldVisualize()
718 if (Mgr->options.visualizeExplodedGraphWithGraphViz) in RunPathSensitiveChecks()
4615 MarshallingInfoFlag<AnalyzerOpts<"visualizeExplodedGraphWithGraphViz">>;