File tree Expand file tree Collapse file tree 1 file changed +11
-1
lines changed
Expand file tree Collapse file tree 1 file changed +11
-1
lines changed Original file line number Diff line number Diff line change @@ -165,6 +165,15 @@ module AccessTargetStatsReport = ReportStats<AccessTargetStats>;
165165
166166module ExprStatsReport = ReportStats< ExprStats > ;
167167
168+ predicate analyzerAssemblies ( string key , float value ) {
169+ exists ( Compilation c , string arg |
170+ c .getExpandedArgument ( _) = arg and
171+ arg .indexOf ( "/analyzer:" ) = 0 and
172+ key = "CSC analyzer: " + arg .substring ( 10 , arg .length ( ) )
173+ ) and
174+ value = 1.0
175+ }
176+
168177from string key , float value
169178where
170179 (
@@ -192,7 +201,8 @@ where
192201 AccessTargetStatsReport:: percentageOfOk ( key , value ) or
193202 ExprStatsReport:: numberOfOk ( key , value ) or
194203 ExprStatsReport:: numberOfNotOk ( key , value ) or
195- ExprStatsReport:: percentageOfOk ( key , value )
204+ ExprStatsReport:: percentageOfOk ( key , value ) or
205+ analyzerAssemblies ( key , value )
196206 ) and
197207 /* Infinity */
198208 value != 1.0 / 0.0 and
You can’t perform that action at this time.
0 commit comments