bug fix in optimizing coverage table format (#1942) We are comparing number of shorts, NOT number of bytes.
2019-08-29T14:09:05