code: def total_num_lines(self):
          
  
          return sum([len(summary.measured_lines) for summary
                      in self._diff_violations().values()])
docs: Return the total number of lines in the diff for
          which we have coverage info.