Function blockToFailingScan

src/runtime/analyzer.ts:815–835

(block)

function blockToFailingScan(block) {
  let scan;
  for(let stratum of block.strata) {
    if(stratum.resultCount === 0) {
      let {solverInfo} = stratum;
      let scanIx = 0;
      let maxFailures = 0;
      let maxIx = 0;
      for(let failures of solverInfo) {
        if(failures > maxFailures) {
          maxFailures = failures;
          maxIx = scanIx;
        }
        scanIx++;
      }
      scan = stratum.scans[maxIx];
      break;
    }
  }
  return scan;
}

function resultsToCardinalities(results) {
  let cardinalities = [];