public TestCoverageFormatter(TotalCoverageResults results) { Trace.Assert(results != null); this.results = results; }