Originally the coverage format required the number of verifier passes through a line of code should be strictly greater than 0. But #8355 will change it.

Bridge should change the way to calculate the total number of meaningful lines of code - just sum up the number of both covered (the number of passes is more than zero) and uncovered (the number of passes is zero) lines. Also like with genhtml it would be very helpful to distinguish covered and uncovered lines of code. So, Bridge needs to specially highlight lines of code with zero passes of a verifier.