Fix sum of rows

Author: Benjamin Muskalla

java/ql/src/Diagnostics/CoverageDiagnostics.ql

@@ -11,8 +11,7 @@ import semmle.code.java.dataflow.ExternalFlow
 from string packageAndType, int rows
 where
   exists(string package, string type |
-    modelCoverage(package, _, _, type, _) and
     packageAndType = package + ";" + type and
-    rows = sum(int n | modelCoverage(package, _, _, type, n) | n)
+    rows = strictsum(int n, string kind | modelCoverage(package, _, kind, type, n) | n)
   )
 select packageAndType, rows