function countResultsInSarif(sarif) {
    let numResults = 0;
    for (const run of JSON.parse(sarif).runs) {
        numResults += run.results.length;
    }
    return numResults;
}
// Counts the number of results in the given SARIF file
Counts the number of results in the given SARIF file
Counts the number of results in the given SARIF file
function countResultsInSarif(sarif) {
    let numResults = 0;
    for (const run of JSON.parse(sarif).runs) {
        numResults += run.results.length;
    }
    return numResults;
}
function countResultsInSarif ( sarif ) { let numResults = 0 ; for ( const run of JSON . parse ( sarif ) . runs ) { numResults += run . results . length ; } return numResults ; }
Counts the number of results in the given SARIF file
Counts the number of results in the given SARIF file