'Mark a given source line as executed count times.
Multiple calls to mark for the same lineno add up.'

def mark(self, lineno, count=1):

    self.sourcelines[lineno] = (self.sourcelines.get(lineno, 0) + count)
