Home | History | Annotate | Download | only in Checkers

Lines Matching full:getanalyzeroptions

1192       mgr.getAnalyzerOptions().getBooleanOption("AggressiveReport", false);