[sv-ec] Completing my coverage thought...

Just to complete my thought regarding coverage before the
call was dropped -- my basic question is whether the coverage
percentage is:
     num_covered_bins / num_non_empty_bins
or:
     (num_covered_bins + num_empty_bins) / (num_non_empty_bins + num_empty_bins)

(i.e. is an empty bin not considered at all or is it
trivially covered?)

I think that the former is perferable, but I don't know for sure.

Gord.
-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com