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>;
165
165
166
166
module ExprStatsReport = ReportStats< ExprStats > ;
167
167
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
+
168
177
from string key , float value
169
178
where
170
179
(
@@ -192,7 +201,8 @@ where
192
201
AccessTargetStatsReport:: percentageOfOk ( key , value ) or
193
202
ExprStatsReport:: numberOfOk ( key , value ) or
194
203
ExprStatsReport:: numberOfNotOk ( key , value ) or
195
- ExprStatsReport:: percentageOfOk ( key , value )
204
+ ExprStatsReport:: percentageOfOk ( key , value ) or
205
+ analyzerAssemblies ( key , value )
196
206
) and
197
207
/* Infinity */
198
208
value != 1.0 / 0.0 and
You can’t perform that action at this time.
0 commit comments