File tree Expand file tree Collapse file tree 1 file changed +1
-10
lines changed Expand file tree Collapse file tree 1 file changed +1
-10
lines changed Original file line number Diff line number Diff line change @@ -136,14 +136,6 @@ predicate analyzerAssemblies(string key, float value) {
136136 value = 1.0
137137}
138138
139- predicate timingValues ( string key , float value ) {
140- exists ( Compilation c |
141- key = "Total elapsed seconds" and value = c .getElapsedSeconds ( )
142- or
143- key = "Extractor elapsed seconds" and value = c .getExtractorElapsedSeconds ( )
144- )
145- }
146-
147139from string key , float value
148140where
149141 (
@@ -173,8 +165,7 @@ where
173165 ExprStatsReport:: numberOfOk ( key , value ) or
174166 ExprStatsReport:: numberOfNotOk ( key , value ) or
175167 ExprStatsReport:: percentageOfOk ( key , value ) or
176- analyzerAssemblies ( key , value ) or
177- timingValues ( key , value )
168+ analyzerAssemblies ( key , value )
178169 ) and
179170 /* Infinity */
180171 value != 1.0 / 0.0 and
You can’t perform that action at this time.
0 commit comments